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

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(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以上地区的中小跨径桥梁伸缩缝中使用。     

基于随机价格时间博弈的列车队列稳定性模型验证与控制策略优化

为保证列车队列运行安全并提高队列稳定性，研究了列车队列稳定性模型验证与控制策略优化问题；基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略，利用随机价格时间博弈自动机，建立了包含领航列车和跟随列车的队列控制模型，分析了模型的队列稳定性；在保证列车运行安全的前提下，以列车的相对位置差、相对速度差和时间间隔差为成本函数，通过队列随机价格时间博弈自动机模型获得控制策略集；利用Q-Learning方法得到队列的最优驾驶策略，验证队列运行的安全性和稳定性；结合列车运行追踪场景，进行队列的稳定性分析。仿真结果表明：通过形式化验证，采用3种控制策略下的队列安全性得到了保证；通过随机价格时间博弈控制、协方差优化控制和Q-Learning方法对比PID控制，等空间间隔策略下的队列稳定性误差最大值分别减小到了0.19%、0.18%和0.11%,等时间间距策略下的队列稳定性误差最大值分别减小到了30.21%、10.34%和9.24%,变时距策略下队列稳定性误差最大值分别为118.27%、56.09%和39.67%,可见，采用Q-Learning方法的随机价格时间博弈理论能在安全前提下提高...     

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

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

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

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

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

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

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

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