摘要：为验证具体场景下GoA4级全自动运行系统驾驶模式是否符合对应技术规范,提出一种基于时间自动机的形式化建模与验证方法。GoA4级的驾驶模式是系统自动切换,且增加了自动实现蠕动模式和远程限制监督模式切换。选取全自动运行模式、蠕动模式和远程限制监督模式的相关切换作为建模对象,提取全自动运行系统规范中的功能需求,生成对应流程的消息顺序图,并对模块间的交互信息进行分析;然后,以基于时间自动机的数学理论为基础,采用时间自动机建模方法对RM模式向FAM模式切换、FAM模式向CAM模式切换、FAM模式向RRM模式切换进行建模;最后,采用巴科斯范式(BNF)语法,达到了对其安全性、受限活性、实时性进行验证的结果。

摘要：国内外学者均对货物运输能力的提高进行研究,传统的解决方案是提高轴重或者是加长列车长度,这种方案能够解决运能的问题,但也带来新的问题,重载组合列车需要增加车站到发线长度,对站场进行扩建改造,增加用地面积;列车长度和重量增加,较难解决列车运行中的纵向作用力问题,易造成脱线事故;移动闭塞系统对运能和安全性的提高有较大改善,但该系统对全线无线通信网络建设的依赖性非常强,与国家能源集团既有铁路系统兼容性较差。针对既有铁路的特点,文章提出一种高效接发车技术,该技术不需要提高轴重、加长列车长度,也能够和既有铁路系统兼容。通过改变现有联锁中进路一次有效的方式,提高既有铁路的到发线通过能力。

摘要：为验证高速铁路列车运行控制系统在多个故障发生时的安全性,针对系统故障降级场景,提出一种基于初始约简矩阵—组合遗漏矩阵(IRM-COM)测试用例生成算法的故障组合注入方法。首先对故障类型进行矩阵形式化描述,然后形成故障注入组合测试表初始矩阵,最后生成测试用例表。仿真结果表明,该组合测试的故障检测率比随机测试和自适应随机测试平均高10.2%,而且测试用例个数比自动高效测试用例生成器(AETG)和基于矩阵重复度的组合测试(CTboMRD)平均少13.4%,验证了所提算法具有更强的约简能力,提高了测试效率。

摘要：对CTCS-3级列控系统多个接口中GAL协议的应用目的和用法进行说明,提出目前用法中的一处缺陷;以RBC (无线闭塞中心)与CBI (计算机联锁)间的接口为例,进行风险分析,提出解决办法。

摘要：按照中华人民共和国铁道部规定,CTCS-2级客运专线上,相关安全控制系统间接口通信需要统一采用FSFB/2安全协议。本文结合合宁CTCS-2级客运专线四电集成系统项目中DS6-K5B联锁与LKD2-H列控中心通信接口适配过程中的实际经验,介绍了FSFB/2安全协议应用于联锁与列控中心通信过程中出现的一些问题及解决方法。

摘要：主要介绍一种全新适用型公路电子收费系统。该系统针对目前我国公路收费系统现状及存在的问题,进行了相关改进,具有极大的推广意义。