隨著我國鐵路“走出去”戰(zhàn)略的不斷推進,我國高速鐵路蓬勃發(fā)展。高速鐵路的安全和效率逐漸成為發(fā)展的重心,對列車運行控制系統(tǒng)的安全性和實時性也提出了新的要求。無線閉塞中心（Radio Block Center,RBC）作為CTCS-3級列車運行控制系統(tǒng)的地面關鍵設備,主要功能是根據(jù)不同的運營場景,利用RBC和其他外部系統(tǒng)的交互得到的信息,計算行車許可等控車命令并發(fā)送至列車。列車能否在線路上安全、可靠運行很大程度依賴于RBC發(fā)送的行車許可是否準確、及時。因此對RBC控車場景的研究具有重要意義。論文基于著色Petri網形式化建模方法,對不同場景中RBC的控車過程進行了如下研究:首先,分析了不同控車場景中的信息交互,建立CPN模型。根據(jù)CTCS-3列控系統(tǒng)的運營場景將RBC控車運營場景分為下面4個主要場景:車地安全連接場景、行車許可生成場景、等級轉換場景和RBC切換場景。詳細分析了各個場景中RBC和列車的數(shù)據(jù)交互過程,采用自頂而下的分層建模方法,利用著色Petri網的建模工具CPNTools建立了系統(tǒng)的頂層模型和各個運營場景的子網模型。在建立的CPN模型中設定了消息延時和列車初速度,為RBC控車場... 

【文章來源】：北京交通大學北京市 211工程院校 教育部直屬院校

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

【學位級別】：碩士

【文章目錄】：
致謝
摘要
ABSTRACT
1 引言
    1.1 研究背景
        1.1.1 CTCS-3級列控系統(tǒng)介紹
        1.1.2 RBC控車場景概述
    1.2 Petri網理論在鐵路中的研究現(xiàn)狀
    1.3 研究內容及論文結構
2 著色Petri網
    2.1 Petri網理論
        2.1.1 Petri網形式化定義
        2.1.2 高級Petri網
    2.2 著色Petri網介紹
        2.2.1 著色Petri網理論
        2.2.2 著色Petri網的動態(tài)屬性
        2.2.3 著色Petri網建模方法
        2.2.4 著色Petri網建模工具——CPN Tools
    2.3 本章小結
3 RBC控車場景的CPN模型
    3.1 RBC仿真模型頂層模型
    3.2 車地安全連接場景
        3.2.1 車地安全加密場景功能分析
        3.2.2 車地安全加密場景CPN模型
    3.3 行車許可場景
        3.3.1 行車許可介紹
        3.3.2 行車許可場景功能分析
        3.3.3 行車許可場景CPN模型
    3.4 等級轉換場景
        3.4.1 等級轉換場景功能分析
        3.4.2 等級轉換場景CPN模型
    3.5 RBC切換場景
        3.5.1 RBC切換場景功能分析
        3.5.2 RBC切換場景CPN模型
    3.6 本章小結
4 CPN模型的分析與驗證
    4.1 CPN模型的狀態(tài)空間分析
    4.2 CPN模型的系統(tǒng)性能分析
        4.2.1 車地連接場景
        4.2.2 等級轉換場景
        4.2.3 RBC切換場景
    4.3 本章小結
5 RBC仿真平臺
    5.1 平臺整體介紹
    5.2 RBC仿真平臺軟件設計
        5.2.1 總體框架設計
        5.2.2 線路信息模塊
        5.2.3 通信接口模塊
        5.2.4 不同場景功能模塊
    5.3 RBC仿真平臺軟件實現(xiàn)與測試
        5.3.1 RBC仿真平臺主界面
        5.3.2 仿真平臺功能驗證
    5.4 本章小結
6 結論與展望
    6.1 論文總結
    6.2 論文展望
參考文獻
作者簡歷及攻讀碩士學位期間取得的研究成果
學位論文數(shù)據(jù)集


【參考文獻】：
期刊論文
[1]高鐵時代物資供應的區(qū)域化經濟發(fā)展[J]. 吳猛.  鐵路采購與物流. 2018(12)
[2]Novel dynamic evidential Petri net for system reliability analysis[J]. Wensheng Peng,Jianguo Zhang,Jinyang Zhang.  Journal of Systems Engineering and Electronics. 2017(05)
[3]中長期高速鐵路網規(guī)劃相關問題研究[J]. 余巧鳳,梁棟.  鐵道經濟研究. 2017(01)
[4]適用于CTCS-3級的安全計算機平臺的無線安全通信架構分析[J]. 黃彬彬,孟慶堯.  鐵路通信信號工程技術. 2016(04)
[5]Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL[J]. AHMAD Ehsan,DONG YunWei,LARSON Brian,Lü JiDong,TANG Tao,ZHAN NaiJun.  Science China（Information Sciences）. 2015(11)
[6]基于TCPN的交叉口信號控制模型與優(yōu)化[J]. 安毅生,雷甜,袁紹欣,趙祥模.  計算機應用研究. 2016(01)
[7]基于Petri網的流程間元素映射方法[J]. 曹斌,王佳星,范菁,董天陽.  軟件學報. 2015(03)
[8]基于Petri網列車群模型的列車運行沖突分析[J]. 王鵬玲,馬磊,王青元,馮曉云.  鐵道學報. 2015(03)
[9]基于著色Petri網的高速列車追蹤運行過程建模與仿真[J]. 任國彬,陳小強.  鐵道標準設計. 2015(03)
[10]基于Petri網的故障診斷研究理論的綜述[J]. 方歡,方賢文,李德權.  計算機科學. 2014(03)

碩士論文
[1]基于Petri網通訊行為輪廓的業(yè)務流程挖掘研究[D]. 曹蕊.安徽理工大學 2018
[2]列控系統(tǒng)分布式目標控制器通信子系統(tǒng)的研究[D]. 楊東穎.北京交通大學 2018
[3]基于時間自動機的RBC控車場景建模與驗證[D]. 宋菲.西南交通大學 2017
[4]基于著色Petri網的列控系統(tǒng)等級轉換建模分析與半實物仿真[D]. 董健.北京交通大學 2017
[5]CTCS-3級列控系統(tǒng)等級轉換運營場景智能形式化研究[D]. 王振強.蘭州交通大學 2014
[6]CTCS-3級列控系統(tǒng)RBC行車許可生成的形式化建模與分析[D]. 張愛玲.蘭州交通大學 2012
[7]基于隨機petri網的CTCS-3級RBC系統(tǒng)控車流程建模與分析[D]. 梁楠.北京交通大學 2009
[8]基于有色Petri網的無線閉塞中心子系統(tǒng)切換建模與驗證[D]. 李偉.北京交通大學 2009



本文編號：3151768