检查动态上限

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

全部展开页面

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

描述

的检查动态上限块检查a参考信号，马克斯，大于输入信号的振幅，u，并在比较后执行断言。如果马克斯大于u，断言为真正的(1)block什么也不做。如果不是，则默认情况下，该块将暂停模拟并返回一个错误消息。

输入信号可以是标量、向量或矩阵。两个输入信号必须是相同的数据类型。块比较的值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工作空间中计算的，所以在该工作空间中定义表达式中使用的所有变量。

依赖关系

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

命令行信息

参数:回调

类型:特征向量

价值观:MATLAB的表情

默认值:”

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

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

命令行信息

参数:stopWhenAssertionFail

类型:特征向量

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

默认值:“上”

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

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

命令行信息

参数:出口

类型:特征向量

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

默认值:“关闭”

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

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

命令行信息

参数:图标

类型:特征向量

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

默认值:“图形”

模型的例子

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

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

开放模式

块特征

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

扩展功能

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

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

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

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

高密度脂蛋白架构

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

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

定点转换
使用fixed-point Designer™设计和模拟定点系统。

另请参阅

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

之前介绍过的R2006a

检查动态上限

描述

港口