欢迎来到天天文库
浏览记录
ID:20193532
大小:38.50 KB
页数:3页
时间:2018-10-11
《有穷自动机在“设备管理系统”开发中应用》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、有穷自动机在“设备管理系统”开发中的应用“设备管理系统”是对设备从购入→报废整个使用过程进行全面管理的计算机信息管理系统。设备在其使用过程的现状不断发生改变,因而使设备管理具有很强的动态化特征。如果在系统分析阶段不能对设备生命周期的状态变换过程做出准确、清晰的描述,将会导致运行阶段非法操作的出现,甚至会引起管理过程的混乱,造成设备信息的破坏。因此,成功开发设备管理系统的关健在于对设备管理的全过程做出正确的分析和描述。简要介绍有穷自动机方法在开发“设备管理系统”中的应用。(1)将设备管理全过程作为一个有穷自动机,记为M;(2)将设备在其整个使用周期中可能其有的各种现状作为M的
2、状态集K;K={“在用”,“待修”,“待废”,“闲置”,“报失”,“待调”“报废”,“丢失”,“调出”,“退库”}(3)将现有设备管理有关的业务处理作为M的输入字母表∑(括号中的字母为该业务处理的代号):∑={“待修处理(a)”,“待废申请(b),“报失处理(k)”,“闲置登记(c)”,“修复登记(d),“转入出处理(e)",“待调登记(f)”,“调出经销(g)”,“报废经销(h)”,“丢失拄销(i)”,“退库注销(j)”,……}(4)将设备状态“在用”作为设备开始状态q0={“在用”};(5)将设备的“报废”、“丢失”、“调出”、“退库”状态作为M的终止状态集F.F={“
3、报废”,“丢失”,“调出”,“退库”}(6)把各项业务处理及引起的设备状态变化原则作为M的从K×∑—〉K的映射δ(δ描述中,业务处理用相应的字母代号表示),δ定义如下:δ(“在用”,a)=“待修”δ(“在用”,b)=“待废”δ(“待修”,d)=“在用”δ(“待修”,b)=“待废”δ(“在用”,e)=“在用”δ(“在用”,c)=“闲置”δ(“闲置”,c)=“在用”δ(“闲置”,j)=“退库”δ(“闲置”,f)=“待调”δ(“侍调”,g)=“调出”δ(“在用”,f)=“待调”δ(“待修”,k)=“报失”δ(“报失”,i)=“丢失”其相应的状态图如图1:图1“设备管理系统”中有穷
4、自动机M的状态图
此文档下载收益归作者所有