基于数学规划的平行机批量调度固定优化算法

来源 :清华大学学报(自然科学版) | 被引量 : 0次 | 上传用户:kookzhu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以半导体制造行业为应用背景,研究带产能约束的平行机批量调度问题。该问题需要同时考虑基于产品加工顺序的生产准备时间约束、产品加工的时间窗约束、设备和产品的匹配约束以及设备偏好性等约束。为此,构建了混合整数规划(MIP)模型,并设计了基于MIP模型的固定优化启发式算法。该算法先按照随机设备柔性最小优先规则把设备预先分配给需要加工的产品,从而可以通过更新设备和产品匹配关系矩阵来降低子问题的求解难度;再利用基于设备分解和基于时间分解的两种分解方法,固定住MIP模型中的大部分0-1变量,从而可以有效地利用MIP求解器优化剩余的一小部分0-1变量。大量随机产生的实验算例和半导体工厂真实算例表明:该算法优于现有文献中其他基于MIP的启发式算法,特别是当算例中设备柔性较高和需求变动较大时,该算法绩效更加显著。 Taking the semiconductor manufacturing industry as the application background, this paper studies the parallel machine batch scheduling problem with capacity constraint. This problem needs to consider both production preparation time constraints, product processing time window constraints, equipment and product matching constraints and equipment preferences based on the order of product processing. To this end, a hybrid integer programming (MIP) model is constructed and a fixed optimization heuristic algorithm based on the MIP model is designed. In this algorithm, the device is pre-assigned to the product to be processed according to the minimum priority rule of random device flexibility, so that the difficulty of solving the sub-problem can be reduced by updating the relationship matrix between the device and the product. Reusing both the device-based decomposition and the time-based decomposition Decomposition method, which fixes most of the 0-1 variables in the MIP model so that the MIP solver can effectively optimize the remaining small fraction of the 0-1 variables. A large number of random generated experimental examples and semiconductor factory real examples show that the algorithm is superior to other existing MIP-based heuristics in the literature, especially when the device flexibility is high and the demand fluctuates greatly, Performance is more significant.
其他文献
防冻液(anti-freeze solution)是一种加入冷却水中以防止水结冰的溶液。防冻液,又称不冻液或防冻抗沸冷却液作为一种发动机冷却系统的冷却介质。因为水结冰时,其体积膨胀原
近年来,有关幽门螺杆菌(HP)与胃脘痛中医辨证分型相关性研究报道甚少[1]。自1996年起,我科检测了164例反复胃脘痛患儿抗HP抗体,并进行中医辨证分型,以探讨两者之间的关系,现
分析英语“学因生”的一些问题,总结出英语学习困难的学生主要有几种原因:一是英语盲,时英语一窍不通;二是半路掉队的,英语还有一定的基础;三是心理上的缺陷,总觉得自己英语水平有限;四是“万金油”型的,好像英语样样通;五是学习时间分配不合理。最后提出转化“学困生”的方法时策。
Al(OH)3是环境友好的阻燃剂。由于Al(OH)3与高分子界面相容性差,所以在高分子基相中容易团聚。在以往关于粒径小于100nm或粒径在几到几十微米的Al(OH)3填充聚烯烃的研究中,研
早在150年前,国外的科学家就提出了用燃料电池作为电源的设想,并且做出了样品。但由于受到当时技术条件限制,燃料电池工作效率过低,体积又太大,加上成本高昂,没能投入生产。
本文研究了汽油电控喷射发动机进气涡汽、喷油方式、喷射位置、喷油正时、空燃比及点火参数和多次点火方式对汽油进气道喷射发动机的HC和CO排放的影响。试验结果表明,在试验
合成了销(Ⅲ)-丙烯酸-邻菲罗啉三元配合物,通过元素分析、红外光谱、热重分析和荧光光谱研究了配合物的组成、结构和性质,荧光光谱表明该配合物具有很好的荧光性质. The ternary co
在过去几年里,合成胶乳的原材料价格不仅一路飙升,而且波动幅度较大。较高的原材料价格对合成胶乳的市场需求造成了严重的打击,从某些方面来说,这种打击也许是永久性的。本文
布卢姆的形成性评价理论,帮助学生和教师把注意力集中在学生对教学内容的掌握水平及相应的知识技能。中等职校如何有效运用布卢姆的形式性评价理论成为当前的一个热点。针对
针对我国当前教育现状,通过各种灵活多样教育指导方式,加强高职聋生竞争观念教育,是社会经济发展的必然要求,也是培养创新人才、全面提高高职聋生素质的需要。 According to