| 基于逻辑“或”约束优化的实时系统设计 |
| 刘军祥; 王永吉; 王源; 邢建生; 曾海涛
|
| 2006
|
| 发表期刊 | 软件学报
 |
| 期号 | 7页码:1641-1649 |
| 摘要 | 标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点. |
| 关键词 | 标准约束优化问题
不等式约束
分支定界法
混合布尔型整数规划
单调速率(Rm)
|
| 部门归属 | 中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室,中国科学院软件研究所互联网软件技术实验室 北京100080中国科学院研究生院,北京100049,北京100080计算机科学重点实验室(中国科学院软件研究所),北京100080,北京100080中国科学院研究生院,北京100049,北京100080中国科学院研究生院,北京100049,北京100080中国科学院研究生院,北京100049
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11740
|
| 专题 | 互联网软件技术实验室
|
推荐引用方式
GB/T 7714 |
刘军祥,王永吉,王源,等. 基于逻辑“或”约束优化的实时系统设计[J]. 软件学报,2006(7):1641-1649.
|
| APA |
刘军祥,王永吉,王源,邢建生,&曾海涛.(2006).基于逻辑“或”约束优化的实时系统设计.软件学报(7),1641-1649.
|
| MLA |
刘军祥,et al."基于逻辑“或”约束优化的实时系统设计".软件学报 .7(2006):1641-1649.
|
修改评论