TYJL_ECC容错计算机联锁系统的可靠性评估

TYJL—ECC计算机联锁控制系统主要包括非故障-安全要求的操作表示、维修接口层以及有严格故障-安全要求的逻辑运算层、采集驱动层。其中逻辑运算层和采集驱动层的可靠性决定了整个系统的可靠性,对其进行系统的故障树分析。基于故障树对系统可靠性评估的一般步骤,依照本系统的典型配置和实际工作过程,定义系统的故障模式。依据相关标准对构成本系统的最基本的功能模块进行可靠性预测。根据故障模式和可靠性预测建立系统的故障树。根据马尔可夫过程的特性,对与门、或门及三取二逻辑进行定量计算。从而可计算出整个系统的失效率和平均修复时间。经计算所得系统的平均故障间隔时间符合铁道部规定。研究表明,TYJL—ECC容错计算机联锁系统具有很高的可靠性和安全性。     

成灌铁路计算机联锁系统的设计与实现

成灌铁路是我国第一条通车运营的市域铁路,联锁系统采用TYJL-ADX型二乘二取二计算机联锁。该系统是在既有结构的基础上,按市域铁路信号系统的技术要求开发完成。介绍了成灌铁路计算机联锁系统的硬件构成,软件的显著特点,新增客运专线信号机点灯控制功能的设计方法,无配线车站控制功能的软件实现等,以及对一次解锁等功能的探讨与研究。     

IEC61508中RBD法在铁路信号冗余结构中的适用性分析

为评估IEC61508中可靠性框图(Reliability Block Diagram RBD)法推导出的危险失效概率计算公式在铁路信号冗余结构安全性分析中的适用性,以该标准主要面向的在工业过程控制领域内用于安全防护系统(A类)为对象,首先,分析其与铁路信号系统(B类)在控制结构、危险侧判定等方面的差异性,指出冗余结构故障检测的有效性及检出后的处理原则是决定系统安全性的关键因素;然后,以1oo1、1oo2和2oo2结构为例,分别采用IEC61508中的RBD法计算A类系统、马尔科夫链计算B类系统三种结构的危险失效概率;最后,以实际参数为例进行仿真计算。结果显示：用IEC61508中RBD法计算的值与用马尔科夫链计算的B类系统危险失效概率真值间存在误差,误差分别是-3.75×10⁵,-3.77×10⁵,3.60×10⁵,这表明IEC61508主要适用的安全防护类系统与B类系统具有不同安全特性,若直接采用该标准中主要针对A类系统的可靠性框图法计算B类系统的安全性,则会得出偏差较大的结果。     

TYJL-ADX型二乘二取二计算机联锁系统

详细介绍TYJL-ADX型二乘二取二计算机联锁系统的构成、系统特点、系统原理以及脱机测试方案等技术.     

TYJL-ECC新一代容错计算机联锁系统的研究

新一代计算机联锁系统不仅应具有高安全性、可靠性、实时性、可维护性、可用性等基本特性,还应具有强大快速的处理能力、强大的接口结合能力和灵活的接口网络通信方式,以适应高速铁路、快速客运专线、铁路信号一体化的发展趋势。介绍了满足这些要求的TYJL—ECC新一代容错计算机联锁系统的原理、软件体系结构和系统特点。     

TYJL—TR2000型容错计算机联锁系统

介绍了国产容错计算机联锁系统产生的必要性，以及该系统的原理、功能、特点等。     

区间信号联锁方案研究

基于轨道电路的信号系统一直面临轨道电路失去分路的问题,通过分析区间轨道电路失去分路所产生的风险,提出了一种通过对列车运行进行追踪,实现对轨道电路失去分路进行防护的区间信号联锁检查方案。     

ETCS行车许可与临时限速功能的研究

为了提高列控系统的控车安全性,以ETCS为研究平台,对行车许可(MA)最大长度的合理取值及其对临时限速(TSR)设置功能的影响进行了分析,提出2种限速设置时机控制方案,分别适用于ETCS-1级和ETCS-2级线路,可自动规避由限速设置引发运营线路上的列车意外制动风险,无需调度人员的人工干预。     

CTCS-3级列控系统车-地无线通信消息认证和加密技术的研究

从安全相关通信理论出发研究了CTCS-3级列控系统车-地无线通信协议中的安全层消息认证机制,以及消息认证过程中应用的有关加密技术。     

基于Rhapsody的CTCS-3级列控系统无线闭塞中心运营场景建模

在分析无线闭塞中心(RBC)运营场景的基础上,研究利用Rhapsody建模工具建立RBC运营场景模型,并以RBC与外部系统之间的关系、列车状态和RBC移交列车为例,描述整个RBC运营场景的建模过程。用例图从最高层抽象出构成RBC系统的对象以及各个对象之间的相互关系,用状态图建立RBC各个场景的状态模型,用顺序图描述各个系统的信息交互顺序;利用Rhapsody中提供的动态模型执行功能,查找无线闭塞中心系统设计上的错误和缺陷,为完善RBC设计和系统开发提供依据。