题目：基于约束满足的Job-shop生产再调度研究

车间生产过程是动态的、不确定的，主要表现在生产的任务集合是变化的、设备运行状况是变化的，这些因素在车间进行初始调度时是难以考虑的，并导致原有调度方案不能准确指导生产。生产再调度是指更新现有的生产调度方案，以便对于变动或不确定因素作出回应，使得这些因素对生产过程影响最小。本文首先对再调度问题的环境、策略和方法以及约束满足问题的定义、求解方法进行了综述。利用约束满足方法对问题表达准确、易于实现的特点，建立了基于调度对象的调度、再调度约束满足模型，模型中定义了与调度、再调度环境相关的一组调度对象，包括作业、资源、顺序约束、资源约束和时间约束，使用这些对象的属性和关系表示约束满足问题中的变量和约束，可大大简化再调度过程中设备故障、需求变更等常见突发事件的模型。在此基础上，使用Ilog优化组件设计和实现了基于约束满足的调度、再调度实验系统，该系统可以分别求解以任务变动最小和加工周期最短作为优化目标的Job-shop调度和再调度问题。通过对大数据量的调度实验和常见突发事件的再调度实验证明系统的有效性和可行性。论文还对再调度系统与制造执行系统集成的方法进行了研究，设计了基于事件驱动的集成框架。最后论文给出了结论和下一步研究的方向。