發(fā)布時(shí)間：2017-03-30 14:00

  本文關(guān)鍵詞：基于STeC的列控系統(tǒng)的建模與驗(yàn)證，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著嵌入式、計(jì)算機(jī)和網(wǎng)絡(luò)技術(shù)快速發(fā)展,人類對(duì)于相關(guān)產(chǎn)品的依賴逐漸增強(qiáng)。在此需求下,信息物理融合系統(tǒng)(CPS,Cyber Physical Systems)應(yīng)運(yùn)而生,各國學(xué)術(shù)界和商業(yè)界都引起高度重視。CPS的典型應(yīng)用包括:智能交通、生物醫(yī)療以及自主運(yùn)算等領(lǐng)域。CPS應(yīng)用對(duì)安全性的要求很高,保證智能體的時(shí)間、空間一致性是其研究領(lǐng)域的一大熱點(diǎn)。針對(duì)該類系統(tǒng)的時(shí)空一致性,運(yùn)用實(shí)時(shí)系統(tǒng)規(guī)范語言STe C進(jìn)行建模,并在系統(tǒng)設(shè)計(jì)的需求層面驗(yàn)證系統(tǒng)的正確性。論文對(duì)列車晚點(diǎn)問題進(jìn)行深入研究,針對(duì)不同晚點(diǎn)類型問題研究相應(yīng)的不停車超車策略。主要研究工作包括以下幾點(diǎn):1,針對(duì)智能交通領(lǐng)域中的兩種典型晚點(diǎn)類型,設(shè)計(jì)不同的不停車超車策略,代入實(shí)例數(shù)據(jù)測(cè)試驗(yàn)證策略的正確性和實(shí)用性。2,運(yùn)用STe C語言對(duì)CPS(列控系統(tǒng))建模,通過形式化描述兩種晚點(diǎn)類型的不停車超車策略,使用STe C工具驗(yàn)證其描述的邏輯正確性以及時(shí)空一致性。3,針對(duì)不同實(shí)例,通過STe C至Stateflow狀態(tài)遷移系統(tǒng)的轉(zhuǎn)換,使用Matlab將以上兩種策略進(jìn)行Simulink仿真,驗(yàn)證系統(tǒng)的安全性,并分析其是否滿足實(shí)際應(yīng)用的工程需求。4,最后本文設(shè)計(jì)了Train Pass IDE工具,用戶通過輸入不同的列車參數(shù),模擬不同場(chǎng)景下的不停車超車情形,并且該工具通過調(diào)用本文設(shè)計(jì)的策略公式,給出相應(yīng)結(jié)果。
【關(guān)鍵詞】：信息物理融合系統(tǒng) STeC 時(shí)空一致性 建模與仿真
【學(xué)位授予單位】：貴州大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP311.52
【目錄】：

• 摘要4-5
• abstract5-7
• 第一章 緒論7-16
• 1.1 研究背景與意義7-10
• 1.1.1 研究背景7-10
• 1.1.2 研究意義10
• 1.2 國內(nèi)外研究現(xiàn)狀10-13
• 1.2.1 國外研究現(xiàn)狀10-12
• 1.2.2 國內(nèi)研究現(xiàn)狀12-13
• 1.3 論文主要工作13-15
• 1.3.1 研究目標(biāo)13-14
• 1.3.2 研究?jī)?nèi)容14-15
• 1.4 論文組織結(jié)構(gòu)15
• 1.5 本章小結(jié)15-16
• 第二章 相關(guān)知識(shí)與技術(shù)基礎(chǔ)介紹16-25
• 2.1 實(shí)時(shí)系統(tǒng)規(guī)范語言STeC16-20
• 2.1.1 實(shí)時(shí)系統(tǒng)16-17
• 2.1.2 STeC時(shí)空一致性語言17-20
• 2.2 Matlab/Stateflow簡(jiǎn)介20-24
• 2.2.1 Matlab工具集21-22
• 2.2.2 Stateflow有限混成自動(dòng)機(jī)22-24
• 2.3 Eclipse平臺(tái)相關(guān)技術(shù)24
• 2.4 本章小結(jié)24-25
• 第三章 基于不停車超車的調(diào)控策略25-39
• 3.1 列車組織運(yùn)行特點(diǎn)和調(diào)度原則25-27
• 3.1.1 列車組織運(yùn)行特點(diǎn)25-26
• 3.1.2 列車運(yùn)行調(diào)度原則26-27
• 3.2 不停車超車策略的分析27-38
• 3.2.1 晚點(diǎn)類型分類和模型的建立27-34
• 3.2.2 簡(jiǎn)單實(shí)例分析34-38
• 3.3 本章小結(jié)38-39
• 第四章 基于STeC的形式化描述與建模仿真39-55
• 4.1 STeC語言領(lǐng)域化描述39-49
• 4.1.1 不停車超車系統(tǒng)STeC描述40-44
• 4.1.2 STeC工具驗(yàn)證44-49
• 4.2 模型系統(tǒng)建模仿真49-54
• 4.2.1 仿真模型建立49-50
• 4.2.2 仿真結(jié)果50-54
• 4.3 本章小結(jié)54-55
• 第五章 超車模型的圖形化工具設(shè)計(jì)與實(shí)現(xiàn)55-64
• 5.1 超車模型工具簡(jiǎn)介55-57
• 5.1.1 需求分析55-56
• 5.1.2 開發(fā)環(huán)境56-57
• 5.2 超車模型工具設(shè)計(jì)57-63
• 5.2.1 總體結(jié)構(gòu)設(shè)計(jì)57-60
• 5.2.2 工具演示60-63
• 5.3 本章小結(jié)63-64
• 第六章 總結(jié)與展望64-66
• 致謝66-67
• 參考文獻(xiàn)67-72
• 附錄72-73
• 圖版73-75

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 周小輝;;基于列控系統(tǒng)車——地間信息傳輸方式的研究[J];甘肅科技縱橫;2007年01期

2 楊絢;陳德旺;陳榮;;高速鐵路列控系統(tǒng)主動(dòng)安全控制的分析與思考[J];鐵路計(jì)算機(jī)應(yīng)用;2012年08期

3 楊永清;郜春海;王海峰;;基于XML列控系統(tǒng)數(shù)據(jù)模型建立[J];鐵路計(jì)算機(jī)應(yīng)用;2011年11期

4 何浩洋;穆建成;馬連川;曹源;;改進(jìn)FlexRay總線的設(shè)計(jì)與實(shí)現(xiàn)[J];鐵路計(jì)算機(jī)應(yīng)用;2013年04期

5 王云珠;陳邦興;;故障樹分析法在C3列控系統(tǒng)風(fēng)險(xiǎn)分析中的應(yīng)用[J];信息技術(shù);2009年10期

6 張瑋;;GSM-R在高速鐵路列控系統(tǒng)中的應(yīng)用方案探討[J];通信技術(shù);2009年05期

7 呂繼東;唐濤;;高速鐵路列控系統(tǒng)運(yùn)營場(chǎng)景實(shí)時(shí)性的建模與驗(yàn)證[J];鐵道學(xué)報(bào);2011年06期

8 鐘強(qiáng);;動(dòng)車事故發(fā)生在“仲夏”嗎[J];咬文嚼字;2011年12期

9 趙林;唐濤;劉金濤;劉超;李憲;;基于UML擴(kuò)展機(jī)制的列控系統(tǒng)建模方法研究[J];鐵道學(xué)報(bào);2012年12期

10 鄭升;曹源;張玉琢;景浩;胡華;;通用型列控系統(tǒng)的安全計(jì)算機(jī)設(shè)計(jì)與驗(yàn)證[J];北京交通大學(xué)學(xué)報(bào);2014年03期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前4條

1 管建華;王海忠;;高速客運(yùn)專線列控系統(tǒng)方案的思考[A];鐵路客運(yùn)專線建設(shè)技術(shù)交流會(huì)論文集[C];2005年

2 范麗君;;秦沈線TVM430系統(tǒng)點(diǎn)式功能的探討[A];鐵道科學(xué)技術(shù)新進(jìn)展——鐵道科學(xué)研究院五十五周年論文集[C];2005年

3 呂書麗;;列控系統(tǒng)車載設(shè)備發(fā)展淺談[A];科技、工程與經(jīng)濟(jì)社會(huì)協(xié)調(diào)發(fā)展——中國科協(xié)第五屆青年學(xué)術(shù)年會(huì)論文集[C];2004年

4 呂書麗;;列控系統(tǒng)車載設(shè)備發(fā)展淺談[A];快速提升鐵路建設(shè)與裝備現(xiàn)代化技術(shù)促進(jìn)鐵路跨越式發(fā)展——中國科協(xié)第五屆青年學(xué)術(shù)年會(huì)第九分會(huì)場(chǎng)論文集[C];2004年

中國重要報(bào)紙全文數(shù)據(jù)庫 前4條

1 本報(bào)特約記者 楊光和;C3之光照亮絢麗人生[N];人民鐵道;2010年

2 記者 張麗華　李娟;鐵道部徹查列控系統(tǒng) 直指“通號(hào)系”[N];第一財(cái)經(jīng)日?qǐng)?bào);2011年

3 本報(bào)記者 宋菁;廣深港高鐵全面檢測(cè)列控系統(tǒng)[N];21世紀(jì)經(jīng)濟(jì)報(bào)道;2011年

4 邵文杰;信號(hào)控制技術(shù)具有自主知識(shí)產(chǎn)權(quán)[N];光明日?qǐng)?bào);2007年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前8條

1 謝雨飛;列控系統(tǒng)需求規(guī)范形式化建模與驗(yàn)證方法研究[D];北京交通大學(xué);2012年

2 呂繼東;列車運(yùn)行控制系統(tǒng)分層形式化建模與驗(yàn)證分析[D];北京交通大學(xué);2011年

3 譚平;城際鐵路車載列控系統(tǒng)安全及智能控制關(guān)鍵技術(shù)研究[D];浙江大學(xué);2014年

4 蔡伯根;低成本列控系統(tǒng)的列車組合定位理論與方法[D];北京交通大學(xué);2010年

5 曹源;高速鐵路列車運(yùn)行控制系統(tǒng)的形式化建模與驗(yàn)證方法研究[D];北京交通大學(xué);2011年

6 張亞東;高速鐵路列車運(yùn)行控制系統(tǒng)安全風(fēng)險(xiǎn)辨識(shí)及分析研究[D];西南交通大學(xué);2013年

7 邢小琴;高速鐵路GSM-R網(wǎng)絡(luò)檢測(cè)/監(jiān)測(cè)數(shù)據(jù)分析關(guān)鍵技術(shù)研究[D];中國鐵道科學(xué)研究院;2014年

8 劉金濤;基于STPA的需求階段的高速列車運(yùn)行控制系統(tǒng)安全分析方法研究[D];北京交通大學(xué);2015年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 程瑞軍;列控系統(tǒng)混成行為的建模與驗(yàn)證方法[D];北京交通大學(xué);2014年

2 王建;基于隨機(jī)Petri網(wǎng)的高鐵列控系統(tǒng)C2/C3等級(jí)轉(zhuǎn)換過程建模及仿真[D];西南交通大學(xué);2015年

3 臧一佩;有源應(yīng)答器報(bào)文自動(dòng)生成與檢驗(yàn)技術(shù)研究[D];中國鐵道科學(xué)研究院;2015年

4 袁敏;基于彈復(fù)力的列控系統(tǒng)可靠性實(shí)時(shí)分析方法研究[D];北京交通大學(xué);2016年

5 任鵬程;復(fù)雜場(chǎng)景下列控系統(tǒng)功能驗(yàn)證分析[D];北京交通大學(xué);2016年

6 胡瑞;列控系統(tǒng)地面目標(biāo)控制器的設(shè)計(jì)與實(shí)現(xiàn)[D];北京交通大學(xué);2016年

7 劉潤(rùn);CPS系統(tǒng)動(dòng)態(tài)行為在線建模與驗(yàn)證研究[D];南京大學(xué);2016年

8 王錫奎;面向領(lǐng)域特征的列控系統(tǒng)車載ATP軟件建模方法研究[D];北京交通大學(xué);2016年

9 周慧英;基于STeC的列控系統(tǒng)的建模與驗(yàn)證[D];貴州大學(xué);2016年

10 夏青;列控系統(tǒng)數(shù)字軌道地圖生成算法研究[D];蘭州交通大學(xué);2012年

  本文關(guān)鍵詞：基于STeC的列控系統(tǒng)的建模與驗(yàn)證，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：277260