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

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

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

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

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

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

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

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

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

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

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

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

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

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

关于提高货车制动系统关键部件可靠性方法的探讨

通过对我国现有铁路货车制动系统进行分析,并与国外先进制动系统对比,得出我国货车制动系统存在检修周期短、关键零部件可靠性不高的问题。同时,根据目前存在的问题,简要论述提高我国货车制动系统可靠性的方法。     

地铁车辆紧急疏散门系统结构研究与选型建议

介绍了国内、外地铁车辆采用的两类紧急疏散门系统,从结构形式、疏散模式、承载及疏散能力等方面对这两类紧急疏散门进行研究分析与对比,并提出地铁车辆紧急疏散门系统选型建议。     

跨坐式单轨车辆国产制动系统研制与应用

根据重庆轨道交通二号线车辆制动系统的要求,研制出国产制动系统并成功应用,填补了国内制动产品在跨坐式单轨交通车辆领域的空白。