状态机工具包状态机工具包的使用方法的使用方法NI Developer Suite（开发者套件）中包含一个很实用的工具包状态机工具包（State Machine Toolkit）。当然，如果你还没有的话，也可单独购买。状态机工具包提供了在 LabVIEW 开发环境下，根据程序的需求设计状态图，并将设计好的 状态图转换成 LabVIEW 状态机架构。“状态机”的概念大约出现在上个世纪 30-40 年代，在学习数字电路设计时也涉及到了状 态机，在数字逻辑设计中，“状态机”是一个系统设计的规范方法。在程序设计中引入状 态机的概念，可使复杂的程序看起来更清晰，程序修改起来更容易。由此可见，状态机是 降低软件复杂度的最佳方法。状态机的定义：状态机是一种具有指定数目的状态的概念机，它在某个指定的时刻仅处于 一个状态。状态的改变是由输入事件引起的状态变化。作为对输入事件的响应，系统可能 转变到相同或不同的状态，而输出事件可能是任意产生的。摘自 A software engineering Approach to LabVIEW 的中文译本“状态图”是用图示的方法来描述状态及状态之间的联系，有点类似于通常程序设计中的 流程图。“LabVIEW 状态机架构”是指 LabVIEW 开发环境下的状态机机制的 LabVIEW 程序代码。本文主要讨论 LabVIEW 中“状态机”的概念、原理和架构以及如何使用状态机工具包实现 程序设计。“状态机”在 LabVIEW 那个版本中开始出现我无从考证，从检索到的资料看好像应该包含 在 LabVIEW 5 中。现在发布的状态机工具包适用于 LabVIEW 7 以后的版本。在我的“虚拟仪器设计方法之一”中提到的“轮询（polling）”的方式就是指“状态机” 在 GUI 设计中的应用。当然，在较大的开发项目中，如果使用状态机工具包会进行设计， 将会提供方便、简洁、灵活的应用程序架构。由于状态机工具包是一个附加的工具包，只有 NI Developer Suite 中包含了这个工具包， 所以绝大部分介绍 LabVIEW 的中文书籍中都没有包含这部分内容。考虑到它的实用性，觉 得还是有必要将它简要的介绍给大家，正是基于这样的原因，这部分可能讲解得要相对细 一些。另外，LabVIEW State Diagram Toolkit User Guide 中会有更精确的描述，鉴于我 的英文水平不高，所以没办法将其内容完整的表述给大家。本文的内容仅仅是我在使用中 的体会，并且对它的应用也仅仅体现在程序架构设计中。其实在仪器控制（GPIB）等方面 它应该更具有使用价值。一、一、 “程序程序”与与“状态机状态机”间的关系间的关系“程序”是指挥计算机并通过计算机来表达或实现我们意念（想法、要求）的一堆代码； “状态机”是用来抽象地表示这堆代码的一种机制（方法）。实际上，我们可以将程序看作是有许多种状态的机器，这些状态相互连接，状态之间的转 换是通过某些事件发生或状态结束来触发。对于上面这种说教式的表述方式，很多初学者还是很难理解，那么就用一个生活事例来做 进一步的说明吧。比如，我们早上起床后要把被子叠好，穿好衣服，拉开窗帘打开窗户置 换室内的空气；然后跑到卫生间方便完，开始刮胡须、洗脸、刷牙；之后到餐厅边吃早餐 边听广播；早餐后穿好外衣出门上班。基本上就是这么个程序（也可能比这个还复杂随你 想象：比如把手机、钱包、带好等等）。问题是：有没有这样的时候，连洗脸、刷牙都顾不上了，吃点东西赶紧出门上班，可能会 有。：有没有这样的时候，连吃点东西都顾不上了，赶紧出门上班，可能会有。你看到了吧，这套程序有多复杂！其实把它抽象化后很简单，就这么几件事：起床、洗漱、 早餐、上班。图 1 给出了用状态机表述的状态图。图 1 生活事例状态图图 1 中：绿色椭圆初始化，每个状态机都要求必须有一个初始化状态，也是程序的开 始，用绿色表示也说明与其它的状态不同。通常的测控程序开始工作时都要有一个初始化 状态，避免发生瞬变或混乱。如：做系统复位操作，程序也是从初始化开始从新运行。本 例中是由“闹钟响起”导致起床的，其实还可以是恶梦惊醒、生物钟的作用等等。在此，为了使读者有更清晰的理解，有必要再重申一下：状态机不是程序，是从程序 中抽象出来的程序构架，真正的程序应该在存在于状态椭圆中。如：在初始化状态椭圆中， 导致起床的事件可能有：“闹钟响起”、“恶梦惊醒”、“生物钟的作用”、“内急”、 “意外的响动”等等，可以有 N 个。所有这些事件源都应该包含在初始化状态中，它们中 任何一个事件的发生都导致“起床”（从一个状态到另一个状态）。而引导这一过程的是图 1 中两个状态圆间标记：default 的线段。黄色椭圆黄色椭圆有多少取决于满足程序要求的前提下对程序抽象的程度。 如：可以把洗漱包含在起床这个状态中，那就缺少了“来不及洗脸、刷牙、吃早餐”这个 事件。避免遗漏事件，这是抽象的基本原则。红色椭圆也是我们抽象出的一个状态，是程序的终点，所以用红色的椭圆表 示。这是 LabVIEW 状态机（图）中所要求的。Default 是默认的意思，或理解为程序的正常流程。上面我们通过生活中的事例了解了程序与状态机间的关系，同时也了解了 LabVIEW 状 态图的结构。下面还要了解一下 LabVIEW 状态机的代码。二、二、LabVIEWLabVIEW 状态机程序代码状态机程序代码图 2 表示的就是 LabVIEW 状态机的代码。从图 2 可知 LabVIEW 中的状态机是由 while 循环 与移位寄存器, case 结构及 case 选择器组成。图 2 LabVIEW 状态机代码 图 2 中的带有左右箭头和下拉箭头含有字符的小蓝色框我们称为“枚举常数”。这里还要 先介绍一下“枚举”的概念。 枚举类型（Enums）枚举类型是从 C 语言中借用的概念，在枚举类型中可将每个连续的整数值从零开始按 顺序分配给每一个名称（或字符串）。例如：红、黄、蓝、绿就分别对应于 0、1、2、3。 显然，使用文字或字符串要比使用数字更直观、方便、概念性更强。假如你有 20 个朋友， 你是喜欢直接用 0-19 个数字来代表他们，还是用名字表示他们，那个更好呢？枚举最佳的使用方式就是作为 case 结构中的选择开关。因为它更直观的显示出目前的 状态和下个迭代的目标。这里引入枚举的目的就是想通过简单的文字来表示现在所处的状 态，以及下一个将要进入的状态。补充说一点，在我的“虚拟仪器设计方法之一”一文中的信号发生器的频率调节就是 利用 Ring 控件来实现的，而 Ring 控件的工作方式就是“枚举”的方式。 现在我们还是要回到状态机的讨论上，与事件结构相同是每个状态都有一个 case 结 构，在这里可进行该状态的处理程序。不同的是状态机要不停的查询是否有事件发生。还 有状态机的程序要比事件结构的程序显得复杂的多，很不容易看懂。的确，即便引入的枚举，状态机的代码还是不好读懂，到现在我也不想去读懂它，因 为 LabVIEW 状态机工具包可以代替我们做这方面的工作，我们只需能够将程序抽象为状态 图就可以了。LabVIEW 状态机工具包可以通过状态图自动生成 LabVIEW 状态机程序构架。 正是基于这样的原因，本单元讲得就相对简单些。下一小节我们将介绍 LabVIEW 状态机工具包的使用方法，并通过一个应用例子了解如 何应用及应用中要注意的地方。三、三、LabVIEWLabVIEW 状态机工具包及使用方法状态机工具包及使用方法LabVIEW 状态机工具包提供了一个状态图编辑器（State Diagram Editor），用于设计、 编辑程序的状态图（状态图是根据程序的要求抽象出来的，称“程序流程图”可能更好理 解些），编辑结束后关闭状态图编辑器便会在程序框图上自动地生成 LabVIEW 状态机构架 （或者说是 LabVIEW 状态机代码）。安装好 LabVIEW 状态机工具包后，在函数控件板上找到它的图标，双击图标“State Diagram”，然后移动鼠标将这个 vi 放在在程序框图上，这个操作与放置 while 循环时的 操作相同。如图 2（参见上一单元）所示。同时，还将提供一个状态图编辑器如图 3 所示。图 3 状态图编辑器图 4 up down SM 的前面板（使用原来的图片）用状态图编辑器可以方便的生成程序的状态图，但现在我们还不能使用它，为什么呢？因 为现在我们还不知道程序的具体要求。下面看一个例子，也就是我们在“虚拟仪器设计方 法之一”一文中的例子，不过现在是用状态机来实现（原例子是使用的事件结构）。首先新建一个名字为：up down SM 的 vi，并在其的前面板中放入以下控件如图 4 所示。Numeric数字指示器，指示 up、down 操作的结果，但无论 up down 如何操作，需保持 Numeric 的数值仅在 0-9 之间变化。Up 按键当“鼠标”每点击一次 up 键，Numeric 值+1，并发出点击音提示操作者。当 Numeric 值加到 9 时，“鼠标”每点击一次，发出警告音，并保持 Numeric 值是 9 不变。Down 按键当“鼠标”每点击一次 down 键，Numeric 值-1，并发出点击音提示操作者。 当 Numeric 值减到 0 时，“鼠标”每点击一次，发出警告音，并保持 Numeric 值是 0 不变。Stop 按键当“鼠标”点击该键退出程序。在这个程序中有三个输入控件：up、down、stop。他们的动作应该是引起状态改变的原因 （鼠标点击事件发生）。现在可以根据上述条件使用图 3 所示的状态机编辑器来编制状态图了。下面将一边编辑状 态图一边了解状态图编辑器的使用方法。在图 3 所示状态图编辑器中，仅仅包含一个 Init（初始化）状态，我们讲过状态机必须有 一个初始化状态，下面就从初始化状态开始编辑状态图。1、 初始化状态通常的测控程序开始工作时都要有一个初始化，避免发生瞬变或混乱。状态机也有一个初 始化状态，就是图 3 中的那个绿椭圆。用鼠标双击绿椭圆中的“Init” 就可以修改绿椭圆的状态名，键入“初始化状态”然后用 鼠标点击任何空白处，我们看到绿椭圆的名字已经变成“初始化状态”。在绿椭圆的上边还有一个名为“default(默认)”的线段，用鼠标点击它后，它将呈现红色 此时用鼠标可以将它拖拽到绿椭圆边缘的任何地方。那么 up down SM 程序在“初始化状态”作什么呢？只有一个任务：将“0”这个值赋给 Numeric 指示器（或者是它的本地变量）。注：此操作将来在程序框图中完成。“初始化状态”基本搞定，下一步该如何做？分析一下，本程序是用 up、down、stop 作为 输入事件，那么初始化完成后，如果没有任何的输入事件发生时，程序一定会处于某个状 态，那就命名为“基本状态”吧！2、 基本状态在图 3 的绿椭圆下方约 2cm 处，单击鼠标的右键将弹出一个“New State”指示框，单 击该框将创建一个状态椭圆，在命名处键入“基本状态”后用鼠标点击任何空白处，将看 到一个名字为“基本状态”的黄椭圆。因为初始化完成后，程序自动进入该状态，所以将绿椭圆上的“default”线段拖拽到 与该状态连接。“基本状态”已搞定，下一步该如何做？当然，下步是与 up、down、stop 有关了。3、 输入事件响应状态这次三个状态一起搞定，在上面创建的黄椭圆下方约 2cm 处，创建三个新的状态椭圆分别 命名为：“加处理”、“减处理”和“退出”。用鼠标右键点击“基本状态”将弹出一个快捷菜单：选择“Create New Transition”后， 将生成一个标号为“1”的连接线段，将该线段与“加处理”状态相连，双击“1”后键入 “up 键按下”；同时将“加处理”状态的“default”线与“基本状态”相连，表明该操 作完成后返回将返回“基本状态”。用鼠标右键点击“基本