CN102915567B - 基于有限状态自动机的轨道交通自动售检票系统运行控制方法 - Google Patents
基于有限状态自动机的轨道交通自动售检票系统运行控制方法 Download PDFInfo
- Publication number
- CN102915567B CN102915567B CN201110436050.0A CN201110436050A CN102915567B CN 102915567 B CN102915567 B CN 102915567B CN 201110436050 A CN201110436050 A CN 201110436050A CN 102915567 B CN102915567 B CN 102915567B
- Authority
- CN
- China
- Prior art keywords
- state
- normal
- module
- automatic
- abnormal
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Abstract
本发明公开了一种基于有限状态自动机的轨道交通自动售检票系统运行控制方法，它包括以下步骤：分别定义轨道交通自动售检票系统所包括的设备、模块及子模块；对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义；对整个系统可能出现的异常情况进行细分；编制系统的状态表；绘制状态转移图；运行轨道交通自动售检票系统状态监视与转移程序。本发明将自动售检票系统划分为系统、设备、模块和子模块四个由粗到细的类别，并明确地定义了它们的工作状态，各功能模块之间的逻辑关系明确，统筹管理它们之间的状态转换条件，方便了系统的管理和使用，增强了轨道交通自动售检票系统的可操控性。
Description
技术领域
本发明涉及一种基于有限状态自动机的轨道交通自动售检票系统运行控制方法。
背景技术
轨道交通自动售检票系统包括硬件和软件两大方面，普遍采用模块化技术，将系统划分为多个主要售检票设备，再将售检票设备划分为多个功能模块，最终将每个功能模块内所包含的子模块划分清楚，具体实现规定的售票和检票功能，达到自动售票和检票的目的。
现有的轨道交通自动售检票系统存在以下方面的不足：（1）系统的各个功能模块没有明确划分它们的工作状态，或者没有穷尽它们所有可能的工作状态，导致这些功能模块在这些工作状态没有进行妥当的处理，而影响其运行，严重时出现故障，例如设备死锁、停止服务等。（2）即使系统的各个功能模块划分了工作状态，也没有很好处理各个功能模块的工作状态之间的相互关系，例如：自动售票机、自动检票机处于向上报告的工作状态，而车站控制中心尚没有处于接受报告的工作状态，自动售票机和自动检票机需要花费一定的时间来等待车站控制中心的相应；这样就不能很好的完成各功能模块之间的协同工作，在一定程度上影响了自动售检票系统工作的效率。（3）系统整体各个设备中各个功能模块的运行没有全盘统一协调、逻辑关系明确的机制，各个设备基本上各自为政，仅仅在需要传送信息时才有联系，不便于系统的统筹管理和有序运行。
发明内容
本发明的目的在于解决现有轨道交通自动售检票系统管理上的不足，提供一种新型的基于有限状态自动机的轨道交通自动售检票系统运行控制方法，克服传统自动售检票系统的各个功能模块没有明确划分工作状态，或者没有穷尽它们所有可能的工作状态，导致这些功能模块在这些工作状态没有进行妥当的处理，而影响其运行，严重时出现故障；即使系统的各个功能模块划分了工作状态，也没有很好处理各个功能模块的工作状态之间的相互关系；系统整体各个设备中各个功能模块的运行没有全盘统一协调、逻辑关系明确的机制，各个设备基本上各自为政，仅仅在需要传送信息时才有联系，不便于系统的统筹管理和有序运行等缺点。
本发明的目的是通过以下技术方案来实现的：基于有限状态自动机的轨道交通自动售检票系统运行控制方法，采用有限状态自动机技术，将轨道交通自动售检票系统明确划分为一系列大状态、中状态、小状态和微状态，清晰规定各个状态相互转移的条件，保证系统的所有状态都是在有效控制之下，它包括以下步骤：
（1）定义轨道交通自动售检票系统所包括的设备；
（2）定义每种设备所包括的模块；
（3）定义每个模块所包括的子模块；
（4）对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义，轨道交通自动售检票系统正常工作的定义为所有设备都正常，其它情况为异常，设备正常工作的定义为所有模块都正常，其它情况为异常，模块正常工作的定义为所有子模块都正常，其它情况为异常，子模块正常是指组成子模块的所有部分都正常，其它情况为异常；
（5）编制系统的状态表；
（6）绘制轨道交通自动售检票系统、设备、模块和子模块的所有状态转移图；
（7）运行轨道交通自动售检票系统状态监视与转移程序，该程序根据预先定义好的状态以及状态转移路线图，实现状态转移条件的监测和状态转移，或者发出告警讯息，或者转移至预先设置的未知状态。
本发明还包括一个对整个系统可能出现的异常情况进行细分的步骤。
本发明所述的设备包括一个线路控制中心LCC、至少一个车站控制中心SCC、至少一个自动售票机TVM、自动检票机AGM和至少一个半自动售票机BOM；每个设备至少包括一个模块，所述的模块至少包括硬币处理模块、纸币处理模块、找零模块、出票模块、扇门机构模块、回收模块、IC卡读写器模块、显示器模块、工控机模块和UPS模块；每个模块至少包括一个子模块。
本发明所述的轨道交通自动售检票系统状态监视与转移程序包括线路控制中心状态监视与转移、车站控制中心状态监视与转移、自动售票机状态监视与转移、自动检票机状态监视与转移步骤、模块状态监视与转移和子模块状态监视与转移步骤。
本发明所述的线路控制中心状态监视与转移步骤包括以下步骤：
（1）线路控制中心的所有变量初始化；
（2）判断是否接收到来自管理员的状态探询命令，如果没有收到，直接向第一个车站控制中心发送状态探询命令；如果收到，则先向管理员报告轨道交通自动售检票系统状态后再向第一个车站控制中心发送状态探询命令；
（3）接收来自第一个车站控制中心的状态报告，判断其状态是否正常，如果不正常，将轨道交通自动售检票系统的状态转为异常并向管理员报告；如果正常，向下一个车站控制中心发送状态探询命令；
（4）重复步骤（3），直到探询到所有的车站控制中心的状态都正常，则将轨道交通自动售检票系统的状态转为正常并向管理员报告；有任意一个车站控制中心的状态为异常，轨道交通自动售检票系统的状态都转为异常并向管理员报告；
（5）重复步骤（2）～（4）。
本发明所述的车站控制中心状态监视与转移步骤包括以下步骤：
（1）车站控制中心的所有变量初始化；
（2）判断是否接收到来自线路控制中心或管理员的状态探询命令，如果没有收到，直接向第一台自动售票机发送状态探询命令；如果收到，则先向线路控制中心或管理员报告车站控制中心的状态后再向第一台自动售票机发送状态探询命令；
（3）接收来自第一台自动售票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动售票机发送状态探询命令；
（4）重复步骤（3），直到探询到所有的自动售票机的状态都为正常，向第一台自动检票机发送状态探询命令；
（5）接收来自第一台自动检票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动检票机发送状态探询命令；
（6）重复步骤（5），直到探询到所有的自动检票机的状态都为正常，向半自动售票机发送状态探询命令；
（7）接收来自半自动售票机的状态报告，判断其状态是否正常，如果正常，将车站控制中心的状态转为正常并向管理员报告；如果不正常，将车站控制中心的状态转为异常并向管理员报告；
（8）重复步骤（2）～（7）。
本发明所述的自动售票机状态监视与转移步骤包括以下步骤：
（1）自动售票机的所有变量初始化；
（2）判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向硬币处理模块发送状态探询命令；如果收到，则先向车站控制中心报告自动售票机的状态后再向硬币处理模块发送状态探询命令；
（3）接收来自硬币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向纸币处理模块发送状态探询命令；
（4）接收来自纸币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向找零模块发送状态探询命令；
（5）接收来自找零模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向出票模块发送状态探询命令；
（6）接收来自出票模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
（7）接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，将自动售票机的状态转为正常并向管理员报告；
（8）重复步骤（2）～（7）。
本发明所述的自动检票机状态监视与转移步骤包括以下步骤：
（1）自动检票机的所有变量初始化；
（2）判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向扇门机构模块发送状态探询命令；如果收到，则先向车站控制中心报告自动检票机的状态后再向扇门机构模块发送状态探询命令；
（3）接收来自扇门机构模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向回收模块发送状态探询命令；
（4）接收来自回收模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向IC卡读写器模块发送状态探询命令；
（5）接收来自IC卡读写器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
（6）接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，将自动检票机的状态转为正常并向管理员报告；
（7）重复步骤（2）～（6）。
本发明的有益效果是：将自动售检票系统划分为系统、设备、模块和子模块四个由粗到细的类别，并明确地定义了它们的工作状态，各功能模块之间的逻辑关系明确，统筹管理它们之间的状态转换条件，方便了系统的管理和使用，增强了轨道交通自动售检票系统的可操控性。
附图说明
图1为轨道交通自动售检票（AFC）系统的状态转移图一；
图2为轨道交通自动售检票（AFC）系统的状态转移图二；
图3为自动售票机（TVM）的状态转移图；
图4为自动检票机（AGM）的状态转移图；
图5为线路控制中心（LC）状态转移软件流程图；
图6为车站控制中心（SC）状态转移软件流程图；
图7为自动售票机（TVM）状态转移软件流程图；
图8为自动检票机（AGM）状态转移软件流程图。
具体实施方式
下面结合附图进一步描述本发明的技术方案：基于有限状态自动机的轨道交通自动售检票系统运行控制方法，采用有限状态自动机技术，将轨道交通自动售检票系统明确划分为一系列大状态、中状态、小状态和微状态，清晰规定各个状态相互转移的条件，保证系统的所有状态都是在有效控制之下，它包括以下步骤：
（1）定义轨道交通自动售检票系统所包括的设备；
（2）定义每种设备所包括的模块；
（3）定义每个模块所包括的子模块；
（4）对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义，轨道交通自动售检票系统正常工作的定义为所有设备都正常，其它情况为异常，设备正常工作的定义为所有模块都正常，其它情况为异常，模块正常工作的定义为所有子模块都正常，其它情况为异常，子模块正常是指组成子模块的所有部分都正常，其它情况为异常；
（5）编制系统的状态表；
（6）绘制轨道交通自动售检票系统、设备、模块和子模块的所有状态转移图；
（7）运行轨道交通自动售检票系统状态监视与转移程序，该程序根据预先定义好的状态以及状态转移路线图，实现状态转移条件的监测和状态转移，或者发出告警讯息，或者转移至预先设置的未知状态。
对于系统可能出现的异常情况较多的情况下，它还包括一个对整个系统可能出现的异常情况进行细分的步骤。
设系统的状态为S，状态转移条件为T，第i（i=0，1，2，……）时刻系统的状态为Si，状态转移条件为Tj（j=0，1，2，……），从而：Si=F（Si-1，Tj），式中，F是状态转移函数，当Tj=1时，F为恒等函数，即Si＝Si-1，状态没有变化；在某些特殊条件Tj下，也有Si＝Si-1，状态也没有变化；在其它所有条件下，都有Si≠Si-1，状态发生变化。
在轨道交通自动售检票（AFC）系统中，状态是随机变化的，因此F不能用一个固定的数学函数来表达，根据AFC的具体情况，改用状态转移图和状态转移表。
设状态为Sabcdi，其中i表示时刻，abcd表示状态类型：Sa为大状态，Sab（设备名）为中状态，Sabc（设备名，模块名）为小状态，Sabcd（设备名，模块名，子模块名）为微状态。
对于AFC大系统，Sa=1表示正常状态，Sa＞1表示非正常状态，Sa＜1表示系统非法。
对于TVM（自动售票机）、AGM（自动检票机）、BOM（半自动售票机）、SCC（车站控制中心）、LCC（线路控制中心）等设备，Sab=1表示正常状态，Sab＞1表示非正常状态，Sab＜1表示系统非法。
对于设备内的各个模块，以及各个模块内的各个子模块，状态的定义类似。
以下列表说明AFC大系统各个大状态及其保持条件：
下面的表格比较详细地说明大状态A、中状态B、小状态C、微状态D及其保持条件。
两个以上设备同时异常的情况很多，这是一个组合数：26种。
上述设备的运行是相互独立的，两个以上设备同时异常的概率远小于单设备异常的概率。设每个设备异常的概率为p，p一般很小（例如0.01），则两个设备同时异常的概率为pхp（例如0.0001），pхp比p小得多，只要确知更小概率异常是哪些设备异常即可。
状态Si是指系统、设备、模块、子模块的工作状态，状态分为正常状态和异常状态，正常是指能够正常提供规定功能的状态；异常为至少有一项规定功能不能提供的状态。
状态转移条件Tj是指从一个状态转移到另一个状态的条件。由于系统、设备、模块、子模块具有依次包含和被包含的关系，所以包含者的状态从正常转移到异常的条件，必然是其对应众多被包含者至少一个的状态从正常转移到异常，而包含者的状态从异常转移到正常的条件，必然是其对应众多被包含者全体的状态都从异常转移到正常，或者保持正常。
如图1、图2所示，为AFC系统的状态转移图，只有系统中的TVM、AGM、BOM、SCC和LCC任何一个都正常，AFC系统才为正常状态；只要TVM、AGM、BOM、SCC和LCC有任意一个或多个异常，AFC系统就为异常状态。
设备包括一个线路控制中心LCC、五个车站控制中心SCC、两个自动售票机TVM、两个自动检票机AGM和一个半自动售票机BOM；每个设备至少包括一个模块，所述的模块至少包括硬币处理模块、纸币处理模块、找零模块、出票模块、扇门机构模块、回收模块、IC卡读写器模块、显示器模块、工控机模块和UPS模块；每个模块至少包括一个子模块，每个模块包括的子模块十分详细和复杂，这里不一一穷举。
如图3所示，为自动售票机（TVM）的状态转移图，只有设备中的主控单元、供电电源、显示模块、硬币识别模块、硬币找零模块、纸币识别模块、纸币找零模块、单程票发送模块、储值票充值模块和IC卡读写器任何一个都正常，自动售票机（TVM）才为正常状态；只要其中有任意一个或多个异常，自动售票机（TVM）就为异常状态。
如图4所示，为自动检票机（AGM）的状态转移图，只有设备中的主控单元、供电电源、显示模块、扇门控制机构、单程票回收模块和IC卡读写器任何一个都正常，自动检票机（AGM）才为正常状态；只要其中有任意一个或多个异常，自动检票机（AGM）就为异常状态。
轨道交通自动售检票系统状态监视与转移程序包括线路控制中心状态监视与转移、车站控制中心状态监视与转移、自动售票机状态监视与转移、自动检票机状态监视与转移步骤、模块状态监视与转移和子模块状态监视与转移步骤。
如图5所示，线路控制中心状态监视与转移步骤包括以下步骤：
（1）线路控制中心的所有变量初始化；
（2）判断是否接收到来自管理员的状态探询命令，如果没有收到，直接向第一个车站控制中心发送状态探询命令；如果收到，则先向管理员报告轨道交通自动售检票系统状态后再向第一个车站控制中心发送状态探询命令；
（3）接收来自第一个车站控制中心的状态报告，判断其状态是否正常，如果不正常，将轨道交通自动售检票系统的状态转为异常并向管理员报告；如果正常，向下一个车站控制中心发送状态探询命令；
（4）重复步骤（3），直到探询到所有的车站控制中心的状态都正常，则将轨道交通自动售检票系统的状态转为正常并向管理员报告；有任意一个车站控制中心的状态为异常，轨道交通自动售检票系统的状态都转为异常并向管理员报告；
（5）重复步骤（2）～（4）。
如图6所示，车站控制中心状态监视与转移步骤包括以下步骤：
（1）车站控制中心的所有变量初始化；
（2）判断是否接收到来自线路控制中心或管理员的状态探询命令，如果没有收到，直接向第一台自动售票机发送状态探询命令；如果收到，则先向线路控制中心或管理员报告车站控制中心的状态后再向第一台自动售票机发送状态探询命令；
（3）接收来自第一台自动售票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动售票机发送状态探询命令；
（4）重复步骤（3），直到探询到所有的自动售票机的状态都为正常，向第一台自动检票机发送状态探询命令；
（5）接收来自第一台自动检票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动检票机发送状态探询命令；
（6）重复步骤（5），直到探询到所有的自动检票机的状态都为正常，向半自动售票机发送状态探询命令；
（7）接收来自半自动售票机的状态报告，判断其状态是否正常，如果正常，将车站控制中心的状态转为正常并向管理员报告；如果不正常，将车站控制中心的状态转为异常并向管理员报告；
（8）重复步骤（2）～（7）。
如图7所示，自动售票机状态监视与转移步骤包括以下步骤，其中，硬币处理模块为硬币机，纸币处理模块为纸币机，找零模块为找零机，出票模块为出票机，显示器模块为显示器：
（1）自动售票机的所有变量初始化；
（2）判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向硬币处理模块发送状态探询命令；如果收到，则先向车站控制中心报告自动售票机的状态后再向硬币处理模块发送状态探询命令；
（3）接收来自硬币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向纸币处理模块发送状态探询命令；
（4）接收来自纸币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向找零模块发送状态探询命令；
（5）接收来自找零模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向出票模块发送状态探询命令；
（6）接收来自出票模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
（7）接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，将自动售票机的状态转为正常并向管理员报告；
（8）重复步骤（2）～（7）。
如图8所示，自动检票机状态监视与转移步骤包括以下步骤，其中，扇门机构模块为扇门机，回收模块为回收机，IC卡读写器模块为读写器，显示器模块为显示器：
（1）自动检票机的所有变量初始化；
（2）判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向扇门机构模块发送状态探询命令；如果收到，则先向车站控制中心报告自动检票机的状态后再向扇门机构模块发送状态探询命令；
（3）接收来自扇门机构模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向回收模块发送状态探询命令；
（4）接收来自回收模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向IC卡读写器模块发送状态探询命令；
（5）接收来自IC卡读写器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
（6）接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，将自动检票机的状态转为正常并向管理员报告；
（7）重复步骤（2）～（6）。
模块状态监视与转移步骤与所述的系统及设备的监视与转移步骤类似，即为依次探询模块中包括的所有子模块的工作状态，如果模块中所包括的所有子模块的工作状态都为正常，则该模块的状态正常；否则，有任意一个或多个子模块的工作状态为异常，则该模块的状态异常。
子模块状态监视与转移步骤与所述的系统及设备的监视与转移步骤类似，即为依次探询子模块中包括的所有组成部分的工作状态，如果子模块中所包括的所有组成部分的工作状态都为正常，则该子模块的状态正常；否则，有任意一个或多个组成部分的工作状态为异常，则该子模块的状态异常。
Claims (3)
1.基于有限状态自动机的轨道交通自动售检票系统运行控制方法，采用有限状态自动机技术，将轨道交通自动售检票系统明确划分为一系列大状态、中状态、小状态和微状态，清晰规定各个状态相互转移的条件，保证系统的所有状态都是在有效控制之下，其特征在于：它包括以下步骤：
（1）定义轨道交通自动售检票系统所包括的设备；
（2）定义每种设备所包括的模块；
（3）定义每个模块所包括的子模块；
（4）对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义，轨道交通自动售检票系统正常工作的定义为所有设备都正常，其它情况为异常，设备正常工作的定义为所有模块都正常，其它情况为异常，模块正常工作的定义为所有子模块都正常，其它情况为异常，子模块正常是指组成子模块的所有部分都正常，其它情况为异常；
（5）编制系统的状态表；
（6）绘制轨道交通自动售检票系统、设备、模块和子模块的所有状态转移图；
（7）运行轨道交通自动售检票系统状态监视与转移程序，该程序根据预先定义好的状态以及状态转移路线图，实现状态转移条件的监测和状态转移，或者发出告警讯息，或者转移至预先设置的未知状态；
所述的轨道交通自动售检票系统状态监视与转移程序，执行状态转移条件的监测和状态转移、发出告警讯息、转移至预先设置的未知状态的功能，包括系统及设备的监视与转移、模块状态监视与转移和子模块状态监视与转移步骤，其中，所述的系统及设备的监视与转移包括线路控制中心状态监视与转移、车站控制中心状态监视与转移、自动售票机状态监视与转移和自动检票机状态监视与转移步骤；
所述的线路控制中心状态监视与转移步骤，包括以下子步骤：
S11：线路控制中心的所有变量初始化；
S12：判断是否接收到来自管理员的状态探询命令，如果没有收到，直接向第一个车站控制中心发送状态探询命令；如果收到，则先向管理员报告轨道交通自动售检票系统状态后再向第一个车站控制中心发送状态探询命令；
S13：接收来自第一个车站控制中心的状态报告，判断其状态是否正常，如果不正常，将轨道交通自动售检票系统的状态转为异常并向管理员报告；如果正常，向下一个车站控制中心发送状态探询命令；
S14：重复步骤S13：，直到探询到所有的车站控制中心的状态都正常，则将轨道交通自动售检票系统的状态转为正常并向管理员报告；有任意一个车站控制中心的状态为异常，轨道交通自动售检票系统的状态都转为异常并向管理员报告；
S15：重复步骤S12～S14；
所述的车站控制中心状态监视与转移步骤，包括以下子步骤：
S21：车站控制中心的所有变量初始化；
S22：判断是否接收到来自线路控制中心或管理员的状态探询命令，如果没有收到，直接向第一台自动售票机发送状态探询命令；如果收到，则先向线路控制中心或管理员报告车站控制中心的状态后再向第一台自动售票机发送状态探询命令；
S23：接收来自第一台自动售票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动售票机发送状态探询命令；
S24：重复步骤S23，直到探询到所有的自动售票机的状态都为正常，向第一台自动检票机发送状态探询命令；
S25：接收来自第一台自动检票机的状态报告，判断其状态是否正常，如果不正常，将车站控制中心的状态转为异常并向管理员报告；如果正常，向下一台自动检票机发送状态探询命令；
S26：重复步骤S25，直到探询到所有的自动检票机的状态都为正常，向半自动售票机发送状态探询命令；
S27：接收来自半自动售票机的状态报告，判断其状态是否正常，如果正常，将车站控制中心的状态转为正常并向管理员报告；如果不正常，将车站控制中心的状态转为异常并向管理员报告；
S28：重复步骤S22～S27；
所述的自动售票机状态监视与转移步骤，包括以下子步骤：
S31：自动售票机的所有变量初始化；
S32：判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向硬币处理模块发送状态探询命令；如果收到，则先向车站控制中心报告自动售票机的状态后再向硬币处理模块发送状态探询命令；
S33：接收来自硬币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向纸币处理模块发送状态探询命令；
S34：接收来自纸币处理模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向找零模块发送状态探询命令；
S35：接收来自找零模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向出票模块发送状态探询命令；
S36：接收来自出票模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
S37：接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动售票机的状态转为异常并向管理员报告；如果正常，将自动售票机的状态转为正常并向管理员报告；
S38：重复步骤S32～S37；
所述的自动检票机状态监视与转移步骤，包括以下子步骤：
S41：自动检票机的所有变量初始化；
S42：判断是否接收到来自车站控制中心的状态探询命令，如果没有收到，直接向扇门机构模块发送状态探询命令；如果收到，则先向车站控制中心报告自动检票机的状态后再向扇门机构模块发送状态探询命令；
S43：接收来自扇门机构模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向回收模块发送状态探询命令；
S44：接收来自回收模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向IC卡读写器模块发送状态探询命令；
S45：接收来自IC卡读写器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，向显示器模块发送状态探询命令；
S46：接收来自显示器模块的状态报告，判断其状态是否正常，如果不正常，将自动检票机的状态转为异常并向管理员报告；如果正常，将自动检票机的状态转为正常并向管理员报告；
S47：重复步骤S42～S46；
模块状态监视与转移步骤与所述的系统及设备的监视与转移步骤类似，即为依次探询模块中包括的所有子模块的工作状态，如果模块中所包括的所有子模块的工作状态都为正常，则该模块的状态正常；否则，有任意一个或多个子模块的工作状态为异常，则该模块的状态异常；
子模块状态监视与转移步骤与所述的系统及设备的监视与转移步骤类似，即为依次探询子模块中包括的所有组成部分的工作状态，如果子模块中所包括的所有组成部分的工作状态都为正常，则该子模块的状态正常；否则，有任意一个或多个组成部分的工作状态为异常，则该子模块的状态异常。
2.根据权利要求1所述的基于有限状态自动机的轨道交通自动售检票系统运行控制方法，其特征在于：它还包括一个对整个系统可能出现的异常情况进行细分的步骤。
3.根据权利要求1所述的基于有限状态自动机的轨道交通自动售检票系统运行控制方法，其特征在于：所述的设备包括一个线路控制中心LCC、至少一个车站控制中心SCC、至少一个自动售票机TVM、自动检票机AGM和至少一个半自动售票机BOM；每个设备至少包括一个模块，所述的模块至少包括硬币处理模块、纸币处理模块、找零模块、出票模块、扇门机构模块、回收模块、IC卡读写器模块、显示器模块、工控机模块和UPS模块；每个模块至少包括一个子模块。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201110436050.0A CN102915567B (zh) | 2011-12-22 | 2011-12-22 | 基于有限状态自动机的轨道交通自动售检票系统运行控制方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201110436050.0A CN102915567B (zh) | 2011-12-22 | 2011-12-22 | 基于有限状态自动机的轨道交通自动售检票系统运行控制方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102915567A CN102915567A (zh) | 2013-02-06 |
| CN102915567B true CN102915567B (zh) | 2014-09-03 |
Family
ID=47613916
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201110436050.0A Expired - Fee Related CN102915567B (zh) | 2011-12-22 | 2011-12-22 | 基于有限状态自动机的轨道交通自动售检票系统运行控制方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102915567B (zh) |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105321265B (zh) * | 2014-07-11 | 2018-02-16 | 国网安徽省电力公司 | Ic卡智能电表现场故障诊断及解决方法 |
| CN105929355A (zh) * | 2016-04-12 | 2016-09-07 | 广东工业大学 | 一种智能电表故障诊断方法 |
Citations (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1396534A (zh) * | 2001-06-12 | 2003-02-12 | 欧姆龙株式会社 | 非接触式自动检票装置 |
| CN1967155A (zh) * | 2006-11-01 | 2007-05-23 | 上海轨道交通设备发展有限公司 | 轨道交通设备维护系统故障综合诊断方法及装置 |
| CN101236642A (zh) * | 2008-02-15 | 2008-08-06 | 上海申通轨道交通研究咨询有限公司 | 基于票务数据的分级客流监控系统及其方法 |
| CN101241587A (zh) * | 2008-02-15 | 2008-08-13 | 上海申通轨道交通研究咨询有限公司 | 轨道交通自动售检票系统 |
| CN101482980A (zh) * | 2008-04-09 | 2009-07-15 | 天津市先志越洋科技有限公司 | 轨道交通专用闸机的嵌入式控制系统 |
| CN201298244Y (zh) * | 2008-11-11 | 2009-08-26 | 高新现代智能系统股份有限公司 | 自动售票机 |
| CN101927777A (zh) * | 2010-09-03 | 2010-12-29 | 中铁上海设计院集团有限公司 | 轨道交通中设备故障后的系统联动方法 |
| CN101997741A (zh) * | 2009-08-31 | 2011-03-30 | 方正国际软件(北京)有限公司 | 一种轨道交通设备状态的网络监视方法及系统 |
-
2011
- 2011-12-22 CN CN201110436050.0A patent/CN102915567B/zh not_active Expired - Fee Related
Patent Citations (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1396534A (zh) * | 2001-06-12 | 2003-02-12 | 欧姆龙株式会社 | 非接触式自动检票装置 |
| CN1967155A (zh) * | 2006-11-01 | 2007-05-23 | 上海轨道交通设备发展有限公司 | 轨道交通设备维护系统故障综合诊断方法及装置 |
| CN101236642A (zh) * | 2008-02-15 | 2008-08-06 | 上海申通轨道交通研究咨询有限公司 | 基于票务数据的分级客流监控系统及其方法 |
| CN101241587A (zh) * | 2008-02-15 | 2008-08-13 | 上海申通轨道交通研究咨询有限公司 | 轨道交通自动售检票系统 |
| CN101482980A (zh) * | 2008-04-09 | 2009-07-15 | 天津市先志越洋科技有限公司 | 轨道交通专用闸机的嵌入式控制系统 |
| CN201298244Y (zh) * | 2008-11-11 | 2009-08-26 | 高新现代智能系统股份有限公司 | 自动售票机 |
| CN101997741A (zh) * | 2009-08-31 | 2011-03-30 | 方正国际软件(北京)有限公司 | 一种轨道交通设备状态的网络监视方法及系统 |
| CN101927777A (zh) * | 2010-09-03 | 2010-12-29 | 中铁上海设计院集团有限公司 | 轨道交通中设备故障后的系统联动方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102915567A (zh) | 2013-02-06 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN203287996U (zh) | 城市公共自行车管理控制系统 | |
| CN102831513A (zh) | 面向集装箱物流领域的物联网应用层中间件与信息融合集成方法 | |
| CN102591268A (zh) | 经由看板卡控制jit物料生产 | |
| CN103198391A (zh) | 基于蚁群算法的电力通信备品备件管理系统及方法 | |
| CN101221677A (zh) | 用于自动柜员机远程诊断和配置的方法和系统 | |
| CN104714804A (zh) | 一种轨道交通自动售检票系统读写器中间件 | |
| CN103777928A (zh) | 一种用作银行前台操作界面的图形前端系统 | |
| CN102915567B (zh) | 基于有限状态自动机的轨道交通自动售检票系统运行控制方法 | |
| CN106296361A (zh) | 一种基于手机APP和Zigbee锁止器的自行车租还系统 | |
| CN107980152A (zh) | Atm清机方法、装置、系统及atm机 | |
| CN101699416B (zh) | 主机与多卡座读卡器的通信方法和系统 | |
| CN100466558C (zh) | 实现对pos系统进行税控数据监控的方法 | |
| CN101183466A (zh) | 一种检票设备群组控制系统及方法 | |
| CN107346298A (zh) | 一种并行总线与uart总线间协议转换的方法及系统 | |
| CN107609750A (zh) | 一种信息资产账卡物更新盘点管理系统 | |
| CN101571905A (zh) | Rfid中间件应用接口转换系统和方法 | |
| CN109150746A (zh) | 一种全局流控方法及装置 | |
| CN104950724A (zh) | 一种自动化仪表及控制设备的维护系统及方法 | |
| CN103294978A (zh) | 一种pos机识别rfid电子标签的方法 | |
| CN103065392A (zh) | 轨道交通半自动售票机系统 | |
| CN101876951A (zh) | 多卡座读卡器识别方法、主机与多卡座读卡器的通信方法 | |
| CN105978734A (zh) | 一种身份核验系统、身份核验系统的热替换方法及系统 | |
| CN106530023A (zh) | 一种税控服务器及税控核心板的防假死方法 | |
| Liu et al. | RFID-based production operation management for multi-varieties and small-batch production | |
| CN103049935A (zh) | 轨道交通自动售检票系统线路控制中心系统 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| PE01 | Entry into force of the registration of the contract for pledge of patent right |
Denomination of invention: Finite state automatic machine based operation control method of automatic rail transit fare collection system Effective date of registration: 20150108 Granted publication date: 20140903 Pledgee: Bank of China Limited by Share Ltd. Chengdu hi tech Industrial Development Zone sub branch Pledgor: SICHUAN FORNEW TECHNOLOGIES Co.,Ltd. Registration number: 2015510000001 |
|
| PLDC | Enforcement, change and cancellation of contracts on pledge of patent right or utility model | ||
| CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20140903 Termination date: 20211222 |
|
| CF01 | Termination of patent right due to non-payment of annual fee |