仿真结果与试验数据的一致性研究

给出了判断作战仿真结果与战史数据是否一致的参考准则，及通过仿真结果和试验数据的比较判断仿真模型有效性的方法。

基于UML的作战仿真VV&A过程形式化建模

可信性是作战仿真的生命线,对作战仿真的全生命周期进行校核、验证与确认(Verification,ValidationandAccreditation,VV&A)是确保其可信性的重要途径。建立合适的VV&A过程形式化模型是开展作战仿真VV&A过程研究的前提和基础。基于统一建模语言(Unified Modeling Language,UML)分别从用例、静态结构、动态行为及交互等方面对VV&A过程进行形式化建模,建立了作战仿真VV&A过程的用例、类图、活动图及顺序图模型,并给出相应的形式化定义。实践表明:作战仿真VV&A过程形式化建模可以使VV&A的描述规范化、标准化及形式化,便于不同领域人员的相互沟通与交流,以及VV&A工程化应用,促进了VV&A工作顺利开展。