仿真模型的验证是指检验（）模型和（）系统是否一致。

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

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

系统模型根据描述变量的函数关系可以分类为（）模型和（）模型。

填空题系统模型根据描述变量的函数关系可以分类为（）模型和（）模型。

静态模型的数学表达形式一般是（）方程和逻辑关系表达式等，而动态模型的数学表达形式一般是（）方程和（）方程。

填空题静态模型的数学表达形式一般是（）方程和逻辑关系表达式等，而动态模型的数学表达形式一般是（）方程和（）方程。