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

【作 者】： 邱杰

【摘 要】 阐述了模型校核的意义和作用。对模型校核问题进行了研究。对属于模型校核范畴的仿真中的系统状态不连贯问题的基本概念、产生原因、存在和表现形式进行了说明。指出，解决系统状态不连贯问题的关键是以要求的精确度检测到系统状态不连贯的发生。分析了已有的解决系统状态不连贯问题的三种方法，并进行了优、缺点分析。提出了一种新方法一预测法。利用上述方法，最多进行两步最小步长仿真，就能够以要求的精确度检测到任何一个系统状态不连贯。针对系统状态不连贯问题的两个实例，具体应用了预测法。