摘要

众所周知,生产调度问题属组合优化问题,一般来说不存在求得精确最优解的多项式算法.因此,对于大规模调度问题,人们应用启发式算法和元启发式算法以企求得满意解.在实际的应用中,许多工业过程需要满足严格的工艺约束.对于这类过程的调度问题,很难应用启发式算法和元启发式算法,因为这些方法难于保证所求得调度的可行性.为了解决这一问题,本文以半导体芯片制造中组合设备的调度问题作为例子,介绍了一种基于离散事件系统控制理论的生产调度新方法.利用Petri网建模,任何违反约束的状态均被描述为非法状态,而使非法状态出现的调度则是不可行调度.通过可行调度的存在性分析,该方法获得可行解空间并将调度问题转化为连续优化问题,从而可以有效求解.并且指出,该方法可以应用于其他应用领域.