離散事件系統(tǒng)建模與仿真

第1章 緒論
1.1 系統(tǒng)、模型與仿真
1.1.1 系統(tǒng)
1.1.2 模型
1.1.3 仿真
1.2 離散事件系統(tǒng)
1.2.1 實體
1.2.2 事件
1.2.3 活動
1.2.4 進程
1.3 離散事件系統(tǒng)仿真
1.3.1 離散事件系統(tǒng)建模
1.3.2 離散事件系統(tǒng)仿真建模
1.3.3 離散事件系統(tǒng)仿真分析
1.4 仿真研究的步驟
參考文獻
第2章 離散事件系統(tǒng)仿真入門
2.1 單服務臺排隊系統(tǒng)建模與仿真
2.1.1 單服務臺排隊系統(tǒng)建模
2.1.2 單服務臺排隊系統(tǒng)仿真建模
2.1.3 仿真鐘的推進
2.2 庫存系統(tǒng)建模與仿真
2.2.1 庫存系統(tǒng)的基本概念
2.2.2 確定性庫存系統(tǒng)
2.2.3 隨機庫存系統(tǒng)
2.2.4 隨機庫存系統(tǒng)仿真舉例
2.3 項目網(wǎng)絡建模與仿真
2.3.1 CPM/PERT網(wǎng)絡建模
2.3.2 CPM/PERT網(wǎng)絡仿真建模
2.4 離散事件系統(tǒng)建模與仿真軟件
2.4.1 仿真軟件發(fā)展歷程
2.4.2 典型仿真語言
2.4.3 典型仿真環(huán)境
參考文獻
第3章 概率統(tǒng)計與隨機過程基礎知識
3.1 概率論基礎知識
3.1.1 概率論常用術語
3.1.2 離散隨機變量理論分布
3.1.3 連續(xù)隨機變量理論分布
3.2 數(shù)理統(tǒng)計基礎知識
3.2.1 數(shù)理統(tǒng)計常用術語
3.2.2 總體參數(shù)的點估計
3.2.3 總體分布函數(shù)的統(tǒng)計假設檢驗
3.3 隨機過程
3.3.1 一般隨機過程
3.3.2 泊松過程
3.3.3 非穩(wěn)泊松過程
參考文獻
第4章 基于觀測數(shù)據(jù)的隨機變量建模
4.1 概述
4.2 分布參數(shù)的確定
4.2.1 分布參數(shù)的類型
4.2.2 分布參數(shù)的估計
4.3 分布類型的假設
4.3.1 連續(xù)分布類型的假設
4.3.2 離散分布類型的假設
4.3.3 相關隨機變量建模
4.3.4 時間序列輸入模型
4.4 實驗分布
4.5 擬合優(yōu)良度檢驗
4.5.1 2檢驗
4.5.2 K-S檢驗
參考文獻
第5章 隨機變量仿真建模
5.1 引言
5.2 隨機數(shù)發(fā)生器
5.2.1 線性同余發(fā)生器
5.2.2 組合發(fā)生器
5.3 隨機數(shù)發(fā)生器的測試
5.3.1 均勻性檢驗
5.3.2 獨立性檢驗
5.4 隨機變量產(chǎn)生的原理
5.4.1 反變換法
5.4.2 組合法
5.4.3 卷積法
5.4.4 舍選法
5.5 典型隨機變量的產(chǎn)生
5.5.1 連續(xù)隨機變量的產(chǎn)生
5.5.2 離散隨機變量的產(chǎn)生
5.5.3 相關隨機變量的產(chǎn)生
5.5.4 時間序列隨機變量的產(chǎn)生
參考文獻
第6章 離散事件系統(tǒng)模型描述
6.1 概述
6.2 排隊網(wǎng)絡模型
6.2.1 M/M/1系統(tǒng)
6.2.2 M/M/c系統(tǒng)
6.2.3 Jackson開環(huán)排隊網(wǎng)絡
6.2.4 Jackson閉環(huán)排隊網(wǎng)絡
6.3 Petri網(wǎng)方法
6.3.1 Petri網(wǎng)定義
6.3.2 Petri網(wǎng)的變遷
6.3.3 Petri網(wǎng)性能分析
6.3.4 有效Petri網(wǎng)的建模
6.4 實體流圖法
6.4.1 實體流圖
6.4.2 實體流圖建模
6.5 活動周期圖法
6.5.1 活動周期圖
6.5.2 活動周期圖建模
6.6 網(wǎng)絡計劃法
6.6.1 網(wǎng)絡計劃圖
6.6.2 網(wǎng)絡計劃法建模
6.7 離散事件系統(tǒng)形式化描述
6.7.1 DEVS基本模型
6.7.2 DEVS耦合模型
6.7.3 DEVS封閉性證明
6.7.4 DEVS模型實現(xiàn)
參考文獻
第7章 離散事件系統(tǒng)仿真建模方法學
7.1 概述
7.2 表處理
7.2.1 表的基本性質和操作
7.2.2 使用數(shù)組進行表處理
7.2.3 使用動態(tài)分配和鏈表
7.3 事件調度法（Event Scheduling）
7.3.1 事件調度法策略描述
7.3.2 事件調度法仿真建模
7.4 活動掃描法（Activity Scanning）
7.4.1 活動掃描法策略描述
7.4.2 活動掃描法仿真建模
7.5 三段掃描法（Three Phase Scanning）
7.5.1 三段掃描法策略描述
7.5.2 三段掃描法仿真建模
7.6 進程交互法（Process Interactive）
7.6.1 進程交互法策略描述
7.6.2 進程交互法仿真建模
7.7 四種仿真策略的比較
參考文獻
第8章 單系統(tǒng)仿真輸出分析與實驗設計
8.1 概述
8.2 仿真輸出分析的統(tǒng)計量
8.3 仿真輸出分析方法的分類
8.4 終止型仿真的實驗設計與輸出分析
8.4.1 固定樣本長度法
8.4.2 終止型序貫程序法
8.4.3 終止型仿真分位數(shù)區(qū)間估計
8.5 穩(wěn)態(tài)型仿真實驗設計與輸出分析
8.5.1 穩(wěn)態(tài)型仿真與初態(tài)設置
8.5.2 批均值法
8.5.3 穩(wěn)態(tài)型序貫法
8.5.4 重新產(chǎn)生法
8.5.5 重復刪除法
8.6 單系統(tǒng)仿真方差減小技術
8.6.1 對偶變量法
8.6.2 控制變量法
參考文獻
第9章 系統(tǒng)多方案仿真與優(yōu)化
9.1 概述
9.2 雙系統(tǒng)設計方案的比較
9.2.1 獨立采樣法比較
9.2.2 公共隨機數(shù)法比較
9.3 多系統(tǒng)設計方案的比較
9.3.1 Bonferroni法
9.3.2 兩階段抽樣法
9.3.3 篩選法
9.4 基于仿真的優(yōu)化
9.4.1 基本框架
9.4.2 隨機搜索法
9.4.3 響應曲面法
9.4.4 魯棒啟發(fā)方法
參考文獻
第10章 哲學家用餐問題建模與仿真
10.1 條件與假設
10.1.1 仿真假設
10.1.2 仿真條件
10.2 隨機變量生成
10.3 仿真策略
10.3.1 事件調度法建模
10.3.2 活動掃描法建模
10.3.3 仿真程序流程及性能比較方法
10.4 仿真結果及其輸出分析
10.4.1 Both forks策略
10.4.2 One by one fork策略
10.5 進一步討論
參考文獻
第11章 物流配送系統(tǒng)建模與仿真
11.1 車輛路徑問題的仿真準備
11.1.1 數(shù)據(jù)準備
11.1.2 仿真方法
11.1.3 仿真軟件AnyLogic簡介
11.1.4 仿真目標
11.2 車輛路徑問題的仿真建模
11.2.1 車輛路徑問題仿真的邏輯流程
11.2.2 車輛路徑問題的仿真建模
11.2.3 仿真模型的實驗設計
11.3 仿真模型的驗證和結果分析
11.3.1 仿真模型的驗證
11.3.2 仿真結果分析
參考文獻
第12章 生產(chǎn)系統(tǒng)建模與仿真
12.1 生產(chǎn)系統(tǒng)建模與仿真概述
12.1.1 生產(chǎn)系統(tǒng)建模與仿真特點
12.1.2 生產(chǎn)系統(tǒng)建模與仿真常用術語
12.2 隨機生產(chǎn)系統(tǒng)建模與仿真
12.2.1 系統(tǒng)描述和假設
12.2.2 系統(tǒng)建模與仿真建模
12.2.3 仿真與改進分析
12.3 裝配生產(chǎn)線平衡問題建模與仿真
12.3.1 節(jié)拍裝配生產(chǎn)線模型描述
12.3.2 裝配線平衡問題仿真建模
12.3.3 決策準則及目標
12.3.4 蒙特卡羅隨機仿真
12.4 節(jié)拍裝配生產(chǎn)線平衡仿真優(yōu)化
12.4.1 模擬退火算法
12.4.2 遺傳算法
12.4.3 節(jié)拍裝配生產(chǎn)線平衡優(yōu)化舉例
參考文獻
附錄A 縮寫詞