最新有穷自动机在“设备管理系统”开发中的应用.docxVIP

仅供个人参考 仅供个人参考 不得用于商业用途 不得用于商业用途 有穷自动机在“设备管理系统”开发中的应用 “设备管理系统”是对设备从购入T报废整个使用过程进行全 面管理的计算机信息管理系统。设备在其使用过程的现状不断发 生改变，因而使设备管理具有很强的动态化特征。 如果在系统分 析阶段不能对设备生命周期的状态变换过程做出准确、 清晰的描 述，将会导致运行阶段非法操作的出现, 甚至会引起管理过程的 混乱，造成设备信息的破坏。因此，成功开发设备管理系统的关 健在于对设备管理的全过程做出正确的分析和描述。 简要介绍有 穷自动机方法在开发“设备管理系统”中的应用。 将设备管理全过程作为一个有穷自动机，记为 M; 将设备在其整个使用周期中可能其有的各种现状作为 M的状 态集K; K={ “在用”“待修” “待废”“闲置”“报失” “待调报废：“丢失”“调 出” “退库” 将现有设备管理有关的业务处理作为 M的输入字母表刀(括号 中的字母为该业务处理的代号): 刀={ “待修处理(a)” “待废申请(b) ” “报失处理(k)” “闲置登记 (c)” “修复登记(d) ” “转入出处理(e) ” “待调登记⑴” “调 出经销(g) ”“报废经销(h) ”“丢失拄销(i) ”“退库注销 (j)”……} 将设备状态“在用”作为设备开始状态qo={ “在用” 将设备的“报废”“丢失” “调出”“退库