有穷自动机的应用.pptVIP

设备管理系统”是对设备从购入→报废整个使用过程进 行全面管理的计算机信息管理系统。设备在其使用过程 的现状不断发生改变，因而使设备管理具有很强的动特 征。如果在系统分析阶段不能对设备生命周期的状态变 换过程做出准确、清晰的描述，将会导致运行阶段非法 操作的出现，甚至会引起管理过程的混乱，造成设备信 息的破坏。因此，成功开发设备管理系统的关健在于对 设备管理的全过程做出正确的分析和描述。简要介绍有 穷自动机方法在开发“设备管理系统”中的应用。 1)将设备管理全过程作为一个有穷自动机，记为M; (2)将设备在其整个使用周期中可能其有的各种现状作为M的状态集K; K={“在用”，“待修”，“待废”，“闲置”，“报失”，“待调”“报废”，“丢失”，“调出”，“退库”} (3)将现有设备管理有关的业务处理作为M的输入字母表∑(括号中的字母为该业务处理的代号): ∑={“待修处理(a)”，“待废申请(b)，“报失处理(k)”，“闲置登记(c)”，“修复登记(d)，“转入出处理(e)，“待调登记(f)”，“调出经销(g)”，“报废经销(h)”，“丢失拄销(i)”，“退库注销(j)”，……} (4)将设备状态“在用”作为设备开始状态q0={“在用”}; (5)将设备的“报废”、“丢失”、“调出”、“退库”状态作为M的终止状态集F. F= {“报废”，“丢失”，“调出”，“退库”} (6)把各项业务处理及引起的设备状态变化原则作为M的从K ×∑—〉K的映射δ(δ描述中，业务处理用相应的字母代号表示)，δ定义如下： δ(“在用”，a ) =“待修” δ(“在用”，b ) =“待废” δ(“待修”，d ) =“在用” δ(“待修”，b ) =“待废” δ(“在用”，e ) =“在用” δ(“在用”，c ) =“闲置” δ(“闲置”，c ) =“在用” δ(“闲置”，j ) =“退库” δ(“闲置”，f ) =“待调” δ(“侍调”，g ) =“调出” δ(“在用”，f ) =“待调” δ(“待修”，k ) =“报失” δ(“报失”，i ) =“丢失”