CBTC中轨旁安全计算机的设计与形式化验证的开题报告

CBTC中轨旁安全计算机的设计与形式化验证的开题报告一、选题背景及研究目的CBTC（Communication-based train control）是一个现代化的列车自动化控制系统，它采用先进的通