摘要：为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避免重大安全隐患。

摘要：介绍了一种用于联锁系统功能测试的ZC(区域控制器)模拟器,使用敏捷开发模式,从功能需求、设计架构、实现方式和应用情况对模拟器进行了描述。试验证明,采用ZC模拟器使联锁功能测试更加全面、便利、直观,提高了测试效率。该方法也为CBTC信号系统各子系统应用软件测试模拟器开发提供了参考。

摘要：针对城市轨道交通客流分布不均的情况,越来越多的城市轨道交通线路采用多编组列车共线运营方式。为了保证列车重联后能继续正常运营,设计了一种城市轨道交通车载信号系统的重联方案,支持不同类型列车重联下的正常运行,实现多编组列车的在线混合运营,能够有效提高运营效率和降低运营成本。

摘要：城市轨道交通CBTC(基于通信的列车自动控制)信号系统区域控制器(ZC)目前存在大量线路数据需人工录入且线路数据存储与访问效率较低的问题。为此,文章提出一种线路数据自动生成方法,其采用有向图描述线路拓扑,对线路数据实体关联关系进行分析与设计,提高了线路数据的生成效率、准确性以及主机应用软件运行速度;且采用统一建模语言(UML),缩短了设计时间,降低了改进成本。仿真结果验证了该方法的可行性和准确性。