关于Banach空间中C0半群的渐近稳定性

在一般Ｂａｎａｃｈ空间中建立了Ｃ０半群渐近稳定性的新结果,统一和发展了已有的工作,并举例服它是非平凡的推广。     

强严格凸和中点局部一致凸

证明了Ｂａｎａｃｈ空间Ｘ是局部一致非方的当且仅当对任意ｘ∈Ｓ（Ｘ）,都有ｄＸ（ｘ,１）＞０;Ｘ是强严格凸的当且仅当对任意ｘ∈Ｓ（Ｘ）,ｙｎ∈Ｓ（Ｘ）和α∈Ｒ,若‖ｘ＋αｙｎ‖→１和‖ｘ－αｙｎ‖→１,则α＝０;并证明了Ｘ是强严格凸的充要条件为Ｘ是中点局部一致凸的     

关于序半群的结构与理想

给出了序半群中有关极大理想、素理想、阿基米德序半群及u-序半群的若干结论,所得结果主要是satyanarayana M与Bowling G所给结果在序半群中的推广.     

有向路上的保向部分一一变换半群

设In是集Xn={1,2,3,…,n}上的对称逆半群,且有向路为ρ={（1,2）,（2,3）,（3,4）…（n-1,n）},令Iρ={α∈In：任意x,y∈dom α,（x,y）∈ρ→（xα,yα）∈ρ}∪{Ф}.证明了Iρ是一个类A子半群,研究了Iρ的Green＊-关系,进一步得到Iρ的＊理想.     

Forward-secure digital signature scheme with tamper evidence

Based on the definition of tamper evidence, the authors define a new notion of tamper evidence forward secure signature scheme （TE-FSig）, and propose a general method to build a TE-FSig scheme. Based on this method, they also give out a concrete instance. A TE-FSig scheme is constructed by the standard signature scheme, forward secures signature scheme and the aggregate signature scheme. It has an additional property of tamper evidence besides the property of forward secure, which can detect the time period when the key is exposed. In the standard model, the scheme constructed in the paper is proved to satisfy the prop- erties of forward secure, strong forward tamper-evidence secure, and strongly unforgeable under the chosen-message attack.     

一个强耦合系统正解的L~∞(0,T;H~1(Ω))估计

运用能量方法,通过采用嵌入定理、内插不等式建立了非线性强耦合生态系统正解的L(∞0,T;H(1Ω))估计.     

处理历史性记录的数据模型

为了弥补传统的数据库模型的不足,处理办公室自动化中遇到的大量的历史性记录,提出了对象历史模型来处理历史性数据。本文通过例子分析了对象历史模型的背景和目的,给出了对象历史模型的数学描述,讨论了对象历史的语义限制,如局部限制和回避坏子列限制,以及特殊的查询运算,并综述了国际上在对象历史上研究的动态和成果。     

Clifford半群的理想及中心的结构

对Clifford半群S＝[Y;G2,],本文证明了：①S的理想的集合为｛G2|K为Y的理想｝;②当所有的为满射时,S的中心Z（S）＝,且S上的格林关系为完备的半格同余．     

强夯地基黄土的动力特性参数及其与振动频率的关系

对非饱和的（特别是低湿度的）经强夯处理的黄土,在较高频率动载条件下的动力特性进行了试验研究,得出了强夯地基黄土动力特性参数与振动频率之间的一些关系。     

强偏微及其应用

在实函数中引入“强偏微”的概念,讨论了其与偏导数的关系,并给出了若干应用,其中可微的充分条件比Ｈｅｎｌｅ的条件更弱．