车车通信系统中车地控制机理分析及验证

车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键安全因素。为了实现车车通信系统中的车地设备安全控制,提出唯一秘钥实现控制流程,为了验证其安全性,使用基于标签转移系统的形式化方法进行验证。基于车车通信系统的控制机理和车地控制场景,建立唯一秘钥的车地控制流程的形式化模型,并LTSA软件对模型进行安全检测,最后通过实例验证了车地控制流程的可行性和有效性。

一种基于车-车通信的新型列控系统进路防护设计方法研究

提出了一种基于车-车通信的新型列控系统进路防护设计方法,围绕线路进路的建立、锁闭、解锁等操作,利用车载联锁控制地面目标控制器的方式,实现进路防护设计策略。相比传统地面联锁的进路集中控制策略,该分布式进路防护策略具有更好的灵活性、开放性以及协调性等优点。

澳大利亚治理酒驾联锁计划之探析与启示

治理酒驾是一项系统工程,在客观上需要技术支撑。在域外,车载酒精点火联锁装置已成为较普遍的一项技术措施应用于治理酒驾。在我国,面对庞大的酒后驾车数量,提升治理酒驾效果,维护人民群众生命财产安全和社会秩序,推进国家治理体系和治理能力现代化,实施车载酒精点火联锁计划具有必要性和可行性,可以采取先行试验的方法逐步推广与适用。