基于有限状态机模型的自动售货系统
自动售货系统是一种典型的自动状态机。功能日趋复杂的自动售货系统中包括越来越多的状态变化，仅用传统方式难以胜任开发任务。通过对自动售货系统的研究，介绍一种基于自动机理论建立模型的方法，并采用该理论的相关计算方法对模型进行优化，从而得到结构紧凑，功能清晰的软件流程图。本文分别建立了系统的基本状态模型、销售模型和非现金支付模型，得到了各自的状态转移图。对于开发自动售货系统软件，使用本文介绍的方法不容易遗漏功能，而且能加快软件的开发进度。系统开发成功并投入实际应用，证明本文介绍的方法是有效可行的。
自动售货系统 有限状态机模型 非现金支付
丁昊 叶桦
东南大学自动化学院,江苏 南京 210096
国内会议
南京
中文
274-279
2007-11-01（万方平台首次上网日期，不代表论文的发表时间）