主要内容

如果块检查逻辑表达式

检查身份证:mathworks.maab.na_0003

指导方针如果块na_0003:使用

描述

检查如果块不适当的构造主要表达在一个逻辑表达式。

识别实例在一个如果块主要表情是复杂的。

主要表达式定义为:

  • 一个输入

  • 一个常数

  • 一个常数参数

  • 括号表达式不含零个或以外的运营商<,>,> =,< =,= =,~ =,|,&,~

主要表达式的例子包括:

  • u1

  • 5

  • K

  • (u1>0)

  • (u1< =G)

  • (u1>U2)

  • (~u1)

可接受的逻辑表达式例外的例子包括:

  • u1 | u2

  • ((u1 > 0) & (u1 < 20)

  • (u1 > 0) & (u2 < u3)

  • u2乐队(u1 > 0) & (~)

这个表提供了不可接受的逻辑表达式的例子。

主要表达 推理

u1和u2 | u3

 太多的主要表达式。

u1和u2乐队(| u3)

 不可接受的运营商在主要表达式。

(u1 > 0) & (u1 < 20) & (u2 > 5)

 太多的主要表达式没有输入。

(u1 > 0) & ((2 * u2) > 6)

 不可接受的运营商在主要表达式。

异常

逻辑表达式可以包含两个以上主要表情当满足这两个条件:

  • 主要的表达式是所有输入。

  • 只有一种类型的逻辑算符。

可接受的例外的例子包括:

  • u1 | u2 | u3 | u4 | u5

  • u1和u2 & u3 &愉快

简单的“如果”表情

字面解释的指导方针na_0003,表达u1 < u2是一种侵犯。然而,表达式遵循常用的“如果”的表达式模板(<主要表达式> <操作符> <主要表达式>)。所以,当不使用逻辑运算符和只有一个关系算子存在,表达满足方针na_0003和u1<u2不违反。

这张支票需要金宝app®检查™许可证。

检查参数化

这张支票不包括sub-checks因为马伯建模指南只提供一个下标ID。

供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:

  • NA-MAAB——没有建议

  • JMAAB——一个

结果和建议措施

条件 建议的行动
逻辑表达式包含两个以上主要表达式由一个常数,常数参数,输入。

考虑下列之一:

  • 使主要表达式输入和:

    • 使用与一个关系运算符类型带括号表达式

    • 构建一个简单的“如果”表达使用模板
      逻辑操作符<主要表达式> < > < >主要表达

  • 减少主要表达两个或更少。

  • 构建逻辑表达式除了使用逻辑块如果块。
逻辑表达式包含两个以上带括号表达式,使用多个关系运算符

考虑下列之一:

  • 只使用一种类型的关系操作符。可接受的逻辑运算符包括<,>,> =,< =,= =,~ =,|,&,~。主要的表达式必须只包含输入。

  • 带括号表达式的数量减少到两个或更少。

  • 构建逻辑表达式除了使用逻辑块如果块。
括号表达式包含零个或以外的关系操作符<,>,> =,< =,= =,~ =,|,&,或~。

考虑下列之一:

  • 使用关系操作符<,>,> =,< =,= =,~ =,|,&,或~括号内的表达式。

  • 构建逻辑表达式除了使用逻辑块如果块。

功能和限制

  • 没有国旗逻辑表达式只使用其中一个相对运营商吗<,>,> =,< =,= =,~ =,|,&,~

  • 运行库模型。

  • 分析library-linked内容块。默认情况下,输入参数链接被设置为在。

  • 在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为图形化的。