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

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

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

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

铁路工程施工招标综合评估法投标报价分析

铁路工程施工招投标主要采用综合评估法,对投标文件进行综合评审答分,并将得分由高到低排列推荐中标候选人。此文在介绍综合评估法和投标报价评分规则的基础上,为便于对投标报价进行分析,假设各投标人均为"理性经济人",且目标一致,采用以各投标人的报价平均值作为各投标人的报价,求解满分区间不等式,得出报价范围,再计算各投标人综合得分。该方法经实例计算验证,较其他评标方法简便、精确,且通用性强,可为以后施工招标进行投标报价分析提供借鉴。     

工程建设实施阶段材料价差调整计算方法探讨

铁路工程建设项目投资受国家政策和建筑市场物价变化等因素的影响,为有效控制工程项目投资,工程施工阶段需对材料价差进行动态调整。材料价差调整政策性强、工作量大、要求精细。此文在阐述材料价差调整依据及程序的基础上,对甲供材料和施工企业自购材料价差调整的原则及计算方法进行分析与探讨,提出可采用的计算方法。并结合工程实例进行材料价差调整的计算,验证其计算方法的可行性与可用性。     

装配式桁架片组成的方柱式结构及承载力简化计算方法研究

装配式桁架在工程中运用较多,在工程项目中可以作为梁式结构和柱式结构运用,其中柱式结构分为排架式柱和方柱式结构。由于现实中对柱式结构缺乏完善的理论分析和实用简化计算方法,工程单位在运用柱式结构作为临时支撑结构过程中出现了不少安全隐患。因此对方柱式结构的构造及承载力简化计算方法进行研究,该实用计算方法简单,对方柱式结构运用具有一定指导作用和可操作性。     

青藏高压电力工程四分裂导线弧垂观测法施工技术

结合青藏交直流联网工程实际,详细介绍在大风、气温骤变等高原特殊气候环境下四分裂导线弧垂的观测调整方法。经在该工程中实践证实,该方法可以有效控制导线弧垂精度,可供类似工程施工参考。     

松动圈理论在冬瓜山采矿巷道支护设计中的应用

基于深部巷道工程由于其复杂的赋存条件和应力环境使得浅部工程的支护技术和方法不能满足深部巷道工程的需要,采用松动圈理论对冬瓜山采矿巷道进行支护设计。通过对松动圈支护理论及松动圈测试进行研究,将不同地方围岩破坏情况(松动圈值)分为松动圈基准值(Lp1)和关键点松动圈值(Lp2),作为支护参数设计的量化指标,对巷道不同地方采取有区别的支护。将其运用于深部采矿巷道支护工程实践,通过现场位移监测验证了松动圈支护技术在深部工程应用中的合理性。     

基于修正容重增加法的加筋土挡墙稳定性分析

在分析容重增加法基本原理和缺陷的基础上,提出容重增加法用于加筋土挡墙稳定性分析时的修正方法,给出容重增加法在FLAC3D中的实现步骤,并进行实例分析。研究结果表明:岩土体容重的增加会导致岩土体力抗剪强度的增大和筋材的抗拔力增加,其应用于加筋土挡墙稳定性分析时应进行必要的修正,证明提出的修正方法是可行且高效的。     

CRH3型高速动车组牵引变流器冷却系统试验研究

为验证动车组高速运行时牵引变流器的冷却系统能否满足散热需求,设计并构建了牵引系统热容量测试平台,利用该平台对CRH3型动车组牵引变流器冷却系统进行了地面测试,验证了装置的可靠性,并在武广客运专线进行了CRH3型动车组牵引系统热容量的动态测试研究,测试结果表明该牵引变流器的冷却系统能够满足动车组在高速运行时的冷却性能需求。     

HXD3C型交流传动电力机车DC600V列车供电系统

HXD3C型交流传动电力机车是干线客货通用电力机车,机车额定功率为7 200 kW,最高速度为120 km/h.该机车列车供电系统具备DC 600 V供电能力.文章介绍了HXD3C型机车列车供电系统的结构、技术特点,并通过试验验证该列车供电系统性能.