基于自动机的设备维修状态演化模型研究

目前采用维修文档记录与管理每次设备维修活动,对于设备维修过程没有建立模型,导致设备维修信息缺乏系统性。为此在逻辑层次建立设备维修状态演化模型,对设备维修过程进行定性描述。在分析设备维修过程的动力学特性的基础上,提出维修状态项与维修状态的概念。维修状态项的所有维修事件被归纳为恢复性维修事件、换改型维修事件以及设备改造型维修事件这3类维修事件,维修状态项的维修过程被归纳A/B/C这3种维修模式,在每种维修模式下,维修状态项的维修过程被分解为维修事件序列以及维修状态转移序列,维修状态转移序列被维修事件序列驱动与控制,两类符号序列之间的逻辑关联采用有穷自动机进行形式化的定义,从而建立设备维修状态演化模型。最后以碳酸吹瓶机的设备维修状态演化模型为案例进行例证。