铁路安全应用卫星导航信号空间可信区域识别方法 

卫星导航系统作为一种信息源,在铁路安全苛求系统中应用时需满足相应的可用性需求.针对铁路遮挡环境下导航卫星空间信号的可用性评估问题,提出了一种基于禁忌搜索的8-邻域区域生长算法,并得出可信的卫星导航信号可用区域.在此基础上,设计了一套铁路导航定位应用环境下的空间信号本地可用性分析方案,并进行了实验...
《北京交通大学学报》  2019年 第05期 下载次数(20)| 被引次数()

CTCS-4级安全通信协议的形式化建模和验证 

CTCS-4级是完全基于无线通信的列车运行控制系统,通过GSM-R接收指挥中心与RBC间的行车和授权信息。列车控制系统安全运行与GSM-R网络密切相关,CTCS-4级安全通信协议负责管理GSM-R无线网的注册和安全连接,是实现车地间安全通信的重要...
兰州交通大学  硕士论文  2013年 下载次数(163)| 被引次数(2)