用区间套定理证明Rolle定理、Lagrange定理

Rolle定理和Lagarange定理是两个重要的微分中值定理,它们是Cauchy定理的基础,进一步为L'Hospital法则求极限提供了理论依据.它们还是研究函数增减性、凹凸性的基础.它在整个微分学中起着把微分的概念和方法应用于许多数学物理问题的桥梁作用.本文用区间套定理给出它的另一种证明.     

基于小波分解的痕迹灰度图像边缘检测

针对痕迹图像边缘检测的特征，给出了一种新的基于小波多尺度分解的分层图象边缘检测方法，其基本思想是先对源图像进行小波多尺度分解，其次在不同尺度的子带图像上进行基于局部区域特征的软阈值滤波。最后再进行小波重构，以提取图像的边缘。实验结果表明，该算法比其它算法提高了痕迹图像边缘的检测精度，是十分有效的。     

预优矩阵及其构造技术

为达到预处理共轭梯度法(PCG)提高收敛速度，克服数值不稳定性目的，给出了构造预优矩阵的条件，并构造了三个典型的预优矩阵。它们是不完全Cholesky因子预优矩阵，对角预优矩阵和利用SSOR法导出的预优矩阵，且在PCG中是应用效果很好的预优矩阵。     

一种基于SPIHT的分层图像压缩方法

提出一种利用SPIHT算法进行图像分层压缩的编码方法,该方法首先利用图像平滑技术将图像分解为平滑部分和轮廓部分,然后以一定的编码率分别对它们进行编码.实验结果表明,合理分配各层的编码率,能够获得视觉效果比单独采用SPIHT编码更好的编码图像.     

关于线性规划问题解的讨论

用矩阵的奇异值分解和广义逆讨论标准线性规划问题解的存在性和唯一性问题。     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

一类结构不确定系统的摄动反馈分析与设计

对一类对象和控制器同时具有结构不确定摄动的闭环系统的鲁棒稳定性分析与设计问题进行了研究。利用Riccati不等式、H∞ 范数及矩阵分解等方法 ,得到了系统不确定参数的一种鲁棒稳定摄动界。进一步给出了已知系统参数摄动界时的标称控制器的设计方法。     

一个改进的Mihlin-Hrmander乘子定理

文章利用k阶Stein函数理论,通过减弱m(x)所满足的条件,得到了一个改进的Mihlin -H rmander乘子定理     

Improved Dissolve Detection for Video Segmentation

It is difficult to detect dissolve accurately in video segmentation. Two new parameters AEI and/DM are computed to describe dissolve. An improved method based on the change curves of AEI and/DM is proposed to detect dissolve accurately. The experiments show that this method can detect dissolve accurately.     

数值相对论简介(Ⅰ)--爱因斯坦方程

对数值相对论中涉及的一些典型的算法进行了简单的介绍.在广义相对论中,引力场是由一组极其复杂的、相互耦合的、非线性的双曲或椭圆偏微分方程决定的.由于大规模并行计算机的运行速度和存储容量的飞速发展,在爱因斯坦场方程写出80多年以后终于有可能对在天体物理中十分令人关注的现象如黑洞或中子星的碰撞问题等,进行广义相对论性的三维模拟,进而诞生了数值相对论.