共查询到20条相似文献,搜索用时 9 毫秒
1.
基于二乘二取二的全电子计算机联锁系统 总被引:1,自引:0,他引:1
基于二乘二取二的铁路车站全电子计算机联锁系统由人机接口、二乘二取二联锁计算机、全电子执行系统3部分组成。人机接口由监控机、维修监测机组成。二乘二取二联锁计算机由2套联锁主机、冗余光纤网络和冗余热备的实时通信单元3部分组成。CPU主板由2路独立的CPU处理器、总线硬件比较控制器、硬件自检控制器、硬件同步控制器、I/F控制部件、全局冗余时钟和光纤通信接口组成。通过采取硬件同步控制器、总线硬件比较控制器和软件时间点同步相结合的方式实现1种新的同步机制。全电子执行系统由道岔模块、信号模块、轨道模块和其他接口模块等全电子执行单元构成。全电子执行单元均采用"二取二"与逻辑控制结构,具有过流保护功能,实现了信号的控制、监测、监督一体化。该系统已在铁路车站投入应用,运行稳定、可靠。 相似文献
2.
3.
《铁路通信信号工程技术》2014,(1)
二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台。围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨。 相似文献
4.
详细介绍TYJL-ADX型二乘二取二计算机联锁系统的构成、系统特点、系统原理以及脱机测试方案等技术. 相似文献
5.
6.
7.
8.
二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。 相似文献
9.
二乘二取二安全控制平台包括二乘二取二逻辑运算单元,二取二开关量输入、输出单元,人机接口单元。逻辑运算单元由2块独立的CPU板构成二取二结构,2块CPU板通过板上硬件同步单元实现信息交互和同步,在软件上独立进行运算结果的比较,并通过第三方硬件比较器实现2块CPU板总线数据的实时校核,保证了双CPU比较的正确性。输入单元和输出单元中均设计了双套智能处理器,采用动态控制方式,在出现硬件故障时可导向安全侧。其中输入单元对现场继电器前后接点进行采集,输出单元输出采用双断方式,可实时检测板外混电情况。 相似文献
10.
《铁路通信信号工程技术》2017,(5)
针对二乘二取二计算机联锁系统实际应用特点,建立一种切合实际的马尔可夫模型,并将故障可用率和故障修复率引入系统的可靠性和安全性分析中。讨论故障可用率和故障修复率对可靠性的影响,同时进行仿真对比。仿真结果,在证明采用该模型的系统具有更高的可靠性和安全性的同时,也证明该方法的有效性和优越性。 相似文献
11.
郑箭锋 《铁道科学与工程学报》2013,10(3):112-115
简述机车操纵自动优化装置研究背景,提出基于二乘二取二安全型计算机系统和LKJ基础数据的机车操纵自动优化装置硬软件主要部分的设计方案,包括系统主机主要插件电路设计方案、机车主控软件数学模型和主控软件控制流程等,并总结了该装置主要性能。经过2 a的应用,该装置有利于机车牵引安全、正点、节能和平稳,可以减少机车乘务员操纵频次。 相似文献
12.
针对二乘二取二的高安全、高可靠等级系统,介绍二乘二取二结构工作中系统同步和切机控制的原理,通过研究分析,提出一种多点冗余的系统设计方案,描述了系统组成、双机之间工作关系、多点冗余之间连接关系、各冗余双机输出的切机方法。通过实践证明,此种设计方案能够满足对于复杂、不间断、高稳定性场景的使用需求。 相似文献
13.
乐建锐 《铁路通信信号工程技术》2020,(5):52-56
简述LCU的发展3个阶段,针对城轨地铁车辆应用,介绍一种基于二乘二取二冗余-安全控制架构技术的下一代LCU的原理、组成和故障诊断方案,相较于双机热备冗余的LCU,能够获得更高的安全性和可靠性。 相似文献
14.
AT96DDMR平台是具有安全硬件冗余结构的二乘二取二信号控制平台,其结构可分为操作显示层、逻辑运算层、输入输出层3个层次.关键的逻辑运算层和输入输出层达到安全完整性SIL4级要求.对其结构、安全性设计方法以及开发流程的独立评估内容做了描述,并对逻辑运算层的状态转换关系给出了说明. 相似文献
15.
16.
17.
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。 相似文献
18.
19.
二乘二取二与双机热备计算机联锁系统性能比较 总被引:3,自引:1,他引:2
计算机联锁系统是铁路信号的重要基础设备.随着铁路信号技术的更新换代,近年来二乘二取二和双机热备成为我国铁路联锁系统的2种主流制式.从系统的实际应用出发,利用马尔可夫模型,充分考虑了故障覆盖率、维修率等因素的影响,对系统的可靠性与安全性进行了深入分析;通过MTTF值和可靠度、安全度曲线比较了2种系统的性能.论文分析结果对计算机联锁系统的应用与推广具有切实的指导意义. 相似文献
20.
以JD-1A计算机联锁系统与EI32-JD计算机联锁系统为例,从系统的安全性、系统结构、输入输出系统及采集、驱动电路等方面,对双机热备和二乘二取二计算机联锁系统进行了分析和比较. 相似文献