【摘 要】
：
车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键
【机 构】
：
中国铁道科学研究院集团有限公司通信信号研究所,国家铁路智能运输系统工程技术研究中心
【基金项目】
：
中国铁道科学研究院通信信号研究所重点计划(1852TH0503,1851TH6602)
论文部分内容阅读
车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键安全因素。为了实现车车通信系统中的车地设备安全控制,提出唯一秘钥实现控制流程,为了验证其安全性,使用基于标签转移系统的形式化方法进行验证。基于车车通信系统的控制机理和车地控制场景,建立唯一秘钥的车地控制流程的形式化模型,并LTSA软件对模型进行安全检测,最后通过实例验证了车地控制流程的可行性和有效性。
其他文献
广西是以壮族为主体的少数民族自治区,也是全国少数民族人口最多的省(区).广西少数民族地区农村剩余劳动力转移是指广西少数民族地区农业劳动力从农业向二、三产业和城市的流
本文从五个方面论述了地方小型煤矿目前在安全生产方面面临的问题，并提出了相应的解决办法。
本文讨论了纯棉织物接枝改性和涂料浸染的最佳工艺条件，并对染色机理作了初步探讨。
本文探讨了武学和体育之间的归属关系。自建国以来，在体育范畴内发展的“武术”之路愈走愈狭，故武学欲长期健康发展，不应脱离疗：方文化之母体。故，应从体育范畴中剥离出来。按照其
利用全涂料两次印花法，可在经编有光涤纶织物上获得仿提花图案，本文分析了影响仿提花效果的主要因素，如织物组织，黑白稿，网版，粘合剂以及工艺流程等。
随着高校毕业生就业机制的转变和高校持续的扩招,尤其是受金融危机的冲击后,大学生失业成了普遍的社会现象.拥有丰富人力资本的大学生失业是对资源的极大浪费,如何有效引导大
近年来,微波辅助机械拆除钢筋混凝土对于城市混凝土结构的拆除具有重要意义。为了探讨微波辅助机械拆除钢筋混凝土的断裂过程,采用钢筋混凝土的拉拔试验评价了不同微波功率下
<正>3 高效液相色谱法（HPLC法） 该方法将HPLC法列为禁用偶氮染料的检测方法之一是十分适宜的。因为HPLC法对列入禁用范围的芳香胺的分离分析十分有效,且准确度高。 作为实例,
基督教青年会（The Young Men＇s Christian Association简称YMCA青年会）于1844年由英国的乔治·威廉姆斯（George Williams1821～1905年）在英国伦敦创办.1851年传播到美国,并得到
为了抑制京津冀地区二氧化碳排放量(碳排放)导致的气候变化灾难,开展碳排放容量约束下的能源消费途径研究。首先,利用经典的时间序列模型预测了驱动因素,如地区生产总值(GDP)