基于改进物元法的智慧港口发展水平评价模型

针对当下智慧港口建设如火如荼,而建设行业标准体系却迟迟未能统一的问题.首先利用智慧港口建设发展路径的研究基础,结合国内外信息化发展评价指标体系研究成果,构建了适合国内智慧港口建设发展的评价指标体系;其次利用主客观综合赋权法降低了传统评价过程中,主观因素对指标权重的影响,引入基于云模型的改进物元理论,解决了传统评价方法中模糊性和随机性带来的误差;最后以天津港智慧港口建设工程为算例,对天津港的智慧港口发展水平进行评估,计算得到期望为3.9956,发展等级为较好,与正态云模型和灰色关联分析法的验证结果一致.研究结果表明:评价体系符合现阶段智慧港口的发展方向,评价方法简洁有效,在降低了双重不确定性对于评价结果影响的同时计算了评价结果的置信度,为今后我国智慧港口发展和评价体系的建立提供了参考.     

新型零航速矢量减摇系统研究

针对海洋科研平台、科考船等减摇系统的快速响应性工作需求,在螺旋桨推进器基础上开发了一种零航速矢量减摇系统。本文介绍系统机构设计及其工作原理,结合耐波性计算分析获取船舶横摇规律,采用滑台搭载重物往复移动方式,模拟船舶规则横摇以获得规则波实验条件,并通过船模实验验证该减摇装置作用下的船舶横摇减摇效果。零航速规则波模拟实验研究表明,该减摇装置具有可控性强、易改装的特点,能够大幅提高船舶的耐波性,为后续工程试验船舶上安装该减摇系统奠定理论与实验基础。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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数呈幂函数关系.理论预报模型预报的水平载荷、垂向载荷结果均与系列实验和数值结果吻合较好,并且发现随着内孤立波振幅的增加,载荷幅值近乎线性增加,而且上层流体深度对水平力幅值有明显的影响.     

超高温淬火在摆辗模中的应用

摆辗机是一种新型的采用液压—电机联合驱动 ,使被加热的工件不断产生变形 ,从而获得所需形状和尺寸的锻件热锻设备。该设备广泛应用于汽车半轴锻件 ,也适用于其他行业中的类似锻件 ,与其他热锻设备相比有省力、变形均匀、无冲击、投资少等优点。摆辗模是在高温下无冲击加压 ,以局部变形代替常规锻造中的整体变形 ,强迫加热金属变形的成形模具。其在工作中除承受较大的压力和耐受较长时间的高温外 ,还要受到因反复加热、冷却而引起体积反复变化的交变应力等多种应力的作用 ,极易导致热疲劳龟裂的产生。所以 ,如何提高摆辗模的耐热性能和耐热…     

PN码在保密通信中的应用

本文主要阐述了PN码产生器的构造原理、PN码的特性；并根据PN码的性质，介绍了PN码在保密通信中应用的设想。     

曲线箱梁桥有限元分析方法

文章通过计算分析，并与模型试验结果比较，对曲线箱梁桥有限元的计算方法、网格划分粗细对计算结果的影响进行探讨：空间板壳有限元是一种精确的计算方法，空间梁格法也具有较高的精度。