體系建模與仿真：基礎與實踐

目錄
第Ⅰ篇基 本 概 念
第1章體系建模與仿真
1.1虛擬構建與試驗
1.2面向虛擬構建與試驗的建模和仿真內涵
1.3多范式建模實現(xiàn)多學科協(xié)同
1.4學術背景
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)結構和行為

2.2.2有限確定性DEVS

2.2.3系統(tǒng)實體結構

2.3爵士樂隊案例

2.4本章小結

附錄DEVS的關鍵屬性

參考文獻

第3章系統(tǒng)實體結構基礎

3.1建模仿真的簡單流程

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

3.3建模仿真過程的分層結構

3.4本章小結

第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)轉換

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

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

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

4.11本章小結

附錄變換器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本章小結

第6章方面和多方面

6.1多方面(分解)

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

6.1.2修剪方面

6.1.3方面： 視角和抽象

6.2多方面——實體的多個相關分解

6.2.1方面的局限性

6.2.2多方面重組

6.2.3多方面修剪

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

6.2.5一對多和多對一的耦合

6.2.6基于多方面的分層構建

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

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

6.3本章小結

參考文獻

第7章管理修剪中的繼承

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

7.2指定繼承的基類

7.3配置基類

7.4修剪中的繼承

7.5指定來自子類的繼承

7.6本章小結

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

8.1自動修剪

8.1.1枚舉修剪

8.1.2隨機修剪

8.2上下文無關修剪及上下文相關修剪

8.2.1上下文相關選擇的修剪算法

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

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

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

8.2.5從剩余選項中隨機選擇

8.3本章小結

參考文獻

第Ⅱ篇高 級 概 念

第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帶事件調度仿真器的DEVS協(xié)議

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

9.5本章小結

附錄ASimulator.dnl摘錄

附錄BCoordinator.dnl摘錄

參考文獻

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

10.1動態(tài)結構和智能體建模

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ā)服務

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

10.3.2DEVS信息

10.3.3相關端口和通信主題

10.4本章小結

附錄AExcerpts from PublishSubscribeRouter.dnl

附錄BExcerpts from Agent.dnl

參考文獻

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

11.1背景

11.1.1汽車購買中的信息框架應用實例

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

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

11.3映射方法

11.3.1多方面映射

11.4交換XML的DEVS模型

11.4.1生成XML文件的模型

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

11.4.3主系統(tǒng)實體結構到基于興趣關注的系統(tǒng)
實體結構的映射

11.4.4交換相同XML的模型

11.5本章小結

附錄系統(tǒng)實體結構實例

參考文獻

第12章構建DEVS模型的語言

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

12.1.1FDDEVS模型的局限性

12.1.2FDDEVS增強設施

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

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

12.3DEVS和UML

12.4本章小結

附錄FDDEVS的形式化定義

參考文獻

第Ⅲ篇應用

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

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

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

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

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

13.3.2系統(tǒng)實體結構： MSE柔性的關鍵支撐

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

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

13.3.5使用Web服務的仿真

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

13.5本章小結

附錄

參考文獻

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

14.1引言

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

14.3面向服務的體系架構

14.4SOADEVS仿真建模

14.4.1簡單模型

14.4.2復合模型

14.5SOADEVS 模型組件

14.5.1通用消息

14.5.2簡單服務

14.5.3復合服務模型

14.6仿真模型范例

14.7動態(tài)結構SOAD

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

14.7.2扁平和分層模型組合

14.8本章小結

14.9練習

參考文獻

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

15.1引言

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

15.3SOCDEVS SW/HW建模

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

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

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

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

15.4.1基本度量

15.4.2仿真參數(shù)估計

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

15.4.4實例仿真結果

15.5本章小結

參考文獻

第16章體系模型庫

16.1引言

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

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

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軟件(服務)系統(tǒng)映射模型

16.4.4模型約束

16.5本章小結

參考文獻

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

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

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

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

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

17.2.3VLE和試驗計劃

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

17.3.1動機和目標

17.3.2模型描述

17.3.3仿真結果

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結論

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

17.6本章小結

參考文獻

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

18.1能量與活躍度

18.2體系原型構建

18.3實驗框架和定時需求

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

18.5活躍度概念綜述

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

18.7體系實例： 撲救森林火災

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

18.9實驗測試

18.10本章小結

附錄Quantizer.dnl