基于模型的高鐵列控RBC主動安全建模方法.pdf

1、列車運行控制系統(tǒng)是監(jiān)督控制列車運行速度，確保列車運行安全、正點、高效的核心技術裝備。近年來，基于模型的開發(fā)方法逐漸應用于列控系統(tǒng)的開發(fā)中，該方法在開發(fā)成本和效率、保證系統(tǒng)設計正確性和軟件質(zhì)量等方面存在著諸多優(yōu)勢。RBC是列控系統(tǒng)中的一個核心控制設備，通過為列車計算行車許可控制列車安全運行。本文將列車連續(xù)速度變化納入到RBC控車信息計算過程中，實現(xiàn)一種主動安全防護功能。傳統(tǒng)的RBC采用離散建模方式進行建模，而離散建模方法無法精確刻畫系統(tǒng)的

2、連續(xù)行為，一些連續(xù)細節(jié)的丟失不可避免。為了能夠精確描述這些行為，本文將混成理論應用于主動安全防護功能的建模中，研究了列控系統(tǒng)主動安全混成建模方法、詳細設計了主動安全的RBC功能并對其進行了混成建模和仿真驗證。
　　論文主要工作包括以下四個方面:
　　(1)分析了列控系統(tǒng)傳統(tǒng)的基于離散建模的防護方法存在的被動性，給出了一種列控主動安全防護方法，精確刻畫出列車連續(xù)速度位移變化，并計算對應的離散控車狀態(tài)，從而主動發(fā)現(xiàn)離散模型可能遺

3、漏的危險行為。
　　(2)研究了主動安全列控混成建模方法。給出了基于混成理論的列控主動安全防護形式化描述，設計了SCADE與Simulink相融合的列控混成主動安全實現(xiàn)框架，包括防護模型的建立與仿真驗證的流程。
　　(3)設計了列控RBC混成主動安全功防護能，采用SCADE與Simulink相融合的建模方法構建了列車運行狀態(tài)管理、MA計算和主動超速預警信息計算功能模型。
　　(4)面向列控系統(tǒng)運營場景建立了列控RBC的