西韩城际铁路湿陷性黄土地层现场浸水试验研究

在分析西韩城际铁路沿线黄土分布特征的基础上,选取代表性场地开展现场试坑浸水试验。试验结果表明:场地实测最大自重湿陷量为46 mm,仅为室内压缩试验计算值的0.23倍;湿陷土层厚度15 m,除Q;黄土全部具有湿陷性外,Q;上部黄土亦具有湿陷性;地表水自然入渗深度超过50 m,浸润角约为40°,浸润范围约为浸水试坑直径的1.7倍。对现场实测值和室内计算值差异原因进行深入分析,得出在黄土结构未完全破坏之前,发生过湿陷的土体在特定条件下还有可能再次湿陷的结论。     

引水隧洞突涌段变形特征及控制关键技术研究

深埋引水隧洞突泥突水洞段注浆固结圈与初期支护结构作为协同承载结构,其荷载分担与变形控制对结构和施工安全有重要作用。为研究深埋引水隧洞突涌洞段围岩与支护体系稳定性,以滇中引水狮子山隧洞为工程依托,通过现场对围岩-支护监控量测与第二层型钢拱架受力监测,结合施工工况动态分析围岩-支护体系受力与变形,研究总结突涌段施工变形控制关键技术。研究结论:(1)深埋隧洞突涌洞段拱顶累计沉降17.4 mm,达预留值的17%左右;拱肩、拱腰累计收敛106.6 mm、98.1 mm,达预留值100%左右。(2)突涌洞段理论预测极限位移150 mm;现场监测评价设定阈值uo=100 mm,当达到2/3时,应采取加强措施。(3)最佳开挖方法为微台阶法。各级台阶长度控制在3 m左右,按“快挖、快支、快封闭”原则组织施工。(4)超前预支护管棚结构起到提高固结体刚度作用,较固结体提高约13倍。(5)双层支护结构强度、刚度增加,承载能力明显提高,施工安全性也得以提高。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

现场总线技术在隧道监控系统中的应用

简要介绍了PROFIBUS现场总线技术，进行了基于PROFIBUS现场总线技术的隧道监控系统设计，指出了现场总线技术应用在隧道监控系统中的优越性。     

PLC在减摇鳍装置航速调节中的应用

介绍了PLC在减摇鳍装置航速调节中的应用，以PLC为控制核心实现装置的航速灵敏度调节的数字化处理。     

配合工务成组更换60kgAT型复式交分道岔的注意事项

根据现场施工中发现的问题，提出对配合工务成组更换60kgAT型复式交分道岔须注意的事项。     

确保两种须占用区间调车作业的安全

根据历年统计资料，在铁路行车事故中，调车事故约占70％，因此铁道部决心防止调车作业事故。近年内广泛采用无线调车灯显系统，大规模普及自动化驼峰，使调车事故发生频率得到有效遏制。但比较起站内调车而言，越出站界调车和跟踪出站调车这两种须占用区间的调车作业，值得引起各方面高度重视。现对此两种调车作业的性质、方法、注意事项及相关规定作一些分析探讨，以期对现场工作有一定的帮助。     

公路连拱隧道设计与施工

本文依据二铺塘隧道现场施工情况，针对该连拱隧道设计、施工方案作了较为详细的介绍，总结了部分经验，以供类似大跨度隧道设计施工参考。