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

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

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

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

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

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

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

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

全序幂等元剩余格

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

Harnack and HWI inequalities on infinite-dimensional spaces

In this paper, the dimensional-free Harnack inequalities are established on infinite-dimensional spaces. More precisely, we establish Harnack inequalities for heat semigroup on based loop group and for Ornstein-Uhlenbeck semigroup on the abstract Wiener space. As an application, we establish the HWI inequality on the abstract Wiener space, which contains three important quantities in one inequality, the relative entropy “H”, Wasserstein distance “W”, and Fisher information “I”.     

The global attractor of a non-local PDE model with delay for population dynamics in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we consider a non-local PDE model with delay for population dynamics in ℝ ⁿ . First, we prove the existence and uniqueness of weak solutions under some suitable decayed assumptions on non-local term at infinity. Then, we obtain the global attractor by proving ω-limit compactness property of the solution operator semigroup.     

Congruence triples on regular semigroups and their generalizations

In this paper, we introduce the concept of VT-congruence triples on a regular semigroup S and show how such triples can be constructed by using the equivalences on S/ℒ, S/R and the special congruences on S. Also, such congruence triples are characterized so that an associated congruence can be uniquely determined by a given congruence triple. Moreover, we also consider the VH-congruence pairs on an orthocryptogroup.     

Strong convergence theorems for strictly asymptotically pseudocontractive mappings in Hilbert spaces

The purpose of this paper is by using CSQ method to study the strong convergence problem of iterative sequences for a pair of strictly asymptotically pseudocontractive mappings to approximate a common fixed point in a Hilbert space. Under suitable conditions some strong convergence theorems are proved. The results presented in the paper are new which extend and improve some recent results of Acedo and Xu [Iterative methods for strict pseudo-contractions in Hilbert spaces. Nonlinear Anal., 67(7), 2258??271 (2007)], Kim and Xu [Strong convergence of modified Mann iterations for asymptotically nonexpansive mappings and semigroups. Nonlinear Anal., 64, 1140??152 (2006)], Martinez-Yanes and Xu [Strong convergence of the CQ method for fixed point iteration processes. Nonlinear Anal., 64, 2400??411 (2006)], Nakajo and Takahashi [Strong convergence theorems for nonexpansive mappings and nonexpansive semigroups. J. Math. Anal. Appl., 279, 372??79 (2003)], Marino and Xu [Weak and strong convergence theorems for strict pseudocontractions in Hilbert spaces. J. Math. Anal. Appl., 329(1), 336??46 (2007)], Osilike et al. [Demiclosedness principle and convergence theorems for k-strictly asymptotically pseudocontractive maps. J. Math. Anal. Appl., 326, 1334??345 (2007)], Liu [Convergence theorems of the sequence of iterates for asymptotically demicontractive and hemicontractive mappings. Nonlinear Anal., 26(11), 1835??842 (1996)], Osilike et al. [Fixed points of demi-contractive mappings in arbitrary Banach spaces. Panamer Math. J., 12 (2), 77??8 (2002)], Gu [The new composite implicit iteration process with errors for common fixed points of a finite family of strictly pseudocontractive mappings. J. Math. Anal. Appl., 329, 766??76 (2007)].     

E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。