基于模型的高鐵列控RBC主動(dòng)安全建模方法.pdf

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

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

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