基于Petri 網(wǎng)的平交道口信號設(shè)備故障診斷方法

朱 明

（中鐵二院工程集團(tuán)有限責(zé)任公司 通信信號設(shè)計研究院，成都 610031）

平交道口是鐵路和公路的交匯點，一旦發(fā)生交通事故，不僅影響整個交通運營效率，還會引起嚴(yán)重的人員傷亡，因此，平交道口的安全性對軌道交通和公路交通至關(guān)重要。

完善的安全防護(hù)措施，既能保證行人和車輛可以預(yù)先避讓列車，又能加強對道口的監(jiān)護(hù)，有效地避免交通事故的發(fā)生[1]。文獻(xiàn)[2]研制了一款鐵路平交道口預(yù)警和管理設(shè)備，該設(shè)備能夠提高平交道口的管理效率，降低平交道口發(fā)生事故的概率；文獻(xiàn)[3]在鐵路平交道口設(shè)置雙向智能報警系統(tǒng)，有效減少了平交道口交通事故的數(shù)量和交通擁堵的頻次；文獻(xiàn)[4]研究并建立了平交道口安全評價體系；文獻(xiàn)[5]提出的多參數(shù)道口作業(yè)流程更符合實際情況，改進(jìn)了多列車接車流程，并提出了接車過程中異常情況下的應(yīng)對方案；文獻(xiàn)[6]通過計算機聯(lián)鎖系統(tǒng)驅(qū)動相應(yīng)報警繼電器，結(jié)合DX3 型道口信號設(shè)備，實現(xiàn)道口的自動報警，再通過延時開放信號顯示的方法確保通過道口的列車、汽車、行人的安全；文獻(xiàn) [7]利用自主設(shè)計的AV-FMS 計算機視覺系統(tǒng)實現(xiàn)對鐵路平交道口的安全監(jiān)測；文獻(xiàn)[8]采用基于模型的方法對平交道口進(jìn)行建模，基于模型檢驗的方法分析平交道口的安全性，驗證了有色Petri 網(wǎng)用于平交道口安全性分析的可行性。

本文在分析和研究前人所做工作的基礎(chǔ)上，研究基于Petri 網(wǎng)的平交道口信號設(shè)備故障診斷方法。

1 平交道口信號設(shè)備及其工作原理

平交道口設(shè)置于鐵路與公路在同一平面交匯的地方。其適用于道路通行量低或立交無法設(shè)置的位置。

1.1 平交道口信號設(shè)備組成

道口信號設(shè)備包括公路側(cè)信號設(shè)備和鐵路側(cè)信號設(shè)備。公路側(cè)信號設(shè)備由自動欄木、道口音響和道口信號機等組成。

鐵路側(cè)信號設(shè)備由遮斷信號機、聯(lián)鎖單元、傳感器和控制器等組成，典型的平交道口如圖1 所示。圖1 中，傳感區(qū)域是傳感器能檢測出列車接近、通過及出清狀態(tài)的區(qū)域；控制器接受傳感器指令，對被控單元進(jìn)行控制。被控單元包括自動欄木、道口音響和信號機（道口信號機和遮斷信號機）。

1.2 平交道口信號設(shè)備工作原理

列車接近道口時，傳感器檢測到其狀態(tài)并將接近信息發(fā)送給控制器?？刂破鲗π畔⑦M(jìn)行處理，并生成控制指令，控制自動欄木落下、道口信號機顯示禁止通過信號、道口音響鳴響。

此時，傳感器實時檢測列車通過狀態(tài)信息并向控制器發(fā)送。當(dāng)列車完全出清平交道口區(qū)域時，控制器接收到列車完全離開信息，生成控制信號，控制自動欄木升起、道口音響靜音、道口信號機顯示允許通過信號、遮斷信號機顯示紅燈。

2 Petri 網(wǎng)簡介

2.1 Petri 網(wǎng)定義

Petri 網(wǎng)從形式上是一種描述分布式系統(tǒng)的模型，在描述系統(tǒng)結(jié)構(gòu)的同時也能模擬系統(tǒng)的狀態(tài)。在Petri 網(wǎng)中，描述系統(tǒng)結(jié)構(gòu)的部分稱之為網(wǎng)。網(wǎng)由庫所、變遷和弧組成，弧是帶有方向的有向弧，庫所和變遷依靠有向弧連接，有向弧上帶有權(quán)值，托肯表示圖中的狀態(tài)信息。在Petri 網(wǎng)模型的圖像表達(dá)中，庫所用圖形圓表示，變遷用細(xì)長的矩形表示，托肯用小黑點表示，庫所中可以有若干托肯，當(dāng)托肯數(shù)量較大時可用數(shù)字替代小黑點。基本定義如下。

Petri 網(wǎng)是一個四元組，用N=(P,T;Pre,Post)表示，其中：

P表示有限庫所（Place）的合集，P={p1,p2,···,pm}；

T表示有限變遷（Transition）的合集，T={t1,t2,···,tn}。

庫所集和變遷集必須滿足如下關(guān)系：

Pre表 示Petri 網(wǎng)的前置關(guān)聯(lián)矩陣，Pre∈(P×T)，物理含義是從庫所到變遷的有向弧的權(quán)重；

Post表 示Petri 網(wǎng)的后置關(guān)聯(lián)矩陣，Post∈(T×P)，物理含義是從變遷到庫所的有向弧的權(quán)重。

2.2 Petri 網(wǎng)基本模型

Petri 網(wǎng)的基本模型有順序模型、選擇模型和并發(fā)模型等。本文通過這些模型來描述平交道口信號設(shè)備的控制過程。

（1） 順序模型

當(dāng)給定初始標(biāo)識時，只有在事件e1觸發(fā)后，事件e2才 能發(fā)生，事件e3也 只能在e2觸發(fā)之后發(fā)生。順序模型如圖2 所示。

圖2 Petri 網(wǎng)順序模型

（2）選擇模型

模擬事件之間的選擇情形。給定托肯，事件e1，e2和e3都是使能的，但是，如果這些事件中的任意一個發(fā)生，那么其他事件就是禁用的，也可以說這些事件是相互沖突的。選擇模型如圖3 所示。

圖3 Petri 網(wǎng)選擇模型

（3）并發(fā)模型

在唯一給定托肯的變遷觸發(fā)后，在最初的標(biāo)識中，所有事件e1，e2和e3是獨立觸發(fā)并且可以按任何順序發(fā)生，甚至可以同時發(fā)生。并發(fā)模型如圖4 所示。

圖4 Petri 網(wǎng)的并發(fā)模型

3 平交道口信號設(shè)備 Petri 網(wǎng)模型

從離散事件系統(tǒng)的角度來看，平交道口的運行是列車和車輛在確保安全運行條件下有序利用平交道口資源的過程，這一過程中有大量的并發(fā)和并行事件發(fā)生，事件與事件之間存在著沖突和資源競爭等現(xiàn)象，平交道口的控制是對平交道口處這些大量并行、并發(fā)事件控制策略的智能處理。

本文針對平交道口3 種主要信號設(shè)備，即傳感器、控制器設(shè)備和被控單元的控制邏輯及控制過程，以Petri 網(wǎng)為工具，分別建立它們對應(yīng)功能的Petri 網(wǎng)模型，完成對平交道口信號設(shè)備的智能控制。

3.1 傳感器Petri 網(wǎng)模型

傳感器Petri 網(wǎng)模型如圖5 所示。在本模型中，傳感器檢測到的狀態(tài)變化一次，變遷的使能就發(fā)射一次。庫所pf表示平交道口的路權(quán)；庫所ps1被標(biāo)記，表示列車在平交道口區(qū)域外；當(dāng)庫所ps1和pf同時被標(biāo)記時，變遷tap的 使能發(fā)射并帶走庫所ps1和pf中的托肯，同時，發(fā)送一個新的托肯給庫所ps2； 庫所ps2被標(biāo)記，表示列車在平交道口區(qū)域內(nèi)且正在接近道口危險區(qū)域，此時平交道口的路權(quán)賦予給該列列車，庫所pf不被標(biāo)記，不能賦予路權(quán)給下一列車及公路上的行人和汽車等。同理，當(dāng)庫所ps2被 標(biāo)記，變遷ten的使能發(fā)射并帶走庫所ps2中的托肯，發(fā)送一個新的托肯給庫所ps3，表示列車進(jìn)入平交道口危險區(qū)域；庫所ps3被 標(biāo)記，變遷tlv的 使能發(fā)射并帶走庫所ps3中的托肯，同時，發(fā)送新的托肯給庫所ps4和pf，表示列車離開平交道口危險區(qū)域，平交道口重新獲得路權(quán)，允許下一列列車使用該平交道口。

圖5 傳感器Petri 網(wǎng)模型

3.2 控制器Petri 網(wǎng)模型

平交道口控制器Petri 網(wǎng)模型如圖6 所示。

圖6 控制器Petri 網(wǎng)模型

本模型網(wǎng)結(jié)構(gòu)需要結(jié)合圖5 傳感器Petri 網(wǎng)模型進(jìn)行說明。當(dāng)列車進(jìn)入平交道口區(qū)域，即庫所ps2被標(biāo)記，傳感器檢測到列車狀態(tài)信息，將其發(fā)送給控制器，通過變遷tap使能發(fā)送一個托肯給庫所ps5；控制器分析該信息，計算并生成控制命令，將其發(fā)送到被控單元，表示在網(wǎng)結(jié)構(gòu)中變遷tcl使能發(fā)送托肯給庫所ps7和ps9。 需要說明的是，庫所ps6表示被控單元處于空閑狀態(tài)，只有當(dāng)傳感器檢測到列車進(jìn)入道口區(qū)域且被控單元處于空閑狀態(tài)時，控制器才能改變被控單元的狀態(tài)，即變遷tcl的使能發(fā)射；庫所ps7被標(biāo)記，表示列車在平交道口中。

當(dāng)列車離開平交道口區(qū)域時，傳感器檢測到列車位置變化信息，通過變遷tlv使能發(fā)送一個托肯給庫所ps8， 表示這一信息發(fā)送到控制器；當(dāng)庫所ps6和ps8同時被標(biāo)記時，變遷top使 能發(fā)射托肯到庫所ps10中，表示被控單元的自動欄木升起、道口音響靜音和道口信號機顯示允許通行信號的條件滿足。

3.3 被控單元Petri 網(wǎng)模型

被控單元主要指自動欄木、道口音響和信號機，被控單元Petri 網(wǎng)模型如圖7 所示，其中，變遷tdn和tup的使能發(fā)射分別表示被控單元的自動欄木向下和向上、道口音響鳴響和靜音、道口信號機顯示禁止通行和允許通行燈光，以及遮斷信號機不顯示和顯示紅燈。由于被控單元的這3 種設(shè)備是并發(fā)狀態(tài)，故采用同一模型表示。本文不考慮自動欄木升起/落下等過程的時延，默認(rèn)被控單元動作的瞬時性。只有在滿足關(guān)閉和開放的條件時，被控部件才能動作，阻止和允許車輛和行人通過。庫所ps11被標(biāo)記表示被控單元已完成狀態(tài)變化，即自動欄木落下、道口音響鳴響、道口信號機顯示禁止信號、遮斷信號機無顯示，此時允許列車進(jìn)入危險區(qū)域。

圖7 被控單元Petri 網(wǎng)模型

4 平交道口信號設(shè)備故障診斷

4.1 鐵路平交道口整體建模

根據(jù)上述3 個主要信號設(shè)備Petri 網(wǎng)模型的內(nèi)在邏輯關(guān)系，將它們整合成一個具有故障診斷功能的平交道口信號設(shè)備Petri 網(wǎng)模型，如圖8所示。

圖8 具有故障診斷功能的平交道口信號設(shè)備Petri 網(wǎng)模型

該模型反映平交道口信號設(shè)備的控制邏輯。當(dāng)列車通過未被前車占用路權(quán)的道口（庫所pf被標(biāo)記）時，會先占據(jù)該道口的路權(quán)，并通過傳感器發(fā)送一個指令給控制器（變遷tap使能發(fā)送一個托肯給庫所ps5）；控制器接收到命令后進(jìn)行分析、計算，生成控制命令發(fā)送給被控單元（變遷tap使能發(fā)送托肯給庫所ps7和ps9）；當(dāng)被控單元接收到控制命令后，進(jìn)行相應(yīng)的動作（變遷tdn使能發(fā)射托肯給庫所ps13和ps11），此時，列車可以安全通過。

在圖8 中，用紅色變遷示意故障設(shè)備，完成故障診斷功能。例如，紅色變遷te1使能發(fā)射，表示傳感器故障，導(dǎo)致列車在自動欄木放下之前就進(jìn)入平交道口區(qū)域；紅色變遷te2使能發(fā)射，表示被控單元發(fā)生故障，導(dǎo)致自動欄木錯誤抬升、道口音響錯誤靜音、道口信號機錯誤表示。故障庫所pe1和pe2用陰影示意，其被標(biāo)記的含義分別為列車因傳感器故障錯誤進(jìn)入道口危險區(qū)域和因被控單元錯誤動作而導(dǎo)致列車、行人、汽車等進(jìn)入危險區(qū)。

4.2 平交道口信號設(shè)備Petri 網(wǎng)模型可達(dá)圖

本文采用仿真軟件TINA 實現(xiàn)平交道口信號設(shè)備Petri 網(wǎng)模型可達(dá)圖，通過可達(dá)圖遍歷列車在道口運行過程中可能出現(xiàn)的情況。圖8 的可達(dá)標(biāo)識M中涉及16 個庫所，為

網(wǎng)結(jié)構(gòu)的初始標(biāo)識值M0為

生成的部分可達(dá)圖如圖9 所示，用灰色部分表示出現(xiàn)故障的可達(dá)狀態(tài)。青色部分表示列車安全通過過程。由于故障庫所pe1和pe2被標(biāo)記后，表示已經(jīng)有故障出現(xiàn)，網(wǎng)結(jié)構(gòu)的繼續(xù)運行失去了意義。故當(dāng)可達(dá)狀態(tài)中出現(xiàn)故障庫所pe1或pe2的值為1 時，網(wǎng)結(jié)構(gòu)之后的可達(dá)狀態(tài)不再示意。表1 是基于圖8 生成的部分平交道口信號設(shè)備Petri 網(wǎng)可達(dá)標(biāo)識。

表1 基于圖8 生成的部分平交道口信號設(shè)備Petri 網(wǎng)可達(dá)標(biāo)識

圖9 平交道口模型的部分可達(dá)圖

通過本模型可以實現(xiàn)平交道口的列車接近—進(jìn)入—離開全過程離散事件系統(tǒng)形式化驗證，對過程中可能出現(xiàn)的問題進(jìn)行實時診斷。以可達(dá)標(biāo)識M11為例，它的運行過程為列車獲得平交道口的路權(quán)，但還未進(jìn)入危險區(qū)域，傳感器發(fā)送指令給控制器，控制器控制被控單元；由于被控單元錯誤動作，導(dǎo)致道路側(cè)行人和車輛進(jìn)入危險區(qū)，表現(xiàn)在網(wǎng)結(jié)構(gòu)上，變遷te2使 能發(fā)射一個托肯給庫所pe2，在可達(dá)圖上的過程為M0→M3→M11。同理可得其他含有故障庫所的可達(dá)狀態(tài)。利用本模型可實現(xiàn)對所有故障的診斷和反饋，提升了平交道口的安全性。

5 結(jié)束語

本文引入離散事件的理論，研究平交道口信號設(shè)備故障診斷方法。針對平交道口主要信號設(shè)備的內(nèi)部機理，分別建立起對應(yīng)的Petri 網(wǎng)模型，按照邏輯關(guān)系，將它們整合成一個具有故障診斷功能的平交道口信號設(shè)備模型。該模型能診斷傳感器和受控單元的故障，當(dāng)這些設(shè)備發(fā)生錯誤動作時進(jìn)行報警，從而提高平交道口的安全性。下一步的工作是進(jìn)一步改進(jìn)該故障診斷方法并將其應(yīng)用到實際道口中。