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

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

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

2.2針對(duì)建模仿真專(zhuān)家的介紹

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

2.2.2有限確定性DEVS

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

2.3爵士樂(lè)隊(duì)案例

2.4本章小結(jié)

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

參考文獻(xiàn)

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

3.1建模仿真的簡(jiǎn)單流程

3.2建模仿真過(guò)程組件的分解和耦合

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

3.4本章小結(jié)

第4章DEVS自然語(yǔ)言模型及其細(xì)化

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

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

4.3簡(jiǎn)單的工作流耦合模型

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

4.5將ProcessorOfJobs細(xì)化為Java模型

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

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

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

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

4.10使用時(shí)序圖加快模型開(kāi)發(fā)過(guò)程

4.11本章小結(jié)

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

第5章特化和修剪

5.1特化

5.2特化的修剪

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

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

5.4.1根實(shí)體下的特化

5.4.2方面實(shí)體下的特化

5.4.3特化實(shí)體下的特化

5.4.4組合特化

5.5變量和特化

5.6本章小結(jié)

第6章方面和多方面

6.1多方面(分解)

6.1.1表達(dá)同一實(shí)體的不同方面

6.1.2修剪方面

6.1.3方面： 視角和抽象

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

6.2.1方面的局限性

6.2.2多方面重組

6.2.3多方面修剪

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

6.2.5一對(duì)多和多對(duì)一的耦合

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

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

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

6.3本章小結(jié)

參考文獻(xiàn)

第7章管理修剪中的繼承

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

7.2指定繼承的基類(lèi)

7.3配置基類(lèi)

7.4修剪中的繼承

7.5指定來(lái)自子類(lèi)的繼承

7.6本章小結(jié)

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

8.1自動(dòng)修剪

8.1.1枚舉修剪

8.1.2隨機(jī)修剪

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

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

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

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

8.2.4實(shí)例： 時(shí)間嚴(yán)格(timecritical)的建模與仿真

8.2.5從剩余選項(xiàng)中隨機(jī)選擇

8.3本章小結(jié)

參考文獻(xiàn)

第Ⅱ篇高 級(jí) 概 念

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

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

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

9.2.1接口對(duì)象

9.2.2輸入輸出端口

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

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

9.3.1標(biāo)準(zhǔn)的DEVS協(xié)議實(shí)現(xiàn)

9.3.2基于點(diǎn)對(duì)點(diǎn)消息交互的DEVS協(xié)議實(shí)現(xiàn)

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

9.4作為仿真互操作標(biāo)準(zhǔn)的DEVS協(xié)議

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

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

9.5本章小結(jié)

附錄ASimulator.dnl摘錄

附錄BCoordinator.dnl摘錄

參考文獻(xiàn)

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

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

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

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

參考文獻(xiàn)

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

11.1背景

11.1.1汽車(chē)購(gòu)買(mǎi)中的信息框架應(yīng)用實(shí)例

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)實(shí)體結(jié)構(gòu)的
XML映射

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

11.4.4交換相同XML的模型

11.5本章小結(jié)

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

參考文獻(xiàn)

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

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

12.1.1FDDEVS模型的局限性

12.1.2FDDEVS增強(qiáng)設(shè)施

12.1.3增強(qiáng)設(shè)施的開(kāi)發(fā)優(yōu)勢(shì)

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

12.3DEVS和UML

12.4本章小結(jié)

附錄FDDEVS的形式化定義

參考文獻(xiàn)

第Ⅲ篇應(yīng)用

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

13.1通過(guò)開(kāi)發(fā)過(guò)程支持多路徑

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

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

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

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

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

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

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

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

13.5本章小結(jié)

附錄

參考文獻(xiàn)

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

14.1引言

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

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

14.4SOADEVS仿真建模

14.4.1簡(jiǎn)單模型

14.4.2復(fù)合模型

14.5SOADEVS 模型組件

14.5.1通用消息

14.5.2簡(jiǎn)單服務(wù)

14.5.3復(fù)合服務(wù)模型

14.6仿真模型范例

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

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

14.7.2扁平和分層模型組合

14.8本章小結(jié)

14.9練習(xí)

參考文獻(xiàn)

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

15.1引言

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

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ù)的語(yǔ)音通信系統(tǒng)

15.4.1基本度量

15.4.2仿真參數(shù)估計(jì)

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

15.4.4實(shí)例仿真結(jié)果

15.5本章小結(jié)

參考文獻(xiàn)

第16章體系模型庫(kù)

16.1引言

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

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

16.2.2模板、模板實(shí)例和實(shí)例模型的類(lèi)型

16.2.3仿真和非仿真類(lèi)型的模型

16.2.4邏輯模型

16.2.5可視化模型

16.2.6持久化模型

16.2.7模型命名空間

16.3CoSMoS進(jìn)程生命周期

16.4CoSMoS云建模

16.4.1硬件模型

16.4.2軟件模型

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

16.4.4模型約束

16.5本章小結(jié)

參考文獻(xiàn)

第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)復(fù)雜性

17.2.3VLE和試驗(yàn)計(jì)劃

17.3動(dòng)物流行病的監(jiān)測(cè)和控制

17.3.1動(dòng)機(jī)和目標(biāo)

17.3.2模型描述

17.3.3仿真結(jié)果

17.4植物生長(zhǎng)模型

17.4.1動(dòng)機(jī)和目標(biāo)

17.4.2Ecomeristem模型

17.4.3總體功能

17.4.4拓?fù)?br />
17.4.5DEVS的實(shí)現(xiàn)

17.4.6驗(yàn)證

17.4.7結(jié)論

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

17.6本章小結(jié)

參考文獻(xiàn)

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

18.1能量與活躍度

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

18.3實(shí)驗(yàn)框架和定時(shí)需求

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

18.5活躍度概念綜述

18.6定時(shí)需求、能量和活躍度

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

18.8體系硬件實(shí)現(xiàn)的有關(guān)活動(dòng)

18.9實(shí)驗(yàn)測(cè)試

18.10本章小結(jié)

附錄Quantizer.dnl