體系建模與仿真：基礎(chǔ)與實踐

目錄
第Ⅰ篇基 本 概 念
第1章體系建模與仿真
1.1虛擬構(gòu)建與試驗
1.2面向虛擬構(gòu)建與試驗的建模和仿真內(nèi)涵
1.3多范式建模實現(xiàn)多學科協(xié)同
1.4學術(shù)背景
1.5體系建模和仿真入門
第2章DEVS集成開發(fā)環(huán)境
2.1MS4 Me建模仿真環(huán)境
2.1.1針對建模仿真用戶的介紹

2.1.2針對建模仿真開發(fā)人員的介紹

2.2針對建模仿真專家的介紹

2.2.1系統(tǒng)結(jié)構(gòu)和行為

2.2.2有限確定性DEVS

2.2.3系統(tǒng)實體結(jié)構(gòu)

2.3爵士樂隊案例

2.4本章小結(jié)

附錄DEVS的關(guān)鍵屬性

參考文獻

第3章系統(tǒng)實體結(jié)構(gòu)基礎(chǔ)

3.1建模仿真的簡單流程

3.2建模仿真過程組件的分解和耦合

3.3建模仿真過程的分層結(jié)構(gòu)

3.4本章小結(jié)

第4章DEVS自然語言模型及其細化

4.1在時間序列中生成作業(yè)的FDDEVS模型

4.2處理作業(yè)的FDDEVS模型

4.3簡單的工作流耦合模型

4.4在Java中將FDDEVS細化為具有完整能力的模型

4.5將ProcessorOfJobs細化為Java模型

4.6變換器： 測量作業(yè)完成時間和吞吐量的模型

4.7使用細化過程處理不確定性狀態(tài)轉(zhuǎn)換

4.8使用細化過程處理多路并發(fā)輸入

4.9使用細化過程生成多路并發(fā)輸出

4.10使用時序圖加快模型開發(fā)過程

4.11本章小結(jié)

附錄變換器FDDEVS文件(Transducer.dnl)

第5章特化和修剪

5.1特化

5.2特化的修剪

5.3特化的多次出現(xiàn)

5.4添加特化的規(guī)則： 沒有規(guī)則

5.4.1根實體下的特化

5.4.2方面實體下的特化

5.4.3特化實體下的特化

5.4.4組合特化

5.5變量和特化

5.6本章小結(jié)

第6章方面和多方面

6.1多方面(分解)

6.1.1表達同一實體的不同方面

6.1.2修剪方面

6.1.3方面： 視角和抽象

6.2多方面——實體的多個相關(guān)分解

6.2.1方面的局限性

6.2.2多方面重組

6.2.3多方面修剪

6.2.4多方面統(tǒng)一耦合

6.2.5一對多和多對一的耦合

6.2.6基于多方面的分層構(gòu)建

6.2.7統(tǒng)一成對耦合

6.2.8預(yù)定義的耦合規(guī)格說明

6.3本章小結(jié)

參考文獻

第7章管理修剪中的繼承

7.1創(chuàng)建帶下畫線的實例

7.2指定繼承的基類

7.3配置基類

7.4修剪中的繼承

7.5指定來自子類的繼承

7.6本章小結(jié)

第8章自動修剪和基于規(guī)則的修剪

8.1自動修剪

8.1.1枚舉修剪

8.1.2隨機修剪

8.2上下文無關(guān)修剪及上下文相關(guān)修剪

8.2.1上下文相關(guān)選擇的修剪算法

8.2.2有條件的基于規(guī)則的修剪

8.2.3unless或ifnot條件規(guī)則

8.2.4實例： 時間嚴格(timecritical)的建模與仿真

8.2.5從剩余選項中隨機選擇

8.3本章小結(jié)

參考文獻

第Ⅱ篇高 級 概 念

第9章DEVS仿真協(xié)議

9.1DEVS仿真協(xié)議概述

9.2DEVS仿真協(xié)議在MS4 Me中的體現(xiàn)

9.2.1接口對象

9.2.2輸入輸出端口

9.2.3有限確定性離散事件仿真系統(tǒng)(FDDEVS)規(guī)格說明

9.3實現(xiàn)DEVS協(xié)議的分布式仿真

9.3.1標準的DEVS協(xié)議實現(xiàn)

9.3.2基于點對點消息交互的DEVS協(xié)議實現(xiàn)

9.3.3基于實時消息交互的DEVS協(xié)議實現(xiàn)

9.4作為仿真互操作標準的DEVS協(xié)議

9.4.1帶事件調(diào)度仿真器的DEVS協(xié)議

9.4.2關(guān)于仿真的互操作性的經(jīng)驗教訓

9.5本章小結(jié)

附錄ASimulator.dnl摘錄

附錄BCoordinator.dnl摘錄

參考文獻

第10章動態(tài)結(jié)構(gòu)： 智能體建模和發(fā)布/訂閱

10.1動態(tài)結(jié)構(gòu)和智能體建模

10.2基于發(fā)布/訂閱的數(shù)據(jù)分發(fā)機制

10.2.1發(fā)布者

10.2.2訂閱者

10.2.3發(fā)布/訂閱路由器

10.2.4發(fā)布/訂閱操作

10.3數(shù)據(jù)分發(fā)服務(wù)

10.3.1數(shù)據(jù)分發(fā)服務(wù)中的DEVS仿真協(xié)議

10.3.2DEVS信息

10.3.3相關(guān)端口和通信主題

10.4本章小結(jié)

附錄AExcerpts from PublishSubscribeRouter.dnl

附錄BExcerpts from Agent.dnl

參考文獻

第11章基于興趣關(guān)注的信息交換：映射與模型

11.1背景

11.1.1汽車購買中的信息框架應(yīng)用實例

11.2網(wǎng)絡(luò)數(shù)據(jù)收集里的應(yīng)用

11.2.1網(wǎng)絡(luò)流量數(shù)據(jù)表示

11.3映射方法

11.3.1多方面映射

11.4交換XML的DEVS模型

11.4.1生成XML文件的模型

11.4.2用DEVS模型描述基于系統(tǒng)實體結(jié)構(gòu)的
XML映射

11.4.3主系統(tǒng)實體結(jié)構(gòu)到基于興趣關(guān)注的系統(tǒng)
實體結(jié)構(gòu)的映射

11.4.4交換相同XML的模型

11.5本章小結(jié)

附錄系統(tǒng)實體結(jié)構(gòu)實例

參考文獻

第12章構(gòu)建DEVS模型的語言

12.1原子模型的受限自然語言規(guī)格說明

12.1.1FDDEVS模型的局限性

12.1.2FDDEVS增強設(shè)施

12.1.3增強設(shè)施的開發(fā)優(yōu)勢

12.2分層耦合模型的受限自然語言規(guī)格說明

12.3DEVS和UML

12.4本章小結(jié)

附錄FDDEVS的形式化定義

參考文獻

第Ⅲ篇應(yīng)用

第13章柔性建模的支撐環(huán)境

13.1通過開發(fā)過程支持多路徑

13.2SOA(面向服務(wù)架構(gòu))中作為服務(wù)的建模仿真工具

13.3實例研究： 分體式衛(wèi)星系統(tǒng)

13.3.1建模仿真支撐環(huán)境如何適應(yīng)各類利益相關(guān)方

13.3.2系統(tǒng)實體結(jié)構(gòu)： MSE柔性的關(guān)鍵支撐

13.3.3建模仿真支撐環(huán)境的實現(xiàn)： 面向服務(wù)架構(gòu)

13.3.4建模仿真支撐環(huán)境的仿真服務(wù)

13.3.5使用Web服務(wù)的仿真

13.4建模仿真支撐環(huán)境操作： 線程實例

13.5本章小結(jié)

附錄

參考文獻

第14章基于服務(wù)的軟件系統(tǒng)

14.1引言

14.2基于服務(wù)的軟件系統(tǒng)

14.3面向服務(wù)的體系架構(gòu)

14.4SOADEVS仿真建模

14.4.1簡單模型

14.4.2復合模型

14.5SOADEVS 模型組件

14.5.1通用消息

14.5.2簡單服務(wù)

14.5.3復合服務(wù)模型

14.6仿真模型范例

14.7動態(tài)結(jié)構(gòu)SOAD

14.7.1代理執(zhí)行模型設(shè)計

14.7.2扁平和分層模型組合

14.8本章小結(jié)

14.9練習

參考文獻

第15章云系統(tǒng)仿真建模

15.1引言

15.2軟件/硬件協(xié)同設(shè)計

15.3SOCDEVS SW/HW建模

15.3.1軟件服務(wù)系統(tǒng)模型

15.3.2硬件系統(tǒng)模型

15.3.3服務(wù)系統(tǒng)映射

15.4面向服務(wù)的語音通信系統(tǒng)

15.4.1基本度量

15.4.2仿真參數(shù)估計

15.4.3實驗設(shè)置和執(zhí)行

15.4.4實例仿真結(jié)果

15.5本章小結(jié)

參考文獻

第16章體系模型庫

16.1引言

16.2邏輯化、可視化和持久化建模的統(tǒng)一

16.2.1簡單的網(wǎng)絡(luò)病毒模型

16.2.2模板、模板實例和實例模型的類型

16.2.3仿真和非仿真類型的模型

16.2.4邏輯模型

16.2.5可視化模型

16.2.6持久化模型

16.2.7模型命名空間

16.3CoSMoS進程生命周期

16.4CoSMoS云建模

16.4.1硬件模型

16.4.2軟件模型

16.4.3軟件(服務(wù))系統(tǒng)映射模型

16.4.4模型約束

16.5本章小結(jié)

參考文獻

第17章基于體系的生命系統(tǒng)建模與仿真

17.1生命系統(tǒng)建模與仿真中的挑戰(zhàn)

17.2DEVS和VLE為何適用于生命系統(tǒng)建模和仿真

17.2.1系統(tǒng)方法： 涌現(xiàn)與規(guī)模轉(zhuǎn)換

17.2.2異構(gòu)形式和生命系統(tǒng)復雜性

17.2.3VLE和試驗計劃

17.3動物流行病的監(jiān)測和控制

17.3.1動機和目標

17.3.2模型描述

17.3.3仿真結(jié)果

17.4植物生長模型

17.4.1動機和目標

17.4.2Ecomeristem模型

17.4.3總體功能

17.4.4拓撲

17.4.5DEVS的實現(xiàn)

17.4.6驗證

17.4.7結(jié)論

17.5生命系統(tǒng)的模型連續(xù)性

17.6本章小結(jié)

參考文獻

第18章基于活躍度的體系實現(xiàn)

18.1能量與活躍度

18.2體系原型構(gòu)建

18.3實驗框架和定時需求

18.4體系模型中的能量和活躍度

18.5活躍度概念綜述

18.6定時需求、能量和活躍度

18.7體系實例： 撲救森林火災(zāi)

18.8體系硬件實現(xiàn)的有關(guān)活動

18.9實驗測試

18.10本章小結(jié)

附錄Quantizer.dnl