基于R蕴含算子的α-三Ⅰ算法

利用三Ⅰ思想,给出了基于R蕴合算子的α-三IFMP和α-三IFMT算法的计算公式,分析了三Ⅰ算法的还原性,并给出了基于R蕴含算子的三IFMP和三IFMT算法具有还原性的本质条件.     

基于R蕴含算子的α—三I算法

利用三I思想，给出了基于R蕴含算子的α-三IFMP和α-三IFMT算法的计算公式，分析了三I算法的还原性，并给出了基于R蕴含算子的三IFMP和三IFMT算法具有还原性的本质条件。     

剩余型直觉模糊推理的反向三I方法

提出直觉模糊取式(IFMP)和直觉模糊拒取式(IFMT)问题的直觉模糊推理的反向三I原则、反向α-三I原则和反向三I约束原则.针对剩余型直觉模糊蕴涵算子,给出IFMP、IFMT问题的直觉模糊推理的反向三I算法、反向α-三I算法及反向三I约束算法求解的计算公式和分解形式,指出这些算法都是相应模糊集情形下的推广,讨论IFMP、IFMT问题的直觉模糊推理的反向三I算法的还原性.     

Lukasiewicz型直觉模糊推理三I方法的性质分析

直觉模糊推理的两个基本模型是Intuitionistic Fuzzy Modus Ponens（IFMP）和Intuitionistic Fuzzy Modus Tollens（IFMT）。首先利用经典模糊集之间的自然距离定义了直觉模糊集间的一种距离。其次，证明了基于Lukasiewicz直觉模糊蕴涵的IFMP和IFMT问题的三I方法关于该距离都具有连续性，并且分别给出了IFMP和IFMT问题的三I方法满足逼近性的充分条件。     

直觉模糊推理的三I约束算法

研究了直觉模糊推理三I约束算法,给出了IFMP、IFMT问题的直觉模糊推理三I约束算法解的表达形式和分解形式,在此基础上,指出了直觉模糊推理三I约束算法是模糊推理三I约束算法的推广,并给出了相应的证明。     

基于蕴涵算子L_p的模糊推理的FMP反向三I算法

研究了基于蕴涵算子Lp模糊推理的FMP反向三I支持算法及α-反向三I支持算法,给出了FMP模型的反向三I算法及α-反向三I算法的计算公式。     

基于蕴涵算子Lp的模糊推理的FMP反向三Ⅰ算法

研究了基于蕴涵算子Lp模糊推理的FMP反向三Ⅰ支持算法及α-反向三Ⅰ支持算法,给出了FMP模型的反向三Ⅰ算法及α-反向三Ⅰ算法的计算公式.     

L_n*系统中α-反向FMP和α-反向FMT问题的解

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F(S)中引入一个预序,在L_n~*系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统L_n~*中建立了反向三I算法的形式化推理机制。     

蕴涵算子族G-λ-∏的模糊推理三I支持算法

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

基于蕴涵算子族L-λ-R_0的模糊推理FMT三Ⅰ算法

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0已给出的FMP模型[1]的三Ⅰ支持算法、α-三Ⅰ支持算法进一步给出了模糊推理的FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。     

基于蕴涵算子族L-λ-R_0的FMT三Ⅰ约束算法

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

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

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

基于蕴涵算子族NM_P的反向三I支持算法

给出了蕴涵算子族NMP的FMP问题的反向三I算法的上确界计算公式和FMT问题的反向三I算法的下确界计算公式,并进一步得到了其一般化的α-反向三I算法的FMP(FMT)上(下)确界的计算公式。     

直觉模糊二元合成补IFMT三I方法

针对构造直觉模糊蕴涵算子(IFIO)沿用Fuzzy集一元补导致出现的问题,对直觉模糊集(IFS)隶属函数和非隶属函数进行合成求补运算,提出了二元合成补的概念。给出了二元合成补的一些性质,证明了IFS的标准补和对合补是二元合成补的两个特例。构造了基于二元合成补的R0型IFIO,并应用于直觉模糊拒取式(IFMT)问题的三I方法。结果表明,基于二元合成补的IFIO构造方法简单,构造出的IFIO容易满足IFS定义的要求,具有的性质适合IFMT三I方法,并能保证该方法在一定条件下是还原算法。     

直觉区间值模糊推理的三I算法

本文讨论了直觉区间值模糊三I算法的两种最简单形式：MP（Modus Ponens）和MT（Modus Tollens）问题,分别给出直觉区间值模糊环境下的MP问题和MT问题的三I解的一般形式。讨论全蕴涵解的存在条件,基于满足剩余原理的直觉区间值模糊剩余蕴涵,为直觉区间值模糊推理建立全蕴涵算法,即为MP和MT问题建立α-三I算法。     

α-β和α-β-γ滤波在延时控制起爆算法中的应用

制导引信一体化起爆算法研究的一个重要方面就是通过对最佳起爆延时的估计来确定炸点,而对测量数据进行滤波从而提高炸点的估计精度是其中的一个必要环节。α-β和α-β-γ滤波算法ααα具有计算简单,工程中易于实现的特点。本文针对导引头测距测角模型中基于延时控制的算法,使用c＋＋builder工具进行仿真试验。研究结果表明在基于导引头测距测角模型进行起爆延时的计算中,α-β和α-β-γ滤波是可行的,同时根据仿真讨论了在滤波中影响炸点估计精度的因素及如何合理选取δ因子。     

基于二元合成补的直觉模糊推理IFMP三Ⅰ算法

针对构造直觉模糊蕴涵算子(IFIO)沿用Fuzzy集一元补导致出现的问题,提出了二元合成补(DCN)的概念,同时考虑了隶属函数和非隶属函数对直觉模糊集(IFS)求补的影响.给出了DCN的一些性质,证明了IFS标准补和对合补是DCN的特例.构造了基于DCN的R0型IFIO,并应用于直觉模糊取式(IFMP)问题的三Ⅰ算法.实验结果表明,基于DCN的IFIO构造方法可行,构造出的IFIO容易满足IFS定义的要求,具有的性质适合IFMP三Ⅰ算法,并能保证该算法在一定条件下是还原算法.     

真度方程组及其应用

基于计量逻辑学和真度方程的思想,提出了真度方程组的概念。给出了真度方程组的同型解,探讨了真度方程组解集合的相容性。将这一理论成功地运用于多重广义MP问题的研究,求出了多重广义MP问题的三I真度解与α-三I真度解,为进一步探讨模糊推理的逻辑基础提供了一个可行的途径。     

参数LP系统的三I算法与α-三I算法

给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三I算法与α-三I算法.     

广义MP问题的三I真度解

基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。