基于逻辑"或"约束优化的实时系统设计
文献类型：期刊论文
| 作者 | 刘军祥 ; 王永吉 ; 王源 ; 邢建生 ; 曾海涛 |
| 刊名 | 软件学报
 |
| 出版日期 | 2006 |
| 卷号 | 17期号:7页码:1641-1649 |
| 关键词 | 标准约束优化问题 不等式约束 分支定界法 混合布尔型整数规划 单调速率(RM) SCOP （standard constrained optimization problem） inequality constraint branch and bound algorithm mixed Boolean-integer programming （MBP） RM （rate monotonic） |
| ISSN号 | 1000-9825 |
| 其他题名 | real-time system design based on logic or constrained optimization |
| 中文摘要 | 标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点． |
| 收录类别 | ei,wanfang,cscd,cnki |
| 语种 | 中文 |
| 公开日期 | 2010-08-17 |
| 附注 | The logic relationship among the equality and inequality constraints in a standard constrained optimization problem （SCOP） is the logical AND. Various efficient, convergent and robust algorithms have been developed for such a SCOP. However, a more general constrained optimization problem （GCOP） with not only logic AND but also OR relationships exists in many practical applications. In order to solve such a generalized problem, a new mathematical transformations which can transfer a set of inequalities with logic OR into inequalities with logic AND relationships is developed. This transformation provides a necessary and sufficient condition which enables us to formulate real-time system design as a mixed Boolean-integer programming problem. A Branch and Bound Algorithm is applied to find the optimal solution. Experimental results have been presented to show its merits. |
| 源URL | [http://124.16.136.157/handle/311060/3270]  |
| 专题 | 软件研究所_互联网软件技术实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 刘军祥,王永吉,王源,等. 基于逻辑"或"约束优化的实时系统设计[J]. 软件学报,2006,17(7):1641-1649. |
| APA | 刘军祥,王永吉,王源,邢建生,&曾海涛.(2006).基于逻辑"或"约束优化的实时系统设计.软件学报,17(7),1641-1649. |
| MLA | 刘军祥,et al."基于逻辑"或"约束优化的实时系统设计".软件学报 17.7(2006):1641-1649. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。