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

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

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

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

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

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

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

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

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

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

二乘二取二系统的安全性与可靠性分析

阐明了铁路可靠性和安全性的重要意义,使用概率的方法对二乘二取二系统的安全性与可靠性关系进行了描述,通过对其进行数学分析,提出并举例说明了提高二乘二取二系统安全可靠性的方法。     

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

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

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

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

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

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

卫星定位轨迹最小二乘拟合适应性分析

卫星定位技术在列控系统深入应用,轨道信息数字化是其中的关键问题。提出一种基于卫星轨迹最小二乘拟合的轨道数据采集方法,并针对地理坐标系距离计算和非线性映射两个问题,提出3个假设条件。当待拟合的卫星定位数据满足这3个假设条件时,可以使用最小二乘方法获得轨道的近似最优解。     

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

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

某地铁出入口深U形槽二维等效分析方法比较

对某地铁出入口深U形槽进行了不考虑顶横梁空间约束作用、两种等效方法考虑顶横梁空间约束作用的二维分析及SAP2000三维分析。经比较,基于刚度等效原则的二维计算内力比基于面积等效原则的二维计算更接近三维计算结果,且其侧墙底部及底板内力与三维计算结果相比,误差很小,可用于结构配筋计算。     

基于最小二乘支持向量机的轨道电路故障诊断方法

为提高轨道电路故障处理效率和正确率,对轨道电路的多故障诊断方法进行研究。建立基于最小二乘支持向量机的轨道电路故障诊断模型,用某轨道电路实测数据进行训练和测试,选择基于BP神经网络的故障诊断方法进行对比。结果表明:基于最小二乘支持向量机的轨道电路故障诊断方法能有效实现轨道电路5种故障的诊断,且具有更快的运算速度。与BP神经网络故障诊断方法比较,故障诊断正确率提高了17.14%,运算时间减少2/3。     

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

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

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

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

滚——剃工艺下二种干涉的计算

基于滚－剃工艺，给出了二种干涉的数值计算方法，指出了现有的过渡曲线干涉计算公式的局限性。     

安全防护技术在故障安全平台研发中的应用和思考

结合DS6-60故障安全平台的开发,对其中采用的二取二安全机制、工具安全性分析和防御性编程3种关键安全防护技术做出分析和思考,为其他故障安全平台的开发提供技术参考。     

二乘二取二硬件安全冗余信号控制平台的研究

AT96DDMR平台是具有安全硬件冗余结构的二乘二取二信号控制平台,其结构可分为操作显示层、逻辑运算层、输入输出层3个层次.关键的逻辑运算层和输入输出层达到安全完整性SIL4级要求.对其结构、安全性设计方法以及开发流程的独立评估内容做了描述,并对逻辑运算层的状态转换关系给出了说明.     

安哥拉客车转向架二系悬挂系统稳定性分析

在通过不同半径曲线时,对安哥拉全钢弹簧客车转向架二系高圆钢弹簧两端加橡胶垫悬挂系统的橡胶垫和圆柱形螺旋压缩高圆钢弹簧的水平方向位移、刚度和强度进行分析。基于经典材料力学方法开发的分析程序,在规定的运用工况下,通过分析和计算橡胶垫的强度,4种车型的高圆钢弹簧的刚度和强度,二系悬挂系统的稳定性均满足设计要求。     

基于多目标遗传算法的机车二系支承载荷调整优化方法

为提高电力机车二系支承栽荷调整优化算法的实用性,解决单一目标遗传算法调整计算产生二系支承点加垫数和加垫总量过多的问题,提出了一种基于多目标遗传算法的寻优方法.针对机车二系调箦问题的偏好结构特点,建立了多目标优化模型,并设计了基于多目标遗传算法的调簧目标函数,进一步引入了适应性权重方法来确定目标函数值,并确立了相应的适应...