車-車通信技術(shù)在列控系統(tǒng)車載設(shè)備中的應(yīng)用研究.pdf

1、目前城市軌道交通在我國大中型城市大力發(fā)展，基于通信的列控系統(tǒng)(CBTC)的普及與應(yīng)用，既保證了城市軌道交通運營的安全性，也使得其運營效率得到了提高。CBTC系統(tǒng)由中心設(shè)備、地面設(shè)備、軌旁設(shè)備和車載設(shè)備共四部分組成，四者之間存在復雜繁多的信息交互，特別是地面設(shè)備和軌旁設(shè)備多，建設(shè)成本和運營成本大。
　　在保證城市軌道交通運營安全與效率的前提下，通過功能再分配、優(yōu)化系統(tǒng)結(jié)構(gòu)，減少地面和軌旁設(shè)備，降低建設(shè)和維護成本，是列控系統(tǒng)的發(fā)展趨勢

2、。
　　針對城市軌道交通線路結(jié)構(gòu)和運輸作業(yè)簡單的特點，本文探索了一種基于車-車通信的、結(jié)構(gòu)簡化的列控系統(tǒng)方案，并通過基于模型的仿真與形式化驗證相結(jié)合的方式對此方案進行仿真驗證。具體工作如下:
　　(1)設(shè)計了車-車通信在列控系車載設(shè)備中的應(yīng)用方案。描述了系統(tǒng)結(jié)構(gòu)和功能，設(shè)計了車載設(shè)備與中心設(shè)備、對象控制器三部分間的信息交互流程及控車原理。
　　(2)設(shè)計了基于模型的仿真與形式化驗證相結(jié)合的系統(tǒng)建模驗證方法。對安全狀態(tài)機

3、建模理論增加時間概念，并給出了兩種建模工具下的模型對應(yīng)關(guān)系，此方法兼具仿真驗證的直觀具體與形式化驗證的嚴謹全面的特點。
　　(3)完成了基于車-車通信的列控系統(tǒng)車載設(shè)備部分功能模塊的建模、仿真與形式化驗證。在MATLAB環(huán)境下，對車載設(shè)備的車-車通信管理、行車許可生成和速度控制三個核心功能模塊，進行了可視化建模仿真，并完成了基于UPPAAL的形式化驗證，分析了三個核心功能模塊的功能正確性。
　　(4)在VS2015環(huán)境下進行