[ 收藏 ] [ 繁体中文 ]  
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款,4-7個工作日送達,999元臺幣免運費   在線留言 商品價格為新臺幣 
首頁 電影 連續劇 音樂 圖書 女裝 男裝 童裝 內衣 百貨家居 包包 女鞋 男鞋 童鞋 計算機周邊

商品搜索

 类 别:
 关键字:
    

商品分类

  •  管理

     一般管理学
     市场/营销
     会计
     金融/投资
     经管音像
     电子商务
     创业企业与企业家
     生产与运作管理
     商务沟通
     战略管理
     商业史传
     MBA
     管理信息系统
     工具书
     外文原版/影印版
     管理类职称考试
     WTO
     英文原版书-管理
  •  投资理财

     证券/股票
     投资指南
     理财技巧
     女性理财
     期货
     基金
     黄金投资
     外汇
     彩票
     保险
     购房置业
     纳税
     英文原版书-投资理财
  •  经济

     经济学理论
     经济通俗读物
     中国经济
     国际经济
     各部门经济
     经济史
     财政税收
     区域经济
     统计 审计
     贸易政策
     保险
     经济数学
     各流派经济学说
     经济法
     工具书
     通货膨胀
     财税外贸保险类考试
     英文原版书-经济
  •  社会科学

     语言文字
     社会学
     文化人类学/人口学
     新闻传播出版
     社会科学总论
     图书馆学/档案学
     经典名家作品集
     教育
     英文原版书-社会科学
  •  哲学

     哲学知识读物
     中国古代哲学
     世界哲学
     哲学与人生
     周易
     哲学理论
     伦理学
     哲学史
     美学
     中国近现代哲学
     逻辑学
     儒家
     道家
     思维科学
     马克思主义哲学
     经典作品及研究
     科学哲学
     教育哲学
     语言哲学
     比较哲学
  •  宗教

  •  心理学

  •  古籍

     经部  史类  子部  集部  古籍管理  古籍工具书  四库全书  古籍善本影音本  中国藏书
  •  文化

     文化评述  文化随笔  文化理论  传统文化  世界各国文化  文化史  地域文化  神秘文化  文化研究  民俗文化  文化产业  民族文化  书的起源/书店  非物质文化遗产  文化事业  文化交流  比较文化学
  •  历史

     历史普及读物
     中国史
     世界史
     文物考古
     史家名著
     历史地理
     史料典籍
     历史随笔
     逸闻野史
     地方史志
     史学理论
     民族史
     专业史
     英文原版书-历史
     口述史
  •  传记

  •  文学

  •  艺术

     摄影
     绘画
     小人书/连环画
     书法/篆刻
     艺术设计
     影视/媒体艺术
     音乐
     艺术理论
     收藏/鉴赏
     建筑艺术
     工艺美术
     世界各国艺术概况
     民间艺术
     雕塑
     戏剧艺术/舞台艺术
     艺术舞蹈
     艺术类考试
     人体艺术
     英文原版书-艺术
  •  青春文学

  •  文学

     中国现当代随笔
     文集
     中国古诗词
     外国随笔
     文学理论
     纪实文学
     文学评论与鉴赏
     中国现当代诗歌
     外国诗歌
     名家作品
     民间文学
     戏剧
     中国古代随笔
     文学类考试
     英文原版书-文学
  •  法律

     小说
     世界名著
     作品集
     中国古典小说
     四大名著
     中国当代小说
     外国小说
     科幻小说
     侦探/悬疑/推理
     情感
     魔幻小说
     社会
     武侠
     惊悚/恐怖
     历史
     影视小说
     官场小说
     职场小说
     中国近现代小说
     财经
     军事
  •  童书

  •  成功/励志

  •  政治

  •  军事

  •  科普读物

  •  计算机/网络

     程序设计
     移动开发
     人工智能
     办公软件
     数据库
     操作系统/系统开发
     网络与数据通信
     CAD CAM CAE
     计算机理论
     行业软件及应用
     项目管理 IT人文
     计算机考试认证
     图形处理 图形图像多媒体
     信息安全
     硬件
     项目管理IT人文
     网络与数据通信
     软件工程
     家庭与办公室用书
  •  建筑

     执业资格考试用书  室内设计/装潢装修  标准/规范  建筑科学  建筑外观设计  建筑施工与监理  城乡规划/市政工程  园林景观/环境艺术  工程经济与管理  建筑史与建筑文化  建筑教材/教辅  英文原版书-建筑
  •  医学

     中医
     内科学
     其他临床医学
     外科学
     药学
     医技学
     妇产科学
     临床医学理论
     护理学
     基础医学
     预防医学/卫生学
     儿科学
     医学/药学考试
     医院管理
     其他医学读物
     医学工具书
  •  自然科学

     数学
     生物科学
     物理学
     天文学
     地球科学
     力学
     科技史
     化学
     总论
     自然科学类考试
     英文原版书-自然科学
  •  工业技术

     环境科学
     电子通信
     机械/仪表工业
     汽车与交通运输
     电工技术
     轻工业/手工业
     化学工业
     能源与动力工程
     航空/航天
     水利工程
     金属学与金属工艺
     一般工业技术
     原子能技术
     安全科学
     冶金工业
     矿业工程
     工具书/标准
     石油/天然气工业
     原版书
     武器工业
     英文原版书-工业技
  •  农业/林业

     园艺  植物保护  畜牧/狩猎/蚕/蜂  林业  动物医学  农作物  农学(农艺学)  水产/渔业  农业工程  农业基础科学  农林音像
  •  外语

  •  考试

  •  教材

  •  工具书

  •  中小学用书

  •  中小学教科书

  •  动漫/幽默

  •  烹饪/美食

  •  时尚/美妆

  •  旅游/地图

  •  家庭/家居

  •  亲子/家教

  •  两性关系

  •  育儿/早教

  •  保健/养生

  •  体育/运动

  •  手工/DIY

  •  休闲/爱好

  •  英文原版书

  •  港台图书

  •  研究生
     工学
     公共课
     经济管理
     理学
     农学
     文法类
     医学

  •  音乐
     音乐理论

     声乐  通俗音乐  音乐欣赏  钢琴  二胡  小提琴
  • 集束型晶圓制造裝備調度及其優化算法
    該商品所屬分類:工業技術 -> 機械/儀表工業
    【市場價】
    342-496
    【優惠價】
    214-310
    【作者】 李林瑛 著 
    【所屬類別】 圖書  工業技術  機械/儀表工業  機械制造工藝 
    【出版社】電子工業出版社 
    【ISBN】9787121312274
    【折扣說明】一次購物滿999元台幣免運費+贈品
    一次購物滿2000元台幣95折+免運費+贈品
    一次購物滿3000元台幣92折+免運費+贈品
    一次購物滿4000元台幣88折+免運費+贈品
    【本期贈品】①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
    版本正版全新電子版PDF檔
    您已选择: 正版全新
    溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。
    *. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。
    *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。
    *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。
    內容介紹



    開本:16開
    紙張:膠版紙
    包裝:平裝-膠訂

    是否套裝:否
    國際標準書號ISBN:9787121312274
    作者:李林瑛著

    出版社:電子工業出版社
    出版時間:2017年04月 

        
        
    "

    產品特色
    編輯推薦
    內容簡介
    本書以半導體集束型裝備為研究對像,在全面分析其調度特點的基礎上,詳細解剖、分析半導體集束型裝備各類調度問題,建立了調度模型並運用智能化方法設計了相應的求解方案。本書在認真總結國內外多年的半導體集束型裝備調度研究成果的基礎上,結合作者多年在生產調度,特別是半導體集束型裝備領域的研究與應用成果,對復雜的半導體集束型裝備調度問題從理論到方法再到應用進行了全方位、繫統化的論述。
    作者簡介
    李林瑛,中科院瀋陽自動化研究所博士,現為大連外國語大學軟件學院副教授。曾主持遼寧省教育廳科學研究一般項目“帶滯留與資源約束的集束型晶圓制造裝備調度模型與算法研究”;大連外國語大學科研項目“集束型裝備優化調度問題研究”;“計算機科學與技術專業課程體繫改革”等多項科研及教研項目。
    目錄
    目 錄

    第1章 緒 論1
    1.1 半導體裝備制造產業的戰略意義1
    1.2 半導體制造工藝簡介4
    1.3 集束型晶圓制造裝備的高度復雜性8
    1.4 制造繫統調度簡介13
    1.4.1 車間調度14
    1.4.2 機器人調度16
    1.4.3 抓鉤調度19
    1.5 集束型裝備調度21
    1.5.1 基本概念21
    1.5.2 調度資源23
    1.5.3 約束條件24目 錄

    第1章 緒 論1
    1.1 半導體裝備制造產業的戰略意義1
    1.2 半導體制造工藝簡介4
    1.3 集束型晶圓制造裝備的高度復雜性8
    1.4 制造繫統調度簡介13
    1.4.1 車間調度14
    1.4.2 機器人調度16
    1.4.3 抓鉤調度19
    1.5 集束型裝備調度21
    1.5.1 基本概念21
    1.5.2 調度資源23
    1.5.3 約束條件24
    1.6 集束型晶圓制造裝備調度分類25
    1.6.1 基於調度類型的分類方法25
    1.6.2 基於三鄰域(α?Oβ?Oγ)的分類方法27
    1.6.3 基於調度環境和任務的分類方法28
    本章參考文獻29
    第2章 集束型晶圓制造裝備的建模方法36
    2.1 基於馬爾科夫模型的集束型裝備建模36
    2.1.1 馬爾科夫模型基礎理論37
    2.1.2 集束型裝備馬爾科夫建模過程38
    2.2 基於數學規劃模型的集束型裝備建模39
    2.2.1 數學規劃模型基本理論40
    2.2.2 集束型裝備數學規劃建模過程41
    2.3 基於時序圖模型的集束型裝備建模43
    2.3.1 時序圖模型基礎理論43
    2.3.2 集束型裝備時序圖建模過程44
    2.4 基於Petri網模型的集束型裝備建模48
    2.4.1 Petri網模型基礎理論48
    2.4.2 集束型裝備Petri網建模過程54
    2.5 基於仿真模型的集束型裝備建模58
    2.5.1 仿真模型的基本理論59
    2.5.2 集束型裝備仿真建模過程61
    2.6 小結66
    本章參考文獻66
    第3章 集束型晶圓制造裝備的調度方法71
    3.1 基於運籌學方法的集束型裝備調度71
    3.1.1 運籌學方法概述72
    3.1.2 混合整數規劃在集束型裝備調度中的應用79
    3.1.3 分支定界算法在集束型裝備調度中的應用88
    3.2 基於多項式算法的集束型裝備調度94
    3.2.1 多項式算法概述94
    3.2.2 多項式算法在集束型裝備調度中的應用97
    3.3 基於啟發式方法的集束型裝備調度99
    3.31 啟發式方法概述100
    3.3.2 啟發式方法在集束型裝備調度中的應用105
    3.4 基於智能優化方法的集束型裝備調度107
    3.4.1 智能優化方法概述108
    3.4.2 智能優化方法在集束型裝備調度中的應用118
    3.5 小結120
    本章參考文獻121
    第4章 集束型晶圓制造裝備的重入和混流調度129
    4.1 引言129
    4.2 重入調度的混合整數規劃模型130
    4.2.1 問題描述130
    4.2.2 約束條件分析132
    4.2.3 仿真136
    4.3 混流調度的混合整數規劃模型138
    4.3.1 調度問題139
    4.3.2 混合整數規劃模型141
    4.3.3 生產周期下界分析144
    4.3.4 仿真148
    4.4 小結151
    本章參考文獻151
    第5章 集束型晶圓制造裝備的多機械手調度154
    5.1 引言154
    5.2 基於分解方法的兩集束型裝備調度155
    5.2.1 符號定義和問題描述155
    5.2.2 問題的分解分析和模型的建立157
    5.2.3 機械手在緩衝模塊無踫撞的判斷條件159
    5.2.4 基於分解方法和線性規劃模型的搜索算法161
    5.2.5 仿真162
    5.3 有滯留時間約束的兩集束型裝備調度模型164
    5.3.1 符號定義和問題描述164
    5.3.2 集束型裝備的混合整數規劃模型166
    5.3.3 並行加工模塊168
    5.3.4 仿真169
    5.4 求解k晶圓周期序列的多集束型裝備調度173
    5.4.1 符號定義和問題描述174
    5.4.2 k序列的平均周期下界175
    5.4.3 k序列的構造策略177
    5.4.4 仿真182
    5.5 小結191
    本章參考文獻192
    第6章 集束型晶圓制造裝備的滯留時間約束調度194
    6.1 引言194
    6.2 單臂機械手集束型裝備可調度性與調度195
    6.2.1 問題描述195
    6.2.2 並行加工模塊加工時間的等效性證明197
    6.2.3 可調度性分析199
    6.2.4 仿真201
    6.3 雙臂機械手集束型裝備可調度性與調度203
    6.3.1 符號定義和問題描述203
    6.3.2 有晶圓滯留時間約束的線性規劃模型204
    6.3.3 集束型裝備的可調度性分析205
    6.3.4 仿真207
    6.4 單臂機械手的集束型裝備啟發式搜索方法211
    6.4.1 問題描述212
    6.4.2 調度模型213
    6.4.3 基於線性規劃模型和衝突控制策略的啟發式搜索方法214
    6.4.4 仿真216
    6.5 基於分解思想的多集束型裝備啟發式調度方法217
    6.5.1 問題描述和定義217
    6.5.2 周期性調度過程分析218
    6.5.3 啟發式調度方法219
    6.5.4 仿真220
    6.6 基於遺傳算法的集束型裝備調度方法222
    6.6.1 問題描述和調度問題222
    6.6.2 改進遺傳算法224
    6.6.3 仿真228
    6.7 小結230
    本章參考文獻231
    第7章 集束型晶圓制造裝備的應急調度234
    7.1 引言234
    7.2 基於PSO的啟發式調度方法236
    7.2.1 調度問題描述和數學模型236
    7.2.2 基於前向和後向遞歸方法的內層算法237
    7.2.3 微粒群算法優化算法分析242
    7.2.4 基於微粒群算法的兩層在線調度方法245
    7.2.5 仿真247
    7.3 基於量子進化算法的在線調度方法250
    7.3.1 在線調度問題250
    7.3.2 在線調度方法251
    7.3.3 外層量子進化算法253
    7.3.4 仿真256
    7.4 小結258
    本章參考文獻259
    第8章 基於SEMI標準的集束型晶圓制造裝備控制平臺261
    8.1 引言261
    8.2 CTC控制軟件概述262
    8.2.1 國內外半導體制造自動化公司262
    8.2.2 SEMI協會和SEMI標準264
    8.3 實時調度繫統框架模型266
    8.3.1 基於SEMI標準的CTC控制軟件266
    8.3.2 實時調度繫統框架模型267
    8.4 實時調度繫統的監督控制層268
    8.4.1 擴展有限狀態機269
    8.4.2 基於EFSM的調度控制邏輯模型269
    8.5 基於CTMC標準的實時調度繫統模塊管理層272
    8.5.1 作業分解過程272
    8.5.2 基於CTMC的作業執行273
    8.6 數據通信協議的分析與設計276
    8.6.1 通信協議簡介276
    8.6.2 通信協議設計308
    8.6.3 通信協議開發311
    8.6.4 通信協議實現316
    8.7 模塊控制器層320
    8.7.1 加工模塊控制器軟件架構320
    8.7.2 模塊控制器層模型321
    8.8 實時調度繫統的測試與驗證321
    8.8.1 測試和驗證過程概述322
    8.8.2 測試和驗證繫統需求分析322
    8.8.3 測試和驗證繫統實現323
    8.9 小結326
    本章參考文獻326
    前言
    前 言
    半導體制造的源頭是芯片制造,芯片制造的關鍵是其制造裝備。集束型晶圓制造裝備(Cluster Tools)是由物料搬運機械手和若干單晶圓加工設備構成的自動化組合制造繫統,代表著當今半導體制造裝備的先進水平,越來越多地應用到芯片的制造中。集束型裝備調度問題與生產調度問題一樣具有復雜性,如建模困難(數學模型或仿真模型難以建立)、高度重入加工(半導體制造過程中晶圓多次進入相同的設備加工)、存在多約束耦合(加工能力、滯留時間、機械手能力等約束耦合)、不確定(加工時間波動、設備自動清洗、臨時晶圓插入、設備故障、返工等)、多種類型機械手(單臂機械手、雙臂機械手、多機械手)、多種類型晶圓混合加工(晶圓代工廠要同時生產幾十種產品,生產調度要同時考慮晶圓排序和機械手搬運作業排序)、存在不同的晶圓流模式(表現為串行、並行和重入晶圓模式)、大規模(晶圓和機械手搬運作業數量龐大,解空間可能隨問題規模的增大而呈指數增長等)。研究表明,絕大多數集束型裝備調度問題屬於NP-hard性質的問題,其研究具有重要的學術意義和工程價值。

    前  言 


    半導體芯片制造業是一個尖端技術及高附加值產業,對國民經濟的發展具有巨大的戰略價值,世界各國政府都將其視為國家的骨干產業。在世界制造業中心向亞太地區轉移的大背景下,在國家產業政策的推動下,中國的半導體芯片產業獲得了飛速的發展。要保持我國半導體芯片制造業良好的發展勢頭,提升我國半導體芯片制造業國際競爭能力,不僅要擴大規模,而且要注重提高制造繫統績效。把我國的半導體芯片做大、做強,不僅需要先進的半導體芯片設計技術、制造工藝技術及裝備技術,而且需要先進的生產管理技術。
    半導體制造的源頭是芯片制造,芯片制造的關鍵是其制造裝備。集束型晶圓制造裝備(Cluster  Tools)是由物料搬運機械手和若干單晶圓加工設備構成的自動化組合制造繫統,代表著當今半導體制造裝備的先進水平,越來越多地應用到芯片的制造中。集束型裝備調度問題與生產調度問題一樣具有復雜性,如建模困難(數學模型或仿真模型難以建立)、高度重入加工(半導體制造過程中晶圓多次進入相同的設備加工)、存在多約束耦合(加工能力、滯留時間、機械手能力等約束耦合)、不確定(加工時間波動、設備自動清洗、臨時晶圓插入、設備故障、返工等)、多種類型機械手(單臂機械手、雙臂機械手、多機械手)、多種類型晶圓混合加工(晶圓代工廠要同時生產幾十種產品,生產調度要同時考慮晶圓排序和機械手搬運作業排序)、存在不同的晶圓流模式(表現為串行、並行和重入晶圓模式)、大規模(晶圓和機械手搬運作業數量龐大,解空間可能隨問題規模的增大而呈指數增長等)。研究表明,絕大多數集束型裝備調度問題屬於NP-hard性質的問題,其研究具有重要的學術意義和工程價值。
    本書力圖總結作者和國內外同行在集束型晶圓制造裝備調度問題方面所取得的一繫列研究成果,主要討論集束型晶圓制造裝備重入和混流調度、集束型晶圓制造裝備的多機械手調度、集束型晶圓制造裝備的滯留時間約束調度、集束型晶圓制造裝備的應急調度、集束型晶圓制造裝備混合晶圓調度等問題的數學模型、問題特性及優化調度算法,以及基於SEMI標準的集束型裝備控制平臺的設計與驗證等。全書共8章,主要內容如下:
    第1章為緒論,簡要介紹半導體制造產業的戰略意義、半導體制造工藝、集束型裝備的高度復雜性、制造繫統調度、集束型裝備調度資源和約束條件、集束型裝備調度的分類。
    第2章介紹集束型晶圓制造裝備的建模方法,包括基於馬爾科夫模型、數學規劃模型、時序圖模型、Petri網模型及仿真模型等。
    第3章介紹集束型晶圓制造裝備的調度方法,包括基於運籌學方法、多項式算法、啟發式方法和智能優化方法等。
    第4章介紹集束型晶圓制造裝備的重入和混流調度的混合整數規劃模型,該模型包括加工模塊能力約束、機械手能力約束、重入模塊約束等。
    第5章論述集束型晶圓制造裝備的多機械手調度,重點介紹基於分解方法和線性規劃模型的搜索算法、基於LCM和Swap的k序列策略和構造算法等。
    第6章圍繞集束晶圓制造型裝備的滯留時間約束調度展開,重點介紹單臂和雙臂機械手的可調性條件、基於線性規劃模型和衝突控制策略的啟發式搜索方法、基於分解思想的多集束型裝備啟發式調度方法。
    第7章介紹集束型晶圓制造裝備的應急調度,依次對基於微粒群的兩層在線調度方法和基於量子進化算法的在線調度方法展開介紹。
    第8章介紹CTC控制軟件架構及SEMI標準,論述了CTC實時調度繫統框架模型,該模型分為監督控制層、模塊管理層、模塊控制器層;接著介紹了通信協議的分析與設計過程,包括SEMI標準SECS-I、HSMS、SECS-II和GEM四個通信協議;後,介紹了利用“虛擬控制”思想對模型進行仿真、調度和驗證的過程。
    本書所涉及的研究成果是在遼寧省高等學校優秀人纔支持計劃(LJQ2011132)、遼寧省教育廳科學研究一般項目(L2014456)、大連外國語大學科研基金項目(2014XJYB05)等的資助下取得的。另外,還要特別感謝電子工業出版社對本書的大力支持,感謝吳長莘等在書稿編輯出版過程中所給予的寶貴建議和付出的辛勤勞動。
    本書可作為計算機科學與技術、管理科學與工程、機械工程等相關學科的教師、學生和研究人員的參考書。集束型晶圓制造裝備研究是一類NP特征的調度問題中具有高度復雜性和挑戰性的課題,隨著國際上對這類問題研究的不斷深入,以及我國半導體制造裝備的興起與迅速發展,有關的研究還在不斷發展和完善之中,本書作為作者近年來學習和研究的一個階段性總結,其中難免會有不當甚至錯誤之處,敬請廣大讀者批評指正。


    作  者     
    2016年11月

    媒體評論
    在線試讀


     
    網友評論  我們期待著您對此商品發表評論
     
    相關商品
    在線留言 商品價格為新臺幣
    關於我們 送貨時間 安全付款 會員登入 加入會員 我的帳戶 網站聯盟
    DVD 連續劇 Copyright © 2024, Digital 了得網 Co., Ltd.
    返回頂部