一类有限变换的指数和周期

对一类有限变换所生成的单演半群进行探讨，研究一类有限变换的指数和周期的求法。     

半序集的内禀拓扑(Ⅱ)

在这篇文章中我们讨论了一个半序集的内禀拓扑的紧性和连通性,以及内禀拓扑与其在子集中的导出拓扑之间的关系,主要结果有:1.格L的区间拓扑是紧的,当且仅当L是备的;2.局部有限散度半序集P的区间拓扑是连通的,当且仅当P是稠的且条件备;3.格L中设M=[←,p],则M的区间拓扑(开区间拓扑)和L的区间拓扑(开区间拓扑)在M的导出拓扑等价.     

广义正则半群 广义逆半群

推广正则半群，逆半群为广义正则半群，广义逆半群，并得到相应的结果。     

全序群范畴的Hom函子

设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果.     

二阶非线性脉冲积分-微分方程的边值问题

通过建立新的比较定理，运用单调迭代技术给出了二阶非线性脉冲积分-微分方程边值问题的最大最小解存在定理．     

关于左正则序半群的若干注记

研究了左正则序半群的一些性质,并给出了左正则序半群的若干刻画.作为应用,这些结论在一般半群(不含序)中都成立.     

关于BR0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。     

On the monotone iterative method for set valued equation

This paper deals with the monotone iterative method for set-valued operator equation in ordered normed space. Some results for the case of single valued operator are generalized here, as an application, a discontinuous nonlinear differential equation problem is discussed. Foundation item: Supported by the Naional Natural Sciences Foundation of China Biography: TIAN Yan (1970-), male, Ph.D. candidate, research interests are in numerical analysis for PDE     

不连续二阶积分-微分方程初值问题的惟一性

在一般序Banach空间中研究了含导数的不连续二阶积分-微分方程初值问题解的存在惟一性，并给出了解的显式迭代序列和误差估计。     

关于D∞的一个基本投射不等式

该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．