铁路提速与信号规范

研究提速后信号机间距离与制动距离的关系、信号显示制度的变化及机车信号显示的原则。根据中国铁路的提速特点,对信号运行基础的参数和理论进行重新审视,分析了铁路信号相应的标准、规范、制式和设备技术原则的适应性。研究后提出的信号机间距离必须满足速度级差制动距离的要求;信号显示必须向速差式发展;机车信号显示原则由"显示相符"改成"显示含义相符";四显示自动闭塞制式等建议,并落实在技规和规范的适应性修改中,基本上适应了提速的需求。     

道路预成形标线带检测技术

对道路预成形标线带检测技术,包括检测标准、产品分类、测试条件和技术要求等,结合国外先进标准进行分析研究。重点介绍在编写其检测标准时,对物理性能、色度性能、逆反射性能、耐水性能、耐碱性能、耐磨性能、粘结性能、抗滑性能等各项技术指标,参考国外先进标准和国内实际情况进行研究确定的过程,指导对国内标线带的产品检测和质量控制。     

解析铁道国家标准《铁路道岔转辙机》

铁路道岔转辙机的安全性和可靠性直接影响铁路行车安全,为满足现有使用条件,修订GB/T 25338(所有部分)—2010《铁路道岔转辙机》,形成GB/T 25338(所有部分)—2019《铁路道岔转辙机》。介绍标准修订背景,标准主要修订内容和修订依据,详细说明耐振性能相关规定,并提出标准实施建议。     

直流转辙机控制电路存在的问题与改进

对目前全路大量使用的直流转辙机控制电路进行了分析,指出了其存在不符合设计规范的问题,并提出了改进方案。文中所提的改进方案均有实际使用,运行良好。     

排水性沥青路面技术的进步与发展

排水性沥青路面不同于开级配抗滑磨耗层,具有更为优越的功能。为获得较大的空隙率,以提高排水和降噪效果,减少堵塞,粗集料粒径由小粒径向大粒径发展,而空隙率与集料级配有关。为防止松散,提高适应重交通的能力,沥青结合料趋于更加黏稠,直投式高黏度沥青改性剂得到开发和应用。目前排水性沥青路面结构主要为单层,发展起来的双层结构更有利于防止堵塞。国内现已成功研发排水性路面养护机。在最新制订的地方性规范中,提出了以零剪切黏度代之以毛细管黏度计测试的黏度。     

建立轨道交通安全相关系统安全管理规范模型的构想

在介绍欧盟和我国轨道交通(铁路和城市轨道交通)行业安全相关系统开发和运营过程中存在问题的基础上,提出建立轨道交通安全相关系统安全管理规范模型的构想。该模型根据安全管理活动的过程,将安全管理模型分为制定、实施和维护3个模块。制定阶段包括计划和建立,实施阶段包括筹备和具体实施,维护阶段包括测量和审核或评审。详细叙述各阶段的主要内容和要求。     

A conceptualization of vehicle platoons and platoon operations

Vehicle platooning, a coordinated movement strategy, has been proposed to address a range of current transport challenges such as traffic congestion, road safety, energy consumption and pollution. But in order to form platoons in an ad-hoc manner the vehicles have to ‘speak the same language’, which is in current practice limited to vehicles of particular manufacturers. There is no standard language yet. Also in research, while the current literature focuses on platoon control strategies, intra-platoon communication, or platooning impacts on traffic, the conceptualization of platooning objects and their operations remained unattended. This paper aims to fill this fundamental gap by developing a formal model of platooning concepts. The paper proposes an ontological model of platooning objects and properties and abstract basic building blocks of platoon operations that can then be aggregated to complex platooning behavior. The presented ontological model provides the logical reasoning to support vital decision-making during platoon lifecycles. The ontological model is implemented and demonstrated.     

交互式电子技术手册(IETM)规范体系分析

本文对当今国际上两种IETM主流规范的优缺点和适用范围进行了比较和评述,并指出在IETM的研究与开发中正确评价和应用两种规范的有关问题.     

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

ERTMS is the standard railway control-command and signaling system which aims to ensure railway interoperability throughout Europe while enhancing safety and competitiveness. ERTMS is composed of two main subsystems which include GSM-R, a radio system for enabling communication between the train and the traffic management center and ETCS, an automatic train protection system (ATP) to replace the existing national ATP systems. The ERTMS specifications are defined by means of standard documents which set out the requirements ensuring interoperability. These documents evolve regularly to give rise to successive versions. The ERTMS/ETCS standard defines different levels and operation modes according to various trackside and onboard setups and some operational conditions. Given the complexity and the high criticality of railway operation, verification and validation (V&V) are crucial tasks in railway application development.In this paper, after setting the background and the motivations, a mechanizable formalization of a subset of ERTMS/ETCS specifications relative to ETCS modes and transitions is developed. The present work aims to offer a readily available model for formal V&V. Using formal techniques to check SRS is highly recommended to tackle the complexity of the defined requirements and prevent specification errors. Model-checking technique, which is targeted here, offers exhaustive analysis of the system behavior based on its model and is highly automated, since it is supported by software tools. Based on the last available version of SRS specifications, a progressive process is undertaken to get a formal model which makes explicit the various modes characterized by their respective active functions, as well as the numerous combinations of conditions for switching between modes. The various steps guiding the translation of the SRS literal specifications into a formal model are explained. As will be shown through different examples, the obtained model is a convenient basis to check safety, interoperability and liveness properties.     

浅谈废轮胎橡胶沥青的应用研究

概述废轮胎橡胶沥青在美国的发展与应用情况，在大量文献的检索与整理中，介绍了废轮胎橡胶粉多种制作工法、相关检测规范及质量控制指标，讨论了今后我省废轮胎橡胶沥青应用研究方向。