调度(生产过程)
计算机科学
动态规划
半导体器件制造
作业车间调度
动态优先级调度
制作
数学优化
工程类
分布式计算
实时计算
生产线
控制工程
线性规划
嵌入式系统
作者
Sungwon Hong,Younsoo Lee,Kyungsik Lee
标识
DOI:10.1080/00207543.2025.2584726
摘要
In this paper, we address a wafer-lot scheduling problem (WLSP) for parallel multi-chamber equipment in semiconductor wafer fabrication lines. This equipment can process multiple wafers simultaneously, with each chamber handling one wafer at a time. To process a wafer, the corresponding lot must be loaded into a cassette module, which remains occupied until all wafers in the lot are processed, thereby limiting cassette module availability. Each wafer lot requires a specific process step, with target production quantities set for each step. The WLSP aims to maximise the fulfilment of these target quantities within the planning horizon while satisfying operational constraints. We show that the WLSP is strongly NP-hard and present a mixed integer programming (MIP) model based on a two-level tour structure. To enhance performance, we derive valid inequalities that strengthen the linear programming (LP) relaxation bounds of the model. In addition, we propose approximate dynamic programming (ADP) algorithms incorporating several bounding methods. Specifically, we devise three models to compute upper bounds and introduce a roll-out heuristic to obtain lower bounds. The proposed algorithms are particularly effective for larger instances. Among the upper bounding methods, the LP model with the proposed valid inequalities consistently provides the tightest bounds, demonstrating its effectiveness.
科研通智能强力驱动
Strongly Powered by AbleSci AI