直觉模糊时态逻辑算子及其性质

将always，sometime，until，unless等时态算子引入到直觉模糊逻辑中，提出了直觉模糊时态逻辑系统，并研究了该系统中时态算子的一些性质．     

广义扇形算子的无界扰动

利用广义正则点的概念和它的有关理论与方法,引进了广义预解式和广义扇形算子的概念．广义扇形算子拓广了扇形算子的概念,利用已知的扇形算子的稳定扰动,推广出广义扇形算子在A-有界下的无界扰动．     

压缩C半群生成元的扰动

研究了压缩C半群的扰动问题,利用C耗散算子的概念及性质,并借助半群扰动的相关理论,得到了压缩C半群的扰动定理。     

真值取在格积上的模糊逻辑

本文推广了刘叙华提出的广义模糊逻辑,在广义模糊逻辑中,要求对公式中不同原子的基例,其真值要取在同一个格上,本文提出真值取在格积上的模糊逻辑,即对于不同原子的基例,其真值可以取在不同格上的模糊逻辑。本文讨论了这种模糊逻辑的一般性质,并且证明了,对一阶谓词公式,在这种模糊逻辑中的不可满足性和在二值逻辑中的不可满足性是等价的。     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

群的（λ，μ）-模糊同态

模糊同态作为模糊代数学的重要概念，是相应经典概念的推广，它可以由不同的模糊映射产生．本文提出了（λ，μ）-模糊映射的概念，并且利用该（λ，μ）-模糊映射给出了群的（λ，μ）-模糊同态的定义，从而研究了（λ，μ）-模糊同态下（λ，μ）-模糊子群间的对应关系及若干性质，最后建立了λ，μ）-模糊同态基本定理．     

Menger PN空间上的Hahn-Banach定理

提出了MengerPN空间上线性算子范数概念,并利用范数概念进一步研究了MengerPN空间上概率强有界算子范数性质,得到了一类MengerPN空间上的Hahn-Banach保范延拓定理.     

雅戈尔算子的清晰域及其应用(英文)

模糊合成算子是模糊数据处理的核心技术。目前,在模糊评价中模糊算子的应用混乱,没有一般的方法可循。原因之一是扎德的模糊数学理论存在缺陷,另一方面是对算子的性质和数据的研究不够。清晰域是模糊合成算子的重要性质,在清晰域内的数据,计算结果是确定的,不具有模糊性,而在清晰域之外的数据有效。雅戈尔算子是参数算子,清晰域是变化的。研究了雅戈尔清晰域,它的大小是随参数增大而递减的;为了使清晰域不包含任何数据点,推导出了确定雅戈尔参数的计算公式,给出了雅戈尔算子在模糊评价中的应用方法,充分发挥数据的作用,用算例验证了这个方法的有效性。     

共轭Hahn—Banach定理

引入共轭集值映射的概念,讨论了它的性质.证明了共轭集值映射是由线性算子的凸集生成的,把Hahn-Banach定理推广到双次线性泛函的情形.作为应用讨论了Ioffe的广义微分概念。     

一类非线性系统的模糊自适应控制

针对一类非线性系统,把模糊T S模型和自适应模糊逻辑系统这两种模糊逻辑方式结合起来,提出了一种自适应控制方案.首先,采用模糊T S模型来对非线性系统建模,由线性矩阵不等式得到模糊模型的控制律.其次,构建了自适应模糊逻辑系统,应用自适应模糊逻辑系统补偿器来消去建模误差.证明了闭环系统满足期望的H∞性能,仿真结果表明了该方案的可行性.     

用模糊控制实现混合动力电动汽车动力优化

以混合动力电动汽车的燃油经济性和最低排放为控制目标,研究该类汽车动力系统的多目标优化方法,提出用模糊控制策略实现不同的控制目标。论文建立了模糊逻辑控制系统结构图和模糊逻辑推理规则,着重论述在混合动力汽车中建立模糊控制器的方法和过程。用仿真软件对普通电辅助控制和模糊控制两种情况下的工况进行模拟,得到SOC变化曲线。控制效果的对比表明,模糊控制策略适合于混合动力电动汽车控制。     

模糊规则中的不确定性推理研究

针对模糊规则中以真值形式表达的不确定性推理问题进行了深入的研究.首先完整地分析了规则中的前提、结论、证据、条件、推论和结果这6类命题的不同含义;然后根据规则应用的实际情况,提出了一种新的逻辑组合关系——广义逻辑关系;最后定义了模糊子集匹配度和模糊规则匹配度,并给出了相应的条件真值和结果真值推理算法,从而形成了完整的通用不确定性推理模型.     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

模糊逻辑控制技术在行驶车辆检测器中的应用

针对常规方法设计行驶车辆检测器的不足，采用模糊逻辑控制技术进行设计．所设计的行驶车辆检测器不受环境因素的影响，通过与常规控制的检测器相比，模糊逻辑控制的检测器不但提高了检测精度而且具有较好的抗干扰性能。     

关于k阶模糊关系的直觉模糊粗糙集

本文基于三角模研究了k阶模糊关系下的直觉模糊粗糙集,通过k阶模糊关系定义了近似算子及其性质.     

自适应模糊建模及其在船舶动力定位中的应用

针对船在海上其动力学模型很难精确建立,而且诸如风、浪、流等外部随机干扰的统计特性也在不断变化,作者在船舶动力定位中采用自适应模糊逻辑系统实时学习船的漂移动力学关系实现对系统的建模,并在此基础上预测为使船在下一时刻与预定位置误差最小所需的控制力,最终达到船舶动力定位的目的.仿真结果说明了该方法在不同海况下均能达到很好的定位控制效果.     

多输入多输出非线性系统的间接自适应模糊跟踪控制

针对多输入多输出非线性系统,把自适应模糊控制和自适应模糊辨识结合起来,提出了一种间接自适应模糊控制方案.由跟踪误差和辨识误差给出了参数调节规律,两种误差同时调节参数改善了系统性能.应用推广的模糊逻辑系统来估计多维未知函数,补偿器可抵消模糊逼近误差和外部扰动.控制方案保证了系统的稳定性,实现了跟踪.     

一类组合养老保险模式的智能信息处理模糊模型

以一类组合养老保险模式为背景,初步探讨了其思维决策过程的输入输出信息,简要介绍了涉及的判断型和决策型思维过程,针对抽象思维、形象思维和直觉思维三种思维形式的不同特征,运用各种方法建立起相应的模糊模型:采用模糊逻辑方法建立抽象思维的模糊逻辑推理模型,借助于模式识别的思想来建立形象思维的模糊模式识别模型,运用模糊数来建立基于L-R模糊数的直觉思维的模糊状态方程模型.     

解决Ad Hoc网络广播冗余竞争冲突的高效广播算法

针对盲目广播带来的广播风暴问题,提出了一种适用于Ad Hoc网络的跨层模糊逻辑广播算法(cross-layer fuzzy logic broadcasting algorithm,CLFBA).该算法应用跨层设计的方法,在保持原有介质访问控制层(medium access control,MAC)和路由层严格分离的基础上,允许路由层共享MAC的接收信号强度信息.采用模糊控制获得节点重播分组的概率,赋予增加通信面积大的节点和剩余能量高的节点较高的转发概率.CLFBA减少了广播过程中产生的冗余、竞争和冲突,均衡了网络中节点的能量消耗.仿真结果表明,与路由层应用泛洪和概率泛洪算法、MAC层应用IEEE802.11协议相比,CLFBA提高了转播节省率,延长了网络生命周期,降低了平均节点丢包率和平均端对端延迟.