發(fā)布時(shí)間：2021-05-07 08:45

　　在CTCS-3級(jí)列控系統(tǒng)中,為了保證C2級(jí)向C3級(jí)場(chǎng)景轉(zhuǎn)換的過(guò)程中列控系統(tǒng)實(shí)時(shí)性和安全性,采用統(tǒng)一建模語(yǔ)言（UML）活動(dòng)圖和分層賦時(shí)有色Petri網(wǎng)Hierarchical Timed Colored Petri Net（HTCPN）對(duì)等級(jí)轉(zhuǎn)換過(guò)程進(jìn)行建模。利用UML活動(dòng)圖對(duì)C2級(jí)向C3級(jí)轉(zhuǎn)換過(guò)程中車(chē)載設(shè)備、GSM-R網(wǎng)絡(luò)、無(wú)線閉塞中心（RBC）之間信息流的傳遞過(guò)程進(jìn)行建模,再?gòu)腢ML活動(dòng)圖中提取節(jié)點(diǎn)信息轉(zhuǎn)換成HTCPN模型進(jìn)行動(dòng)態(tài)驗(yàn)證。通過(guò)對(duì)模型提取的數(shù)據(jù)仿真,分析列車(chē)行車(chē)速度和消息重發(fā)時(shí)間間隔對(duì)等級(jí)轉(zhuǎn)換場(chǎng)景轉(zhuǎn)換成功率的影響,驗(yàn)證模型的有效性。在CTCS-2級(jí)控車(chē)模式下,以頂棚速度（250 km/h）進(jìn)行場(chǎng)景等級(jí)轉(zhuǎn)換,轉(zhuǎn)換成功率提高了0.2%。 

【文章來(lái)源】：計(jì)算機(jī)應(yīng)用與軟件. 2020,37(06)北大核心

【文章頁(yè)數(shù)】：7 頁(yè)

【文章目錄】：
0 引 言
1 列控系統(tǒng)等級(jí)轉(zhuǎn)換場(chǎng)景分析
    1.1 列車(chē)系統(tǒng)等級(jí)轉(zhuǎn)換
    1.2 C2級(jí)向C3級(jí)轉(zhuǎn)換過(guò)程分析
2 C2向C3等級(jí)轉(zhuǎn)換的UML模型
    2.1 等級(jí)轉(zhuǎn)換的UML活動(dòng)圖
    2.2 UML活動(dòng)圖擴(kuò)展中間模型
    2.3 UML活動(dòng)節(jié)點(diǎn)到CPN的轉(zhuǎn)換
        (1) Simple節(jié)點(diǎn)的映射。
        (2) Arrival節(jié)點(diǎn)的映射。
        (3) Resource節(jié)點(diǎn)的映射。
        (4) Opt節(jié)點(diǎn)的映射。
3 等級(jí)轉(zhuǎn)換的HTCPN模型及驗(yàn)證
    3.1 分層賦時(shí)有色Petri網(wǎng)
    3.2 等級(jí)轉(zhuǎn)換HTCPN頂層模型
    3.3 等級(jí)轉(zhuǎn)換HTCPN子頁(yè)模型
4 C2級(jí)向C3級(jí)系統(tǒng)等級(jí)轉(zhuǎn)換性能分析
    4.1 速度對(duì)等級(jí)轉(zhuǎn)換的影響
    4.2 消息重發(fā)時(shí)間間隔對(duì)等級(jí)轉(zhuǎn)換的影響
5 結(jié) 語(yǔ)


【參考文獻(xiàn)】：
期刊論文
[1]基于有色Petri網(wǎng)的網(wǎng)絡(luò)安全態(tài)勢(shì)感知模型構(gòu)建及分析[J]. 惠馨雅,劉建華,劉浩.  計(jì)算機(jī)與數(shù)字工程. 2019(02)
[2]CTCS-3級(jí)列控系統(tǒng)等級(jí)轉(zhuǎn)換場(chǎng)景功能安全分析[J]. 盛昭君,米根鎖.  控制工程. 2019(02)
[3]基于UML建模XML模式[J]. 紀(jì)斌,吳家菊,馬永起,周本金,謝永輝.  計(jì)算機(jī)工程與設(shè)計(jì). 2019(01)
[4]基于有色Petri網(wǎng)的測(cè)試案例生成方法及其在CTCS-3車(chē)地通信中的應(yīng)用[J]. 趙天時(shí).  北京交通大學(xué)學(xué)報(bào). 2018(06)
[5]基于UML的裝甲裝備IETM建模[J]. 王國(guó)輝,趙鐵軍.  計(jì)算機(jī)應(yīng)用與軟件. 2018(08)
[6]采用有色Petri網(wǎng)的等級(jí)轉(zhuǎn)換場(chǎng)景概念建模[J]. 宋麗梅,朱愛(ài)紅,馬欣宇.  華僑大學(xué)學(xué)報(bào)(自然科學(xué)版). 2018(04)
[7]基于HUML擴(kuò)展機(jī)制描述列控系統(tǒng)安全特性的研究[J]. 劉磊.  鐵道標(biāo)準(zhǔn)設(shè)計(jì). 2018(12)
[8]基于HUML的列控系統(tǒng)形式化建模與參數(shù)分析方法[J]. 趙曉宇,程瑞軍,程雨,馬小平.  鐵道學(xué)報(bào). 2016(11)
[9]基于CPN的等級(jí)轉(zhuǎn)換場(chǎng)景建模分析[J]. 王瑞峰,李媛,程金山.  計(jì)算機(jī)工程與應(yīng)用. 2015(10)
[10]基于有色Petri網(wǎng)的CTCS-3級(jí)列控系統(tǒng)RBC切換的建模與形式化分析[J]. 張友兵,唐濤.  鐵道學(xué)報(bào). 2012(07)

碩士論文
[1]基于UML活動(dòng)圖模型的測(cè)試用例自動(dòng)生成方法的研究及實(shí)現(xiàn)[D]. 孫瑤.北京交通大學(xué) 2018



本文編號(hào)：3173103