对称蕴涵推理方法的鲁棒性分析北大核心CSCD

模糊推理方法已经被成功地应用于模糊控制器设计,模糊专家系统集成等诸多领域.作为对传统模糊推理方法的改进,我国学者提出了基于三Ⅰ方法的对称蕴涵推理方法.对于模糊推理方法性质的研究,尤其是对推理方法鲁棒性的研究是模糊逻辑领域的一个重要的研究方向.基于规范的Minkowski距离讨论对称蕴涵方法的鲁棒性,给出了针对不同蕴涵算子的四个算法的鲁棒性结论,为模糊推理方法的选择与应用提供科学依据.     

对称蕴涵推理方法的鲁棒性分析

模糊推理方法已经被成功地应用于模糊控制器设计,模糊专家系统集成等诸多领域.作为对传统模糊推理方法的改进,我国学者提出了基于三Ⅰ方法的对称蕴涵推理方法.对于模糊推理方法性质的研究,尤其是对推理方法鲁棒性的研究是模糊逻辑领域的一个重要的研究方向.基于规范的Minkowski距离讨论对称蕴涵方法的鲁棒性,给出了针对不同蕴涵算子的四个算法的鲁棒性结论,为模糊推理方法的选择与应用提供科学依据.     

模糊集的相对扰动

在模糊推理的理论研究中,模糊推理方法的扰动性分析是一个重要的研究方向,即讨论模糊推理前件的变化对后件的影响。本文给出模糊集的相对扰动的概念,讨论由模糊集运算产生的相对扰动,以及模糊推理的相对扰动性,给出一些有趣的性质。     

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

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

单调算子理论与分裂算法

本文主要回顾了单调算子理论与分裂算法的基本概念和结果,重点介绍Forward-Backward分裂算法和Douglas-Rachford分裂算法的收敛性理论及应用.同时,也介绍了这些方法处理非凸优化问题的最新进展以及一些前沿和热点问题.最后提出了几个未来可以继续研究的方向.     

分数阶微分方程的理论和数值方法研究

分数阶偏微分方程的研究有很长的历史,并在最近十多年得到快速发展.相比极为有限的理论成果,数值方法的研究成果已经相当丰富,几个国际研究团队对此作出了贡献.本文旨在对分数阶微分方程的理论与数值方法研究成果做个简要的评价,聚焦总结评述与高阶方法发展密切相关的研究.主要内容为讨论最基本的三类方程:时间分数阶扩散方程、空间分数阶扩散方程、以及时空分数阶扩散方程的理论进展和数值方法研究在最近十年取得的结果.我们还有针对性地选择一些算例,用以说明几个重要方法的精度和有效性.     

一般全蕴涵模糊推理方法

自王国俊教授在模糊推理中提出全蕴涵推理方法以来,对于这个推理方法的推广和完善,成为模糊推理研究的热点方向之一。特别地,最近有文献提出了五I推理方法。由于这个新推理方法中的蕴涵全部为同一种蕴涵,因此,本文将对这种推理方法进行改进,提出更一般的全蕴涵推理方法。同时分别对两个基本的推理模型FMP和FMT,给出新算法的统一表达式,并分别讨论改进方法在两个模型下算法的还原性和鲁棒性。     

一种解非线性三阶多点边值问题的数值算法

主要研究了一类带有多点边值条件的非线性三阶微分方程的求解方法.利用迭代技巧和再生核(RKM)理论相结合来求解此类问题,同时给出了一些算例来说明方法的有效性.     

Gentzen型模糊推理

本文建立了能同时处理证据、规则的不确定性以及证据与规则近似匹配的Gentzen型模糊推理的语形方法．     

一阶形式系统K*及其完备性

模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.