参考答案：

1）校核（verification）

就是考查模型是否按照预先设想的情况运行，是否按照设计的概念模型运行，通俗地讲就是找出模型中的各种语法及逻辑错误，类似于调试。

2）常用的校核方法有：

每建立模型的一个部分，就立刻检验该部分的运行是否正常，以减少以后模型变得过大时检验的复杂性。

用常量替换随机性的模型数据，消除模型中的不确定因素，然后运行模型考查其运行和输出是否符合你的预期。

输出详细的报告或追踪记录，检查是否符合你的预期。每次只让一种类型的实体进入系统，然后跟踪它，以确定模型的逻辑和数据是否正确。

将资源数目减少为1或0，看会发生什么。

生成极少的实体或极多的实体，测试极端条件下模型运行和输出是否正常。

生成动画，并观察动画运行是否正常。

3）模型验证（validation）

考查模型的行为是否与真实系统运行一致。

4）验证模型的一般方法

收集实际系统的数据输入模型，然后将模型运行的结果和实际系统的结果进行对比，看看是否相符

如果有动画，用户也会通过动画进行部分验证工作。