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

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

有界闭Fuzzy数的新序

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

中间物质和弱topos的定义

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

利用二元关系核排序

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

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

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

分子结构上的偏序关系与结构感知算法

计算机辅助分子设计、合成设计是现代化学研究的最重要内容.要让计算机来辅助化学设计,就必须让它理解分子图形,包括图在计算机内部的表达(矩阵或关联表)及外部表达(二维图形、或线型编码)、认知特定的化学结构(如:有合成意义的子结构、环等). 本文在建立分子结构的偏序关系基础上,试图突破这个限制计算机辅助化学设计以及结构数据库发展的一大障碍.引入人工智能技术中的探试-回溯机制,破除A-A匹配算法     

BCI－代数的理想与其伴随半群序滤子的关系

将负序半群的序滤子概念推广到一般的偏序半群中，说明ＢＣＩ－代数的理想与其伴随半群的序滤子之间有一一对应关系，并讨论了ＢＣＩ－同态与其相应的半群同态的联系．     

幂格及其代数特征

从格的定义及其代数特性着手，诱导出幂格及其代数特征。     

局部有限偏序集上的M(o)bius函数

先给出局部有限偏序集上的函数集合的定义,三种运算及其性质,然后引入M(o)bius函数,并举例加以具体说明,最后把M(o)bius函数进一步推广.     

格L(Fnq)和L(wv-1,v-1,2v)的M(o)bius函数

设Fq是q个元素的有限域,其中q是一个素数的幂,并且Fnq是F上n维行向量空间.然后,由Fnq的子空间集构造了L(Fnq)和L(m,s;2v)两种格,并且利用M(o)bius反演出这两种格的M(o)bius函数.