本书介绍军事群体行为建模相关的原理及技术。针对大规模军事群体行为的特点,将本体论、控制论、描述任务逻辑等方法引入军事群体行为建模,并以联合作战和非战争军事行动中的实例,详细讲述军事群体行为的建模与仿真。本书中研发的群体行为建模技术也同样适用于非军事群体行为的表现。
样章试读
目录
- 目录
前言
第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