Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

Convergence of iterated boolean sums of simultaneous approximants

Explicit error estimates are given for the iterated Boolean sum of a sequence of simultaneous approximants; the rate of convergence is shown to be improved for smooth functions. The general results are applied in the case of the Bernstein, Durrmeyer and Stancu operators.     

水中爆炸加载金属套管胀形的研究

本文运用爆炸动力学对水中爆炸加载金属套管胀形进行了力学分析，得出了井上与井下的药量关系。具有一定的实用价值。     

一种新型的光纤位移传感器

测量平动物体位移的光纤传感器已有许多报导,而测量转动物体位移的光纤传感器却很少,从原理和实验两方面对后一问题作了研究。     

光电摆角动态测量原理及其测量系统

本文阐述了用于测量物体摆角及摆心浮动量的光电动态实时测量原理,以及根据此原理研制的光电导弹喷管摆角动态测量系统。     

一种改进的4.8kb／s码激励线性预测语音编码

本文介绍了码激励线性预测（ＣＥＬＰ）语音编码的基本原理，研究了一种制约随机激励的线性预测编码方案。它将随机激励码字进入合成滤波器的数量与自适应码本的性能指标联系起来，有效地减少了激励噪声对合成语音的影响。计算机模拟结果表明，这种方法在主观上改善了语音质量。     

The effect of pre-wetting on dynamic contact angles

A roll-coating experimental system is used to study the effect of pre-wetting on dynamic contact angles, the interfacial displacement depth, and the associated phenomenon of air entrainment. The system consists of a roll, which is horizontally rotating in a liquid pool. The dynamic contact angle is recorded by a macrophotography system. The test liquids are glycerol solutions with viscosities in the range 104 < μ < 748 mPa · s. The value of (μV/ρg)^0.5 is taken as the characteristic length to be used in the dimensionless relationships which correlate experimental measurements. The effect of base layer entry angle into the liquid pool on the dynamic contact angles and other flow parameters is studied. Comparison is made with measurements in dry tape-coating and other pre-wet roll–coating systems.     

雁翎油田注氮气提高采收率工艺技术

在现有的提高采收率方法中,注气驱是应用较广、效果较好的方法,特别是注氮气驱由于其气源广泛、价廉经济、无腐蚀性,以及要求的油藏地质结构特征和原油的物理性质等因素的变化范围广泛等特产,这种提高采收率的方法应用的最为普及,代表了目前提高采收率的发展方向。结合雁翎油田实例,简要介绍了注氮气提高采收率的机理、注气井组建设、制氮工艺及注气后的采油完井方式、方法。