2005 基于约束满足方法求解炼钢_连铸生产调度问题.pdfVIP

第 34卷第 6期 信 息 与 控 制 V o .l 34, N o. 6 2005年 12月 Inform a tion and Contro l Dec. , 2005 文章编号: 1002-0411( 2005) 06-0753-06 基于约束满足方法求解炼钢 连铸生产调度问题 郭冬芬, 李铁克 (北京科技大学管理学院, 北京 100083) 摘 要: 针对各阶段均有并行机的 炼钢 连铸生产调度问 题, 建 立了问 题的约 束满足 模型. 通过分 析炼 钢 连铸调度问题特点, 将其归 结为最小化操作开工时间偏移的调度问题. 在求解过 程中, 首先用变量选择和 值选择启发式方法构造时间可行的初始调度, 然后应用冲突检查 算法检测 资源冲突, 基于回 跳的后向修 剪组 合算法修复冲突, 直至得到一个 一致性的最终解. 数据实验表明本文提出的方法是有 效的. * 关键词: 约束满足; 炼钢 连铸; 生 产调度; 变量选择和值选择; 冲突检查算法; 后向修剪组合算 法 中图分类号: T P273 文献标识码: A Constraint Satisfaction-basedM ethod for Steelm aking-Continuous Casting Production Scheduling P roblem GUO Dong-fen, L I T ie-ke (S chool of Managem en t, Un iversity of S cience and Technology B eijing, B eijing 100083, Ch ina ) Ab stract: A constraint satisfac tion m ode l is estab lished for stee lm ak ing-continuous casting production schedu ling problem w ith pa ra lle lm achines in each processing stage. By ana ly zing the characteristics o f the problem, w e reduce it to a problem o fm in im izing the operations starting tim e dev ia tion. In the so lv ing process, the temporal feasible initial schedu le is constructed firstly by using variab le selection and va lue se lec tion heuristic, then the resource conflicts are chec