A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment. Mathematics Subject Classification: 03B20, 03B22, 06D15.     

On the accumulation of eigenvalues of operator pencils connected with the problem of vibrations in a viscoelastic rod

In this paper, we study the problem of the boundary accumulation of a discrete spectrum, which is essential for a boundary-value problem of fourth order arising in the theory of small transverse vibrations in an inhomogeneous viscoelastic rod (a Kelvin—Voigt body). We establish conditions for such an accumulation and its asymptotics, which are expressed in terms of the coefficients defining the problem posed by the differential expression. The results obtained are illustrated by numerical computation data.     

广义框架和算子的伪逆

运用Hilbert空间H上线性算子的伪逆，得到了关于广义框架的框架算子和综合算子的伪逆之间的关系，同时还给出了任意f∈H关于不满足广义框架上界条件的向量族（hm)m∈M的表达式。     

一个(2+1)维的可积sinb-Gordon方程

利用ｍＫｄＶ方程的违推算子的遗传性，构造了一个（２＋１）维的ｓｉｎｈ－Ｇｏｒｄｏｎ型的可积模型。该模型是（１＋１）维ｓｉｎｈ－Ｇｏｒｄｏｎ方程的推广．同时给出了该模型丰富的对称性及其相应的代数结构。     

An exact estimate of the boundary behavior of functions from hardy-sobolev classes in the critical case

In the critical case αp=n functions from the Hardy-Sobolev spacesH _α ^p (B ⁿ ) have a limit almost everywhere on the boundary along certain regions of exponential contact with the boundary. It is proved in the paper that the maximal operator associated with these regions is bounded as an operator fromH _α ^p (B ⁿ ) toL ^p (ϖB ⁿ ). Translated fromMatematicheskie Zametki, Vol. 62, No. 4, pp. 527–539, October, 1997. Translated by N. K. Kulman     

复射影空间和四元数射影空间中广义赤道的一个新特征

本文研究复射影空间ＣＰ＾ｎ和四元数射影空间ＱＰ＾ｎ中的紧致极小超曲面，对其上Ｊａｃｏｂｉ算子的最小特征值给出了一个最佳上界估计，由此给出了ＣＰ＾ｎ和ＱＰ＾ｎ中广义赤道的一个新的特征。     

256色模式下图形图像处理系统中对不规则区域的处理

概述了图形图像处理系统中关于不规则区域的基本算法，包括：区域填充，边界跟踪，边界标志，几何处理，区域分割等等．并且，根据２５６色模式的特殊性，对传统的算法做了有针对性的改进，加快了处理速度，使其更适合于电影电视字幕、动画卡通人物等不规则图形图像区域．同时还给出了改进算法的程序设计的技巧．     

一类由可修,可靠的人与机器构成的系统解的渐近性质

运用C0-半群理论研究一类由可修,可靠的人与机器构成的系统解的渐近性质.首先证明在虚轴上除了0以外其他所有点都属于该算子的豫解集,其次证明0是对应于该系统的主算子及其共轭算子的几何与代数重数为1的特征值,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.     

算子半稳定分布的分解

JAJTE于1977年提出了算子半稳定分布的概念,并给出了满的算子半稳定分布μ的刻画:存在c(0＜c＜1),h∈RN,和RN上非奇异线性算子B,使得μc=Bμ*δ(h)成立.作者利用μ的对称群给出μc=Bμ*δ(h)的B,再利用B的最小多项式具体给出μ的分解,把μ分解为简单的Poisson部分和Gauss部分.