覆盖粗糙集属性约简的新算法

覆盖广义粗糙集是Pawlak粗糙集的重要推广,其属性约简是粗糙集理论中最重要的问题之一.Tsang等基于一种生成覆盖设计了覆盖信息系统属性约简算法,但并未明确指出其适用的覆盖粗糙集类型.在本文中,我们首先指出Tsang的属性约简算法适用的覆盖粗糙集是第五,第六和第七类.其次,我们通过建立覆盖与自反且传递的二元关系之间的等价关系,提出了一种时间复杂度更低的属性约简算法,并证明了本文中的属性约简方法就是Wang等所提出的一般二元关系属性约简的特例.本文不仅提出了属性约简的简化算法,还首次建立起覆盖属性约简与二元关系属性约简之间的联系,具有理论和实际的双重意义.     

半连续格的刻画和映射

本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。     

半连续格的性质

讨论了半连续格的一些基本性质。定义了一种新的元素——-素元,举例说明-素元与素元、伪素元是不同的,并给出了-素元与素元、伪素元相等的条件;同时,定义了半连续格上的拓扑和半连续格之间的映射,并证明了半连续格的收缩仍是半连续的。     

单调概念格性质研究

概念格是知识表示和数据分析的重要工具,单调概念格是概念格的推广。本文就Deogun等提出的单调概念格进行了两方面的研究:一,指出Deogun等提出的单调概念格性质的错误并加以修正;二,证明单调概念格就是闭格,从而找到用拓扑闭包算子和拓扑交结构来表示单调概念格的两种格表示方法,并建立起单调概念格与有上界的拓扑交结构的范畴等价。本文所建立的单调概念格的拓扑表示方法将方便我们进一步研究单调概念格的构造算法、约简算法和实际应用,具有理论和实际的双重意义。     

Z-连续偏序集的表示定理

在偏序集中引入嵌入Z-基并根据嵌入Z-基建立Z-连续偏序集的表示定理.同时,我们将讨论抽象Z-基的Z-理想完备是Z-代数偏序集的条件.最后,我们深入探讨嵌入Z-基、Z-连续扩张和σz-集之间的关系.     

拟半连续格和交半连续格

作为半连续格的推广, 引入了拟半连续格的概念. 讨论了拟半连续格的基本性质. 在拟半连续格上得到了类似于拟连续偏序集的一些主要结果. 同时探讨了半连续格、拟半连续格、交半连续格、交连续格、强连续格几种不同结构之间的关系. 最后,讨论了半连续函数空间仍是半连续格的条件.     

半连续格上的拓扑

该文引入半连续格上的几个拓扑并讨论了它们的性质及它们之间的相互关系.     

GENERALIZATIONS AND CARTESIAN CLOSED SUBCATEGORIES OF SEMICONTINUOUS LATTICES

In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.     

群上同余

本引进了群上同余的概念，得到了群上的等价关系为群上同余的一个充分必要条件，并讨论了群上同余与群上正规子群之间的关系以及群上同余与群上同态之间的关系．