基于著色Petri網(wǎng)的下一代列控系統(tǒng)虛擬閉塞技術(shù)仿真分析研究

王 琳，開(kāi)祥寶，楊霓霏，宋志丹，柴金川

(1.中國(guó)鐵道科學(xué)研究院集團(tuán)有限公司 通信信號(hào)研究所，北京 100081；2.國(guó)家鐵路智能運(yùn)輸系統(tǒng)工程技術(shù)研究中心，北京 100081;3.中國(guó)鐵道科學(xué)研究院集團(tuán)有限公司 國(guó)家鐵道試驗(yàn)中心，北京 100081)

隨著我國(guó)列控系統(tǒng)的快速發(fā)展，采用衛(wèi)星定位技術(shù)的下一代列控系統(tǒng)將是我國(guó)信號(hào)控制系統(tǒng)的重點(diǎn)研究方向。在下一代列控系統(tǒng)中，采用衛(wèi)星定位技術(shù)實(shí)現(xiàn)列車的連續(xù)精確定位為實(shí)現(xiàn)虛擬閉塞技術(shù)提供了技術(shù)支持。虛擬閉塞技術(shù)的實(shí)現(xiàn)，對(duì)于高海拔、環(huán)境惡劣、日常維修維護(hù)工作困難的西部鐵路具有重要意義。本文主要內(nèi)容是：（1）介紹下一代列控系統(tǒng)的系統(tǒng)定義及系統(tǒng)構(gòu)成；（2）針對(duì)下一代列控系統(tǒng)的結(jié)構(gòu)特征，對(duì)其虛擬閉塞技術(shù)進(jìn)行研究；（3）采用著色Petri網(wǎng)對(duì)虛擬閉塞技術(shù)的實(shí)現(xiàn)進(jìn)行建模仿真分析。

1 下一代列控系統(tǒng)

1.1 系統(tǒng)定義

根據(jù)2004年頒布的《中國(guó)列車運(yùn)行控制系統(tǒng)CTCS技術(shù)規(guī)范總則》，對(duì)CTCS-4級(jí)列控系統(tǒng)進(jìn)行了如下描述：

（1）完全基于無(wú)線通信(如GSM-R)的列車運(yùn)行控制系統(tǒng)；

（2）列車可按虛擬閉塞或移動(dòng)閉塞方式運(yùn)行，由地面RBC和車載設(shè)備完成列車占用檢查和列車完整性檢測(cè)；

（3）線路上安裝點(diǎn)式設(shè)備，主要為列車提供用于測(cè)距修正的定位基準(zhǔn)信息；

（4）無(wú)線通信系統(tǒng)實(shí)現(xiàn)地面-列車間連續(xù)、雙向的信息傳輸；

（5）可采用目標(biāo)距離模式控制；

（6）由地面RBC生成行車許可，通過(guò)無(wú)線通信系統(tǒng)傳送到列車上。其它與列車運(yùn)行控制系統(tǒng)有關(guān)的信息也通過(guò)無(wú)線通信系統(tǒng)傳輸；

（7）車載設(shè)備為主體信號(hào)，可取消地面信號(hào)。

根據(jù)CTCS-4級(jí)列控系統(tǒng)的特點(diǎn)，結(jié)合既有CTCS-3級(jí)列控系統(tǒng)的成熟技術(shù)，下一代列控系統(tǒng)可有如下定義：下一代列控系統(tǒng)是基于無(wú)線通信及衛(wèi)星導(dǎo)航技術(shù)的列車運(yùn)行控制系統(tǒng)。該系統(tǒng)采用衛(wèi)星定位融合車輪速度傳感器、慣性導(dǎo)航等技術(shù)實(shí)現(xiàn)列車的綜合定位。通過(guò)無(wú)線通信網(wǎng)絡(luò)實(shí)現(xiàn)車地間信息交互，以此完成列車位置、行車許可等信息的傳輸。列車以連續(xù)一次性速度距離控制曲線運(yùn)行，可實(shí)現(xiàn)虛擬閉塞或移動(dòng)閉塞追蹤。

1.2 系統(tǒng)結(jié)構(gòu)方案

繼承于CTCS技術(shù)體系，下一代列控系統(tǒng)整體由3部分構(gòu)成，分別為：地面子系統(tǒng)、車載子系統(tǒng)及無(wú)線通信子系統(tǒng)，系統(tǒng)結(jié)構(gòu)如圖1所示。

1.2.1 地面子系統(tǒng)

在下一代列控系統(tǒng)中，考慮地面設(shè)備虛擬化、軌旁設(shè)備稀疏化的需求，區(qū)間不再設(shè)置軌道電路。地面子系統(tǒng)主要由計(jì)算機(jī)聯(lián)鎖系統(tǒng)（CBI）、無(wú)線閉塞中心（RBC）、軌旁數(shù)據(jù)存儲(chǔ)單元（DSU）、地面定位單元等構(gòu)成。

其中，CBI除完成車站聯(lián)鎖功能外，還新增有區(qū)間方向控制，與RBC新增信息交互等功能；對(duì)于RBC，除向車載提供移動(dòng)授權(quán)、線路基礎(chǔ)數(shù)據(jù)等信息外，還與列車定位裝置共同完成列車在區(qū)間的占用、出清與虛擬閉塞功能；DSU設(shè)備主要完成電子地圖數(shù)據(jù)的存儲(chǔ)與上傳等功能。

1.2.2 車載子系統(tǒng)

車載子系統(tǒng)由車載安全計(jì)算機(jī)、無(wú)線通信單元、軌道電路信息接收單元、應(yīng)答器信息接收模塊、車載記錄單元、列車接口單元、人機(jī)界面等設(shè)備組成。新增有列車定位單元（LPU）及衛(wèi)星定位天線以完成列車的精確定位。其中，LPU具有以下功能：

（1）存儲(chǔ)電子地圖數(shù)據(jù)，接收衛(wèi)星定位、差分基站信息，接收車載發(fā)送的測(cè)速測(cè)距信息與實(shí)體應(yīng)答器信息，根據(jù)接收到的信息進(jìn)行融合濾波計(jì)算，以此確定列車當(dāng)前位置與速度并將以上信息發(fā)送至車載；

（2）當(dāng)列車運(yùn)行位置通過(guò)電子地圖中的虛擬應(yīng)答器時(shí)，LPU將向車載設(shè)備發(fā)送虛擬應(yīng)答器報(bào)文信息；

（3）列車通過(guò)道岔時(shí)，LPU將接收道岔位置表示信息。根據(jù)車站的地理數(shù)據(jù)信息完成對(duì)列車位置的精確定位，同時(shí)根據(jù)道岔位置信息確定列車走向。

2 虛擬閉塞技術(shù)

所謂虛擬閉塞即將區(qū)間線路劃分為若干虛擬閉塞分區(qū)，與傳統(tǒng)固定自動(dòng)閉塞制式不同，地面不再使用實(shí)際的軌道占用檢測(cè)設(shè)備，而是采用邏輯區(qū)段的方式對(duì)區(qū)間進(jìn)行劃分。追蹤列車位置，實(shí)現(xiàn)列車的占用檢查是實(shí)現(xiàn)虛擬閉塞技術(shù)的難點(diǎn)。此外，當(dāng)列車與地面失去通信，出現(xiàn)丟失列車位置的故障情況，如何確保列車在區(qū)間的安全運(yùn)行成為又一問(wèn)題。

在下一代列控系統(tǒng)中，由基于衛(wèi)星定位的綜合定位技術(shù)實(shí)現(xiàn)列車的精確定位。列車在運(yùn)行過(guò)程中，通過(guò)相應(yīng)定位單元確定自身位置并將位置報(bào)告發(fā)送至RBC，RBC通過(guò)內(nèi)部查詢，確定列車占用的虛擬閉塞分區(qū)，以此追蹤列車的運(yùn)行。由此可以看出，RBC設(shè)備、車載設(shè)備以及相關(guān)的定位系統(tǒng)是實(shí)現(xiàn)虛擬閉塞技術(shù)的核心設(shè)備。其中，列車在虛擬區(qū)段的占用檢查、列車在區(qū)間運(yùn)行的安全防護(hù)主要由RBC設(shè)備完成。

RBC對(duì)虛擬閉塞技術(shù)的實(shí)現(xiàn)主要分為3部分：（1）RBC上電啟動(dòng)，確定區(qū)間列車位置；

（2）列車于區(qū)間運(yùn)行，RBC完成運(yùn)行列車在虛擬閉塞分區(qū)的占用檢查；

（3）車地通信故障，列車位置丟失時(shí)，RBC對(duì)列車在區(qū)間運(yùn)行的安全防護(hù)。

圖1 下一代列控系統(tǒng)結(jié)構(gòu)示意圖

2.1 RBC上電啟動(dòng)，確定區(qū)間列車位置

在下一代列控系統(tǒng)中，地面設(shè)備RBC將在上電啟動(dòng)后，將管轄范圍內(nèi)所有虛擬閉塞分區(qū)設(shè)置為邏輯占用狀態(tài)。當(dāng)RBC與CBI建立通信連接后，RBC將根據(jù)獲取的CBI相關(guān)信息，分別進(jìn)行如下處理：

（1）若CBI根據(jù)區(qū)間計(jì)軸設(shè)備信息確認(rèn)區(qū)間空閑時(shí)，RBC將自動(dòng)確認(rèn)管轄范圍內(nèi)區(qū)間所有虛擬閉塞分區(qū)為空閑狀態(tài)；

（2）若CBI根據(jù)區(qū)間計(jì)軸設(shè)備信息確認(rèn)區(qū)間有車占用時(shí)，將由調(diào)度人員對(duì)區(qū)間列車位置進(jìn)行確認(rèn)，無(wú)列車占用的虛擬閉塞分區(qū)將由人工解鎖。

2.2 列車在虛擬閉塞分區(qū)的占用檢查

RBC對(duì)進(jìn)入?yún)^(qū)間的列車進(jìn)行追蹤定位，當(dāng)列車頭部進(jìn)入虛擬閉塞分區(qū)時(shí)，RBC將設(shè)置該虛擬閉塞分區(qū)狀態(tài)為報(bào)告車占用。當(dāng)RBC判斷列車尾部出清虛擬閉塞分區(qū)后，該虛擬閉塞分區(qū)將被RBC設(shè)置為空閑。

RBC在接收到列車位置報(bào)告后，根據(jù)列車車長(zhǎng)及車載設(shè)備測(cè)距估計(jì)誤差等信息判斷虛擬閉塞分區(qū)占用、出清狀態(tài)。如圖2所示，列車安全估計(jì)位置由列車車長(zhǎng)與測(cè)距誤差構(gòu)成。當(dāng)列車車頭最大估計(jì)前端占用虛擬閉塞分區(qū)，盡管列車實(shí)際車頭位置未到達(dá)虛擬閉塞分區(qū)入口，RBC仍設(shè)置該虛擬閉塞分區(qū)為占用狀態(tài)。

圖2 列車占用虛擬閉塞分區(qū)

同樣，RBC會(huì)根據(jù)列車車尾最小估計(jì)后端判斷列車是否出清虛擬閉塞分區(qū)。當(dāng)列車車尾最小估計(jì)后端未出清虛擬閉塞分區(qū)，盡管列車實(shí)際車尾位置已出清該虛擬閉塞分區(qū)，RBC仍設(shè)置該虛擬閉塞分區(qū)為報(bào)告車占用狀態(tài)。只有當(dāng)列車車尾最小估計(jì)后端出清該虛擬閉塞分區(qū)后，該虛擬閉塞分區(qū)狀態(tài)才視為出清。如圖3所示。

圖3 列車出清虛擬閉塞分區(qū)

RBC對(duì)虛擬閉塞分區(qū)狀態(tài)的判斷處理是在列車完整性檢查正常的條件下進(jìn)行的。當(dāng)車載設(shè)備判斷列車完整性檢查失敗后，會(huì)采用最大常用制動(dòng)停車。后續(xù)將按照非正常方式行車，確保列車安全運(yùn)行。

2.3 車地通信故障時(shí)列車的安全防護(hù)

RBC通過(guò)虛擬方式對(duì)其內(nèi)部存儲(chǔ)的區(qū)間線路數(shù)據(jù)進(jìn)行劃分，通過(guò)列車的位置報(bào)告，判斷虛擬閉塞分區(qū)的占用、出清狀態(tài)以此實(shí)現(xiàn)列車的虛擬閉塞運(yùn)行。但是，當(dāng)列車在運(yùn)行過(guò)程中發(fā)生車地通信故障時(shí)，區(qū)間軌道電路的缺失將使得RBC無(wú)法對(duì)丟失列車進(jìn)行精確定位，丟失列車將成為區(qū)間線路的安全隱患。RBC將無(wú)法為后續(xù)正常運(yùn)行于區(qū)間的列車計(jì)算行車許可。因此，在下一代列控系統(tǒng)中，應(yīng)充分考慮區(qū)間、站內(nèi)車地失去通信的故障情況，并給予相應(yīng)的安全防護(hù)。

2.3.1 車地在區(qū)間失去通信

當(dāng)兩列車在區(qū)間正常運(yùn)行時(shí)，前行列車突然與RBC失去通信連接，丟失車輛成為區(qū)間的幽靈車，RBC將無(wú)法判斷丟失車輛的具體位置。針對(duì)上述故障情況，RBC將對(duì)區(qū)間虛擬閉塞分區(qū)增加封鎖功能。

當(dāng)前車失去通信連接后，RBC將從該列車丟失位置開(kāi)始，進(jìn)行虛擬閉塞分區(qū)封鎖設(shè)置。

（1）單車區(qū)間運(yùn)行

當(dāng)丟失車所在位置至前方車站的進(jìn)站信號(hào)機(jī)前無(wú)其他列車運(yùn)行，RBC對(duì)區(qū)間虛擬閉塞分區(qū)的封鎖設(shè)置將從丟失位置開(kāi)始，延續(xù)至前方車站的進(jìn)站信號(hào)機(jī)所在區(qū)段的邊界入口處。

（2）多車區(qū)間運(yùn)行

當(dāng)丟失車位置前方有注冊(cè)列車運(yùn)行，RBC對(duì)區(qū)間虛擬閉塞分區(qū)的封鎖操作將設(shè)置至前方運(yùn)行車輛所在的虛擬閉塞分區(qū)邊界入口處。如圖4所示。被封鎖的虛擬閉塞分區(qū)狀態(tài)顯示為“非報(bào)告車占用”。

圖4 多車運(yùn)行區(qū)間，車地失去通信

當(dāng)注冊(cè)列車與地面失去通信連接后，ATP車載設(shè)備將實(shí)施常用制動(dòng)停車。丟失車輛將憑借調(diào)度命令在區(qū)間運(yùn)行，直至丟失車進(jìn)入下一車站內(nèi)停車。若在此期間車地通信仍無(wú)法恢復(fù)連接，丟失車可憑借調(diào)度命令在下一區(qū)間按照站間閉塞方式運(yùn)行。

對(duì)于多輛列車在區(qū)間追蹤運(yùn)行，中間列車與地面設(shè)備發(fā)生通信故障情況，RBC會(huì)立即將丟失列車所在的虛擬閉塞分區(qū)狀態(tài)設(shè)置為“非報(bào)告車占用”。被封鎖的虛擬閉塞分區(qū)數(shù)量會(huì)隨著前方正常注冊(cè)列車的不斷前行而不斷增加，以此確保后車的運(yùn)行安全。

2.3.2 車地在車站失去通信

列車除在區(qū)間運(yùn)行可能出現(xiàn)失去通信或丟失位置的故障情況，在站內(nèi)運(yùn)行時(shí)，列車失去位置，也可能對(duì)區(qū)間造成安全隱患。以下分別對(duì)列車進(jìn)、出站以及列車在站內(nèi)運(yùn)行情況進(jìn)行分析。

（1）列車進(jìn)、出站

接車信號(hào)或發(fā)車信號(hào)正常開(kāi)放，列車在進(jìn)、出站過(guò)程中出現(xiàn)失去通信的故障情況，此時(shí)RBC根據(jù)列車丟失位置，對(duì)相應(yīng)虛擬閉塞分區(qū)進(jìn)行封鎖設(shè)置。RBC封鎖設(shè)置的方式與區(qū)間一致，如圖5、圖6所示。

圖5 列車進(jìn)站，車地失去通信

圖6 列車出站，車地失去通信

（2）列車位于站內(nèi)

當(dāng)列車在站內(nèi)運(yùn)行出現(xiàn)丟失通信的故障情況，可能會(huì)出現(xiàn)以下兩種情況：

a. 列車在站內(nèi)股道運(yùn)行，出現(xiàn)故障后，丟失車位置仍位于站內(nèi)。

注冊(cè)列車失去通信連接，ATP設(shè)備實(shí)施制動(dòng)，丟失列車在停車后，列車位置仍位于站內(nèi)，此時(shí)RBC不對(duì)區(qū)間虛擬閉塞分區(qū)進(jìn)行封鎖設(shè)置。

b. 列車在站內(nèi)股道運(yùn)行，出現(xiàn)故障情況后，丟失車向前運(yùn)行進(jìn)入?yún)^(qū)間。

對(duì)于第2種故障情況，丟失車在進(jìn)入?yún)^(qū)間后會(huì)成為區(qū)間其他運(yùn)行列車的安全隱患。針對(duì)此情況，RBC會(huì)從一離去區(qū)段開(kāi)始對(duì)區(qū)間虛擬閉塞分區(qū)進(jìn)行封鎖設(shè)置。封鎖情況將與區(qū)間相同，如圖7所示。

圖7 列車在站內(nèi)失去通信

RBC對(duì)相關(guān)虛擬閉塞分區(qū)設(shè)置封鎖后，丟失車可憑借調(diào)度命令進(jìn)入下一車站，對(duì)于區(qū)間虛擬閉塞分區(qū)封鎖的解除可分以下情況：

（1）當(dāng)區(qū)間只有一輛列車運(yùn)行，且該車失去通信，丟失車進(jìn)入下一車站后，區(qū)間計(jì)軸設(shè)備向RBC報(bào)告區(qū)間空閑，此時(shí)RBC可自動(dòng)清除對(duì)區(qū)間虛擬閉塞分區(qū)的封鎖設(shè)置；

（2）當(dāng)區(qū)間線路中有多輛列車運(yùn)行，丟失車輛憑借調(diào)度命令進(jìn)入下一車站后，調(diào)度人員將人工確認(rèn)相關(guān)封鎖的虛擬閉塞分區(qū)是否空閑。當(dāng)調(diào)度人員確認(rèn)虛擬閉塞分區(qū)無(wú)車占用后，在操作終端對(duì)處于空閑狀態(tài)的虛擬閉塞分區(qū)進(jìn)行解鎖操作，后續(xù)注冊(cè)列車可繼續(xù)在區(qū)間運(yùn)行。

以上兩種解鎖情況為車輛丟失通信連接后，無(wú)法恢復(fù)與地面設(shè)備連接的情況。若丟失車在失去位置后，與RBC的通信連接恢復(fù)且成功注冊(cè)RBC，則RBC會(huì)自動(dòng)將相關(guān)虛擬閉塞分區(qū)解鎖。

3 基于著色Petri網(wǎng)的虛擬閉塞技術(shù)建模仿真分析

Petri網(wǎng)是一種適合用于描述系統(tǒng)異步、并發(fā)現(xiàn)象的系統(tǒng)模型[2]。 主要應(yīng)用于通信協(xié)議驗(yàn)證、故障診斷、軟件工程設(shè)計(jì)、系統(tǒng)可靠性分析等領(lǐng)域。Petri網(wǎng)主要可分為基本Petri網(wǎng)與高級(jí)Petri網(wǎng)兩大類。在基本Petri網(wǎng)中，每個(gè)對(duì)象狀態(tài)或每種變化與事件均對(duì)應(yīng)一個(gè)庫(kù)所或變遷。這樣的一一對(duì)應(yīng)關(guān)系，使基本Perti網(wǎng)對(duì)個(gè)體描述較為詳細(xì)，造成系統(tǒng)節(jié)點(diǎn)過(guò)多、模型較為復(fù)雜的問(wèn)題。針對(duì)基本Petri網(wǎng)的不足，有學(xué)者提出了著色Petri網(wǎng)的概念。著色Petri網(wǎng)定義如下：

在上式中，P表示庫(kù)所的有限集合，T表示變遷的有限集合，A表示有向弧有限集合； ∑代表顏色集，為有限的非空集合；N為節(jié)點(diǎn)函數(shù)，是有向弧映射到P× T∪ T×P的函數(shù)；C代表顏色函數(shù)，每個(gè)庫(kù)所都可映射到相應(yīng)的顏色集；G定義為守衛(wèi)函數(shù)，其為變遷的表達(dá)式函數(shù)，值類型為布爾型，當(dāng)防衛(wèi)函數(shù)的值為真時(shí)，變遷才可觸發(fā)，防衛(wèi)函數(shù)返回值為空，則默認(rèn)為真；E為有向弧表達(dá)式函數(shù)，該值應(yīng)屬于有向弧對(duì)應(yīng)庫(kù)所顏色集的多重集；I表示庫(kù)所映射到表達(dá)式的初始化函數(shù)，且表達(dá)式的值應(yīng)屬于庫(kù)所顏色集上的多重集[2]。

CPN Tools是一款支持著色Petri網(wǎng)建模仿真的工具。該仿真軟件支持CPN ML語(yǔ)言，可對(duì)建立的模型進(jìn)行語(yǔ)法檢測(cè)，確保建立模型的正確性。同時(shí)，CPN Tools能對(duì)所建模型的可達(dá)性、活性、有界性、家態(tài)性等屬性以及模型的狀態(tài)空間性能進(jìn)行分析，以此確保所建模型邏輯的正確性并實(shí)現(xiàn)對(duì)模型的動(dòng)態(tài)仿真[3]。

根據(jù)上述對(duì)虛擬閉塞技術(shù)的研究，以車地通信故障情況下，RBC對(duì)區(qū)間虛擬閉塞分區(qū)的封鎖設(shè)置為例，采用CPN Tools建模仿真工具，對(duì)該功能進(jìn)行建模仿真驗(yàn)證分析。

3.1 通信故障情況下虛擬閉塞分區(qū)封鎖設(shè)置模型

故障情況下，RBC對(duì)區(qū)間虛擬閉塞分區(qū)的封鎖設(shè)置共分為3個(gè)流程：

（1）跟蹤列車的運(yùn)行位置。通過(guò)判斷列車最大安全前端與最小安全后端是否占用虛擬閉塞分區(qū)，確定列車所在位置；

（2）保存列車位置并與上一周期進(jìn)行比較，查看是否存在列車位置丟失的故障情況；

（3）若存在丟失列車，則對(duì)虛擬閉塞分區(qū)進(jìn)行封鎖設(shè)置。

根據(jù)虛擬閉塞分區(qū)封鎖設(shè)置流程，采用層次化網(wǎng)絡(luò)完成封鎖功能的模型建立。層次化網(wǎng)絡(luò)類似于模塊化編程的思想，在廣義上定義所建模型網(wǎng)絡(luò)的整體框架，然后利用替代變遷將相關(guān)子網(wǎng)絡(luò)關(guān)聯(lián)至更詳細(xì)的頁(yè)面，從而對(duì)模型進(jìn)行逐步細(xì)化，對(duì)封鎖功能頂層模型設(shè)計(jì)如圖8所示。在頂層模型中，RBC封鎖功能可細(xì)化為3個(gè)子網(wǎng)絡(luò)，分別為“Trace train”、“Train miss”以及“Block section”，相應(yīng)的庫(kù)所及變遷說(shuō)明如表1所示。

圖8 封鎖功能頂層模型

表1 頂層模型庫(kù)所及變遷說(shuō)明

根據(jù)上述頂層模型，分別建立如下子模型。

（1）追蹤列車位置子模型

在追蹤列車位置子模型中，主要輸入列車車次號(hào)、列車最大安全前端及最小安全后端等參數(shù)。通過(guò)判斷列車頭尾在虛擬閉塞分區(qū)是否有偏移量，確定列車是否占用虛擬閉塞分區(qū)并在相應(yīng)的數(shù)據(jù)結(jié)構(gòu)記錄保存，具體模型如圖9所示。

圖9 追蹤列車位置子模型

（2）列車失蹤搜索子模型

在列車失蹤搜索子模型中，主要完成的是區(qū)間列車搜索任務(wù)。若區(qū)間運(yùn)行列車為首次注冊(cè)，則RBC只對(duì)該注冊(cè)列車的車次號(hào)及車頭車尾位置進(jìn)行保存。對(duì)于已經(jīng)在RBC存儲(chǔ)單元中保存位置的注冊(cè)列車，RBC將對(duì)比前后兩時(shí)刻注冊(cè)列車的位置，以此判斷注冊(cè)列車是否丟失。

若注冊(cè)列車在區(qū)間正常運(yùn)行，則RBC存儲(chǔ)列車位置；若注冊(cè)列車在區(qū)間丟失通信后失去位置，則RBC將對(duì)上一時(shí)刻丟失車所處的虛擬區(qū)段進(jìn)行標(biāo)記。所建模型如圖10所示。

圖10 列車失蹤搜索子模型

（3）封鎖區(qū)段子模型

根據(jù)上述列車失蹤搜索子模型的搜索結(jié)果，封鎖區(qū)段子模型將對(duì)相關(guān)的區(qū)段進(jìn)行狀態(tài)設(shè)置，完成自動(dòng)封鎖。封鎖原則為：從丟失車上一時(shí)刻所在區(qū)段開(kāi)始，依照列車運(yùn)行方向進(jìn)行搜索，直到遇到其它列車或車站進(jìn)站信號(hào)機(jī)為止。 其模型，如圖11所示。

圖11 封鎖區(qū)段子模型

3.2 模型驗(yàn)證分析

CPN Tools工具為用戶提供了模型的仿真與狀態(tài)分析等功能。用戶通過(guò)生成的可達(dá)圖與狀態(tài)空間報(bào)告判斷模型的相關(guān)功能可否實(shí)現(xiàn)以及模型的可達(dá)性、活性及家態(tài)性等特性是否滿足要求。為此，本節(jié)將對(duì)上述建立模型的相關(guān)功能特性進(jìn)行驗(yàn)證分析。

RBC自動(dòng)封鎖功能中包含子網(wǎng)絡(luò)模型，對(duì)頂模型與子網(wǎng)絡(luò)模型分別設(shè)置如下初始托肯：

（1）“Top”父頁(yè)中，輸入初始托肯為 1`(1，211，1，1，57)，表示當(dāng)前時(shí)刻211次列車最大安全前端與最小安全后端占用序號(hào)為57的虛擬閉塞分區(qū)。

（2）“Train Miss”子頁(yè)中，輸入初始托肯為1`(“Have”,212，59，59),表示上一時(shí)刻區(qū)間線路中212次列車占用59號(hào)虛擬區(qū)段。

（3）“Block Section”子頁(yè)中，輸入初始托肯為1`（216,0,2,70），表示當(dāng)前時(shí)刻216次列車占用70號(hào)虛擬區(qū)段。

上述設(shè)置的場(chǎng)景為多車運(yùn)行，其中，212次列車為丟失列車，211次列車追蹤212次列車，212次列車追蹤216次列車。根據(jù)上述初始托肯設(shè)置，得出模型可達(dá)圖，如圖12所示。

圖12 模型可達(dá)圖

對(duì)應(yīng)模型狀態(tài)空間分析報(bào)告如圖13所示。該模型具有有界性，節(jié)點(diǎn)12為死鎖標(biāo)志。在可達(dá)圖中，該節(jié)點(diǎn)對(duì)應(yīng)模型的輸出節(jié) 點(diǎn)，因此模型不具有死鎖性。同時(shí)，該模型存在3個(gè)死變遷，在上述初始條件下，3個(gè)死變遷均未被觸發(fā)，因此滿足要求。

根據(jù)可達(dá)圖及狀態(tài)空間報(bào)告可以得出，模型中子網(wǎng)絡(luò)涉及的相關(guān)功能成功實(shí)現(xiàn)，頂層模型的輸出結(jié)果滿足設(shè)計(jì)要求。

4 結(jié)束語(yǔ)

本文在下一代列控系統(tǒng)技術(shù)方案的基礎(chǔ)上，對(duì)其虛擬閉塞技術(shù)進(jìn)行研究。分析了虛擬閉塞條件下，列車占用檢查功能的實(shí)現(xiàn)以及車地通信故障情況下，RBC設(shè)備對(duì)區(qū)間的安全防護(hù)。通過(guò)相關(guān)邏輯場(chǎng)景分析，利用CPN Tools工具對(duì)虛擬區(qū)段的封鎖設(shè)置進(jìn)行仿真，根據(jù)得出的驗(yàn)證分析結(jié)果，對(duì)模型進(jìn)行修正，確保邏輯設(shè)計(jì)的正確性。

圖13 部分狀態(tài)空間報(bào)告