检查自定义范围
在模拟过程中检查模型信号是否满足边界
- 图书馆：
万博1manbetxSimulink设计优化/模型验证
万博1manbetxSimulink设计优化/信号约束
描述
在模拟过程中，检查信号是否满足指定的上下限。
如果信号满足所有边界，则块不执行任何操作。
如果信号不满足界限，MATLAB中将显示一条警告消息®命令窗口。还可以指定块：
计算一个MATLAB表达式。
停止模拟并返回一个错误消息。
在模拟过程中，块也可以返回一个逻辑断言信号。
如果信号满足所有边界，则断言信号为true(
1.)．如果信号不满足边界，则断言信号为假(
0)．
使用block，你可以创建:
只有一条边的单键
具有多条边的单个边界
多重界限
您可以添加检查自定义范围块到多个信号，以检查它们是否满足边界。您还可以在时间图上绘制边界，以图形方式验证信号是否满足边界。
此块和模型验证库中的其他块测试信号是否保持在指定的时域特征边界内。当模型没有违反任何界限时，您可以通过清除断言选项来禁用该块。如果您修改了模型，您可以重新启用断言，以确保您的更改不会导致模型违反某个界限。
如果信号不满足边界，可以优化模型参数以满足边界。如果你有万博1manbetx®控制设计™软件，您可以添加频域边界，如波德幅度，并优化模型响应，以满足时域和频域的要求。
该模块可用于所有模拟模式的信号监测，但仅在正常的或加速器响应优化的模拟模式。
港口
输入
输出
参数
展示图-打开绘图窗口
按钮
使用绘图查看以下内容。
模拟期间计算的系统特性和信号-在模拟模型之前单击此按钮以查看系统特性或信号。
通过右键单击绘图并选择，可以显示其他特征，例如峰值响应时间特征．
边界-您可以在上指定边界界限选项卡或右键单击绘图并选择界限>新界．
可以通过拖动绑定段或右键单击绘图并选择来修改边界界限>编辑绑定．在模拟模型之前，单击更新块更新块参数中的绑定值。
在情节窗口中执行的典型任务包括:
通过单击打开“块参数”对话框
或选择编辑．通过单击找到绘图窗口对应的块
或选择视图>突出模型块万博1manbetx. 此操作将激活“模型”窗口并高亮显示块。通过单击来模拟模型
. 该动作还将指定线性化输入和输出之间的模型部分线性化。通过点击在线性系统特征图上添加图例
．
显示地块上的开放—双击“block”打开plot
从(默认)|在
双击Simulink模型中的块时，打开打印窗口而不是块参数。万博1manbetx
如果您希望在绘图窗口中打开并执行任务(例如添加或修改边界)，而不是使用块参数，则可以使用此参数。如果您想从绘图窗口访问块参数，请选择编辑或者点击
．
有关情节的更多信息，请参见展示图参数。
程序化使用
参数:LaunchViewOnOpen |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“关闭” |
响应优化-开放响应优化器
按钮
范围选项卡
在断言中包含上限-检查信号是否满足上限
在(默认)|从
检查信号是否小于或等于上限，即上限次和振幅，在模拟期间。如果信号违反上限，软件将显示警告。
边界也出现在时间图上。
当禁用此参数时，软件将在模拟过程中停止检查输入信号是否满足上限。捆绑的片段在情节上也是灰色的。
仅查看边界和图上的输入信号，清除启用断言．
依赖关系
要使用此参数，请在断言选项卡上,选择启用断言．如果你清楚启用断言，软件不使用界限的断言，但他们继续出现在情节。
程序化使用
参数:启用上限 |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“开” |
次-上界时间向量
[0 5;5 10](默认)|双元素向量|双列矩阵|细胞阵列
一个或多个上限段的时间向量，以秒为单位指定。
在中指定相应的振幅值振幅．
要指定具有一条边的单个边界，请使用两元素向量。向量的形式必须为[T开始T终止],在那里T开始和T终止正有限数是多少T开始<T终止．
例如，要在0到10秒的时间间隔内创建振幅为1.2的单个上限，请指定
10 [0]对于次和[1.2 1.2]对于振幅．
要指定具有多条边的单个边界，请使用两列矩阵。矩阵的形式必须为[T1.T2.;T2.T3.,……;TNTn + 1],在那里N为边界内的边数。具有多条边的单一边界是分段连续的，因此指定时间间隔，使下一条边在前一条边结束的同时开始。
例如，要在0–5秒和5–10秒的时间内创建具有两条边且振幅分别为1.2和1的单个边界，请指定
[0 5;5 10]对于次和(1.2 - 1.2; 1 - 1)对于振幅．
若要指定多个边界，请使用由两元素向量、两列矩阵或两者组成的单元格数组。也就是说，使用有几个单一边界的单元格数组。
例如，要在0-4和6-10秒的时间内分别创建振幅为1.2和1的两个边界，请指定
{[0 4] [6 10]}对于次和{[1.2 1.2] [1 1]}对于振幅．
您可以从绘图窗口添加或修改开始和结束时间。
要添加新的时间矢量，右键单击图上的黄色区域并选择编辑．点击插入将新行添加到Edit Bound对话框。属性中指定新绑定段的开始和结束时间时间列。在中指定相应的振幅振幅列。
若要修改起始和结束时间，请拖动绑定的段。或者，右键单击段并选择编辑. 在列表中指定新时间时间列。
点击更新块在模拟模型之前。
要检查输入信号是否满足与上限时间向量对应的振幅，请选择两者在断言中包含上限和启用断言．
程序化使用
参数:UpperBoundTimes |
| 类型：特征向量 |
| 值:双元载体|双列矩阵|细胞阵列 |
违约：[0 5;5 10] |
振幅-振幅上限
[1.1 - 1.1;1.01 - 1.01)(默认)|双元素向量|双列矩阵|细胞阵列
一个或多个上限段的振幅值。
中指定相应的开始和结束时间次．
要指定具有一条边的单个边界，请使用两元素向量。向量的形式必须为[A.1.A.2.],在那里A.1.和A.2.为时间矢量相应边的振幅界限。对于在整个时间间隔内的恒定振幅，使用A.1.=A.2.．
例如，要在0到10秒的时间间隔内创建振幅为1.2的单个上限，请指定
10 [0]对于次和[1.2 1.2]对于振幅．要指定具有多条边的单个边界，请使用两列矩阵。矩阵的形式必须为[A.1.B1.,……;A.NBN],在那里N为边界内的边数。对于在整个时间间隔内的恒定振幅，使用A.K=BK,在那里K= 1,…,N
例如，要在0–5秒和5–10秒的时间内创建具有两条边且振幅分别为1.2和1的单个边界，请指定
[0 5;5 10]对于次和(1.2 - 1.2; 1 - 1)对于振幅．若要指定多个边界，请使用由两元素向量、两列矩阵或两者组成的单元格数组。也就是说，使用有几个单一边界的单元格数组。
例如，要在0-4和6-10秒的时间内分别创建振幅为1.2和1的两个边界，请指定
{[0 4] [6 10]}对于次和{[1.2 1.2] [1 1]}对于振幅．
您可以从绘图窗口添加或修改振幅。
要添加新的振幅，右键单击图并选择编辑．点击插入将新行添加到Edit Bound对话框。属性中指定新绑定段的起始和结束振幅振幅列。中指定相应的开始和结束时间时间列。
若要修改起始和结束振幅，请拖动绑定段。或者，右键单击段并选择编辑. 在中指定新振幅振幅列。
点击更新块在模拟模型之前。
为了检查输入信号是否满足振幅上限，两者都要选择在断言中包含上限和启用断言．
程序化使用
参数:UpperBoundAmplitudes |
| 类型：特征向量 |
| 值:双元载体|双列矩阵|细胞阵列 |
违约：[1.1 - 1.1;1.01 - 1.01) |
在断言中包含下界—检查信号是否满足下限
从(默认)|在
检查信号是否大于或等于下界，在下界中指定次和振幅，在模拟过程中。如果信号违反下限，软件将显示警告。
边界也出现在时间图上。
当此参数被禁用时，下界将被禁用，软件将在模拟过程中停止检查下界是否满足。装订的片段在情节上也是灰色的。
仅查看边界和图上的输入信号，清除启用断言．
依赖关系
要使用此参数，请在断言选项卡上,选择启用断言．如果你清楚启用断言，软件不使用界限的断言，但他们继续出现在情节。
程序化使用
参数:EnableLowerBound |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“关闭” |
次-下界时间向量
［］(默认)|双元素向量|双列矩阵|细胞阵列
一个或多个下界段的时间向量，以秒为单位。
在中指定相应的振幅值振幅．
要指定具有一条边的单个边界，请使用两元素向量。向量的形式必须为[T开始T终止],在那里T开始和T终止正有限数是多少T开始<T终止．
例如，要在0到10秒的时间间隔内创建振幅为0.8的单个下限，请指定
10 [0]对于次和[0.8 0.8]对于振幅．
要指定具有多条边的单个边界，请使用两列矩阵。矩阵的形式必须为[T1.T2.;T2.T3.,……;TNTn + 1],在那里N为边界内的边数。带有多个边的单一边界是分段连续的，指定时间间隔，使下一个边在前一个边结束的同时开始。
例如，要创建一个在0-5和5-10秒时间内具有两条边且振幅分别为0.8和0.98的单一边界，请指定
[0 5;5 10]对于次和[0.8 0.8;0.98 0.98]对于振幅．
若要指定多个边界，请使用由两元素向量、两列矩阵或两者组成的单元格数组。也就是说，使用有几个单一边界的单元格数组。
例如，要在0-4和6-10秒的时间内分别创建振幅为0.8和0.98的两个边界，请指定
{[0 4] [6 10]}对于次和{[0.8 0.8] [0.98 0.98]}对于振幅．
您可以从绘图窗口添加或修改开始和结束时间。
要添加新的时间矢量，右键单击图上的黄色区域并选择编辑．点击插入将新行添加到Edit Bound对话框。属性中指定新绑定段的开始和结束时间时间列。在中指定相应的振幅振幅列。
若要修改起始和结束时间，请拖动绑定的段。或者，右键单击段并选择编辑. 在列表中指定新时间时间列。
点击更新块在模拟模型之前。
为了检查输入信号是否满足与时间向量下界对应的振幅，选择两者在断言中包含下界和启用断言．
程序化使用
参数:LowerBoundTimes |
| 类型：特征向量 |
| 值:双元载体|双列矩阵|细胞阵列 |
违约：［］ |
振幅-振幅下限
［］(默认)|双元素向量|双列矩阵|细胞阵列
一个或多个下界段的振幅值。
中指定相应的开始和结束时间次．
要指定具有一条边的单个边界，请使用两元素向量。向量的形式必须为[A.1.A.2.],在那里A.1.和A.2.为时间矢量相应边的振幅界限。对于在整个时间间隔内的恒定振幅，使用A.1.=A.2.．
例如，要在0到10秒的时间间隔内创建振幅为0.8的单个下限，请指定
10 [0]对于次和[0.8 0.8]对于振幅．要指定具有多条边的单个边界，请使用两列矩阵。矩阵的形式必须为[A.1.B1.,……;A.NBN],在那里N为边界内的边数。对于在整个时间间隔内的恒定振幅，使用A.K=BK,在那里K= 1,…,N
例如，要创建一个在0-5和5-10秒时间内具有两条边且振幅分别为0.8和0.98的单一边界，请指定
[0 5;5 10]对于次和[0.8 0.8;0.98 0.98]对于振幅．若要指定多个边界，请使用由两元素向量、两列矩阵或两者组成的单元格数组。也就是说，使用有几个单一边界的单元格数组。
例如，要在0-4和6-10秒的时间内分别创建振幅为0.8和0.98的两个边界，请指定
{[0 4] [6 10]}对于次和{[0.8 0.8] [0.98 0.98]}对于振幅．
您可以从绘图窗口添加或修改振幅。
要添加新的振幅，右键单击图并选择编辑．点击插入将新行添加到Edit Bound对话框。属性中指定新绑定段的起始和结束振幅振幅列。中指定相应的开始和结束时间时间列。
若要修改起始和结束振幅，请拖动绑定段。或者，右键单击段并选择编辑. 在中指定新振幅振幅列。
点击更新块在模拟模型之前。
为了检查输入信号是否满足较低的振幅界限，两者都要选择在断言中包含下界和启用断言．
程序化使用
参数:下限振幅 |
| 类型：特征向量 |
| 值:双元载体|双列矩阵|细胞阵列 |
违约：［］ |
使讨论二阶导数过零检测-在边界边评估模型
在(默认)|从
确保软件模拟模型，在边界边产生输出。在边界边模拟模型可以防止模拟求解器丢失信号在其边界满足该边界的断言。
有关更多信息，请参见过零检测．
程序化使用
参数:ZeroCross |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“开” |
断言选项卡
启用断言—启用或禁用检查
在(默认)|从
属性上的断言所指定和包含的边界界限在仿真过程中满足TAB。如果未满足边界，则断言失败。在MATLAB提示符中出现一个报告断言失败的警告。
如果断言失败，您可以选择指定块：
执行中指定的MATLAB表达式断言失败时的模拟回调(可选)．
通过选择停止模拟并返回错误消息断言失败时停止模拟．
如果未指定任何边界，则此参数无效。
禁用此参数时，块不再检查输入信号是否满足指定的边界。块图标也会更新，以指示已禁用断言。
在Simuli万博1manbetxnk模型中，在配置参数中启用模型验证块参数使您可以启用或禁用模型中的所有模型验证块，而不管该块中此选项的设置如何。
程序化使用
参数:启用 |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“开” |
断言失败时的模拟回调(可选)-断言失败时要计算的表达式
''(默认)| MATLAB表达式
当断言失败时执行的MATLAB表达式。
因为表达式是在MATLAB工作空间中求值的，所以首先在工作空间中定义表达式中使用的所有变量。
依赖关系
要启用此参数，请选择启用断言．
程序化使用
参数:回调 |
| 类型：特征向量 |
| 值:MATLAB的表情 |
违约：'' |
断言失败时停止模拟-当断言失败时停止模拟
从(默认)|在
当信号违反上指定的界限时停止模拟界限选项卡，即在断言失败时。
如果从Simulink模型窗口运行模拟，则会打开simulatio万博1manbetxn Diagnostics窗口，显示一条错误消息。发生边界冲突的块在模型中高亮显示。
因为选择此选项会在断言失败时立即停止模拟，所以软件不会报告稍后在模拟过程中可能发生的断言失败。如果你想报告的话所有断言失败，不要选择此选项。
依赖关系
要启用此参数，请选择启用断言．
程序化使用
参数:stopWhenAssertionFail |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“关闭” |
断言输出信号-创建输出信号
从(默认)|在
输出一个布尔信号，在每个时间步长为:
真正的(
1.)，即输入信号满足所有边界False (
0)，即输入信号违反了一个界限
默认情况下，输出信号的数据类型为double。要将在Simulink模型中生成逻辑信号的所有块的输出数据类型设置为布尔值，请在配置参数中选择将逻辑信号实现为布尔值。万博1manbetx
选择此参数将向块添加一个输出端口，您可以将其连接到模型中的任何块。
使用此参数设计复杂的断言逻辑。例如，请参见使用Simulink控制设计和Simu万博1manbetxlink验证模块验证模型（万博1manbetxSimulink控制设计）．
程序化使用
参数:出口 |
| 类型：特征向量 |
值:“开”|“关闭” |
违约：“关闭” |
扩展功能
你也可以从以下列表中选择一个网站:
