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

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

液压爬模施工技术在空心薄壁高墩施工中的应用探讨

随着我国交通事业突飞猛进的发展,在山区修建高速公路,跨越时深谷地带时,桥梁设计墩高往往都会突破百米,不仅延长了建设工期,而且给施工也带来了一定的难度,如何安全快速地完成高墩桥梁的施工任务,也桥梁施工研究的课题之一。     

自动化集装箱码头总体布置

我国作为世界第一大集装箱生产、运输国,至今尚未有一座自动化集装箱码头投产运营,开展自动化码头总体布置研究是自动化集装箱码头建设的关键。结合国内外自动化集装箱码头应用发展状况,总结自动化集装箱码头几种常见的布置形式和特点,针对某工程建设设想,制定全自动化码头总体布置技术方案,提出相关意见和建议,可供类似工程参考。     

日照港岚山港区矿石码头工程堆场装卸工艺设计

本文介绍了日照港岚山港区30.0万t级矿石码头工程堆场装卸工艺的设计条件、设备选型、工艺方案及设计成果,总结了大宗散货堆场装卸工艺的设计思路。     

关于直立式与斜坡式防波堤结构连接段防护处理问题的探讨

基于烟台港西港区一期工程及防波堤二期工程,结合物理模型试验,对斜坡式与直立式防波堤结构的连接处理进行分析,提出相应的解决方法,供同类港口工程参考。     

Fully nonlinear simulation for fluid/structure impact: A review

This paper presents a review of the work on fluid/structure impact based on inviscid and imcompressible liquid and irrotational flow. The focus is on the velocity potential theory together with boundary element method （BEM）. Fully nonlinear boundary conditions are imposed on the unknown free surface and the wetted surface of the moving body. The review includes （1） vertical and oblique water entry of a body at constant or a prescribed varying speed, as well as free fall motion, （2） liquid droplets or column impact as well as wave impact on a body, （3） similarity solution of an expanding body. It covers two dimensional （2D）, axisymmetric and three dimensional （3D） cases. Key techniques used in the numerical simulation are outlined, including mesh generation on the multivalued free surface, the stretched coordinate system for expanding domain, the auxiliary function method for decoupling the mutual dependence of the pressure and the body motion, and treatment for the jet or the thin liquid film developed during impact.     

瓦锡兰为4艘LNG船提供再液化装置和气体处理系统

由中国沪东中华造船厂制造的4艘液化天然气(LNG)运输船将配备瓦锡兰LNG再液化装置和气体处理系统。这些船的所有者为位于百慕大的Teekay公司、中国液化天然气运输有限公司(CLNG)、中国海洋石油总公司(CNOOC)能源科技公司和挪威液化气船公司BW Gas。瓦锡兰解决方案将为船东带来经济和技术上的双重效益。再液化装置能将70%船上装载的液化天然气蒸气进行再液化并回输到液货舱,而剩余的气体会经气体处理系统输送给发动机,从而为船舶提供助推力。这一系统按滑动模块预制,便于船上安装和连接,在液货泵工作时,     

宁波光明通用泊位工程整体改造工艺设计

介绍宁波光明通用泊住升级改造工程工艺系统改造的思路和方案。在不影响现有生产的前提下,通过调整工艺流程和更新装卸设备,使泊位等级和装卸设备配置与实际到港船型匹配,工艺流程更加合理。改造后码头通过能力显著提高,码头卸船能力与堆场能力相适应。     

中山港马鞍港区中铁南方工程装备制造基地项目配套码头碳卸工艺设计方案研究

通过对中铁南方工程装备制造基地项目配套码头工程钢材及配套件卸船和盾构、架桥机、大型钢箱梁等出运装卸系统的研究,提出一些合理的装卸工艺方案,为该工程装卸工艺系统的优化设计提供依据,使作业效率和系统功能得到有效发挥。     

某离岸人工岛平面方案论证*

在分析水文泥沙资料的基础上,采用海岸地貌、潮流数值模拟、物理模型试验等技术手段,对建于粉砂质海岸的某离岸人工岛平面方案进行研究论证.研究结果表明,人工岛的建设对流场的影响范围仅限于岛南北侧500 m和东西侧1 500m范围之内,平面布置与潮流、波浪相适应,所采取的护岛潜堤、长短平护等防护措施有效,平面布置方案合理可行.