苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

西安地铁2号线车辆公路运输实施方案

地铁车辆属超长、超大货物,公路运输时需借助长大汽车且通过市区进入车辆段。因此运输组织及运输安全尤为重要。就地铁车辆的公路运输涉及到的几个因素进行了分析,提出了安全可靠的运输方案。通过批量车公路运输的实施和验证,给地铁车辆公路运输方式提供了有益的借鉴。     

点式列车自动保护模式下的紧急停车、跳停缺陷及解决方法

点式ATP(列车自动保护)是CBTC(基于无线通信的列车控制)的降级模式。以西安地铁2号线信号系统为例,在分析点式ATP信号系统原理的基础上,结合用户经验,对点式ATP模式下紧急停车及跳停功能的缺陷进行了研究,并提出了相应的解决方法。     

地铁列车模拟驾驶器故障处理系统的功能探究

地铁列车模拟驾驶器故障处理系统用于培训司机的故障实时处理能力。介绍了多媒体故障处理系统的主要功能。早期的故障处理系统功能相对简单,只能实现部分硬件的故障处理操作培训。多媒体故障处理系统应用CGI计算机成像技术来完善其环境逼真程度,通过软件仿真实现无法在硬件上完成的故障处理操作,同时虚拟列车设备,对难以用硬件完成的列车部件进行全数字化仿真,实现覆盖列车运行中所遇到的各类故障的处理操作。功能完善的多媒体故障处理系统大大提高了培训质量,节约了培训成本,能培养同时具备实际操作和故障应变处理能力的司乘人员,从而保障地铁列车的安全平稳运行。     

综合监控系统中电力故障录波功能的实现

介绍了一种QT4、C++语言环境下开发的故障录波分析工具。论述了该工具的数据申请、数据文件管理、波形分析等三个主要模块的功能以及程序流程。该工具充分利用综合监控系统现有的硬件结构,可以在控制中心申请全线所有微机保护装置中的故障录波数据,通过版本管理机制实现录波数据的集中管理和其他工作站上的同步:在不影响综合监控系统现有功能的情况下,将电力系统中专有的故障录波分析功能融入到了综合监控系统中,可为操作员分析电力故障提供很好的帮助。     

基于无线通信的列车控制系统应用研究

基于通信的列车自动控制(CBTC)系统,尤其是基于无线的列车控制系统(RCBTC)代表了当今轨道交通信号系统的发展方向和先进技术的发展趋势。分析了国内CBTC系统项目的应用状况和无线CBTC系统的原理,从安全性、兼容性、灵活性等方面论述了无线CBTC系统的优势。基于无线的列车控制系统具有性能及成本优势。     

城市轨道交通高架结构噪声研究的进展

回顾了十多年来城市轨道交通高架结构噪声领域的研究状况。总结了结构噪声的频率特性、噪声和列车速度的关系、桥梁局部模态和整体模态对结构噪声的影响;比较了箱型梁和槽型梁的声压级指标。简要介绍了结构噪声的计算方法,同时指出了每种方法的不足;从减隔振、限制振动传播和能量衰减方面总结了相应的降噪措施,并重点介绍了减隔振降噪措施。最后,指出了该领域可进一步研究的问题。     

城市轨道交通换乘站综合监控平台的构建

介绍了车站级综合监控平台及其功能。整合了换乘站各弱电系统,给出了弱电系统接入综合监控平台的方式。在此基础上,针对全新2线换乘站提出了车站综合监控平台构建的三种方案,并对其进行了对比分析,确定了三种方案的适用情况。     

城市轨道交通地下车站附属结构深基坑围护渗漏风险监理控制

城市轨道交通地下车站附属结构深基坑围护渗漏是比较常见的基坑风险之一,若在基坑施工期间控制不当,容易引发基坑安全事故。通过对某地下车站附属结构深基坑渗漏风险的监理控制,从事前控制、事中控制、事后控制三方面介绍了监控过程,并进行了相应的经验总结。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...