库
Model Verification

描述

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

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

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

数据类型支持

Check Static UpperBound块接受Simulink支持的任何维度和任何数字数据类型的输入信号。

见Data Types Supported by Simulink

参数对话框

Upper bound
指定振幅的范围内，输入信号可以具有上限。

Inclusive boundary
选中此复选框，使得有效的输入幅度的范围包括上限。

Enable assertion
清除此复选框禁用 Check Static Upper Bound块，即，使模型表现得好像该块是不存在的。