软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2006年
7期
1641-1649
,共9页
刘军祥%王永吉%王源%邢建生%曾海涛
劉軍祥%王永吉%王源%邢建生%曾海濤
류군상%왕영길%왕원%형건생%증해도
标准约束优化问题%不等式约束%分支定界法%混合布尔型整数规划%单调速率(RM)
標準約束優化問題%不等式約束%分支定界法%混閤佈爾型整數規劃%單調速率(RM)
표준약속우화문제%불등식약속%분지정계법%혼합포이형정수규화%단조속솔(RM)
标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还包含逻辑"或"关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑"或"关系的不等式约束转换为一组具有逻辑"与"关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
標準約束優化問題的等式或不等式約束之間是邏輯"與"關繫,目前已經有很多高效、收斂的優化算法.但是,在實際應用中有很多更一般的約束優化問題,其等式或不等式約束之間不僅包含邏輯"與"關繫,而且還包含邏輯"或"關繫,現有的針對標準約束優化問題的各種算法不再適用.給齣一種新的數學變換方法,把具有邏輯"或"關繫的不等式約束轉換為一組具有邏輯"與"關繫的不等式,併應用到實時單調速率調度算法的可調度性判定充要條件中,把實時繫統設計錶示成混閤佈爾型整數規劃問題,利用經典的分支定界法求解.實驗部分指齣瞭各種方法的優缺點.
표준약속우화문제적등식혹불등식약속지간시라집"여"관계,목전이경유흔다고효、수렴적우화산법.단시,재실제응용중유흔다경일반적약속우화문제,기등식혹불등식약속지간불부포함라집"여"관계,이차환포함라집"혹"관계,현유적침대표준약속우화문제적각충산법불재괄용.급출일충신적수학변환방법,파구유라집"혹"관계적불등식약속전환위일조구유라집"여"관계적불등식,병응용도실시단조속솔조도산법적가조도성판정충요조건중,파실시계통설계표시성혼합포이형정수규화문제,이용경전적분지정계법구해.실험부분지출료각충방법적우결점.