检查动态上限
检查一个信号总是大于另一个信号
Library
模型验证
描述
检查动态上限块检查参考信号的振幅是否大于当前时间步骤的测试信号的振幅。测试信号是连接到标记的输入的信号信号。If the verification condition is true, the block does nothing. If not, the block halts the simulation, by default, and displays an error message.
检查动态上限块及其在模型验证库中的伴随块旨在促进创建自validate模型。例如，您可以使用模型验证块来测试信号在模拟过程中不超过指定限制。当您满足模型是正确的时，可以通过禁用验证块来关闭错误检查。您不必将它们从模型中删除。如果您需要修改模型，则可以暂时打开验证块，以确保更改不会破坏模型。
笔记
For information about how万博1manbetx®CODER™生成的代码处理模型验证块，请参阅Debug（万博1manbetxSimulink编码器）。
Data Type Support
检查动态上限块接受任何尺寸的输入信号以及模拟支持的任何数字数据类型的输入信号。万博1manbetx万博1manbetx测试和参考信号必须具有相同的维度和数据类型。如果输入是非量表，则块将输入测试信号的每个元素与参考信号的相应元素进行比较。
有关更多信息，请参阅Simulink支持的万博1manbetx数据类型万博1manbetx在Simuli万博1manbetxnk文档中。
参数
- 启用断言
-
Clearing this check box disables the Check Dynamic Upper Bound block, that is, causes the model to behave as if the block did not exist. The模型验证block enabling在“配置参数”对话框中的设置允许您在模型中启用或禁用所有模型验证块，包括检查动态上限块，无论此选项的设置如何。
- Simulation callback when assertion fails
-
指定MATLAB®表达式评估何时断言失败。因为在MATLAB工作区中评估了表达式，因此定义了该工作空间中表达式中使用的所有变量。
- 断言失败时停止模拟
-
选择此复选框会导致检查动态上限块在块的输出为零时停止模拟，并且Simulink软件显示错误。万博1manbetx否则，Simulink软件会显万博1manbetx示警告并继续模拟。
- 输出断言信号
-
选择此复选框使检查动态Upper Bound block to output a Boolean signal that is true (
1）在每个时间步骤中，如果断言成功并且是错误的（0）如果断言失败。输出信号的数据类型为布尔如果您选择了实施逻辑信号作为布尔数据check box on the Configuration Parameters dialog box. Otherwise the data type of the output signal is双倍的。 - 选择图标类型
-
指定用于在框图中显示此块的图标类型：要么
形象的or文本。这形象的选项显示图标上断言条件的图形表示。这文本选项显示代表断言条件的数学表达式。如果图标太小而无法显示表达式，则文本图标将显示一个感叹号。要查看表达式，请放大块。
特征
数据类型 |
双|单|布尔|基础整数|定点|枚举 |
采样时间 |
从驾驶块继承 |
Direct Feedthrough |
No |
多维信号 |
是的 |
可变大小信号 |
No |
零交叉检测 |
No |
代码生成 |
是的 |
Introduced before R2006a
您还可以从以下列表中选择一个网站：
美洲
- América Latina(Español)
- 加拿大（英语）
- 美国（英语）
