主要内容

检查动态下限

检查一个信号总是不到另一个信号

  • 图书馆:
  • 金宝appSimulink / Model验证

    HDL编码器/模型验证

  • 检查动态下限块

描述

检查动态下限块检查参考信号,,小于输入信号的幅度,在每个时间步骤并在比较后执行断言。如果少于,断言是真(1)并且块没有什么。如果不是,则块会停止模拟并默认返回错误消息。

输入信号可以是标量,向量或矩阵。两个输入信号必须是相同的数据类型。该块比较了值根据信号的不同方式与其不同。

  • 当将标量与向量或矩阵进行比较时,块将标量信号与非标量信号的每个元素进行比较。

  • 当将向量或矩阵信号与另一个向量或矩阵信号进行比较时,块检查信号逐个元素。

  • 对于具有输入和绑定的模型,即向量或矩阵,输入和绑定必须具有相同的尺寸。

港口

输入

展开所有

信号指定校验的下限对输入信号幅度。信号数据类型和维度必须与

数据类型:一半|单身|双人间|INT8.|int16|INT32.|INT64.|uint8.|uint16|UINT32|UINT64|布尔基|定点|枚举

输入信号检查指定的下限。两个输入信号必须是相同的数据类型和维度。

数据类型:一半|单身|双人间|INT8.|int16|INT32.|INT64.|uint8.|uint16|UINT32|UINT64|布尔基|定点|枚举

输出

展开所有

输出信号真(1)如果断言成功和假(0)如果断言失败。如果在配置参数窗口中,则在数学和数据类型部分,下面高级参数,你选择实现逻辑信号作为布尔数据,然后输出数据类型是布尔基。否则,信号的数据类型是双人间

依赖性

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

数据类型:双人间|布尔基

参数

展开所有

清除此参数禁用块并导致模型表现得像块不存在一样。要启用或禁用所有验证块,无论此选项的设置如何,请转到“配置参数”窗口,单击诊断>数据有效性,展开高级参数部分和设置模型验证块启用到目前为止启用所有或者禁用所有

命令行信息

参数:启用
类型:字符向量
价值观:'开'|'off'
默认值:'开'

指定MATLAB.®表达以评估断言失败时。由于在MATLAB工作空间中评估了表达式,因此定义在该工作空间中表达式中使用的所有变量。

依赖性

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

命令行信息

参数:回调
类型:字符向量
价值观:matlab表达
默认值:''

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

命令行信息

参数:stopwhenassertionfail.
类型:字符向量
价值观:'开'|'off'
默认值:'开'

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

命令行信息

参数:出口
类型:字符向量
价值观:'开'|'off'
默认值:'off'

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

命令行信息

参数:图标
类型:字符向量
价值观:'图形'|“文字”
默认值:'图形'

块特征

数据类型

布尔基|双人间|枚举|定点|一半|整数|单身

直接喂养

多维信号

是的

可变尺寸信号

零交叉检测

扩展能力

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

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

在R2006A之前介绍