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码激励线性预测语音编码

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

部分可渗透直立圆柱的消波作用研究

本文导出了线性波浪作用于上部可渗透的直立刚性圆柱体上的水动力的解析解。在线性有势流的假定下，用特征函数展开方法求出了内部和外部流场的解。给出了不同波浪要素及结构尺寸参数下的数值结果。由结果可知，提高可渗透性可以有效消减波幅。     

Linear interpolation in a fuzzy information space

An approach to solving a linear interpolation problem in a fuzzy information space is proposed. Two different schemes of interpolation are outlined: a heuristic one, based on the geometrical interpretation of operations, and an optimization one, based on the expansion principle. The results obtained allow performing fuzzy linear prediction. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 55–68, March–April 2006.     

多工况多级离心压缩机总体优化命题的建模与数值方法

介绍了多工况 点的压缩机最优模拟设计点的特点及相应的优化建模，包括目标函数的建立、约束条件的确立和计算方法，使满足该模拟设计点要求的压缩机在逼近优目标函数最大值的同时，兼顾各真实工况运行点都在较好效率下工作，并列出了基于模型级数据库的优化设计实例。