动态上界检查

检查一个信号是否总是大于另一个信号

展开全部页面

库:
金宝appSimulink /模型验证
HDL编码/模型验证

描述

的动态上界检查Block检查是否有参考信号，马克斯，大于输入信号的幅值，u，并在比较后执行断言。如果马克斯大于u，则断言为真正的(1)方块什么也不做。如果不是，块将停止模拟并默认返回错误消息。

输入信号可以是标量、向量或矩阵。两个输入信号必须是相同的数据类型。的值进行比较u来马克斯这取决于信号的不同。

当标量与向量或矩阵比较时，块将标量信号与非标量信号的每个元素进行比较。
当将一个向量或矩阵信号与另一个向量或矩阵信号进行比较时，块逐个元素检查信号。
对于输入信号和边界都是向量或矩阵的模型，输入信号和边界必须具有相同的维数。

港口

输入

全部展开

`马克斯`—范围上限检查
标量|向量|矩阵

指定块检查输入信号范围的下界的信号u振幅。信号数据类型和维数必须相同u．

数据类型:一半|单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举

`u`-输入信号检查与边界
标量|向量|矩阵

所指定的下界检查输入信号最小值．

数据类型:一半|单|双|int8|int16|int32|int64|uint8|uint16|uint32|uint64|布尔|不动点|枚举

输出

全部展开

`Port_1`-断言输出信号
标量

输出信号为真正的(1)如果断言成功，则假(0)如果断言失败。如果，在“配置参数”窗口中数学和数据类型节,在先进的参数，您选择将逻辑信号实现为布尔数据，则输出数据类型为布尔．否则，信号的数据类型为双．

依赖关系

要启用此输出端口，请选择输出断言信号参数复选框。

数据类型:双|布尔

参数

全部展开

`启用断言`—启用或禁用检查
`在`(默认)|`从`

清除此参数将禁用块，并导致模型的行为就像块不存在一样。在“配置参数”窗口中，单击，启用或禁用所有校验块，无论该选项是否设置诊断>数据的有效性，展开先进的参数节，并设置模型验证块启用来让所有或禁用所有．

编程使用

参数:启用

类型:字符串标量或字符向量

价值观:“上”|“关闭”

默认值:“上”

`断言失败时的模拟回调(可选)`-断言失败时计算的表达式
`＂＂`(默认)| MATLAB表达式

指定一个MATLAB^®表达式在断言失败时求值。因为表达式是在MATLAB工作空间中求值的，所以在该工作空间中定义表达式中使用的所有变量。

依赖关系

要启用此参数，请选择启用断言参数。

编程使用

参数:回调

类型:字符串标量或字符向量

默认值:＂＂

`当断言失败时停止模拟`—检查失败时是否停止仿真
`在`(默认)|`从`

选中此参数表示在检查失败时停止模拟。清除此参数可显示警告并继续模拟。

编程使用

参数:stopWhenAssertionFail

类型:字符串标量或字符向量

价值观:“上”|“关闭”

默认值:“上”

`输出断言信号`-创建输出信号
`从`(默认)|`在`

选择该参数可使能输出端口。

编程使用

参数:出口

类型:字符串标量或字符向量

价值观:“上”|“关闭”

默认值:“关闭”

`选择图标类型`—选择图标类型
`图形`(默认)|`文本`

指定块图标的样式。的图形选项在图标上显示断言条件的图形表示形式。的文本选项显示表示断言条件的数学表达式。

编程使用

参数:图标

类型:字符串标量或字符向量

价值观:“图形”|“文本”

默认值:“图形”

模型的例子

用检查动态上界块检查信号上界

该模型连接一个正弦波作为动态参考信号，和一个阶跃信号作为测试信号连接到一个检查动态上限块。

开放模式

块特征

数据类型	`布尔`\|`双`\|`枚举`\|`不动点`\|`一半`\|`整数`\|`单`
直接引线	`没有`
多维信号	`是的`
适应信号	`没有`
讨论二阶导数过零检测	`没有`

扩展功能

C/ c++代码生成
使用Simulink®Coder™生成C和c++代码。金宝app

有关如何金宝app^®编码器™生成的代码处理模型验证块，请参见配置调试模型(金宝app仿真软件编码器)．

HDL代码生成
使用HDL Coder™为FPGA和ASIC设计生成Verilog和VHDL代码。

HDL Coder™提供了影响HDL实现和合成逻辑的额外配置选项。

高密度脂蛋白架构

此块可用于检查测试信号与输入的上界，但它不包含在生成的代码中。

动态上界检查

描述

港口