[發明專利]基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法

有效

• 申請號: 201110436050.0
• 申請日: 2011-12-22
• 公開（公告）號: CN102915567A
• 公開（公告）日: 2013-02-06
• 發明（設計）人: 向生建;陳錫銘;蔣蓉穗;羅亮;鄭軍;周強
• 申請（專利權）人: 四川久遠新方向智能科技有限公司
• 主分類號: G07B11/00
• 分類號: G07B11/00
• 代理公司: 成都金英專利代理事務所(普通合伙) 51218
• 代理人: 袁英

1.基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法，采用有限狀態自動機技術，將軌道交通自動售檢票系統明確劃分為一系列大狀態、中狀態、小狀態和微狀態，清晰規定各個狀態相互轉移的條件，保證系統的所有狀態都是在有效控制之下，其特征在于：它包括以下步驟：

（1）定義軌道交通自動售檢票系統所包括的設備；

（2）定義每種設備所包括的模塊；

（3）定義每個模塊所包括的子模塊；

（4）對軌道交通自動售檢票系統、設備、模塊和子模塊是否正常工作作出明確定義，軌道交通自動售檢票系統正常工作的定義為所有設備都正常，其它情況為異常，設備正常工作的定義為所有模塊都正常，其它情況為異常，模塊正常工作的定義為所有子模塊都正常，其它情況為異常，子模塊正常是指組成子模塊的所有部分都正常，其它情況為異常；

（5）編制系統的狀態表；

（6）繪制軌道交通自動售檢票系統、設備、模塊和子模塊的所有狀態轉移圖；

（7）運行軌道交通自動售檢票系統狀態監視與轉移程序，該程序根據預先定義好的狀態以及狀態轉移路線圖，實現狀態轉移條件的監測和狀態轉移，或者發出告警訊息，或者轉移至預先設置的未知狀態。

2.根據權利要求1所述的基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法，其特征在于：它還包括一個對整個系統可能出現的異常情況進行細分的步驟。

3.根據權利要求1所述的基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法，其特征在于：所述的設備包括一個線路控制中心LCC、至少一個車站控制中心SCC、至少一個自動售票機TVM、自動檢票機AGM和至少一個半自動售票機BOM；每個設備至少包括一個模塊，所述的模塊至少包括硬幣處理模塊、紙幣處理模塊、找零模塊、出票模塊、扇門機構模塊、回收模塊、IC卡讀寫器模塊、顯示器模塊、工控機模塊和UPS模塊；每個模塊至少包括一個子模塊。

4.根據權利要求1所述的基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法，其特征在于：所述的軌道交通自動售檢票系統狀態監視與轉移程序包括線路控制中心狀態監視與轉移、車站控制中心狀態監視與轉移、自動售票機狀態監視與轉移、自動檢票機狀態監視與轉移步驟、模塊狀態監視與轉移和子模塊狀態監視與轉移步驟。

5.根據權利要求1或4所述的基于有限狀態自動機的軌道交通自動售檢票系統運行控制方法，其特征在于：所述的線路控制中心狀態監視與轉移步驟包括以下步驟：

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

（2）判斷是否接收到來自管理員的狀態探詢命令，如果沒有收到，直接向第一個車站控制中心發送狀態探詢命令；如果收到，則先向管理員報告軌道交通自動售檢票系統狀態后再向第一個車站控制中心發送狀態探詢命令；

（3）接收來自第一個車站控制中心的狀態報告，判斷其狀態是否正常，如果不正常，將軌道交通自動售檢票系統的狀態轉為異常并向管理員報告；如果正常，向下一個車站控制中心發送狀態探詢命令；

（4）重復步驟（3），直到探詢到所有的車站控制中心的狀態都正常，則將軌道交通自動售檢票系統的狀態轉為正常并向管理員報告；有任意一個車站控制中心的狀態為異常，軌道交通自動售檢票系統的狀態都轉為異常并向管理員報告；

（5）重復步驟（2）～（4）。