掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養(yǎng)秘籍)
-
>
晶體管電路設(shè)計(下)
-
>
基于個性化設(shè)計策略的智能交通系統(tǒng)關(guān)鍵技術(shù)
-
>
花樣百出:貴州少數(shù)民族圖案填色
-
>
山東教育出版社有限公司技術(shù)轉(zhuǎn)移與技術(shù)創(chuàng)新歷史叢書中國高等技術(shù)教育的蘇化(1949—1961)以北京地區(qū)為中心
-
>
鐵路機車概要.交流傳動內(nèi)燃.電力機車
-
>
利維坦的道德困境:早期現(xiàn)代政治哲學(xué)的問題與脈絡(luò)
集束型晶圓制造裝備調(diào)度及其優(yōu)化算法 版權(quán)信息
- ISBN：9787121312274
- 條形碼：9787121312274 ; 978-7-121-31227-4
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
集束型晶圓制造裝備調(diào)度及其優(yōu)化算法 本書特色
本書以半導(dǎo)體集束型裝備為研究對象，在全面分析其調(diào)度特點的基礎(chǔ)上，詳細解剖、分析半導(dǎo)體集束型裝備各類調(diào)度問題，建立了調(diào)度模型并運用智能化方法設(shè)計了相應(yīng)的求解方案。本書在認真總結(jié)國內(nèi)外多年的半導(dǎo)體集束型裝備調(diào)度研究成果的基礎(chǔ)上，結(jié)合作者多年在生產(chǎn)調(diào)度，特別是半導(dǎo)體集束型裝備領(lǐng)域的研究與應(yīng)用成果，對復(fù)雜的半導(dǎo)體集束型裝備調(diào)度問題從理論到方法再到應(yīng)用進行了全方位、系統(tǒng)化的論述。
集束型晶圓制造裝備調(diào)度及其優(yōu)化算法 內(nèi)容簡介
本書以半導(dǎo)體集束型裝備為研究對象，在全面分析其調(diào)度特點的基礎(chǔ)上，詳細解剖、分析半導(dǎo)體集束型裝備各類調(diào)度問題，建立了調(diào)度模型并運用智能化方法設(shè)計了相應(yīng)的求解方案。本書在認真總結(jié)國內(nèi)外多年的半導(dǎo)體集束型裝備調(diào)度研究成果的基礎(chǔ)上，結(jié)合作者多年在生產(chǎn)調(diào)度，特別是半導(dǎo)體集束型裝備領(lǐng)域的研究與應(yīng)用成果，對復(fù)雜的半導(dǎo)體集束型裝備調(diào)度問題從理論到方法再到應(yīng)用進行了全方位、系統(tǒng)化的論述。
集束型晶圓制造裝備調(diào)度及其優(yōu)化算法 目錄
目 錄
第1章 緒 論 1
1.1 半導(dǎo)體裝備制造產(chǎn)業(yè)的戰(zhàn)略意義 1
1.2 半導(dǎo)體制造工藝簡介 4
1.3 集束型晶圓制造裝備的高度復(fù)雜性 8
1.4 制造系統(tǒng)調(diào)度簡介 13
1.4.1 車間調(diào)度 14
1.4.2 機器人制造單元調(diào)度 16
1.4.3 抓鉤調(diào)度 19
1.5 集束型裝備調(diào)度 21
1.5.1 基本概念 21
1.5.2 調(diào)度資源 23
1.5.3 約束條件 24
1.6 集束型晶圓制造裝備調(diào)度分類 25
1.6.1 基于調(diào)度類型的分類方法 25
1.6.2 基于三鄰域（α?Oβ?Oγ）的分類方法 27
1.6.3 基于調(diào)度環(huán)境和任務(wù)的分類方法 28
本章參考文獻 29
第2章 集束型晶圓制造裝備的建模方法 36
2.1 基于馬爾科夫模型的集束型裝備建模 36
2.1.1 馬爾科夫模型基礎(chǔ)理論 37
2.1.2 集束型裝備馬爾科夫建模過程 38
2.2 基于數(shù)學(xué)規(guī)劃模型的集束型裝備建模 39
2.2.1 數(shù)學(xué)規(guī)劃模型基本理論 40
2.2.2 集束型裝備數(shù)學(xué)規(guī)劃建模過程 41
2.3 基于時序圖模型的集束型裝備建模 43
2.3.1 時序圖模型基礎(chǔ)理論 43
2.3.2 集束型裝備時序圖建模過程 44
2.4 基于Petri網(wǎng)模型的集束型裝備建模 48
2.4.1 Petri網(wǎng)模型基礎(chǔ)理論 48
2.4.2 集束型裝備Petri網(wǎng)建模過程 54
2.5 基于仿真模型的集束型裝備建模 58
2.5.1 仿真模型的基本理論 59
2.5.2 集束型裝備仿真建模過程 61
2.6 小結(jié) 66
本章參考文獻 66
第3章 集束型晶圓制造裝備的調(diào)度方法 71
3.1 基于運籌學(xué)方法的集束型裝備調(diào)度 71
3.1.1 運籌學(xué)方法概述 72
3.1.2 混合整數(shù)規(guī)劃在集束型裝備調(diào)度中的應(yīng)用 79
3.1.3 分支定界算法在集束型裝備調(diào)度中的應(yīng)用 88
3.2 基于多項式算法的集束型裝備調(diào)度 94
3.2.1 多項式算法概述 94
3.2.2 多項式算法在集束型裝備調(diào)度中的應(yīng)用 97
3.3 基于啟發(fā)式方法的集束型裝備調(diào)度 99
3.31 啟發(fā)式方法概述 100
3.3.2 啟發(fā)式方法在集束型裝備調(diào)度中的應(yīng)用 105
3.4 基于智能優(yōu)化方法的集束型裝備調(diào)度 107
3.4.1 智能優(yōu)化方法概述 108
3.4.2 智能優(yōu)化方法在集束型裝備調(diào)度中的應(yīng)用 118
3.5 小結(jié) 120
本章參考文獻 121
第4章 集束型晶圓制造裝備的重入和混流調(diào)度 129
4.1 引言 129
4.2 重入調(diào)度的混合整數(shù)規(guī)劃模型 130
4.2.1 問題描述 130
4.2.2 約束條件分析 132
4.2.3 仿真 136
4.3 混流調(diào)度的混合整數(shù)規(guī)劃模型 138
4.3.1 調(diào)度問題 139
4.3.2 混合整數(shù)規(guī)劃模型 141
4.3.3 生產(chǎn)周期下界分析 144
4.3.4 仿真 148
4.4 小結(jié) 151
本章參考文獻 151
第5章 集束型晶圓制造裝備的多機械手調(diào)度 154
5.1 引言 154
5.2 基于分解方法的兩集束型裝備調(diào)度 155
5.2.1 符號定義和問題描述 155
5.2.2 問題的分解分析和模型的建立 157
5.2.3 機械手在緩沖模塊無碰撞的判斷條件 159
5.2.4 基于分解方法和線性規(guī)劃模型的搜索算法 161
5.2.5 仿真 162
5.3 有滯留時間約束的兩集束型裝備調(diào)度模型 164
5.3.1 符號定義和問題描述 164
5.3.2 集束型裝備的混合整數(shù)規(guī)劃模型 166
5.3.3 并行加工模塊 168
5.3.4 仿真 169
5.4 求解k晶圓周期序列的多集束型裝備調(diào)度 173
5.4.1 符號定義和問題描述 174
5.4.2 k序列的平均周期下界 175
5.4.3 k序列的構(gòu)造策略 177
5.4.4 仿真 182
5.5 小結(jié) 191
本章參考文獻 192
第6章 集束型晶圓制造裝備的滯留時間約束調(diào)度 194
6.1 引言 194
6.2 單臂機械手集束型裝備可調(diào)度性與調(diào)度 195
6.2.1 問題描述 195
6.2.2 并行加工模塊加工時間的等效性證明 197
6.2.3 可調(diào)度性分析 199
6.2.4 仿真 201
6.3 雙臂機械手集束型裝備可調(diào)度性與調(diào)度 203
6.3.1 符號定義和問題描述 203
6.3.2 有晶圓滯留時間約束的線性規(guī)劃模型 204
6.3.3 集束型裝備的可調(diào)度性分析 205
6.3.4 仿真 207
6.4 單臂機械手的集束型裝備啟發(fā)式搜索方法 211
6.4.1 問題描述 212
6.4.2 調(diào)度模型 213
6.4.3 基于線性規(guī)劃模型和沖突控制策略的啟發(fā)式搜索方法 214
6.4.4 仿真 216
6.5 基于分解思想的多集束型裝備啟發(fā)式調(diào)度方法 217
6.5.1 問題描述和定義 217
6.5.2 周期性調(diào)度過程分析 218
6.5.3 啟發(fā)式調(diào)度方法 219
6.5.4 仿真 220
6.6 基于遺傳算法的集束型裝備調(diào)度方法 222
6.6.1 問題描述和調(diào)度問題 222
6.6.2 改進遺傳算法 224
6.6.3 仿真 228
6.7 小結(jié) 230
本章參考文獻 231
第7章 集束型晶圓制造裝備的應(yīng)急調(diào)度 234
7.1 引言 234
7.2 基于PSO的啟發(fā)式調(diào)度方法 236
7.2.1 調(diào)度問題描述和數(shù)學(xué)模型 236
7.2.2 基于前向和后向遞歸方法的內(nèi)層算法 237
7.2.3 微粒群算法優(yōu)化算法分析 242
7.2.4 基于微粒群算法的兩層在線調(diào)度方法 245
7.2.5 仿真 247
7.3 基于量子進化算法的在線調(diào)度方法 250
7.3.1 在線調(diào)度問題 250
7.3.2 在線調(diào)度方法 251
7.3.3 外層量子進化算法 253
7.3.4 仿真 256
7.4 小結(jié) 258
本章參考文獻 259
第8章 基于SEMI標(biāo)準(zhǔn)的集束型晶圓制造裝備控制平臺 261
8.1 引言 261
8.2 CTC控制軟件概述 262
8.2.1 國內(nèi)外半導(dǎo)體制造自動化公司 262
8.2.2 SEMI協(xié)會和SEMI標(biāo)準(zhǔn) 264
8.3 實時調(diào)度系統(tǒng)框架模型 266
8.3.1 基于SEMI標(biāo)準(zhǔn)的CTC控制軟件 266
8.3.2 實時調(diào)度系統(tǒng)框架模型 267
8.4 實時調(diào)度系統(tǒng)的監(jiān)督控制層 268
8.4.1 擴展有限狀態(tài)機 269
8.4.2 基于EFSM的調(diào)度控制邏輯模型 269
8.5 基于CTMC標(biāo)準(zhǔn)的實時調(diào)度系統(tǒng)模塊管理層 272
8.5.1 作業(yè)分解過程 272
8.5.2 基于CTMC的作業(yè)執(zhí)行 273
8.6 數(shù)據(jù)通信協(xié)議的分析與設(shè)計 276
8.6.1 通信協(xié)議簡介 276
8.6.2 通信協(xié)議設(shè)計 308
8.6.3 通信協(xié)議開發(fā) 311
8.6.4 通信協(xié)議實現(xiàn) 316
8.7 模塊控制器層 320
8.7.1 加工模塊控制器軟件架構(gòu) 320
8.7.2 模塊控制器層模型 321
8.8 實時調(diào)度系統(tǒng)的測試與驗證 321
8.8.1 測試和驗證過程概述 322
8.8.2 測試和驗證系統(tǒng)需求分析 322
8.8.3 測試和驗證系統(tǒng)實現(xiàn) 323
8.9 小結(jié) 326
本章參考文獻 326
第1章 緒 論 1
1.1 半導(dǎo)體裝備制造產(chǎn)業(yè)的戰(zhàn)略意義 1
1.2 半導(dǎo)體制造工藝簡介 4
1.3 集束型晶圓制造裝備的高度復(fù)雜性 8
1.4 制造系統(tǒng)調(diào)度簡介 13
1.4.1 車間調(diào)度 14
1.4.2 機器人制造單元調(diào)度 16
1.4.3 抓鉤調(diào)度 19
1.5 集束型裝備調(diào)度 21
1.5.1 基本概念 21
1.5.2 調(diào)度資源 23
1.5.3 約束條件 24
1.6 集束型晶圓制造裝備調(diào)度分類 25
1.6.1 基于調(diào)度類型的分類方法 25
1.6.2 基于三鄰域（α?Oβ?Oγ）的分類方法 27
1.6.3 基于調(diào)度環(huán)境和任務(wù)的分類方法 28
本章參考文獻 29
第2章 集束型晶圓制造裝備的建模方法 36
2.1 基于馬爾科夫模型的集束型裝備建模 36
2.1.1 馬爾科夫模型基礎(chǔ)理論 37
2.1.2 集束型裝備馬爾科夫建模過程 38
2.2 基于數(shù)學(xué)規(guī)劃模型的集束型裝備建模 39
2.2.1 數(shù)學(xué)規(guī)劃模型基本理論 40
2.2.2 集束型裝備數(shù)學(xué)規(guī)劃建模過程 41
2.3 基于時序圖模型的集束型裝備建模 43
2.3.1 時序圖模型基礎(chǔ)理論 43
2.3.2 集束型裝備時序圖建模過程 44
2.4 基于Petri網(wǎng)模型的集束型裝備建模 48
2.4.1 Petri網(wǎng)模型基礎(chǔ)理論 48
2.4.2 集束型裝備Petri網(wǎng)建模過程 54
2.5 基于仿真模型的集束型裝備建模 58
2.5.1 仿真模型的基本理論 59
2.5.2 集束型裝備仿真建模過程 61
2.6 小結(jié) 66
本章參考文獻 66
第3章 集束型晶圓制造裝備的調(diào)度方法 71
3.1 基于運籌學(xué)方法的集束型裝備調(diào)度 71
3.1.1 運籌學(xué)方法概述 72
3.1.2 混合整數(shù)規(guī)劃在集束型裝備調(diào)度中的應(yīng)用 79
3.1.3 分支定界算法在集束型裝備調(diào)度中的應(yīng)用 88
3.2 基于多項式算法的集束型裝備調(diào)度 94
3.2.1 多項式算法概述 94
3.2.2 多項式算法在集束型裝備調(diào)度中的應(yīng)用 97
3.3 基于啟發(fā)式方法的集束型裝備調(diào)度 99
3.31 啟發(fā)式方法概述 100
3.3.2 啟發(fā)式方法在集束型裝備調(diào)度中的應(yīng)用 105
3.4 基于智能優(yōu)化方法的集束型裝備調(diào)度 107
3.4.1 智能優(yōu)化方法概述 108
3.4.2 智能優(yōu)化方法在集束型裝備調(diào)度中的應(yīng)用 118
3.5 小結(jié) 120
本章參考文獻 121
第4章 集束型晶圓制造裝備的重入和混流調(diào)度 129
4.1 引言 129
4.2 重入調(diào)度的混合整數(shù)規(guī)劃模型 130
4.2.1 問題描述 130
4.2.2 約束條件分析 132
4.2.3 仿真 136
4.3 混流調(diào)度的混合整數(shù)規(guī)劃模型 138
4.3.1 調(diào)度問題 139
4.3.2 混合整數(shù)規(guī)劃模型 141
4.3.3 生產(chǎn)周期下界分析 144
4.3.4 仿真 148
4.4 小結(jié) 151
本章參考文獻 151
第5章 集束型晶圓制造裝備的多機械手調(diào)度 154
5.1 引言 154
5.2 基于分解方法的兩集束型裝備調(diào)度 155
5.2.1 符號定義和問題描述 155
5.2.2 問題的分解分析和模型的建立 157
5.2.3 機械手在緩沖模塊無碰撞的判斷條件 159
5.2.4 基于分解方法和線性規(guī)劃模型的搜索算法 161
5.2.5 仿真 162
5.3 有滯留時間約束的兩集束型裝備調(diào)度模型 164
5.3.1 符號定義和問題描述 164
5.3.2 集束型裝備的混合整數(shù)規(guī)劃模型 166
5.3.3 并行加工模塊 168
5.3.4 仿真 169
5.4 求解k晶圓周期序列的多集束型裝備調(diào)度 173
5.4.1 符號定義和問題描述 174
5.4.2 k序列的平均周期下界 175
5.4.3 k序列的構(gòu)造策略 177
5.4.4 仿真 182
5.5 小結(jié) 191
本章參考文獻 192
第6章 集束型晶圓制造裝備的滯留時間約束調(diào)度 194
6.1 引言 194
6.2 單臂機械手集束型裝備可調(diào)度性與調(diào)度 195
6.2.1 問題描述 195
6.2.2 并行加工模塊加工時間的等效性證明 197
6.2.3 可調(diào)度性分析 199
6.2.4 仿真 201
6.3 雙臂機械手集束型裝備可調(diào)度性與調(diào)度 203
6.3.1 符號定義和問題描述 203
6.3.2 有晶圓滯留時間約束的線性規(guī)劃模型 204
6.3.3 集束型裝備的可調(diào)度性分析 205
6.3.4 仿真 207
6.4 單臂機械手的集束型裝備啟發(fā)式搜索方法 211
6.4.1 問題描述 212
6.4.2 調(diào)度模型 213
6.4.3 基于線性規(guī)劃模型和沖突控制策略的啟發(fā)式搜索方法 214
6.4.4 仿真 216
6.5 基于分解思想的多集束型裝備啟發(fā)式調(diào)度方法 217
6.5.1 問題描述和定義 217
6.5.2 周期性調(diào)度過程分析 218
6.5.3 啟發(fā)式調(diào)度方法 219
6.5.4 仿真 220
6.6 基于遺傳算法的集束型裝備調(diào)度方法 222
6.6.1 問題描述和調(diào)度問題 222
6.6.2 改進遺傳算法 224
6.6.3 仿真 228
6.7 小結(jié) 230
本章參考文獻 231
第7章 集束型晶圓制造裝備的應(yīng)急調(diào)度 234
7.1 引言 234
7.2 基于PSO的啟發(fā)式調(diào)度方法 236
7.2.1 調(diào)度問題描述和數(shù)學(xué)模型 236
7.2.2 基于前向和后向遞歸方法的內(nèi)層算法 237
7.2.3 微粒群算法優(yōu)化算法分析 242
7.2.4 基于微粒群算法的兩層在線調(diào)度方法 245
7.2.5 仿真 247
7.3 基于量子進化算法的在線調(diào)度方法 250
7.3.1 在線調(diào)度問題 250
7.3.2 在線調(diào)度方法 251
7.3.3 外層量子進化算法 253
7.3.4 仿真 256
7.4 小結(jié) 258
本章參考文獻 259
第8章 基于SEMI標(biāo)準(zhǔn)的集束型晶圓制造裝備控制平臺 261
8.1 引言 261
8.2 CTC控制軟件概述 262
8.2.1 國內(nèi)外半導(dǎo)體制造自動化公司 262
8.2.2 SEMI協(xié)會和SEMI標(biāo)準(zhǔn) 264
8.3 實時調(diào)度系統(tǒng)框架模型 266
8.3.1 基于SEMI標(biāo)準(zhǔn)的CTC控制軟件 266
8.3.2 實時調(diào)度系統(tǒng)框架模型 267
8.4 實時調(diào)度系統(tǒng)的監(jiān)督控制層 268
8.4.1 擴展有限狀態(tài)機 269
8.4.2 基于EFSM的調(diào)度控制邏輯模型 269
8.5 基于CTMC標(biāo)準(zhǔn)的實時調(diào)度系統(tǒng)模塊管理層 272
8.5.1 作業(yè)分解過程 272
8.5.2 基于CTMC的作業(yè)執(zhí)行 273
8.6 數(shù)據(jù)通信協(xié)議的分析與設(shè)計 276
8.6.1 通信協(xié)議簡介 276
8.6.2 通信協(xié)議設(shè)計 308
8.6.3 通信協(xié)議開發(fā) 311
8.6.4 通信協(xié)議實現(xiàn) 316
8.7 模塊控制器層 320
8.7.1 加工模塊控制器軟件架構(gòu) 320
8.7.2 模塊控制器層模型 321
8.8 實時調(diào)度系統(tǒng)的測試與驗證 321
8.8.1 測試和驗證過程概述 322
8.8.2 測試和驗證系統(tǒng)需求分析 322
8.8.3 測試和驗證系統(tǒng)實現(xiàn) 323
8.9 小結(jié) 326
本章參考文獻 326
展開全部
集束型晶圓制造裝備調(diào)度及其優(yōu)化算法 作者簡介
李林瑛，中科院沈陽自動化研究所博士，現(xiàn)為大連外國語大學(xué)軟件學(xué)院副教授。曾主持遼寧省教育廳科學(xué)研究一般項目“帶滯留與資源約束的集束型晶圓制造裝備調(diào)度模型與算法研究”；大連外國語大學(xué)科研項目“集束型裝備優(yōu)化調(diào)度問題研究”；“計算機科學(xué)與技術(shù)專業(yè)課程體系改革”等多項科研及教研項目。
書友推薦
- >
上帝之肋:男人的真實旅程
- >
伯納黛特,你要去哪(2021新版)
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
隨園食單
- >
名家?guī)阕x魯迅:故事新編
- >
羅庸西南聯(lián)大授課錄
- >
苦雨齋序跋文-周作人自編集
- >
二體千字文
本類暢銷
