第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.2 GBDM 21
2.2.1 GBDM的语法 22
2.2.2 GBDM的语义 25
2.2.3 GBDM的可判定性 28
2.3 基于GBDM的推理 33
2.3.1 GBDM中的定理 33
2.3.2 GBDM中的本体推理 34
2.4 本章小结 35
参考文献 36
第3章 基于控制论的计算机生成兵力模型 38
3.1 基于控制论的SCP模型 39
3.1.1 SCP的概念模型 40
3.1.2 SCP的形式化模型 40
3.2 ESCP模型 42
3.2.1 ESCP的概念模型 43
3.2.2 ESCP的形式化模型 44
3.2.3 ESCP的结构模型 47
3.2.4 ESCP模型的特点 49
3.3 基于ESCP模型的协同 49
3.3.1 CGF实体对象内部行为协同 49
3.3.2 CGF实体对象间行为协同 53
3.4 行为建模描述语言 58
3.4.1 BBML的语言规范 61
3.4.2 BBML的实现及运行机制 65
3.4.3 语言实例 67
3.4.4 实验分析 69
3.4.5 BBML的主要特点 71
3.5 本章小结 71
参考文献 72
第4章 军事群体兵力模型 73
4.1 军事群体组织结构模型GRNA 73
4.1.1 组织结构模型研究现状 74
4.1.2 GRNA概念模型 74
4.1.3 GRNA的形式化描述 77
4.1.4 GRNA结构模型 79
4.2 GSCP 81
4.2.1 GSCP行为模型 81
4.2.2 GSCP的行为 85
4.2.3 GSCP底层个性行为模型 88
4.3 本章小结 93
参考文献 94
第5章 基于GBDM的军事群体组织任务规划描述方法 95
5.1 任务 95
5.1.1 任务 95
5.1.2 任务描述 97
5.2 军事群体组织任务规划描述方法TPDLT 99
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.3 ASML验证CGF行为 112
6.3 本章小结 116
参考文献 116
第7章 军事群体协同行为建模仿真工程方法与原型系统 117
7.1 OGBMM 117
7.1.1 OGBMM基本流程 117
7.1.2 OGBMM模型细化 118
7.2 OGBML 120
7.3 OGBMSP 126
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