在網路化套用需求牽引和面向服務、格線計算、雲計算等新技術的推動下，新一代的網路化建模與仿真技術成為一個研究熱點，《面向服務的建模與仿真技術》則是該領域的一項基礎性研究。 作者邸彥強結合多年來在航空、航天、船舶、軍事訓練與保障等領域的科研實踐，提出了面向服務的建模與仿真方法。首先剖析了面向服務建模與仿真的概念內涵，建立了其技術體系，並對面向服務仿真工程的實施體系、基礎架構等內容進行了闡述；然後，從面向服務的分析與建模、面向服務的套用架構模型、面向服務的仿真運行支撐和面向服務的套用系統開發與VV&A(Verfication Validation and Accreditation)等方面對其中的關鍵技術進行了系統研究；最後，對面向服務的建模與仿真技術在科研實踐中的套用情況進行了介紹。 《面向服務的建模與仿真技術》適合於計算機仿真專業研究及套用人員、高校相關專業建模與仿真研究方向的教師和研究生閱讀。
基本介紹
- 書名：面向服務的建模與仿真技術
- 出版社：國防工業出版社
- 頁數：206頁
- 開本：16
- 品牌：國防工業出版社
- 作者：邸彥強
- 出版日期：2011年11月2日
- 語種：簡體中文
- ISBN：7118074705, 9787118074703
內容簡介,圖書目錄,
內容簡介
這些新一代的網路化建模與仿真技術以Web服務、SOA、格線計算和雲計算等技術和思想為支撐，以面向服務為特徵。《面向服務的建模與仿真技術》的作者邸彥強以此為出發點，將面向服務的理念與仿真技術相結合，提出了面向服務的建模與仿真方法，並按照“服務建模-仿真支撐-套用技術(VV&A)”的思路進行了系統研究，包括：提出了基於本體的面向領域仿真服務分析方法，並構建了多元化的仿真服務技術體系；建立了仿真服務組件模型，提供了面向服務的仿真套用構建模型；研究了基於混合自動機HIOA理論的行為調度和時間管理算法，並基於此建立了仿真服務組合引擎。
圖書目錄
第1章 緒論
1.1 研究背景
1.1.1 仿真套用發展中的幾個問題
1.1.2 技術推動
1.2 相關研究
1.2.1 擴展建模與仿真框架XMSF
1.2.2 仿真格線與基於格線的仿真
1.2.3 SOA的仿真套用研究
1.2.4 知識工程KE中的PSM
1.3 面向服務的建模與仿真技術
1.3.1 基本概念
1.3.2 面向服務的建模與仿真的基礎架構
1.3.3 面向服務的建模與仿真工程實施體系
1.3.4 面向服務的建模與仿真的技術體系
1.4 內容與結構
本章小結
第2章 基於本體的仿真服務分析方法
2.1 仿真服務的概念
2.2 模型資源及其特徵
2.2.1 模型：仿真資源的核心
2.2.2 模型資源的網路特徵
2.2.3 模型資源的共享方式
2.3 以模型資源為核心的仿真服務體系
2.3.1 套用服務層
2.3.2 領域服務層
2.3.3 元服務層
2.3.4 服務組合
2.4 基於本體的仿真服務分析方法
2.4.1 面向服務的分析方法概述
2.4.2 基於本體的仿真服務分析
2.5 高炮防空武器系統仿真服務分析實例
2.5.1 高炮防空武器系統的本體建模
2.5.2 基於邏輯推理的服務候選
2.5.3 仿真服務描述信息的獲取
本章小結
第3章 多元化的仿真服務建模技術
3.1 仿真服務技術體系
3.1.1 基於SOAP的Web服務
3.1.2 格線服務
3.1.3 WSRF
3.1.4 擴展服務
3.2 服務實現技術的套用特徵與選擇
3.2.1 模型的狀態與服務技術的支持
3.2.2 模型實例與服務技術的支持
3.2.3 模型持久性與服務技術的支持
3.2.4 仿真實時性與服務技術的支持
3.3 仿真服務的開發
3.4 WSDL驅動的統一服務調用機制
3.4.1 WSDL驅動的服務調用機制原理
3.4.2 WSDL驅動的服務調用機制套用模型
3.5 仿真服務擴展及套用實例
3.5.1 自動化對象的套用模型
3.5.2 基於COM自動化對象的WSDL擴展
3.5.3 基於COM綁定的Web服務的WSDL檔案樣例
本章小結
第4章 面向服務的仿真套用架構與仿真服務組件模型(CoslmModel)
4.1 相關研究
4.1.1 SODA
4.1.2 SCA
4.2 Cosim仿真服務組件概述
4.2.1 地位與作用
4.2.2 仿真服務組件的分類與體系
4.3 Cosim仿真服務組件規範
4.3.1 模型接口層規範
4.3.2 模型架構層規範
4.3.3 模型實現層規範
4.3.4 仿真服務組件的形式化描述
4.4 Cosim仿真服務組件的3H特性
4.4.1 混合性
4.4.2 異構性
4.4.3 層次性
4.5 CBD模式的面向服務仿真套用開發
4.5.1 基於CosimModel的CBD開發模式
4.5.2 服務組件——基於WSIF的服務插座
4.5.3 Cosim仿真組件的服務化
4.5.4 基於CosimModel的面向服務的仿真套用開發
本章小結
第5章 Cosim仿真引擎行為調度算法研究與設計
5.1 HIOA中的行為概念與執行語義
5.1.1 HIOA中的行為定義
5.1.2 HIOA中行為的執行語義
5.2 HIOA行為調度原理
5.2.1 HIOA行為調度模型
5.2.2 HIOA行為的形式化解析算法
5.3 HIOA的層次化調度與並行機制擴展
5.3.1 層次化與並發混合自動機的概念
5.3.2 層次化與並發混合自動機的執行語義
5.3.3 關於並發混合自動機的死鎖問題
5.4 Cosim行為調度器的設計與實現
5.4.1 基本概念
5.4.2 軟體設計
本章小結
第6章 Cosim仿真引擎時間管理算法研究與設計
6.1 Cosim協同仿真套用模式與時間管理對象分析
6.1.1 Cosim協同仿真套用架構模式
6.1.2 Cosim協同仿真的運行邏輯控制結構
6.1.3 以時管自動機為中心的時間管理
6.2 Cosim協同仿真演進的特徵與方式
6.2.1 協同仿真演進的驅動
6.2.2 協同仿真演進的約束
6.2.3 同步演進與異步演進
6.2.4 Cosim協同仿真的演進方式
6.3 Cosim協同仿真時間管理算法
6.3.1 時管自動機的功能基礎
6.3.2 SIP中模型同步算法原理與過程
6.3.3 並發SIP的同步算法原理與過程
6.3.4 Cosim分散式協同仿真中的時間管理問題
6.4 Cosim時間管理器的設計與實現
6.4.1 Cosim時間管理上下文
6.4.2 Cosim時間管理器的功能結構
6.4.3 Cosim時間管理器的軟體設計
本章小結
第7章 基於Cosim的面向服務仿真套用開發與VV & A
7.1 基於Cosim的面向服務的仿真工程
7.2 基於Cosim的面向服務的仿真套用開發過程模型
7.2.1 基於Cosim的仿真套用開發過程
7.2.2 基於Cosim的仿真套用開發過程模型的特徵
7.3 Cosim建模與仿真中的VV & A
7.3.1 Cosim建模與仿真的VV & A過程模型
7.3.2 Cosim建模與仿真中VV & A中的幾種特殊方法
本章小結
第8章 SOMS的工程套用實例
8.1 SOMS在虛擬樣機工程中的套用——協同仿真平台Cosim-Platform
8.1.1 Cosim-Platform技術架構
8.1.2 Cosim-Platform系統結構
8.1.3 Cosim-Platform在不同領域的套用
8.2 SOMS與仿真套用格線Cosim-Grid
8.2.1 面向服務的仿真格線Cosim-Grid的體系結構
8.2.2 仿真資源服務化與服務管理中間件
8.2.3 基於Cosim-Grid的仿真套用模式
8.2.4 Cosim-Grid的實施與套用
8.3 SOMS與武器裝備網上訓練系統WET-Grid
8.3.1 裝備網上訓練支撐環境的技術體系
8.3.2 裝備網上訓練系統體系結構
8.3.3 面向網路的訓練模式
8.3.4 裝備網上訓練系統的實施與套用
本章小結
附錄1 仿真服務技術實時性測試與對比分析實驗
附錄2 基於OWL表述的任務空間概念模型元本體
附錄3 主要符號表
參考文獻
後記
1.1 研究背景
1.1.1 仿真套用發展中的幾個問題
1.1.2 技術推動
1.2 相關研究
1.2.1 擴展建模與仿真框架XMSF
1.2.2 仿真格線與基於格線的仿真
1.2.3 SOA的仿真套用研究
1.2.4 知識工程KE中的PSM
1.3 面向服務的建模與仿真技術
1.3.1 基本概念
1.3.2 面向服務的建模與仿真的基礎架構
1.3.3 面向服務的建模與仿真工程實施體系
1.3.4 面向服務的建模與仿真的技術體系
1.4 內容與結構
本章小結
第2章 基於本體的仿真服務分析方法
2.1 仿真服務的概念
2.2 模型資源及其特徵
2.2.1 模型：仿真資源的核心
2.2.2 模型資源的網路特徵
2.2.3 模型資源的共享方式
2.3 以模型資源為核心的仿真服務體系
2.3.1 套用服務層
2.3.2 領域服務層
2.3.3 元服務層
2.3.4 服務組合
2.4 基於本體的仿真服務分析方法
2.4.1 面向服務的分析方法概述
2.4.2 基於本體的仿真服務分析
2.5 高炮防空武器系統仿真服務分析實例
2.5.1 高炮防空武器系統的本體建模
2.5.2 基於邏輯推理的服務候選
2.5.3 仿真服務描述信息的獲取
本章小結
第3章 多元化的仿真服務建模技術
3.1 仿真服務技術體系
3.1.1 基於SOAP的Web服務
3.1.2 格線服務
3.1.3 WSRF
3.1.4 擴展服務
3.2 服務實現技術的套用特徵與選擇
3.2.1 模型的狀態與服務技術的支持
3.2.2 模型實例與服務技術的支持
3.2.3 模型持久性與服務技術的支持
3.2.4 仿真實時性與服務技術的支持
3.3 仿真服務的開發
3.4 WSDL驅動的統一服務調用機制
3.4.1 WSDL驅動的服務調用機制原理
3.4.2 WSDL驅動的服務調用機制套用模型
3.5 仿真服務擴展及套用實例
3.5.1 自動化對象的套用模型
3.5.2 基於COM自動化對象的WSDL擴展
3.5.3 基於COM綁定的Web服務的WSDL檔案樣例
本章小結
第4章 面向服務的仿真套用架構與仿真服務組件模型(CoslmModel)
4.1 相關研究
4.1.1 SODA
4.1.2 SCA
4.2 Cosim仿真服務組件概述
4.2.1 地位與作用
4.2.2 仿真服務組件的分類與體系
4.3 Cosim仿真服務組件規範
4.3.1 模型接口層規範
4.3.2 模型架構層規範
4.3.3 模型實現層規範
4.3.4 仿真服務組件的形式化描述
4.4 Cosim仿真服務組件的3H特性
4.4.1 混合性
4.4.2 異構性
4.4.3 層次性
4.5 CBD模式的面向服務仿真套用開發
4.5.1 基於CosimModel的CBD開發模式
4.5.2 服務組件——基於WSIF的服務插座
4.5.3 Cosim仿真組件的服務化
4.5.4 基於CosimModel的面向服務的仿真套用開發
本章小結
第5章 Cosim仿真引擎行為調度算法研究與設計
5.1 HIOA中的行為概念與執行語義
5.1.1 HIOA中的行為定義
5.1.2 HIOA中行為的執行語義
5.2 HIOA行為調度原理
5.2.1 HIOA行為調度模型
5.2.2 HIOA行為的形式化解析算法
5.3 HIOA的層次化調度與並行機制擴展
5.3.1 層次化與並發混合自動機的概念
5.3.2 層次化與並發混合自動機的執行語義
5.3.3 關於並發混合自動機的死鎖問題
5.4 Cosim行為調度器的設計與實現
5.4.1 基本概念
5.4.2 軟體設計
本章小結
第6章 Cosim仿真引擎時間管理算法研究與設計
6.1 Cosim協同仿真套用模式與時間管理對象分析
6.1.1 Cosim協同仿真套用架構模式
6.1.2 Cosim協同仿真的運行邏輯控制結構
6.1.3 以時管自動機為中心的時間管理
6.2 Cosim協同仿真演進的特徵與方式
6.2.1 協同仿真演進的驅動
6.2.2 協同仿真演進的約束
6.2.3 同步演進與異步演進
6.2.4 Cosim協同仿真的演進方式
6.3 Cosim協同仿真時間管理算法
6.3.1 時管自動機的功能基礎
6.3.2 SIP中模型同步算法原理與過程
6.3.3 並發SIP的同步算法原理與過程
6.3.4 Cosim分散式協同仿真中的時間管理問題
6.4 Cosim時間管理器的設計與實現
6.4.1 Cosim時間管理上下文
6.4.2 Cosim時間管理器的功能結構
6.4.3 Cosim時間管理器的軟體設計
本章小結
第7章 基於Cosim的面向服務仿真套用開發與VV & A
7.1 基於Cosim的面向服務的仿真工程
7.2 基於Cosim的面向服務的仿真套用開發過程模型
7.2.1 基於Cosim的仿真套用開發過程
7.2.2 基於Cosim的仿真套用開發過程模型的特徵
7.3 Cosim建模與仿真中的VV & A
7.3.1 Cosim建模與仿真的VV & A過程模型
7.3.2 Cosim建模與仿真中VV & A中的幾種特殊方法
本章小結
第8章 SOMS的工程套用實例
8.1 SOMS在虛擬樣機工程中的套用——協同仿真平台Cosim-Platform
8.1.1 Cosim-Platform技術架構
8.1.2 Cosim-Platform系統結構
8.1.3 Cosim-Platform在不同領域的套用
8.2 SOMS與仿真套用格線Cosim-Grid
8.2.1 面向服務的仿真格線Cosim-Grid的體系結構
8.2.2 仿真資源服務化與服務管理中間件
8.2.3 基於Cosim-Grid的仿真套用模式
8.2.4 Cosim-Grid的實施與套用
8.3 SOMS與武器裝備網上訓練系統WET-Grid
8.3.1 裝備網上訓練支撐環境的技術體系
8.3.2 裝備網上訓練系統體系結構
8.3.3 面向網路的訓練模式
8.3.4 裝備網上訓練系統的實施與套用
本章小結
附錄1 仿真服務技術實時性測試與對比分析實驗
附錄2 基於OWL表述的任務空間概念模型元本體
附錄3 主要符號表
參考文獻
後記
