正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

Hopf模代数结构

引进Ｈｏｐｆ模代数的概念,研究了Ｈｏｐｆ模代数的结构,证明了Ｈｏｐｆ模代数等价于Ｓｍａｓｈ积,从而给出了Ｓｍａｓｈ积的一种新的刻划。     

幂等元为本原的半群

对幂等元是本原的半群进行了讨论。特别地,证明了非零幂等元是本原的Ｅ－逆半群是一个ＴＥ－半群关于半群Ｓ的理想扩张,而半群Ｓ是完全０－直并关于一个ＴＥ－半群的理想扩张。     

广义smash积

引入了广义ｓｍａｓｈ积的概念,讨论了它的性质,推广了Ｙ．Ｄｏｉ有关方面所作的工作,改进了Ｙ．Ｄｏｉ的一个同构定理。     

C^＊—代数中的正逼近

讨论了Ｃ＊－代数中的正元逼近问题,研究了逼近度的一系列性质;应用Ｃ＊－代数的万有表示和Ｈａｌｍｏｓ关于正算子逼近的结果,证明了Ｃ＊－代数中的任一元都存在最佳正逼近并且给出了最佳正逼近的表达式。     

离散交换群上的万有Toeplitz算子代数

设G为一离散交换群,（G,G＋）为一拟偏序群．相应于这样的一个拟偏序群（G,G＋）,构造了一个万有Toeplitz算子代数．     

带挠性梁的充液飞行器边界控制

考虑在惯性空间中全充液挠性飞行器的控制模型,轻挠性梁一端固于刚体,另一端自由。系统动力学方程由主刚体欧拉方程、液体的平均化Ｈｅｌｍｈｏｌｔｚ方程和梁的欧拉方程耦合而成。研究表明,借用适当的作用于梁自由端的边界控制,作用于主刚体的控制力矩及作用于液体“等效刚体”的阻尼力矩,能使整个系统稳定。     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

Banach空间中非Lipschitzian半群的逼近序列的强收敛

C是一致凸B anach空间X中有界凸闭子集,X的范数一致G-可微,证明了渐近非扩张型半群的公共不动点集F(S)是C的sunny、非扩张压缩;给出了逼近序列{xt}的强收敛性,其中xt=atx (1-at)T(μ)xt.