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

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

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

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

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

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

基于冗余容错技术的铁道罐车测量系统的设计

介绍了基于冗余容错技术的铁道罐车液位、温度和压力的测量系统,提出了基于三模冗余容错技术的数据采集技术,并通过马尔可夫分析方法对数据采集系统的可靠性和安全性进行了分析。结果表明,采用冗余容错技术能够提高系统的可靠性和安全性。     

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

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

基于CAN-FD的全电子通信单元设计

基于CAN-FD总线设计出一种集控制、监督于一体的新的电子通信单元结构。在该结构中,由两路MCU实现“二取二”安全逻辑,第三路MCU与上述两路MCU连接,实现“二取二”比较以及与联锁机通信。第三路MCU与两路CAN-FD总线接口,两路CAN-FD总线以冗余方式与联锁机通信。这种结构在保证系统安全性的前提下,可一定程度上增强系统可靠性。     

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

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

基于DAB电路的动车组双向充电机控制策略研究

为了简化传统充电机拓扑结构,并减小设备体积和重量,提高安全性,文章将双有源全桥变流器(Dual Active Bridge-Isolated Bidirectional DC/DC Converter,DAB)应用于动车充电机。针对DAB电路采用传统的单移相控制,存在功率回流以及电压不匹配时电流应力过大的问题,将双重移相控制策略引入DAB电路的控制中,通过在高压侧桥臂间增加最优内移相比,可以在实现输出电压闭环控制的同时,使DAB的回流功率达到最小,降低开关管电流应力。本文给出详细的优化算法和控制系统设计方案,采用MATLAB/Simulink仿真和试验相结合,验证了所提最优双重移相控制的正确性和可行性。     

集中控制形式的计算机联锁系统冗余和切换技术研究

冗余和切换技术是计算机系统可靠性设计中常采用的一种技术。在区域集中控制方面,计算机联锁系统的典型应用包括区域联锁和远程控显。在基本计算机联锁系统的基础上,开发这两种典型的应用,重点是要设计好新增部分的冗余和切换。以采用高安全性和高可靠性的二乘二取二安全冗余结构的TYJL-ADX型计算机联锁为例,分析了2种应用的系统架构、硬件冗余设计,以及新增子系统的切换方式、故障情况下的切换设计和系统处理。     

VxWorks在ATP车载设备中的应用

主要研究实时操作系统VxWorks在列车超速防护（ATP）系统车载设备软件设计中的应用。为了提升系统性能，研究一种新的软件设计方法从而对各种资源进行有效管理很有必要。基于VxWorks的ATP车载设备软件设计利用嵌入式实时操作系统的优势，简化了系统资源管理，在保证系统实时性、安全性的前提下，有效地降低了软件设计的复杂度，并使得软件具有良好的层次性和可移植性。作者首先简单介绍实时操作系统VxWorks，其次描述了ATP车载设备的功能以及硬件实现方法，重点研究了基于实时操作系统VxWorks下三模冗余结构的ATP车载设备的软件实现方法，最后探讨了VxWorks在应用开发过程中的优势。