作战仿真想定有效性验证方法研究

Research on Validation of Military Simulation Scenario

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

Research how to verify the validation of military simulation scenario. Usually, simulation scenario which is used to drive the battle simulation system contains some errors inevitably. These errors can be divided into simple ones and logic ones. And these errors can lead to ineffectiveness and lower credibility of battle simulation. Aimed to this problem, a prior verification method was provided. On the basis of standardized description of simulation scenario, simple errors can be solved by XML Schema technology, and for the logic errors, this paper classed and described the items logically, then introduced expert knowledge and used rule - based validation method to verify it. A prototype system was designed. Experiments show that the method in this paper is feasible.