主要内容

Check Dynamic Upper Bound

Check that one signal is always greater than another signal

expand all in page
  • Library:

  • Simulink / Model Verification

    HDL Coder / Model Verification

  • Check Dynamic Upper Bound block

描述

这Check Dynamic Upper Boundblock checks if the a reference signal,最大限度，大于输入信号的振幅，u, at each time step and executes an assertion after comparison. If最大限度大于u, the assertion istrue（1）块什么都不做。如果没有，则块会停止模拟并默认返回错误消息。

这input signals can be scalars, vectors, or matrices. Both input signals must be the same data type. The block compares the value ofuto最大限度根据不同的信号。

  • When comparing scalars to vectors or matrices, the block compares the scalar signal to each element of the non-scalar signal.

  • When comparing a vector or matrix signal to another vector or matrix signal, the block checks the signals element-by-element.

  • For models with an input signal and bound that are both vectors or matrices, the input signal and bound must have the same dimensions.

端口

输入

expand all

Signal specifying the lower bound of the range that the block checks the input signalu振幅。信号数据类型和维度必须与u。

Data Types:一半|single|double|int8|INT16|INT32|int64|uint8|UINT16|uint32|uint64|Boolean|固定点|枚举

输入signal checked against the lower bound specified bymin。

Data Types:一半|single|double|int8|INT16|INT32|int64|uint8|UINT16|uint32|uint64|Boolean|固定点|枚举

Output

expand all

Output signal that istrue（1）如果一个ssertion succeeds andfalse (0)如果一个ssertion fails. If, in the Configuration Parameters window, in theMath and Data Typessection, under高级参数, you selectImplement logic signals as Boolean data, then the output data type isBoolean。否则，信号的数据类型为double。

Dependencies

To enable this output port, select the输出断言信号参数复选框。

Data Types:double|Boolean

Parameters

expand all

Clearing this parameter disables the block and causes the model to behave as if the block does not exist. To enable or disable all verification blocks, regardless of the setting of this option, go to the Configuration Parameters window, clickDiagnostics>Data Validity，扩展高级参数section, and set模型验证块启用toEnable all或者禁用所有。

Programmatic Use

范围：已启用
Type:string scalar or character vector
Values:"on"|“离开”
Default:"on"

Specify a MATLAB®expression to evaluate when the assertion fails. Because the expression is evaluated in the MATLAB workspace, define all variables used in the expression in that workspace.

Dependencies

要启用此参数，请选择Enable assertionparameter.

Programmatic Use

范围：打回来
Type:string scalar or character vector
Default:""

Select this parameter to stop the simulation when the check fails. Clear this parameter to display a warning and continue the simulation.

Programmatic Use

范围：stopWhenAssertionFail
Type:string scalar or character vector
Values:"on"|“离开”
Default:"on"

Select this parameter to enable the output port.

Programmatic Use

范围：export
Type:string scalar or character vector
Values:"on"|“离开”
Default:“离开”

Specify the style of the block icon. Thegraphic选项显示图标上断言条件的图形表示。这textoption displays a mathematical expression that represents the assertion condition.

Programmatic Use

范围：icon
Type:string scalar or character vector
Values:“形象的”|"text"
Default:“形象的”

Model Examples

检查信号上限与检查动态上限块

检查信号上限与检查动态上限块

该模型将正弦波连接为动态参考信号，而一个步骤信号作为连接到检查动态上限块的测试信号。
开放型号

块特征

Data Types

Boolean|double|枚举|固定点|一半|整数|single

直接进料

不

Multidimensional Signals

yes

Variable-Size Signals

不

Zero-Crossing Detection

不

Extended Capabilities

PLC Code Generation
使用Simulink®PLCCoder™生成结构化文本代码。金宝app

Fixed-Point Conversion
使用定点Designer™设计和模拟定点系统。

Version History

在R2006a之前引入

See Also

|