列車(chē)運(yùn)行控制系統(tǒng)作為監(jiān)督控制列車(chē)運(yùn)行的主要技術(shù)裝備,是確保列車(chē)運(yùn)行安全、正點(diǎn)、高效的關(guān)鍵�，F(xiàn)階段,我國(guó)列控系統(tǒng)的數(shù)據(jù)設(shè)計(jì)和準(zhǔn)備通常由人工完成,各子系統(tǒng)功能不同,對(duì)數(shù)據(jù)的描述手段也各有不同。缺乏統(tǒng)一的數(shù)據(jù)模型使得各子系統(tǒng)之間數(shù)據(jù)交互困難,數(shù)據(jù)驗(yàn)證不充分。同時(shí),人工為主的工作方式在開(kāi)發(fā)成本和效率、保證設(shè)計(jì)質(zhì)量等方面存在諸多問(wèn)題。列控?cái)?shù)據(jù)種類多樣且邏輯關(guān)系復(fù)雜,數(shù)據(jù)安全風(fēng)險(xiǎn)較大,因此對(duì)數(shù)據(jù)建模和驗(yàn)證的研究十分迫切。論文主要工作包括以下四個(gè)方面:（1）分析CTCS-3級(jí)列控系統(tǒng)的結(jié)構(gòu)與各單元、組件等對(duì)數(shù)據(jù)的需求。對(duì)列控系統(tǒng)的線路網(wǎng)絡(luò)數(shù)據(jù)和基礎(chǔ)設(shè)備數(shù)據(jù)進(jìn)行分析和深入研究,在此基礎(chǔ)上得到列控系統(tǒng)基礎(chǔ)線路數(shù)據(jù)的固有特征和組織方式。高效而合理的數(shù)據(jù)描述方式使得數(shù)據(jù)管理更加方便,數(shù)據(jù)使用更加穩(wěn)定。（2）針對(duì)列控系統(tǒng)的基礎(chǔ)線路數(shù)據(jù),提出列控拓?fù)鋽?shù)據(jù)的建模方法。將圖論知識(shí)應(yīng)用到模型建立過(guò)程中,基于線路的平面布置圖得到列控靜態(tài)線路數(shù)據(jù)及其拓?fù)潢P(guān)系,設(shè)計(jì)模型數(shù)據(jù)結(jié)構(gòu)及模型關(guān)系,實(shí)現(xiàn)了對(duì)列控靜態(tài)基礎(chǔ)線路數(shù)據(jù)的統(tǒng)一描述。（3）基于CTCS-3級(jí)列控系統(tǒng)的數(shù)據(jù)需求,總結(jié)列控系統(tǒng)基礎(chǔ)線路數(shù)據(jù)需要驗(yàn)證的屬性,主要包括值域... 

【文章來(lái)源】：北京交通大學(xué)北京市 211工程院校 教育部直屬院校

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

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖２－１三種層次的數(shù)學(xué)模型??Ｆｉｇｕｒｅ?２－１?Ｔｈｒｅｅ?ｋｉｎｄｓ?ｏｆ?ｄａｔａ?ｍｏｄｅｌ??

圖２－２簡(jiǎn)單圖舉例??Ｆｉｕｒｅ?２－２Ｓｉｍｌｅｒａｈ?ｄｉａｒａｍ??

—對(duì)頂點(diǎn)巧和Ｖ／相關(guān)聯(lián)，％、Ｖｙ不一定不同，且ｒ￡、ｉ＾ｅＶ。通常用集合｜Ｖ｜和｜Ｅ｜分??別表示頂點(diǎn)個(gè)數(shù)和邊的數(shù)量。需要注意的是，圖中頂點(diǎn)一定不能為空，而邊可以??為空。簡(jiǎn)單圖舉例如圖２－２所示。??圖２－２簡(jiǎn)單圖舉例??Ｆｉｇｕｒｅ?２－２Ｓｉｍｐｌｅ?ｇｒａｐｈ?ｄｉａｇｒａｍ??從圖中可看出它是一個(gè)由頂點(diǎn)集為｛Ａ，Ｂ，Ｃ，Ｄ，Ｅ｝，邊集為｛ｅ１（ｅ２，ｅ３，ｅ４，ｅｓ，ｅ６｝組??成的圖，每條邊的端點(diǎn)如圖所示。??２．２．２圖論相關(guān)術(shù)語(yǔ)??圖論是以圖為研宄對(duì)象的數(shù)學(xué)分支，可解決運(yùn)籌學(xué)、網(wǎng)絡(luò)理論和計(jì)算機(jī)等學(xué)??１０??

【參考文獻(xiàn)】：
期刊論文
[1]基于二叉樹(shù)結(jié)構(gòu)高速鐵路聯(lián)鎖系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J]. 楊美娜,楊揚(yáng).  鐵路計(jì)算機(jī)應(yīng)用. 2017(04)
[2]基于SAT的應(yīng)答器工程數(shù)據(jù)邏輯規(guī)則提取及驗(yàn)證[J]. 王彤典,趙會(huì)兵.  鐵道學(xué)報(bào). 2017(02)
[3]城軌計(jì)算機(jī)聯(lián)鎖的數(shù)據(jù)安全性驗(yàn)證[J]. 周果,趙會(huì)兵.  鐵道學(xué)報(bào). 2016(08)
[4]基于鄰接表的進(jìn)路廣度搜索算法分析[J]. 文冬林.  科技資訊. 2013(34)
[5]DevExpress圖表控件XtraCharts在監(jiān)控軟件中的應(yīng)用[J]. 張國(guó)梁.  電腦與電信. 2011(06)
[6]鐵路信號(hào)控制系統(tǒng)中的數(shù)據(jù)安全與數(shù)據(jù)組織[J]. 馬強(qiáng).  硅谷. 2009(18)
[7]基于層次模型的智能數(shù)據(jù)挖掘框架及其模型[J]. 賴邦傳,陳曉紅.  計(jì)算機(jī)工程. 2004(01)
[8]鐵路地理信息系統(tǒng)（RGIS）元數(shù)據(jù)問(wèn)題研究[J]. 李洋,劉影,劉仍奎.  中國(guó)鐵道科學(xué). 2003(05)
[9]車(chē)站平面圖CAD系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J]. 張晶,周磊山,樂(lè)逸祥.  北方交通大學(xué)學(xué)報(bào). 2002(01)
[10]鐵路車(chē)站信號(hào)選路中圖論應(yīng)用的研究[J]. 王曉明,郭進(jìn),姚琨嵐.  鐵道學(xué)報(bào). 1989(02)

博士論文
[1]城軌CBTC系統(tǒng)數(shù)據(jù)的安全處理與驗(yàn)證方法研究[D]. 黃友能.北京交通大學(xué) 2014
[2]軌道交通列車(chē)運(yùn)行控制系統(tǒng)的形式化建模和模型檢驗(yàn)方法研究[D]. 燕飛.北京交通大學(xué) 2006

碩士論文
[1]基于車(chē)長(zhǎng)的CBTC的車(chē)載ATP安全制動(dòng)模型研究與仿真[D]. 汪領(lǐng)領(lǐng).東華大學(xué) 2014
[2]CTCS-3級(jí)列控系統(tǒng)地車(chē)安全信息傳輸子系統(tǒng)的建模與分析[D]. 全宏宇.北京交通大學(xué) 2014
[3]基于規(guī)則的CBTC系統(tǒng)數(shù)據(jù)分析與驗(yàn)證的研究[D]. 董秋麗.北京交通大學(xué) 2012
[4]CTCS-2級(jí)客專列控CAD的設(shè)計(jì)和驗(yàn)證[D]. 業(yè)青.北京交通大學(xué) 2011
[5]CBTC仿真系統(tǒng)的基礎(chǔ)數(shù)據(jù)研究[D]. 杜菡萏.西南交通大學(xué) 2011
[6]CTCS-3級(jí)列控系統(tǒng)的UML建模與模型檢驗(yàn)研究[D]. 吳曉丹.北京交通大學(xué) 2010
[7]CBTC系統(tǒng)線路數(shù)據(jù)自動(dòng)生成研究[D]. 陳法仲.北京交通大學(xué) 2010
[8]計(jì)算機(jī)聯(lián)鎖仿真系統(tǒng)線路數(shù)據(jù)自動(dòng)生成工具的研究與開(kāi)發(fā)[D]. 袁春貴.北京交通大學(xué) 2009



本文編號(hào)：3551599