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

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

Jordan导子的内导性

主要研究Jordan导子的内导性,从而得到套代数上任何一个导子都是内导子.     

代数体函数的一个基本不等式

本文得到了由定理2给出的代数体函数的一个基本不等式.     

分配P-代数的O-理想与核理想

研究了分配P-代数的O-理想和核理想的性质，证明了分配P-代数的O-理想与核理想是相同的理想。     

k阶伴随矩阵C*k(AB)的性质

对于给定的数域F上的n阶矩阵A,给出并证明了k阶子式阵Ck(AB)的伴随矩阵C*k(AB)的一个性质:C*k(AB)=C*k(B)C*k(A),从而使一般意义下的伴随矩阵的性质(AB)*=(B)*(A)*得到推广.     

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

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

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

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

不确定广义系统的鲁棒H∞控制

研究状态和输入矩阵含仿射型不确定性的广义系统鲁棒H∞控制问题,通过满足广义约束的代数Riccati不等式(GARI)给出此类不确定广义系统可以通过状态反馈二次可镇定且满足H∞范数界的充分必要条件,同时也给出了不确定广义系统可镇定与二次可镇定的关系及控制器的设计,并且可通过给定系统的已知信息求出控制器,最后给出数值算例验证所得结果·     

Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。     

零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统