计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (9): 1-3.

• 博士论坛 •    下一篇

约束满足技术在热轧调度板坯排序中的应用

郭冬芬 李铁克   

  1. 北京科技大学 北京科技大学管理学院
  • 收稿日期:2006-08-04 修回日期:1900-01-01 出版日期:2007-03-21 发布日期:2007-03-21
  • 通讯作者: 郭冬芬

Application of constraint satisfaction technology in slab sequencing problem of hot rolling scheduling

Dongfen Guo   

  • Received:2006-08-04 Revised:1900-01-01 Online:2007-03-21 Published:2007-03-21
  • Contact: Dongfen Guo

摘要: 热轧调度中的板坯排序问题是一类特殊的排序问题,具有约束条件复杂、NP难特点。为了简化问题,将板坯排序问题转化为一个约束满足问题处理。给出板坯排序问题的约束满足模型,设计了基于约束满足和改进的3-opt的混合求解算法。用3组实际生产数据对算法性能进行验证,说明了算法的有效性。

关键词: 热轧调度, 约束满足问题, 约束传播, 3-opt互换

Abstract: Slab sequencing problem is a kind of special sequenceing problem with complex constraints and NP-hard character. In order to simplify problem, it is treated as a constraint satisfaction problem. A constraint satisfaction model is given. A hybrid solving algorithm is designed based on constraint satisfaction and modified 3-opt exchange. The validity of the proposed solving algorithm is demonstrated by 3 groups of production data simulation experimentation.

Key words: Hot rolling scheduling, constraint satisfaction problem, constraint propagation, 3-opt exchange