关于正则蕴涵算子

目的研究可与三角模构成伴随的蕴涵算子，即正则蕴涵算子。方法非经典数理逻辑的语义理论。结果对正则蕴涵算子的定义进行了简化，进而介绍了一种生成正则蕴涵算子的方法，最后就某些具有特殊性质的正则算子进行了研究，得到了相应的函数特征。结论正则蕴涵算子对于建立完备的逻辑系统至关重要。     

模糊统计法与蕴涵算子

对模糊统计法作了推广，得到了模糊蕴涵算子应满足的性质，并据此研究了十六种常用的模糊蕴涵算子，进而选出四种定义合理的算子．以这四种蕴涵算子为例，根据模糊统计的思想，阐述了如何确定每种蕴涵算子适用的场合．     

关于Lukasiewicz系统中强蕴涵算子构造的若干结果

首先证明了Lukasiewicz系统中的公式┐x^m＋y^n，┐mx＋ny，┐x^m＋ny，┐mx＋y^n是强蕴涵算子，接着指出任意两个Lukasiewicz强蕴涵算子的合取和析取都是强蕴涵算子，最后对构造Lukasiewicz强蕴涵算子的问题提出了几点看法。     

模糊蕴涵算子及其构造(Ⅱ)--模糊蕴涵算子的伴随对及其圈乘算子

验证了15个有可能存在伴随对的模糊蕴涵算子的保存在交性质,结果表明它们都满足保存在交性质.求出了这15个模糊蕴涵算子的伴随对,得到了14个模糊蕴涵算子.给出了一种构造模糊蕴涵算子的方法,并求出了在这种构造方法下,由46个模糊蕴涵算子构造得到的模糊蕴涵算子及这46个模糊蕴涵算子的圈乘算子,共构造出89个模糊蕴涵算子.     

模糊蕴涵算子及其构造(Ⅳ)--模糊蕴涵算子的对偶算子

将模糊蕴涵算子θ0～θ191的表达式θ(a,b)换为θ(1-a,1-b)后,构造出模糊蕴涵算子θ192～θ342,通过求模糊蕴涵算子θ0～θ191的对偶算子,构造出模糊蕴涵算子θ343～θ390,给出了基于Willmott算子构造的模糊蕴涵算子θ392～θ395．构造了199个模糊蕴涵算子,连同已知的12个模糊蕴涵算子,共给出211个模糊蕴涵算子,为模糊控制器的构造提供了较大的选择范围．     

蕴涵算子族及其构造

给出了蕴涵算子族的定义,将蕴涵算子的性质进一步推广,给出了蕴涵算子族的16条常用性质.基于含参数的三角模和余三角模构造了42种蕴涵算子族.验证了所构造的蕴涵算子族是否满足16条常用性质,揭示了它们与几个重要蕴涵算子族之间的关系.     

模糊蕴涵算子及其构造(Ⅲ)--由三角模或余三角模构造的模糊蕴涵算子

依三角模和余三角模的定义,证实了模糊蕴涵算子θ0～θ311中有5个是三角模、5个是余三角模,并分别找出了与这5个三角模相关的余三角模和与这5个余三角模相关的三角模.求出了3个由三角模构造的力迫蕴涵算子,5个由三角模和不可分辨蕴涵算子一起构造的模糊蕴涵算子,1个由三角模生成的蕴涵算子,1个由余三角模生成的蕴涵算子和由这5个三角模生成的传播算子.将模糊蕴涵算子θ122～θ145的表达式y(a,b)换为θ(a,1-b)后构造出模糊蕴涵算子θ146～θ169及通过求模糊蕴涵算子θ122～θ145的圈乘算子得到模糊蕴涵算子θ170～θ19.共构造出57个模糊蕴涵算子.     

不同蕴涵算子下的三Ⅰ算法

对三Ⅰ算法作了进一步的推广，详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ蕴涵算子、Ｇｏ¨ｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ⅰ算法的表达形式，同时给出了三Ⅰ算法为Ｐ－还原的充分条件．     

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.     

基于一类蕴涵算子的三I算法的统一形式

首先提出了伪伴随对的概念,基于此给出了基于一类蕴涵算子或带参数的蕴涵算子的FMP三I算法的统一形式;然后给出了基于两族蕴涵算子的三I算法的具体表达式;最后进一步给出了基于一类蕴涵算子或带参数的蕴涵算子α-FMP三I算法的统一形式.     

模糊近似空间中下近似算子的新定义

首先对β算子进行了研究,得到了2个结果,并将β算子扩展为2个矩阵之间的β运算。然后依据β算子及所得结果,给出了模糊近似空间中模糊集下近似的一种解析式定义,并刻画了新定义下的粗糙模糊集的基本性质。最后与刘责龙的定义进行对比分析,举例说明刘的文章中关于截集的一个结果是错误的,并说明新的下近似算子具有一定的优越性。     

对算子模糊逻辑的拓展讨论

在算子模糊逻辑的基础上，定义了直觉算子模糊逻辑，并对它的性质进行了讨论。     

模糊算子方程的解

一些实际问题的数学模型可以是集值算子方程，而在不确定环境下，这类算子方程中将可能出现不确定变量，例如，可能出现模糊变量。该文将讨论一类模糊算子方程解的存在性，并给出一个算法逼近方程的解。这里研究的算子方程是定义在模糊集上，其隶属度由模糊变量所确定。     

基于直觉模糊剩余蕴涵的直觉模糊粗糙集的性质

本文主要研究直觉模糊剩余蕴涵下的直觉模糊粗糙集的构造和性质.定义了直觉模糊集上的剩余蕴涵, 基于该剩余蕴涵构造了直觉模糊粗糙集的上、下近似算子, 并给出了基于不同二元关系下近似算子的性质.     

模糊集差运算

对模糊集余运算公理化定义中的公理进行了简化,提出了模糊集差运算的公理化定义,并在所给公理条件下证明了运算的存在唯一性,求出了差运算的解析表达式,而且所求结果恰是Ｚａｄｅｈ给出的有界差运算,还讨论了差运算的性质以及各种差运算的比较。     

广义区间值Pythagorean三角模糊集成算子及其决策应用

针对连续集合上决策变量的隶属度和非隶属度之和超过1的决策问题,提出区间值Pythagorean三角模糊数,并且分析其广义集成算子的决策应用。首先,引入区间值Pythagorean三角模糊数的概念,得到其运算法则。其次,推导区间值Pythagorean三角模糊数的加权平均算子、加权几何算子、有序加权平均算子、有序加权几何算子、广义有序加权平均算子以及广义有序加权几何算子,介绍它们的相关性质。最后,构建出基于广义区间值Pythagorean三角模糊集成算子的多属性决策模型,并且根据实例对广义有序加权平均算子和广义有序加权几何算子进行稳定性分析,运用图像直观地证明在处理决策问题时前者优于后者,说明决策模型的有效性和可行性。     

模糊信息过滤算子的公理化体系

针对在利用模糊信息进行决策时,常常需要依据某种决策意识,强化或削弱某些因素的作用,即需要对模糊信息进行过滤处理,在分析了现行信息过滤方法本质特征的基础上,提出了模糊信息过滤算子的公理化体系,并给出了建立信息过滤算子的一般方法,讨论了信息过滤在模糊综合评判中的应用.     

直觉模糊函数及其性质

在直觉模糊等价关系的基础上引入了两种直觉模糊函数的概念,给出了直觉模糊单射和直觉模糊满射的定义,并研究了它们的性质.     

模糊扰动算子及其性质研究

在扰动模糊子集的基础上提出了两种模糊扰动算子 ,即边界模糊扰动算子 (B+ ,B·)和包含模糊扰动算子(I+ ,I·) ,定义了两种算子下区间值的偏格和格的概念 ,指出了两种运算的直观含义及某些性质     

基于结构元模糊值函数的Newton-Leibniz公式

模糊值函数与经典函数之间存在着一种必然的联系，因此研究模糊值函数的Newton—Leibniz公式也就具有了很重要的价值，原有的模糊值函数的Newton-Leibniz公式是在标准算子下给出的，其表现形式及实际应用不够灵活。为了体现该公式的灵活性，本文在受限算子下，利用模糊结构元理论给出了模糊值函数的Newton—Leibniz公式的一种新的表现形式，这种形式摒弃了对原函数的限制，使得该公式运用起来更加灵活简便，而且具有一定的实际应用价值，同时也体现了模糊结构元理论在简化模糊分析计算方面的优越性，整个公式的给出和证明过程及文章中的实例也说明了这一点。