请检查该信号是大于（或等于）静态下界

库
Model Verification

描述

Check Static LowerBound 块检查的输入信号的每一个元素是大于（或任选等于）指定的下限在当前时间步骤。使用块参数“对话框中指定值的下限是否是包容下界。如果验证情况是真的，块什么也不做。如果不是，块停止模拟，默认情况下，显示一个错误消息

Check Static LowerBound块和及其配套的块模型验证库，旨在促进建立自我验证模型。例如，在模拟过程中，您可以使用模型验证模块测试信号不超过规定的范围内。当您满意，模型是正确的，你可以把错误检查通过禁用核查块。你不必物理上从模型中取出。如果您需要修改模型，你可以暂时关闭验证块，以确保您的更改不会破坏模型。

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

数据类型支持

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

参数对话框

Lower bound
指定振幅的范围内，输入信号可以具有下界。

Inclusive boundary
选中此复选框，使得有效的输入幅度的范围包括下界。
Enable assertion

Enable assertion
清除此复选框禁用 Check StaticLower Bound块，即，使模型表现好像该块是不存在的。Model Verificationblock enabling设置Debugging下在Data Validity诊断窗格中的配置参数对话框，允许您启用或禁用所有模型中的模型验证块，包括Check Static LowerBound 块，此选项的设置无关。

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