计算机应用 ›› 2010, Vol. 30 ›› Issue (11): 2867-2869.

• 先进计算 • 上一篇    下一篇

基于模型分解的多机带时间窗口任务规划算法

张利宁1,邱涤珊2,李皓平2,黄小军2   

  1. 1. 国防科技大学信息系统与管理学院指挥自动化系4室
    2.
  • 收稿日期:2010-04-12 修回日期:2010-06-20 发布日期:2010-11-05 出版日期:2010-11-01
  • 通讯作者: 张利宁
  • 基金资助:
    面向任务的航天资源动态组织机理

Task scheduling algorithm based on model decomposition for multi-machine with time windows

  • Received:2010-04-12 Revised:2010-06-20 Online:2010-11-05 Published:2010-11-01

摘要: 针对多机带时间窗口任务规划问题,提出了基于模型分解的规划求解算法。通过引入基于逻辑的Benders分解方法,将经典Benders分解算法应用扩展至带离散时间窗口的混合线性整数规划模型,实现模型分解。采用工艺级商业软件MOSEK与GECODE分别求解主、子问题,同时给出Benders剪枝函数生成方法,以迭代方式收敛解空间获得可行解。实现算法并设计测试案例,实验结果验证了算法的有效性。

关键词: 模型分解, 任务规划, 时间窗口, 组合优化

Abstract: The algorithm based on model decomposition was proposed for the problem of multi-machine task scheduling with time windows. The classical Benders decomposition was extended into the field of mixed integer linear programming model by introducing the logic based Benders decomposition. The states of art software MOSEK and GECODE were deployed to solve the master and sub-problems respectively. The method of generating Benders cuts was presented. The solution space was converged to a satisfied feasible solution through running the algorithm iteratively. The algorithm was implemented and tested by testing cases, and its effectiveness was verified.

Key words: Model decomposition, Task scheduling, Time windows, Combinatorial optimization