基于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号令《汽车运输业车辆技术管理规定》。它是我国道路运输管理法规的重要组成部分，而车辆技术等级评定则是《汽车运输业车辆技术管理规定》中的主要内容。因此，它是各级交通运输管理部门对运输车辆进行行业管理必须遵循的规章，也是各运输单位及个人必须遵循的准则。     

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

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

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

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

本会正在办理道路运输企业经营资质向企业等级过渡工作

2005年9月，交通部颁布《道路旅客运输企业等级》、《道路货物运输企业等级》交通行业标准，将道路运输企业经营资质评定转为等级评定，并委托给各级道路运输协会负责进行。[第一段]     

国家决定投资1000亿全面提升我国乡村公路等级

记者今天从国家发改委获悉，“十一五”期间．国家将投入1000亿元资金对全国所有县乡公路进行改造和道路升级。根据计划安排，到2010年，东、中部地区所有的村、西部地区所有的乡镇将全部实现通油路。国家要求从今年下半年开始。各地计划和公路建设部门必须做好县、乡、村油路的改造和道路升级前期的勘察设计、规划工作，