伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

L0* -Lindenbaum代数的结构与性质

讨论了L*系统的等价简化形式系统L0*系统中Lindenbaum代数的结构与性质.证明了(1)L     

代数群上由模糊(拟)伪度量诱导的拓扑

设G是一个代数群,(M,*)是G上的一个模糊(拟)伪度量.本文主要研究了由(M,*)在G上诱导的拓扑τ_M.主要结果有:设G是一个抽象群,(M,*)是G上的一个模糊伪度量,如果(M,*)是不变的,那么(G,τ_M)是一个拓扑群.     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

切触伪度量流形的特征向量场

设M2n+1为切触伪度量流形,ξ为M2n+1的特征向量场,主要研究切触伪度量流形的ξ-截曲率.当ξ为共形Killing向量场时,给出了M2n+1为K-切触流形的充要条件.     

关于(R(L),⊙)的等价刻划

Rodabaugh1985年定义并讨论了Fuzzy实直线R(L)上的乘法运算.本文对Rodabaugh的乘法运算作了简化,给出了它的一个简明的等价表达式,对Fuzzy 实直线R(L)上的加法运算也作了讨论,最后证明了R(L)上两个LF连续映射的和与乘积都为LF连续的.     

弱Specification和伪移位不变集

研究了弱Specification性质与紧致度量空间上连续映射的伪移位不变集的联系,得到的主要结果是:设f∶X→X是紧致度量空间连续自映射,若f具有弱Specification性质,则存在正整数M,使得fM具有伪移位不变集.     

L3^＊系统中逻辑度量空间的拓扑性质

研究了L3^＊系统中逻辑度量空间的拓扑性质,证明了逻辑度量空间（F（S）,ρ3）是不完备、非紧致零维空间,该空间具有一种类似于樊畿性质的所谓＂有限等球连通性＂。     

Boole代数上的几个新度量结构

设B是Boole代数,Ω是B到Boole代数{0,1}的全体格同态,μ是Ω上的概率测度,基于B中元素的尺寸的概念提出了元素之间的几个伪度量,建立了B上的度量结构,研究了其上运算的连续性及相互关系.     

相对极值超曲面的Bernstein问题

设x:M→ An+1是一个局部严格凸超曲面,由Ω(∈)An上的凸函数xn+1=f(x1,x2,…,xn)定义.作者研究了由△ρ=λ‖▽ρ‖2G/ρ所定义的相对极值超曲面解的问题,这里入是常值,△是局部严格凸超曲面上的关于Blaschke度量G的Laplacian算子.     

一类积分微分方程的稳定性定理

本文给出了一类积分微分方程零解的稳定性，以及该类方程的全部解属于L1[0, ∞）的充要条件。     

二维平面上一类非线性抛物方程的衰减性

主要利用Fourier分解方法讨论二维平面上一类非线性抛物方程弱解的时间衰减性,证明了其解在L2范数下的衰减速率为C(1 t) 12     

R2上一类非线性抛物型方程的最优衰减率

利用Fourier分解方法讨论了R2上一类非线性抛物型方程解的最优衰减率,证明了其解在L2范数下的衰减速率为(1+t)-tln(1+t) (t＞0),并得到其解的衰减下界为(1+t)-(1)/(2).     

Hardy空间上参数型Marcinkiewicz积分

主要得到了一类参数型Marcinkiewicz积分μρΩ是(Hp,Lp)型算子的结果,这里0＜p≤1,Ω是满足一定条件的零次齐次函数.     

富足变换半群

讨论了集X上变换之间的L*关系.证明了X上变换半群S是abundant(富足)半群,任一个半群均可以嵌入一abundant半群中.同时也讨论了几种特殊的abundant子半群等.     

L*逻辑系统中的函数决定公式问题

给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。     

一类非线性抛物方程的衰减估计

研究由不可压缩非牛顿流体理论抽象出来的一类非线性抛物方程的Cauchy问题．主要利用Fourier分解方法讨论非线性抛物方程弱解的时间衰减性,证明了其解在L^2范数下的衰减下界为(1 t)^-n/4,从而与在相同初始条件下的线性热传导方程的解有同样的衰减下界．     

L*-Lindenbaum代数中的滤子

利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.