高阶微分中值定理及其应用

利用向量形式的微分中值定理,把一阶微分中值定理推广到全新的高阶微分中值定理,并研究了它的应用．     

一种改进的树形矢量量化编码算法

矢量量化中的一个最严重的问题是在一本码本中搜索最近码字的高计算复杂度。本文在研究树形矢量量化的基础上提出了一种改进的树形矢量量化编码算法。实验结果表明,本文提出的编码算法相对于树形矢量量化算法可大大改善峰值信噪比（ＰＳＮＲ）。     

TPV模与TPV环

在遗传扭论中定义并刻划了ＴＰＶ模与ＴＰＶ环,证明了交换ＴＰＶ环是Ｔ正则环。     

一类二维非线性对流扩散问题的特征—差分法

研究了一类具有Ｄｉｒｉｃｈｌｅｔ边界的二维非线性对流扩散问题的特征—差分法,建立了基于双线性插值的特征—差分格式,给出了其最大模估计。     

关于非奇异模的若干结果

本文研究了模的非奇异性和闭性的关系,进而给出了半单环的一些新的刻划。最后,给出了一个关于Artin环的定理。     

跳帧转换编码中的运动矢量修正

在跳帧转换编码中,利用前向向量法进行运动矢量合成可以得到较好的图像信噪比。本文提出了用HAVS快速搜索算法对合成的运动矢量进行修正的方法,同时给出了一个最佳搜索窗口。实验结果表明,在±2像素内,用HAVS算法对合成的运动矢量修正,既能明显提高图像的信噪比,同时又能最大限度的降低计算量。     

Fresnel圆孔衍射研究

Frosnel圆孔衍射是光学中的重要内容之一，目前大多讨论的是单色发散点光源经小孔后衍射会聚波在轴线上的光强分布规律，较多使用半波法和矢量图解法．本文从惠更斯-菲涅尔原理出发，并对单色发散球面波和单色会聚球面波入射经小孔后会聚衍射光波和发散衍射光波的衍射规律作了研究，得出了一些有意义的结论.     

影响巷道顶板稳定的关键块体的受力分析

针对巷道开挖后,围岩体中成因各异、种类不同的弱面将巷道围岩体分割成不同几何形状、不同尺寸的块体,且部分块体暴露在巷道的临空面上,由于相互摩擦及挤压形成不稳定平衡。其中某关键块体的受力、结构形状以及裂隙弱面的强度性质决定该巷道顶板的变形及稳定性。针对该关键块体可能的组合运动趋势(滑动、倾倒),用矢量分析理论给予受力分析,给出了巷道稳定平衡的条件,为完善巷道支护提供了理论依据,并在实践中得到应用。     

中国境内IGS站数据处理及地壳运动研究

利用中国境内国际GPS大地测量和地球动力学服务(IGS)站的GPS单天数据,使用GAMIT软件对其进行基线解算.以单天解的基线结果作为输入量,利用所介绍的台站漂移数学模型,求解台站漂移速度,得到地壳运动信息;再根据板块运动欧拉定理,求解中国大陆整体的欧拉矢量.结果表明,在ITRF2000框架下,求解的台站漂移速度与IGS公布的结果相近,由此求解的中国大陆整体的欧拉矢量与采用IGS公布数据计算的结果相近.     

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

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