本页对应的英文页面已更新,但尚未翻译。 若要查看最新内容,请点击此处访问英文页面。

通过定义真值表重用组合逻辑

真值表通过简洁的表格形式来实现组合逻辑设计。真值表仅在 Simulink® 模型中的 Stateflow® 模块中受支持。真值表的典型应用包括以下决策:

  • 故障检测与管理

  • 模式切换

您可以将 Truth Table 模块直接添加到 Simulink 模型中。您也可以在 Stateflow 图、状态或子图中定义真值表函数。函数的位置确定可以调用函数的状态和转移的集合。

  • 如果只想在一个状态(或子图)及其子状态内调用函数,只需将真值表置于该状态或子图中。该函数将覆盖该状态或子图的父级中同名的任何其他函数。

  • 如果想要在该图的任意位置调用函数,需将真值表置于与图同一层次的位置。

  • 如果要从模型中的任何图调用该函数,请将真值表放在图级别,并启用图级别函数的导出。有关详细信息,请参阅Export Stateflow Functions for Reuse

例如,此真值表函数的名称为 ttable。它接受三个参数(xyz)并返回一个输出值 (r)。

该函数对条件、决策和动作的安排如下。

条件

决策 1

决策 2

决策 3

默认决策

x == 1

τ

F

F

-

y == 1

F

τ

F

-

z == 1

F

F

τ

-

动作

r = 1r = 2r = 3r = 4

Condition 列输入的每个条件的计算结果必须为 true(非零值)或 false(零值)。每个条件的结果指定为 T (true)、F (false) 或 -(true 或 false)。每个决策列通过逻辑 AND 运算符将每个条件的结果结合形成一个复合条件,即所谓的决策。

计算真值表时,一次计算一个决策,从 Decision 1 开始。Default Decision 涵盖了所有可能的剩余决策。如果计算出某个决策的值为 true,则会执行其动作,然后结束真值表的执行。

例如,如果条件 x == 1y == 1 为 false 且条件 z == 1 为 true,则 Decision 3 为 true 且变量 r 设为等于 3。在这种情况下,不会再继续测试剩余决策,真值表的计算到此结束。如果前三个决策为 false,则 Default Decision 将自动为 true,并执行其动作 (r=4)。下表列出了与该真值表示例的计算相对应的伪代码。

伪代码

Description

if ((x == 1) & !(y == 1) & !(z == 1))
  r = 1;

如果 Decision 1 为 true,则设置 r=1

elseif (!(x == 1) & (y == 1) & !(z == 1))
  r = 2;

如果 Decision 2 为 true,则设置 r=2

elseif (!(x == 1) & !(y == 1) & (z == 1))
  r = 3;

如果 Decision 3 为 true,则设置 r=3

else
  r = 4;
endif

如果所有其他决策都为 false,则 Default Decision 为 true。设置 r=4

定义真值表函数

  1. 在对象选项板中,点击真值表函数图标 。将指针移到图中要放置新真值表函数的位置。

  2. 输入函数的签名标签,如声明函数参数和返回值中所述。

  3. 对真值表函数进行编程。有关详细信息,请参阅编写真值表

  4. 在 Model Explorer 中,展开图对象并选择真值表函数。函数签名中的参数和返回值显示为属于您的函数的数据项。参数的作用域是 Input。返回值的作用域是 Output

  5. 在每个参数和返回值的 Data 属性对话框中,指定数据属性,如设置数据属性中所述。

  6. 创建您的函数所需的其他数据项。有关详细信息,请参阅通过 Model Explorer 添加数据

    您的函数可以访问它自己的数据或属于父状态或图的数据。函数中的数据项可以有以下作用域之一:

    • Local - 本地数据从一个函数调用保留到下一个函数调用。仅对 C 语言状态图有效。

    • Constant - 常量数据在所有函数调用中都保持其初始值。

    • Parameter - 参数数据在所有函数调用中都保持其初始值。

    • Temporary - 临时数据在每个函数调用开始时初始化。仅对 C 语言状态图有效。

在使用 C 语言作为动作语言的图中,当您要使用仅在函数执行时有效的数据时,请定义临时数据。例如,如果计数器值不需要在函数完成后保持不变,您可以指定一个循环计数器具有 “Temporary” 作用域。

在使用 MATLAB® 作为动作语言的图中,您不需要定义临时函数数据。如果使用未定义变量,Stateflow 会创建临时变量。该变量可用于函数的其余部分。

您可以从 MATLAB 工作区初始化函数数据(参数和返回值除外)。有关详细信息,请参阅从 MATLAB 基础工作区初始化数据

声明函数参数和返回值

函数签名标签指定函数的名称及其参数和返回值的形式名称。签名标签采用以下语法:

[return_val1, return_val2,...] = function_name(arg1, arg2,...)
您可以指定多个返回值和多个输入参数。每个返回值和输入参数可以是一个标量、向量或值的矩阵。对于只有一个返回值的函数,忽略签名标签中的方括号。

您可以对参数和返回值使用相同的变量名称。例如,使用以下签名标签的函数将变量 y1y2 同时用作输入和输出:

[y1, y2, y3] = f(y1, u, y2)
如果将此函数导出为 C 代码,y1y2 将通过引用(作为指针)传递,u 通过值传递。通过引用传递输入可减少生成的代码复制中间数据的次数,从而产生更优的代码。

在状态和转移中调用真值表函数

您可以基于任何状态或任何转移的动作来调用真值表函数。您还可以从其他函数调用真值表函数。如果导出真值表函数,将可以从模型的任何 Stateflow 图中调用它。

调用真值表函数的语法与函数签名相同,即用实参替换签名中指定的形参。如果实参和形参的数据类型不同,则函数将实参强制转换为形参的类型。

提示

如果函数签名的形参为标量,请确认这些函数调用的输入和输出遵循标量扩展的规则。有关详细信息,请参阅Assign Values to All Elements of a Matrix

指定真值表函数的属性

您可以通过真值表函数的属性对话框为其设置常规属性。要打开函数属性对话框,请右键点击真值表函数框,然后从上下文菜单中选择 Properties

Name

函数名称。点击函数名称链接可使函数显示在其所属图的前端。

Function Inline Option

控制函数在生成的代码中的内联:

  • Auto” - 确定是否根据内部计算内联函数。

  • Inline” - 如果不将函数导出到其他图并且它不是递归的一部分,则内联函数。(如果函数直接调用自身或通过另一个函数调用间接调用自身,则存在递归。)

  • Function” - 不内联函数。

Label

函数的签名标签。有关详细信息,请参阅声明函数参数和返回值

Underspecification

在真值表函数中控制欠定的诊断级别。有关详细信息,请参阅Correct Overspecified and Underspecified Truth Tables

Overspecification

在真值表函数中控制过定的诊断级别。有关详细信息,请参阅Correct Overspecified and Underspecified Truth Tables

Action Language

控制 Stateflow 真值表函数的动作语言。在 MATLAB 与 C 之间进行选择。有关详细信息,请参阅 Language Options for Stateflow Truth Tables

Description

函数说明。您可以为层次结构中的函数输入简要说明。

Document Link

函数的在线文档链接。您可以输入 Web URL 地址或者能以合适的在线格式(例如 HTML 文件或 MATLAB 命令行窗口中的文本)显示文档的 MATLAB 命令。点击 Document link 超链接时,Stateflow 会显示该文档。

相关主题