基于真度理论的α-反向三Ⅰ问题的形式解

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

区间值模糊推理的三Ⅰ算法

模糊推理在控制和人工智能等领域已得到了广泛的应用，但其理论基础还不完善，王国俊教授提出的模糊命题逻辑的形式演绎系统和三Ⅰ算法为模糊推理奠定了严格的逻辑基础，本文把三Ⅰ算法用于区间值模糊推理，并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理，从而把一般模糊推理纳入于区间值模糊推理的框架之内。     

基于Vague集模糊推理的目标识别方法及其三Ⅰ解

为从Vague集多准则模糊决策、目标识别和模糊推理三者关系中探求目标识别构建方法,利用特征矩阵、权重、评价函数等分别构建了基本决策过程和熵权-加权算子决策过程.通过R_(0v)。型模糊取式三Ⅰ算法,揭示了两种决策过程的评价函数值分别是模糊推理的模糊逻辑三Ⅰ解和加权三Ⅰ解.结合三Ⅰ算法的还原性和模糊推理过程,构建了基于三Ⅰ算法的模糊推理目标识别方法.利用一个工件识别实例说明了提出的目标识别方法的正确性和有效性.     

模糊推理反向三I的$R_L$型约束度分析

研究了基于蕴涵算子RL的模糊推理反向三Ⅰ方法的约束度理论,分析了约束度的性质,得到了一般化的α-反向三Ⅰ模糊取式下确界计算公式与α-反向三Ⅰ模糊拒取式上确界计算公式.     

模糊推理三Ⅰ约束算法的一般表示

讨论模糊推理三Ⅰ约束算法的表示问题。首先，改进FMP及FMT问题的三Ⅰ约束原则,进而，为使更多的蕴涵算子纳入统一的算法表示之下。基于较弱的条件建立三Ⅰ约束算法的一般表示。如此，现有的三Ⅰ约束算法的统一表示被推广到一种新的形式。     

非齐次偏微分方程混合问题的形式解

通过待定函数法给出了非齐次偏微分方程混合问题的形式解，从数学角度说明了齐次化原理．     

三Ⅰ表达式取最小值时的最优解

在本文中,针对蕴涵算子R_0,我们给出了当A→B与A~*(B~*)给定时,求使三Ⅰ表达式(A→B)→(A~*→B~*)取最小值的全体B~*(A~*)之集的上确界(下确界)算法。并将上确界算法推广到多维多重的模糊推理中。从三Ⅰ表达式取最值时求最优的B~*(A~*)的角度来看,本文是三Ⅰ算法思想的延伸和完善。     

FMT问题的两种三Ⅰ算法及其还原性

进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W－还原的,而三Ⅰ^*算法是Z－还原的。     

逻辑系统中理论的下真度与相容度(Ⅰ)

引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。     

基于蕴涵算子族L-λ-G的模糊推理三Ⅰ支持算法

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。     

非齐次偏微分方程混合问题的形式解

通过待定函数法给出了非齐次偏微分方程混合问题的形式解，从数学角度说明了齐次化原理。     

真度的均值表示形式在逻辑系统L_n中的应用

命题真度是计量逻辑学中的基础概念.本文将真度定义的均值表示形式应用于逻辑系统Ln中.首先,利用真度均值形式的定义计算了某些公式的真度;其次,证明了有关公式真度的基本性质.相比利用真度定义的加权表示形式的证明,该证明过程更加简明,拓宽了真度理论的研究思路,丰富了现有研究成果。     

非线性Sturm—Liouville问题的一个三解定理

在利用上下解方法研究非线性微分方程多重解问题时，人们普遍使用基本条件－－非线性项满足单边Ｌｉｐｓｃｈｉｔｚ条件。本文在没有假定这个基本条件的情况下，利用上下解方法证明了非线性Ｓｔｕｒｍ－Ｌｉｏｕｖｉｌｌｅ问题的一个三解定理，从而改进了有关的已知结果。     

变分方法与反向上下解

本文在非线性方程的下解不小于上解这一条件（即反向上下解条件）下研究了其解的存在性．我们证明了，如果非线性算子方程有变分结构，有一对反向上下解，对应的算子映某个锥入锥并且满足一定的辅助条件，那么这一方程在锥中至少有两个解．另外，本文还研究了反向上下解条件下非线性椭圆边值问题正解的存在性．     

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

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

利用复数形式解实数问题的若干例

利用复数形式解实数问题的若干例夏大峰（安徽阜阳师范学院数学系２３６０００）众所周知，欧拉公式把复数的解析形式，指数形式和三角形式紧密地结合起来，使它们可以互相转化，在解复数问题时，往往可以转化为实数问题来处理，而本文介绍怎样把实数问题转化为复数形式来...     

Navier-Stokes方程初值问题的形式解

给出了R3×R上的Navier_Stokes方程初值问题存在形式解的充要条件 ,同时给出了一个计算实例·     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

基于蕴涵算子族L-λ-R0的模糊推理反向α-三I约束算法

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的反向α-三I约束算法.