推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

离散参数马尔可夫链状态空间的性质

以离散参数马尔可夫链状态空间E为集合定义该集合上的一个拓扑T,研究它的拓扑性质,得到拓扑空间(E,T)是离散空间的三个等价刻画以及(E,T)是平庸空间的一个等价刻画。     

双论域上的直觉模糊概率粗糙集模型及其应用

基于一个直觉模糊关系,给出了双论域上的直觉模糊概率粗糙集模型的定义,同时也给出了逆下近似、上近似算子的概念. 研究了它们的若干性质,为粗糙集的应用提供了新的理论基础与操作手段.最后,通过在临床诊断系统中的具体应用阐述了本文提出的直觉模糊概率粗糙集模型的有效性和优越性.     

直觉模糊关系的α-分解

提出直觉模糊关系R是可α-分解的概念。得到直觉模糊关系R是可α-分解的两个等价刻画。在直觉模糊关系R是可α-分解时,分别给出使R=AαB成立的A与B的解集。     

相容拟半连续Domain和相容交半连续Domain

引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。     

单值中智关系的分解

通过引入二元运算f,给出单值中智关系R可f-分解的概念,得到了单值中智关系R可f-分解的两个等价刻画及满足方程珟R=f(A,B)的解A和B的表达式,并通过实例阐述了求f-分解的过程.     

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构，分别讨论了它们的性质，证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格．