Fuzzy蕴涵代数的t-范及其性质

Fuzzy蕴涵代数是[0,1]值逻辑蕴涵联结词的一种代数抽象.本文在Fuzzy蕴涵代数中讨论了其上t-范的性质,并给出了Fuzzy蕴涵代数成为偏序半群的一个条件.     

Fuzzy关系的α广义分解

在[0,1]格上讨论了Fuzzy关系α广义可分解问题,证明了[0,1]格上的任一Fuzzy关系R都是α广义可分解的,且给出了R的α广义分解解集.     

模糊逻辑代数的Loomis—Sikorski表现定理

通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理.     

[0,1]区间上的r重正交多小波基

本文利用L2（R）上的紧支撑正交的多尺度函数和多小波构造出有限区间[0,1]上的正交多尺度函数及相应的正交多小波.本文构造的逼近空间Vj[0,1]与相应的小波子空间Wj[0,1]具有维数相同的特点,从而给它的应用带来巨大方便.最后给出重数为2时的[0,1]区间上的正交多小波基构造算例.     

HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

用泛函观点看LEBESGUE积分

从泛函分析观点来看Lebesgue积分,使得Lebesgue积分可以用泛函分析最简单最基本的方法独立导出．基本做法是将Riemann对于区间[0,1]上的连续函数的积分看成连续函数空间C[0,1]上的连续线性泛函,再将它“自然”延拓到C[0,1]在积分范数意义下的完备化空间,而这个完备化空间正是Lebesgue可积函数空间L1[0,1]．     

Sturm-Liouville问题的特征值对势函数的依赖性

研究了定义在[0,1]上的Sturm-Liouville问题的特征值对势函数的连续依赖性.应用比较定理和定义区间单调性证明了:当部分区间[x0,1]上的势函数趋于无穷大时,[0,1]区间上的特征值渐进趋近于[0,x0]区间上的某个特征值.推广了一些作者对Sturm-Liouville问题研究的相应结果,并为其相应问题的研究提供了一个新的视角.     

n维空间的Peano曲线

那汤松在文献[1]里,叙述了 Hilbert 关于平面上的 Peano 曲线的构造,并向读者提出了几个问题,其中第四个问题是:“构造三维空间的 Peano 曲线,即在给定的区间[0,1]上,构造这样的三个连续函数(?)(t)、(?)(t)、(?)(t),使所有的点((?)(t),(?)(t),(?)(t))的集合与立方体[0,1]×[0,1]×[0,1]重合”.本文将更一般地、解析地给出在 Jordan 意义下的 n 维欧氏空间的 Peano 曲线 (n≥2),即在区间 [0,1]上,给出 n 个连续函数x_1(t),x_2(t),…,x_n(t),使所有的点 (x_1(t),x_2(t),…,x_n(t))的集合与 n 维立方体[0,1]×[0,1]×…×[0,1] 重合.首先,在区间[0,2]上定义函数     

（QU）型Fuzzy拓扑群的Fuzzy一致化与Fuzzy度量化

本文沿用[1-3]的一些名词和记号,设X为非空普通集,X为X上所有Fuzzy点组成的集,λ表取常值λ的Fuzzy集,记[0,1],(O,1]为I、I_0;以I~(X×X)表X×X上全体Fuzzy集,N为自然数集.     

MV-代数的Fuzzy拓扑表现定理

以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集．本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质．     

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

幂指对函数一例

题 下列函数,在区间[0,1]上为减函数的是( )     

n维正方体上的一种排列

n维正方体上的一种有限制的排列用来计算Fuzzy开关函数的个数是比较有成效的,其结果比文[1]、[2]好得多。本文所用的点均属于{0,1/2, 1}~n,下面先引进一些定义。     

满Lebesgue测度的D_λ-攀援集

对任意实数λ∈[0,1],在区间[0,1]上构造一个连续自映射,使得它有一个由传递点构成的且Lebesgue测度为1的D_λ-攀援集.这加强了分布混沌的相应结论.     

一个简单的维尔斯特拉斯函数

从数学分析知函数在某区间上可微则必连续,但反之未必;本文构造一个函数,并证明了它在[0,1]连续且处处不可微.     

外尔斯特拉斯逼近定理的概率证明

在外尔斯特拉斯逼近定理的各种证明中,伯恩斯坦的证明比较最普通,颇有感染力。因为它的证明是构造性的。其结论是:如果f是区间[0,1]上的连续实值函数,伯恩斯坦多项式序列     

区间值函数与模糊值函数的无穷积分

[1]中推广了区间值函数积分的定义,建立了Fuzzy值函数积分的概念。本文正是在此基础上给出了无穷区间上区间值函数和Fuzzy值函数的定义,进一步给出了它们的积分的定义,以及积分收敛的性质定理和判定定理。     

三值逻辑系统W3中的随机化研究

利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点.     

区间效应代数的张量积

本文主要研究了区间效应代数的张量积的结构.证明了[0,]与[0,1]的张量积不是[0,1].     

关于一类插值样条函数

在实用上有时不仅需要考虑插值样条函数,同时对样条函数的凹向也有一定要求.对 此我们在这里考虑一类插值样条函数. 设f(x)是区间[0,1]上定义的函数,f∈C[0,1],