逻辑系统L_n*中一类特殊公式的Σ_Γ-真度

在模糊命题系统L_n~*中,利用公式A的原子公式集S_A与有限理论Γ的原子公式集S_Γ之间的关系,讨论了公式A的Σ_Γ-真度,给出了当S_ΓS_A和S_A∩S_Γ=Φ时τ_Γ(A)的简单表示形式。利用这些结论,给出了当S_ΓS_A时Σ_Γ-真度的一些性质的简单证明。     

L*系统中由单个原子生成公式的真度分布

以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。     

多值逻辑系统W_n中α-三I问题的形式解

在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。     

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

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

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

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

BL*系统和IMTL系统等价性的语构证明

BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考。     

一种蕴涵算子下FMP模型的新型反向三I算法

针对Fuzzy推理中提出的“过半可信”原则,证明了[RG]蕴涵算子满足这一原则,并讨论了[RG]蕴涵算子下FMP模型的新型反向三I支持算法,新型[α-]反向三I支持算法,新型[α-]反向三I约束算法的计算公式,且给予证明。     

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

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

基于L*和Luk逻辑系统的反向三I算法的统一形式

三I算法是模糊推理的FMP和FMT模型的有效的算法,反三I支持算法为设计模糊推理规则提出了一个新思路。讨论了基于L*和Luk逻辑系统的反向三I推理,并给出推理算法的统一形式。     

基于平均逻辑相似度的α-反向三I算法的鲁棒性

鲁棒性是评价算法优劣的一个重要标准。以平均逻辑相似度为衡量扰动的指标,分别讨论了α-反向三I支持算法和α-反向三I约束算法的鲁棒性,结论表明FMP（FMT）问题的α-反向三I支持算法和α-反向三I约束算法具有相同的鲁棒性。     

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

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

Gdel n值命题逻辑中公式的α-随机真度理论

给出了Gdeln值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。     

线性时滞关联大系统的分散α-镇定

通过分析线性时滞关联大系统超越型的特征议程的根的分布,并结合线性矩阵不等式(LMI)技术研究了含多个不确定常时滞的线性时滞关联大系统的可分散α-镇定问题,得到了相应的分散α-反馈控制律．不同于一般的结果,本方法得到的分散控制器不但使得系统可分散镇定,而且还可以确定闭环系统特征方程的根的实部的上界．结果表示为LMI形式,易于进行数值处理．最后以一个数值例子显示了所得结果的有效性及其应用方法．     

基于蕴涵算子族L-λ-G的反向三Ⅰ约束算法

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

基于蕴涵算子族L-λ-G的反向三I约束算法

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

基于α-邻近的改进蚁群算法

为克服传统蚁群系统( ACS)在较大规模问题计算中易陷入局部最优,以及求解精度较低等不足,提出一种新的改进蚁群算法。该算法引入最小1-树中的α-邻近概念,能更好地反映给定边属于最优回路的概率,通过转换邻接矩阵,计算出最优回路的下界,以此提高α值的精度,并给出适应性探索策略,加入3-opt领域搜索算子,有效提高优化解的精度。实验结果表明,该算法具有更好的全局寻优能力,与 ACS 等算法相比能获得更加优化的解。     

广义MP问题的三I真度解

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

广义MP问题的三Ⅰ真度解

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

ND-P0lya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系,晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯,一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题。针对这一问题,该文基于Ｃａｓｔａｇｎａ的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对     

线性不确定多时滞系统的α-鲁棒控制

通过分析时滞系统超越型的特征方程的根的分布,并结合线性矩阵不等式(LMI)技术研究了含多个不确定常时滞的线性不确定时滞系统的可α-鲁棒镇定及其控制器设计问题,得到了相应的α-鲁棒无记忆反馈控制律.不同于一般的结果,本方法得到的控制器不但使得系统可鲁棒镇定,而且闭环系统特征方程的根的实部均小于等于某个指定的负数.结果表示为LMI形式,易于进行数值处理.最后以一个数值例子显示了所得结果的有效性及其应用方法.