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

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

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

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

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

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

弹性阻尼耦合轮对动力学特性分析

耦合轮对左右车轮间是通过耦合度可变的耦合器连接的,既不完全固结,也不可相对独立旋转,因此其动力学性能也有别于二者。现建立弹性阻尼耦合轮对(EDCW)车辆的动力学模型,系统地分析了其直线稳定性和曲线通过性能。研究发现,选择适当的耦合度时,全部轮对均为EDCW的车辆系统动力学性能居于传统轮对和独立旋转车轮车辆系统之间。在直线上的临界速度小于独立旋转车轮而大于传统轮对,在曲线上的导向性能劣于传统轮对而优于独立旋转车轮,其直线上临界速度的提高是以曲线上导向能力的下降为前提的。研制一种具有主动控制性能的耦合器,使其在高速时具有小耦合度,在低速和通过曲线时具有大耦合度,可以很好地满足当今铁路发展的需求。     

CTCS-3级列控仿真系统ATP接口平台实时性研究与实现

详细分析在CTCS-3级列控仿真系统中ATP实物设备接入仿真平台面临的实时性问题,并对ATP接口平台的实时性进行详细研究与分析,针对ATP接口平台实时性设计中的关键问题提出解决方案。     

城市轨道交通ATO系统性能指标评价

论述列车自动驾驶(automatic train operation,ATO)系统在城市轨道交通中的应用情况,说明其重要性.为了评价不同厂家提供的ATO系统的综合性能,需要建立一个对ATO系统评价的标准.对ATO系统的运行可靠性、运行效率、旅客舒适度、能耗等进行研究,并建立性能评价模型.利用北京地铁亦庄线ATO系统的实...     

大跨高低塔不对称斜拉桥抗震性能分析与评估

为了研究大跨斜拉桥的两阶段水准设防下的抗震性能,依托某大跨高低塔不对称斜拉桥,通过有限元模型建立了空间有限元模型,采用了反应谱和线性时程对比分析的方法。分析表明地震作用下,主桥的不利截面分别为双塔的塔底截面,其低塔受横向地震效应影响较大,高塔受纵向地震效应影响较大,设计配筋时应根据受力方向优化。     

城市大直径管道多维联合检测方法研究

探明地下污水管线运营的实际情况是后期维护的重要依据,而目前的探测方法不能全面掌握地下管线的精确探测问题。针对郑州地铁下穿污水管的运营情况,采用高密度电法、地质雷达检测技术,结合自行研发的浮于水面的彩色成像系统探测技术对其进行了间接探测和直观探测,找到了污水管渗漏、空洞及错位等问题,实现了对管道的多维立体监测,为地下管线的保护、修复和加固提供了技术支撑。     

图像测量技术在汽车轴距差检测中的应用研究

通过采集汽车直行中轮胎印迹图像 ,利用偏差相对测量法 ,即先测出汽车单轴的偏斜量 ,然后计算出汽车轴距左右差。通过开发的检测系统进行试验 ,结果表明 ,检测精度满足汽车轴距左右差在线检测要求。     

常规沥青的针入度等级和PG高温等级间的关系

选取了具有代表性和涵盖性的7种常规沥青试样,分别进行了薄膜烘箱老化前后的25℃针入度和多个温度下的动态剪切试验;测试了沥青胶浆以及经现场老化的常规沥青的25℃针入度及其PG高温指标。在综合分析各种沥青的试验结果的基础上,提出了常规沥青的针入度等级和SUPERPAVE的PG高温等级间的关系。