论文部分内容阅读
首先，阐述了模型校核的意义和作用。对属于模型校核范畴的仿真中的系统状态不连贯问题的基本概念通过乒乓球的下落和反舰导弹攻击目标舰艇的例子进行了说明。介绍了已有的解决系统状态不连贯问题的三种方法，并进行了优、缺点分析。给出了反舰导弹仿真中的目标命中判断模型。指出反舰导弹仿真中的目标命中判断问题是一个系统状态不连贯问题。为解决该问题，提出并应用了一种新方法_预测法。利用预测法，最多进行两步最小步长仿真，就能够以要求的精确度检测到任何一个系统状态不连贯。相对于以前的三种方法，在提高仿真效率的同时，预测法还能够避免