点式模糊化拟一致结构诱导的双拓扑

引入点式模糊化拟一致结构u,并由其分别导出了模糊化内部算子和模糊化闭包算子,进而诱导两个模糊化拓扑(?)和η_u.结果表明,若u是点式模糊化拟一致结构,则T_u=η_u不一定成立;若u是点式模糊化一致结构,则(?)=η_u成立.     

正整数集上的闭包函数

解答了P.C.Hammer于1960年提出的问题:设h是在正整数集M的幂集上以集乘积来定义的闭包函数,c是幂集上的补余函数,问可否在集M中找出子集A,使A在h与c的任意作用下,恰可衍生出14个不同的集合?并给出各种不同的例子.     

一类Hamilton图的条件

本文给出一类Hamilton图的条件。它既不满足Bondy的闭包条件,也不满足Chvatal的度序列条件,而且不满足Bondy提出的Meta一猜想。文中所用的符号和术语主要采用〔1〕和〔2〕中的习惯用法。     

Fuzzifying闭包系统的研究

在Fuzzifying(模糊化)数学的框架下,建立了Fuzzifying闭包系统和Birkhoff型Fuzzifying闭包算子的概念; 引入了Fuzzifying闭包空间范畴和Fuzzifying闭包系统空间范畴,并从范畴论的角度证明Birkhoff型Fuzzifying闭包算子与Fuzzifying闭包系统是协调的.最后文中还得到Fuzzifying闭包空间范畴和Fuzzifying闭包系统空间范畴可以嵌入到Birkhoff型L-闭包空间范畴这一重要结果.     

L_Δ-闭包空间的Δ-仿紧性

在L_Δ-闭包空间中借助于L_α-Δ-开覆盖、α-局部有限集族、α--局部有限集族引入了Δ-仿紧性.证明了它对Δ-闭集是遗传的、Δ-紧的L_Δ-闭包空间和Δ-仿紧空间的积空间是Δ-仿紧的重要性质.     

关系模式规范化的几个问题

本文讨论了关系数据库中实际数据依赖和用于规范化的函数依赖集之间的差异及过度规范化问题。研究了函数依赖集的闭包及Boyce-Codd范式的判定问题。提出了原子函数依赖集的概念,以此取代函数依赖集的闭包进行关系模式的规范化。并定义了一类对某NP-完全问题可解的实际问题。     

Z-代数格和Z-代数交结构

讨论Z-代数格,Z-代数交结构以及Z-代数闭包算子之间的关系,得到了格L上的Z-代数闭包算子与带顶元的Z-代数交结构之间存在一一对应关系,并且每一个Z-代数格都与带顶元的Z-代数交结构同构.     

一般关系诱导的模糊拓扑和模糊拓扑约简

本论文主要研究一般模糊关系诱导的模糊拓扑以及模糊拓扑的性质。首先,我们给出一般模糊关系诱导的模糊拓扑τ_R的定义,并讨论模糊拓扑的基本性质,然后证明τ_R和τ_(t(R∪I))是两个相同的拓扑。第二,得到τ_R的内部算子和闭包算子的具体表达式。此外还知道,当τ是quasi-离散拓扑时,τ上的模糊关系R_τ诱导的拓扑和τ是相同的。第三,考查模糊拓扑τ_R的一些拓扑性质。最后,我们还定义τ_R上模糊拓扑约简,给出约简的算法,并给予算法的证明。     

完全分配格上的格值Smooth点式拟一致结构

在完全分配格上定义L—smooth点式拟一致结构概念，并研究它与点式拟一致结构之间的关系以及与smooth拓扑之间的关系，给出分解定理、表现定理及构造条件。