版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領
文檔簡介
1、隨著列車運行控制相關技術的發(fā)展,列控系統(tǒng)不斷融合先進的計算機技術、網(wǎng)絡技術以及通信技術,系統(tǒng)的自動化程度不斷提高、軟硬件規(guī)模不斷擴大,呈現(xiàn)出復雜的系統(tǒng)特性。作為復雜的安全苛求系統(tǒng),如何確保列控系統(tǒng)的正確性是重要的研究課題。一方面,Simulink/Stateflow支持圖形化建模與仿真,可在系統(tǒng)的前期設計開發(fā)中排除部分安全隱患。另一方面,基于嚴格數(shù)學定義的形式化方法能精確,清晰地描述系統(tǒng)的結(jié)構(gòu)和屬性,已成為保障列控系統(tǒng)安全的重要手段。因
2、此仿真模型輔以形式化技術為列控系統(tǒng)的建模和驗證提供了一種新的思路。
本文從城際鐵路列控系統(tǒng)的混成屬性入手,研究列控系統(tǒng)運營場景的建模與驗證,提出了一個集建模、仿真與驗證為一體的保障列控系統(tǒng)安全的方法。主要開展了以下相關工作:
(1)針對城際鐵路列控系統(tǒng)的混成屬性,研究了基于Simulink/Stateflow的列控系統(tǒng)運營場景的建模與仿真。建立了城際鐵路列控系統(tǒng)的分層模型;引入場景分析方法描述列控系統(tǒng)中各設備對象的典
3、型功能活動以及信息交互,并給出了列控系統(tǒng)運營場景的建模與仿真流程。
(2)基于混成自動機理論,研究了對仿真模型輔以形式化驗證以保障城際鐵路列控系統(tǒng)正確性的方法。方法中對Simulink/Stateflow模型和混成自動機模型的形式化語義進行分析,制定了二者間的模型轉(zhuǎn)換規(guī)則,以保證模型轉(zhuǎn)換過程中模型的一致性,并給出了基于SpaceEx驗證平臺的場景模型的驗證流程。
(3)在MATLAB環(huán)境中構(gòu)建了列車自動運行場景的仿真
4、平臺。仿真平臺以真實線路作為底層數(shù)據(jù)驅(qū)動,對模型產(chǎn)生的緊急制動距離與試驗中的真實數(shù)據(jù)進行對比分析;對不同參數(shù)組合情況下的列車行為進行仿真分析,并復現(xiàn)了在實際測試現(xiàn)場發(fā)現(xiàn)的安全隱患。
(4)以城際鐵路列控系統(tǒng)典型的列車自動運行場景為案例進行分析,運用提出的模型轉(zhuǎn)換規(guī)則將所建立的列車自動運行場景仿真模型轉(zhuǎn)換為混成自動機模型;在SpaceEx混成系統(tǒng)驗證工具中建立混成自動機模型,并對系統(tǒng)驗證屬性進行驗證分析,證明了論文提出的建模和驗
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于域+Timed RAISE的列控系統(tǒng)等級轉(zhuǎn)換場景建模與驗證.pdf
- CTCS-3列控系統(tǒng)降級場景建模與仿真.pdf
- 基于COMET的西部鐵路列控系統(tǒng)RBC信息控制流程設計與驗證.pdf
- 基于STeC的列控系統(tǒng)的建模與驗證.pdf
- 基于CTCS-3級列控系統(tǒng)運營場景的RBC控車實時性能分析.pdf
- 基于在線測試方法的高鐵列控系統(tǒng)運營場景實時性研究.pdf
- 西部鐵路列控系統(tǒng)RBC核心功能設計與驗證.pdf
- 城際鐵路運營與管理習題
- CTCS-2級列控系統(tǒng)在城際鐵路中的技術研究.pdf
- 基于UML的列控系統(tǒng)建模方法與驗證工具集成.pdf
- 基于xUML的列控系統(tǒng)需求規(guī)范驗證方法研究.pdf
- 高速鐵路列控系統(tǒng)應答器應用方案驗證與優(yōu)化方法研究.pdf
- 基于UML和UPPAAL的FAO系統(tǒng)典型運營場景的建模與驗證.pdf
- 城際鐵路車載列控系統(tǒng)安全及智能控制關鍵技術研究.pdf
- 基于TMSVL的CTCS-3級列控系統(tǒng)建模與驗證.pdf
- 列控系統(tǒng)混成行為的建模與驗證方法.pdf
- 復雜場景下列控系統(tǒng)功能驗證分析.pdf
- 基于模型驗證的軌道交通運營場景安全性分析.pdf
- CTCS-3級列控系統(tǒng)等級轉(zhuǎn)換運營場景智能形式化研究.pdf
- 基于移動閉塞原理的列控車載仿真系統(tǒng)的研究與實現(xiàn).pdf
評論
0/150
提交評論