基本介紹
- 書名：虛擬戰場環境行為建模技術及套用
- 作者：曾亮,張巍
- ISBN：9787030467850
- 裝幀：平裝
- 開本：B5
內容介紹,目錄,
內容介紹
本書介紹軍事群體行為建模相關的原理及技術。針對大規模軍事群體行為的特點，將本體論、控制論、描述任務邏輯等方法引入軍事群體行為建模，並以聯合作戰和非戰爭軍事行動中的實例，詳細講述軍事群體行為的建模與仿真。本書中研發的群體行為建模技術也同樣適用於非軍事群體行為的表現。
目錄
前言
第1章緒論1
1.1引言1
1.2背景2
1.3軍事群體協同行為建模與仿真問題和關鍵技術3
1.4相關研究現狀4
1.4.1群體行為建模與仿真研究現狀4
1.4.2群體軍事協同行為建模仿真相關研究現狀7
參考文獻9
第2章群體協同行為描述方法13
2.1本體論14
2.1.1本體論概述14
2.1.2軍事群體本體16
2.1.3軍事群體本體的描述邏輯表示20
2.2GBDM21
2.2.1GBDM的語法22
2.2.2GBDM的語義25
2.2.3GBDM的可判定性28
2.3基於GBDM的推理33
2.3.1GBDM中的定理33
2.3.2GBDM中的本體推理34
2.4本章小結35
參考文獻36
第3章基於控制論的計算機生成兵力模型38
3.1基於控制論的SCP模型39
3.1.1SCP的概念模型40
3.1.2SCP的形式化模型40
3.2ESCP模型42
3.2.1ESCP的概念模型43
3.2.2ESCP的形式化模型44
3.2.3ESCP的結構模型47
3.2.4ESCP模型的特點49
3.3基於ESCP模型的協同49
3.3.1CGF實體對象內部行為協同49
3.3.2CGF實體對象間行為協同53
3.4行為建模描述語言58
3.4.1BBML的語言規範61
3.4.2BBML的實現及運行機制65
3.4.3語言實例67
3.4.4實驗分析69
3.4.5BBML的主要特點71
3.5本章小結71
參考文獻72
第4章軍事群體兵力模型73
4.1軍事群體組織結構模型GRNA73
4.1.1組織結構模型研究現狀74
4.1.2GRNA概念模型74
4.1.3GRNA的形式化描述77
4.1.4GRNA結構模型79
4.2GSCP81
4.2.1GSCP行為模型81
4.2.2GSCP的行為85
4.2.3GSCP底層個性行為模型88
4.3本章小結93
參考文獻94
第1章緒論1
1.1引言1
1.2背景2
1.3軍事群體協同行為建模與仿真問題和關鍵技術3
1.4相關研究現狀4
1.4.1群體行為建模與仿真研究現狀4
1.4.2群體軍事協同行為建模仿真相關研究現狀7
參考文獻9
第2章群體協同行為描述方法13
2.1本體論14
2.1.1本體論概述14
2.1.2軍事群體本體16
2.1.3軍事群體本體的描述邏輯表示20
2.2GBDM21
2.2.1GBDM的語法22
2.2.2GBDM的語義25
2.2.3GBDM的可判定性28
2.3基於GBDM的推理33
2.3.1GBDM中的定理33
2.3.2GBDM中的本體推理34
2.4本章小結35
參考文獻36
第3章基於控制論的計算機生成兵力模型38
3.1基於控制論的SCP模型39
3.1.1SCP的概念模型40
3.1.2SCP的形式化模型40
3.2ESCP模型42
3.2.1ESCP的概念模型43
3.2.2ESCP的形式化模型44
3.2.3ESCP的結構模型47
3.2.4ESCP模型的特點49
3.3基於ESCP模型的協同49
3.3.1CGF實體對象內部行為協同49
3.3.2CGF實體對象間行為協同53
3.4行為建模描述語言58
3.4.1BBML的語言規範61
3.4.2BBML的實現及運行機制65
3.4.3語言實例67
3.4.4實驗分析69
3.4.5BBML的主要特點71
3.5本章小結71
參考文獻72
第4章軍事群體兵力模型73
4.1軍事群體組織結構模型GRNA73
4.1.1組織結構模型研究現狀74
4.1.2GRNA概念模型74
4.1.3GRNA的形式化描述77
4.1.4GRNA結構模型79
4.2GSCP81
4.2.1GSCP行為模型81
4.2.2GSCP的行為85
4.2.3GSCP底層個性行為模型88
4.3本章小結93
參考文獻94
第5章基於GBDM的軍事群體組織任務規劃描述方法95
5.1任務95
5.1.1任務95
5.1.2任務描述97
5.2軍事群體組織任務規劃描述方法TPDLT99
5.2.1任務規劃的描述99
5.2.2任務規劃的可完成性判定101
5.2.3任務規劃的推演驗證算法102
5.3本章小結105
參考文獻105
第6章軍事群體協同行為模型驗證106
6.1基於GBDM的仿真想定驗證106
6.1.1仿真想定校驗推理107
6.1.2仿真中的概念推理108
6.2基於ASM的行為校核與驗證108
6.2.1抽象狀態機理論109
6.2.2抽象狀態機語言111
6.2.3ASML驗證CGF行為112
6.3本章小結116
參考文獻116
第7章軍事群體協同行為建模仿真工程方法與原型系統117
7.1OGBMM117
7.1.1OGBMM基本流程117
7.1.2OGBMM模型細化118
7.2OGBML120
7.3OGBMSP126
7.3.1系統結構126
7.3.2系統實現131
7.3.3場景編輯134
7.4本章小結134
第8章聯合作戰與非戰爭軍事行動套用案例135
8.1聯合作戰套用案例135
8.1.1問題背景135
8.1.2問題分析與建模137
8.1.3仿真實驗142
8.2非戰爭軍事行動套用案例146
8.2.1問題背景146
8.2.2問題分析與建模147
8.2.3仿真實驗151
8.3本章小結153
參考文獻154
第9章總結與展望155
9.1總結155
9.2展望156
5.1任務95
5.1.1任務95
5.1.2任務描述97
5.2軍事群體組織任務規劃描述方法TPDLT99
5.2.1任務規劃的描述99
5.2.2任務規劃的可完成性判定101
5.2.3任務規劃的推演驗證算法102
5.3本章小結105
參考文獻105
第6章軍事群體協同行為模型驗證106
6.1基於GBDM的仿真想定驗證106
6.1.1仿真想定校驗推理107
6.1.2仿真中的概念推理108
6.2基於ASM的行為校核與驗證108
6.2.1抽象狀態機理論109
6.2.2抽象狀態機語言111
6.2.3ASML驗證CGF行為112
6.3本章小結116
參考文獻116
第7章軍事群體協同行為建模仿真工程方法與原型系統117
7.1OGBMM117
7.1.1OGBMM基本流程117
7.1.2OGBMM模型細化118
7.2OGBML120
7.3OGBMSP126
7.3.1系統結構126
7.3.2系統實現131
7.3.3場景編輯134
7.4本章小結134
第8章聯合作戰與非戰爭軍事行動套用案例135
8.1聯合作戰套用案例135
8.1.1問題背景135
8.1.2問題分析與建模137
8.1.3仿真實驗142
8.2非戰爭軍事行動套用案例146
8.2.1問題背景146
8.2.2問題分析與建模147
8.2.3仿真實驗151
8.3本章小結153
參考文獻154
第9章總結與展望155
9.1總結155
9.2展望156
