本書以推進裝備體系數字化轉型為出發點,是裝備體系仿真領域的前沿之作,旨在為裝備體系仿真、智能行為建模、模數驅動工程等領域的教學和科研提供有益參考。全書共分為 7 章,包括智能裝備體系仿真概述、本體元建模技術、領域特定建模技術、模數驅動的智能行為建模技術、動態數據融合的數據同化技術、形式化模型轉換技術及綜合仿真應用案例等內容。本書深入探討了智能裝備體系仿真建模的關鍵技術,并提供了實際應用案例,充分展示了當前裝備體系仿真領域先進的數字決策與數據智能的綜合運用。
朱智,男,1989年11月生,國防科技大學系統工程學院戰略管理工程系講師,博士,破格碩士生導師,美國亞利桑那州立大學一體化建模仿真中心聯合培養博士生。主持國家自然科學基金青年項目1項、裝備預研項目1項、CEMEE國家重點實驗室基金1項,作為項目技術骨干參與軍委重大項目1項,以及其他各類裝備預研、軍內科研、外協項目多項。在《SIMULATION》、《系統工程理論與實踐》等國內外權威期刊或會議上以第一作者或通訊作者發表學術論文30余篇,其中10余篇進入SCI檢索。申請授權專利3項,軟件著作權1項。研究方向包括裝備體系仿真、智能行為建模、深度強化學習等。主講本科生課程《離散事件系統仿真》、學術研究生課程《仿真模型設計與執行》、《智能系統建模仿真技術》。
第 1 章 智能裝備體系仿真概述····················································.1
1.1 基本概念 ·····································································.1
1.1.1 裝備體系仿真·······················································.1
1.1.2 仿真建模方法·······················································.2
1.1.3 仿真模型語義可組合··············································.3
1.2 工程化仿真建模技術·······················································.5
1.2.1 模型驅動工程·······················································.5
1.2.2 領域特定建模·······················································.6
1.2.3 典型技術標準·······················································.8
1.3 通用化建模仿真平臺·······················································10
1.3.1 DEVS 仿真平臺 ····················································10
1.3.2 Agent 仿真平臺 ····················································12
1.3.3 大型軍用仿真平臺·················································15
1.4 智能化仿真建模發展趨勢·················································18
1.4.1 模型驅動的仿真建模··············································18
1.4.2 數據驅動的數據建模··············································20
1.4.3 模數驅動的混合建模··············································21
1.5 小結 ···········································································22
參考文獻 ···········································································24
第 2 章 本體元建模技術·····························································31
2.1 本體元建模 ··································································31
2.1.1 模型與本體 ·························································31
2.1.2 元模型 ·······························································34
2.1.3 本體元模型 ·························································38
2.2 本體元建模語義可組合····················································40
2.2.1 語義可組合機制····················································41
2.2.2 OWL 及其 UML 擴展 ·············································42
2.3 本體建模環境································································46
2.3.1 Protégé ·······························································46
2.3.2 OnUMLTool ·························································47
2.4 本體元建模在 MDE 中的應用············································48
2.5 小結 ···········································································51
參考文獻 ···········································································51
第 3 章 領域特定建模技術··························································53
3.1 領域特定語言································································53
3.1.1 DSL 組成結構 ······················································54
3.1.2 DSL 定義過程 ······················································55
3.2 基于 UML Profile 的輕度級擴展 ·········································56
3.2.1 UML Profile 擴展框架 ············································56
3.2.2 UML Profile 輕度級擴展過程····································57
3.2.3 反潛戰術 UML Profile 設計······································65
3.3 基于 EMF 的元模型重定制 ···············································75
3.3.1 Ecore 內核···························································75
3.3.2 防御體系火控通道控制系統·····································76
3.4 領域特定元建模技術·······················································83
3.4.1 多層次領域特定元建模框架·····································83
3.4.2 領域特定的 SEvent 元建模·······································88
3.4.3 SEvent 語言的具體語法設計 ····································92
3.5 小結 ········································································.104
參考文獻 ········································································.104
第 4 章 模數驅動的智能行為建模技術 ········································.107
4.1 模數驅動架構·····························································.107
4.2 遺傳模糊樹 ·······························································.108
4.2.1 演化歷程 ·························································.109
4.2.2 建模框架 ·························································.110
4.2.3 火控系統模型····················································.112
4.3 功能決策樹 ·······························································.114
4.3.1 設計理念 ·························································.114
4.3.2 元模型設計 ······················································.115
4.3.3 空戰決策行為模型··············································.118
4.4 數智 Agent ································································.122
4.4.1 DNN 結構 ························································.122
4.4.2 DDPG ·····························································.125
4.4.3 獎勵設計 ·························································.126
4.5 小結 ········································································.126
參考文獻 ········································································.127
第 5 章 動態數據融合的數據同化技術 ········································.129
5.1 數據同化 ··································································.129
5.2 離散事件系統仿真·······················································.130
5.2.1 無人機維修服務系統···········································.131
5.2.2 事件調度仿真策略··············································.132
5.2.3 仿真模型運行分析··············································.133
5.3 離散事件仿真數據同化·················································.135
5.3.1 粒子濾波 ·························································.135
5.3.2 數據同化框架····················································.137
5.3.3 數據同化過程····················································.140
5.4 仿真實現與實驗分析····················································.141
5.4.1 同化參數設置····················································.141
5.4.2 仿真實驗設計····················································.143
5.4.3 實驗結果分析····················································.143
5.5 小結 ········································································.144
參考文獻 ········································································.145
第 6 章 形式化模型轉換技術····················································.148
6.1 模型轉換 ··································································.148
6.1.1 模型轉換的概念·················································.148
6.1.2 模型轉換的評價標準···········································.150
6.1.3 仿真模型開發過程··············································.151
6.2 形式化模型轉換理論體系··············································.153
6.2.1 建模與元建模····················································.153
6.2.2 模型轉換定義····················································.155
6.2.3 模型驅動開發過程定義········································.159
6.3 基于 MDA 的形式化模型轉換過程···································.164
6.3.1 GFCCS 實現過程定義 ·········································.164
6.3.2 相關實現技術····················································.166
6.3.3 具體轉換過程····················································.170
6.4 模型轉換評估·····························································.174
6.5 小結 ········································································.176
參考文獻 ········································································.176
第 7 章 綜合仿真應用案例·······················································.178
7.1 仿真應用開發基礎·······················································.178
7.1.1 知識領域架構····················································.178
7.1.2 頂層模型框架····················································.179
7.1.3 仿真應用平臺····················································.181
7.2 網絡化防空反導··························································.182
7.2.1 體系結構 ·························································.183
7.2.2 可組合建模框架·················································.185
7.2.3 仿真實驗分析····················································.190
7.3 直升機聯合反潛··························································.193
7.3.1 典型反潛戰術····················································.193
7.3.2 仿真案例設計····················································.199
7.3.3 仿真二維展現····················································.201
7.4 智能彈道導彈突防·······················································.204
7.4.1 作戰環境描述····················································.204
7.4.2 仿真實驗設計····················································.206
7.4.3 模型訓練與結果分析···········································.207
7.5 小結 ········································································.209
參考文獻 ········································································.209