鲁梦昆， 何　涛， 余　飞

(1 湖北工业大学现代制造质量工程重点实验室，湖北 武汉 430068；2 湖北工业大学机械工程学院，湖北 武汉 430068)

一种基于有限状态机的主控程序状态转移模型

鲁梦昆1,2， 何涛1,2， 余飞1,2

(1 湖北工业大学现代制造质量工程重点实验室，湖北 武汉 430068；2 湖北工业大学机械工程学院，湖北 武汉 430068)

[摘要]自动化程度高的机器设备在运行过程中接收到外部信号或指令时可作出实时反应，但其复杂的控制程序因缺乏理论模型而难以设计。通过对有限状态机原理进行数学分析，应用有限状态机原理，设计出用状态转移图表示的主控程序状态转移模型。其特点是在机器设备的不同运行阶段，与该阶段对应的主控程序状态拥有控制主导权。此模型成功应用于“全自动编织袋套袋机研发项目”PLC主控程序设计，且此模型设计机器自动化主控程序，可以大幅提高机器设备的自动化程度与运作稳定性，状态的转移与条件的关系更清晰。

[关键词]有限状态机； 主控程序； 状态转移； PLC； 编织袋套袋机

系统主控程序简称主程序，是用来设置系统的操作环境、启动事件循环的最高一级程序。有限状态机(Finite State Machine)又称有限状态自动机，是用来表示有限个状态以及这些状态之间转移和动作等行为的数学模型。在计算机控制领域，“状态机”是一种系统设计的规范方法，应用于基于C语言、EDA、LabVIEW及FPGA/CPLD等平台的各种控制程序中[1]，使编程更容易，程序结构更简单,程序的调试、修改与扩展更方便。……