Fuzzy蕴涵代数的素犹豫模糊滤子及其谱空间

运用犹豫模糊集和拓扑学的方法及原理对Fuzzy蕴涵代数的滤子问题做深入研究。首先,引入Fuzzy蕴涵代数的素犹豫模糊滤子概念并考察其性质特征,建立并证明了并半格Fuzzy蕴涵代数的素犹豫模糊滤子定理;其次,在一个给定的Fuzzy蕴涵代数(X,→,0)的全体素犹豫模糊滤子之集PHFil(X)上构造了一个拓扑τ,获得拓扑τ的一个基,证明拓扑空间(PHFil(X),τ)是T₀空间。     

ΕQ-代数上的模糊前滤子

模糊化方法可以有效简化代数结构的复杂性。因而文中应用代数系统模糊化方法和模糊集水平截集方法,研究EQ-代数的模糊前滤子的性质及其生成方法。进而得到以下结果:引入了EQ-代数模糊前滤子和素模糊前滤子的概念。分别给出了EQ-代数模糊前滤子、素模糊前滤子与前滤子、素前滤子之间的关系。给出了EQ-代数上由一个模糊子集生成一个模糊前滤子的公式。最后,得到了一个EQ-代数上全体模糊前滤子的集合构成一个完备模格。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

MTL代数的性质及其滤子

讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及α的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M／～F成为布尔代数．     

剩余格上n-重正蕴涵滤子的特征及刻画

在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子, 研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及 这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论, 并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

剩余格上n-重滤子的特征及结构

在剩余格中引入和讨论了n-重蕴涵滤子、n-重极滤子、n-重正蕴涵滤子和n-重布尔滤子的概念及特征性质,证明了剩余格上这几类n-重滤子之间相互转化的充要条件,研究结果拓展了剩余格上的滤子理论,并使剩余格上n-重滤子概念间的层次关系更加清晰和完善。     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

剩余格蕴涵代数中n-重素滤子的研究

在剩余格蕴涵代数中,提出了n-重素滤子的概念,并研究了它的性质.讨论了n-重素滤子与关联滤子、n-重素滤子与素滤子、n-重素滤子与准素滤子和对不同的自然数n,n-重素滤子之间的关系.最后,得到了在格H蕴涵代数中,n-重素滤子与素滤子等价和n-重素滤子与准素滤子等价的结论.     

非交换剩余格上的n重PMTL滤子及其刻画

滤子理论在多值逻辑及其相关代数的研究中起到非常重要的作用.在非交换剩余格上引入n重PMTL滤子的概念,给出这类滤子的一系列刻画.提出n重PMTL代数的定义,从n重PMTL滤子的角度证明n重PMTL代数的若干特征定理,并引入n重素滤子的概念,得到n重PMTL代数的另一种刻画.     

R0-代数中的广义相对零化子

首先, 利用滤子的扩张方法在R₀-代数中引入相对零化子的概念, 并结合滤子的概念提出广义相对零化子的概念, 证明R₀-代数中广义相对零化子仍是滤子; 其次, 利用广义相对零化子刻画素滤子, 并讨论相对零化子与广义相对零化子的关系; 最后, 基于R₀-代数中的两个给定元, 给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.     

蕴涵格的正规MP滤子与素滤子

在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。     

格蕴涵代数的素滤子

格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。     

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

BL-代数的严格滤子

引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤子与整滤子、素滤子等的关系。     

两通道完全重构全相位FIR滤波器组的设计

提出了两通道完全重构全相位FIR滤波器组的设计算法，理论证明了无窗和双窗情况下全相位滤波的3个重要性质．并针对不同的滤波器长度N和频率向量的设置（传统对称或偶对称），设计出了4种全相位半带滤波器．再对半带滤波器进行谱分解，构造出了各分析和综合滤波器．理论和仿真实验表明，全相位PR滤波器组具有较高的重构精度，滤波器长度N为8时的重构误差比CDF9／7双正交小波滤波器组低3个数量级．     

循环群偏序集上的拓扑

利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G).     

半素环的幂零导子

讨论半素环上导子的幂零性质, 利用相应的扩张技术证明了： （1） 设R是n!〖KG-*3〗-torsionfree半素环, n是自然数, Z是R的中心, δ是R上的导子, 若δⁿ(R)=0, 则δ(Z)=0; （2） 设R是特征不 为2的素环, Z是R的中心, U₁,U₂,…,U_n是R的Lie理想. 若d_{1,d2,…,dn是R的非零导子, 且［［…［d1(U1),d2(U2)］,…］,d n(Un)］Z, 则存在i∈{1,2,…,n}, 使得UiZ.}     

Hypercyclic与Supercyclic的Toeplitz算子

首先运用函数论的方法, 阐述了在Hardy空间以及Bergm an空间上, 当符号φ满足某种条件时, 余解析Toeplitz算子T_φ为Hypercyclic或Supercyclic算子. 其次运用谱的知识及指标理论, 阐述了当符号φ满足某种条件时, Toeplitz算子T_φ位于H_c(H)或Sc(H)中.     

BL代数的(,∨(-overq))-模糊滤子格

对BL代数的(,∨(-overq))-模糊滤子理论作进一步深入研究。给出了(,∨(-overq))-模糊滤子的若干新性质, 定义了由BL代数上的一个模糊集生成的(,∨(-overq))-模糊滤子并建立了其表示定理, 证明了BL代数的全体(,∨(-overq))-模糊滤子之集构成一个完备的分配格。