【出 处】：《 计算机仿真 》 CSCD 2013年第30卷第2期 26-29页,共5页

【作 者】： 行舟 ; 郝建国 ; 黄柯棣

【摘 要】 研究作战仿真想定的有效性验证问题。针对人工编制的仿真想定中不可避免地会带有错误，包括简单数据错误和深层逻辑矛盾，导致仿真运行的无效性和低可信度。为解决上述问题，提出了一种对仿真想定进行事前验证的方法。在仿真想定规范化描述的基础上，对简单数据错误采用XMLSchema技术进行验证，对想定中可能蕴含的逻辑错误，首先对需要验证的问题进行分类和逻辑描述，然后引入专家知识，采用逻辑推理的方式进行验证。设计了仿真想定验证的原型系统，实验表明，经过事前验证可以大大减少仿真系统运行的次数，对作战仿真的效率和可信度都有提高。