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

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

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