表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。     

β阶循环差幂积的性质

指出了β阶循环差幂积的定义及其一些性质，探讨了满足几种条件正数序列的卢阶循环差幂积当n→∞时极限的存在性．     

具有限强表示的半序集的序集的序收敛

在一个半序集中可以定义网的各种序收敛，本文讨论一个半序集Ｐ及其分割完备化Ｐ中序收敛的关系，Ｐ及其强收缩中序收敛的关系，以及直积中的序收敛。主要证明了下列结果；若半序集Ｐ有一个有限强表示{Pi｜i=1,...,k} ，那么Ｐ中的网是序收敛的当且仅当它在每一个强收缩Ｐｉ上是序收敛的。     

一类三次系统的极限环

本文证明了具有2个任意二次曲线解的三次系统存在代数极限环 。     

广义的Aitken△~2-过程对极限k(k≥2)循环连分式的加速收敛

本文对极限k(k≥2)循环连分式的渐进分式序列引入广义的Aitken△~2一过程,在一定条件下,用它来对极限k(k≥2)循环连分式进行加速收敛,给出了数值结果,并讨论了r=0的情况。     

单调可数仿紧空间的刻画

在强Frechet空间的条件下给出了单调可数仿紧空间的一种刻画,构造了半分层单调可数仿紧空间不是分层空间的例子,否定地回答C.Good等人提出的一个问题.     

分析算术化的历史回溯

十九世纪分析学理论基础的重建，揭开了蒙在极限和无穷小概念上的神秘面纱。而极限的运算需要一个封闭的数域，正因如此，分析中注入严密性最终归结为构造完备的数域，从而被称为“分析算术化”(the Arithmetization of Analysis)。分析学这一历史性的革命，不仅为数学分析的进一步发展奠定了稳固的基础，而且对整个近代数学的发展，产生了深远的影响。     

运动损伤不容忽视

运动员们满满的训练时间表正把他们的身体逼向极限，此时会发生什么?     

联系于Semi-Weibull分布的一个极限问题

讨论了紧密联系于Semi-Weibull分布的一类函数的极限问题，并给出了该函数上、下极限的估计。     

一致光滑Banach空间中一类广义Lipschitz映象的扰动迭代程序

研究了广义Lipschitz强增生映象的扰动Mann及Ishikawa迭代过程的收敛性，统一推广了近期的许多相关结果。