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

摘要：

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

关键词：仿真想定、有效性验证、领域规则、逻辑推理

所属期刊栏目：30

分类号：TP391(计算技术、计算机技术)

在线出版日期：2013-04-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：26-29,96