半导体晶圆制造系统(SWFS)炉管区组批派工策略研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
作为当今世界上最复杂的制造系统之一,半导体晶圆制造系统(Semiconductor Wafer Fabrication System, SWFS)存在着生产周期长,生产工艺复杂,多重入性设备,生产环境高度不稳定以及多产品同时在线生产等特点,其调度问题的求解非常困难。
     晶圆制造系统炉管区批处理机调度问题(scheduling of batch processor,SBP)是半导体晶圆制造系统调动与控制的一个代表性问题。批处理机的加工时间一般都大于非批处理机的加工时间且批处理机价格昂贵,半导体生产系统的瓶颈机一般为批处理机,它制约着半导体制造系统的绩效。因此,批处理加工的合理调度对改善半导体生产线的性能具有重要意义,针对炉管区批处理机问题本文所做的工作主要为:
     1.通过对工厂的调研,找出晶圆生产加工过程的实际生产瓶颈,并针对瓶颈问题进行了工艺分析、设备分析和流程分析,找到炉管区批处理机调度过程中的几个主要矛盾,明确了整个研究思路。
     2.对所研究的调度问题进行数学抽象和定义,使问题更具一般性和普遍性,通过对问题的分析过程,将复杂调度问题分解成为若干子问题进行求解,并确立了调度目标。针对半导体炉管区瓶颈设备的批处理调度问题,提出满足工艺约束和设备限制的组批调度算法。在考虑产品动态到达的基础上,根据半导体制造系统大规模、多重入、混合型生产等特征,针对Lot平均等待时间进行优化,实现多产品、多机台的实时组合派工。
     3.根据工厂实际设计了虚拟的晶圆制造系统(SWFS)和产品组合,并对ReS2动态调度仿真平台进行了调整和修改,使其更加符合生产实际。通过与生产过程中常用的组批方法(MaxMin)进行实验比较,验证了本文所提算法的正确性和有效性。
As one of the most complex manufacturing system today, a semiconductor wafer manufacturing system (SWFS) is characterized by re-entrant process flows, complex production processes and unpredictable equipment downtime, which make the schedule of a SWFS very difficult.
     The scheduling of batch processor (SBP) in the furnace area has the common features of SWFS. Batch processing facilities are generally bottlenecks in manufacturing systems for a variety of reasons: They are often expensive to purchase so that the utilization of such equipment is usually very high. Furthermore, parts (jobs) usually require long and non-preemptive processing times, so that the facility is unavailable for other parts (jobs) for relatively long period. Thus, rendering an effective scheduling approach of batch processors of SWFS is an important management concern. The major contributions to SBP of this paper are as follows:
     1) The bottleneck of the SWFS is found in the process of observation on the real semiconductor plant, and through the analysis on process and equipment of the bottleneck, the main scheduling conflicts are found which suggests the idea and direction of the entire research.
     2) A mathematical model is built for this problem, and through the analysis of the scheduling problem, the complex problem can be broken down to several sub-problem, and the goals of scheduling is established. To solve the scheduling problem of batch processing machine in the furnace district of SWFS, this paper proposes a scheduling algorithm which satisfies the process constraint and equipment limitations. Considering the dynamic arrival of lots and the SWFS’s features of large scale and multiple re-entrant processes, the algorism may realize the real-time combinatory dispatching of multi-product and multi-machine by optimizing average waiting time of lots.
     3) The simulation based experiments are made on a virtual SWFS fab simulation platform (ReS2), which has been modified to match the real production process, and the result shows that the algorithm can significantly improve the fill rate and the utilization of the bottleneck machine and thus shorten the cycle time in real-time dispatching.
引文
[1]Leachman RC, Hodges DA. Benchmarking Semiconductor Manufacturing. IEEE Transactions on Semiconductor Manufacturing, 1996, 9(2):158-169
    [2]Michael Quirk编著,韩郑生译,“半导体制造技术”,电子工业出版社,2004.1
    [3]Narahari,Y., and Khan,L.M.,“Performance analysis of scheduling polices in re-entrant manufacturing system”, Computer Operations Research, 23(1),1996, p:37-51
    [4]李衍飞,“半导体生产管理介绍”,Technical Report of Dept.of IE&M, SJTU, 2003
    [5]Fowler,J. Issues in Semiconductor MFG scheduling, present at Workshop on Hierarchical Control for Real-Time Scheduling and Manufacturing System. Lincoln, NH, October, 1992
    [6]张亚非等编着,“半导体集成电路制造技术”,高等教育出版社,2006.6
    [7]严德隆,“ISO 14644-1洁净室空气洁净度等级标准的特点”,洁净与空调技术,Vol. 2,2003,pp: 8-11
    [8]李衍飞,“半导体生产管理介绍”.Technical Report of Dept. of IE&M, SJTU, 2003
    [9]张劲燕,“半导体制造设备”,台湾,五南图书出版公司
    [10]江志斌,“Petri网及其在制造系统建模与控制中的应用”,机械工业出版社, 2004, 5
    [11]Liu,H.R., Fung,R.Y.K., and Jiang,Z.B.,“Modeling of Semiconductor Wafer Fabrication Systems By Extended Object-oriented Petri Nets”, International Journal of Production Research, Vol.43, No.3, 2005, pp: 471-495
    [12]周煜智,晶圆制造目标导向型生产活动控制系统之设计,台湾交通大学工业工程与管理系,硕士论文. 1998
    [13]Potts CN, Van Wassenhove (1992) Integrating scheduling with batching and lot-sizing: A review of algorithms and complexity. J Oper Res Soc 43(5):395–406
    [14]Albers S, Brucker P (1993) The complexity of one-machine batching problem. Discret Appl Math 47:87–107
    [15]Webster S, Baker KR (1995) Scheduling groups of jobs on a single machine. Oper Res 43(4):692–703
    [16]Brucker P, Gladky A, Hoogeveen H, Kovalyov MV, Potts CN, TautenhahnT, Van De Velde SL (1998) Scheduling a batching machine. J Schedul 1:31–54
    [17]Potts CN, Kovalyov MY (2000) Scheduling with batching: A review.Eur J Oper Res 120:228–249
    [18]Baptiste P (2000) Batching identical jobs. Math Methods Oper Res52:355–367
    [19]Balasubramanian H, Monch L, Fowler J, Pfund M (2004) Genetic algorithm based scheduling of parallel batch machines with incompatible job families to minimize total weighted tardiness. Int J Prod Res 42(8):1621–1638
    [20]Bar-Noy A, Guha S, Katz Y, Naor J, Schieber B, Shachnai H (2002) Throughput maximization of real-time scheduling with batching.Proc 13th Annual ACM-SIAM Symposium on Discrete Algorithms,pp742–751
    [21]Devpura A, Fowler JW, Carlyle MW, Perez I (2000) Minimizing total weighted tardiness on a single batch process machine with incompatible job families. Proc symposium on Operations Research, Dresden,Germany, pp 366–371
    [22]Dobson G, Nambimadom RS (2001) The batch loading and scheduling problem. Oper Res 49 (1):52–65
    [23]Huang S-C, Lin JT (1998) An interactive scheduler for a wafer probe centre in semiconductor manufacturing. Int J Prod Res 36(7): 1883–1900
    [24]Hung Y-F (1998) Scheduling of mask shop E-beam writers. IEEE Trans Semicond Manuf 11(1):165–172.
    [25]Jolai GF (2005) Minimizing number of tardy jobs on a batch processing machine with incompatible job families. Eur J Oper Res 162(1):184–190
    [26]Kim H-U, Kim Y-D, Kim J-G (2000) Batching and scheduling at a batch processing workstation in a semiconductor fabrication facility producing multiple product types with distinct due dates. Proc International Conference on Modeling and Analysis of Semiconductor Manuf, pp 151–156
    [27]Mehta SV, Uzsoy R (1998) Minimizing total tardiness on a batch processing machine with incompatible job families. IIE Trans 30:165–178
    [28]Morad N, Zalzala AMS (1996) A gentic-based approach to the formation of manaufacturing cells and batch scheduling. Proc IEEE International Conference on Evolutionary Computation, pp485–490, Nagoya, Japan
    [29]Perez IC, Fowler JW, Carlyle WM (2005) Minimizing total weighted tardiness on a single batch process machine with incompatible job families. Comput Oper Res 32(2):327–341
    [30]Qi X, Tu F (1999) Earliness and tardiness scheduling problems on a batch processor. Discret Appl Math pp 131–145
    [31]Skinner G, Mason SJ (2002) A genetic algorithm for scheduling parallel batch processing machines. Proc International Conference on Modeling and Analysis of Semiconductor Manuf, pp 270–275
    [32]Akcali E, Uzsoy R, Hiscock DG, Moser AL, Teyner T (2000) Alternative loading and dispatching policies for furnace operations in semiconductor manufacturing: Acomparison by simulation. Proc 2000 Winter Simulation Conference
    [33]Duenyas I, Neale JJ (1997) Stochastic scheduling of batch processing machine with incompatible job families. Ann Oper Res 70:191–220
    [34]Fowler JW, Phillips DT, Hogg GL (1992) Real time control of multiproduct bulk service semiconductor manufacturing processes. IEEE Trans Semicond Manuf 5(2):158–163
    [35]Fowler JW, Phojanamongkolkij N, Cochran JK, Montgomery DC (2002) Optimal batching in a wafer fabrication facility using a multiproduct G/G/c model with batch processing. Int J Prod Res 40(2):275–292
    [36]Glassey CR, Weng WW (1991) Dynamic batching heuristic for simultaneous processing. IEEE Trans Semicond Manuf 4(2):77–82
    [37]Monch L, Habenicht I (2003) Simulation based assessment of batching heuristics in semiconductor manufacturing. Proc Winter Simulation Conference 2003, pp 1338–1345
    [38]Phojanamongkolkij N, Fowler JW, Cochran JK (2002) Determining operating criterion of batch processing operations for wafer fabrication. J Manuf Syst 21(5):363–379
    [39]Sung CS, Choung YI (1999) A neural network approach for batching decisions in wafer fabrication. Int J Prod Res 37(13):3101–3114
    [40]Weng WW, Leachman RC (1993) An improved methodology for realtime production decisions at batch process workstations. IEEE Trans Semicond Manuf 6(3):219–225
    [41]Ahmadi JH, Ahmadi RH, Dasu S, Tang CS (1992) Batching and scheduling jobs on batch and discrete processors. Oper Res 39(4):750–76
    [42]Kim B, Kim S (2002) Application of Genetic Algorithms for scheduling batch-discrete production system. Prod Plan Control 13(2):155–165
    [43]Neale JJ, Duenyas I (2000) Control of manufacturing networks which contain a batch processing machine. IIE Trans 32:1027–1041
    [44]Su L-H (2003) A hybrid two-stage flow-shop with limited waiting time constraints. Comput Ind Eng 44:409–424
    [45]Sung CS, Kim YH (2003) Minimizing due date related performance measures on two batch processing machines. Eur J Oper Res 147:644–656
    [46]Sung CS, Min JI (2001) Scheduling in a two-machine flowshop with batch processing machine(s) for earliness/tardiness measure under a common due date. Eur J Oper Res 131:95–106
    [47]Sung CS, Yoon SH (1997) Minimizing maximum completion time in a two-batch-processing-machine flow shops with dynamic arrivals allowed. Eng Optim28(3):231–243
    [48]Sung CS, Kim YH, Yoon SH (2000) A problem reduction and decomposition approach for scheduling for a flow shop of batch processing machines. Eur J Oper Res 121:179–192
    [49]Gurnani H, Anupindi R, Akella R (1991) Control of batch processing systems in semiconductor wafer fabrication facilities. IEEE Trans Semicond Manuf 5:319–328
    [50]Kim Y-D, Lee D-H, Kim J-U (1998) A Simulation study of on lot release control, Mask scheduling and batch scheduling in semiconductor wafer fabrication facilities. J Manuf Syst 17(2):107–117
    [51]Robinson JK, Fowler JW, Bard JF (1995) The use of upstream and downstream information in scheduling batch operations. Int J Prod Res 33(7):1849–1869
    [52]Solomon L, Fowler JW, Pfund M, Jensen PH (2002) The inclusion of future arrivals and downstream setups into wafer fabrication batch processing decisions. J Electron Manuf 11(2):149–159
    [53]Cigolini R, Perona M, Portioli A, Zambelli T (2002) A new dynamic look-ahead scheduling procedure for batching machines. J Schedul 5(2):185–204
    [54]Mason SJ, Oey K (2003) Scheduling complex job shops using disjunctive graphs: a cycle elimination procedure. Int J Prod Res 41(5):981–994
    [55]Mason SJ, Fowler JW, Carlyle WM (2002) A modified shifting bottleneck heuristic for minimizing the total weighted tardiness. J Schedul 5(3):247–262
    [56]Oey K, Mason SJ (2001) Scheduling batch processing machines in complex job shops. Proc 2001 Winter Simulation Conference, pp 1200–1207
    [57]Azizoglu M, Webster S (2001) Scheduling a batch processing machine with incompatible job families. Comput Ind Eng 39:325–335
    [58]Boudhar M (2001) Static scheduling on a single batch processing machine with split compatibility graphs. Cahiers Lab. Leibniz-IMA Grenoble28
    [59]Boudhar M (2003) Dynamic scheduling on a single batch processing machine with split compatibility graphs, J Math Model Algorithm 2:17–35
    [60]Cai M-C, Deng X, Feng H, Li G, Liu G (2002) A PTAS for minimizing total completion time of bounded batch scheduling. In: Cook WJ,Schulz AS (eds) IPCO’2002, LNCS 2337:304–314, Springer, Berlin Heidelberg New York
    [61]Chandra P, Gupta S (1992) An analysis of a last-station-bottleneck semiconductor packaging line. Research Working Paper: 92-10-13, Faculty of Management, McGill University
    [62]ChandruV, LeeC-Y, UzsoyR(1993a)Minimizing total completion time on a batch processing machines. Int J Prod Res 31(9):2097–2121
    [63]Chang P-C, Wang H-M (2004) A heuristic for a batch processing machine scheduled to minimize total completion time with non-identical job sizes. Int J Adv Manuf Technol, Published online: 5 May 2004
    [64]Chen B, Deng X, Zang W (2004) On-line scheduling a batch processing system to minimize total weighted job completion time. J Comb Optim 8:85–95
    [65]Cheng TCE, Liu Z, Yu W (2001) Scheduling jobs with release dates and deadlines on a batch processing machine. IIE Trans 33:685–690
    [66]Dang C, Kang L (2004) Batch-processing scheduling with setup times.J Comb Optim 8:137–146
    [67]Deng X, Feng H, Zhang P, Zhu H (2001) A polynomial time approximation scheme for minimizing total completion time of unbounded batch scheduling. LNCS 2223:26–35
    [68]Dupont L, Dhaenens-Flipo C (2002) Minimizing the makespan on a batch machine with non-identical job sizes: an exact procedure. Comput Oper Res 29:807–819
    [69]Dupont L, Jolai GF (1997b) A branch and bound algorithm for minimizing mean flow time on a single batch processing machine. Int J Ind Eng 4(3):197–203
    [70]Hochbaum D, Landy D (1994) Scheduling with batching: minimizing the weighted number of tardy jobs. Oper Res Lett 16(2):79–86
    [71]Jolai GF, Dupont L (1998) Minimizing mean flow time criteria on a single batch processing machine with non-identical job sizes. Int J Prod Econ 55:273–280
    [72]Kempf KG, Uzsoy R, Wang C-S (1998) Scheduling a single batch processing machine with secondary resource constraints. J Manuf Syst 17(1):37–51
    [73]Kubiak W, Jolai GF (1997) Minimizing earliness/tardiness criteria on a batch processing machines with job-families. Proc second Annual International Conference on Industrial Eng 2:785–790
    [74]Li C-L, Lee C-Y (1997) Scheduling with agreeable release times and due dates on a batch processing machine. Eur J Oper Res 96:564–569
    [75]Mathirajan M, Sivakumar AI, Kalaivani P (2004) A few variants of simulated annealing for scheduling burn-in oven with non-identical job sizes. Int J Appl Manage Technol 2(2):117–138
    [76]Melouk S, Damodaran P, Chang P-Y (2004) Minimizing makespan for single machine batch processing with non-identical job sizes using simulated annealing. Int J Prod Econ 87(2):141–147
    [77]Poon CK, Zhang P (2004) Minimizing makespan in batch machine scheduling. Algorithmica 39:155–174
    [78]Sung CS, Choung YI (2000) Minimizing makespan on a single burn-in oven insemiconductor manufacturing. Eur J Oper Res 120:559–574
    [79]Uzsoy R (1994) Scheduling a single batch processing machine with non-identical job sizes. Int J Prod Res 32(7):1615–1635
    [80]Uzsoy R, Yang Y (1997) Minimizing total weighted completion time on a single batch processing machine. Prod and OperManage 6(1):57–73
    [81]Avramidis AN, Healy KJ, Uzsoy R (1998) Control of a batch processing machine: a computational approach. Int J Prod Res 36(11):3167–3181
    [82]Koole G, Righter R (2001) A stochastic batching and scheduling problem. Probab Eng Inform Sci 15:465–479
    [83]Chandra P, Gupta S (1997) Managing batch processors to reduce leadtime in a semiconductor packaging line. Int J Prod Res 35(3):611–633
    [84]Potts CN, Strusevich VA, Tautenhahn T (2001) Scheduling batches with simultaneous job processing for two-machine shop problems. J Schedul 4(1):25–51
    [85]Yang DL, Chern MS, Wang JT (1998) A two-machine multi-family flowshop batch processing scheduling problem with the total completion time case. Int J Oper Quantit Manage 4:315–325
    [86]Neuts MF. A general class of bulk queues with poisson input. Annals of Mathematical Statistics, 1967, 38(3):759-770
    [87]Powell WB, Humblet P. The bulk service queue with a general control strategy: theoretical analysis and a new computational procedure. Operation Research, 1986, 2: 267-275

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700