[发明专利]基于有限状态自动机的轨道交通自动售检票系统运行控制方法

说明书

技术领域

本发明涉及一种基于有限状态自动机的轨道交通自动售检票系统运行控制方法。 

背景技术

轨道交通自动售检票系统包括硬件和软件两大方面，普遍采用模块化技术，将系统划分为多个主要售检票设备，再将售检票设备划分为多个功能模块，最终将每个功能模块内所包含的子模块划分清楚，具体实现规定的售票和检票功能，达到自动售票和检票的目的。 

现有的轨道交通自动售检票系统存在以下方面的不足：（1）系统的各个功能模块没有明确划分它们的工作状态，或者没有穷尽它们所有可能的工作状态，导致这些功能模块在这些工作状态没有进行妥当的处理，而影响其运行，严重时出现故障，例如设备死锁、停止服务等。（2）即使系统的各个功能模块划分了工作状态，也没有很好处理各个功能模块的工作状态之间的相互关系，例如：自动售票机、自动检票机处于向上报告的工作状态，而车站控制中心尚没有处于接受报告的工作状态，自动售票机和自动检票机需要花费一定的时间来等待车站控制中心的相应；这样就不能很好的完成各功能模块之间的协同工作，在一定程度上影响了自动售检票系统工作的效率。（3）系统整体各个设备中各个功能模块的运行没有全盘统一协调、逻辑关系明确的机制，各个设备基本上各自为政，仅仅在需要传送信息时才有联系，不便于系统的统筹管理和有序运行。 

发明内容

本发明的目的在于解决现有轨道交通自动售检票系统管理上的不足，提供一种新型的基于有限状态自动机的轨道交通自动售检票系统运行控制方法，克服传统自动售检票系统的各个功能模块没有明确划分工作状态，或者没有穷尽它们所有可能的工作状态，导致这些功能模块在这些工作状态没有进行妥当的处理，而影响其运行，严重时出现故障；即使系统的各个功能模块划分了工作状态，也没有很好处理各个功能模块的工作状态之间的相互关系；系统整体各个设备中各个功能模块的运行没有全盘统一协调、逻辑关系明确的机制，各个设备基本上各自为政，仅仅在需要传送信息时才有联系，不便于系统的统筹管理和有序运行等缺点。 

本发明的目的是通过以下技术方案来实现的：基于有限状态自动机的轨道交通自动售检票系统运行控制方法，采用有限状态自动机技术，将轨道交通自动售检票系统明确划分为一系列大状态、中状态、小状态和微状态，清晰规定各个状态相互转移的条件，保证系统的所有状态都是在有效控制之下，它包括以下步骤： 

（1）定义轨道交通自动售检票系统所包括的设备； 

（2）定义每种设备所包括的模块； 

（3）定义每个模块所包括的子模块； 

（4）对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义，轨道交通自动售检票系统正常工作的定义为所有设备都正常，其它情况为异常，设备正常工作的定义为所有模块都正常，其它情况为异常，模块正常工作的定义为所有子模块都正常，其它情况为异常，子模块正常是指组成子模块的所有部分都正常，其它情况为异常； 

（5）编制系统的状态表； 

（6）绘制轨道交通自动售检票系统、设备、模块和子模块的所有状态转移图； 

（7）运行轨道交通自动售检票系统状态监视与转移程序，该程序根据预先定义好的状态以及状态转移路线图，实现状态转移条件的监测和状态转移，或者发出告警讯息，或者转移至预先设置的未知状态。 

本发明还包括一个对整个系统可能出现的异常情况进行细分的步骤。 

本发明所述的设备包括一个线路控制中心LCC、至少一个车站控制中心SCC、至少一个自动售票机TVM、自动检票机AGM和至少一个半自动售票机BOM；每个设备至少包括一个模块，所述的模块至少包括硬币处理模块、纸币处理模块、找零模块、出票模块、扇门机构模块、回收模块、IC卡读写器模块、显示器模块、工控机模块和UPS模块；每个模块至少包括一个子模块。 

本发明所述的轨道交通自动售检票系统状态监视与转移程序包括线路控制中心状态监视与转移、车站控制中心状态监视与转移、自动售票机状态监视与转移、自动检票机状态监视与转移步骤、模块状态监视与转移和子模块状态监视与转移步骤。 

本发明所述的线路控制中心状态监视与转移步骤包括以下步骤： 

（1）线路控制中心的所有变量初始化； 

（2）判断是否接收到来自管理员的状态探询命令，如果没有收到，直接向第一个车站控制中心发送状态探询命令；如果收到，则先向管理员报告轨道交通自动售检票系统状态后再向第一个车站控制中心发送状态探询命令；