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

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

??