%0 Journal Article
%T Real-Time System Design Based on Logic OR Constrained Optimization<br>基于逻辑"或"约束优化的实时系统设计
%A LIU Jun-Xiang
%A WANG Yong-Ji
%A WANG Yuan
%A XING Jian-Sheng
%A ZENG Hai-Tao
%A <br>刘军祥
%A 王永吉
%A 王源
%A 邢建生
%A 曾海涛
%J 软件学报
%D 2006
%I 
%X 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.
%K SCOP (standard constrained optimization problem)
%K inequality constraint
%K branch and bound algorithm
%K mixed Boolean-integer programming (MBP)
%K RM (rate monotonic)<br>标准约束优化问题
%K 不等式约束
%K 分支定界法
%K 混合布尔型整数规划
%K 单调速率(RM)
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=08F255C24BD1FF29&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=DF92D298D3FF1E6E&sid=EDB2C8F3B92E3D13&eid=4BFBB19F1A63A4F0&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=21