面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

计算机联锁安全接口防护技术的运用和研究

接口功能是计算机联锁设备安全功能的重要组成部分,通过对计算机联锁安全相关接口在运用中存在的典型风险进行分析,采取继电器双接点采集、继电器双断驱动、安全通信协议传输等技术措施,对接口存在风险进行防护,使继电器驱采接口和安全通信接口发生故障时,计算机联锁的控制输出能够导向安全侧,保障计算机联锁在普速和高速铁路的安全可靠运用...     

基于窄带物联网的全电子联锁远程监测系统研究

伴随全电子联锁系统的推广应用,针对实时监测系统运行状态和及时有效进行设备维护的需求,结合全电子联锁系统执行单元特点并采用窄带物联网技术,从系统软硬件两方面研究设计了一种全电子联锁远程监测系统。在此基础上,通过对系统在交互通信时数据传输过程可能存在遭受窃取、伪造等安全风险的分析,提出系统通信数据的加密模型并优化了密钥更新算法。系统测试、通信数据加密模型及密钥更新算法验证结果表明,研究的全电子联锁远程监测系统能够实现实时监测全电子联锁系统设备并将设备状态或故障信息安全传输和显示于用户终端,提出的通信数据加密模型及密钥更新算法能够有效地保障通信数据的传输安全,系统设计能够满足铁路安全运营和维护的需要。     

基于加权云模型的全电子联锁系统运营安全风险评估

结合现场实际情况,在系统层面对于全电子计算机联锁系统进行更加客观准确的运营安全评估,综合考虑系统的风险严重度及风险可能性,提出一种基于最优组合权重计算法的云模型安全评估方法。首先从人员、设备、环境、管理、维修5个方面建立安全风险评估体系,在专家评估的基础上运用最优组合权重法计算体系中的底层指标权重,再将权重代入评估云模型的计算中,分别得到系统的风险可能性和风险严重度评估值,综合得出系统的运营安全风险容忍等级。将该方法引入全电子联锁系统的运营安全评估中,通过对实际数据的计算,证实该方法能够克服以往评估方法的主观性和片面性,使得到的结果更加准确和直观,实现真正意义上的“综合”评估。     

计算机联锁车站换装开通方案探讨

以郑州东站换装开通方案为例,就计算机联锁换装开通方案进行分析、比较,提出既有营业线条件下计算机联锁换装开通的思路。     

A~*进路搜索算法的研究与实现

目前应用于铁路现场的各种计算机联锁系统所采用的进路搜索方法经实践发现其搜索效率低、占用资源大,针对此问题,结合进路搜索的实际要求,采用带启发信息的A*算法进行进路搜索。使用Visual C++搭建计算机联锁软件的实验平台,对A*进路搜索算法进行性能测试。结果表明,A*进路搜索算法能够快速准确的搜出所需基本进路,动态生成进路表,并且搜索时间短、占用空间小,相较其他算法具有更良好的性能。     

信号计算机联锁系统安全性可靠性分析

结合燕化铁路的现状,总结近年来燕化铁路计算机联锁系统可靠性下降的原因,并将双机热备系统的可靠性和安全性与二乘二取二、三取二系统做MATLAB仿真比较,提出改良现有计算机联锁系统的建议.     

基于安全通信实现区间方向控制在宜万线联锁工程的应用

计算机联锁系统在实现自动闭塞方向控制中目前大多采用的是与继电联锁的方向控制电路结合方式,自动闭塞电路仍保留四线制方向电路。由于计算机联锁系统实现自动闭塞方向电路的技术已经成熟,在此背景下宜万线采用计算机联锁实现自动闭塞方向电路控制。     

常州市轨道交通1号线计算机联锁与信号维护监测子系统接口方案

对常州轨道交通1号线信号维护监测子系统现状进行了简要介绍。以道岔转辙机和信号机为例,对传统国产计算机联锁与信号维护监测子系统的继电器接口方案进行了介绍,重点介绍了庞巴迪Ebilock950全电子联锁与国产信号维护监测子系统的接口方案,可作为类似项目设计的参考方案。     

计算机联锁全电子三相交流转辙机控制模块

全电子计算机联锁系统已开始试点推广。本文介绍了全电子计算机联锁系统中的一个关键核心控制模块,采用模块化电子电路取代由安全型继电器构成的三相交流转辙机控制表示电路,用于驱动S700K系列、ZDJ9系列和ZYJ系列等三相交流电动或电液转辙机。详细论述全电子三相交流转辙机控制模块的"二取二"模块化硬件架构,对模块的微控制器电路、转辙机动作驱动电路、表示信号采集电路等关键的单元电路进行深入剖析。本文采用流程图对嵌入式软件的原理进行说明和描述,并按照EN50129标准,利用故障树分析法对该控制模块进行可靠性和安全性的计算和评估,结果表明模块完全满足信号系统对高安全性的要求。最后分析影响模块安全性指标的主要因素,为进一步提高模块的安全性提供参考。