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

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

盾构进洞盐水冻结加固施工技术

介绍了天津地铁2号线东南角站—建国道站区间盾构进洞采用的盐水冻结法加固技术,该加固技术取得了非常理想的效果。结合工程实际对冻土帷幕和冻结效果进行的验算分析表明,采用盐水冻结加固技术降低了盾构进洞过程中出现漏水、涌沙的可能性。施工中在破洞门钢筋混凝土时要精细施工,注意防止破坏冻结管,减少盾构机在冷冻体的停留时间,并做好保温措施。     

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

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

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

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

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

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

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

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

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

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

城市轨道交通工程中转辙机安装方式简析

介绍城市轨道交通中各种转辙机的安装方式,并从多个方面分析比较了各种安装方式。     

新建地铁隧道下穿既有地铁施工技术

北京地铁10号线国贸-双井站区间暗挖隧道施工下穿既有地铁1号线,既有线地铁结构的安全度已达临界状态,施工不能中断行车运营。为有效控制新线施工开挖引起的地层变化对既有结构位移和变形的影响,对既有线采用袖阀管注浆、WSS工法加固的措施,详细介绍新建10号线初支顶部与既有1号线初支仰拱零距离密贴、刚性支护紧贴1号线底板进行下部隧道施工的作业要点和技术措施,以确保施工安全和既有地铁的正常运营。实践证明,该工程首次采用密贴既有结构底板的形式穿越既有地铁隧道,对城市地下工程施工具有一定的指导意义。     

基于时变因素的桥梁可靠度指标计算

在预应力桥梁服役过程中,桥梁构件的抗力水平可能降低,同时在运营过程中,桥梁的交通量有可能发生增长,考虑这些时变因素的桥梁可靠度是值得关心的问题。本文总结归纳了三种典型的抗力退化模式,以某地交通量观测结果为依据,拟合了其增长函数;建立抗力衰减和荷载增长的时变模型;接着,本文以某现役预应力混凝土桥梁构件为背景,利用蒙特卡罗法模拟计算了考虑时变因素的可靠度指标,讨论了其安全使用年限。