模糊离散事件系统中的最大可控模糊子谓词

本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个模糊谓词,它们的最大可控模糊子谓词的合取大于等于它们合取的最大可控模糊子谓词,析取小于等于它们析取的最大可控模糊子谓词。     

模糊度量空间的强嵌入北大核心CSCD

本文定义了George和Veeramani意义下的模糊度量空间的强嵌入,证明了可强嵌入的模糊度量空间能够粗嵌入到Hilbert空间.另外还证明了强嵌入在模糊度量空间的粗范畴下是不变的,并给出了模糊度量空间强嵌入的一些等价刻画.     

完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器.     

基于树的最小乘积模糊集代数

给出Σ-代数、Σ-树和Σ-树函数的定义.引入了最小乘积模糊集代数,以此研究了一类特定形式的Σ-树.讨论了线性正规等式下的等价类的封闭性,证明了Σ-运算满足分配律并具有保序性.     

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

基于模糊不变子群的上、下近似

研究群中集合的粗糙近似问题。利用分解定理和表现定理,定义了群中集合关于模糊不变子群的上、下近似,并给出了近似算子的性质。证明了子群的上、下近似在同态映射下的不变性质。     

一种新的中介真值程度的度量方法及模糊谓词的分解

以中介数学系统为背景, 为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法. 在建立了谓词的标准度概念后, 描述了谓词的真值与对应的数值区域之间的关系; 采用距离的概念, 并以对应谓词真值的数值区域长度为基准, 给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法.又在提出了λ-真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理, 从而建立了一元模糊谓词与清晰谓词间的量化关系.应用示例表明:真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.     

半环的L-模糊理想的范畴性质

首先给出了半环的L-模糊理想同态的定义,在此基础上较系统地讨论了半环的L-模糊理想范畴的性质,证明了此范畴是半环范畴上的一个拓扑结构,并探讨了其中的等子、拉回和乘积等性质.另一方面,给出了半环的L-模糊理想范畴的逆系统的定义,建立了半环的L-模糊理想范畴中逆系统的逆极限结构.特别是在引入两个逆系统之间映射的基础上,得到了两个逆系统的逆极限之间的极限映射.     

模糊数的积分变换

使用模糊数的联合隶属函数定义了模糊数的积分变换和逆积分变换,证明了模糊数在积分变换后的模糊数与原模糊数有相同的支撑与核.另外讨论了在积分变换和逆积分变换下保持不变时积分中基函数满足的充要条件,最后给出积分变换的两个应用.     

弱双曲覆盖映射的单一化结构稳定性

本文引入了弱双曲不变集的定义，给出弱双曲不变集的一些性质，并证明了弱双曲覆盖映射是单一化结构稳定的．     

求收益模糊的贝叶斯纳什均衡解的结构元方法

主要目的是利用结构元方法求解收益模糊的贝叶斯纳什均衡.首先,在原有结构元理论基础上,给出了多元模糊值函数的定义及其结构元表示;其次,给出了在混合策略下,收益模糊的贝叶斯纳什均衡的定义,并证明了其存在性定理;然后,利用结构元理论,将该博弈模型等价地转化为一个经典的博弈模型,简化了原问题的求解.最后的应用实例说明了该方法的有效性.     

梯形直觉模糊数集成算子及在决策中的应用研究

在直觉模糊集理论基础上,用梯形模糊数表示直觉模糊数的隶属度和非隶属度,进而提出了梯形直觉模糊数;然后定义了梯形直觉模糊数的运算法则,给出了相应的证明,并基于这些法则,给出了梯形直觉模糊加权算数平均算子(TIFWAA)、梯形直觉模糊数的加权二次平均算子(TIFWQA)、梯形直觉模糊数的有序加权二次平均算子(TIFOWQA)、梯形直觉模糊数的混合加权二次平均算子(TIFHQA)并研究了这些算子的性质;建立了不确定语言变量与梯形直觉模糊数的转化关系,并证明了转化的合理性;定义了梯形直觉模糊数的得分函数和精确函数,给出了梯形直觉模糊数大小比较方法;最后提供了一种基于梯形直觉模糊信息的决策方法,并通过实例结果证明了该方法的有效性。     

非线性多时滞系统的直接自适应模糊控制

针对一类单输入单输出非线性多时滞系统,提出了一种自适应模糊跟踪控制方案.该方案结合了自适应控制和H∞控制.构建了自适应时滞模糊逻辑系统用来逼近未知时滞函数;设计了H∞补偿器来抵消模糊逼近误差和外部扰动.根据跟踪误差给出了参数调节规律.证明了误差闭环系统满足期望的H∞跟踪性能.仿真结果表明了该方案的有效性.     

模糊预Dual quantale

给出了模糊预Dual quantale的定义,讨论了它的一些性质,并证明了模糊Dual quantale恰好是含有单位元的的模糊预Dual quantale。最后讨论了模糊预Dual quantale上L-核映射和L-理想余核的关系,证明了在一类特殊的模糊预Dual quantale-模糊预Girard quantale上L-核映射和L-理想余核是一一对应的。     

基于拟概率和模糊样本的学习理论关键定理

给出了模糊随机集基于拟概率的分布函数、期望的定义及性质,证明了模糊随机集基于拟概率的Chebyshev不等式、Hoeffding不等式和强大数定律,提出了基于拟概率和模糊样本的经验风险泛函、期望风险泛函以及经验风险最小化原则严格一致性定义,并证明了基于拟概率和模糊样本的学习理论的关键定理。     

模糊黎曼积分的拓广

给出了模糊黎曼积分的拓广定义,并证明了拓广的模糊黎曼积分在下方图度量和d1度量下可以通过有限个层次集逼近.     

一类模糊T-S模型互联系统的自适应容错跟踪控制

针对一类带有执行器故障的T-S模糊互联的容错跟踪控制问题,提出了一种模糊自适应容错控制器。该控制器由一个模糊控制器和一个自适应控制器组成,模糊控制器能够保证系统没有故障时闭环系统渐近稳定,而自适应控制器能够补偿系统的执行器故障。所提出的容错控制方法不但使得闭环系统渐近稳定、系统的输出渐近跟踪给定的参考信号,并获得H∞控制性能。最后应用Lyapunov函数和线性矩阵不等式的方法,给出和证明了带有执行器故障的T-S模糊互联系统的稳定的充分条件。仿真结果进一步验证了所提出方法的有效性。     

直觉模糊群的子直觉模糊群和正规子直觉模糊群

设G为直觉模糊二元运算下的直觉模糊群,给出了G子直觉模糊群和正规子直觉模糊群的定义,讨论并证明了子直觉模糊群和正规子直觉模糊群的一些性质。     

关于Z^d上随机场熵率存在性的推广

本文给出Z^d上平移不变随机场熵率的两种定义,并利用随机场的平移不变性,强半可加性证明了两种定义的等价性,从而推广了随机场熵率的定义。该方法经过适当改变也可以用来证明一般格点上随机场熵率的存在性。     

一类基于模糊T-S模型的有执行器故障的自适应容错跟踪控制

研究了一类带有执行器故障的T-S模糊系统的容错跟踪控制问题。设计中,把模糊控制与自适应控制相结合,提出了一种新的容错控制方法。该控制器由正常控制器和一个自适应控制器组成,能够使得闭环系统稳定,故障状态模型渐近跟踪正常模型,并获得优化的控制性能。应用Lyapunov函数和线性矩阵不等式方法,给出和证明了带有执行器故障的T-S模糊系统的稳定的充分条件。仿真结果进一步验证了所提出的方法的有效性。