%0 Journal Article
%T 基于树状线性规划搜索的单调速率优化设计
%A 陈力？
%A 王永吉？
%A 吴敬征？
%A 吕荫润？
%J 软件学报
%P 3223-3241
%D 2015
%R 10.13328/j.cnki.jos.004853
%X 改善单调速率(ratemonotonic,简称rm)可调度性判定算法的效率,是过去40年计算机实时系统设计的重要问题.最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调节在区间可选择情况下的任务运行时间,使得:(1)系统rm可调度;(2)系统的某个性能(如cpu利用率)达到最优.在已有的求解实时系统rm优化设计问题的方法中,都是先把原问题建模成广义约束优化问题,然后再对广义约束优化问题进行求解.但现有方法的求解速度较慢,任务数较多时不再适用.提出一种求解优化问题的方法——基于树状的线性规划搜索(linearprogrammingsearch,简称lps)方法.该方法先将实时系统rm优化设计问题建模成广义约束优化问题,再将其分拆成若干线性规划子问题,然后构造线性规划搜索树,利用剪枝搜索算法求解部分线性规划子问题,最后得到优化解.实验结果表明:lps方法相比于已有的方法能够节省20%~70%的求解时间,任务数越多,节省时间越多.该研究成果可以与计算机可满足性模定理(satisfiabilitymodulotheories,简称smt)领域的多个研究热点问题联系起来,并可望改善smt问题的求解效率.
%K 实时系统
%K 单调速率
%K 最优化
%K 搜索算法
%K 线性规划
%K 可满足性模定理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4853&flag=1