2.4.7　其他方程

2.4.7　其他方程

2.4.7.1　assert

assert是模型检查和校验的一种手段，其语法结构为：

当条件为true时，对模型仿真没有影响；当条件为false时，模型仿真程序输出指定的消息字符串之后退出。例如：

2.4.7.2　terminate

terminate正常结束仿真程序。例如，仿真结果已达到预期目标，或不再需要进行计算时，就可以使用terminate。其语法结构为：

其中，消息字符串参数提示仿真结束的原因。

2.4.7.3　reinit

reinit用于重新初始化状态变量（应用了der（）的变量），只能用在when方程（语句）中。其语法结构为：

其中，x是状态变量，expr是状态变量新的初始值。同一个状态变量只能在一个方程中使用reinit，例如2.3节中的弹跳小球模型。