曾亮、张巍著的《虚拟战场环境行为建模技术及应用》面向大规模军事作战模拟和战法分析与评估、大规模非战争军事行动模拟和行动预案分析与评估的应用需求，围绕军事群体协同行为建模问题，基于控制力和描述任务逻辑研究了军事群体的组织结构关系、任务规划、以及行为生成理论，并结合军事作战行动和非战争军事行动的典型案例，介绍了任务规划与行动生成方法及实现技术。

曾亮、张巍著的《虚拟战场环境行为建模技术及应用》介绍军事群体行为建模相关的原理及技术。针对大规模军事群体行为的特点，将本体论、控制论、描述任务逻辑等方法引入军事群体行为建模，并以联合作战和非战争军事行动中的实例，详细讲述军事群体行为的建模与仿真。本书中研发的群体行为建模技术也同样适用于非军事群体行为的表现。

本书作为行为仿真领域的专业书籍，可供高等院校相关专业的师生、科研院所的技术人员及相关管理人员参考。

前言

第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 展望