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

摘要

本发明公开了一种基于有限状态自动机的轨道交通自动售检票系统运行控制方法，它包括以下步骤：分别定义轨道交通自动售检票系统所包括的设备、模块及子模块；对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义；对整个系统可能出现的异常情况进行细分；编制系统的状态表；绘制状态转移图；运行轨道交通自动售检票系统状态监视与转移程序。本发明将自动售检票系统划分为系统、设备、模块和子模块四个由粗到细的类别，并明确地定义了它们的工作状态，各功能模块之间的逻辑关系明确，统筹管理它们之间的状态转换条件，方便了系统的管理和使用，增强了轨道交通自动售检票系统的可操控性。

主权项

基于有限状态自动机的轨道交通自动售检票系统运行控制方法，采用有限状态自动机技术，将轨道交通自动售检票系统明确划分为一系列大状态、中状态、小状态和微状态，清晰规定各个状态相互转移的条件，保证系统的所有状态都是在有效控制之下，其特征在于：它包括以下步骤：（1）定义轨道交通自动售检票系统所包括的设备；（2）定义每种设备所包括的模块；（3）定义每个模块所包括的子模块；（4）对轨道交通自动售检票系统、设备、模块和子模块是否正常工作作出明确定义，轨道交通自动售检票系统正常工作的定义为所有设备都正常，其它情况为异常，设备正常工作的定义为所有模块都正常，其它情况为异常，模块正常工作的定义为所有子模块都正常，其它情况为异常，子模块正常是指组成子模块的所有部分都正常，其它情况为异常；（5）编制系统的状态表；（6）绘制轨道交通自动售检票系统、设备、模块和子模块的所有状态转移图；（7）运行轨道交通自动售检票系统状态监视与转移程序，该程序根据预先定义好的状态以及状态转移路线图，实现状态转移条件的监测和状态转移，或者发出告警讯息，或者转移至预先设置的未知状态。