客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。     

VxWorks在ATP车载设备中的应用

主要研究实时操作系统VxWorks在列车超速防护（ATP）系统车载设备软件设计中的应用。为了提升系统性能，研究一种新的软件设计方法从而对各种资源进行有效管理很有必要。基于VxWorks的ATP车载设备软件设计利用嵌入式实时操作系统的优势，简化了系统资源管理，在保证系统实时性、安全性的前提下，有效地降低了软件设计的复杂度，并使得软件具有良好的层次性和可移植性。作者首先简单介绍实时操作系统VxWorks，其次描述了ATP车载设备的功能以及硬件实现方法，重点研究了基于实时操作系统VxWorks下三模冗余结构的ATP车载设备的软件实现方法，最后探讨了VxWorks在应用开发过程中的优势。     

探讨中国轨道交通系统安全原则的制定

随着计算机技术在轨道交通系统中的应用，安全问题显得越发的重要和复杂，如何保证轨道交通系统的安全有序运行成为我们必须面对的重要课题。欧洲已经制定了有关轨道交通领域的安全标准，提出安全就是可以接受的风险等级，如何确定这个风险等级非常重要，我们在借鉴欧洲国家安全原则的基础上，探讨了如何制定我们国家轨道交通领域的安全原则。     

基于复杂网络的列车辅助驾驶危险致因传播模型

为了解预期功能安全(SOTIF)相关危险致因在基于智能感知的列车辅助驾驶系统 (IATDAS)中的传播特性，提升针对该类系统的危险控制能力，本文提出基于复杂网络的IATDAS 系统危险致因传播模型。该模型在SOTIF危险致因网络的基础上，提供了全局容量-负载传播机制，能有效刻画IATDAS系统的危险致因传播机制。案例分析结果表明：本文所提模型能够解决复杂致因关系下既有模型与系统实际情况不符的问题，如对于具有较长后续传播路径的致因，本文模型能够刻画其较难导致危险的实际特征；依据本文模型实施传播控制，可以显著降低危险致因的传播速度，如对影响节点范围大、前期影响节点数量增加快的危险因素进行控制时，可使其平均传播速度降低68%，比随机控制策略多降58%。该模型可以为IATDAS系统的SOTIF相关危险控制提供决策基础。     

无线闭塞中心测试案例生成方法

应用基于功能特征的测试案例生成方法,研究了无线闭塞中心的功能结构,提取了无线闭塞中心的功能特征,得到了无线闭塞中心的功能特征列表。针对无线闭塞中心的每个功能特征,编制了测试案例,将测试案例串联成电子化的测试序列。根据中国高速铁路列车运行控制系统的规范和要求,构建了无线闭塞中心的仿真测试平台,编写了试验步骤和XML程序文件。在无线闭塞中心测试平台上,测试了包含注册与启动、行车许可、停车与注销、通信网络故障、RBC切换5个运行功能的3个测试序列。测试结果表明:在常温常压下,列车速度低于350 km.h-1且仅有一趟列车运行的条件下,无线闭塞中心可不间断工作至少90 min,功能正常。可见,方法有效。     

恒丰北路桥拉索试验研究

恒丰北路桥是国内建造最早的斜拉桥之一，其拉索防护采用了水泥砂浆、黑色PE两层防护体系，具有一定代表性。在对该桥进行换索后，利用换下的旧索进行了钢丝锈蚀分布检查、钢丝锈蚀性能分析以及拉索锈蚀性能分析，详述了试验的方法、步骤和试验结果，分析了这种防护体系的弊病以及拉索在腐蚀条件下的力学性能变化。     

斜拉桥结构体系可靠性评估理论研究进展

介绍斜拉桥结构体系可靠性评估理论的发展概况,对国内外具有代表性的评估方法进行了系统的分析,重点阐述了斜拉桥结构体系可靠性评估方法的整体框架及其工程应用。在此基础上,讨论了斜拉桥结构体系使用安全可靠性评估领域存在的一些问题和发展方向。     

基于有色Petri网的ETCS无线通信可靠性分析

ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义.本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性.分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%.因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求.     

一起交通肇事案的“责任困惑”

一个持有驾驶证、但未满18周岁的司机开车撞人，交警部门给出了“无证驾驶”的责任认定，那么，办理驾驶证的机关是否要承担一定的赔偿责任？     

地铁列车自动驾驶系统分析与设计

对地铁列车自动驾驶系统进行分析，并对列车自动驾驶系统的车载设备进行设计。