检查动态间隙

检查信号幅值范围内是否存在可能变化宽度的间隙

展开全部页面

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

描述

的检查动态间隙Block检查信号在每个时间步骤中是否落在值范围之外，并在比较后执行断言。间隙的宽度可以随时间步长而变化。的u端口为测试输入信号。输入最小值而且马克斯分别指定间隙的下界和上界。如果u落在由定义的间隙之外最小值而且马克斯，则断言为真正的(1)方块什么也不做。如果不是，块将停止模拟并默认返回错误消息。

输入信号可以是标量、向量或矩阵。所有三个输入信号必须是相同的数据类型。的值进行比较u根据信号的不同，积分限也不同。

当标量与向量或矩阵比较时，块将标量信号与非标量信号的每个元素进行比较。
当将向量或矩阵信号与其他向量或矩阵进行比较时，块会逐个元素将输入与边界进行比较。
对于有多个向量或矩阵输入信号的模型，这些向量或矩阵必须具有相同的维数。

港口

输入

全部展开

`马克斯`-动态间隙上限
标量|向量|矩阵

指定间隙上限的信号。

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

`最小值`-动态间隙下界
标量|向量|矩阵

指定间隙下界的信号。

数据类型:一半|单|双|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实现和合成逻辑的额外配置选项。

高密度脂蛋白架构

此块可用于检查变化信号振幅的间隙，但它不包括在生成的代码中。

检查动态间隙

描述

港口