格蕴涵代数上的相对零化子

在格蕴涵代数中,提出对合理想的概念,证明全体对合理想之集是一个完备Boolean格;继而提出相对零化子概念,研究它的若干性质,证明相对于某一固定点的全体零化子之集是一个完备格;并用相对零化子给出理想的一个分解定理,证明格蕴涵代数的素理想定理。     

预格及其性质的研究

引入了预格和预格同态的概念,研究了预格同态与序同态的关系,得到了预格同态是序同态的结论,并给出了预格同构的等价刻画,证明了预格间的映射是预格同构当且仅当它是序同构.定义了预格的强理想与强滤子,研究了其性质,讨论了预格与理想及滤子的联系和区别.基于强理想的概念,引入了强并不可约元、强余素元等概念,讨论了其与并不可约元、余素元的关系.     

余剩余格的理想和嵌入定理

基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中的同余关系.研究得到余剩余格的嵌入定理,即满足预线性条件的余剩余格均可同构于一簇全序余剩余格乘积代数的子代数.     

否定非对合剩余格的双极值模糊理想

基于双极值模糊集理论研究否定非对合剩余格的理想问题。首先,引入否定非对合剩余格的双极值模糊理想概念并讨论其基本性质和等价刻画。其次,借助于双极值模糊集的正t-截集和负s-截集等概念考察了双极值模糊理想与理想的关系。最后,在一个否定非对合剩余格的全体双极值模糊理想之集上构造等价关系,并获得了相应的商集性质。     

正则剩余格的fuzzy⊙理想

剩余格在模糊逻辑的研究中扮演着一个重要的角色。 首先在剩余格中引入fuzzy⊙理想的概念, 讨论了(正则)剩余格中fuzzy⊙理想性质, 给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次, 利用fuzzy⊙理想概念构造了一个同余关系, 证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

Quantic 格的模糊理想

引入Quantic格上的模糊子Quantic格、模糊理想和素模糊理想的概念,研究了模糊理想和素模糊理想的若干性质。讨论了Quantic格模糊理想与模糊子Quantic格之间的关系,给出了模糊理想和素模糊理想的刻画,证明了Quantic格的任意一个理想都可看成是此Quantic格的某一模糊理想的一个截集。     

概念格最简子直接分解概念及算法

对概念格进行分解处理便于解决数据量庞大情况下的数据分析和规则提取.为了减少概念格分解时可能会产生的冗余,在满足子直接分解定义的基础上进一步明确的去掉那些多余的同余关系,定义了最简子直接分解的概念.利用同余关系之间的泛化和例化关系给出了相应的求最简子直接分解的算法,对算法进行证明,并且给出了应用实例.     

具有Riesz分解性质的广义效应代数

研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广义效应代数是有限次直既约的当且仅当它是反格;上定向的具有Riesz分解性质的广义效应代数通过理想得到的商代数是反格当且仅当此理想是素理想.最后证明了上定向的具有Riesz分解性质的广义效应代数具有子直积表示.     

概念格最简子直接分解概念及算法

对概念格进行分解处理便于解决数据量庞大情况下的数据分析和规则提取．为了减少概念格分解时可能会产生的冗余。在满足予直接分解定义的基础上进一步明确的去掉那些多余的同余关系，定义了最筒子直接分解的概念．利用同余关系之间的泛化和例化关系给出了相应的求最筒子直接分解的算法，对算法进行证明，并且给出了应用实例。     

Quantic格中的理想和理想余闭包算子

引入了Quantic格上的理想和理想余闭包算子的概念,研究了理想和理想余闭包算子的若干性质,讨论了Quantic格同态与理想之间的关系.证明了在Quantic格中,一个子集是理想当且仅当它是某个理想余闭包算子的像.     

剩余格蕴涵代数中准素理想的研究

在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系.     

交超格上的素超理想定理

引入了交超格上超理想的概念,探讨了超格和超理想的相关性质,并进一步研究了带"*"条件的交超格,在此基础上给出了素超理想定理.     

否定非对合剩余格的模糊素理想与素模糊理想

对否定非对合剩余格的模糊理想作进一步深入研究.引入否定非对合剩余格模糊素理想和素模糊理想的概念并研究它们的性质和相互关系,获得了模糊素理想和素模糊理想的若干等价刻画,建立了模糊素理想定理和素模糊理想定理.最后,在否定非对合剩余格的全体素模糊理想之集上构造了一个拓扑,证明了相应的拓扑空间是T_0空间.所做工作对利用理想概念揭示否定非对合剩余格的代数特征具有一定的促进作用.     

关于广义格半群

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出格半群是广义格半群，反之则不一定，在广义格半群中理想集I(S)是完备格，而sl理想集却不能构成格，在格半群中，sl理想集是格，但是两个sl理想的上确界不等于其并，广义格半群中的理想均能生成sl理想。     

格半群相关概念的几点注记

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出凡格半群是广义格半群，反之则不一定。在广义格半群中理想集I(S)是完备格，而sl理想集SL(S)却不能构成格。在格半群中，sl理想集是格，但是2个sl理想的上确界不等于其并。广义格半群中的理想均能生成sl理想。     

基于模糊概念格的三Ⅰ推理

模糊概念格是研究和处理概念内涵和外延不确定性关系的数学方法,本文在分析研究模糊概念格和模糊推理理论的基础上,提出了基于模糊概念格的三Ⅰ推理方法,并证明了其还原性。     

融合概念格约简的中文领域本体学习方法

在基于形式概念分析的中文领域本体学习中, 为提高概念格构建效率, 将概念格约简理论应用于概念格构建中。首先对基于语义依存分析获取的形式背景进行对象和属性约简, 然后基于约简的形式背景采用Godin算法构造概念格, 最后根据修复定理修复约简概念格, 得到完整的概念格。通过有关对萝藦科植物的文本学习, 得到一个萝藦科植物领域本体。实验结果表明, 引入概念格约简理论, 概念格的构建效率提高70%, 进而提高了领域本体构建的效率。     

否定非对合剩余格的双极值模糊素理想

对否定非对合剩余格的双极值模糊理想问题作进一步深入研究。引入双极值模糊素理想(简称BF-素理想)概念并考察其性质特征。获得了BF-素理想的一些等价刻画, 建立了预线性否定非对合剩余格中的BF-素理想定理, 证明了BF-素理想的NRL-同态像与原像仍为BF-素理想。为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.