复合模糊命题运算中的弱范数研究

在模糊诊断和分析问题中,一个复合命题往往由多个子命题组成,子命题之间除有合取、析取及加权平均运算关系外,还存在一种非常重要的弱逻辑关系。对基于单一数值表达的模糊命题间的合取、析取关系的最一般运算形式是三角范数和三角余范数。该文给出基于单一数值表示模糊命题的弱逻辑关系的最一般运算形式f范数和基于区间值表示的模糊命题弱逻辑关系最一般运算形式f-范数,具体给出相关算子,讨论了它们的性质及与传统的一些算子之间的联系,通过引入强f范的概念,给出了构造f－范数算子的一般方法,对具有弱逻辑关系复合模糊命题的真值运算可采用本文介绍的概念和方法。     

复合模糊命题的真值及其信息量计算的新方法

从模糊信息量入手,对复合模糊命题的真值及其模糊信息量的计算进行了探讨,提出了一种新方法.此方法既考虑了子命题的逻辑关系,又考虑了子命题的相对重要程度而不丢失过多信息.实验证明,这种方法克服了封闭性、信息丢失、二义失效和全同失效的缺陷,能获得较合理的结果.     

复合模糊命题中基于弱逻辑的拟三角模算子研究

修正了f范数的概念,指出了符合弱逻辑关系的算子实际上是一种拟三角模算子中的Uninorm算子,接着给出了严格弱逻辑关系的拟三角模算子概念,在提出概念时,考虑了多维、基于单一数值和基于区间值以及加权的情况,并证明了符合弱逻辑关系的连续拟三角模算子是不存在的;给出了弱逻辑拟三角模算子的具体形式,给出了具体的四类弱逻辑关系的拟三角模算子,讨论了它们的性质,并进行了比较;定义了评价算子的边缘性测度和敏感性测度,对各算子进行了对比和评价.结果表明,文中给出的弱逻辑拟三角模算子可以在不同应用背景下,有效地处理不同类型的复合模糊命题真值运算,也可以在其它的模糊系统中有效处理多个模糊子集之间的聚集运算.     

加权模糊逻辑

文中提出了一种加权模糊逻辑推理模型，该模型描述了不确定性问题求争领域中的比较普遍存在的“加权逻辑与”“加权逻辑或”和“加权逻辑综合”等模糊逻辑关系，该推理模型在国家“八六三”高技术项目“吉林省玉米生产智能化信息技术示范工程”中进行了应用。文中同间指出对３种加权模糊之间的关系，与３种加权模糊逻辑运算的相关的真值计算方法，以及３种真值计算方法之间的关系等作应进一步研究。     

模糊询问的查询策略及其精确回答

本文在“模糊知识库的查询策略”一文的基础上,提出了模糊知识库中的查询类型3和类型4的查询策略。其基本思想是基于推理树DT,从模糊知识库中构造出询问命题语句的参照语句,然后求出在给定参照语句下的询问命题语句的真值。本文还提出了如何将基于真值概念所得出的模糊回答转化为精确回答的算法或称之为过程。     

区分3种否定的模糊命题逻辑系统及其应用

在模糊知识表示与推理中,否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3 种否定关系,即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础,提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM.讨论了FLCOM 特有的性质与意义,给出了FLCOM 的一种语义解释,并证明了可靠性定理.为了表明FLCOM 处理实际问题的适用性,进一步研究了FLCOM在一个模糊决策实例中的应用.具体地,基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示,给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法,并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明,运用FLCOM 处理具有模糊性并且存在不同否定的实际问题是有效的.     

基于蕴涵度和蕴涵率的蕴涵型命题真值求法

文章通过分析蕴涵型复合命题的真假涵义,并引入蕴涵度和蕴涵率两种度量,而得到了一种关于蕴涵型复合命题的真值计算新方法,即支命题之间的实际蕴涵度或蕴涵率对复合命题中描述蕴涵关系特征的语言值的符合度就是该复合命题的真值。该方法统一了确定性和不确定性蕴涵型复合命题的真值求法,填补了不确定性蕴涵型复合命题真值计算的空白,因而将在机器推理特别是不确定性推理中发挥重要作用。     

基于直觉模糊逻辑的近似推理方法

针对直觉模糊逻辑及命题演算，提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法．给出了直觉模糊逻辑命题的运算规则，重点研究了基于直觉模糊逻辑的近似推理方法．该方法包括直觉模糊取式推理，直觉模糊拒武推理及直觉模糊假官推理．井推导了相关的推理合成运算公式．以具体算例验证和表明了所提出的推导方法的正确性和有效性，以及对方法进行验证的详细步骤．     

模糊专家系统中量词的推理方法

分析模糊专家系统包含的隐性知识,即量词在模糊推理过程中的推理难度。根据量词在命题中的位置,将其分为2种情况进行讨论。提出通过查表实现量词推理的方法,阐述2种情况下查询表的建立原理。该方法可以避免模糊推理计算的复杂性。     

计算智能在故障诊断专家系统中的应用

基于知识的专家系统及其在故障诊断中的应用研究十分活跃,形成一类故障诊断专家系统,但该方法存在知识获取的瓶颈、推理能力弱及难于处理不确定知识等问题,其进一步发展受到严重的阻碍。与此同时,神经网络、模糊逻辑和遗传算法等计算智能在近年来却取得了一系列的进展,并具有专家系统等符号智能所缺乏的优势。将计算智能应用到专家系统中即与符号智能相结合起来能有效地解决诊断专家系统的难题,该文对此进行了探讨,并提出了一些新的思路。     

基于模糊隶属度函数的传感器失效管理方法

传感器失效管理是传感器管理系统中的一个重要部分，也是当前研究的热点。针对基于模糊逻辑的传感器失效管理方法，该文通过计算机仿真，分析了不同形式的隶属度函数对传感器失效管理的影响。仿真结果表明，基于模糊逻辑的方法能满足传感器失效管理的要求，并且可以减少数据的波动和误差。 真     

基于模糊逻辑的电动汽车制动能量回馈控制策略

在采用交流电机作为电动车和混合动力车的驱动的情况下，针对电动汽车驱动电机的强鲁棒性的需求，提出了一种基于模糊逻辑的控制策略以满足能量回馈的要求，使整车的动力性能、安全性和舒适性达到较好的平衡，同时也估算了这种控制策略的能量回收效率。经仿真和实际测试，结果表明所提策略满足总体设计的性能指标要求。     

不需持续激励条件的非线性离散时间系统的自适应模糊逻辑控制

针对一类非线性离散时间系统，根据模糊逻辑系统的逼近性质，给出了一种自适应模糊逻辑控制器的设计方法。利用李亚普诺夫稳定性理论，证明了控制算法是全局稳定的，跟踪误差收敛于零的某一领域中。该设计方法克服了要求模糊基函数向量满足持续激励（PE）条件这一难以验证和满足的假设条件。     

海洋剪切流传感器信号采集系统研究

剪切流传感器输出信号微弱并受到噪声的干扰,需要经过放大与滤波才可以使用,另外传感器信号采集频率相对较高导致存储量增大,为此开发低功能、高性能数据采集系统.该系统由电荷放大器,MSC1210芯片、LPC2114芯片、数据存储卡构成.电荷放大器对传感器信号滤波与转换,MSC1210对信号进行处理采集,LPC2114控制存储卡存储数据.为测试该数据采集系统性能,与数据采集卡PCI-6024E进行对比试验,试验表明该数据采取集系统工作可靠满足测量要求.     

概率逻辑的研究

在人工智能科学中,不确定推理扮演着一个非常重要的角色,而其表示方法也很多,文中要讨论的概率逻辑便是其中之一,它是以逻辑表示为基础进行概率推理。首先,从知识表示和概率定义两个不同的角度系统地介绍了概率逻辑的产生及其发展,然后总结了它的一些基本概念,在此基础上给出了求得一致可能世界的一种逻辑系统,为概率逻辑的发展起到推动作用。最后将概率逻辑同与之容易混淆的模糊逻辑加以区分,且提出了概率逻辑的价值及其展望。     

一类非线性互联系统的间接自适应模糊滑模跟踪控制

基于模糊逻辑逼近原理,针对非线性动态未知互联系统,设计一种新的模糊分散控制 器.讨论了互联项满足或不满足一般性约束条件的两种情形,用不同方法来补偿其对大系统的影 响.同时利用模式转换函数来实现间接自适应控制与模糊滑模控制之间的转换,使系统的状态在 有界闭集内变化,并依据Lyapunov方法证明了闭环系统稳定,跟踪误差收敛到零的一个小邻域 内.仿真结果证明所设计的模糊控制器的有效性.     

Fuzzy priority rule for job shop scheduling

Job shop scheduling uses various kinds of priority rules such as SPT, CR, COVERT, etc. Each of these rules aims at satisfying a single criterion though scheduling is a multi criteria problem. In this paper, a new approach using fuzzy logic is introduced to combine SPT, CR priority rules, and next machine's load (NML) rate the job to be processed next in order to satisfy not only a single objective but also all objectives. Fuzzy logic calculates priority value by considering SPT, CR, and NML. We named this priority rule as fuzzy priority rule (FPR). The job with the highest priority value is assigned to machine to be processed. To compare FPR with other priority rules such as SPT, EDD, etc. we run simulation. The results indicate significant improvements on mean flow time, mean tardiness, work in process (WIP), and throughput simultaneously.     

对象语义约束检验系统的设计和实现

我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特片和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束，本文介绍一个对象语义约束检验系统。     

动态模糊逻辑(DFL)程序设计语言的结构化操作语义

动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言.仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性.     

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.