两类模糊推理算法的连续性和逼近性

对Zadeh的模糊推理合成法则(CRI算法)和全蕴涵三I算法(三I算法)是否满足连续性和逼近性问题进行了细致的研究,进一步讨论了这两类算法对逼近误差的传播性能.为此,把模糊推理算法看成是模糊集合到模糊集合的映射,选用海明距离作为两模糊集的距离.证明了在模糊假言推理和模糊拒取式推理情形,这两类算法都拥有连续性.指出三I算法在已知规则的前件和后件是正规集的条件下总是满足逼近性,而CRI算法只有当它满足还原性时才拥有逼近性.在满足逼近性的条件下,两类算法都不会放大逼近误差.结果对构建模糊控制系统和模糊专家系统时选用和分析模糊推理算法有一定的指导作用.     

一种基于真度变换观点的近似推理

以全新的思想和视角,把蕴涵式p→q看作一种真度变换,并提出了真度变换率和真度变换差的概念,然后在此基础上给出了一组称为肯定前件式和否定后件式真度假言推理的推理规则,从而得到了一种命题近似推理的新方法。把该方法推广到谓词逻辑,就得到一种基于谓词逻辑的近似推理新方法。因此,文章的思想和方法可作为模糊推理的理论基础。     

模糊控制的模糊推理分析

分析了使用RZ算子时推理合成规则(CRI)不具有还原性和不能正确进行模糊推理的原因,给出了正确应用CRI的条件;分析了全蕴涵3I算法的不足及其具有还原性的原因;对各种蕴涵算子的模糊推理进行分析比较,得到了正确的推理算法;对模糊推理在理论和实际应用中的矛盾作了具体说明.     

一种基于泰勒级数的简化的Kóczy线性插值推理方法

在传统的模糊推理方法中,如果出现模糊规则库稀疏的情况,模糊推理就得不出正确的推理结论.针对这个问题,Kóczy和Hirota提出了一种线性插值推理方法.线性插值推理方法解决了稀疏规则库情况下如何得出推理结论的问题,但是,用这种方法得出的结论有时是不正规的模糊集.本文提出的基于泰勒级数的Kóczy线性插值推理方法,能保证“当模糊规则A1= >B1 ,A2 =>B2 和推理前件A* 是正规的线性隶属函数(三角形或者梯形)时,插值推理结论B* 也是正规的线性隶属函数(三角形或者梯形)”.     

三种基于不同模糊否定的模糊拒取式推理及其算法

模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT的一个前提——模糊否定在推理中较重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否定的3种模糊拒取式推理FMT1、FMT2和FMT3.此外,基于R-蕴涵算子IR定义一种与IR关联的NR-蕴涵算子INR,并依据FMT的算法给出FMT1、FMT2和FMT3的算法,证明FMT1、FMT2和FMT3的算法在I≤INR条件下是还原算法.     

面向后件集的模糊推理机制: 用于区间型type-2模糊逻辑系统

目前,大多数模糊推理都是利用t-范数和t-余范数或其改进形式对连接词进行建模,这些模型不能将模糊规则中前件集与后件集之间的相关性信息引入到模糊推理过程,这会丢失蕴含在规则中的一些信息甚至导致推理结果与实际经验严重不符.为解决此问题,本文首先引入模糊集合面向对象变换的概念,并将其推广,建立了合成type-2模糊集合模型.基于此模型,针对区间型type-2模糊逻辑系统,提出一种面向后件集的模糊推理机制,该机制能将前件集与后件集的相关性信息(包括清晰数和模糊数两种情形)引入到模糊推理过程.仿真结果表明,该方法能捕获到模糊规则中更多的不确定性信息,并为模糊逻辑系统的设计提供更大的自由度.     

基于Mamdani蕴含关系的直觉模糊推理仿真

为了验证Mamdani直觉模糊推理的正确性,将模糊集中定义的Mamdani模糊关系进行直觉化扩展,从而定义了Mamdani直觉模糊推理关系.通过Matlab绘制出Mamdani直觉模糊蕴涵关系Rm的三维图像,包括蕴含关系的隶属度、非隶属度、犹豫度图像.利用该蕴含关系,通过具体实例仿真结果表明了该蕴含关系推理的正确性与有效性,并将单前件单规则推理推广到了多前件多规则推理.     

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

第一个处理模糊规则的推理模型是L.A.Zadeh的合成推理模型(CRI,Compositional Rule of Inference),并且是最重要的推理机制之一.很多文献研究了CRI法的推广以及满足不同要求的算子的合理选择.文章对直觉区间值模糊推理的CRI算法进行了一般研究,讨论了满足剩余原理的直觉区间值模糊三角模与直觉区间值模糊剩余蕴涵.由于一般形式的直觉区间值模糊推理均可以通过一定的处理方式转化为基本形式的MP(Modus Ponens)或MT(Modus Tollens)问题,所以文章仅就两种最简单的推理形式进行讨论,分别给出直觉区间值模糊环境下的MP和MT问题的CRI问题的一般形式,着重讨论其还原条件,给出还原准则.     

基于模糊命题逻辑形式系统FLcom的模糊推理及应用

FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。     

区间值模糊集相容性测度的性质、改进和传播

分析区间值模糊集相容度的一些性质.提出一个新的相容性测度公式--相合度.它去掉相容度的非对称性的缺点,又保持相容度的其它特性.研究模糊推理算法对相容度和相合度的传播问题,并发现实际应用中,当已知规则的前件和后件是正规模糊集时,Zadeh的模糊推理合成算法(CRI)不会使相合度变小.本文工作对基于区间值模糊集的规则库整理以及推理算法的选择和分析有一定益处.     

仿生机器鱼的动力学仿真

仿生机器鱼的研究受到各国越来越多的研究工作者的重视,并取得了一定的成果.本文着重研究了仿生机器鱼的尾鳍的动力学并建立了仿生机器鱼的运动模型,并对该模型进行了计算机仿真,研究探索了仿生机器鱼的前进速度与尾鳍摆角、摆动频率、摆动幅度之间的关系.     

多种燃料锅炉效率曲线的辨识方法

多种燃料锅炉的运行优化是钢铁联合企业节约能源的一个主要方法,但是这种锅炉的效率曲线的辨识却是一个复杂而困难的非线性最小二乘问题。借鉴大系统递阶算法的思想,本文提出了一种新的两级递阶辨识的算法。这种算法通过预估关联量,将非线性最小二乘问题转化为两级线性最小二乘问题。实验的结果证明:这种算法是一种有效的算法。     

多台电轴系统稳定性区域之扩大

刘永清在[1]、[2]中研究了疏松桂提出的多台电轴系统的稳定性,本文应用标量函数分解法,从如何寻求尽可能大的稳定域的观点出发,研究了电力拖动自动控制系统中带平衡机的n台电轴系统的稳定性,扩大了参数稳定性区域,并给出渐近稳定性区域估计式。     

智能优化策略的比较

智能优化是从诸多新兴学科衍生出来的前沿科学，本文研究了智能优化的策略，对计算智能策略进行了分析比较，并举出了在工程实践中用这些策略进行智能优化的实例，从中得出有意义的结论。     

PERCEPTION OF AREA OF INTERPOLATED FIGURES

The area perception of incomplete (interpolated) geometric figures is studied. The obtained data are discussed in order to compare them with the results of our previous experiments where complete figures were studied. The results of the present experiment support the validity of the model of area perception that is based on the concept of image function. The different contributions of the perceptual processes as well as of the cognitive processes to the area estimation are discussed.     

并发代码的继承问题

文献[1]提出了一种新的刻划并发行为的方法.本文继续讨论这种方法在面向对象的程序设计中是如何解决并发代码在继承过程中的冲突问题的.     

人体三围特征计算的研究与实现

文中提出了一个基于多边形逼近和凸包球取的人体三围特征计算方法。首先给出了一个具有确定性的高效的多边形逼年算法，运用该算法对人体横截面边界进行特征化处理，再通过特征识别抽取人体三围的特征多边形，最后通过计算凸包的方法获取人体三围特征值。文中提出的方法已运用于一个综合化的服装ＣＡＤ系统中。     

计算机仿真系统的可信度评估

相似理论是计算机仿真的基础,它在建立仿真模型、仿真可信性评估等方面都有很好的指导作用,在文中分析相似理论中的序结构定律的基础上,将序结构定律运用于计算机仿真系统的相似评定中,并给出了具体的算法。对如何评估仿真系统的相似度问题,在理论上作了一定的研究和探讨。     

表的等价性的NP完全性的讨论

本文给出了表的等价性判定的一些结果：三元可满足性问题，表达式的ＮＰ完全性，表的ＮＰ完全性，还给出了函数依赖对表的影响，强等价性的复杂性的一些讨论。为对表的进一步研究屯指出了方向。     

独立边界自增强方法

提出了独立边界的自增强算法.使用反复随机搜索获得各种可能的独立边界轨迹;使 用搜索轨迹的自增强代替过去的固定点的领域增强方法;采用搜索轨迹的积累技术代替过去的 迭代操作.实验证明:该方法克服了过去的方法对噪声和局部错误极度敏感的缺点,能够在进行 边缘增强的同时有效地抑制噪声.