主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘军祥,王永吉,王源,邢建生,曾海涛.基于逻辑"或"约束优化的实时系统设计.软件学报,2006,17(7):1641-1649
基于逻辑"或"约束优化的实时系统设计
Real-Time System Design Based on Logic OR Constrained Optimization
投稿时间:2005-09-06  修订日期:2005-11-08
DOI:
中文关键词:  标准约束优化问题  不等式约束  分支定界法  混合布尔型整数规划  单调速率(RM)
英文关键词:SCOP (standard constrained optimization problem)  inequality constraint  branch and bound algorithm  mixed Boolean-integer programming (MBP)  RM (rate monotonic)
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60373053 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2003AA1Z2220 (国家高技术研究发展计划(863)); the Hundred Talents of the Chinese Academy of S
作者单位
刘军祥 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,研究生院,北京,100049 
王永吉 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
计算机科学重点实验室(中国科学院,软件研究所),北京,100080 
王源 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,研究生院,北京,100049 
邢建生 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,研究生院,北京,100049 
曾海涛 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
中国科学院,研究生院,北京,100049 
摘要点击次数: 3562
全文下载次数: 3233
中文摘要:
      标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还包含逻辑"或"关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑"或"关系的不等式约束转换为一组具有逻辑"与"关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利