模糊模态命题逻辑及其广义重言式

首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M 系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M 只有三种广义重言式.     

模态逻辑系统S5中极大相容理论的结构刻画

在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.     

模态逻辑S4的覆盖语义及其完备性

 基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.     

基于多值逻辑的模糊逻辑函数分析与综合

本文首先提出了模糊逻辑和多值逻辑的相似性，并从开关信号理论出发建立了多值逻辑阈运算和模糊函数取值区间有限等级的对应关系，进而提出了利用多值逻辑阈运算实现模糊逻辑函数分析与综合的算法，并用该算法对几个模糊逻辑函数实例进行了分析与综合，实例操作表明，该算法具有操作简单，规范，方便快捷的特点，是分析和综合模糊逻辑函数的有效方法。     

模糊控制和模糊控制芯片

本文对模糊逻辑及模糊控制的基本概念、发展过程、应用领域进行了论述，探讨了模糊算法各个部分（模糊化、规则的选取与调整、各种算子、去模糊等）的功能和作用，介绍了目前受到广泛关注的模糊逻辑与人工神经元网络及专家系统相结合的一些方法，最后讨论了各种模糊控制的实现方法以及各种模糊控制芯片，特别是电流型多值模糊控制芯片的发展．     

Properties of Measure-based Fuzzy Logic

1　ＩｎｔｒｏｄｕｃｔｉｏｎＡｓｉｓｋｎｏｗｎ ,ｔｈｅｒｅａｒｅｖａｒｉｏｕｓｓｙｓｔｅｍｓｏｆｆｕｚｚｙｌｏｇｉｃ[1～2 ] .ＴｈｅｍｏｓｔｐｏｐｕｌａｒｏｎｅｉｓｂａｓｅｄｏｎＺａｄｅｈ’ｓｆｕｚｚｙｓｅｔｏｐｅｒａｔｏｒｓ.ＴｈｅｒｅａｆｔｅｒｗｅｗｉｌｌｄｅｎｏｔｅｔｈｉｓｓｙｓｔｅｍａｓＺａｄｅｈ’ｓＦｕｚｚｙＬｏｇｉｃ(ＺＦＬ) .Ａｎｅｗｓｙｓ ｔｅｍｗａｓ ｐｒｏｐｏｓｅｄ[3～ 5] ｗｈｉｃｈｉｓｃａｌｌｅｄＭｅａｓｕｒｅ ＢａｓｅｄＦｕｚｚｙＬｏｇｉｃ(ＭＢＦＬ) .Ｉｔｉｓｆｏｕｎｄｅｄｏｎｔ…     

模糊线性时序逻辑的可实现性

模糊线性时序逻辑（fuzzy linear temporal logic）被应用于刻画模糊系统的规范语言,其可实现性（realizability）用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成（synthesis）的基本思想是：给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质（最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.     

DC/DC变换器自适应模糊逻辑控制器设计

文章为DC/DC变换器设计了一种自适应模糊逻辑控制器（AFLC）。所提出的AFLC不需要专家系统提供决策参数和控制规则,而是使用模型数据文件来产生参数和规则,该模型数据文件包含输入输出对的整体概况。所提出的控制器使用8位微控制器来实现降压、升压和降压-升压变换器。     

不确定型模糊Kripke结构的计算树逻辑模型检测

本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词∃和任意量词∀在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词∃_sup,∃_inf和∀_sup,∀_inf,分别用于替换存在量词∃和任意量词∀.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式∃_suppUq,∀_suppUq,∃_infpUq和∀_infpUq分别给出时间复杂度为对数多项式时间的改进算法.     

基于模糊集理论的语音情感识别

本文提出了一种基于模糊集理论的情感特征识别方法,实现了对3种情感的识别：欢快、愤怒和悲伤。利用提取的情感语句全局统计特征参数,对从10名话者中搜集的100句情感识别语句,获得了不错的平均情感识别率。