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

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

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

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

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

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

安全苛求系统综合功能危险源分析方法的研究

基于经典方法改进的安全分析方法--综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA),瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛质.IFHA应用于CBTC的地面子系统--ZC系统,帮助识别在系统设计阶段ZC软件功能可能出现的危险源,此例既可作为一个案例也可作为继续分析的项目.将ZC系统的软件和硬件结合进行的安全分析将是下一步的分析工作.     

城轨虚拟编组关键性能指标及技术探讨

列车虚拟编组技术能够实现车辆资源的高效灵活利用,是解决轨道交通客流时空分布不均衡问题的有效方法,已成为国内外的研究热点。既有研究借鉴了汽车编队追踪的思路,主要关注于列车稳定追踪的相关方法,未能完全适应轨道交通的实际需求。针对城市轨道交通(简称“城轨”)虚拟编组研究的需要,深入分析城轨列车运行的特征,在此基础上总结提出包括站台停车时间差等在内的城轨列车虚拟编组应符合的技术性能指标;其次,针对虚拟编组的技术特征,提出包括大小交路和Y型线路等适合列车虚拟编组的潜在应用场景,并对实现虚拟编组的关键技术及其原理进行介绍,可为城轨列车虚拟编组研究提供参考。     

基于传染病和网络流模型分析APT攻击对列车控制系统的影响

高级可持续威胁(APT)是目前工业控制系统面临的主要威胁之一。APT攻击利用计算机设备漏洞入侵列车控制网络,感染并且扩散到网络中的其他设备,影响系统正常运行,因此评价APT攻击对列车控制系统的影响非常必要。提出一种基于传染病模型和网络流理论结合的APT攻击影响分析方法。首先,分析在APT攻击的不同阶段设备节点状态之间的转化规则,结合传染病理论建立APT攻击传播模型,研究攻击过程中的节点状态变化趋势;其次,把设备节点的状态变化融入网络流模型中,研究APT攻击过程中设备节点状态变化对列车控制网络中列车移动授权信息流的影响;最后,结合列车控制系统的信息物理耦合关系,分析APT攻击对列控系统整体性能的影响。仿真实验展现了APT攻击过程中节点状态变化的趋势,验证该方法在分析APT病毒软件在列车控制网络中的传播过程对列车控制系统整体性能影响的有效性,为管理者制定防御方案提供依据,提升列车控制系统信息安全水平。     

地铁列车自动运行系统的分析与设计

对我国现有的北京、上海、广州的地铁列车自动运行系统进行分析、比较，并指出了国产化列车自动运行系统的设计思路。     

北京地铁双超列车运行图编制方法

为研究疫情期间北京地铁“超常”条件下的“超强”运行图编制方法,根据“双超”运行图编制流程提出一种面向车厢低满载率的双层规划优化模型。上层模型基于客流的时空分布规律优化列车的开行方案;下层模型优化列车运行图中全周转运行时分,停站时分,运行时分,折返时分等要素。双层规划模型转化为线性模型并用CPLEX软件通过迭代算法求解“双超”运行图优化问题。基于亦庄线数据对优化编制方法的有效性进行验证。在车底全部投入运营的条件下,优化后早高峰上行、下行最大列车满载率分别降低了21.1%和16.6%;晚高峰上行、下行最大列车满载率分别降低了23.2%和32.3%。本文方法为疫情下城轨运输体系提供了良好地支撑。     

CTCS-3级列车运行控制系统综合测试平台研究

在分析ETCS测试规范及互联互通测试的基础上，重点介绍了CTCS-3级列车运行控制系统综合测试平台的功能需求、总体结构、设备配置等内容。该平台的建立可以为关键技术研究及系统设备集成，提供良好的辅助设计、集成调试及验证测试环境。