建模與仿真理論：集成離散事件與連續(xù)復(fù)雜動態(tài)系統(tǒng)（第二版）

第一部分 基 礎(chǔ)
第1章 系統(tǒng)建模概念介紹
1．1 系統(tǒng)規(guī)范的形式體系
1．2 系統(tǒng)知識的層次
1．3 系統(tǒng)規(guī)范的層次結(jié)構(gòu)介紹
1．4 非形式化表示的規(guī)范層次
1．5 系統(tǒng)規(guī)范態(tài)射：基本概念
1．6 總結(jié)
1．7 參考文獻
第2章 建模與仿真框架
2．1 框架中的實體
2．2 實體間的主要關(guān)系
2．3 其他重要關(guān)系
2．4 時間
2．5 總結(jié)
2．6 參考文獻
第3章 建模形式體系及其仿真器
3．1 緒論
3．2 離散時間模型及其仿真器
3．3 微分方程模型及其仿真器
3．4 離散事件模型及其仿真器
3．5 總結(jié)
3．6 參考文獻
第4章 離散事件系統(tǒng)規(guī)范介紹
4．1 簡介
4．2 經(jīng)典DEVS系統(tǒng)規(guī)范
4．3 并行DEVS系統(tǒng)規(guī)范
4．4 層次化模型
4．5 DEVS的面向?qū)ο髮崿F(xiàn)：入門
4．6 總結(jié)
4．7 參考文獻
第5章 系統(tǒng)規(guī)范的層次結(jié)構(gòu)
5．1 時基
5．2 段和軌道
5．3 I/O觀測構(gòu)架
5．4 I/O關(guān)系觀測
5．5 I/O功能觀測
5．6 I/O系統(tǒng)
5．7 迭代式系統(tǒng)規(guī)范
5．8 多變量集合和結(jié)構(gòu)化系統(tǒng)
5．9 多組件系統(tǒng)規(guī)范
5．10 系統(tǒng)規(guī)范網(wǎng)絡(luò)（耦合系統(tǒng)）
5．11 總結(jié)
5．12 參考文獻
第二部分 建模形式體系與仿真算法
第6章 基本形式體系：DEVS、DTSS、DESS
6．1 基本系統(tǒng)規(guī)范形式體系
6．2 離散事件系統(tǒng)規(guī)范（DEVS）
6．3 并行DEVS
6．4 離散時間系統(tǒng)規(guī)范（DTSS）
6．5 微分方程系統(tǒng)規(guī)范（DESS）
6．6 小結(jié)
第7章 基本形式體系：耦合多組件系統(tǒng)
7．1 離散事件說明的網(wǎng)絡(luò)形式體系
7．2 多組件離散事件系統(tǒng)形式體系
7．3 離散時間說明的網(wǎng)絡(luò)形式體系
7．4 多組件離散時間系統(tǒng)形式體系
7．5 微分方程描述的網(wǎng)絡(luò)形式體系
7．6 多組件微分方程描述的系統(tǒng)形式體系
7．7 總結(jié)
7．8 參考文獻
第8章 基本形式體系仿真器
8．1 DEVS仿真器
8．2 DEVS總線
8．3 DTSS仿真器
8．4 DESS仿真器
8．5 總結(jié)
8．6 參考文獻
第9章 多形式體系建模與仿真
9．1 特殊形式體系簡介
9．2 多形式體系建模
9．3 DEV＆DESS：組合離散事件和微分方程說明的系統(tǒng)
9．4 基于DEV＆DESS的多元建模
9．5 耦合DEV＆DESS：多形式體系模型的網(wǎng)絡(luò)
9．6 DEV＆DESS仿真器
9．7 參考文獻
10章 基于離散事件系統(tǒng)規(guī)范（DEVS）的擴展形式體系
10．1 隨機系統(tǒng)：處理不確定性的傳統(tǒng)方法
10．2 DSDEVS（動態(tài)結(jié)構(gòu)DEVS）
10．3 符號DEVS
10．4 模糊DEVS
10．5 實時DEVS（RT-DEVS）
10．6 總結(jié)
10．7 參考文獻
第11章 并行和分布式離散事件仿真
11．1 并行離散事件仿真的問題特征
11．2 保守并行離散事件仿真
11．3 樂觀并行離散事件仿真
11．4 并行DEVS仿真器
11．5 總結(jié)
11．6 參考文獻
第三部分 系統(tǒng)態(tài)射：抽象，表示，逼近 第12章 系統(tǒng)多態(tài)的層次
12．5 迭代說明的系統(tǒng)的系統(tǒng)態(tài)射
12．6 結(jié)構(gòu)化系統(tǒng)的態(tài)射
12．7 多組件系統(tǒng)態(tài)射
12．8 系統(tǒng)網(wǎng)絡(luò)態(tài)射
12．9 同態(tài)和級聯(lián)復(fù)合
12．10 可實現(xiàn)的I/O關(guān)系和功能的描述
12．11 總結(jié)
12．12 參考文獻
第13章 抽象：構(gòu)建模型族
13．1 范圍/分辨率/交互乘積
13．2 模型的集成族
13．3 聚合：齊性/耦合無差別原則
13．4 基于事件控制的抽象
13．5 參數(shù)態(tài)射
13．6 總結(jié)
13．7 參考文獻
第14章 校核、驗證、近似態(tài)射：與誤差共存
14．1 校核
14．2 行為層次的驗證
14．3 性能/有效性權(quán)衡（如速度/準確度）
14．4 近似態(tài)射與誤差行為
14．5 耦合系統(tǒng)層的近似態(tài)射
14．6 結(jié)構(gòu)層次的驗證
第15章 DEVS和類DEVS系統(tǒng)：普遍性和唯一性
15．1 經(jīng)典DEVS與并行DEVS之間的關(guān)系：有一種還是兩種DEVS
15．2 DEVS的普遍性和唯一性
15．3 DTSS的DEVS表示
15．4 DTSS網(wǎng)絡(luò)的高效DEVS模擬
15．5 總結(jié)
15．6 參考文獻
第16章 DEVS對系統(tǒng)的表示
16．1 DEVS總線回訪
16．2 使用傳統(tǒng)方法的DEVS表示
16．3 量化：另一種表示DEVS的方法
16．4 量化的模擬研究
16．5 進一步研究的猜想
16．6 總結(jié)
16．7 參考文獻
16．8 問題
第四部分 系統(tǒng)設(shè)計、建模與仿真環(huán)境
第17章 基于DEVS的設(shè)計方法
17．1 方法概述
17．2 DEVS定義語言
17．3 DEVS定義的執(zhí)行
17．4 邏輯分析：模型校核
17．5 使用語言驗收檢查的模型校核
17．6 性能評估
17．7 實現(xiàn)：DEVS模型執(zhí)行
17．8 總結(jié)
17．9 參考文獻
第18章 系統(tǒng)實體結(jié)構(gòu)/模型庫框架
18．1 基于系統(tǒng)實體結(jié)構(gòu)的模型庫管理
18．2 系統(tǒng)實體結(jié)構(gòu)
18．3 系統(tǒng)實體結(jié)構(gòu)/模型庫（SES/MB）框架
18．4 實例：一個事務(wù)處理系統(tǒng)的設(shè)計
18．5 SES的自動剪枝
18．6 總結(jié)
18．7 參考文獻
第19章 協(xié)作及未來
19．1 建模與仿真體系結(jié)構(gòu)
19．2 協(xié)作是如何支持建模與仿真的
19．3 總結(jié)
19．4 參考文獻

??