QY1078757582的博客

基于 UPPAAL仿真软件的CTCS-3级行车许可研究，行车许可在保障列车安全有效运行方面发挥着极其重要的作用，这篇文章是基于UPPAAL仿真软件的CTCS-3级行车许可研究。

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