共查询到20条相似文献,搜索用时 31 毫秒
1.
以JD-1A计算机联锁系统与EI32-JD计算机联锁系统为例,从系统的安全性、系统结构、输入输出系统及采集、驱动电路等方面,对双机热备和二乘二取二计算机联锁系统进行了分析和比较. 相似文献
2.
介绍双机热备型计算机联锁系统的设备结构,并对国内主要的几种双机热备型计算机联锁设备从系统网络构架、下位机的结构、系统电源、采集/驱动方式、软件设计等方面进行了比较。 相似文献
3.
两种方式双机热备结构的可靠性和安全性分析 总被引:7,自引:0,他引:7
针对铁路信号中常用的双机热备结构进行了可靠性和安全性分析。通过把单元的失效率划分为一些独立的部分,根据各部分失效率对系统的影响,利用马尔可夫模型可以同时分析可靠性和安全性性能。本文比较了两种不同工作方式双机热备结构的可靠性和安全性性能,并给出了结论和建议。 相似文献
4.
计算机联锁是目前我国铁路车站的主要联锁控制系统,对系统的故障-安全及可靠性要求极高.十几年来,已有双机热备、三取二以及二乘二取二等制式的计算机联锁系统通过铁道部鉴定并上道使用.但是从多年的应用实践中或多或少地发现,各种制式的联锁系统中电源供电的可靠性存在一定的问题,从这个角度来说在一定程度上降低了计算机联锁的系统可靠性.本文将对计算机联锁系统电源供电存在的问题进行初步分析及探讨. 相似文献
5.
比较了铁路信号计算机联锁系统执行表示层的2种常用输出方式:热备方式和并联输出方式.分析了各自的优点和缺点,以及针对缺点的解决措施.结论是推荐采用热备方式. 相似文献
6.
两种铁路信号系统双机热备结构可靠性与安全性分析 总被引:1,自引:1,他引:0
双机热备系统已广泛应用于现代铁路信号系统中,国内外学者对其可靠性和安全性进行广泛而深入的研究,但在研究的过程中并没有区分不同的系统结构,鉴于此,分析传统的仅具有故障自检和同时具备自检与比较程序互检的两种不同的双机热备结构。综合考虑共因失效、在线诊断、多故障模式等因素,建立两种双机热备结构的同构马尔可夫模型并对其进行仿真,根据仿真结果对两种双机热备结构的可靠性、安全性进行分析比较。分析结果表明,带比较程序的双机热备结构具有更高的可靠性和安全性,更适合在铁路上推广应用。 相似文献
7.
随着微电子技术在铁路信号设备中的广泛应用,雷电防护成为计算机联锁系统中必不可少的一部分.就计算机联锁系统防雷的研究与应用进行了探讨. 相似文献
8.
详细介绍TYJL-ADX型二乘二取二计算机联锁系统的构成、系统特点、系统原理以及脱机测试方案等技术. 相似文献
9.
10.
基于二乘二取二的全电子计算机联锁系统 总被引:1,自引:0,他引:1
基于二乘二取二的铁路车站全电子计算机联锁系统由人机接口、二乘二取二联锁计算机、全电子执行系统3部分组成。人机接口由监控机、维修监测机组成。二乘二取二联锁计算机由2套联锁主机、冗余光纤网络和冗余热备的实时通信单元3部分组成。CPU主板由2路独立的CPU处理器、总线硬件比较控制器、硬件自检控制器、硬件同步控制器、I/F控制部件、全局冗余时钟和光纤通信接口组成。通过采取硬件同步控制器、总线硬件比较控制器和软件时间点同步相结合的方式实现1种新的同步机制。全电子执行系统由道岔模块、信号模块、轨道模块和其他接口模块等全电子执行单元构成。全电子执行单元均采用"二取二"与逻辑控制结构,具有过流保护功能,实现了信号的控制、监测、监督一体化。该系统已在铁路车站投入应用,运行稳定、可靠。 相似文献
11.
12.
13.
二取二制式计算机联锁系统中的通信技术 总被引:3,自引:2,他引:1
对二取二制式计算机联锁系统中的一项关键技术--通信技术进行研究.工作联锁机与备用联锁机之间的通信,是两台联锁机实现系统级同步的必要条件,也是整个系统实现故障安全防护(故障倒机)的必要前提.从数据分包方式、收发调度机制和差错处理原则等几个方面的分析表明,其工作模式简单、双机同步迅速、信息传输安全.上位机与联锁机之间的通信,采用冗余的通信网以及数据校验等安全措施,保证了车务终端与联锁系统之间信息交换的安全性,从联锁机发送、接收和上位机发送、接收四个方面的分析表明,其通信稳定性高,收发调度灵活,无通信时延.联锁机与安全智能I/O模块之间的通信,工作模式采用应答方式,分为数据预处理和CAN智能卡驱动两个通信层次,所采用的数据校验和正反码传输技术可以达到可靠的数据传送,该通信过程具有适应分布式系统控制、系统升级方便、多重安全防护等特点. 相似文献
14.
15.
16.
17.
介绍了一种基于Arduino新型的铁路信号计算机联锁电子执行单元,包括联锁系统总体结构、软硬件技术方案等,具有体积小、功能强大、安全可靠、易于维护等优点,符合现代计算机联锁发展方向。 相似文献
18.
19.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
20.