-
题名基于逻辑“或”约束优化的实时系统设计
被引量：4
- 1
-
-
作者
刘军祥
王永吉
王源
邢建生
曾海涛
-
机构
中国科学院软件研究所互联网软件技术实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第7期1641-1649,共9页
-
基金
国家自然科学基金
国家高技术研究发展计划(863)
+1 种基金
中国科学院"百人计划"
中国科学院与英国皇家学会联合资助~~
-
文摘
标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
-
关键词
标准约束优化问题
不等式约束
分支定界法
混合布尔型整数规划
单调速率(RM)
-
Keywords
SCOP （standard constrained optimization problem）
inequality constraint
branch and bound algorithm
mixed Boolean-integer programming （MBP）
RM （rate monotonic）
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
