文档

为接收死逻辑检测的对象建模

具有决策或条件结果的模型对象接受死逻辑检测,如下表所示。单击第一列中的链接可获得关于特定模型对象的结果的更详细信息。

腹肌

Abs块的决策结果基于:

  • 块的输入小于零。

  • 输入信号的数据类型。

对于块的输入小于零,有两个决策结果:

  • 块输入小于零,表示正确决策。

  • 块输入不小于零,表示错误决策。

如果Abs块的输入数据类型为uint8uint16,或uint32时,软件将块输出设置为与块输入相等,而无需做出决策。如果Abs块的输入数据类型为布尔型,则错误。

死区

Dead Zone块具有基于以下参数的决策结果:

  • 死亡区开始

  • 死亡区域的尽头

死亡区开始参数指定死区下限。为死亡区开始参数时,有两个决策结果:

  • 块输入大于或等于下限,表示一个正确的决策。

  • 块输入小于下限,表明决策错误。

死亡区域的尽头参数指定死区上限。为死亡区域的尽头参数时,有两个决策结果:

  • 块输入大于上限,表示正确决策。

  • 块输入小于或等于上限,表明错误的决策。

离散时间积分器

离散时间积分器块具有基于以下参数的决策结果:

  • 外部复位

  • 限制输出

如果你设置外部复位没有一个在美国,该软件不报告决策结果。否则,有两种决策结果:

  • 块输出被重置,表示一个真实的决策。

  • 块输出没有被重置,这表明一个错误的决定。

如果不选择限制输出在美国,该软件不报告决策结果。否则,软件报告决策结果饱和下限饱和上限

饱和上限时,有两种决策结果:

  • 积分结果大于或等于上限,表示判定正确。

  • 积分结果小于上限,说明决策错误。

饱和下限时,有两种决策结果:

  • 积分结果小于或等于下限,表示判定正确。

  • 积分结果大于下限,说明决策错误。

启用子系统

Enabled Subsystem块有两个决策结果:

  • 启用Block,表示为true decision。

  • Block被禁用,表示错误的决定。

只有当启用的输入是一个向量时,启用的子系统块才有两个条件结果:

  • 元素的值为true,表示条件为真。

  • 元素的值为false,表示条件为false。

启用和触发子系统

启用和触发的子系统块有两个决策结果:

  • 当块被启用时,触发边缘发生,表明一个真正的决策。

  • 当块被启用或块被禁用时,没有发生触发边缘,这表明一个错误的决策。

软件分别确定启用输入和触发输入的条件结果。

  • 对于enable输入:

    • Input为true,表示条件为真。

    • Input为false,表示条件为false。

  • 对于触发器输入:

    • 触发边缘出现,表示条件为真。

    • 触发边未出现,表明条件为假。

Fcn

Fcn块有两个基于输入值或算术表达式的条件结果,它们是块中布尔运算符的输入:

  • 布尔运算符的输入为真,表示条件为真。

  • 布尔运算符的输入为false,表示条件为false。

For迭代器,For迭代器子系统

For迭代器块和For迭代器子系统有两个决策结果:

  • 迭代值等于或低于迭代限制,表示为true。

  • 迭代值高于迭代限制,指示为false。

如果,如果动作子系统

导致If动作子系统执行的If块有:

  • 的决策结果如果条件和全部elseifIf块中定义的条件。

  • 条件结果为如果条件或任何elseifConditions包含一个具有多个条件的逻辑表达式。

Library-Linked对象

金宝app®block和Stateflow®链接到库对象的图表会收到与未链接到库对象时相同的死逻辑检测。

逻辑运算符

逻辑操作符块有两个条件结果:

  • Input为true,表示条件为真。

  • Input为false,表示条件为false。

MATLAB函数

以下MATLAB函数块语句有决策结果:

  • 函数头-执行的函数或子函数。

  • 如果—Expression的值为true,表示决策为真。表达式的计算结果为false,表示错误的决定。

  • 开关-每个开关案例路径对应的决策结果,包括失败案例。

  • —循环条件值为true,表示判定为真。循环条件的计算结果为false,表明决策错误。

  • —循环条件值为true,表示判定为真。循环条件的计算结果为false,表明决策错误。

以下逻辑条件具有条件结果:

  • 如果声明的条件

  • 声明的条件

极大极小

MinMax块具有基于将每个输入传递到块的输出的决策结果。

对于将每个输入传递到块的输出,有两个决策结果:

  • 输入传递给块输出,表示一个真实的决策。

  • 输入没有传递到阻塞输出,表明错误的决定。

模型

模型Block本身没有决策或条件结果。块引用的模型接收决策或条件结果。

多端口切换

Multiport Switch块具有基于将每个输入(不包括第一个控制输入)传递到块的输出的决策结果。

对于将除第一个控制输入外的每个输入传递到块的输出,有两个决策结果:

  • 输入传递给块输出,表示一个真实的决策。

  • 输入没有传递到阻塞输出,表明错误的决定。

速度限制器

速率限制器块具有基于的决策结果回转速率上升而且回转速率下降参数。

回转速率上升时,有两种决策结果:

  • 块输入的变化大于或等于上升的速率,表示一个正确的决策。

  • 块输入的变化小于上升的速率,表明一个错误的决定。

回转速率下降时,有两种决策结果:

  • 块输入变化小于或等于下降率,表明一个正确的决策。

  • 块输入的变化大于下降率,表明决策错误。

软件没有回转速率下降结果为一个时间步当回转速率上升是真的。

继电器

中继块具有基于的决策结果开关点开关点参数。

开关点时,有两种决策结果:

  • 块输入大于或等于开关点,表示一个真实的决定。

  • 块输入小于开关点表示错误的决定。

开关点时,有两种决策结果:

  • 块输入小于或等于开关点,表示一个真实的决定。

  • 块输入大于开关点表示错误的决定。

软件没有开关点当阈值开关为真时,时间步长的决策结果。

饱和

饱和块具有基于的决策结果下限而且上限参数。

上限时,有两种决策结果:

  • 块输入大于或等于上限,表示一个正确的决策。

  • 块输入小于上限,表明决策错误。

下限时,有两种决策结果:

  • 块输入大于下限,表示正确决策。

  • 块输入小于或等于下限,表明错误的决策。

软件没有下限当上限为真时,时间步长的决策结果。

Stateflow图表

的Stateflow图表Block有决策结果:

  • 转换决策被评估为true,表示一个真实的决策。

  • 转换决策被评估为false,表明该决策是错误的。

的Stateflow图表Block有条件结果:

  • Condition的值为true,表示条件为真。

  • 条件被计算为false,表示条件为假。

开关

开关块具有基于块的控制输入的决策结果。

对于块的控制输入,有两个决策结果:

  • 控制输入的计算结果为true,表示决策为真。

  • 控制输入的计算结果为false,表明决策错误。

SwitchCase, SwitchCase动作子系统

SwitchCase块和SwitchCase动作子系统有两个决策结果:

  • Block的计算结果为true,表示决策为真。

  • Block的计算结果不为true,这表明决策是错误的。

触发模式

触发器模型块有两个决策结果:

  • 被引用的模型被触发,表明一个真实的决策。

  • 引用的模型没有被触发,表明决策错误。

如果触发输入是一个向量,那么有两个条件结果:

  • 元素的值为true,表示条件为真。

  • 元素的值为false,表示条件为false。

触发子系统

触发子系统块有两个决策结果:

  • Block被触发,表示一个真实的决策。

  • Block没有被触发,表示错误的决定。

如果触发输入是一个向量,那么有两个条件结果:

  • 元素的值为真,表示条件为真。

  • 元素的边框为false,表示条件为假。

While迭代器,While迭代器子系统

While迭代器块和While迭代器子系统有两个决策结果:

  • 条件满足,说明决定是正确的。

  • 条件不满足,说明决策错误。