基于逻辑"或"约束优化的实时系统设计

摘要：

标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还包含逻辑"或"关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑"或"关系的不等式约束转换为一组具有逻辑"与"关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.

关键词：标准约束优化问题、不等式约束、分支定界法、混合布尔型整数规划、单调速率(RM)

所属期刊栏目：17

分类号：TP391(计算技术、计算机技术)

资助基金：中国科学院资助项目60373053;国家科技攻关项目2003AA1Z2220;中国科学院"百人计划";中国科学院国际合作项目20030389,20032006

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1641-1649