博士学位论文公示材料—1—.PDF

附件二： 博士学位论文公示材料 学生姓名 程旭 学号 0910316 二级学科 系统工程 导师姓名 唐立新 论文题目 Branch-and-Cut 方法及在物流时空调度中的研究 论文关键词 Branch-and-Cut 算法；有效不等式；吊机调度；图着色问题；板坯入库垛位决策； 决策支持系统 论文摘要(中文) 制造和物流系统中的物流时间与空间调度问题可以归结为整数规划问题。Branch-and-Cut 算法是 目前最优求解整数规划问题的有效算法之一，其基本思想为利用分支定界算法的框架结构，在其构建 的分支定界树中的叶子节点处增加有效不等式用以动态提升下界（最小化问题），达到减少分支定界树 分支个数，提高算法求解效率的目的。由于整数规划问题大多属于NP-难题，因此，研究Branch-and-Cut 算法的改进对整数规划的最优求解的规模和效率的提升具有重要意义。 本文首先以物流系统时间调度中的典型吊机调度问题为背景，对Branch-and-Cut 算法进行了方法 研究，以工厂吊机调度为背景进行了方法的应用研究。然后，以图论中的经典图着色问题为背景，对 Branch-and-Cut 算法进行了方法研究，并以物流系统的空间调度中的板坯入库垛位决策问题为背景进行 了应用研究。论文主要工作概述如下： 1) 典型吊机调度问题：对于由M 个吊机完成N （M N ）个去向已知的待运任务，需要确定任务 在吊机上的分配以及在所分配吊机上的执行顺序，在保证吊机任务之间的优先关系要求以及避免吊机 间发生交叉和碰撞的同时，使得完成全部任务所需的时间最短。对该问题建立了整数线性规划模型， 并采用 Branch-and-Cut 算法求解。基于问题特点的分析提出了新的有效不等式，并设计了改进的基于 禁忌搜索方法的分离策略用于有效不等式的发现。数值实验的结果表明了提出的算法的有效性。 2) 板坯库吊机调度问题：对于由M 个吊机完成N （M N ）个工件的出库操作，将每个工件的连 续（不中断）出库操作定义为一个任务，需要决策出库操作是否中断及全部任务在吊机上的分配及执 行顺序，在满足完工顺序、避免吊机间交叉和碰撞、任务在缓冲垛位的服务规则等要求的情况下，使 得所有任务的完成时间短。针对该问题建立了初始的整数规划模型，基于对问题性质分析对模型进行 重建。基于具有紧下界的重建模型，设计了 Branch-and-Cut 算法求解。在算法实施中，提出了多类有 效不等式用于提升问题下界，同时，引进变量降低技术以有效降低搜索域，进而提高算法的搜索效率。 基于工业实际数据的数值实验证明了所提出算法能够在合理的时间内获得工业问题规模的最优解，其 性能明显优于商业优化求解软件CPLEX，验证了提出的模型和算法的有效性。 3) 典型图论优化问题—— 图着色问题：对给定的图内的每一个顶点着一种颜色，在保证任意相 连的两点着不同颜色的要求下，求最少所需要的颜色个数。针对该问题建立了整数线性规划模型，设 —1— 计了 Branch-and-Cut 算法进行最优求解。针对此问题，提出了变量固定策略用于削减可行域，构造了 基于动态规划的有效不等式，嵌入了基于独立集的有效不等式、基于团的有效不等式，有效地提高了 Branch-and-Cut 算法收敛速度。通过Benchmark 标准测试数据的实验结果表明了提出的算法的有效性。 4) 基于图着色的板坯入库垛位决策问题：对于板坯库入库的板坯，需要决策存放的垛位位置， 在保证板坯按照出库顺序提取时不产生倒垛操作的要求下，使得占用的垛位数最少。该问题通过归结 为图着色问题进行建模，将入库板坯定义为顶点，板坯入出库顺序定义为边，同一垛位的板坯集合定 义为图中着同样颜色的点的集合，最少占用垛位数对应于最少使用的颜色数。通过图着色问题建立的 板坯入库垛位决策问题模型，可以直接应用提出的 Branch-and-Cut 算法进行求解。数值实验验证了该 问题基于图着色建模方法的有效性。 5) 以国内某大型钢铁企业的板坯库物流作业为背景，以上述板坯库吊机调度问题和板坯入库垛 位决策问题模型和算