Banach空间中的1阶Bessel序列

在Banach空间X中引入了1阶Bessel序列与Bessel算子的概念,证明了X上的全体1阶Bessel序列构成一个Banach空间;对X上的任意1阶Bessel序列f={fn}n∈Λ,引入了算子Tf:X*→l1,给出一个序列成为1阶Bessel序列的若干充分必要条件;引入(1,∞)阶对偶对的概念,证明了(f,g*)成为X×X*中的(1,∞)阶对偶对当且仅当Tf*Tg*|X=IX.     

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

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

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

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

关于凸性模的若干应用

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

锥预不变凸映射

研究拓扑向量空间锥半严格预不变凸映射和锥预不变凸映射的性质，证明了锥半严格预不变凸映射的局部弱有效解与锥预不变凸映射的局部有效解都是全局有效解，给出它们的一个梯度性质。     

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

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

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

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

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

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

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

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

离散广义系统的无源控制

将无源的概念从非线性系统扩展到离散广义系统 ,进而研究离散广义系统在有界能量外部输入作用下的无源控制问题· 利用线性矩阵不等式和广义代数Riccati不等式 ,给出离散广义系统容许且严格无源的充分条件 ,并且基于此条件给出存在状态反馈控制器 ,使得闭环系统容许且严格无源的充分条件 ,同时提出了相应的控制器设计· 最后的数值算例说明了文中结论的有效性