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

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

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

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

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

采用一定比例按照真实系统的样子制作的模型称为（），用数学表达式来描述系统内在规律的模型称为（）。

填空题采用一定比例按照真实系统的样子制作的模型称为（），用数学表达式来描述系统内在规律的模型称为（）。