蔣小康,張 朋,呂佑龍,趙新明,張 潔
(1. 東華大學(xué) 機械工程學(xué)院, 上海 216020; 2. 上海交通大學(xué) 機械與動力工程學(xué)院, 上海 200240)
作為先進制造業(yè)的典型代表,半導(dǎo)體制造具有可重入、混線生產(chǎn)、批處理加工、機器負載不均衡及良率隨機等不同于傳統(tǒng)生產(chǎn)線的混合特性,因而被認為是當今最復(fù)雜的制造過程之一[1].按實際工作區(qū)域,半導(dǎo)體制造廠可分為爐管區(qū)、刻蝕區(qū)、黃光區(qū)和薄膜區(qū).其中,爐管區(qū)主要用于氧化、擴散與低壓化學(xué)氣相沉積等熱處理過程,該區(qū)域以批處理模式組織生產(chǎn),由于生產(chǎn)過程加工時間長,在制品多,因而被認為是半導(dǎo)體制造過程的主要瓶頸之一.目前,爐管區(qū)的生產(chǎn)組織主要依賴于現(xiàn)場操作人員的經(jīng)驗,存在很大局限性,因此急需制定快速有效的調(diào)度策略,縮短晶圓的生產(chǎn)周期,提高企業(yè)的生產(chǎn)效益.
爐管區(qū)包含數(shù)十臺不同類型的設(shè)備,在實際生產(chǎn)過程中,晶圓動態(tài)地重復(fù)訪問爐管區(qū),以完成不同晶圓層的加工.在生產(chǎn)調(diào)度領(lǐng)域,爐管區(qū)調(diào)度通常被歸納為一類帶重入特性的并行批處理機調(diào)度問題.
Ikura等[2]于1986對批調(diào)度問題進行了最早的研究,認為批調(diào)度是不同于經(jīng)典調(diào)度問題的一類具有強應(yīng)用背景的新型調(diào)度問題,工件以一定條件組成一批進行加工.復(fù)雜重入多機臺并行批調(diào)度問題是在半導(dǎo)體爐管區(qū)生產(chǎn)過程中提煉出的一類符合實際情況調(diào)度題.近年來,國內(nèi)外已經(jīng)有學(xué)者和工業(yè)人士在半導(dǎo)體爐管區(qū)調(diào)度的理論和實踐方面做了大量的工作,但這些工作具有一定的局限性,并未完全考慮到爐管區(qū)的實際加工約束與限制.關(guān)于單一機臺組的研究較多,將爐管區(qū)從半導(dǎo)體制造生產(chǎn)線上剝離出來,未考慮到前后道工序?qū)t管生產(chǎn)的影響,更未考慮到設(shè)備之間的等待時間約束[3-5].Parsa等[3]針對最小化總加權(quán)滯后的單一機臺組調(diào)度問題,找到預(yù)組批的最佳方案,提出了1個動態(tài)規(guī)劃算法,并在此基礎(chǔ)上提出了多個啟發(fā)式算法,在求解小規(guī)模問題上具有明顯優(yōu)勢.Cheng等[4]針對以最小化制造期的相同并行機調(diào)度問題,提出了一類改進的蟻群優(yōu)化算法,該算法尤其適合大規(guī)模單一機臺組調(diào)度問題.Parsa等[5]針對最小化平均流動時間(MFT)的單一機臺組調(diào)度問題,提出了1個最大-最小蟻群算法,證明了其算法優(yōu)于CPLEX和幾種啟發(fā)式算法,但其求解時間較長.有部分研究[6-8]考慮了半導(dǎo)體生產(chǎn)線上爐管區(qū)前后道工序,但忽略了重入性,僅對單一層上晶圓的生產(chǎn)進行調(diào)度,未考慮全局優(yōu)化.Ham等[8]針對考慮等待時間限制的兩機臺組調(diào)度問題,提出了一種整數(shù)規(guī)劃算法 i-RTD,解決了簡單的兩機臺組的實時調(diào)度.根據(jù)Ahmadi等[9]引入的多工藝多機臺組調(diào)度問題的定義,用δ、β、→分別代表離散加工機臺組、批加工機臺組和流動方向,批處理機臺組前存在兩種可能的加工系統(tǒng),分別為δ→β和β1→β2,代表批處理機臺組前存在離散加工機臺組和批處理機臺組前一機臺組依舊為批處理加工機臺組.李程[10]針對半導(dǎo)體爐管區(qū)瓶頸設(shè)備的β1→β2型批調(diào)度問題,以瓶頸機臺的連續(xù)滿批運行為目標,在考慮爐管區(qū)工藝和設(shè)備容量限制的前提下,提出了一種理想的基于規(guī)則的批調(diào)度算法(RSBP),解決了重入環(huán)境下爐管區(qū)瓶頸設(shè)備的實時派工問題.賈文友等[11]對爐管區(qū)β1→β2問題進行了更加詳細的描述,考慮了不兼容工藝菜單、有限的等待時間以及重入流特性的爐管區(qū)調(diào)度問題,為提高瓶頸設(shè)備的利用率,提出了1個拉式調(diào)度算法,其中包括3個子算法,以更好地進行瓶頸設(shè)備的組批派工.實驗在作者設(shè)計的半導(dǎo)體晶圓加工仿真平臺上進行,通過評價平均流動時間、產(chǎn)量以及瓶頸機臺利用率3個指標,證明其結(jié)果均優(yōu)于遺傳算法.文獻[10-11]在爐管區(qū)調(diào)度問題上進行了卓有成效的工作,但未考慮到爐管區(qū)內(nèi)機臺組上不同工藝菜單之間的設(shè)備準備時間.元啟發(fā)式算法是解決大規(guī)模組合優(yōu)化算法問題常用的方法之一,蟻群優(yōu)化(ACO)作為一種典型的智能構(gòu)建型元啟發(fā)式算法,通過模擬自然界中螞蟻的覓食行為,借助信息素濃度τ尋找最短路徑,其并發(fā)多線程搜索機制可充分利用全局信息已獲得優(yōu)化搜索解,已在眾多調(diào)度領(lǐng)域得到有效驗證[12-13].
基于上述分析,當前研究未全面考慮實際加工特點及各類約束,在求解方法上多以精確算法和基于規(guī)則的調(diào)度算法為主,因此僅能在有限時間內(nèi)求解小規(guī)模調(diào)度問題,而在大規(guī)模問題上求解質(zhì)量較差.現(xiàn)有爐管區(qū)智能算法大都應(yīng)用于約束較為簡單的問題,缺乏各類約束且僅使用智能算法,求解時間較長,難以滿足爐管區(qū)快速響應(yīng).因此,本文針對一類包含復(fù)雜重入流、不兼容工藝菜單、不同準備時間、等待時間約束及工件動態(tài)到達的爐管區(qū)β1→β2調(diào)度問題,以最小化晶圓平均流動時間為目標,構(gòu)建爐管區(qū)β1→β2調(diào)度模型.將調(diào)度過程分成工件組批、設(shè)備選擇和批次排序3個相互關(guān)聯(lián)的階段,設(shè)計規(guī)則與智能算法結(jié)合的混合算法,針對工件組批階段設(shè)計了可變閾值的組批策略,針對復(fù)雜約束設(shè)計了基于混合蟻群算法HACO的IVTRP-ACO分層調(diào)度算法.
以某多產(chǎn)品半導(dǎo)體生產(chǎn)線的爐管區(qū)兩并行批處理機臺組調(diào)度問題為研究對象,通過對爐管區(qū)工件Lot(即晶圓卡,通常由25片晶圓組成)的工藝路線進行分析,建立半導(dǎo)體生產(chǎn)線爐管區(qū)的問題模型,如圖1所示.考慮的設(shè)備集包括兩個并行批處理機臺組MG1,MG2和1個后續(xù)加工設(shè)備集MG3.MG1機臺組為晶圓生產(chǎn)中的常壓柵氧化爐管,MG2機臺組為低壓化學(xué)氣相沉積爐管,兩機臺組均包含若干功能相同的爐管設(shè)備,MG3為工件該層加工剩余工藝加工設(shè)備集簡稱.將晶圓處于MG1機臺組的加工過程稱為階段1,即β1,其中包括前后兩道工序F1與F2,分別存在s、h類工藝;處于MG2機臺組的加工過程稱為階段2,即β2,僅包含一道工序F3,存在g類工藝.圖1中,工藝1為爐管加工各工序的第一類工藝,實際的爐管區(qū)生產(chǎn)過程具有5個約束:①重入流,如圖1所示,重入流包括兩部分,其一為MG1機臺組內(nèi)的前后道工藝,在前道工藝F1完成后還需重新進入MG1機臺加工后道工藝F2;其二為某層加工完后,下一層工藝要求晶圓需重新進入爐管區(qū)進行加工,以形成理想電路.工件在設(shè)備上的流動情況可表示為MG1→MG1→MG2→MG3→…→MG1.②不兼容工藝菜單.不同工藝類型的工件不能放在一批進行加工.③不同準備時間.當批處理機前后加工不同工藝的產(chǎn)品時,設(shè)備存在不同的準備時間.④等待時間約束.在β1加工完成后必須在規(guī)定時間內(nèi)進入β2內(nèi)加工,否則工件需要返工乃至報廢.⑤動態(tài)到達.工件是動態(tài)到達的,工件到達時間,加工類型與加工時間均未知.
綜上所述,本文研究的問題為考慮多產(chǎn)品復(fù)雜重入流、不兼容工藝菜單、不同準備時間、等待時間約束和工件動態(tài)到達的爐管區(qū)β1→β2調(diào)度問題,以最小化工件平均流動時間為目標設(shè)計優(yōu)化算法.
本文的調(diào)度模型給出如下假設(shè):① 各工藝類型的加工時間和設(shè)備的加工能力已知; ② 任一工件只有前一道工序完成后方可進入下一道工序;③ 每臺設(shè)備都可加工多個工件,但有容量限制;④ 工件的每道工序只能在一臺設(shè)備上加工;⑤ 工件以及工件所在批次的加工時間只與工藝有關(guān),而與設(shè)備無關(guān);⑥ 屬于同一批次的工件一旦進行加工則不能中斷,屬于非搶占式加工;⑦ 設(shè)備加工不同批次的準備時間與批次的加工順序與工藝類型有關(guān).
爐管區(qū)β1→β2調(diào)度問題模型為
(1)
(2)
(3)
(4)
(5)
WT2,i≤QT ?i
(6)
Cw ki=rw ki+pkji?w,k,i
(7)
rw k′i=Cw ki+WTk′,i+RTkj′,j
(8)
?w,k,i,j,k′=k+1
(9)
?w,k,i
rw′i=Cw i+HTw i?w,i,w′=w+1
(10)
rw k′i≥rw ki?w,i,k′=k+1
(11)
rw,1,i≥0 ?w,i
(12)
RTkj,j′=Xj,j′RTkj,j′
(13)
式中:n為工件總數(shù),工件索引i=1,2,…,n;Fi為工件i的流動時間;M為機臺總數(shù),機臺索引m∈M=[1,N1+N2],N1、N2分別為β1、β2內(nèi)爐管數(shù)量;Mk為工序k的并行機數(shù)量;mk為工序k可加工機臺的編號,
Ow ki為工件i的第w層的第k道工序;B1、B2分別為β1、β2內(nèi)爐管加工最大容量;w為工件i當前加工層數(shù);k為工序索引,k∈K={1,2,3}; WTi,k,k+1為工件i在第k道工序和下一工序間的等待時間;QT為工序2與工序3之間的等待時間上限;ri、Ci分別為工件i的釋放時間及完工時間,其中Ci=CLi3i(工件i最后一層的最后一道工序的完工時間),F(xiàn)i=Ci-ri;rw i、Cw i分別為工件i的第w層的到達時間與完工時間;pkji為工件i在工序k上加工工藝為j的加工時間;rw ki、Cw ki分別為工件i的第w層的第k道工序的開始加工時間與完工時間;HTw i為工件i的第w層的后續(xù)加工時間,即MG3加工時間;RTkj,j′為工序k的當前工藝類型j與設(shè)備之前加工類型j′之間的準備時間(不同工藝類型有工藝準備時間/相同工藝類型無工藝準備時間)。
決策變量:rw kim為工件i的第w層的第k道工序的開始時間,該操作在機器m上加工。
式(1)表示目標為最小化平均流動時間;式(2)表示F1和F2共用一個并行機臺組,機臺總數(shù)是β1,β2內(nèi)并行機數(shù)量之和;式(3)表示Ow ki加工機臺的唯一性;式(4)和(5)表示設(shè)備的最大加工容量限制;式(6)表示第二道工序與第三道工序之間有等待時間的限制;式(7)表示工件i的第w層的第k階段的完工時間等于開始加工時間與加工時間之和;式(8)表示第k′階段的開始加工時間等于階段k的完工時間與上一階段的等待時間和準備時間之和,k′=k+1;式(9)表示工件i第w層的完工時間為第w層三階段的加工時間、到達時間、等待時間與準備時間之和;式(10)表示工件i的w′層到達時間為w層的完工時間與w層的后續(xù)加工時間之和,w′=w+1;式(11)表示工件必須嚴格地按照工藝流程依次在各道工序上加工,同一工件只有在上一道工序加工完成之后,后一道工序才能開始加工;式(12)表示沒有工件可以在開始時間前進行加工;式(13)表示相同設(shè)備的準備時間與前后工藝的類型相關(guān),工藝菜單相同無工藝準備時間,工藝不同時則存在工藝準備時間.
在爐管區(qū)生產(chǎn)中,MG1和MG2都屬于并行批處理機臺組,故可將其調(diào)度問題拆分為3個子問題為各個緩沖區(qū)中不同工件的組批問題,并行機臺組中的設(shè)備選擇問題以及組批完成后批次排序問題.本研究基于時間序列模型的分解策略,將整個調(diào)度時間軸分解為多個時間域T,在各時間域內(nèi)針對各子問題形成3個求解層次為組批層,設(shè)備選擇層和批次排序?qū)?通過將分段時域內(nèi)的調(diào)度問題進行分層處理,有效降低了問題的復(fù)雜度,通過設(shè)計各層的求解算法,分別實現(xiàn)子問題的求解.
由于爐管區(qū)調(diào)度對整個半導(dǎo)體生產(chǎn)線影響巨大,要求調(diào)度方案兼具較高求解質(zhì)量和較低的計算時間,為了達到此目標,本文將綜合利用調(diào)度規(guī)則求解速度快與元啟發(fā)式算法求解質(zhì)量高的優(yōu)勢,保證解的高質(zhì)量的同時,提高求解速度.時域T內(nèi)每層的具體處理方法如下為首先通過設(shè)計啟發(fā)式規(guī)則對動態(tài)到達的工件構(gòu)造組批問題求解,然后利用設(shè)備指派規(guī)則得到設(shè)備選擇問題解,最后在人工蟻群在分布于問題空間的信息素指引下,針對各批次任務(wù)逐步構(gòu)造批次排序問題解.時域T內(nèi)基于混合蟻群算法的爐管區(qū)分層調(diào)度方法框架見圖3.
針對工件組批問題,常用的組批方法包括啟發(fā)式規(guī)則和元啟發(fā)算法.由于啟發(fā)式規(guī)則結(jié)構(gòu)簡單、便于操作,因而在實際生產(chǎn)中應(yīng)用廣泛.爐管區(qū)調(diào)度過程的組批階段需滿足兩個約束:① 不兼容工藝菜單約束,僅相同工藝菜單的Lot才可以被分為同一批;② 設(shè)備容量約束,批中的Lot數(shù)量不能超過爐管的容量.針對工件到達時間,優(yōu)先級等未知的特點,設(shè)計了一種基于最小加工批量(MBS)規(guī)則的組批算法.