形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

清洁能源在未来船舶市场的应用

随着IMO 2020排放要求的出台执行,以及人们对环境问题的关注度越来越高,对环境的保护意识增强,船舶污染改善也成为热门话题.而使船舶产生环境污染的动力能源首当其冲成为需要改善的问题之一.文章介绍了几种目前应用比较多的清洁能源及其主要特点优势.     

荔湾3-1燃气透平压缩机的选型及维修方案研究

本文以荔湾3-1平台上的天然气压缩机为研究对象,概述了天然气压缩机的选型、配置和维修方案,并确定了索拉TITAN250为最优机型。用于其吊装维修的滑道梁由于超出了标准规定范围,因此项目采用了有限元分析法确定了滑道梁翼缘及腹板的厚度,并通过板拼接方式组成。     

国内3万m~3LNG运输船开发研究

提出一种新型LNG运输船——3万m3LNG运输船,并介绍该船的设计特点及优势。分析目前国内3万m3LNG运输船的现状及在建该类船舶的特点,以及未来的发展趋势。     

珠江口鸡抱沙附近地形冲淤演变研究

鸡抱沙位于珠江口伶仃洋喇叭湾湾顶,是伶仃洋内港口发展建设最快的地区。受自然水、沙及人类工程的影响,鸡抱沙附近的地貌形态发生了较大的变化。主要表现在:近百年来,蕉门河口由"潮优型"河口性质逐渐转变为"河优型"河口性质,凫洲水道则经历从决口→散乱→归股的由不稳定到稳定的变化过程,已成为蕉门口外的主泄洪道。而鸡抱沙和沙地区的大规模围垦,对保证凫洲水道和龙穴南水道稳定起了重要的作用。     

舰艇激振和航迹响应实验研究

船舶振动研究在现代船舶上正得到了越来越广泛的应用.内河船一般吃水较小,螺旋桨与船壳的间隙很小,而转速又很高,加上伴流的不均匀,使螺旋桨的激振力加大,对船舶的性能产生很大影响,振动问题更加突出.文章以某舰艇作为主要研究对象,用实验得到的舰艇固有频率和实船振动水平,为作者编制的相近类型船艇振动预报软件提供了检验实例.结果令人满意.     

肋骨非均匀排列的圆柱壳振动特性研究

研究了肋骨非均匀排列对加肋圆柱壳振动特性的影响。首先,以安德森定域效应的原理为基础,肋骨间距为随机分布,分析了肋骨非均匀排列时圆柱壳的振动特性,然后,采用两种肋骨间距,交替排列,构造整个圆柱壳的肋骨不等间距排列形式,两种肋骨间距的确定方法是:保持两种肋骨间距的总和不变,逐步增大两者的间距差,从而增加相邻的肋骨间的两个圆环结构的固有频率差,直至固有频率差趋于不变,最终确定了两种肋骨间距。分别计算并对比分析了肋骨等间距和不等间距排列的圆柱壳的均方振速,结果表明:肋骨不等间距排列具有一定的减振效果。     

LNG燃料船气罐连接处所内的泄漏试验及数值模拟研究

为明确现有液化天然气(LNG)燃料船气罐连接处所使用过程中需遵循的各项指标,对气罐连接处所内LNG泄漏进行了试验和数值模拟。试验以典型尺度等比不锈钢方盒为箱体,附带一个每小时换气30次的通风系统来模拟实际模型,LN2作为媒介,对气罐连接处所的安全性进行了测试,并基于挪威三维计算流体力学(CFD)软件FLACS对相关场景进行了仿真计算。试验发现在一般条件和恶劣条件泄漏时,现有的船用气罐连接处所内没有形成累积压力;当处所内低温液体液位达到0.3m时将气罐连接处所完全封闭,2分钟后处所内累积最大压力仅为0.0012MPa,不会对处所强度构成威胁,FLACS计算结果与试验结果完全吻合。采用FLACS软件对2分钟以后的场景进行了模拟分析,计算结果显示气罐连接处所在完全封堵下发生LNG泄漏的极限承载时间大约为4分钟。研究结果表明,现有的船用气罐连接处所设计时可忽略累积压力的影响,但考虑到极限条件存在,需对该处所进行评估,制定极限条件下的应急预案。     

基于BEM/FEM计算浸水结构振动特性

应用直接边界元和有限元方法分析水下结构体的固有频率和振动特性,根据边界元理论编译出相应的程序来计算水下结构的附加质量矩阵,将附加质量矩阵与现有的有限元程序相结合,分析水下结构体的固有频率和振动特性,以浸没于流体介质中的圆柱壳为例,通过与近似理论值的对比验证了数值计算结果的可靠性,表明流体介质改变了结构的振动特性.     

特定环境下螺旋桨尾轴蠕变特性研究

针对常温下长期受到恒载荷作用下的某舰螺旋桨尾轴进行了常温蠕变分析，并对变形后的螺旋桨尾轴进行了动力分析。选择合适的蠕变模型，采用有限元法，计算出20年后尾轴的挠曲线，并对无变形的螺旋桨尾轴和蠕变变形后的螺旋桨尾轴进行模态分析，进行比较。最后计算出变形后尾轴所产生的激励和响应。经过分析计算可知，蠕变已经使尾轴性能有了实质性的降低。