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

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

Kinetic behaviour of muscle LDH immobilized in nylon tubing

Immobilization was carried out of the lactate dehydrogenase (LDH) from rabbit muscle (EC 1.1.1.27), cross-linked through the bifunctional reactive glutar-aldehyde on to nylon tubing (1 m long, 53cm² internal surface area). Immobilized LDH inactivation kinetics are of first order (t_1/2 = 3·6 years, k = 5·4,e^?4 day^?1 to 5°C). The smaller effect of pH on activity than in the case of LDH in solution can be explained on the basis of limitation to proton diffusion towards the support. A limiting effect to free external diffusion of the substrate towards and products from the support was also observed, an effect which seems to determine the effective kinetic behaviour of immobilized LDH. The apparent optimum temperature is centred around 40°C, observing a clear inactivation (thermal denaturation) above this temperature. In the temperature range studied (10–40°C), the co-existence was seen of a kinetic control accompanied by another control, involving diffusional transport of substrates and products, on the global activity of the immobilized enzyme. This makes the Arrhenius profiles curvilinear. Both graphic and statistical non-linear regression analysis of the kinetic data—rate, v, versus substrate concentration [S]—carried out under conditions in which the diffusional limitations can be considered negligible (high recirculation flow rate), permitted investigation of the intrinsic kinetic behaviour of immobilized LDH. In this sense, it can be deduced that the rate equation to which these data seem to be fitted is of the polynomial quotient type in [S] of minimum degree 2:2. Although the diffusional limitations have a marked effect on the type of global kinetics shown by immobilized LDH, temperature was not found to affect its v[S] behaviour. The experimental evidence obtained thus indicates that the rate equation in the 10-40°C temperature range continues to be a rational equation of at least degree 2:2 in [S].     

挖掘机工作装置实验样本长度确定方法及程序系统

本文通过对某液压挖掘机工作装置实验样本长度的研究,详细讨论了样本长度的确定方法,重点分析了趋势曲线拟合法,提出了样本长度精度区间分析的方法,并在处理大量实验数据的基础上,从载荷分布及寿命估算的角度做了实际的验证.编制了应用程序,使样本长度确定至寿命估算整个过程程序化.     

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

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