Matlab simulink建模与仿真 第九章（模型校验库）

参考视频：simulink1.1simulink简介_哔哩哔哩_bilibili

一、模型校验库中的模块概览

二、动静态校验模块

1、Check Static Lower Bound静态下限校验模块和Check Dynamic Lower Bound动态下限校验模块

（1）使用下限校验模块需要设置检测下限，这个下限可以从外部输入（对应动态下限校验模块），也可以在模块中配置（对应静态下限校验模块）。

（2）静态下限校验模块功能介绍：

①可选择是否包含边界，如果选择包含边界，当输入信号大于等于下限时，仿真能够正常进行，当输入信号小于下限时，仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

（3）动态下限校验模块功能介绍：

①固定选择包含边界，当输入信号大于等于下限时，仿真能够正常进行，当输入信号小于下限时，仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

2、Check Static Upper Bound静态上限校验模块和Check Dynamic Upper Bound动态上限校验模块

（1）使用上限校验模块需要设置检测上限，这个上限可以从外部输入（对应动态上限校验模块），也可以在模块中配置（对应静态上限校验模块）。

（2）静态上限校验模块功能介绍：

①可选择是否包含边界，如果选择包含边界，当输入信号小于等于上限时，仿真能够正常进行，当输入信号大于上限时，仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

（3）动态上限校验模块功能介绍：

①固定选择包含边界，当输入信号小于等于上限时，仿真能够正常进行，当输入信号大于上限时，仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

3、Check Static Range静态范围校验模块和Check Dynamic  Range动态范围校验模块

（1）使用范围校验模块需要设置检测上限和检测下限，它们均可以从外部输入（对应动态范围校验模块），也可以在模块中配置（对应静态范围校验模块）。

（2）静态范围校验模块功能介绍：

①可选择是否包含边界，如果选择包含边界，那么允许区间为闭区间，当输入信号落在闭区间内时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

（3）动态范围校验模块功能介绍：

①固定选择包含边界，当输入信号落在闭区间内时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

4、Check Static Gap静态界限校验模块和Check Dynamic Gap动态界限校验模块

（1）使用界限校验模块需要设置检测上限和检测下限，它们均可以从外部输入（对应动态范围校验模块），也可以在模块中配置（对应静态范围校验模块）。

（2）静态界限校验模块功能介绍：

①可选择是否包含边界，如果选择包含边界，那么禁止区间为闭区间，当输入信号落在闭区间外时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

（3）动态界限校验模块功能介绍：

①固定选择包含边界，当输入信号落在闭区间外时，仿真能够正常进行，否则仿真能否继续进行将取决其它选项。

②如果勾选了“Enable assertion”，模块的校验功能将会被激活，在此基础上如果勾选了“Stop simulation when assertion fails”，仿真将会终止并输出错误信息，错误信息可在模块配置框中进行配置。

③可以选择是否输出校验信号，当输入没有越界时，校验信号为逻辑真，否则为逻辑假。

三、其余校验模块

1、Assertion断言模块

（1）当输入的信号不含零值时，该模块认为校验通过，否则校验不通过（对于矩阵或者总线信号，只要其中含零值，校验也会不通过）。

（2）可以选择是否开启校验。

2、Check Discrete Gradient离散梯度校验模块

（1）对于输入信号，如果两个相邻采样点差值的绝对值小于设定的上限（最大梯度），则离散梯度校验模块认为校验通过，否则校验不通过。

（2）下例中离散梯度校验模块的最大梯度设置为0.5，方波的幅值为1，方波跳变时，其前后两个采样点差值的绝对值大于设定的上限，离散梯度校验模块输出逻辑假，其余时刻均输出逻辑真。

（3）需要注意的是，该模块的仿真求解器需要是离散的，且仿真步长也是固定的。

 

3、Check Input Resolution输入分辨率校验模块

（1）该模块的作用是校验输入信号具有指定的分辨率，如果分辨率是标量，则输入信号必须在10e-3容差内是分辨率的倍数，如果分辨率是向量，则输入信号必须等于分辨率向量的任一元素，否则均无法通过校验。

（2）下例中前两个输入分辨率校验模块的分辨率如上图所示，第三个输入分辨率校验模块的分辨率为12/(2^8-1)。