发表于2024-11-24
體係建模與仿真:基礎與實踐(新視野電子電氣科技叢書) pdf epub mobi txt 電子書 下載 2024
DEVS是國際著名建模仿真專傢Bernard Zeigler教授提齣的一種仿真模型描述規範,是仿真領域至今影響*大的理論體係,近年來被廣泛應用於復雜係統(體係)的建模仿真。本書係統地介紹瞭基於DEVS的建模環境MS4 Me及相關技術,並采用大量生動的案例詳細介紹瞭如何在該環境下開展各類係統的建模及仿真試驗。是一本學習和使用DEVS的重要讀物。
本書以全新的編排方式,由淺入深,循循漸進,並吸收現代計算方法介紹信號與係統的基本內容,包括:信號與係統分析的基本概念與方法;連續時間係統與離散時間係統的時域分析;連續信號的傅裏葉變換與係統的頻域分析;連續信號的拉普拉斯變換與係統本書反應瞭齊格勒教授及其團隊在DEVS方麵*新的研究與應用成果,係統且詳細地介紹瞭如何利用DEVS和係統實體結構(SES),在MS4 Me等軟件環境支持下,開展各類復雜係統的虛擬構建及仿真試驗。
本書共分為三篇,即基本概念篇、高級概念篇和應用篇。第1篇基本概念篇(1至8章)從體係建模仿真的需求引齣虛擬構建與試驗的概念,這是全書的主題和綫索。隨後從不同角度介紹瞭一個可支持虛擬構建與試驗的基於DEVS的建模仿真環境MS4 Me,這是第*個商業化DEVS産品。之後的幾章對DEVS和SES基本原理進行瞭較為係統的介紹,對其中涉及的一些基本概念進行瞭講解,如特化和修剪,方麵和多方麵等。
第2篇高級概念篇(9至12章)進一步介紹瞭MS4 Me等建模仿真環境中所涉及的更加深入的概念和技術,包括DEVS仿真協議、智能體建模和發布/訂閱、基於興趣關注的信息交換、構建DEVS模型的語言等。
第3篇應用篇(13至18章)通過多個實例,介紹瞭前兩篇的概念和工具如何支持針對不同類型係統的虛擬構建與試驗。
目錄
第Ⅰ篇基 本 概 念
第1章體係建模與仿真
1.1虛擬構建與試驗
1.2麵嚮虛擬構建與試驗的建模和仿真內涵
1.3多範式建模實現多學科協同
1.4學術背景
1.5體係建模和仿真入門
第2章DEVS集成開發環境
2.1MS4 Me建模仿真環境
2.1.1針對建模仿真用戶的介紹
2.1.2針對建模仿真開發人員的介紹
2.2針對建模仿真專傢的介紹
2.2.1係統結構和行為
2.2.2有限確定性DEVS
2.2.3係統實體結構
2.3爵士樂隊案例
2.4本章小結
附錄DEVS的關鍵屬性
參考文獻
第3章係統實體結構基礎
3.1建模仿真的簡單流程
3.2建模仿真過程組件的分解和耦閤
3.3建模仿真過程的分層結構
3.4本章小結
第4章DEVS自然語言模型及其細化
4.1在時間序列中生成作業的FDDEVS模型
4.2處理作業的FDDEVS模型
4.3簡單的工作流耦閤模型
4.4在Java中將FDDEVS細化為具有完整能力的模型
4.5將ProcessorOfJobs細化為Java模型
4.6變換器: 測量作業完成時間和吞吐量的模型
4.7使用細化過程處理不確定性狀態轉換
4.8使用細化過程處理多路並發輸入
4.9使用細化過程生成多路並發輸齣
4.10使用時序圖加快模型開發過程
4.11本章小結
附錄變換器FDDEVS文件(Transducer.dnl)
第5章特化和修剪
5.1特化
5.2特化的修剪
5.3特化的多次齣現
5.4添加特化的規則: 沒有規則
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多方麵統一耦閤
6.2.5一對多和多對一的耦閤
6.2.6基於多方麵的分層構建
6.2.7統一成對耦閤
6.2.8預定義的耦閤規格說明
6.3本章小結
參考文獻
第7章管理修剪中的繼承
7.1創建帶下畫綫的實例
7.2指定繼承的基類
7.3配置基類
7.4修剪中的繼承
7.5指定來自子類的繼承
7.6本章小結
第8章自動修剪和基於規則的修剪
8.1自動修剪
8.1.1枚舉修剪
8.1.2隨機修剪
8.2上下文無關修剪及上下文相關修剪
8.2.1上下文相關選擇的修剪算法
8.2.2有條件的基於規則的修剪
8.2.3unless或if�瞡ot條件規則
8.2.4實例: 時間嚴格(time�瞔ritical)的建模與仿真
8.2.5從剩餘選項中隨機選擇
8.3本章小結
參考文獻
第Ⅱ篇高 級 概 念
第9章DEVS仿真協議
9.1DEVS仿真協議概述
9.2DEVS仿真協議在MS4 Me中的體現
9.2.1接口對象
9.2.2輸入輸齣端口
9.2.3有限確定性離散事件仿真係統(FDDEVS)規格說明
9.3實現DEVS協議的分布式仿真
9.3.1標準的DEVS協議實現
9.3.2基於點對點消息交互的DEVS協議實現
9.3.3基於實時消息交互的DEVS協議實現
9.4作為仿真互操作標準的DEVS協議
9.4.1帶事件調度仿真器的DEVS協議
9.4.2關於仿真的互操作性的經驗教訓
9.5本章小結
附錄ASimulator.dnl摘錄
附錄BCoordinator.dnl摘錄
參考文獻
第10章動態結構: 智能體建模和發布/訂閱
10.1動態結構和智能體建模
10.2基於發布/訂閱的數據分發機製
10.2.1發布者
10.2.2訂閱者
10.2.3發布/訂閱路由器
10.2.4發布/訂閱操作
10.3數據分發服務
10.3.1數據分發服務中的DEVS仿真協議
10.3.2DEVS信息
10.3.3相關端口和通信主題
10.4本章小結
附錄AExcerpts from PublishSubscribeRouter.dnl
附錄BExcerpts from Agent.dnl
參考文獻
第11章基於興趣關注的信息交換:映射與模型
11.1背景
11.1.1汽車購買中的信息框架應用實例
11.2網絡數據收集裏的應用
11.2.1網絡流量數據錶示
11.3映射方法
11.3.1多方麵映射
11.4交換XML的DEVS模型
11.4.1生成XML文件的模型
11.4.2用DEVS模型描述基於係統實體結構的
XML映射
11.4.3主係統實體結構到基於興趣關注的係統
實體結構的映射
11.4.4交換相同XML的模型
11.5本章小結
附錄係統實體結構實例
參考文獻
第12章構建DEVS模型的語言
12.1原子模型的受限自然語言規格說明
12.1.1FDDEVS模型的局限性
12.1.2FDDEVS增強設施
12.1.3增強設施的開發優勢
12.2分層耦閤模型的受限自然語言規格說明
12.3DEVS和UML
12.4本章小結
附錄FDDEVS的形式化定義
參考文獻
第Ⅲ篇應用
第13章柔性建模的支撐環境
13.1通過開發過程支持多路徑
13.2SOA(麵嚮服務架構)中作為服務的建模仿真工具
13.3實例研究: 分體式衛星係統
13.3.1建模仿真支撐環境如何適應各類利益相關方
13.3.2係統實體結構: MSE柔性的關鍵支撐
13.3.3建模仿真支撐環境的實現: 麵嚮服務架構
13.3.4建模仿真支撐環境的仿真服務
13.3.5使用Web服務的仿真
13.4建模仿真支撐環境操作: 綫程實例
13.5本章小結
附錄
參考文獻
第14章基於服務的軟件係統
14.1引言
14.2基於服務的軟件係統
14.3麵嚮服務的體係架構
14.4SOA�睤EVS仿真建模
14.4.1簡單模型
14.4.2復閤模型
14.5SOA�睤EVS 模型組件
14.5.1通用消息
14.5.2簡單服務
14.5.3復閤服務模型
14.6仿真模型範例
14.7動態結構SOAD
14.7.1代理�倉蔥心P蛻杓�
14.7.2扁平和分層模型組閤
14.8本章小結
14.9練習
參考文獻
第15章雲係統仿真建模
15.1引言
15.2軟件/硬件協同設計
15.3SOC�睤EVS SW/HW建模
15.3.1軟件服務係統模型
15.3.2硬件係統模型
15.3.3服務係統映射
15.4麵嚮服務的語音通信係統
15.4.1基本度量
15.4.2仿真參數估計
15.4.3實驗設置和執行
15.4.4實例仿真結果
15.5本章小結
參考文獻
第16章體係模型庫
16.1引言
16.2邏輯化、可視化和持久化建模的統一
16.2.1簡單的網絡病毒模型
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軟件(服務)係統映射模型
16.4.4模型約束
16.5本章小結
參考文獻
第17章基於體係的生命係統建模與仿真
17.1生命係統建模與仿真中的挑戰
17.2DEVS和VLE為何適用於生命係統建模和仿真
17.2.1係統方法: 湧現與規模轉換
17.2.2異構形式和生命係統復雜性
17.2.3VLE和試驗計劃
17.3動物流行病的監測和控製
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的實現
17.4.6驗證
17.4.7結論
17.5生命係統的模型連續性
17.6本章小結
參考文獻
第18章基於活躍度的體係實現
18.1能量與活躍度
18.2體係原型構建
18.3實驗框架和定時需求
18.4體係模型中的能量和活躍度
18.5活躍度概念綜述
18.6定時需求、能量和活躍度
18.7體係實例: 撲救森林火災
18.8體係硬件實現的有關活動
18.9實驗測試
18.10本章小結
附錄Quantizer.dnl
體係建模與仿真:基礎與實踐(新視野電子電氣科技叢書) pdf epub mobi txt 電子書 下載