城市轨道交通研究
城市軌道交通研究
성시궤도교통연구
Urban Mass Transit
2015年
9期
12-17,30
,共7页
高速铁路%CTCS-3级列控系统%行车许可%形式化建模%仿真分析
高速鐵路%CTCS-3級列控繫統%行車許可%形式化建模%倣真分析
고속철로%CTCS-3급렬공계통%행차허가%형식화건모%방진분석
high-speed railway%CTCS-3 train control system%movement authority%formal modeling%simulation analysis
CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一.在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析.结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台.
CTCS-3級列控繫統行車許可是保證高速列車安全運行的關鍵信息,及時準確地為轄區內列車計算和髮送行車許可是RBC(無線閉塞中心)子繫統的主要功能之一.在分析CTCS-3級列控繫統不同運營場景下行車許可生成機製的基礎上,採用層次化描述思想,建立基于CPN(有色Petri網)的RBC行車許可生成模型,併運用動態倣真和狀態空間分析工具對模型進行瞭倣真分析.結果錶明,所建模型能夠滿足不同運營場景下計算行車許可的要求,無死鎖,併具有活性、迴歸性和公平性,為分析列控繫統性能提供瞭很好的試驗平檯.
CTCS-3급렬공계통행차허가시보증고속열차안전운행적관건신식,급시준학지위할구내열차계산화발송행차허가시RBC(무선폐새중심)자계통적주요공능지일.재분석CTCS-3급렬공계통불동운영장경하행차허가생성궤제적기출상,채용층차화묘술사상,건립기우CPN(유색Petri망)적RBC행차허가생성모형,병운용동태방진화상태공간분석공구대모형진행료방진분석.결과표명,소건모형능구만족불동운영장경하계산행차허가적요구,무사쇄,병구유활성、회귀성화공평성,위분석렬공계통성능제공료흔호적시험평태.
