Check Static Upper Bound

检查信号是否小于（或等于）静态上界。

类型: SubSystem

图书馆中的路径:

/Basic/Additional/Verification/Check Static Upper Bound

资料描述

座 Check Static Upper Bound 在每个时间步检查输入信号是否小于指定的上界（或者，如果需要，等于它），并在比较后执行语句。参数 Upper bound 定义上限。如果输入信号小于上界，则语句取值 真(1) 块什么也不做。否则，该块将停止模拟，并默认返回错误消息。

输入信号和边界可以是标量、矢量或矩阵。输入信号和边界必须具有相同的数据类型。块根据信号以不同的方式将输入信号的值与边界进行比较:

当将标量与向量或矩阵进行比较时，该块将标量与非标量输入信号或边界的每个元素进行比较。
当将矢量或矩阵输入信号与矢量或矩阵边界进行比较时，该块逐元素地将输入信号与边界进行比较。
对于具有输入信号和边界（即矢量或矩阵）的模型，输入信号和边界必须具有相同的维度。

港口

输入

# u — 检查是否符合上限的输入信号
标量,标量 | 向量资料 | 矩阵

Details

检查是否符合参数设置的上限的输入信号 Upper bound .

数据类型	`漂浮物32` \| `漂浮64` \| `Int8` \| `Int16` \| `Int32` \| `Int64` \| `UInt8` \| `UInt16` \| `UInt32` \| `UInt64` \| `布尔` \| `固定`
复数支持	非也。

参数

Parameters

# Upper bound — 上限的值

Details

指定输入信号可以具有的幅度范围的上限。

默认值	`0.0`
程序使用名称	`max`
可调谐	无
可计算	是

# Inclusive boundary — 范围内包括上限

Details

选择此选项，以便可接受的输入幅度范围包括上限。

默认值	`true (已开启)`
程序使用名称	`max_included`
可调谐	无
可计算	是

# Enable assertion — 启用或禁用验证

Details

如果未选中此选项，则该块被禁用，模型不会将其考虑在内。

默认值	`true (已开启)`
程序使用名称	`enabled`
可调谐	无
可计算	是

# Simulation callback when assertion fails(optional) — 当断言失败时要计算的表达式

Details

指定语句失败时要计算的表达式。由于表达式是在工作区中求值的，因此在此工作区中定义表达式中使用的所有变量。

默认值	`—`
程序使用名称	`callback`
可调谐	无
可计算	是

# Stop simulation when assertion fails — 如果验证失败，则停止模拟

Details

如果验证失败，请选中此框以停止模拟。取消选中此框以显示警告并继续模拟。

默认值	`true (已开启)`
程序使用名称	`stopWhenAssertionFails`
可调谐	无
可计算	是

# Select Icon Type — 块图标样式
graphic | text

Details

指定块图标的样式。如果值设置为 graphic，然后该图标显示批准条件的图形表示。如果值设置为 text，然后图标显示表示语句条件的数学表达式。

值	`graphic` \| `text`
默认值	`graphic`
程序使用名称	`icon`
可调谐	无
可计算	是