基于有限状态机模型的自动售货系统.pdfVIP

2007 江苏省自动化学会学术年会论文集 基于有限状态机模型的自动售货系统 丁昊，叶桦 （东南大学 自动化学院，江苏 南京 210096） 摘要： 自动售货系统是一种典型的自动状态机。功能 日趋复杂的自动售货系统中包括越来越 多的状态变化，仅用传统方式难以胜任开发任务。通过对自动售货系统的研究，介绍一种基 于自动机理论建立模型的方法，并采用该理论的相关计算方法对模型进行优化，从而得到结 构紧凑，功能清晰的软件流程图。本文分别建立了系统的基本状态模型、销售模型和非现金 支付模型，得到了各自的状态转移图。对于开发自动售货系统软件，使用本文介绍的方法不 容易遗漏功能，而且能加快软件的开发进度。系统开发成功并投入实际应用，证明本文介绍 的方法是有效可行的。 关键词：自动售货系统；自动机；非现金支付 1 引 言 作为一种新兴的零售方式，自动售货系统具有低成本、易管理、全天候和安全快捷等传 统人工零售方式不可比拟的优势，因此得到了越来越广泛的应用。随之而来，人们对其销售 过程中的可靠性、易用性、灵活性等方面也提出了更高的要求，例如要求新一代的自动售货 系统能够提供灵活多样的销售方式、促销策略和支付手段，并能够提供给运营商更多的管理 信息等[1][2] [1] 。自动售货系统的基本框架如图 1 所示，主要包括：控制器 、人机交互（键盘 和显示设备）、货币外设、商品输送和检测等功能模块。另外，销售需低温存储的商品时还 需要配备制冷设备。 图 1 自动售货系统结构图 在自动售货系统中，控制器是最重要的部分，它负责协调各个外设并实现所有的销售功 能。但是随着系统功能的不断提高，控制器软件也变得越来越复杂。如果没有合适的模型对 系统进行描述和优化，不利于编写可靠、高效的控制器软件。本文采用有限状态自动机[1] 的 思想来建立自动售货系统的数学模型，以此作为控制软件编写的参考依据，提供了一种自动 作者简介：丁昊 （1979-），男，山东邹城人，硕士研究生，从事模式识别与智能系统的研究 通讯作者：叶桦，男，博士，教授；电话：025；E-mail: dinghao32901@126.com 274 2007 江苏省自动化学会学术年会论文集 售货系统的设计方案。 2 自动机理论简介 自动机理论研究抽象计算装置或者“机器”，起源于 20 世纪 30 年代图灵的研究。起初 研究者用自动机理论为人脑功能建立模型，后来发现这些自动机对于其它一些领域也极为有 用。特别是有限状态机，是研究许多重要类型的硬件和软件的有用模型，它的一些重要的应 用包括：数字电路的设计和性能检查软件，典型编译器的 “词法分析器”，文本扫描与识别 软件，通信协议或安全交换信息协议的验证软件，等等。 有限状态机包括了一些状态和在响应输入时发生的状态之间的转移，具体是指： 1) 有限的状态集合Q，其中包括了初始状态q0和结束状态F ； 2) 有限的输入符号集合Σ ； 3) 状态转移函数，以一个状态 q 和一个输入符号 a 为变量，返回一个状态 p ，通常记作 p δ (q, a) 。 因此，有限状态机A 可以表示为： A (Q,Σ,δ , q ,F ) ( 1) 0 状态转移图是对有限状态机进行描述的一种直观方法。状态转移图定义如下： 1) 对 Q 中每个状态，存在一个顶点； 2) 对 Q 中每个状态q 和Σ 中每个输入符号 a，设p δ (q, a) ，于是有从顶点 q 到顶点 p 的箭弧a 。