基于有限自动机的列车交接系统研究.pdfVIP

基于有限自动机的列车交接系统研究 闫继钢1武文忠1李汉文1 蒙应杰1是壶1赵雅纳2 1兰州大学信息科学与工程学院，甘肃兰州730000 2兰州光远电子科技有限公司，甘肃兰州730000 摘要：对垂直管理行业进行信息化改造的过程中，流程再造是非常重要的一个环节。本文引入lc 卡、有限状态自动机、工作流等技术，对现有旅客列车交接控制工作流程进行了重构，设计了一个旅 客列车交接工作流模型，系统以IC智能卡刷卡签字确认方式来驱动整个流程的有序运行。已实现的软 件系统的运行结果表明，该模式较好地起到了责任到人、分工明确、互相监督的作用。 关键词：Ic卡有限状态机工作流列车交接 1引 言 铁路运输业发展的进程中不可避免地要将信息技术引入到运输管理的各方面，就我国铁路系统目前正 在使用的客车管理系统来说，它已经为铁路运营部门提高管理效率发挥了较大的作用。但由于该系统是一 个通用性软件，某些方面仍存在不足，例如，对于车辆检修管理，在车辆段旅客列车交接中依然是采用传 统手工交接流程流转，故障检修人员填好信息后，由值班员将这些手工数据输入客车管理系统，就其信息 处理的本质来说只达到了把纸质信息电子化的目的。这种落后的工作流程导致信息化后运营效率仍然停留 在手工管理阶段，究其原因，这是由于在信息化过程中没有考虑到流程再造问题所导致。 针对这一现状，我们课题组研制并实现了一个旅客列车交接软件系统。该系统中引入Ic卡技术，借鉴 Finite DFA【121(Deteministic 进行了重新建模，采用lC智能卡刷卡签字确认方式来驱动整个流程的有序运行，从而达到责任到人、分工 明确、互相监督的作用，可真实反映旅客列车故障的修理和质量验收全过程，提高了车辆段的工作效率， 使得信息化后的流程更加合理化、科学化。 2列车交接系统的模型构建 2．1工作流模型 在遵循我国铁路运输业垂直管理模式前提下，通过对车辆段旅客列车交接现场调研，并听取相关专业人 员意见后，我们引入工作流模型对车辆检修工作流程进行流程再造。在新的工作流程中采用IC卡作为交接 的签字确认手段，并以此来驱动下一阶段工作，另将检查中发现的故障作为新引荐故障进行处理，据此， 可得到旅客列车交接工作流模型如图l所示。 2．2状态模型构造 按照列车交接分工原则和图l，我们在新的工作流模型中引入DFA技术，按照列车进站入库、出站放行 过程中故障的处理状态，建立新的旅客列车交接工作状态模型。如图2所示。 在图2错误l未找到引用源。中，状态流分为列车状态流和故障状态流(虚线表示)。将各状态按序编号 (冈抽检工作不属于流程中必须步骤，不影响状态值，因此不对其编号)，在IC卡驱动下各个状态有序地转 换并将当前状态号存放在数据库的列车记录和故障记录中。 图l旅客列车交接工作流模型图 图2旅客列车交接状态转换图 为描述状态算法的方便性，设某i次列车的状态用Tran_．表示，该次列车n个故障的状态用数组 设计如下。 2．3故障状态转换算法 ProblemStateConVertion(Problem，ProblemState) 输入：Problem～故障记录 ProblemState—Problem初状态(ProblemState=3) 输出：故障末状态 {依据检修班组对Pmblem进行分类； ?班组领取ProbIem并刷膏签认，ProblemState=4； 班组修好Problem并刷卡签认，ProblemState=5； 质检员检查Problem的维修结果并刷卡签认； if(Problem维修合格) ProblemState=6： else{ 将Problem打入不合格库； 重新引荐Problem。ProblemState=3； retIJmProbIemState： ， 验收员检查Problem维修结果并刷卡签认； i坟Problem维修合格) { if(Problem维修维修结果为待料) { 7． Pro