检查输入的决议

检查输入信号是否具有指定的分辨率

全部展开页面

库:
万博1manbetxSimulink /模型验证
HDL编码器/模型验证

描述

的检查输入的决议块检查输入信号是否具有指定的分辨率。块输入和分辨率可以是标量或向量。输入和解析必须是相同的数据类型。

如果决议参数是标量，则块根据提供的标量分辨率计算输入信号的模量。然后将计算出的模量与公差进行比较10 e - 3，并在比较后执行断言。如果模量小于公差，则断言为真正的(1)block什么也不做。如果不是，则默认情况下，该块将暂停模拟并返回一个错误消息。如果决议参数是一个向量，它断言真正的(1)如果输入信号的值等于任何分辨率向量元素。

该块根据信号和分辨率的大小，以其他几种方式将输入与分辨率进行比较。

当将标量输入信号或分辨率与矢量输入信号或分辨率进行比较时，块将标量与矢量的每个元素进行比较。
当比较矢量输入信号和矢量分辨率时，块逐个元素比较输入信号和分辨率。
对于输入信号和分辨率都是矢量的模型，输入信号和分辨率必须具有相同的维数。

港口

输入

全部展开

`Port_1`-根据分辨率检查输入信号
标量|向量

块根据指定的分辨率检查的输入信号决议参数。

数据类型:双

输出

全部展开

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

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

依赖关系

要启用该端口，请选择断言输出信号．

数据类型:双|布尔

参数

全部展开

`决议`-与输入信号比较的分辨率值
标量|向量

指定输入信号的分辨率要求。

命令行信息

参数:决议

类型:特征向量

价值观:' 1 '|实标量或实向量

默认值:' 1 '

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

清除此参数将禁用块，并导致模型的行为就像块不存在一样。要启用或禁用所有验证块，无论该选项如何设置，请进入“配置参数”窗口，单击诊断>数据有效性,扩大先进的参数部分,并设置启用模型验证块来让所有或禁用所有．

命令行信息

参数:启用

类型:特征向量

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

默认值:“上”

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

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

依赖关系

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

命令行信息

参数:回调

类型:特征向量

价值观:MATLAB的表情

默认值:＇＇

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

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

命令行信息

参数:stopWhenAssertionFail

类型:特征向量

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

默认值:“上”

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

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

命令行信息

参数:出口

类型:特征向量

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

默认值:“关闭”

模型的例子

用检查输入分辨率块检查信号分辨率

该模型使用检查输入分辨率块检查重复序列楼梯块的分辨率。

开放模式

块特征

数据类型	`双`
直接引线	`没有`
多维信号	`是的`
适应信号	`没有`
讨论二阶导数过零检测	`没有`

扩展功能

C / c++代码生成
使用Simulink®Coder™生成C和c++代码。万博1manbetx

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

不推荐用于生产代码。

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

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

高密度脂蛋白架构

此块可用于在模拟期间检查输入信号是否具有指定的分辨率，但它不包含在生成的代码中。

PLC的代码生成
使用Simulink®PLC Coder™生成结构化文本代码。万博1manbetx

另请参阅

数学函数|重复序列楼梯

之前介绍过的R2006a

检查输入的决议

描述

港口