Institutional Repository
| 基于逻辑"或"约束优化的实时系统设计 | |
| Alternative Title | real-time system design based on logic or constrained optimization |
| 刘军祥; 王永吉; 王源; 邢建生; 曾海涛 | |
| 2006 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 17Issue:7Pages:1641-1649 |
| English Abstract | 标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点． |
| Indexed Type | ei,wanfang,cscd,cnki |
| Keyword | 标准约束优化问题 不等式约束 分支定界法 混合布尔型整数规划 单调速率(Rm) Scop （standard Constrained Optimization Problem） Inequality Constraint Branch And Bound Algorithm Mixed Boolean-integer Programming （mbp） Rm （rate Monotonic） |
| Department | 互联网软件技术实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3270 |
| Collection | 互联网软件技术实验室 |
| Recommended Citation GB/T 7714 | 刘军祥,王永吉,王源,等. 基于逻辑"或"约束优化的实时系统设计[J]. 软件学报,2006,17(7):1641-1649. |
| APA | 刘军祥,王永吉,王源,邢建生,&曾海涛.(2006).基于逻辑"或"约束优化的实时系统设计.软件学报,17(7),1641-1649. |
| MLA | 刘军祥,et al."基于逻辑"或"约束优化的实时系统设计".软件学报 17.7(2006):1641-1649. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 19.pdf（555KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment