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.     

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

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

Results of the ASTM field test of tristimulus weighting functions

In 1993, the American Society for Testing and Materials carried out a field test of newly calculated tristimulus weighting factors. These weighting factors had been calculated by a method proposed by Venable. the test also included a method of correction for bandpass dependence put forth by Stearns. the purpose of the trial was to assess the possible reduction in bandpass dependence introduced by each of these sets of weights. A large number of sets of spectral data were gathered from the cooperators in the field test. Results of integration by the various sets of tristimulus weighting factors were calculated. A total of 15 120 color differences were calculated and statistics were derived to test the probable error resulting from each method of correction. Errors attributable to bandpass dependence were on the order of a few tenths to as much as one CIELAB unit when uncorrected weight sets were used. These errors could be reduced to a few hundreths of a CIELAB unit, and in some cases to a few thousandths of a unit, by employing one correcting strategy or the other. an overall mix of strategies was ultimately chosen to minimize the bandpass dependence over the entire range of weight sets. Utilizing this mixed strategy, the median error introduced into 10-nm integration by bandpass dependence was only 0.004 CIELAB units. © 1995 John Wiley & Sons, Inc.     

一种改进的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.     

柔性制造系统的托盘优化

本文讨论Job-shop型柔性制造系统的托盘优化问题,给出了求最小托盘数的算法,把托 盘优化问题化成了求解线性整数规划问题.