有穷自动机在车辆管理系统中的应用ppt课件.pptx

2018,有穷自动机在车辆管理系统中的应用,目 录,背景与意义,Background,有穷自动机设计,Finite automata,论文总结,Summary of paper,参考文献,Reference,01,02,03,04,01,背景与意义,车辆管理是企业日常管理不可缺少的组成部分，车辆在其使用过程的现状不断发生改变，因而使车辆管理具有很强的动态化特征。利用有穷自动机理论对“企业车辆管理”的生命周期状态转化进行了形式化描述。通过分析车辆管理的流程，得到了车辆管理所涉及的各项业务流程，并对各项业务进行了说明，可以使得车辆管理的业务流程更加清晰。,02,有穷自动机设计,通过对车辆管理系统的需求分析，将车辆管理的全过程作为一个有穷自动机，记为 M=(Q，q0，F)。（1）将车辆在整个使用周期中可能出现的各种现状作为M的状态集Q；Q=“在生产厂家”，“空闲待用”，“出车运输”，“事故扣押”，“故障在修”，“车检保养”，“加油站加油”，“公司加油”，“借出”，“报废”；,有穷自动机设计,（2）将现有车辆管理的有关业务处理作为M的输入字母表（括号中的字母为该业务处理的代号）：=“购车（a）”，“保养完成（b）”，“送车保养（c）”，“车辆加油（d）”，“加油完成（e）”，“派车运输（f）”，“维修完成（g）”，“车辆送修（h）”，“运输途中故障送修（i）”，“运输途中维修完成（j）”，“运输途中加油完成（k）”，“运输途中加油（l）”，“事故处理完成（m）”，“发生事故或违章（n）”，“车辆报废（o）”，“借用（p）”，“还车（q）”，“借出过程报废（r）”，“运输完成（s）”；,有穷自动机设计,（3）将车辆“在生产厂家”状态作为设备开始状态q0=“在生产厂家”；（4）将车辆“报废”状态作为M的终止状态集F=“报废”；（5）把各项业务处理引起的车辆状态变化作为M的从QX Q的 映射（描述中，业务处理用过相应的字母代号表示），定义如下：(“在生产厂家”，a)=“空闲待用”(“年检保养”，b)=“空闲待用”(“空闲待用”，c)=“年检保养”(“空闲待用”，d)=“公司加油”(“公司加油”，e)=“空闲待用”,有穷自动机设计,(“故障在修”，g)=“空闲待用”(“空闲待用”，p)=“借出公司”(“借出公司”，q)=“空闲待用”(“出车运输”，i)=“故障在修”(“故障在修”，j)=“出车运输”(“出车运输”，l)=“加油站加油”(“加油站加油”，k)=“出车运输”(“出车运输”，n)=“事故扣押”(“事故扣押”，m)=“出车运输”(“故障在修”，o)=“报废”(“借出公司”，r)=“报废”,有穷自动机设计,相应的状态转换图如下所示：,03,论文总结,通过对状态转换图分析可得，车辆管理系统有如下8个业务操作:购车过程管理、运输过程管理、加油过程管理、维修过程管理、借车和还车过程管理、扣押过程管理、年检保养过程管理、车辆报废过程管理。本文利用有穷自动机原理详细分析了车辆管理系统各项业务处理的合法性，对后续“车辆管理系统”开发提供了良好的参考依据。,04,参考论文,参考文献：1 孙珂.有穷自动机在事务管理软件开发中的应用J.计算机技术与发展,1993(5):28-31.2 赵丽敏,曹金凤,宋秀芹.有限自动机在自动控制软件分析中的应用J.中国科技信息,2007(9):127-128.3 陈继锋,徐亚妮,沈钧毅.一种基于确定型有穷自动机的动物识别系统的设计方法J.微电子 学与计算机,2005,22(12):55-58.4 刘利军,怀进鹏.基于有穷自动机的网络扫描检测算法研究与实现J.计算机研究与发展,2006,43(3):417-422.5 代士磊.高速公路ETC和MTC方式下车辆延误比较J.哈尔滨商业大学学报(自然科学版),2012,28(1):99-101.,THANKS,谢谢聆听,