基于人工涡旋流的船舶堵漏新方法

分析了船舶传统堵漏方法存在的问题,突破单纯“堵”的思想框架.提出基于人工涡旋流的船舶堵漏新方法,并设计制作了验证性实验装置,进而分别研究了用于产生人工涡旋流的柔性、刚性桨叶对破口进水量的影响规律.实验结果表明:该方法通过在破口外侧合适位置人工形成局部高速涡旋流场,能够大幅减小海水对破口处的压力,也就可大幅减小破口处单位时间的进水量,从而为破口的舱内封堵创造有利条件.研究结论可为船舶堵漏理论的进一步丰富完善以及相应堵漏器材的研制提供必要的基础和依据.     

LNG船液货装卸系统分析软件平台研究

提出了一种基于VC＋＋平台和数据库技术的LNG船液货装卸系统设计及分析的软件平台系统,详细介绍了其内容、结构和实现方法。该系统配有与管路阻力计算相关的管道、阀件、液货舱、附件等的数据库,能够按目标船的装卸要求,直接组态设计液货装卸系统管网系统。设计人员可以在每一个模型设计完成后直接进行优化并确定液货泵的排量、压头、液货管路的管径、长度等设计信息,仿真计算装卸过程中各时间段上的的流量、节点压力、剩余舱内液体容积等各项参数。不仅简化了液货装卸系统的设计过程和计算校核的时间,而且更加方便灵活。     

基于南海环境条件的半潜式钻井平台设计环境参数分析

南海环境条件复杂多变,深水、高压、低温、波流的不规则性以及内波的存在等使半潜式钻井平台设计面临重大挑战。研究海洋环境条件的意义是在现有的平台设计水平和设备技术水平条件下,确保该海域作业的半潜式钻井平台的作业性、安全性和经济性。研究南海海域的环境特征,可应用于南海半潜式钻井平台设计中不同工况的海况参数选取。     

Boussinesq方程的研究进展

从Boussinesq方程的导出出发,总结了方程的特点,对方程的频散性和非线性、考虑复杂地形、波浪破碎、与水流的相互作用等方面的改进工作进行总结和评述,并对方程的求解方法和应用情况进行系统的归纳总结,以期对本领域的发展有一定的参考价值.     

船用起重机电气改造

本文对工程船起重机的电控系统的现状进行了介绍和分析,针对目前的系统配置和使用过程中存在的问题,提出了采用交流变频电控系统的改造方案,阐述了系统的配置及设备的选型。通过改造,提升了系统操控性和可靠性。     

冷冻法在开挖隧道联络通道中的应用研究

目前,随着中国各大城市建造地铁的火热进行,隧道施工的工艺也在不断提高。地铁区间联络通道由于受空间限制,其施工相当有难度。冷冻法因具有实用性强、效果好、保护环境等优点,已经成为联络通道主要的施工方法。通过工程实例,研究冷冻法在开挖隧道联络通道中应用以及其在区间联络通道施工中的一些注意事项,可为类似工程提供一定程度上的借鉴。     

超声反射波法检测水泥混凝土板厚度的研究

为实现超声平测法反射波起跳点的识别,采用两阶段法予以实现.通过分析声波的传播特性,应用数学分析方法排除表面波、横波的干扰,通过预估检测结构面的厚度,判断反射纵波到达的大致范围,结合波形分析,确定反射纵波的到达时间点.在此基础上,考虑到尺寸效应,在实验室模拟研究进行了验证.应用该方法可以较好的实现水泥混凝土板厚度的检测.     

智能立体停车系统的设计

从立体车库的框架结构、控制系统、管理软件这3个方面介绍,设计并开发出一套适用的智能立体停车系统的原型。实现了停取车过程的智能化。     

Bit stream oriented enumeration tree pruning algorithm

Packet analysis is very important in our digital life. But what protocol analyzers can do is limited because they can only process data in determined format. This paper puts forward a solution to decode raw data in an unknown format. It is certain that data can be cut into packets because there are usually characteristic bit sequences in packet headers. The key to solve the problem is how to find out those characteristic sequences. We present an efficient way of bit sequence enumeration. Both Aho-Corasick (AC) algorithm and data mining method are used to reduce the cost of the process.     

External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation

External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu’s paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.