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

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

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

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

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


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

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



本文編號：3173103