共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
本文定义了George和Veeramani意义下的模糊度量空间的强嵌入,证明了可强嵌入的模糊度量空间能够粗嵌入到Hilbert空间.另外还证明了强嵌入在模糊度量空间的粗范畴下是不变的,并给出了模糊度量空间强嵌入的一些等价刻画. 相似文献
3.
谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器. 相似文献
4.
5.
6.
7.
一种新的中介真值程度的度量方法及模糊谓词的分解 总被引:1,自引:0,他引:1
以中介数学系统为背景, 为处理现实生活中普遍存在的模糊现象提供一种度量逻辑真值程度的新方法. 在建立了谓词的标准度概念后, 描述了谓词的真值与对应的数值区域之间的关系; 采用距离的概念, 并以对应谓词真值的数值区域长度为基准, 给出了一维情形下的个体真值程度函数以及基于真值程度函数的一元谓词的表示法.又在提出了λ-真值程度截集、数与谓词的乘积概念后,给出了关于一元模糊谓词的中介分解定理, 从而建立了一元模糊谓词与清晰谓词间的量化关系.应用示例表明:真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点. 相似文献
8.
周敏 《高校应用数学学报(A辑)》2017,32(3)
首先给出了半环的L-模糊理想同态的定义,在此基础上较系统地讨论了半环的L-模糊理想范畴的性质,证明了此范畴是半环范畴上的一个拓扑结构,并探讨了其中的等子、拉回和乘积等性质.另一方面,给出了半环的L-模糊理想范畴的逆系统的定义,建立了半环的L-模糊理想范畴中逆系统的逆极限结构.特别是在引入两个逆系统之间映射的基础上,得到了两个逆系统的逆极限之间的极限映射. 相似文献
9.
10.
本文引入了弱双曲不变集的定义,给出弱双曲不变集的一些性质,并证明了弱双曲覆盖映射是单一化结构稳定的. 相似文献
11.
主要目的是利用结构元方法求解收益模糊的贝叶斯纳什均衡.首先,在原有结构元理论基础上,给出了多元模糊值函数的定义及其结构元表示;其次,给出了在混合策略下,收益模糊的贝叶斯纳什均衡的定义,并证明了其存在性定理;然后,利用结构元理论,将该博弈模型等价地转化为一个经典的博弈模型,简化了原问题的求解.最后的应用实例说明了该方法的有效性. 相似文献
12.
13.
在直觉模糊集理论基础上,用梯形模糊数表示直觉模糊数的隶属度和非隶属度,进而提出了梯形直觉模糊数;然后定义了梯形直觉模糊数的运算法则,给出了相应的证明,并基于这些法则,给出了梯形直觉模糊加权算数平均算子(TIFWAA)、梯形直觉模糊数的加权二次平均算子(TIFWQA)、梯形直觉模糊数的有序加权二次平均算子(TIFOWQA)、梯形直觉模糊数的混合加权二次平均算子(TIFHQA)并研究了这些算子的性质;建立了不确定语言变量与梯形直觉模糊数的转化关系,并证明了转化的合理性;定义了梯形直觉模糊数的得分函数和精确函数,给出了梯形直觉模糊数大小比较方法;最后提供了一种基于梯形直觉模糊信息的决策方法,并通过实例结果证明了该方法的有效性。 相似文献
14.
给出了模糊预Dual quantale的定义,讨论了它的一些性质,并证明了模糊Dual quantale恰好是含有单位元的的模糊预Dual quantale。最后讨论了模糊预Dual quantale上L-核映射和L-理想余核的关系,证明了在一类特殊的模糊预Dual quantale-模糊预Girard quantale上L-核映射和L-理想余核是一一对应的。 相似文献
15.
16.
17.
18.
设G为直觉模糊二元运算下的直觉模糊群,给出了G子直觉模糊群和正规子直觉模糊群的定义,讨论并证明了子直觉模糊群和正规子直觉模糊群的一些性质。 相似文献
19.
本文给出Z^d上平移不变随机场熵率的两种定义,并利用随机场的平移不变性,强半可加性证明了两种定义的等价性,从而推广了随机场熵率的定义。该方法经过适当改变也可以用来证明一般格点上随机场熵率的存在性。 相似文献
20.
研究了一类带有执行器故障的T-S模糊系统的容错跟踪控制问题。设计中,把模糊控制与自适应控制相结合,提出了一种新的容错控制方法。该控制器由正常控制器和一个自适应控制器组成,能够使得闭环系统稳定,故障状态模型渐近跟踪正常模型,并获得优化的控制性能。应用Lyapunov函数和线性矩阵不等式方法,给出和证明了带有执行器故障的T-S模糊系统的稳定的充分条件。仿真结果进一步验证了所提出的方法的有效性。 相似文献