一种基于表示信息的行车许可轨道区段计算方法,行车许可的计算在保证列车安全运行方面起着极其重要的作用,...

基于UPPAAL仿真软件的CTCS-3级行车许可研究，行车许可在保障列车安全有效运行方面发挥着极其重...