沙漠公路风积沙台背回填技术研究

针对沙漠高速公路涵洞台背回填困难问题，结合沙漠地区风积沙资源丰富的工程环境特点，开展风积沙台背回填关键技术研究。通过检测洒水压实法下压路机静压一遍+振压一遍和推土机静压一遍+铲运车收光一遍两种碾压工艺对风积沙台背压实度的影响，以及采用水沉法下不碾压或装载机静压一遍两种碾压工艺对风积沙台背压实度的影响，评价风积沙台背回填最优压实方法与碾压工艺；通过超载方式对台背部分进行预压，观测其沉降值，评价风积沙台背稳定性。研究结果表明，相比于水沉法，洒水碾压法仅需将表层风积沙湿润，其用水量不足水沉法的十分之一，经济效益显著；相比推土机静压一遍+铲运车收光一遍的碾压工艺，压路机静压一遍+振压一遍的方法对机械资源需求量低，而且可满足连续作业需求，施工效率显著；此外，采用该方法的风积沙回填台背的稳定性良好，降低了台背不均匀沉降风险；同时，因风积沙材料的透水性良好，可较大程度地避免水损害。     

基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.     

波浪作用下沙纹床面形态及底摩阻系数研究

波浪作用形成的沙纹在近海区域普遍存在,准确预测沙纹床面形态并计算对应的底摩阻系数是研究近岸波浪变形、泥沙输运及岸滩演变的基础。利用国外公开发表的室内试验和现场观测数据对已有计算沙纹形态的典型公式进行分析评价。考虑床面形态与水流条件的互相适应,提出新的平衡状态下沙纹长度、高度及波陡计算公式;引入临界Shields参数判别函数来考虑底床泥沙运动状态对沙纹形态的影响;通过理论推导得到波浪摩阻系数计算公式,并利用沙纹形态计算公式改进粗糙高度的计算方法。结果表明,提出的沙纹形态计算公式能够较好地刻画不同底沙运动状态下沙纹床面几何特征,临界Shields参数对于沙纹形态的计算具有重要影响;新得到的沙纹长度和高度公式可以有效地应用于波浪摩阻系数计算。     

通州湾围垦工程数值模拟及其影响

根据通州湾海域的水文条件,采用二维潮流泥沙数学模型,结合实测资料对通州湾已围垦区域潮流及含沙量进行模拟及验证,在验证良好的基础上,对不同方案下港池围垦区域附近海域的潮流泥沙运动进行计算和预测分析。结果表明:模型能较好的模拟研究区域的潮流及含沙量变化;围垦区域南侧流速增大,冲刷强度大,有利于深水码头的建立;2种方案下,工程区附近水流流速、流向不同,方案2的泥沙冲淤范围和强度小于方案1。