论文部分内容阅读
机器调度问题是实际中应用最广泛的运筹学分支之一,研究它,对于在现有资源条件下提高工作效率和经济效益有重要的现实意义.该文研究的古典的作业车间调度问题(JSP)是最著名最困难的机器调度问题之一.该文描述了JSP的线性规划模型和网络图模型,介绍了一种易于直观理解的物理模型——插筷子模型,并证明了插筷子模型与JSP的线性规划模型和网络图模型的等价性. 对JSP非可行解进行了分析,提出了JSP非可行解的一种简单的判定方法——前沿法.前沿法通过连续地搜索工件前沿工序集和机器前沿工序集的公共元素来检测给定解的可行性. 对SBP的具体流程,特别是单机问题进行了描述,深入分析了单机问题解决算法对SBP的可解性的影响,给出了单机问题解决算法满足SBP可解性的充分必要条件.作为一个特例,我们证明了基于Schrage算法的SBP总是可解的.提出了一个满足可解性的修正SBP,并证明了相关的一系列的结论. 最后提出了一定约束下的JSP非可行解的修正算法,并证明了算法的正确性.该修正算法受启发于SBP.