主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
吕荫润,陈力,王翀,吴敬征,王永吉.基于混合搜索的含逻辑“与”“或”的RM优化算法.软件学报,2017,28(10):2525-2538
基于混合搜索的含逻辑“与”“或”的RM优化算法
Hybrid Search Method for Rate-Monotonic Optimal Problem with Logic OR AND Constraints
投稿时间:2016-03-16  修订日期:2016-08-09
DOI:10.13328/j.cnki.jos.005133
中文关键词:  约束优化问题  实时系统  单调速率  线性规划  搜索算法
英文关键词:constrained optimization problem  real-time system  rate-monotonic  linear programming  search algorithm
基金项目:中国科学院-国家外国专家局创新团队国际合作伙伴计划;国家自然科学基金(61170072);青年科学基金(61303057)
作者单位E-mail
吕荫润 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院 软件研究所 基础软件国家工程研究中心, 北京 100190
中国科学院大学, 北京 100190 
 
陈力 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院 软件研究所 基础软件国家工程研究中心, 北京 100190
中国科学院大学, 北京 100190 
 
王翀 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院 软件研究所 基础软件国家工程研究中心, 北京 100190
中国科学院大学, 北京 100190 
 
吴敬征 中国科学院 软件研究所 基础软件国家工程研究中心, 北京 100190
中国科学院大学, 北京 100190 
 
王永吉 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院 软件研究所 基础软件国家工程研究中心, 北京 100190
中国科学院 软件研究所 互联网软件技术实验室, 北京 100190
中国科学院大学, 北京 100190 
ywang@itechs.iscas.ac.cn 
摘要点击次数: 1729
全文下载次数: 841
中文摘要:
      相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑“与”关系,还含有逻辑“或”关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与