静态检查范围

检查信号落入内振幅的固定范围

扩大所有页面
  • 图书馆：

  • 万博1manbetx的Simulink /模型验证

    HDL编码器/模型验证

描述

该静态检查范围方框检查该输入信号中的每个元素落在相同的范围内，在每个时间步长幅度的内部。指定与所述参数的上限和下限上界和下界。如果验证条件为真，该块什么都不做。如果不是，则块暂停仿真，默认情况下，并显示一个错误消息。

使用在模型验证库中的块，以方便自我验证模型的创建。例如，你可以使用模型验证块来测试信号不超过模拟中规定的限值。当你感到满意的是一款型号是正确的，你可以把错误通过禁用验证块检查关。您不必从模型中删除。如果需要修改模型，你可以暂时把验证块上，以确保您的更改不会破坏模型恢复。

端口

输入

展开全部

输入信号，来检查对由指定的范围内上界和下界参数。

数据类型：单|双|INT8|INT16|INT32|Int64的|UINT8|UINT16|UINT32|UINT64|布尔|固定点|枚举

产量

展开全部

在每个时间步骤，该步骤是真正的输出信号（1），如果断言成功，和假（0），如果断言失败。如果在配置参数，你选择实现逻辑信号作为布尔数据时，则输出的数据类型是一个布尔。否则信号的数据类型是一个双。

依赖

为了使这种输出端口，设置输出断言信号参数复选框。

数据类型：双|布尔

参数

展开全部

指定上振幅输入信号可具有范围内的上限。

命令行信息

参数：最大
类型：特征向量
价值观：纯量|向量|矩阵
默认：'0'

选中此复选框，使有效输入幅度的范围包括下限。

命令行信息

参数：min_included
类型：特征向量
价值观：'上'|“关”
默认：'上'

指定下限振幅的范围，输入信号可以具有。

命令行信息

参数：分
类型：特征向量
价值观：纯量|向量|矩阵
默认：'0'

选中此复选框，使有效输入幅度的范围包括下限。

命令行信息

参数：min_included
类型：特征向量
价值观：'上'|“关”
默认：'上'

清除该复选框禁用块，并导致模型表现得好像块不存在。您可以设置模型验证模块启用在配置参数设置来启用或不管模型禁用此选项的设置的所有模型验证块。

命令行信息

参数：启用
类型：特征向量
价值观：'上'|“关”
默认：'上'

指定MATLAB®当断言失败来评价表达。因为表达式在MATLAB工作区进行评价，在限定在该工作空间的表达中使用的所有变量。

命令行信息

参数：打回来
类型：特征向量
价值观：MATLAB表达
默认：“”

选中此复选框以指示当校验失败块暂停模拟。清除，以表明该软件会显示警告，并继续模拟。

命令行信息

参数：stopWhenAssertionFail
类型：特征向量
价值观：'上'|“关”
默认：'上'

选中该复选框会导致块输出布尔信号，这是真的（1）在如果断言成功每个时间步长和假（0）如果断言失败。的输出信号的数据类型是布尔如果您选择了实现逻辑信号作为布尔数据检查的配置参数对话框框。否则，输出信号的数据类型是双。

命令行信息

参数：出口
类型：特征向量
价值观：'上'|“关”
默认：“关”

指定用于显示的框图此块图标的类型。该图像选项显示的图标上的断言状态的图形表示。该文本选项显示的数学表达式表示所述断言状态。如果图标是太小而不能显示的表达，文本图标显示感叹号。看的表达，放大块。

命令行信息

参数：图标
类型：特征向量
价值观：“图形”|'文本'
默认：“图形”

模型的例子

建模容错燃料控制系统

建模容错燃料控制系统

用的Simulink结合Stateflow®有效万博1manbetx模式混合动力系统。这种类型的建模为具有基于离散事件许多可能的操作模式的系统中特别有用。而在控制构造的变化状态流中实现传统的信号流在Simulink处理。万博1manbetx以下描述的模型表示用于汽油发动机的燃料控制系统。在被检测到的个体传感器的故障和控制系统被动态地重新配置为不间断运行该系统是非常强劲。
打开模型

块特性

数据类型

布尔|双|枚举|固定点|整数|单

直接馈通

没有

多维信号

是

可变大小信号

没有

过零检测

没有

扩展功能

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

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

也可以看看

||

R2006a前推出

万博1manbetxSimulink的文档
万博1manbetx
基于模型的设计为嵌入式控制系统

基于模型的设计为嵌入式控制系统

下载白皮书