李梅，孔维杰，南楠，刘晓

基于车车通信技术的信号系统的特征是以车载为控制核心,由车载设备基于自身的运行任务和当前位置,主动与相邻列车直接进行信息交互,并根据交互信息自主计算与更新移动授权、控车曲线及所需的轨旁资源,控制列车安全可靠运行。与传统的车地通信信号系统相比,车车通信信号系统无需通过轨旁设备获知其他列车的信息,减少了轨旁设备的使用数量,使得系统接口简约化,数据信息传输路径减少,操作方式更灵活,提高了系统的运行效率,大幅降低了信号系统的投入成本,同时便于后期维护［1-3］。

考虑到信号系统的运行服务可用性水平是评价城市轨道交通运行服务能力的一个重要指标,如何有效分析系统故障对运行延误的影响越来越受到客户关注。常用的故障模式、影响及危害性分析（FMECA）方法是一种单点故障分析方法,对于复杂场景下系统故障后的操作过程及对应的时间分析显得比较困难。故本文结合公理化思想,从车车通信信号系统运行延误角度出发,探讨影响信号系统服务可用性的因素,分析车车通信信号系统在运行服务可用性上的提升,并给出改善建议。

1 基于公理化思想的运行服务可用性分析

1.1 公理化思想概念

在科学设计准则缺失的推动下,Suh［4-5］提出了将公理用作设计的科学基础。公理化思想可以帮助设计者迅速了解系统内部各层级之间的关系和解决问题的方法,减少随机探索时间。……