基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

隧道浅埋段地表袖阀管注浆施工技术及造价分析

袖阀管注浆技术可针对不同地层,不同设计要求,对注浆范围分段、定量、多次重复注浆的特点,在国外得到广泛应用。在国内地铁工程施工中也曾采用该技术加固地层。此文针对宝兰客运专线马鞍梁隧道进口浅埋段需要注浆加固的需要,阐述采用袖阀管注浆加固机理、工艺流程、所需材料及配比,并对其造价进行分析。     

ZYJ7型电液转辙机优化及现场施工和日常维护

ZYJ7型电液转辙机作为具有我国自主知识产权的道岔转换设备,在铁路提速改造、客运专线、重载运输和城市轨道交通建设中大量推广使用,积累了丰富的维护和管理经验。及时探讨和交流维护经验,以利于不断提高运用质量,满足铁路运输安全需要。     

《城际铁路设计规范》主要技术标准审查会在京召开

<正>国家铁路局组织召开《城际铁路设计规范》主要技术标准审查会,重点就城际铁路运输组织、限界、设计活载、线路、桥梁、隧道、路基、轨道、车辆、牵引供电制式、列控系统、无线通信系统、票务系统等涉及的技术标准进行专家研究论证,明确城际铁路设计规范采用的主要技术标准。专家认为,编制《城际铁路设计规范》是贯彻落实国务     

L70粮食漏斗车空车位加速缓解作用不良的原因分析

120阀加速缓解作用影响列车的缓解波速,某厂装用120阀的L70型车在试制中发生多起空车位时的加速缓解作用不良现象。从120阀作用原理出发,结合L70型车整车空气制动系统的配置,通过试验对该型车加速缓解作用不良原因进行分析,认为制动系统下游管路的容积增大及大容积降压风缸分流作用显著,造成制动缸压力变低后缓解时未能形成足够的背压打开加速缓解阀逆流通路,从而出现空车位加速缓解作用不良的现象。     

SS3B型机车门联锁保护电空阀线圈烧损故障原因分析及改进措施

针对SS38型电力机车门联锁保护电空阀线圈故障烧损,造成2架受电弓升不起,引起机车机破救援的现象,进行了细致的故障原因分析,并提出了加装应急手动装置的改进措施.     

基于CTCS2-200C的城际铁路列控车载ATP的研究

根据城际列控技术总体原则和需求、运营特点,研究了将CTCS2-200C ATP提升为城际列控车载ATP的可行性方案和关键技术。该研究确保了城际车载ATP同时具备CTCS2-ATP的安全功能和城际ATP特有的安全相关功能,完全满足城际铁路安全运营的需求。     

面向网络化运营的现代有轨电车运控系统

分析了现代有轨电车网路化运营的发展趋势,介绍了现代有轨电车运控系统的总体架构、子系统构成及其功能、基本工作原理。分析了面向网络化运营的互联互通、搭建中央综合监控平台、复杂路口岔区联动优化等运控系统的关键方案及技术。在现代有轨电车规划初期,就应为未来的网络化运行做好准备,如优化线路设计、预留足够的系统及设备容量、线路间互联互通、统一管控平台等。     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。     

CRH_2型动车组受电弓控制电路及常见故障分析与处理

正1CRH2型动车组受电弓控制电路分析为了方便进行电路分析,这里将受电弓控制电路分为四个部分:升弓电路、升弓保持电路、降弓电路、远程切除电路。1.1升弓电路先要清楚T1c-1与T2c-8车的MCR和MCRR之间的联锁关系(见图1)。