基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

兰新铁路迎来高铁时代

<正>2014年11月16日兰新高铁乌鲁木齐—哈密段开通运营,标志着新疆迎来了高铁时代。兰新高铁乌鲁木齐南—哈密段全程用时不到3.5 h。运用车型为CRH5型动车组。CRH5型动车组采用8辆编组,5动3拖,最高设计速度250 km/h,总定员622人,客流量大时可采用两列重联运行。CRH5型动车组采用了先进的航空隔音材料和结构,是国内同速度等级噪声指标最佳的动车组;采用车顶单元式空调,车内始终保持20~24℃舒适温度。除此之外,CRH5型动车组安全智能,可     

日照地区花岗岩风化带的划分及工程评价

总结了日照地区花岗岩风化带的基本特征及目前国内花岗岩风化带划分的基本方法,结合本地区花岗岩的特点及某铁路工程勘察经验,通过分析对比大量钻孔岩芯的原位测试、室内试验、物探等指标与岩石的野外特征之间的关系,对钻孔岩芯风化程度进行了重新判别和确认,提出了更为合理的划分标准,并对其进行了简要评价。     

郑武客运专线与合武铁路接轨站信号设计方案研究

分析CTCS-5级与CTCS-2级列控系统客运专线接轨车站的具体情况,结合高速铁路技术体系和CTCS2级和CTCS-5级列控系统技术要求,提出信号系统主要设计方案、出站信号机设置和显示方案、等级转换及同类车站实施的建议。     

大型车站站区“天窗”单元划分的探讨

随着铁路运输向着高速、重载、高密度方向快速发展,实施行车设备“天窗”修已经成为提高铁路设备质量、解决维修与运输矛盾、确保运输安全的必由之路。大型车站站区“天窗”作为“天窗”修的一个重要组成部分,一直以来都是实施“天窗”修的一个难点。而落实大型车站站区“天窗”的基本条件,就是如何划分一个合理可行的站区“天窗”单元。     

快速公交系统（BRT）在我国城市的适用性研究

快速公交系统具有突出特点和优势,有很强的灵活性,能适应多种规模和类型的城市,我国城市众多,哪些城市适合发展BRT是一个需要回答的现实问题;通过对我国不同类型城市和快速公交系统适用范围等分析,笔者认为BRT在我国城市中具有广泛的适用性,特别是市区人口100万以上的一、二、三级城市值得大力倡导发展灵活多样的BRT形式,中小城市可以视客流需求情况适度发展,一般可采取独立形式的快速公交系统作为常规公交的补充,以解决主要客流走廊公交能力不足的矛盾。     

浅析营运车辆等级评定实践

为加强汽车运输业车辆技术管理，交通部发布了第13号令《汽车运输业车辆技术管理规定》。它是我国道路运输管理法规的重要组成部分，而车辆技术等级评定则是《汽车运输业车辆技术管理规定》中的主要内容。因此，它是各级交通运输管理部门对运输车辆进行行业管理必须遵循的规章，也是各运输单位及个人必须遵循的准则。     

公交汽车维修技工培训考核现状及改进建议

随着城市公共交通迅速发展,新工艺、新材料、新技术在公共汽车上的大量应用,如何进一步搞好汽修技工的培训,以适应发展的需要已成为重要的课题.     

浅谈一、二级公路计算行车速度

本文结合近年来云南山区公路建设和路网改造的实践,谈谈现行规范、标准一、二级公路计算行车速度规定的看法和建议,与同行探讨.