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

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

函数插值在Flash动画补间中的应用研究

探讨在flash中用ActionScript代码来进行动画补间的方法。介绍几种函数插值的动画补间，最后讨论使用函数插值的一般方法。     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

关于一类三角多项式差分插值的正则性

本文通过引进差分算子,在结点处对函数和它的m阶差分同时插值,给出了这种插值为正则的一个充要条件,并求出满足条件的三角多项式的显式表达式.     

关于凸性模的若干应用

改进和推广了Kadecˇ凸性模定理,并讨论了凸性模对无条件收敛级数和算子级数的应用.     

板几何中一类具周期边界条件迁移算子的谱分析

分析了板几何中一类与时间有关的具周期边界条件的线性迁移方程一些谱的性质，证明了：这类迁移算子的谱在区域中仅由有限个具有限代数重数的离散本征值组成，并证明了该迁移算子的占优本征值的存在性等结果。     

基于Grover算法的量子多用户检测

经典的多用户检测技术，其求解最优解的时间复杂度为0(2n)，这是一个NP难解问题．在Pauli算子的基础上建立量子多用户信道模型，给出利用Grover算法的多用户检测解决方法．该算法的时间复杂度为O(√2n)，并且当2n足够大时，其错误的概率趋近于0．     

一类凹(凸)增算子的不动点定理

引入弱序Lipschitz条件,研究了Banach空间中不具有任何紧性或连续性条件的一类凹(凸)算子不动点的存在性,得到了新的不动点定理,是某些已有结果的本质改进和推广.     

蜂窝网络中基于遗传算法的信道分配

信道分配问题属于组合优化中的NP完备问题 ,为了更有效的利用频率资源 ,在遗传算法的基础上提出了一种新的信道分配方法·在信道分配中主要考虑三种限制 :同频限制、邻频限制和同位置限制·目标是得到一个用最少的信道数 ,满足话务需求和电磁兼容限制的信道分配方案·采用了最小间隔编码方案 ,利用固定遗传算子 (交叉和变异 ) ,在整个迭代过程中始终满足话务需求的要求·提出了几种遗传算子并进行了验证 ,比较结果表明选择性变异技术能得到很好的结果·对几个著名的benchmark问题进行仿真 ,结果表明 ,它对解决信道分配问题是一个非常有效的方法     

伪微分算子作用下小波变换中的误差分析

通过对文献[1，2]的研究，在常系数伪微分算子作用下的小波变换中，得到一些新的结论。