制造系統(tǒng)建模與仿真（第3版）

前 言
第 1 章 緒論 1
1.1 系統(tǒng)與制造系統(tǒng) 1
1.1.1 系統(tǒng)的定義 1
1.1.2 制造系統(tǒng)及其組成 3
1.2 系統(tǒng)? 模型與仿真 5
1.3 系統(tǒng)建模與仿真的步驟 10
1.4 制造系統(tǒng)建模與仿真概述 12
1.4.1 制造系統(tǒng)的特征分析 12
1.4.2 制造系統(tǒng)建模與仿真的功用 14
1.5 制造系統(tǒng)建模與仿真案例 17
思考題及習(xí)題 21
第 2 章 離散事件系統(tǒng)建模與仿真的基本原理 24
2.1 系統(tǒng)與系統(tǒng)模型分類 24
2.2 離散事件系統(tǒng)的建模元素 25
2.3 離散事件系統(tǒng)仿真程序的結(jié)構(gòu) 27
2.4 系統(tǒng)建模的常用方法 28
2.4.1 分析與綜合 29
2.4.2 抽象與概括 30
2.4.3 歸納與總結(jié) 32
2.4.4 演繹與推理 33
2.4.5 比較與類比 34
2.4.6 概率統(tǒng)計法 35
2.4.7 層次分析法 37
2.4.8 模糊綜合評價 40
思考題及習(xí)題 46
第 3 章 隨機(jī)變量和隨機(jī)分布 47
3.1 隨機(jī)變量和隨機(jī)分布概述 47
3.1.1 離散型隨機(jī)變量 47
3.1.2 連續(xù)型隨機(jī)變量 50
3.1.3 隨機(jī)變量的數(shù)字特征 52
3.1.4 常用隨機(jī)分布類型及其特性 55
3.1.5 隨機(jī)變量的經(jīng)驗(yàn)分布 68
3.1.6 隨機(jī)分布的參數(shù)估計 71
3.1.7 隨機(jī)分布的假設(shè)檢驗(yàn) 76
3.2 隨機(jī)數(shù)生成方法 77
3.2.1 隨機(jī)數(shù)的特性 77
3.2.2 隨機(jī)數(shù)發(fā)生器的設(shè)計 78
3.3 隨機(jī)數(shù)發(fā)生器的檢驗(yàn) 81
思考題及習(xí)題 84
第 4 章 制造系統(tǒng)的建模方法 89
4.1 系統(tǒng)建模方法概述 89
4.2 馬爾可夫過程 90
4.3 Petri 網(wǎng)建模理論 92
4.3.1 Petri 網(wǎng)的基本概念 93
4.3.2 Petri 網(wǎng)的擴(kuò)展形式 96
4.3.3 Petri 網(wǎng)中的事件關(guān)系 104
4.3.4 基于 Petri 網(wǎng)的系統(tǒng)性能分析 107
4.3.5 案例研究: 基于 Petri 網(wǎng)的液壓系統(tǒng)可靠性建模與評估 114
4.4 排隊(duì)系統(tǒng)模型 121
4.4.1 排隊(duì)系統(tǒng)概述 121
4.4.2 排隊(duì)系統(tǒng)的分類符號 126
4.4.3 排隊(duì)系統(tǒng)的性能指標(biāo) 126
4.4.4 顧客到達(dá)時間間隔和服務(wù)時間分布 129
4.4.5 案例研究: 基于排隊(duì)論的制造系統(tǒng)建模與手工仿真 133
4.5 庫存系統(tǒng)模型 136
4.5.1 庫存及庫存系統(tǒng)的定義與功能 136
4.5.2 庫存系統(tǒng)模型 138
4.5.3 案例研究: 汽車 4S 店庫存系統(tǒng)建模與仿真 142
思考題及習(xí)題 145
第 5 章 制造系統(tǒng)的仿真方法 150
5.1 系統(tǒng)仿真的調(diào)度策略 150
5.1.1 事件調(diào)度法 151
5.1.2 活動掃描法 152
5.1.3 進(jìn)程交互法 155
5.1.4 消息驅(qū)動法 158
5.2 仿真時鐘推進(jìn)機(jī)制 160
5.3 蒙特卡洛仿真 163
5.3.1 蒙特卡洛仿真的基本概念 163
5.3.2 案例研究: 基于蒙特卡洛仿真的系統(tǒng)動態(tài)可靠性評估 166
5.4 系統(tǒng)動力學(xué)仿真 181
5.4.1 系統(tǒng)動力學(xué)仿真的基本概念 181
5.4.2 系統(tǒng)動力學(xué)仿真的應(yīng)用步驟 182
5.4.3 案例研究: 基于系統(tǒng)動力學(xué)仿真的供應(yīng)鏈庫存優(yōu)化 183
思考題及習(xí)題 191
第 6 章 系統(tǒng)建模與仿真的校核? 驗(yàn)證與確認(rèn) 193
6.1 校核? 驗(yàn)證與確認(rèn)概述 193
6.1.1 校核? 驗(yàn)證與確認(rèn)的基本概念 194
6.1.2 校核? 驗(yàn)證與確認(rèn)的基本原則 195
6.1.3 校核? 驗(yàn)證與確認(rèn)的實(shí)施過程 196
6.2 建模與仿真校核? 驗(yàn)證的基本方法 197
6.2.1 建模與仿真的校核與驗(yàn)證技術(shù) 197
6.2.2 模型驗(yàn)證的常用方法 201
思考題及習(xí)題 206
第 7 章 仿真技術(shù)發(fā)展與仿真案例研究 207
7.1 仿真技術(shù)起源及其發(fā)展現(xiàn)狀 207
7.2 常用仿真軟件簡介 209
7.2.1 Arena 210
7.2.2 ProModel 212
7.2.3 Flexsim 213
7.2.4 Extend 214
7.2.5 Witness 216
7.2.6 AutoMod 217
7.2.7 SIMUL8 218
7.3 系統(tǒng)仿真軟件的選用 219
7.4 ProModel 仿真軟件及其使用步驟 220
7.4.1 ProModel 軟件的建模元素 220
7.4.2 ProModel 軟件的使用步驟 243
7.5 制造系統(tǒng)建模與仿真案例研究 244
7.5.1 板材加工柔性制造系統(tǒng)配置與參數(shù)的優(yōu)化 244
7.5.2 汽車發(fā)動機(jī)再制造生產(chǎn)線瓶頸工序分析與性能優(yōu)化 250
7.5.3 基于仿真和規(guī)則的多機(jī)并行作業(yè)車間生產(chǎn)調(diào)度 263
7.5.4 考慮質(zhì)量不確定性的再制造系統(tǒng)動態(tài)瓶頸分析 267
7.5.5 基于分派規(guī)則和人工蜂群算法的再制造系統(tǒng)生產(chǎn)調(diào)度仿真 275
思考題及習(xí)題 285
參考文獻(xiàn) 290