计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (22): 226-234.
张春生1,2,李铁克1,2,王柏琳1,2,张文学1,2,3,孙 彬1,2
ZHANG Chunsheng1,2, LI Tieke1,2, WANG Bailin1,2, ZHANG Wenxue1,2,3, SUN Bin1,2
摘要: 针对机器故障下的炼钢-连铸动态调度问题,基于动态约束满足技术开发了能够灵活反映各种动态因素的建模机制。从变量、值域和约束三个角度将生产过程中的机器故障的影响映射为约束满足模型的动态变化;提出了重调度前后调度方案在时间安排和机器指派上的一致性度量方法,以满足不同炉次对时间和机器一致性的不同要求;将机器故障扰动按影响程度分为3个层级,建立了故障扰动与约束满足调度模型间的映射关系。根据炼钢、精炼阶段的机器故障扰动程度,制定不同的求解策略,并为机器指派变量赋值;基于约束传播技术,通过调整开工时间和柔性加工时间分步消解时间约束冲突。仿真实验表明,提出的模型和算法是可行和有效的。