高速磁浮技術(shù)作為區(qū)別于輪軌高鐵的新型交通運輸手段,是未來高速和特高速軌道交通系統(tǒng)發(fā)展的重要方向。近年來,我國對高速磁浮列車技術(shù)開展了相關(guān)研究,計劃在未來五年之內(nèi)建成時速600公里條件下的高速磁浮試驗線。高速磁浮列車運行控制系統(tǒng)作為保證列車安全運行的關(guān)鍵,其工程應(yīng)用方面的研究已刻不容緩。高速磁浮列控系統(tǒng)的工程應(yīng)用需要相應(yīng)的場景規(guī)范來進行指導(dǎo),由于運行機理的區(qū)別,成熟的輪軌高鐵列控系統(tǒng)運行場景無法照搬在高速磁浮列控系統(tǒng)上,而目前國內(nèi)也沒有系統(tǒng)的開展過高速磁浮列控系統(tǒng)運行場景方面的研究。本文從高速磁浮試驗線列控系統(tǒng)的研發(fā)和建設(shè)出發(fā),對高速磁浮列控系統(tǒng)的運行場景進行了相關(guān)研究,主要工作如下:首先,提出了統(tǒng)一建模語言UML結(jié)合通信順序進程CSP的高速磁浮列控系統(tǒng)運行場景分析方法,制定了 UML模型和CSP模型之間的轉(zhuǎn)換規(guī)則,給出了方法的具體內(nèi)容和流程;其次,根據(jù)高速磁浮列控系統(tǒng)的系統(tǒng)結(jié)構(gòu)和功能特點,構(gòu)建了 9個高速磁浮列控系統(tǒng)的運行場景,并對每個運行場景的場景術(shù)語、交互信息和交互流程進行了規(guī)范化的描述;然后,對構(gòu)建的場景進行了建模與形式化驗證。按照提出的高速磁浮列控系統(tǒng)運行場景分析方法,分別建立... 

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

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

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

【部分圖文】：

圖１－１德國ＴＲ磁浮列車工作原理??Ｆｉｇｕｒｅ?１－１?Ｐｒｉｎｃｉｐｌｅ?ｏｆＴＲ?Ｈｉｇｈ－ｓｐｅｅｄ?Ｍａｇｌｅｖ?Ｔｒａｉｎ??

日本ＭＬＸ磁浮列車屬于超導(dǎo)電動懸浮型Ｗ，列車運行在“Ｕ”型導(dǎo)槽內(nèi)，利??用導(dǎo)槽兩側(cè)的線圈給列車提供懸浮和導(dǎo)向力，懸浮高度在ｌ〇ｃｍ與３０ｃｍ之間，車??速越高懸浮高度越大，如圖１－２所示。ＭＬＸ型列車在靜止和低速運行時不能起浮，??列車的運行也是依靠直線電機來實現(xiàn)，電機的定子安裝在導(dǎo)槽側(cè)壁上，車輛上的??超導(dǎo)磁體作為電機的勵磁磁極［６］。??混泥土側(cè)墻??＼?車上的超導(dǎo)磁體?懸浮導(dǎo)向線圈??＼ｊｆｌ???牽引線圈??，?？［??圖１－２日本ＭＬＸ磁浮列車工作原理??Ｆｉｇｕｒｅ?１－２?Ｐｒｉｎｃｉｐｌｅ?ｏｆ?ＭＬＸ?Ｈｉｇｈ－ｓｐｅｅｄ?Ｍａｇｌｅｖ?Ｔｒａｉｎ??２００３年，ＭＬＸ型磁浮列車最高載人試驗速度到達５８］ｋｍ／ｈ。２０１５年，由ＭＬＸ??型超導(dǎo)磁浮列車基礎(chǔ)上發(fā)展而來的Ｌ０型磁浮列車，在山梨磁懸浮試驗線上創(chuàng)造了??載人行駛速度達６０３ｋｍ／ｈ的世界新紀(jì)錄。２０１４年，日本的東京一大阪磁懸浮中央??新干線項目開始動工建設(shè)，預(yù)計２０２７年開通東京一名古屋段、２０４５年開通大阪延??伸段線路。??１．２．２國內(nèi)高速磁浮技術(shù)發(fā)展概況??國內(nèi)從上世紀(jì)８０年代開始進行磁浮列車技術(shù)研究，初期的研究都是針對車輛??懸浮、導(dǎo)向等技術(shù)而展開：１９８９年

一列控系統(tǒng)形式化研究分類

【參考文獻】：
期刊論文
[1]高速磁浮車載運行控制仿真子系統(tǒng)研究[J]. 李章楊,虞翊,陳義軍.  城市軌道交通研究. 2018(11)
[2]高速磁浮運行控制系統(tǒng)與城軌信號系統(tǒng)CBTC的對比分析[J]. 吳衛(wèi)平,胡劍,高原.  控制與信息技術(shù). 2018(03)
[3]高速磁浮運控系統(tǒng)中車載安全計算機與車載控制單元的接口研究[J]. 湯卓穎.  數(shù)字通信世界. 2017(09)
[4]基于模型的CTCS-3級列控系統(tǒng)測試案例自動生成方法[J]. 呂繼東,朱曉琳,李開成,唐濤,王海峰.  西南交通大學(xué)學(xué)報. 2015(05)
[5]Timed RAISE方法在列控系統(tǒng)等級轉(zhuǎn)換場景中的應(yīng)用研究[J]. 丁春平,陳永剛.  鐵道標(biāo)準(zhǔn)設(shè)計. 2015(08)
[6]磁浮列車定位信號傳輸和列車初始狀態(tài)定位過程[J]. 欽臻文.  城市軌道交通研究. 2015(05)
[7]中國高速鐵路列控系統(tǒng)的形式化分析與驗證[J]. 郭丹青,呂繼東,王淑靈,唐濤,詹乃軍,周達天,鄒亮.  中國科學(xué):信息科學(xué). 2015(03)
[8]基于DSPN的高速磁浮車地通信系統(tǒng)可靠性及時延[J]. 馬連川,張玉琢,孫雅晴,穆建成,曹源.  西南交通大學(xué)學(xué)報. 2014(06)
[9]38GHz無線電系統(tǒng)在磁浮交通中的應(yīng)用[J]. 盛雄偉.  城市軌道交通研究. 2014(07)
[10]基于DSPN的高速磁浮運控系統(tǒng)越區(qū)切換模型[J]. 曹源,張玉琢,馬連川,孫雅晴,穆建成.  交通運輸工程學(xué)報. 2014(02)

博士論文
[1]列控系統(tǒng)需求規(guī)范形式化建模與驗證方法研究[D]. 謝雨飛.北京交通大學(xué) 2012
[2]列車運行控制系統(tǒng)分層形式化建模與驗證分析[D]. 呂繼東.北京交通大學(xué) 2011
[3]高速鐵路列車運行控制系統(tǒng)的形式化建模與驗證方法研究[D]. 曹源.北京交通大學(xué) 2011
[4]高速磁浮列車最優(yōu)速度曲線及其跟蹤控制研究[D]. 楊光.北京交通大學(xué) 2007

碩士論文
[1]基于模型的城際鐵路列控系統(tǒng)運營場景仿真與驗證[D]. 杜慶豪.北京交通大學(xué) 2017
[2]高速磁浮列車速度曲線監(jiān)控功能安全分析[D]. 姚媛.北京交通大學(xué) 2016
[3]基于時間自動機的CTCS-3級列控系統(tǒng)變異測試方法研究[D]. 李騰.北京交通大學(xué) 2016
[4]基于新型感應(yīng)環(huán)線的磁浮列車定位測速與通信技術(shù)研究[D]. 張斌.國防科學(xué)技術(shù)大學(xué) 2015
[5]基于CPN的高速磁懸浮列車分區(qū)運行控制系統(tǒng)的層次化建模研究[D]. 李一鳴.北京交通大學(xué) 2011
[6]磁懸浮車載安全防護及控制仿真系統(tǒng)的設(shè)計與實現(xiàn)[D]. 趙斌.北京交通大學(xué) 2009
[7]高速磁浮列車中央控制仿真系統(tǒng)的設(shè)計與實現(xiàn)[D]. 黃迪.北京交通大學(xué) 2009
[8]磁浮交通中央控制系統(tǒng)的安全操作與顯示技術(shù)研究與實現(xiàn)[D]. 孫來平.上海交通大學(xué) 2009
[9]磁浮列車仿真平臺設(shè)計及運控算法研究[D]. 楊軻.浙江大學(xué) 2008
[10]磁浮交通中央運行控制系統(tǒng)的關(guān)鍵技術(shù)研究[D]. 江浩.上海交通大學(xué) 2008



本文編號：3555470