检查动态差距

检查可能变化宽度的间隙在信号的幅度范围内发生

全部展开页面

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

描述

的检查动态差距块检查信号在每个时间步骤中是否超出了值的范围，并在比较后执行断言。间隙的宽度可以随时间步长而变化。的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工作空间中计算的，所以在该工作空间中定义表达式中使用的所有变量。

依赖关系

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

编程使用

范围：打回来

类型:特征向量

价值观:matlab表达

默认值:'＇

`断言失败时停止模拟`—检查失败时是否停止模拟
`在`(默认)|`离开`

当检查失败时，选择此参数停止模拟。清除此参数以显示警告并继续模拟。

编程使用

范围：stopWhenAssertionFail

类型:特征向量

价值观:“上”|'离开'

默认值:“上”

`输出断置信号`- 创建输出信号
`离开`(默认)|`在`

选择此参数启用输出端口。

编程使用

范围：出口

类型:特征向量

价值观:“上”|'离开'

默认值:'离开'

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

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

编程使用

范围：图标

类型:特征向量

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

默认值:“图形”

模型的例子

用检查动态间隙块检查信号值

该模型将正弦波作为动态测试信号连接，以及两个步进信号作为间隙的上限和下限。

开放式

块特征

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

扩展功能

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

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

不建议生产代码。

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

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

HDL架构

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

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

定点转换
使用固定点设计器™设计和模拟定点系统。

另请参阅

检查动态下界|检查动态上限|检查动态范围

在R2006A之前介绍

检查动态差距

描述

港口