一类核具有连续横截面变换半群的秩

设X_n={1,2,…,n}并赋予自然数序,MCK_n是X_n上核具有连续横截面保序或反序变换所构成的半群.K_n是MCK_n的最大正则子半群.本文将考虑K_n的理想K(n,r)={α∈K_n:|im(α)|≤r}(3≤r≤n-1).证明了K(n,r)的秩为(n-r+1)(n-r+2)(n-r+3)/6.     

非单C~*-代数α-比较性的等价刻画

给出非单C~*-代数α-比较性的等价刻画:当每个τ∈QT(■H)均为忠实时,■具有α-比较性,当且仅当对于任意的〈a〉,〈b〉∈Cu(■)且∝,若α·d_τ(a)≤在Cu(■)中成立;一般地,当QT(■H)≠Φ时,■具有α-比较性,当且仅当对于任意的,∈Cu(■),若存在η>0,使得d_τ(α)≤(α~(-1)-η)d_τ(b)(_τ∈QT(■H)),则≤在Cu(■)中成立.     

一类双曲型方程的Hamilton算子半群方法

将一类双曲型方程混合问题转换成一阶抽象Cauchy问题,证明所得Hamilton算子矩阵H在相应空间中生成压缩半群,并借助Fourier变换,采用一致连续半群做逼近的方法,得到H所生成的压缩半群,进而给出了问题的古典解.     

广义算子半群的PERRON问题

借助于广义算子半群和广义积分算子半群的关系,讨论广义算子半群的Perron型指数稳定性,研究了广义积分算子半群的渐近行为.     

半线性抛物方程在L2p空间中全局吸引子的存在性

本文研究了半线性抛物方程所生成的半群{S（t）}t≥0的吸引子的存在性.利用文献[1]中证明吸引子正则性的思想,分别得到半群{S（t）}t≥0在L^2p（Ω）空间中具有一个有界吸收集和一个全局吸引子.     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

退化C_0-半群族的指数稳定性

首先,应用泛函分析和算子理论在Hilbert空间中得到了关于退化C_0-半群指数稳定的充分必要条件.然后,讨论了退化C_0-半群族的指数稳定性问题,应用退化C_0-半群理论给出了充分必要条件.     

类型μ恰当半群的结构(英文)

本文的目的是用可消幺半群的强半格和基本恰当半群建立一类恰当半群的结构.首先,引入了类型μ恰当半群,然后构造了一类代数,Y-积.证明了每个Y-积是类型μ恰当半群;反之,每个类型μ恰当半群同构于一个Y-积.     

具有一种故障类型的二相关单元冗余系统的指数稳定性

利用C_0-半群理论证明了具有一种故障类型的二相关单元冗余系统非负解的存在惟一性,并研究了相应算子的谱特征,通过分析本质谱界经过紧扰动后的变化,得到了系统动态解以指数形式收敛于稳态解.最后,给出几个数值模拟的例子用来说明本文的意义所在.     

全序幂等元剩余格

研究了全序幂等元剩余格,给出了全序幂等元剩余格的另一种新的构造方法,并且得到了这类剩余格的结构定理,推广了相关文献的结论．