论文部分内容阅读
图像去噪是图像处理中一项比较关键且困难的问题,它是进行大部分图像操作技术的前提,并且需要得到较高的准确性。基于偏微分方程方法的图像去噪技术已很成熟,得到众多专业人士青睐,取得了很大成功,其中,使用基于变分法的模型进行图像乘性噪声去噪方面已经产生很好的成果,且为之后的研究奠定了基础。本文主要的研究内容是提出了变指数变分乘性去噪模型,证明了模型解的存在唯一性和比较原理,同时证明了演化方程解的存在性、唯一性及其相关性质。最后,给出了模型及加速算法的实验结果,并与经典模型进行了对比分析。乘性噪声与标准高斯(Gauss)加性噪声产生方式不同,本文根据Gamma噪声模型特点使用变分法来去除乘性噪声。首先,本文针对Dong等人变分乘性去噪模型,通过利用图像灰度值和高斯梯度模改进了正则项,构造了正则项变指数使其介于全变分模型和L~2正则模型指数之间,达到了既可抑制阶梯效应去除噪声,又保留边界和图像信息自适应的效果。理论方面,在以上提出的变指数变分乘性去噪模型下,本文证明了该模型极小化问题解的存在性,将其解的存在性转化为泛函极小元存在性,利用泛函严格凸性证明解的唯一性,然后利用上述解存在唯一性和空间性质得出比较原理;针对相应的演化方程,为了克服方程奇性和退化问题,首先定义了各项异性变指数Sobolev空间,然后定义了弱解,正则化演化方程,得到了解的预估计进而解决了方程奇性问题,在对正则的方程弱解定义中取极限,证明了极限满足演化方程弱解定义,从而弱解存在性得到证明。本文利用了方程本身性质和Gronwall不等式证明了解的唯一性和比较原理。数值方面,给出了有限差分离散格式,通过MATALB软件使用有限差分法和快速显式扩散方法FED(Fast Explicit Diffusion)将其实现,与经典去噪模型进行对比,并进行了实验分析。实验结果表明,FED快速算法可以提高算法效率,该模型从实验时间和实现效果上均优于经典乘性去噪模型。