完备Brouwerian格上有限@-Fuzzy关系方程有解的一个充要条件

本文在论域为有限集时讨论了完备Brouwerian格上@-Fuzzy关系方程(其中@表示inf-α合成),给出了@-Fuzzy关系方程有解的一个充要条件并构造出了方程的极大解,进一步确定了方程的解集。

非负整数格上元素的性质及其在刻画@-Fuzzy关系方程解集中的作用

首先讨论了非负整数格上元素的性质。从而完全地刻画了非负整数格上@-Fuzzy关系方程(其中@表示inf-α合成)的解集。

论域无限时完备完全分配格上■-Fuzzy关系方程解集的一些性质和结构

给出连续交既约元的概念,然后在论域无限时,对定义在完备完全分配格上的■-Fuzzy关系方程的解集的性质和结构进行了讨论。

模糊T-粗糙集的代数性质

利用完备分配格L上t-模T,引进L上模糊T-粗糙集的概念,在此基础上定义模糊商集及其上、下近似的概念,研究它们的代数性质,得到若干结果。

基于不可区分度的启发式快速完备约简算法

在已有的粗糙集属性约简算法基础上,给出了一个新的度量属性重要性的不可区分度函数,分析了不可区分度的性质,提出了一种能有效处理噪声的基于不可区分度的快速完备约简算法,最坏时间复杂度为max(O(|A||U|),O(|A|2|U/A|))。理论分析和实验结果表明,该约简算法在效率上较现有算法有显著提高,能较好抵制数据噪声,适于对大数据集进行处理。

基于改进的完备容差关系的扩充粗糙集模型

经典粗糙集理论不能直接处理不完备信息系统,而容差关系、相似关系限制容差关系和完备容差关系等扩充粗糙集模型在一定程度上解决了这个问题。分析了这些模型存在的局限性,并在完备容差关系的基础上,提出了基于改进的完备容差关系的扩充粗糙集模型,该模型既保留了已有模型的优点,又在一定程度上克服了它们的局限性。实例分析表明该模型对不完备信息系统的处理更符合实际情况。

基于对象间完备度的限制容差关系改进模型

本文在分析不完备信息系统已经存在的容差关系、非对称相似关系、限制容差关系以及特征关系的基础上,提出了对象间完备度的概念,并建立了基于对象间完备度的限制容差关系模型,最后通过实例分析说明此模型可以更加真实客观地处理不完备信息系统。

完备格上模糊关系方程的研究进展

从理论研究的角度总结了模糊关系方程30余年来的研究进展,内容包括:完备Brouwer格上sup-inf合成模糊关系方程的极小解及方程的解集,其中包括论域有限时完备Brouwer格上模糊关系方程的极小解及方程的解集以及论域无限时完备Brouwer格上模糊关系方程的极小解及方程的解集;完备Brouwer格上inf-α合成模糊关系方程的极大解及方程的解集;格上元素的分解与模糊关系方程的极小(大)解的关系;最后,介绍了MV-代数上的半线性空间及定义在其上的模糊关系方程.

完全分配格

对完全分配格就代数结构,序结构及其与Domain理论的关系等方面的知识进行了一个系统整理,旨在为相关领域的初学者提供一个参考.将格论、Domain理论和模糊拓扑学的各专著中的关于完全分配格的内容进行归纳总结.完全分配格可以从分配律、极小集(极大集)、三角小于关系、分子集及其上的Scott拓扑等方面进行等价描述.完全分配格是一个集代数结构,序结构及其与拓扑结构三大数学结构于一体的数学结构.

完备Brouwerian格上模糊关系方程解集的一种分类

首先给出了完备Brouwerian格上模糊关系方程的解集与解矩阵之间的一个映射,并讨论了这个映射的一些性质,然后给出了方程解集(非空时)的一种分类.最后给出了完备Brouwerian格上模糊关系方程的极小解的一些性质.

广义完全极小集及其应用

定义了广义完全极小集,并证明了L为广义完全分配格与它的每个元都有广义完全极小集等价。在广义完全分配格中,给出了保广义完全极小集映射的几个等价刻画,并且在此基础上得到了广义完全分配格上的两个相应扩张定理。

完全分配格是完备集环的刻划定理

利用RaneyGN的完全分配格的次直积表示定理证明了 :完全分配格L是完备集环 L是相对原子格 ;完全分配格L是完备集环 conc(L)同构到一个幂集格 ,这里conc(L)是L的完备同余关系格 .

完备素理想和抽象完备集环

推广分配格的 Stone引理到抽象完备集环并得到 :1 )完备格 L上完备同余关系能够由完备素理想表示 L是抽象完备集环 ;2 )完备格 L上的完备同余关系格 conc( L)同构到 Pc( L)的对偶幂集格 P( Pc( L) )

历史关系模式的最大完全时间依赖集求法

对基于TNF的历史关系模式TUg，提出了时间依赖、最大完全时间依赖集等重要概念，并给出了最大完全时间依赖集的求解算法及证明。为解决历史关系模式中存在的数据冗余、TNF异常等问题奠定了基础。

局部定向完备集上的辅助关系

辅助关系是定义在偏序集上的一种重要的二元关系 .当偏序集为定向完备集时 ,其上的辅助关系性质比较丰富 .将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较好的性质 ,进而讨论并加强了局部定向完备集上的插入性质 ,证明在连续的局部定向完备集上的 way-

CORS方法与规则生成算法GRs

利用含序粗集方法,依据标准的优先序信息及标准间的支配关系,解决了推导含序信息规则问题.提出一种新的规则生成算法,并与其他规则产生算法进行了简单对比.算法按照后件由强到弱产生规则,能保证生成极小规则,在某种意义下规则集是完备和无冗余的.

正则可离关系之最小覆盖成员的判定结果

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

基于信息完备性的粗关系操作研究

针对已有粗关系操作的缺点,从知识完备性的角度,对已有的粗关系操作进行了改进,提出了新的粗关系操作的定义,讨论了相关的性质,为进一步开展研究打下基础。

模糊Cut集

基于完备剩余格,本文在模糊完备格中,引入模糊Cut集概念。证明了所有的模糊Cut集构成的模糊集不仅是模糊完备格,而且还是模糊完全分配格。

完全分配格和完备集环(英文)

设L是完备格 ,S L称为L的基 ,若 x∈L ,Sx S使得 ∨Sx =x .称L是基拟原子的 ,若 x∈S且x≠ 1, y∈L ,使得x y因而x y .该文使用thewedgebelowrelation 证明 :完全分配格是完备集环当且仅当L有一个基S L使得L是基拟原子格 .又得到使用拓扑方法的如下刻划定理 :完全分配格是完备集环 L的区间拓扑θ(L) (Lawson拓扑λ(L)或双Scott拓扑σω(L) )