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

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

基于PLSA和SVM的道岔故障特征提取与诊断方法研究

铁路局和电务段长期以来保留的道岔故障记录是非常宝贵的数据,对道岔故障类型统计、故障特征分析、故障诊断和故障预测有非常好的参考作用,但这些数据往往保存格式多样,难以直接利用。本文提出基于主题模型PLSA和支持向量机SVM的道岔设备故障特征提取与诊断方法。通过分词算法将故障文档表达在词项特征空间中;采用主题模型算法提取主题特征,并将故障文档表达在主题特征空间上;以SVM算法构造诊断器实现道岔设备的故障诊断。利用中国铁路广州局集团有限公司道岔故障记录的真实数据,对提出的算法有效性进行验证。实验表明,提出的算法能有效实现道岔设备故障诊断,对现场维护有一定的指导意义。     

基于随机Petri网的GSM-R双层网络建模与性能分析

利用随机Petri网,综合信道降质、链路中断、越区切换、灾害等因素,建立GSM-R的同站址网络与交织站址网络的故障模型,针对同站址与交织站址两种不同的网络结构,给出利用马尔可夫链求解可靠性与可用性的方法。通过马尔可夫链的有关概率分别计算:不同网络结构的可靠性;不同列车运行速度对应不同网络结构的可用性。分析计算结果表明:同站址网络的可靠性与可用性远高于交织站址网络,主要原因是同站址网络中一层基站业务中断时不会导致系统失效,交织站址网络中一层基站业务中断时,并联的另一层相邻两个基站均可以提供业务才不会导致系统失效。另外,同站址网络中越区切换速率较小,有效减小了列车越区切换对可靠性与可用性的影响。     

改性沥青伸缩缝结合料与混合料低温性能研究

为改善改性沥青桥梁伸缩缝材料的低温性能,使其在寒冷地区中小跨径桥梁上获得成功应用,通过添加热塑性橡胶类改性剂和橡胶类改性剂,对美佳改性沥青结合料进行二次改性,并通过对改性前后结合料和混合料低温性能的试验对比分析,重点研究了伸缩缝用改性沥青结合料和混合料的低温性能,通过实桥伸缩缝验证了研究成果的可行性。结果表明:该研究成果可在-40°C以上地区的中小跨径桥梁伸缩缝中使用。     

东南亚地区桥梁桩基础设计经验及思考

通过调研东南亚地区多个国家项目,对该地区桥梁桩基础设计适用规范、桩型、桩径等情况进行梳理总结。在调研基础上,结合东南亚地区某电气化铁路桥梁实际地质情况和拟采用的桩基础设计方案,分别采用东南亚地区适用较广的欧洲(英国)规范、美国规范、中国规范进行试算和对比。结果发现,中西方规范采用不同土体参数和计算方法,两者计算结果离散性较大且中国规范计算结果较为保守。结合在该地区工程经验,建议应注重对中西方桩基础设计规范的理解并结合当地实际,在兼顾安全和经济的情况下选择合适的设计方案,并与业主工程师和第三方咨询做好沟通。     

基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。     

基于80C196列车超速防护系统测试仪的研制

采用80C196微处理器研制的新型列车超速防护系统测试仪不仅可用于列车运行控制系统的研制和生产过程中,而且也可用于现场维护,可模拟列车各种运行环境及可能出现的故障,可手动测试也可自动测试,随时给出被测系统的工作状况。作者主要介绍这种测试仪的功能,系统结构和实现方式。     

国产CBTC系统安全认证模式探索

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全．为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行．结合北京轨道交通亦庄线示范工程中信号系统的安全认证过程,探讨适合我们国家的地铁建设过程中的安全认证模式,在应用国际安全标准的同时,必须结合我们国家的实际情况开展相关的研究工作,从产品研发和工程实施全生命周期各个阶段进行安全分析和设计,把风险控制到可以接受的水平以下．     

国家级工程设计大师的大手笔——记第九届詹天佑铁道科学技术奖成就奖获得者、铁道第三勘察设计院集团有限公司副总工程师王俊峰

在中国铁路腾飞发展的黄金岁月，一位勘察设计大师的得意手笔和扛鼎之作，引起同行与众人的刮目相看，在主持确定北京南站车场规模和总体方案时，他博采众长、匠心独具，用一支传神妙笔，点就“功能性、系统性、先进性、文化性和经济性”为一体的世纪经典大作；在烟台至大连铁路轮渡勘察设计中，他锐意进取，融会贯通，用一根智慧画笔在海洋上描绘出了美丽的陆地航程；在胶新铁路勘察设计中，他别出心裁、路景交融，用一支浓墨重彩之笔勾勒出了国内第一条环境优美的铁路大型风景线……