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

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

Fresnel圆孔衍射研究

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

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

BCH-代数中的广义结合理想与拟右交错理想

给出了广义结合BCH-代数、强BCH-代数、BCH-代数的拟右交措理想、BCH-代数的理想、广义结合理想、次广义结合理想等概念。讨论了广义结合BCH-代数中理想与广义结合理想的关系;广义结合理想与次广义结合理想的关系;强BCH-代数与广义结合BCH-代数的关系;广义结合BCH-代数与广义结合BCI-代数的关系;BCH-代数的拟右交措理想与理想的关系.进而证明了:BCH-代数是拟右交措的当且仅当它的任意理想是拟右交措的。     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

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

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

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

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

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

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

基于MATLAB/SIMULINK交流调速系统的仿真研究

从异步电动机的数学模型着手，介绍一种基于MATLAB／SIMULINK的异步电动机仿真模型，使用时只需要输入不同的电动机参数即可。在此基础上设计一个典型的矢量控制系统，然后利用MATLAB／SIMULINK仿真软件对该控制系统进行仿真研究。     

基于OpenGL的线积分卷积的实现

基于 OpenGL实现了科学计算可视化中传统的线积分卷积算法,因 OpenGL能达到的数据精度较高,此方法取得了和快速线积分卷积算法相似的效果,在矢量场可视化中仍有重要的实用价值.