The realization and structure of complete Lie algebras whose nilpotent radicals are Heisenberg algebras

The realization and siructure of complete Lie algebras whose nilpotent radicals are Heisenberg algebras over the complex field C are given.     

幂等元为本原的半群

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

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密码算法中的一些应用.     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

Poisson流形上李代数与Poisson辛李群的讨论

文章给出了Poisson流形上李括号的一些结论,并在Poisson流形P1,P2上定义了C^∞（P1）＋C^∞（P2）的{,}运算,验证了C^∞（P1）＋C^∞（P2）构成李代数,其次简单讨论了Poisson辛李群.     

代数迭代映射分支值的优化算法

以代数迭代映射动力系统的倍周期分叉问题为背景,研究出较精确计算代数迭代系统分支值的优化方法·以分支值为设计变量,映射点的最大开口量为目标函数,以映射点周期关系为等式约束和分支值分布范围为不等式约束,建立了关于分支值计算的新方法·通过两个代数迭代系统分支值实例分析计算,获得较高精度的结果·