[简答题]简述模型校核与验证的概念及常用方法。

参考答案: 1）校核（verification）
就是考查模型是否按照预先设想的情况运行，是否按照设计的概念模型运行，通俗地讲就是找出模型中的各种语法及逻辑错误，类似于调试。
2）常用的校核方法有：
每建立模型的一个部分，就立刻检验该部分的运行是否正常，以减少以后模型变得过大时检验的复杂性。
用常量替换随机性的模型数据，消除模型中的不确定因素，然后运行模型考查其运行和输出是否符合你的预期。
输出详细的报告或追踪记录，检查是否符合你的预期。每次只让一种类型的实体进入系统，然后跟踪它，以确定模型的逻辑和数据是否正确。
将资源数目减少为1或0，看会发生什么。
生成极少的实体或极多的实体，测试极端条件下模型运行和输出是否正常。
生成动画，并观察动画运行是否正常。
3）模型验证（validation）
考查模型的行为是否与真实系统运行一致。
4）验证模型的一般方法
收集实际系统的数据输入模型，然后将模型运行的结果和实际系统的结果进行对比，看看是否相符
如果有动画，用户也会通过动画进行部分验证工作。