检查信号是否小于(或等于)静态上界
模型验证
Check Static Upper Bound块检查输入信号的每个元素在当前时间步长是否小于(或等于)指定的上界。使用块参数对话框指定上限的值,以及该上限是否包含在内。如果验证条件为真,则块不执行任何操作。如果不是,默认情况下,该块将停止模拟,并显示错误消息。
Check Static Upper Bound块及其在Model Verification库中的同伴块旨在促进自验证模型的创建。例如,您可以使用模型验证块来测试在模拟过程中信号没有超过指定的限制。当您对模型的正确性感到满意时,您可以通过禁用验证块来关闭错误检查。您不必从模型中删除它们。如果您需要修改模型,您可以暂时打开验证块,以确保您的更改不会破坏模型。
有关如何万博1manbetx®编码器™生成的代码处理模型验证块,请参见调试(万博1manbetx仿真软件编码器)。
Check Static Upper Bound块接受Simulink支持的任何维度和任何数值数据类型的输入信号。万博1manbetx万博1manbetx
有关更多信息,请参见Simulink支持的万博1manbetx数据类型万博1manbetx在Simuli万博1manbetxnk文档中。
指定输入信号振幅范围的上界。
选中此复选框将使有效输入幅值的范围包括上界。
清除此复选框将禁用“检查静态上限”块,也就是说,将使模型表现得好像该块不存在一样。的模型验证块启用“配置参数”对话框中的“设置”允许您启用或禁用模型中的所有模型验证块,包括“检查静态上限”块,无论该选项的设置如何。
指定一个MATLAB®表达式在断言失败时求值。因为表达式是在MATLAB工作空间中求值的,所以在该工作空间中定义表达式中使用的所有变量。
选中此复选框会导致“检查静态上限”块在块的输出为零且Simulink软件显示错误时停止模拟。万博1manbetx否则,Simulink软件将显万博1manbetx示警告并继续模拟。
选中此复选框将导致“检查静态上限”块输出一个为true的布尔信号(1
),如果断言成功且为false (0
)如果断言失败。输出信号的数据类型为布尔
如果您已选择将逻辑信号实现为布尔数据在“配置参数”对话框中选择。否则输出信号的数据类型为双
.
指定用于在框图中显示此块的图标类型:either图形
或文本
.的图形
选项在图标上显示断言条件的图形表示形式。的文本
选项显示表示断言条件的数学表达式。如果图标太小而无法显示表达式,则文本图标将显示感叹号。要查看表达式,请放大块。
数据类型 |
Double | Single | Boolean | Base Integer | Fixed-Point |枚举值 |
样品时间 |
继承自驱动块 |
直接引线 |
没有 |
多维信号 |
是的 |
适应信号 |
没有 |
讨论二阶导数过零检测 |
没有 |
代码生成 |
是的 |