您的位置: 专家智库 > >

王源

作品数:1 被引量:4H指数:1
供职机构:中国科学院软件研究所更多>>
发文基金:The Royal Society中国科学院“百人计划”国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇等式约束
  • 1篇分支定界法
  • 1篇RM
  • 1篇不等式约束

机构

  • 1篇中国科学院软...

作者

  • 1篇邢建生
  • 1篇刘军祥
  • 1篇王源
  • 1篇王永吉
  • 1篇曾海涛

传媒

  • 1篇软件学报

年份

  • 1篇2006
1 条 记 录,以下是 1-1
排序方式:
基于逻辑“或”约束优化的实时系统设计被引量:4
2006年
标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
刘军祥王永吉王源邢建生曾海涛
关键词:不等式约束分支定界法
共1页<1>
聚类工具0