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

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

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。     

FPSO内孤立波载荷实验观测及理论预报模型研究

利用大型密度分层水槽开展了下凹型内孤立波作用在FPSO上的载荷特性系列实验;并依据实验工况,考虑KdV、eKdV和MCC内孤立波理论的适用性条件,数值研究了FPSO内孤立波载荷成分构成;基于实验结果和载荷成分构成,建立了FPSO内孤立波载荷的理论预报模型.研究表明:FPSO内孤立波水平载荷由粘性力和Froude-Krylov力组成,而垂向载荷主要为垂向Froude-Krylov力;Froude-Krylov力可通过动压力沿FPSO浮体湿表面积分得到,粘性力则通过经实验回归的摩擦系数Cf、形状修正因数K乘以内孤立波诱导水质点切向速度沿FPSO浮体湿表面积分得到.系列实验结果得出:摩擦系数Cf和形状修正因数K与雷诺数Re、KC数和流体层深度比h1/h有关;摩擦系数与Re呈自然对数关系;而形状修正因数K与KC数呈幂函数关系.理论预报模型预报的水平载荷、垂向载荷结果均与系列实验和数值结果吻合较好,并且发现随着内孤立波振幅的增加,载荷幅值近乎线性增加,而且上层流体深度对水平力幅值有明显的影响.     

基于能量重心定位的水下防护薄板结构撞击识别方法

为弥补传统能量重心定位方法的不足,综合考虑薄板结构上孔的非对称分布,创造性地提出一种基于加权能量重心定位的撞击识别方法.通过有限元模拟验证该方法的有效性和准确性,结果表明,该方法能快速而准确地对非对称、非连续薄板结构的撞击位置和撞击应力进行识别判定.研究成果可为结构撞击识别方法的改进优化提供理论支持,为工程中复杂结构的撞击监测和识别提供技术支撑.     

粘弹性人工边界在地下结构抗震分析中的应用

地下结构地震反应分析需考虑结构-地基的动力相互作用,其中场地土层的自由场反应分析是确定地震输入的关键问题。以往地下工程实例表明,在结构动力时程计算中,能否有效模拟无限地基边界对结构抗震分析有很大的影响。基于某地下综合体项目进行抗震评估,采用黏弹性人工边界模拟自由场震动响应,克服工程中传统分析里不能模拟场地无限域的缺点。为地下结构的动力时程分析提供可靠数值依据。     

感应充电路面技术研究现状与展望

以感应充电技术(Inductive Power Transfer,IPT)为主要特征的充电路面(Electrified Road,e-Road)近年来发展迅速，其可为行进中的电动汽车进行动态无线充电，有效解决电动汽车充电时间过长、续航里程不足等问题，是支撑未来公路交通电气化发展的重要储备技术。详细介绍了IPT系统的工作原理和性能特点，并总结了已有e-Road试验段的充电性能参数和技术就绪度水平。在此基础上，进一步从基础设施角度剖析了e-Road目前存在的主要工程问题及相关研究进展，内容包括：①深入分析了IPT系统工作时因高频磁场通过介电性路面材料所引起的电磁损耗对IPT系统充电效率的影响，并提出了可能的解决方法；②针对充电模块与普通沥青路面存在的力学兼容性问题，从结构受力原理、材料损伤特性等方面总结了e-Road复合结构产生力学损伤加剧效应的原因，并提出了耐久性优化措施；③针对e-Road环境可持续方面存在的不确定性，评估并对比了e-Road与传统道路的全生命周期环境效益，指出了e-Road环境性能研究对电动汽车全生命周期综合效益估算的重要性。此外，还从政策支持、安全性、价格因素等角度对e-Road进行了综合可行性评估，并对充电路面基础设施的未来发展进行了智能化展望，提出了e-Road与其他新型智能道路技术进行有机融合的可能途径。     

沥青路面抗疲劳断裂半刚性基层强度标准研究

为确保水泥稳定碎石（CSG）基层在交通荷载反复作用的情况下不出现疲劳开裂，提出了基于结构与材料一体化控制的CSG材料强度标准的确定方法；研究了CSG基层的力学特性和疲劳特性，建立了力学强度增长模型、力学指标间的关系模型和疲劳方程；推荐了四川省典型沥青路面抗疲劳断裂的CSG基层强度标准。研究发现:CSG的各项强度指标都随养生龄期呈非线性增长，采用骨架密实结构有利于提高CSG的力学强度。提出的力学强度增长方程可以准确预估不同龄期CSG的力学强度；提出了控制疲劳开裂的CSG基层7天无侧限抗压强度标准与7天劈裂强度标准的确定方法，该方法能实现结构与材料一体化设计，可进一步提升CSG基层的疲劳寿命。     

某种地铁齿轮箱迷宫式密封结构设计

文章对某种地铁齿轮箱的迷宫式密封结构原理作了简要分析与阐述,明确了数值仿真研究的对象与仿真工况;通过对某种地铁齿轮箱内部流场数值仿真,获得了齿轮箱在不同的内压力与速度条件下迷宫式密封特性,得出了该种地铁齿轮箱迷宫式密封结构的可行性结论,并为该类地铁齿轮箱的迷宫式密封结构设计提供了方法。