Cbtc聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法
【專利摘要】本發(fā)明提供了一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法，涉及列車(chē)運(yùn)行控制【技術(shù)領(lǐng)域】。該方法包括步驟：S1、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的制約關(guān)系制定進(jìn)路狀態(tài)，并依據(jù)所述進(jìn)路狀態(tài)建立進(jìn)路狀態(tài)轉(zhuǎn)移圖；S2、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖進(jìn)行抽象，得到進(jìn)路狀態(tài)轉(zhuǎn)移模型；S3、依據(jù)數(shù)據(jù)流圖建模方法對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換，進(jìn)而得到CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。本發(fā)明將SCADE中數(shù)據(jù)流圖和狀態(tài)機(jī)這兩種建模方法有效的地融合在一起，實(shí)現(xiàn)兩種模型間的相互嵌套和無(wú)縫銜接，進(jìn)而能夠精確、完整的描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。
【專利說(shuō)明】CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及列車(chē)運(yùn)行控制【技術(shù)領(lǐng)域】，具體涉及一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法。
【背景技術(shù)】
[0002]隨著國(guó)民經(jīng)濟(jì)發(fā)展，我國(guó)大城市的客運(yùn)量迅速膨脹，交通擁擠、阻塞和混亂的現(xiàn)象日益嚴(yán)重。發(fā)展城市軌道交通是緩解交通擁堵的有效手段。而基于通信的列車(chē)運(yùn)行控制CBTC (Communication Based Train Control)系統(tǒng)以其安全、正點(diǎn)、大容量、高效率等諸多優(yōu)點(diǎn)被公認(rèn)為是城市軌道交通最佳解決方案。計(jì)算機(jī)聯(lián)鎖是CBTC系統(tǒng)中的基礎(chǔ)安全設(shè)備。當(dāng)CBTC系統(tǒng)正常工作時(shí)，列車(chē)按照移動(dòng)閉塞方式運(yùn)行，聯(lián)鎖系統(tǒng)為列車(chē)提供連續(xù)級(jí)列車(chē)進(jìn)路；當(dāng)某車(chē)載設(shè)備的無(wú)線通信設(shè)備出現(xiàn)故障時(shí)，聯(lián)鎖系統(tǒng)為列車(chē)提供點(diǎn)式級(jí)別進(jìn)路，并通過(guò)點(diǎn)式通信設(shè)備向列車(chē)發(fā)送點(diǎn)式移動(dòng)授權(quán)；當(dāng)某列車(chē)的車(chē)載設(shè)備完全故障時(shí)，聯(lián)鎖系統(tǒng)為列車(chē)提供聯(lián)鎖級(jí)別進(jìn)路，司機(jī)可依照地面信號(hào)機(jī)的顯示，控制列車(chē)運(yùn)行；當(dāng)軌旁設(shè)備出現(xiàn)故障，聯(lián)鎖級(jí)別的進(jìn)路無(wú)法正常開(kāi)放時(shí)，聯(lián)鎖系統(tǒng)提供引導(dǎo)級(jí)別的列車(chē)進(jìn)路，支持限制級(jí)別下的低速行車(chē)。無(wú)論系統(tǒng)處于哪種工作模式下，聯(lián)鎖子系統(tǒng)都發(fā)揮著特有的基礎(chǔ)安全防護(hù)作用，最大限度地提高行車(chē)安全和效率。聯(lián)鎖系統(tǒng)是CBTC中典型的具有SIL4等級(jí)要求的高安全系統(tǒng)。
[0003]現(xiàn)有技術(shù)中通常米用SCADE (Safety-Critical Application DevelopmentEnvironment)中的數(shù)據(jù)流圖建模方法或安全狀態(tài)機(jī)建模方法對(duì)CBTC聯(lián)鎖系統(tǒng)進(jìn)行建模，數(shù)據(jù)流圖建模方法適合于連續(xù)系統(tǒng)的建模，而安全狀態(tài)機(jī)建模方法適合于離散系統(tǒng)的建模。
[0004]然而，在CBTC聯(lián)鎖系統(tǒng)的建模過(guò)程中，單獨(dú)采用數(shù)據(jù)流圖建模方法或者安全狀態(tài)機(jī)建模方法都無(wú)法精確、完整描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。

【發(fā)明內(nèi)容】

[0005](一)解決的技術(shù)問(wèn)題
[0006]針對(duì)現(xiàn)有技術(shù)的不足，本發(fā)明提供了一種CBTC聯(lián)鎖系統(tǒng)中進(jìn)路狀態(tài)建模方法，能夠精確、完整的描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。
[0007](二)技術(shù)方案
[0008]為實(shí)現(xiàn)以上目的，本發(fā)明通過(guò)以下技術(shù)方案予以實(shí)現(xiàn):
[0009]一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法，包括:
[0010]S1、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的制約關(guān)系制定進(jìn)路狀態(tài)，并依據(jù)所述進(jìn)路狀態(tài)建立進(jìn)路狀態(tài)轉(zhuǎn)移圖；
[0011]S2、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖進(jìn)行抽象處理，得到進(jìn)路狀態(tài)轉(zhuǎn)移模型；
[0012]S3、依據(jù)數(shù)據(jù)流圖建模方法對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換，進(jìn)而得到CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。
[0013]優(yōu)選的，步驟SI中所述進(jìn)路狀態(tài)包括進(jìn)路空閑、進(jìn)路排選、進(jìn)路鎖閉、信號(hào)開(kāi)放和自動(dòng)解鎖。
[0014]優(yōu)選的，步驟S2中依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖抽象為一個(gè)四元組，所述四元組為〈狀態(tài)類(lèi)型，狀態(tài)轉(zhuǎn)換條件，本狀態(tài)動(dòng)作，下一狀態(tài)〉；其中，所述狀態(tài)類(lèi)型為狀態(tài)轉(zhuǎn)移的屬性；所述狀態(tài)轉(zhuǎn)換條件為狀態(tài)轉(zhuǎn)移的觸發(fā)條件；所述本狀態(tài)動(dòng)作為當(dāng)前狀態(tài)下執(zhí)行的動(dòng)作；所述下一狀態(tài)為狀態(tài)躍遷的下一個(gè)狀態(tài)。
[0015]優(yōu)選的，步驟S3中對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換的過(guò)程為:
[0016]S31、預(yù)定義進(jìn)路初始狀態(tài)為空閑狀態(tài)；
[0017]S32、在進(jìn)路狀態(tài)為所述空閑狀態(tài)時(shí)，若選排轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路選排狀態(tài)；相反，進(jìn)路狀態(tài)保持為空閑狀態(tài)；
[0018]S33、在所述進(jìn)路選排狀態(tài)，若鎖閉轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)；相反，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)；
[0019]S34、在所述進(jìn)路鎖閉狀態(tài)，若信號(hào)開(kāi)放轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為信號(hào)開(kāi)放狀態(tài)；相反，進(jìn)路狀態(tài)保持為進(jìn)路鎖閉狀態(tài)；
[0020]S35、在所述信號(hào)開(kāi)放狀態(tài)，若列車(chē)駛?cè)?，進(jìn)路狀態(tài)轉(zhuǎn)換為自動(dòng)解鎖狀態(tài)；若列車(chē)未駛?cè)肭倚盘?hào)開(kāi)放狀態(tài)保持條件滿足，進(jìn)路狀態(tài)保持為信號(hào)開(kāi)放狀態(tài)；若信號(hào)開(kāi)放狀態(tài)保持條件不滿足，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)；
[0021]S36、在所述自動(dòng)解鎖狀態(tài)，滿足自動(dòng)解鎖條件的進(jìn)路區(qū)段自動(dòng)解鎖，若進(jìn)路內(nèi)所有區(qū)段都已經(jīng)解鎖，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)。
[0022](三)有益效果
[0023]本發(fā)明提供了一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法，通過(guò)對(duì)CBTC系統(tǒng)中聯(lián)鎖子系統(tǒng)架構(gòu)、接口以及功能需求進(jìn)行分析的基礎(chǔ)上，將SCADE中數(shù)據(jù)流圖和狀態(tài)機(jī)這兩種建模方法有效的地融合在一起，實(shí)現(xiàn)兩種模型間的相互嵌套和無(wú)縫銜接，進(jìn)而能夠精確、完整的描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。
【專利附圖】

【附圖說(shuō)明】
[0024]為了更清楚地說(shuō)明本發(fā)明實(shí)施例或現(xiàn)有技術(shù)中的技術(shù)方案，下面將對(duì)實(shí)施例或現(xiàn)有技術(shù)描述中所需要使用的附圖作簡(jiǎn)單地介紹，顯而易見(jiàn)地，下面描述中的附圖僅僅是本發(fā)明的一些實(shí)施例，對(duì)于本領(lǐng)域普通技術(shù)人員來(lái)講，在不付出創(chuàng)造性勞動(dòng)的前提下，還可以根據(jù)這些附圖獲得其他的附圖。
[0025]圖1為本發(fā)明實(shí)施例的CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法的流程示意圖；
[0026]圖2為本發(fā)明實(shí)施例的狀態(tài)轉(zhuǎn)移示意圖；
[0027]圖3為本發(fā)明實(shí)施例的CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。
【具體實(shí)施方式】
[0028]為使本發(fā)明實(shí)施例的目的、技術(shù)方案和優(yōu)點(diǎn)更加清楚，下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例?；诒景l(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有作出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。
[0029]實(shí)施例1:
[0030]如圖1所示，本發(fā)明實(shí)施例提供了一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法，包括:
[0031]S1、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的制約關(guān)系制定進(jìn)路狀態(tài)，并依據(jù)所述進(jìn)路狀態(tài)建立進(jìn)路狀態(tài)轉(zhuǎn)移圖；
[0032]S2、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖進(jìn)行抽象處理，得到進(jìn)路狀態(tài)轉(zhuǎn)移模型；
[0033]S3、依據(jù)數(shù)據(jù)流圖建模方法對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換，進(jìn)而得到CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。
[0034]本實(shí)施例通過(guò)對(duì)CBTC系統(tǒng)中聯(lián)鎖子系統(tǒng)架構(gòu)、接口以及功能需求進(jìn)行分析的基礎(chǔ)上，將SCADE中數(shù)據(jù)流圖和狀態(tài)機(jī)這兩種建模方法有效的地融合在一起，實(shí)現(xiàn)兩種模型間的相互嵌套和無(wú)縫銜接，進(jìn)而能夠精確、完整的描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。
[0035]下面對(duì)本發(fā)明實(shí)施例進(jìn)行詳細(xì)的說(shuō)明:
[0036]如圖2所示，優(yōu)選的，步驟SI中所述進(jìn)路狀態(tài)包括進(jìn)路空閑、進(jìn)路排選、進(jìn)路鎖閉、信號(hào)開(kāi)放和自動(dòng)解鎖。這些狀態(tài)覆蓋了進(jìn)路的所有可能狀態(tài)，且不重疊，進(jìn)路在任何時(shí)刻只可能處于其中的一種狀態(tài)，據(jù)此可建立進(jìn)路狀態(tài)轉(zhuǎn)移圖，并基于此狀態(tài)轉(zhuǎn)移圖來(lái)實(shí)現(xiàn)聯(lián)鎖進(jìn)路控制的程序。
[0037]優(yōu)選的，步驟S2中依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖抽象為一個(gè)四元組，所述四元組為〈狀態(tài)類(lèi)型，狀態(tài)轉(zhuǎn)換條件，本狀態(tài)動(dòng)作，下一狀態(tài)〉，
[0038]其中:
[0039]狀態(tài)類(lèi)型定義了狀態(tài)轉(zhuǎn)移的屬性，分為強(qiáng)轉(zhuǎn)移和弱轉(zhuǎn)移兩種類(lèi)型；
[0040]狀態(tài)轉(zhuǎn)換條件為狀態(tài)轉(zhuǎn)移的觸發(fā)條件，通常為一個(gè)布爾表達(dá)式；
[0041]本狀態(tài)動(dòng)作為系統(tǒng)在當(dāng)前狀態(tài)下執(zhí)行的動(dòng)作；
[0042]下一狀態(tài)為狀態(tài)躍遷的下一個(gè)狀態(tài)。
[0043]進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)分別為進(jìn)路空閑、進(jìn)路排選、進(jìn)路鎖閉、信號(hào)開(kāi)放以及自動(dòng)解鎖等五種不同的狀態(tài)。狀態(tài)之間的轉(zhuǎn)換依靠觸發(fā)條件，在指定進(jìn)路空閑狀態(tài)為初始狀態(tài)后，采用數(shù)據(jù)流圖的建模方法為每個(gè)狀態(tài)設(shè)計(jì)邏輯運(yùn)算，僅當(dāng)本狀態(tài)處于活動(dòng)狀態(tài)時(shí)才執(zhí)行邏輯運(yùn)算，運(yùn)算結(jié)果將驅(qū)動(dòng)不同狀態(tài)的轉(zhuǎn)移。
[0044]具體的，步驟S3中對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換的過(guò)程為:
[0045]S31、預(yù)定義進(jìn)路初始狀態(tài)為空閑狀態(tài)；
[0046]S32、在進(jìn)路狀態(tài)為所述空閑狀態(tài)時(shí)，若選排轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路選排狀態(tài)；相反，進(jìn)路狀態(tài)保持為空閑狀態(tài)；
[0047]S33、在所述進(jìn)路選排狀態(tài)，若鎖閉轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)；相反，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)；
[0048]S34、在所述進(jìn)路鎖閉狀態(tài)，若信號(hào)開(kāi)放轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為信號(hào)開(kāi)放狀態(tài)；相反，進(jìn)路狀態(tài)保持為進(jìn)路鎖閉狀態(tài)；
[0049]S35、在所述信號(hào)開(kāi)放狀態(tài)，若列車(chē)駛?cè)?，進(jìn)路狀態(tài)轉(zhuǎn)換為自動(dòng)解鎖狀態(tài)；若列車(chē)未駛?cè)肭倚盘?hào)開(kāi)放狀態(tài)保持條件滿足，進(jìn)路狀態(tài)保持為信號(hào)開(kāi)放狀態(tài)；若信號(hào)開(kāi)放狀態(tài)保持條件不滿足，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)；
[0050]S36、在所述自動(dòng)解鎖狀態(tài)，滿足自動(dòng)解鎖條件的進(jìn)路區(qū)段自動(dòng)解鎖，若進(jìn)路內(nèi)所有區(qū)段都已經(jīng)解鎖，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)。
[0051]其中，
[0052]選排轉(zhuǎn)換條件為:進(jìn)路內(nèi)各區(qū)段空閑、有關(guān)道岔位置正確、道岔未鎖閉和敵對(duì)進(jìn)路未建立等條件滿足時(shí)；
[0053]鎖閉轉(zhuǎn)換條件為:進(jìn)路內(nèi)各區(qū)段空閑、有關(guān)道岔位置正確和敵對(duì)進(jìn)路未建立等條件滿足時(shí)；
[0054]信號(hào)開(kāi)放轉(zhuǎn)換條件為:進(jìn)路內(nèi)各區(qū)段空閑、有關(guān)道岔位置正確、敵對(duì)進(jìn)路未建立、安全門(mén)已關(guān)閉和緊急停車(chē)未實(shí)施等條件滿足時(shí)；
[0055]信號(hào)開(kāi)放狀態(tài)保持條件為:進(jìn)路內(nèi)各區(qū)段空閑、有關(guān)道岔位置正確、敵對(duì)進(jìn)路未建立、安全門(mén)已關(guān)閉和緊急停車(chē)未實(shí)施等條件滿足時(shí)；
[0056]狀態(tài)的輸入?yún)?shù)為區(qū)段、道岔、安全門(mén)、緊急停車(chē)按鈕等軌旁設(shè)備的狀態(tài)，將所有的設(shè)備狀態(tài)按照與邏輯處理得到不同的結(jié)果，并將關(guān)系的結(jié)果作為條件輸出。
[0057]如圖3所示，為本發(fā)明實(shí)施例的CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。
[0058]綜上，本發(fā)明實(shí) 施例利用SCADE中數(shù)據(jù)流圖建模方法為每個(gè)狀態(tài)實(shí)現(xiàn)邏輯和時(shí)序上的運(yùn)算關(guān)系，并實(shí)現(xiàn)不同狀態(tài)之間的轉(zhuǎn)換。每一個(gè)模型節(jié)點(diǎn)都是預(yù)先定義好模型輸入變量與輸出變量，建模工作則是通過(guò)組合各種操作符將輸入變量與輸出變量按照需求關(guān)聯(lián)起來(lái)，建模過(guò)程中沒(méi)有全局變量的概念，這種操作方式有利于模型的細(xì)化及公共模型的提取，利于整個(gè)程序的結(jié)構(gòu)化。本發(fā)明實(shí)施例實(shí)現(xiàn)了兩種模型間的相互嵌套和無(wú)縫銜接，進(jìn)而能夠精確、完整的描述CBTC聯(lián)鎖系統(tǒng)的進(jìn)路狀態(tài)。
[0059]需要說(shuō)明的是，在本文中，諸如第一和第二等之類(lèi)的關(guān)系術(shù)語(yǔ)僅僅用來(lái)將一個(gè)實(shí)體或者操作與另一個(gè)實(shí)體或操作區(qū)分開(kāi)來(lái)，而不一定要求或者暗示這些實(shí)體或操作之間存在任何這種實(shí)際的關(guān)系或者順序。而且，術(shù)語(yǔ)“包括”、“包含”或者其任何其他變體意在涵蓋非排他性的包含，從而使得包括一系列要素的過(guò)程、方法、物品或者設(shè)備不僅包括那些要素，而且還包括沒(méi)有明確列出的其他要素，或者是還包括為這種過(guò)程、方法、物品或者設(shè)備所固有的要素。在沒(méi)有更多限制的情況下，由語(yǔ)句“包括一個(gè)……”限定的要素，并不排除在包括所述要素的過(guò)程、方法、物品或者設(shè)備中還存在另外的相同要素。
[0060]以上實(shí)施例僅用以說(shuō)明本發(fā)明的技術(shù)方案，而非對(duì)其限制；盡管參照前述實(shí)施例對(duì)本發(fā)明進(jìn)行了詳細(xì)的說(shuō)明，本領(lǐng)域的普通技術(shù)人員應(yīng)當(dāng)理解:其依然可以對(duì)前述各實(shí)施例所記載的技術(shù)方案進(jìn)行修改，或者對(duì)其中部分技術(shù)特征進(jìn)行等同替換；而這些修改或者替換，并不使相應(yīng)技術(shù)方案的本質(zhì)脫離本發(fā)明各實(shí)施例技術(shù)方案的精神和范圍。
【權(quán)利要求】
1.一種CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)建模方法，其特征在于，包括: 51、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的制約關(guān)系制定進(jìn)路狀態(tài)，并依據(jù)所述進(jìn)路狀態(tài)建立進(jìn)路狀態(tài)轉(zhuǎn)移圖； 52、依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖進(jìn)行抽象處理，得到進(jìn)路狀態(tài)轉(zhuǎn)移模型； 53、依據(jù)數(shù)據(jù)流圖建模方法對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換，進(jìn)而得到CBTC聯(lián)鎖系統(tǒng)進(jìn)路狀態(tài)模型。
2.如權(quán)利要求1所述的建模方法，其特征在于，步驟SI中所述進(jìn)路狀態(tài)包括進(jìn)路空閑、進(jìn)路排選、進(jìn)路鎖閉、信號(hào)開(kāi)放和自動(dòng)解鎖。
3.如權(quán)利要求2所述的建模方法，其特征在于，步驟S2中依據(jù)CBTC聯(lián)鎖系統(tǒng)進(jìn)路控制的行為對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移圖抽象為一個(gè)四元組，所述四元組為〈狀態(tài)類(lèi)型，狀態(tài)轉(zhuǎn)換條件，本狀態(tài)動(dòng)作，下一狀態(tài)〉，其中，所述狀態(tài)類(lèi)型為狀態(tài)轉(zhuǎn)移的屬性；所述狀態(tài)轉(zhuǎn)換條件為狀態(tài)轉(zhuǎn)移的觸發(fā)條件；所述本狀態(tài)動(dòng)作為當(dāng)前狀態(tài)下執(zhí)行的動(dòng)作；所述下一狀態(tài)為狀態(tài)躍遷的下一個(gè)狀態(tài)。
4.如權(quán)利要求3所述的建模方法，其特征在于，步驟S3中對(duì)所述進(jìn)路狀態(tài)轉(zhuǎn)移模型中的狀態(tài)進(jìn)行邏輯和時(shí)序運(yùn)算，驅(qū)動(dòng)不同狀態(tài)之間的轉(zhuǎn)換的過(guò)程為: S31、預(yù)定義進(jìn)路初始狀態(tài)為空閑狀態(tài)； S32、在進(jìn)路狀態(tài)為所述空閑狀態(tài)時(shí)，若選排轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路選排狀態(tài)；相反，進(jìn)路狀態(tài)保持為空閑狀態(tài)； S33、在所述進(jìn)路選排狀態(tài)，若鎖閉轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)；相反，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)； S34、在所述進(jìn)路鎖閉狀態(tài)，若信號(hào)開(kāi)放轉(zhuǎn)換條件通過(guò)，進(jìn)路狀態(tài)轉(zhuǎn)換為信號(hào)開(kāi)放狀態(tài)；相反，進(jìn)路狀態(tài)保持為進(jìn)路鎖閉狀態(tài)； S35、在所述信號(hào)開(kāi)放狀態(tài)，若列車(chē)駛?cè)?，進(jìn)路狀態(tài)轉(zhuǎn)換為自動(dòng)解鎖狀態(tài)；若列車(chē)未駛?cè)肭倚盘?hào)開(kāi)放狀態(tài)保持條件滿足，進(jìn)路狀態(tài)保持為信號(hào)開(kāi)放狀態(tài)；若信號(hào)開(kāi)放狀態(tài)保持條件不滿足，進(jìn)路狀態(tài)轉(zhuǎn)換為進(jìn)路鎖閉狀態(tài)； S36、在所述自動(dòng)解鎖狀態(tài)，滿足自動(dòng)解鎖條件的進(jìn)路區(qū)段自動(dòng)解鎖，若進(jìn)路內(nèi)所有區(qū)段都已經(jīng)解鎖，進(jìn)路狀態(tài)轉(zhuǎn)換為空閑狀態(tài)。
【文檔編號(hào)】G06F17/50GK103745048SQ201310741127
【公開(kāi)日】2014年4月23日 申請(qǐng)日期:2013年12月27日 優(yōu)先權(quán)日:2013年12月27日
【發(fā)明者】高國(guó)棟 申請(qǐng)人:北京交控科技有限公司