国家标准《自动轨道衡》修订分析

针对国家标准GB／T 11885—200x《自动轨道衡》的修订过程,给合与国际法制计量组织R106：2005《自动轨道衡》国际建议草案（1CD）的采标程度,分析了该修订稿与现行GB/T 11885-1999《自动轨道衡》的异同点。     

大型筑岛沉井在沙田赣江特大桥中的应用

根据赣江部分桥位已经沙滩外露和水深小于3m的实际情况,实施筑岛沉井施工,有效节约了工期和材料投入,改善了施工方法,增加了工作面,为快速完成多个深水基础创造了条件。     

复杂地质条件下长大隧道超前地质预报技术

以龙厦铁路象山特长隧道为例,系统地介绍了复杂地质条件下长大隧道综合超前地质预报的方案、实施方法,岩溶、断层破碎带、采空区等不良地质体的预报方法,以及其工程地质前兆标志、物探异常特征和提高地质预报效率的组织措施。     

香港地铁的可持续发展探索

以香港地铁的发展历程为题材,从经济贡献、环境保护和社会责任三方面,探讨轨道交通系统可持续发展的含义.为了达到可持续发展的目标,分析城市轨道交通新线在规划和建设阶段需要考虑的因素,探索城市规划与城市轨道交通规划之间的关系.介绍香港地铁运营服务的良好效果,以及降低运营成本所采取的有效措施.     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

武汉市轨道交通规划研究

在武汉市轨道交通建设快速发展时期,通过回顾武汉市轨道交通规划建设历程,分析轨道交通线网规划与城市不同发展阶段的适应性、线网形态和空间结构的适应性、线网分期建设的合理性和网络结构的稳定性,总结线网规划的合理性;并从线网规划目标与远景规模、轨道交通建设模式、市域快线和新城放射线路的规划建设、轨道客流与沿线用地发展等方面分析轨道交通线网规划实施中存在的问题,借鉴国内外轨道交通发展经验,提出建议:合理控制新城轨道交通线网规模,适当增加主城线网密度,统筹轨道交通综合网络建设模式,灵活采用运营组织方式,促进沿线用地开发与轨道交通建设同步等,以实现轨道交通建设的可持续发展。     

1500V城市轨道交通锂电池储能系统的应用

针对现阶段城市轨道交通车辆采用电阻消耗再生制动电能带来的隧道温升、车体质量增加、能量浪费等问题,对城市轨道交通用再生制动锂电池储能系统进行研究,分析其工作原理、结构及功能,并提出锂电池储能系统充放电控制策略。以广州地铁4号线为例进行了仿真,仿真结果表明,锂电池储能系统可以有效抑制牵引供电网的电压波动。     

牵引变电安全监控系统优化研究

牵引变电安全监控系统发展近10年,但并不完善。在分析安全监控系统存在问题现状的基础上,按照国家和铁路行业相关规范,并吸取电力行业的先进经验,对牵引变电安全监控系统方案进行优化研究,着力解决设计、施工中遇到的实际问题。采用火灾报警控制器监控火灾信息及消防设施,并实现与综自系统环境监控装置通信接口。优化后的系统架构合理,子系统接口清晰,且易于扩展,能实现对安防、环境、火灾信息及消防设施状态的全面监视。     

国内外双层客车发展概述

概述了国内外双层客车的发展状况,分析了双层客车的结构特点,对我国今后双层客车的发展提出了建议.