Fuzzy下推自动机与Fuzzy上下文无关语言的关系

在文献基础上,讨论了Ｆｕｚｚｙ下推自动机按两种不同方式所接受的语言类的等价性,进而研究了Ｆｕｚｚｙ下推自动机所产生的语言与Ｆｕｚｚｙ上下文无关语言的等价关系,并提供由Ｆｕｚｚｙ下推自动机构造Ｆｕｚｚｙ上下文无关文法的方法。     

直觉模糊BCK-代数

系统研究了作为Zadeh模糊理论重要扩展的Atanassov直觉模糊BCK-代数.首先,引入直觉模糊BCK-代数和它的水平代数的概念,讨论了它们相关性质.其次,研究了直觉模糊BCK-代数的同态与同构像和逆像的性质,获得了直觉模糊BCK-代数的同态像和逆像仍为直觉模糊BCK-代数.最后,给出了直觉模糊集上的直觉模糊关系、...     

BCK-代数的不分明化理想

用一元谓词和连续格值逻辑的语义方法,引入了不分明化左(或右)可约理想、不分明化理想、不分明化蕴涵理想的概念,研究了不分明化可约理想、不分明化理想、不分明化正定蕴涵理想和不分明化蕴涵理想的某些特征,讨论了它们的性质和关系,研究了这些不分明化理想与其同态象、同态原象关系,获得了两个同种类型的不分明化理想之积仍为该种不分明化理想.     

模糊推理的模糊熵反向α-三I约束算法

讨论了FMP,FMT问题的模糊熵反向α-三I约束解的存在条件,研究了反向α-三I约束解与模糊熵反向α-三I约束解的关系,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵反向α-三I约束解的计算公式．     

BCH-代数的模糊理想与模糊H-理想的若干性质

利用模糊点的概念,研究了BCH-代数的模糊子代数、模糊理想和模糊H-理想的一些基本代数结构,进而揭示了模糊点方法与经典模糊方法之间的联系。     

基于CRI算法的蕴涵算子族LλOλG模糊系统

针对蕴涵算子族LλOλG,首先讨论了基于CRI算法的模糊系统及其响应性能,结果表明,蕴涵算子族LλOλG模糊系统只具有阶跃输出能力,不具有函数逼近泛性;其次揭示了蕴涵算子族LλOλG模糊系统的概率意义,给出了其概率分布,它有充当模糊系统"系统内核"的作用.     

n-粒子赤道态的受控远程制备

为了解决多量子态的制备问题,首先提出一种构造2n+1-量子纠缠态的方法,并给出其量子线路图。其次,采用2n+1-量子纠缠态为信道,出来远程制备一个任意n-量子赤道纠缠态的方案。该方案在控制者Charlie的协助下,Alice通过多量子投影测量和经典通信,Bob采用简单酉变换就能以100%的概率成功重构任意n-量子赤道态。进一步,通过任意二量子态和任意三量子态的制备的具体实例,说明了上述关于一般多量子赤道纠缠态远程制备协议是可行的。     

基于某些常见蕴涵算子的反向三I算法

讨论了FMP,FMT问题的反向三I支持算法解的存在性和惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式.进而将问题一般化,给出了FMP与FMT问题的α-反向三I支持算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三I支持算法相应的计算公式.     

软BCH-代数

引入了软BCH-代数和软子代数的概念,给出了一些实例,建立了软BCH-代数和软子代数的交、并及"AND"运算,给出了软BCH-代数、软子代数与它们间的关系.     

模糊推理的模糊熵三Ⅰ算法及其还原性

讨论FMP问题的模糊熵三Ⅰ算法解的存在条件,研究了三Ⅰ解与模糊熵三Ⅰ解的关系,获得了模糊熵三Ⅰ算法的一般计算公式,并给出了几个重要蕴涵算子的模糊熵三Ⅰ算法公式,证明了这些算法在一定条件下是还原算法．