桩墙联合支挡结构在陡坡填方滑坡治理中的应用

依托贵州省某高速公路陡坡填方路堤滑坡治理工程，对已竣工路肩墙在路基滑坡牵引下破坏垮塌的实际问题，在路肩位置采用仰斜式路肩墙与抗滑桩联合支挡结构进行治理；运用FLAC3D对桩墙联合支挡结构进行计算，分析治理后的边坡变形沉降、稳定性及其各部分受力特点。治理效果表明:桩墙联合支挡结构治理后边坡稳定性较好，变形、裂缝均在设计控制范围内。     

抗扰动复合外加剂对水泥水化产物的影响

为了研究抗扰动复合外加剂对抗扰动混凝土中水泥水化产物形貌结构和化学组分的影响,该文采用扫描电镜和X射线衍射技术手段,根据水泥水化放热速率曲线,研究复合外加剂对水泥水化动力学影响。结果表明:加入抗扰动复合外加剂,体系内部部分钙矾石呈柱状交错分布,提升了结构密实度。水泥浆体中铝离子和硫酸根离子浓度增加,加快了钙离子的消耗;水泥水化放热速率峰值时间提前且大幅上升,缩短了体系凝结时间,提升了早期强度。     

通用机场净空区规划研究

通用机场的净空规划与运输机场一样,对机场的运营安全与周边规划都非常重要。然而,通用机场的净空规划与运输机场有所不同,通用机场的净空规划对通用机场的规划建设至关重要,直接涉及到机场选址以及周边净空管理的问题,因此通用机场的净空规划研究显得非常有必要。本文针对我国通用机场的特点,通过对有关民航标准的深入研究,阐述了通用机场净空区的组成及影响因素,提出了简单而实用的通用机场净空区规划方法,并进行了案例分析,可为我国通用机场的净空规划与净空保护提供一定的借鉴。     

铁路桥梁BIM程序的设计与实现

针对桥梁工程设计的特点,自主开发一款具有二维交互设计,及三维显示功能的铁路桥梁BIM设计程序。阐述了在建筑信息模型(BIM)模式下桥梁程序开发不易完全抛弃二维设计视图及传统设计的理念。着重介绍了该程序的MVC框架、桥梁设计功能,以及在二维、三维显示视口开发中所使用的OPENGL VBO、四叉树空间索引等技术。通过工程项目应用,表明该程序具备BIM铁路桥梁方案设计功能,三维场景直观生动,并且结合二维视图辅助,使用户能够直接、实时地掌握桥梁结构高程、尺寸等数据,更好地帮助决策合理的桥梁方案。     

板桩码头前后轨道梁抗震连接构件设计

针对强震区板桩码头前后轨道梁的震后位移差问题,进行了抗震连接构件的设计研究。通过有限差分软件FLAC2D进行动力时程计算,对比分析钢拉杆、钢筋混凝土横撑等不同连接构件的适用性和受力特性。结果表明,采用锁扣式连接的钢筋混凝土横撑能经济、有效地限制前后轨道梁的震后位移差,可为类似项目提供设计参考。     

局部载荷作用下四边固支矩形板弹性解答及其应用

针对局部横向载荷作用下四边刚性固定矩形板,运用能量法推导出板中挠度解答方程组,利用Matlab编程求解,可计算得到任意矩形板尺寸及横向载荷尺寸下弹性阶段的变形,将结果与有限元数值解进行对比,证明了该方法的精确与快速性,并将该公式应用于极地船舶冰区加强区域外板强度的快速校核中。     

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

本文针对船舶在低傅氏(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方法更为有效.      

基于MRF方法和滑移网格的螺旋桨水动力性能研究

本文基于计算流体力学(CFD)方法,对多重参考系模型(MRF)及滑移网格模型(SM)在计算螺旋桨水动力性能时的差异进行了探讨。将以上两种模型应用到4381螺旋桨的水动力性能计算中,首先将计算得到的推力系数及转矩系数与试验数据进行了对比,考察了两种计算模型对螺旋桨的敞水性能的预测情况,并进一步对两种模型计算得到的螺旋桨盘面的速度场、桨叶的压力分布、桨后涡量云图等进行了对比分析。计算结果表明,滑移网格模型相较于多重参考系模型,对螺旋桨的推力系数的模拟结果误差更小,扭矩系数方面,两种模型的模拟结果相差不大；对于进速系数较大时,两种模型模拟得到的压力分布及速度分布较为相似,但对于高负荷情况,滑移网格模型可以更好地捕捉桨叶的压力分布及桨盘面处的速度分布情况；进速系数较小时,多重参考系模型可以模拟出涡结构的发散现象,而滑移网格模型可以更好的在高进速系数情况下捕捉到梢涡结构。