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

The evolvement model of equipment maintenance status based on finite automaton

作　　者：胡浩[1] 伍传丽 鲁玉军[3] 骆华武[4] 

机构地区：[1]浙江理工大学艺术与设计学院,杭州310018 [2]杭州创新生物检控技术有限公司,杭州310018 [3]浙江理工大学机械与自动控制学院,杭州310018 [4]杭州娃哈哈集团有限公司,杭州310033

出　　处：《制造业自动化》2011年第23期64-68,共5页Manufacturing Automation

基　　金：国家自然科学基金项目(50805133);浙江理工大学博士科研启动基金(1109814-Y)

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

关 键 词：维修状态项 维修状态 设备维修状态演化模型 维修状态转移序列 有穷自动机 

分 类 号：TP315[自动化与计算机技术—计算机软件与理论]