矩形顶管关键技术研究现状及发展趋势探讨

首先，对矩形顶管技术的发展历程及其国内外研究现状进行综述，介绍当前矩形顶管技术主要的应用场景，并结合顶推力预测、注浆减阻、背土效应演化机制和控制对策、顶进过程中的地层响应模式和沉降计算、工作面稳定性评估等关键技术问题，对矩形顶管的理论研究进展进行回顾和讨论。其次，根据矩形断面掘进机的结构形式和切削方式，对国内外矩形顶管掘进机的开发现状及其分类进行介绍。最后，归纳当前矩形顶管在装备及工程应用领域面临的技术挑战，探讨矩形顶管技术的发展趋势，对矩形顶管装备智能化，矩形曲线顶进，长距离、大断面及复合地层等复杂场景下的矩形顶管技术进行展望。     

低傅氏数兴波数值预报的不稳定现象及其解决方案

本文针对船舶在低傅氏(Froude)数兴波数值预报中容易出现计算不稳定的普遍现象,从离散差分格式出发,对控制方程离散格式进行数值分析,推导出船舶CFD所特有的(带自由面)不稳定项形式,从理论上来解释这一现象.同时,根据所推导的数值耗散项的表达形式,提出了低Froude数计算稳定性的控制策略,主要为采用时间一阶隐式格式;减小时间步长;适当加密自由面附近的网格;综合应用前三种策略.     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

多孔钛摩擦磨损信号的递归图特征研究

为了定量描述一维的多孔钛干摩擦信号,采用递归定量分析方法,把摩擦信号扩展到高维,定量分析其中信息.首先,利用经验模式分解(empirical mode decomposition,EMD)对摩擦信号进行预去噪;然后,采用自相关法和假近邻法计算各组摩擦信号的延时与嵌入维数;最后,分析递归图及其对应的平均对角线长度与熵值,通过这些能够直观观察不同环境下多孔钛摩擦信号的变化特性.结果表明,递归图能够一定程度上反应多孔钛的磨损情况,通过递归定量分析能够对多孔钛摩擦系统复杂性状态进行描述,且在压力为8～10 N时磨损系统稳定性最好.     

扬州西北绕城高速公路路基路面排水设计浅析

高速公路排水设计对于高速公路路基的稳定性及路面的使用寿命都有显著影响，本文通过水文计算并结合扬州西北绕城高速公路设计、施工的实际情况，提出了切实可行的设计思路，以便更好地为高速公路建设服务。     

郴州互通滑坡稳定性评价及治理设计

分析了耒宜高速公路郴州互通Gk256 620-Gk256 830段山体滑坡的形成机理，运用极限平衡原理对滑坡体进行了稳定性计算，根据计算结果提出了边坡治理设计方案，并对该类滑坡工程提出了自己的体会。