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

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

深圳地铁列车下一代LCU技术创新方案

在深圳地铁9号线列车LCU成熟的技术方案基础上,提出下一代LCU技术创新方案。文章主要从网络拓扑结构、安全冗余架构、硬件平台架构,以及故障智能诊断等四方面对"二乘二取二"LCU技术创新方案进行详细介绍。     

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

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

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

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

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

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

基于热备冗余控制的地铁车辆逻辑控制单元应用研究

针对地铁车辆应用场景,基于热备冗余控制方案,对地铁车辆逻辑控制单元LCU进行应用研究。根据LCU系统架构及硬件配置,对电源冗余、主控冗余、IO冗余、通信冗余等进行冗余设计,有效地保证了地铁车辆运行的安全性和可靠性,提高了列车的运营保障能力。     

基于二乘二取二的全电子计算机联锁系统

基于二乘二取二的铁路车站全电子计算机联锁系统由人机接口、二乘二取二联锁计算机、全电子执行系统3部分组成。人机接口由监控机、维修监测机组成。二乘二取二联锁计算机由2套联锁主机、冗余光纤网络和冗余热备的实时通信单元3部分组成。CPU主板由2路独立的CPU处理器、总线硬件比较控制器、硬件自检控制器、硬件同步控制器、I/F控制部件、全局冗余时钟和光纤通信接口组成。通过采取硬件同步控制器、总线硬件比较控制器和软件时间点同步相结合的方式实现1种新的同步机制。全电子执行系统由道岔模块、信号模块、轨道模块和其他接口模块等全电子执行单元构成。全电子执行单元均采用"二取二"与逻辑控制结构,具有过流保护功能,实现了信号的控制、监测、监督一体化。该系统已在铁路车站投入应用,运行稳定、可靠。     

LCU在深圳地铁9号线车辆中的应用

LCU相对于传统继电器具有诸多优势,本文从LCU在深圳地铁9号线车辆中的应用为例重点介绍LCU的应用技术方案特点,并且对LCU的应用前景展望。相对于传统继电器,LCU具有无触点式、热备冗余设计、MVB网络通信以及以太网通信等特点,这些特点均大大提高LCU系统的可靠性和灵活性。     

城轨列车三取二逻辑控制单元设计

针对列车复杂运行环境以及现有LCU的运用情况,提出一种更可靠的基于三取二控制技术的城轨列车LCU设计方法,重点研究了在软件算法和硬件设计上的三取二设计思想,并对其进行模块化设计。该三取二LCU系统已示范应用于广州市轨道交通二十一号线两列车,应用情况良好。     

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

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

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

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

基于双重模块化冗余技术的地铁列车逻辑控制单元优化设计

为提高逻辑控制单元(LCU)的可靠性,常规的方法是采用2套设备进行系统级冗余设计.文章从技术经济性和可靠性2个方面综合考虑,在对各种冗余方案进行分析计算的基础上,提出了基于双重模块化冗余技术的优化设计方案.结合具体工况和失效模式,优化了关键模块的冗余方式,重新设计相关冗余硬件和冗余控制算法.通过搭建试验测试平台,对所设...     

一种三取二安全计算机系统的设计与实现

介绍一种用于铁路车载控制设备的三取二安全计算机系统。该计算机系统由3套相同的子系统构成，采用冗余容错技术并利用VxWorks实时操作系统和软件进行开发。三系冗余容错系统的特点是对单系故障具有屏蔽作用，体现在控制过程中就是控制的连续性和故障后的无缝切换，这是选择三系的主要动机。     

逻辑控制单元技术在深圳地铁9号线列车上的应用

介绍了深圳地铁9号线列车控制系统的设计、逻辑控制单元(LCU)的功能及其在列车上的配置,阐述了逻辑控制单元的系统设计、安全性与冗余性。     

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

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

SS 9型电力机车LCU二极管烧损故障原因分析及改进措施

本文通过对SS9型电力机车LCU二极管烧损原因进行分析,并根据分析结果对直流电力机车有源辅助接地保护电路提出改进建议。     

基于LCU的CAN总线技术在地铁车辆上的应用

基于LCU技术,采用CAN总线的通信方式以及冗余设计,提高车厢间通信的效率,对于提高车辆无故障运行时间有非常大的益处,文章就CAN总线技术在地铁车辆上的应用展开研究说明。     

城轨列车双冗余LCU系统集成技术研究及应用

针对城轨列车控制部分采用继电器和逻辑控制单元的优劣,文章进行了详细对比,介绍了城轨列车双冗余LCU逻辑控制的方案及应用,并对示范应用中出现的列车紧急制动无法缓解问题进行了深入分析,阐述了优化解决措施。     

二取二制式计算机联锁系统中的通信技术

对二取二制式计算机联锁系统中的一项关键技术--通信技术进行研究.工作联锁机与备用联锁机之间的通信,是两台联锁机实现系统级同步的必要条件,也是整个系统实现故障安全防护（故障倒机）的必要前提.从数据分包方式、收发调度机制和差错处理原则等几个方面的分析表明,其工作模式简单、双机同步迅速、信息传输安全.上位机与联锁机之间的通信,采用冗余的通信网以及数据校验等安全措施,保证了车务终端与联锁系统之间信息交换的安全性,从联锁机发送、接收和上位机发送、接收四个方面的分析表明,其通信稳定性高,收发调度灵活,无通信时延.联锁机与安全智能I/O模块之间的通信,工作模式采用应答方式,分为数据预处理和CAN智能卡驱动两个通信层次,所采用的数据校验和正反码传输技术可以达到可靠的数据传送,该通信过程具有适应分布式系统控制、系统升级方便、多重安全防护等特点.     

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

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