具有sn-网的空间

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

三维广义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.     

一个公共不动点定理的推广

研究了完备度量空间中两上单值映象和一个集值映象有唯一公共不动点的充要条件，改进了已有文献的有关结果。     

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

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

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

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

计算机画法几何的研究与应用

以AutoCAD2000i为图形支撑平台，构建一种计算机辅助画法几何方法以直观、精确、高效地求解三维空间几何度量与定位问题，该方法适合于传统画法几何求解，也可用于曲柄滑块机构的行程、运动轨迹等内容的设计。     

模糊数空间上下确界的度量刻划

在模糊数空间上定义了一种新的度量，证明用这种度量可以对序有界的模糊序列的上、下确界进行刻划。     

一些Fuzzy映象的重合度

本文讨论一些Fuzzy映象的重合度的存在性,得出了一些新的重合度定理.本文所得结果统一和发展了引文[5～9]中的许多重要结果.