具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

最小多项式的求法

根据不变因子与最小多项式的关系，不变因子与初等因子的关系，提出了用初等交换求最小多项式的方法。     

三维广义Sierpinski垫的Hausdorff维数公式及其在一种特殊情形下的证明

本文在二维的基础上提出了三维广义Sierpinski垫的Hausdorff维数与度量维数公式.对三维广义Sierpinski垫在属于同一层每一行留下立方体块数除零外均相等的情形下,改写了其Hausdorff维数公式,并利用测度论方法给予严格的证明.证明表明,它推广了二维广义Sierpinski垫的结果,该方法也可推广到n维的情形.     

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.     

E-n-伪矩形性拟正则半群

本文是在[1]的基础上,将半群s的幂等元集E(S)由埋想推广为n-伪理想,然后来给出S的结构。本文未用到格林关系,因而证明有别于[1],而且[1]是我们的特例。     

马氏体相变的晶体取向关系

本文利用 Bain 应变和马氏体相变的表象理论阐明了马氏体相变的晶体取向关系。正是由于这附加的点阵不变切变和母相的形状协调,某些合金在某种条件下遵循 K—S 关系,而在另一些条件下遵循 N—关系或 G—T 关系。     

关于几类压缩型映象的不动点定理

本文研究了几类压缩映象列的公共不动点存在的问题，获得了一些新的结果。     

非对称度量空间上不动点定理

提出建立在非对称度量空间之间的上收缩映射和下收缩映射的概念.考虑到非对称度量的不对称性,进一步定义了非对称度量空间到自身映射的左不动点和右不动点.最后,给出了非对称度量空间上的两个不动点定理.