库
Model Verification

描述

Check Static Gap块检查输入信号的每一个元素小于（或任选等于）一个静态的下限或大于（或任选等于）在当前时间步骤中的静态上限。如果验证情况是真的，块什么也不做。如果不是，块停止模拟，默认情况下，显示一个错误消息。
Check Static Gap块和及其配套的块模型验证库，旨在促进建立自我验证模型。例如，您可以使用模型验证模块测试信号在模拟过程中不超过规定的范围内。当您满意，模型是正确的，你可以让错误检查通过禁用核查块。你不必物理上从模型中取出。如果您需要修改模型，你可以暂时关闭验证块，以确保您的更改不会破坏模型。

注意:对于有关的Simulink®编码器生成的代码如何处理模型验证块的信息，请参阅Debug

数据类型支持
Check Static Gap块接受Simulink支持的任何维度和任何数字数据类型的输入信号。
见 Data Types Supported by Simulink

参数对话框

Upper bound
指定输入信号的振幅范围间隙的上界。

Inclusive upperbound
选中此复选框指定的间隙包括上限。

Lower bound
指定输入信号的振幅范围间隙的下限。

Inclusive lowerbound
选中此复选框指定的间隙包括下界。

Enable assertion
清除此复选框禁用Check Static Gap块，即该模型如同块是不存在的。Model Verificationblock enabling设置Debugging下 在DataValidity诊断窗格中的配置参数对话框，允许您启用或禁用所有模型中的模型验证块，包括Check Static Gap块，不管此选项的设置。

Simulation callbackwhen assertion fails
指定一个MATLAB®的表达式，以计算时诊断失败。由于表达式求值在MATLAB工作空间，定义该工作区中的表达中使用的所有变量。

Stop simulationwhen assertion fails
选择该复选框会导致Check Static Gap块输出是零时停止模拟功能块，在模拟诊断浏览器中显示的错误消息。否则，块在MATLAB命令窗口中显示一条警告消息，并继续模拟。