基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

日本城市轨道交通的类型与技术发展

城市轨道在日本的城市交通中发挥着重要作用.介绍了日本各城市地铁建设的状况,论述了城市铁路、地铁、线性电机地铁,单轨轨道系统、自动导向系统、轻轨交通系统以及磁悬浮系统等不同类型的城市轨道交通各自的特点与功能,并对日本城市轨道交通的发展和技术开发进行了探讨.为我国城市轨道交通的发展提供参考理念和选择依据.     

地铁车辆段上盖开发相关问题及应对措施

对地铁车辆段上盖开发的内容、结构形式进行分类和分析,提出上盖开发的内容主要有公共建筑、住宅、公园及绿地等三类;上盖开发的结构形式有转换层大平台方式、核心筒落地方式、夹心落地等三方式。对由于上盖开发引起的行车安全隐患,盖下作业环境恶化,占地面积增加,建设费用增加,对消防交通及环境、振动和噪声、总图布置和检修工艺的不利影响等,提出应对措施。建议车辆段上盖开发应在较大的区域范围内结合城市规划进行综合分析研究,在城市中心地带,应做上盖开发;在城市的边缘地带,应在经济技术比较的基础上,确定是否进行上盖开发;在城市郊区不建议进行上盖开发。     

列车联运网络建设的重要性

概述了欧洲几个国家列车联运网络的建设情况,指出在提高列车运行速度的同时,应提供优质的联运服务。     

城市轨道交通AFC系统支付方式现状及发展

为适应乘客日新月异的消费方式需求,鉴于轨道交通的快速发展,从自动售检票(AFC)系统支付方式的应用现状、存在问题及发展方向出发,对AFC系统硬币支付方式、纸币支付方式、储值票支付方式、车票圈存支付方式、银行卡支付方式等多种应用方式进行研究,并对支付方式向扫二维码换票方式和手机支付方式发展进行说明,为城市轨道交通AFC系统多种支付方式提供解决方案。     

深圳地铁上盖综合体 开发优化措施研究

以深圳为例,通过介绍香港及内地其他城市地铁上盖城市综合体的开发模式,研究深圳城市综合体发展现状及规划开发存在的问题,探讨建设深圳城市综合体开发的新模式———地铁上盖城市综合体的发展思路及优化措施。     

混合动力客车开发及产业化研究

通过分析混合动力客车开发应用前景,提出新型混合动力客车研发及产业化的主要研究内容、技术难点、创新点及技术可行性。     

项目管理在KLQ6109型客车开发中的应用

介绍项目管理相关理论和方法在客车新产品开发中的应用案例,分析项目管理对于新产品开发管理所起到的推动作用。     

职业教育管理与评价软件的开发与利用

本文从实际工作出发,在分析目前职业教育管理与评价中存在问题的基础上,结合管理信息系统开发的概念、结构及系统开发的基本原理和方法进行了一个初步的介绍。     

我省高速公路养护机械化的现状与发展

本文文对我省高速公路养护机械化的基本现状作了全面介绍,提出了养护机械化的发展方向,并以此为目标,对养护机械化的发展进程进行了科学规划。