基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool.CARSTool采用激励—反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块.以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试.测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励—反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试.     

大秦线湖东站列尾设备运用现状分析

湖东站针对列车尾部安全防护装置在大秦线运用中存在的问题,提出防止列尾装置脱落、确保列尾设备的上线使用率、优化可控列尾主机检测过程,以及列尾故障应急处理预案等对策.根据多年使用列尾设备的实际情况,对设备生产厂家提出增设普通列尾主机检测台场强确认功能,车号系统接通列尾调度指挥系统,湖东机务段增设专用的测试频点的改进建议.     

现代有轨电车无砟轨道的路基设计探讨

现代有轨电车无砟轨道路基与传统的有砟轨道路基、客运专线无砟轨道路基相比,有一定的差别。结合工程设计经验,从路基面、基床厚度及填料要求、沉降要求、排水方面对现代有轨电车路基设计进行分析与论述,对无砟轨道路基结构进行计算分析,量化基床厚度、基床表层厚度、基床底层厚等技术指标,可为其他新建有轨电车工程设计提供参考。     

青藏铁路ZDJ9转辙机与HSC转辙机控制模块接口电路原理简析

电路。作要求     

探究列控系统对动车组制动系统故障后的安全防护作用

介绍了我国CRH系列动车组制动系统的结构、特点,并按照动车组制动系统故障后是否可以继续安全行车的分类原则,将制动系统故障归纳为4类,之后对涉及到运行安全的第Ⅲ、Ⅳ类故障进行制动距离计算,得出的结论:只要动车组的剩余制动力小于列控系统车载设备计算采用的理论制动力,即使列控系统处于完全监控模式,也不能保证动车组列车不冒进停车信号,而且列车速度较低时,冒进信号的几率较大,速度较高时,冒进信号的距离较大;另外,当制动力下降到一定程度后,列车在侧向进站的过程中还有可能超过道岔规定限速,存在侧翻的危险隐患.针对这些安全隐患,提出了CRH系列动车组可只考虑最多2辆车的制动系统发生故障的合理运营条件,并设计出将列控系统车载设备计算采用的理论制动力使用系数值调整到1-2/M(M表示动车组车辆总数)的解决方案,最后通过理论计算,分析了该方案对运输能力的影响程度.     

脚本测试技术在列控中心开发测试中的运用

列控中心作为一种安全相关系统,要求具有极高的安全性和可靠性,满足铁路信号系统的故障-安全原则。测试是列控中心软件投入使用前必不可少的环节。针对目前列控中心开发测试仍然采用手工测试的问题,在对开发测试案例分析归纳的基础上,定义开发测试案例词典,基于正向最大匹配算法和格语法,提出测试案例到脚本的自动生成算法,实现开发测试的自动测试。     

基于CTCS-3列控系统的ISDN系统研究

ISDN是RBC系统的重要组成部分,它作为RBU与MSC交换设备之间开放通信系统,能够提供30B+D的PRI链路通信能力,完成除安全信息处理以外基于GSM-R网络电路交换承载业务通信系统功能。提出了一种基于CTCS-3列控系统的ISDN系统的实现方案,重点描述了系统的组成,关键技术的原理和实现,并通过实验室测试对系统进行了论证。     

我国高速铁路列车运行控制系统安全相关标准分析

阐述我国高速铁路列车控制系统标准安全相关的通用条款、功能安全、设备结构安全、信息安全、人员安全、灾害防护等内容;从RAMS规范等效性、故障-安全原则、安全信息传输规范及高速铁路不设置平交道口的规定等方面,对比分析我国CTCS标准安全性与国际安全标准的一致性。     

基于径向基函数响应面方法的大跨度斜拉桥有限元模型修正

采用ANSYS有限元软件建立某大跨度斜拉桥试验室物理模型的三维有限元模型.基于灵敏度分析,选取模型待修正参数和用于模型修正的特征量.采用实验设计方法生成数样本,通过有限元分析提取对应的特征量信息,进而建立待修正参数与特征量关系的径向基函数响应面模型.通过对响应面模型的拟合误差分析,确定径向基函数的最优形状参数.以斜拉桥自振频率和静态索力构建目标函数.基于建立的响应面模型,采用遗传优化算法进行有限元模型修正.结果表明,采用径向基函数响应面模型拟合斜拉桥设计参数与特征量之间的隐式关系有较高的精度;基于仿真数据的模型修正有较高的精度,基于试验数据的模型修正能得到合理的结果,该方法可有效地修正复杂桥梁结构有限元模型.     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。