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

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

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

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

武汉市轨道交通规划研究

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

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

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

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

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

国内外双层客车发展概述

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

铁路动车检修库地面电源供电系统研究

目前我国铁路处在大发展建设阶段,运营里程快速增长、铁路客运大量采用动车组列车。为满足运营需求,动车车辆段、动车运用所等配套工程也不断投入建设。通过对某动车运用所检修库工程,动车地面电源供电系统设计方案的研究情况进行说明,从变电所设置、地面电源供电系统设计、供电干线方案选定、地面电源插座箱设置等几个方面,综合阐述了动车车辆检修库地面电源供电系统的特点以及在电力设计中要详细考虑的一些问题。     

昆明城市轨道交通高架桥景观方案及技术经济分析

结合昆明市轨道交通首期工程高架区间桥梁墩、梁外形方案设计,介绍了高架桥影响城市景观的主要因素。基于该城市景观要求,提出了适合昆明市城市特色的4种高架桥梁设计方案,并通过广泛征求意见确定山茶花方案,最后对所确定的山茶花方案的桥墩及箱梁进行了技术经济分析。分析表明,昆明市高架桥方案的桥墩在高地震烈度要求下,仍能满足节约的经济技术指标要求;而该方案箱梁技术指标相对较高,但在不考虑景观需求的前提下,其技术经济指标可达到全国其他城市同类结构的平均水平。     

额哈铁路工期缩短之生态效益浅析

讨论了额哈铁路工期调整对生态环境的影响。按照设计图、施工组织设计及实地调查和统计获取了现场数据,根据工地条件和既有资料确定了计算参数。得出工期缩短后减少土壤风蚀量7.5万t,减少生活污水排放5.8×104m3,减少生活垃圾排放1 100 t。确定了土壤侵蚀、生活污水和生活垃圾的处理费率,计算得到工期缩短的直接生态正效益为4 000余万元。结果表明铁路工程工期缩短具有明显的生态正效益。     

碳纤维板在重载铁路低高度钢筋混凝土板梁体外预应力加固中的应用研究

迄今,预应力碳纤维板应用于重载铁路钢筋混凝土梁加固改造的实例较少,其加固效果尚需深入研究。本文先阐述了体外预应力加固钢筋混凝土构件的设计思路,又根据现行铁路规范对加固前后梁体的应力、挠度及裂缝宽度进行了检算,并通过试验场内的静载试验验证了预应力碳纤维板加固钢筋混凝土板梁的加固效果。研究结果表明,采用预应力碳纤维板加固钢筋混凝土梁能够显著提高梁体受力性能,在1.2倍ZH荷载作用下能够满足运营要求,该技术可以在重载铁路加固改造中推广应用。