投稿：有穷自动机在车辆管理系统开发中的应用.docVIP

有穷自动机在车辆管理系统开发中的应用 摘要：本文利用有穷自动机理论对“企业车辆管理”的生命周期状态转化进行了形式化描述。通过分析车辆管理的流程，得到了车辆管理所涉及的各项业务流程，并对各项业务进行了说明，使得车辆管理的业务流程更加清晰。 关键词: ； 中图分类号： 文献标识码：A “在生产厂家”,a)= “空闲待用” δ(“年检保养”,b)= “空闲待用” δ(“空闲待用”,c)= “年检保养” δ(“空闲待用”,d)= “公司加油” δ(“公司加油”,e)= “空闲待用” δ(“空闲待用”,f)= “出车运输” δ(“出车运输”,s)= “空闲待用” δ(“空闲待用”,h)= “故障在修” δ(“故障在修”,g)= “空闲待用” δ(“空闲待用”,p)= “借出公司” δ(“借出公司”,q)= “空闲待用” δ(“出车运输”,i)= “故障在修” δ(“故障在修”,j)= “出车运输” δ(“出车运输”,l)= “加油站加油” δ(“加油站加油”,k)= “出车运输” δ(“出车运输”,n)= “事故扣押” δ(“事故扣押”,m)= “出车运输” δ(“故障在修”,o)= “报废” δ(“借出公司”,r)= “报废” 其相应的状态转换图如图1所示： 图1 车辆管理有穷自动机M状态转换图 通过对图1状态转换图分析可得，车辆管理系统有如下8个业务操作：购车过程管理、运输过程管理、加油过程管理、维修过程管理、借车和还车过程管理、扣押过程管理、年检保养过程管理、车辆报废过程管理。 2.1 购车过程管理 车辆由在生产厂家到空闲待用的过程为购车过程。 当企业需要购车时，由主管经理根据实际情况，填写购车申请单，经总经理审批通过后，由财务部门拨款，由车辆调度部门负责购车。 2.2 运输过程管理 车辆由空闲待用到出车运输，再到空闲待用的过程为运输的过程。 当企业需要使用车辆进行运输时，由司机接收车辆调度制作的派车单执行运输任务。当货物运输到目的地后，司机开车返回公司，交还派车单和运输途中的各种单据，如加油单据、途径收费站收费单据等等，完成运输任务。 2.3 加油过程管理 加油过程分为两类：公司加油和运输途中加油。车辆空闲待用、公司加油两个状态之间的过程为公司加油的过程，车辆在出车运输、加油站加油两个状态之间的过程为运输途中加油的过程。 对于公司加油的过程，当公司中的车辆缺油时，由司机和仓库管理员负责，用仓库中的油罐为车辆加油，并且制作油料出库单，记录加油的油量以备案查询。对于在运输途中加油的过程，当车辆在运输途中缺油时，司机将车辆开到加油站加油，并且接收加油的收费单据，在返回公司时向车辆管理员提交单据备案。 2.4 维修过程管理 车辆从空闲可用到故障在修，这个过程对应的是车辆发生故障送到维修站进行维修的过程。车辆管理员根据车辆的故障情况制定车辆的维修单由司机携带，司机送车到车辆维修单上指定的维修站点进行维修，车辆维修单上记录的是车辆维修的理论信息。 车辆从故障在修到空闲可用，这个过程对应的是车辆维修完成，司机将车辆从维修站取出并开回车队的过程。维修站维修人员根据车辆维修的实际情况填写车辆的维修回单，司机将维修回单交给车辆管理员，车辆管理员将车辆维修回单上的实际维修信息录入系统。 2.5 借车和还车过程管理 当其它单位需要向本企业借车时，由需要借车的单位填写借车申请单，并加盖单位公章。车辆调度部门将借车申请单上报至主管经理审批，主管经理审批通过后，将借车申请单备案，并通知车辆调度部门，将车借给该单位。如果审批没有通过，则通过车辆调度部门将实际情况向该单位答复。 当借车单位用车完成，将车还给本企业时，由车辆调度部门将车接回，做好还车记录，并通知主管经理。如果借车单位在用车期间，不慎将车损坏，无法维修时，借车单位需要将情况通知本企业车辆调度部门，并将车辆报废。车辆调度部门将情况通知主管经理，车辆报废产生的损失由两单位协调。 2.6 扣押过程管理 车辆在出车运输状态、事故扣押状态之间的转换过程为扣押过程。车辆在行驶途中，由于出现交通事故或违章驾驶等原因，被交通管理部门扣押。这时司机负责将情况上报部门领导，并且将交通管理部门的事故处理单据上交公司，由部门领导重新分配运输任务，由新的司机和车辆去执行运输任务。在扣押完成后，由司机将扣押完成的车辆驾驶返回公司。 2.7 年检保养过程管理 车辆从空闲待用到年检保养，再从年检保养到空闲待用的过程为年检保养，车辆从空闲待用到年检保养，这个过程对应的是车辆到达保养年检时限时，车辆管理员根据车辆年检保养情况制定车辆的保养单，保养单上填写了车辆保养的理论费用等信息。司机携带车辆保养单将车辆送到保养单上指定的保养年检站点进行保养年检。 车辆从年检保养到空闲待用，这个过程对应的是车辆年检保养完成回到车队。年检保养完