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