前言
第1章 绪论
1．1 引言
1．2 背景
1．3 军事群体协同行为建模与仿真问题和关键技术
1．4 相关研究现状
1．4．1 群体行为建模与仿真研究现状
1．4．2 群体军事协同行为建模仿真相关研究现状
参考文献
第2章 群体协同行为描述方法
2．1 本体论
2．1．1 本体论概述
2．1．2 军事群体本体
2．1．3 军事群体本体的描述逻辑表示
2．2 GBDM
2．2．1 GBDM的语法
2．2．2 GBDM的语义
2．2．3 GBDM的可判定性
2．3 基于GBDM的推理
2．3．1 GBDM中的定理
2．3．2 GBDM中的本体推理
2．4 本章小结
参考文献
第3章 基于控制论的计算机生成兵力模型
3．1 基于控制论的SCP模型
3．1．1 SCP的概念模型
3．1．2 SCP的形式化模型
3．2 ESCP模型
3．2．1 ESCP的概念模型
3．2．2 ESCP的形式化模型
3．2．3 ESCP的结构模型
3．2．4 ESCP模型的特点
3．3 基于ESCP模型的协同
3．3．1 CGF实体对象内部行为协同
3．3．2 CGF实体对象间行为协同
3．4 行为建模描述语言
3．4．1 BBML的语言规范
3．4．2 BBML的实现及运行机制
3．4．3 语言实例
3．4．4 实验分析
3．4．5 BBML的主要特点
3．5 本章小结
参考文献
第4章 军事群体兵力模型
4．1 军事群体组织结构模型GRNA
4．1．1 组织结构模型研究现状
4．1．2 GRNA概念模型
4．1．3 GRNA的形式化描述
4．1．4 GRNA结构模型
4．2 GSCP
4．2．1 GSCP行为模型
4．2．2 GSCP的行为
4．2．3 GSCP底层个性行为模型
4．3 本章小结
参考文献
第5章 基于GBDM的军事群体组织任务规划描述方法
5．1 任务
5．1．1 任务
5．1．2 任务描述
5．2 军事群体组织任务规划描述方法TPDLT
5．2．1 任务规划的描述
5．2．2 任务规划的可完成性判定
5．2．3 任务规划的推演验证算法
5．3 本章小结
参考文献
第6章 军事群体协同行为模型验证
6．1 基于GBDM的仿真想定验证
6．1．1 仿真想定校验推理
6．1．2 仿真中的概念推理
6．2 基于ASM的行为校核与验证
6．2．1 抽象状态机理论
6．2．2 抽象状态机语言
6．2．3 ASML验证CGF行为
6．3 本章小结
参考文献
第7章 军事群体协同行为建模仿真工程方法与原型系统
7．1 OGBMM
7．1．1 OGBMM基本流程
7．1．2 OGBMM模型细化
7．2 OGBML
7．3 OGBMSP
7．3．1 系统结构
7．3．2 系统实现
7．3．3 场景编辑
7．4 本章小结
第8章 联合作战与非战争军事行动应用案例
8．1 联合作战应用案例
8．1．1 问题背景
8．1．2 问题分析与建模
8．1．3 仿真实验
8．2 非战争军事行动应用案例
8．2．1 问题背景
8．2．2 问题分析与建模
8．2．3 仿真实验
8．3 本章小结
参考文献
第9章 总结与展望
9．1 总结
9．2 展望
展开
