仿真模型的校核是指检验（）模型和（）模型是否一致。