一类非线性微分方程的近似解

【目的】在偏序Banach空间中结合非线性扰动理论,得到一类新的非线性微分方程,并对该方程正解的存在性进行讨论。【方法】运用一个新的不动点定理,将求方程的解的存在性问题转化为证明算子不动点的存在性问题。【结果】证明了该非线性微分方程在满足一定的条件下至少存在一个正解,并给出了解的近似迭代序列。【结论】上述结果推广了已有文献的结论。
     

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

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

柔性的比较性定义和性质

对柔性问题的研究和实际运用面临的一个主要困难是可操作性．为解决柔性操作性问题，在给出柔性基本性质的基础上，提出了柔性的比较性定义，给出了该定义及其性质的数学描述，并结合一些模型解释了柔性定义及性质的应用．     

Z-连续偏序集的映射性质

在Z-连续偏序集的基础上对其上一些映射性质作了进一步的探讨。利用伴随给出了Z-连续偏序集的等价刻划。     

p-内射半模的若干性质

讨论了在无零因子半环上p-内射半模与可除半模的关系,并在此基础上讨论了p-内射半模的几个性质,最后建立了一个有关p.p半环上p-内射半模的结果。     

有界闭Fuzzy数的新序

在有界闭Fuzzy数中引进了等价类、心以及主半径的概念。在此基础上 ,根据灰色系统理论的基本思想 ,运用主半径和心定义了有界闭Fuzzy数的新序 ,使得有界闭Fuzzy数的全体关于该序构成偏序集。此外 ,通过几个等价定理把依测度、积分、割集等定义的序都统一在本序之下。最后给出部分保序性结果     

中间物质和弱topos的定义

在已知范畴Ｆｕｚ，范畴ＦＲ（Ｙ），ＦｕｚＦｕｚ有“中间物质和弱ＳＣ”的基础上，利用偏序集和态射之间的偏序关系在一个抽象的范畴中给出中间物质的定义，将具有中间物质的Ｃａｒｔｅｓｉａｎ Ｃｌｏｓｅｄ范畴称为一个弱ｔｏｐｏｓ，并证明了范畴Ｆｕｚ，范畴ＦＲ（Ｙ）和范畴ＦｕｚＦｕｚ都是弱ｔｏｐｏｓ，在而在Ｃａｒｔｅｓｉａｎ Ｃｌｏｓｅｄ范畴与ｔｏｐｏｓ之间又引入了一种结构。     

利用二元关系核排序

对二元关系核与二元关系闭包两种运算之间关系的性质进行研究，给出了二元关系核在排序方面的两点应用．     

Scott Domain上的稳定映射与Lawson拓扑

研究了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的性主Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射与拓扑之间的联系，给出了Ｓｃｏｔｔ Ｄｏｍａｉｎ上稳定映射的特征定理，得到了Ｓｃｔｏｏ Ｄｏｍａｉｎ上的稳定映射下Ｌａｗｓｏｎ拓扑之间的关系定理。     

IS-代数的伴侣半环

引入了IS-代数（BCI-半群）的伴侣半环和环部分的概念,通过讨论它们的性质,表明了一般IS-代数与环和半环之间的紧密联系,并用它们刻画了几类IS-代数。