计算机联锁系统二乘二取二容错结构分析

针对计算机联锁系统的二乘二取二容错结构,基于马尔可夫模型,将各单元的失效率划分为几个独立的分量,根据每部分失效率对结构的影响,利用计算机对系统的可靠性和安全性进行分析和仿真计算.结果表明,二乘二取二容错结构满足铁路联锁系统高可靠性和高安全性要求.     

一种新型二乘二取二冗余列控车载设备硬件同步模块研究

针对二乘二取二冗余列控车载设备同步需求,提出一种新型硬件同步方案.该方案可使二乘二取二冗余列控车载设备可靠性、安全性、可用性和可维护性得到提高.     

一种新型二乘二取二冗余列控车载设备表决仲裁模块研究

针对一种新型二乘二取二冗余列控车栽设备的表决仲裁需求,提出一种新型安全表决仲裁方案.该方案可使二乘二取二冗余列控车栽设备可靠性、安全性、可用性和可维护性得到提高.     

基于二乘二取二平台的通信设计简

二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台.围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨.     

基于UPPAAL的二乘二取二逻辑建模与仿真

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。     

二乘二取二硬件安全冗余信号控制平台关键部件的安全设计和可靠性研究

AT96DDMR信号安全控制平台是具有安全硬件冗余结构的二乘二取二信号控制平台,其结构可分为操作显示层、逻辑运算层和输入输出层3个层次,关键的逻辑运算层、输入输出层达到安全完整性SIL4级要求。重点对关键部件的安全性设计方法、可靠性预计进行描述及计算。     

基于二乘二取二架构的安全扩展平台研究

为节约时间和资金成本,在不改变既有CTCS-2/3级列控系统的前提下,进一步修改完善扩展其系统功能,提出采用二乘二取二架构安全扩展平台.平台内部双CPU之间采用时钟同步机制进行实时自检、互检,大大提高了安全扩展平台的安全性、可靠性和可用性.     

计算机联锁系统二乘二取二结构的可靠性和安全性分析

安全关键系统常用可靠性和安全性来衡量优劣,多模冗余是一种重要的提升此类性能的设计。本文通过使用PRISM工具,建立运算模块、表决模块和选择模块失效率和诊断覆盖率的5种组合,得出各因素对二乘二取二结构的可靠性和安全性的影响程度,并对不同结构的可靠性和安全性进行了对比分析,结果显示二乘二取二比其他2种结构更能满足安全关键系统的要求。     

一种二乘二取二安全计算机的设计与实现

结合列控系统车载设备需求,提出一种二乘二取二安全计算机的设计方案,并对主备通道选择、通道内双机同步、通道切换等关键算法进行了研究。经过实验室的功能测试和安全测试,该二乘二取二安全计算机能够满足实时性、安全性、可用性的需要。     

基于动态故障树的计算机联锁系统可靠性及性能分析研究

国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐.本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双...     

基于二乘二取二冗余-安全控制的地铁LCU设计

简述LCU的发展3个阶段,针对城轨地铁车辆应用,介绍一种基于二乘二取二冗余-安全控制架构技术的下一代LCU的原理、组成和故障诊断方案,相较于双机热备冗余的LCU,能够获得更高的安全性和可靠性。     

基于通用计算机多线程技术的二乘二取二平台的研究与实现

对现有的二乘二取二模式进行了研究和分析,为设计和实现基于通用计算机的任务同步二乘二取二计算平台提供了参考;设计并实现了基于多线程技术的二乘二取二计算平台     

基于二乘二取二平台的通信设计

二乘二取二平台是能够满足铁路信号控制系统高安全性、高可靠性要求的安全平台。围绕二乘二取二系统中的乘二、取二、冗余通信3项关键技术,对与之相关的外部通信设计方法进行分析探讨。     

双机热备和二乘二取二计算机联锁系统的比较与分析

以JD-1A计算机联锁系统与EI32-JD计算机联锁系统为例,从系统的安全性、系统结构、输入输出系统及采集、驱动电路等方面,对双机热备和二乘二取二计算机联锁系统进行了分析和比较.     

基于Markov过程的二乘二取二计算机联锁系统的可靠性和安全性分析

针对二乘二取二计算机联锁系统实际应用特点,建立一种切合实际的马尔可夫模型,并将故障可用率和故障修复率引入系统的可靠性和安全性分析中。讨论故障可用率和故障修复率对可靠性的影响,同时进行仿真对比。仿真结果,在证明采用该模型的系统具有更高的可靠性和安全性的同时,也证明该方法的有效性和优越性。     

二乘二取二与双机热备计算机联锁系统性能比较

计算机联锁系统是铁路信号的重要基础设备.随着铁路信号技术的更新换代,近年来二乘二取二和双机热备成为我国铁路联锁系统的2种主流制式.从系统的实际应用出发,利用马尔可夫模型,充分考虑了故障覆盖率、维修率等因素的影响,对系统的可靠性与安全性进行了深入分析;通过MTTF值和可靠度、安全度曲线比较了2种系统的性能.论文分析结果对计算机联锁系统的应用与推广具有切实的指导意义.     

二乘二取二安全控制平台开发

二乘二取二安全控制平台包括二乘二取二逻辑运算单元,二取二开关量输入、输出单元,人机接口单元。逻辑运算单元由2块独立的CPU板构成二取二结构,2块CPU板通过板上硬件同步单元实现信息交互和同步,在软件上独立进行运算结果的比较,并通过第三方硬件比较器实现2块CPU板总线数据的实时校核,保证了双CPU比较的正确性。输入单元和输出单元中均设计了双套智能处理器,采用动态控制方式,在出现硬件故障时可导向安全侧。其中输入单元对现场继电器前后接点进行采集,输出单元输出采用双断方式,可实时检测板外混电情况。     

基于二乘二取二结构的多点冗余系统设计方案

针对二乘二取二的高安全、高可靠等级系统,介绍二乘二取二结构工作中系统同步和切机控制的原理,通过研究分析,提出一种多点冗余的系统设计方案,描述了系统组成、双机之间工作关系、多点冗余之间连接关系、各冗余双机输出的切机方法。通过实践证明,此种设计方案能够满足对于复杂、不间断、高稳定性场景的使用需求。     

计算机联锁系统的可靠性和安全性比较

可靠性和安全性是计算机联锁系统的重要性能指标.本文在考虑了故障覆盖率及维修率的情况下,建立了三取二和二乘二取二计算机联锁系统的马尔可夫模型.利用MATLAB仿真功能计算了两系统的可靠度和安全度,并给出了相关时间曲线.通过分析比较,得出故障检测率对两系统可靠度和安全度有较大影响,且二乘二取二比三取二系统具有更高可靠性和安全性.     

CBTC车载子系统二乘二取二软件平台关键算法设计

提出了CBTC车载子系统二乘二取二软件平台中双机任务同步,二取二双CPU数据比较以及双系之间的状态调整等关键算法的一种可行方案.通过实验室测试证明了设计方案的正确性、可行性和有效性.