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

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

二元Meyer—Koenig—Zeller算子的二阶矩量

得到了单纯形上Meyer-K(o)nig-Zeller算子与三角域上Meyer-K(o)nig-Zeller算子的二阶矩量的准确表示式.     

一类分数次积分算子在Herz型Hardy空间上的有界性

给出了一类具有分数次积分性质的次线性算子在Herz型Hardy空间上的有界性质,特别地给出了在端点处的弱型估计.     

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

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

关于凸性模的若干应用

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

闭算子的广义逆的扰动及其应用

本文讨论了闭算子的M-P广义逆的扰动,并由此讨论首项系数本质无界的二阶散度型椭圆型微分方程的最小范数极小二乘解的稳定性.     

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

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

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

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

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

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

一类非单调二元算子方程的迭代解法

利用锥和半序理论，研究Banach空间一类不具有单调性的算子方程A（x,x）=x，其中A可表示A=A1＋A2,A1是混合单调的，A2是反向混合单调的，并得到了可解性定理．