☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

編輯推薦

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代理�倉蔥心Ｐ蛻杓�

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

< 體係建模與仿真：基礎與實踐（新視野電子電氣科技叢書） 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價