题目：CGF行为建模及其校核技术研究

以CGF为代表的作战仿真在和平年代发挥着越来越重要的作用，行为模型是CGF的核心部分，它体现了CGF实体的逼真性与智能性。随着作战仿真规模的扩大，现有的行为建模方式不能复用已有的模型资源，已经难以满足模型快速组建和工程化开发的需求。模型的VV&A是模型真实性与合理性的保证。校核作为VV&A的首要环节，是后续验证与确认工作的基础。目前，行为模型的校核技术远不如物理模型的成熟，面临着诸多难题与挑战。针对以上现状，本文展开了对CGF行为建模及其校核技术的研究。

首先，本文分析了战场环境中军事行为的特点，将军事行为分成任务行为和自主行为两大类，分别研究了它们的可复用建模技术。针对任务行为提出了一种基于流程图组装的建模方法，针对自主行为提出了一种基于Agent的建模方法，分别给出了各自的形式化描述，阐述了各自的复用方法。

接着，本文研究了行为模型的校核技术。针对基于流程图的任务行为，提出了一种静态校核的方法。面向更一般的行为，研究了动态校核的方法和流程。针对参数水平较多的情况，提出了一种测试数据的自动生成方法。

然后，本文介绍了CGF行为建模与行为校核辅助工具的开发。为实现可复用的行为建模技术，开发了行为组装工具和行为建模工具；为辅助行为校核工作，开发了行为校核辅助工具，实现了测试数据集和想定文件集的自动生成功能。

最后，本文研究了一个具体的应用实例。以歼击机2v2空战为背景，设计了一个想定，开发了该场景中的原子行为和组合行为。并且，通过对该空战行为模型进行校核，检查出了模型的不足之处，为该行为模型后续的修改和完善工作提供了依据。