关于室的几何的一个定理

木文中,在室的集合■上定义了两种半序“↑”与“↑↑”,并且证明了当C′,C∈■~+时.C′↑C与C′↑↑C是等价的。     

一类具有量词消去性质的偏序结构

对具Q.E.性质的一阶理论,一个直观是:其模型中元素的分布是相当“均匀”而无“奇点”。在线性序场合,此直观对应于“稠密性且无端点”。拓广到偏序场合,下列一组公理看来是非常自然的(见文献[1]中引理6.7):     

一类非线性发展方程的α—温和解的存在唯一性

研究了一类积微分方程在粘弹性问题上的应用，证明了α－温和解的局部存在性，唯一性和正则性。我们推广了Gromwall引理，获得了一个先验估计，由此我们验证了α－温和解的整体存在性别。     

一类发汗控制系统的解及对控制参数的连续依赖性

对[1]中提出的一类热防护发汗控制系统模型,本文用算子半群的方法证明了在非烧蚀情况下的解的存在唯一性,并进一步证明了解对控制参数的连续依赖性.     

关于无穷维线性系统稳定性的新结果

设H是Hilbert空间,其上的内积和范数分别记作<·,·>与‖·‖。设A是H上线性算子,ρ(A)表示A的豫解集,R(λ;A)表示A的豫解算子,R=(—∞,∞)。就Hilbert空间上C_0半群的指数稳定性而言,我们有定理1 设τ(t)是H上线性算子A生成的C_0半群,则τ(t)是指数稳定的充要条件是     

算子的谱界与半群的增长阶相等的一个充分条件

本文给出了S(A)=W_0的一个充分条件。     

Hilbert空间上非Lipschitzian拓扑半群的遍可收敛定理

设Ｃ是Ｈｉｌｂｅｒｔ空间Ｈ 中的百在空子集，Ｇ是交换拓半群，Ｓ＝｛Ｔｔ：ｔ∈Ｇ｝是Ｃ上渐近非扩张型半群，ｕ（．）是Ｓ的有界殆轨道，     

有限偏序集中Moebius函数的一种计算方法

利用有限偏序集上的Moebius反演，求出该偏序集上的Moebius函数。     

双星图的E—H不可收缩性

如果图Ｘ的自同态么半群ＥｎｄＸ和图Ｘ的半强自同态子半群ＨＥｎｄＸ相等，则称Ｘ是Ｅ－Ｈ不可收缩的。该文证明了双星图图是Ｅ－Ｈ不可收缩的。