基于多尺度几何分析和能量泛函的图像处理算法研究

论文摘要

多尺度几何分析和极小化能量泛函方法是当前数学图像处理和计算机视觉等领域最具代表性的两种研究范式,这方面的研究已引起广大学者的普遍关注。一方面新的成果不断涌现,另一方面,已有的成果仍存在许多值得进一步研究的问题。本文基于这两种范式,主要提出并解决了以下问题:1、针对图像的曲线状奇异性表征问题和Candes单尺度脊波框架的冗余问题,利用局部化原理和Donoho构造的正交脊波,提出了一种单尺度正交脊波紧框架。该框架不仅保留了Candes单尺度脊波的方向性,而且具有正交性。另外,针对边缘具有一定光滑性的图像,讨论了该框架对其的非线性逼近性。实验结果表明,所提单尺度正交脊波在图像压缩、图像恢复及图像去噪中均得到较好地应用。2、针对Starck分解模型在算法复杂度、纹理表征和噪声约束诸方面所存在的一些不足,提出一种基于基追踪的极小化能量泛函模型。该改进模型利用第二代曲波和波原子,分别表征含噪图像中的结构分量和纹理分量,并采用全变差半范约束分片光滑部分的结构性,同时利用Meyer所建议的广义齐型Besov范数对噪声分量进行约束,最后利用基追踪去噪算法,对新模型进行迭代求解。实验结果表明,所提能量泛函模型不但对噪声具有较强的鲁棒性,而且能使边缘和细小纹理信息保持稳定。3、为了解决多尺度几何分析在图像抑噪应用中出现的“虚假”效应问题,提出一种带变换域约束条件的极小化全变差能量泛函。该能量泛函将多尺度几何分析和极小化能量泛函方法有机地结合起来。首先对降质图像利用多尺度几何分析进行相应变换和非线性阈值,然后根据保留的变换系数确定可行域,从而建立所提能量泛函模型,最后利用投影梯度算法对其进行求解,并以有限脊波变换和第二代曲波变换为例,进行了图像抑噪仿真实验。实验结果表明,所提能量泛函在有效抑噪和保持边缘的同时,能够有效地抑制伪吉布斯振荡、“卷绕”伪直线和“曲波状”伪曲线等“虚假”效应,取得了较为理想的视觉效果。4、针对经典极小化能量泛函中平衡参数对图像振荡分量先验信息的过分依赖性,首先讨论了一类更为一般的Meyer分解模型,并证明了解的存在性和唯一性。然后将平衡参数视为尺度参数,提出一种分级多尺度极小化能量泛函,并导出一种图像的多尺度表示方法。同时,对这一多尺度表示方法的收敛性进行了理论分析。最后,利用BV近似W 1,1导出一种新的近似求解算法。数值实验结果表明,所提能量泛函在各类图像处理中均有较好的应用。5、针对图像恢复应用中,经典全变差正则化方法的阶梯效应和细小纹理信息丢失问题,从两种不同视角提出如下解决方案:（1）提出一种自适应正则化的极小化能量泛函,将图像分解为结构分量和振荡分量,其中对结构分量的正则化是通过TV光滑化和各向同性光滑化之间的插值得到,即依据图像局部特征进行一种自适应正则化;振荡分量被置于div（BMO）空间中加以讨论。此外,我们对所提能量泛函解的存在唯一性进行了理论证明,并导出其相应的Euler-Lagrange方程。实验结果表明,所提能量泛函在实际图像分解应用中,不但能够较好地保持边缘和细小纹理,而且有效地抑制了阶梯效应。（2）利用Meyer的振荡模式分解理论,提出了一种磨光流场的全变差正则化抑噪方法。该方法首先引入负指数Hilbert-Sobolev范数来度量逼近项,对图像水平曲线的法向量场进行全变差正则化磨光,然后构造一个曲面拟合能量泛函,对磨光后的流场进行拟合。最后,导出各能量泛函所对应的Euler-Lagrange方程,并利用有限差分法进行数值求解。实验结果表明,该方法在有效去噪的同时,能够较好地保持边缘和纹理信息,并且使阶梯效应也得到有效地抑制。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 图像的确定性模型
• 1.1.1 分布图像
• p 图像'>1.1.2 L^p图像
• n 图像'>1.1.3 Sobolev Hⁿ图像
• 1.1.4 BV 图像
• 1.1.5 Besov图像
• 1.2 图像的多尺度几何分析
• 1.2.1 多尺度几何分析的成因
• 1.2.2 多尺度几何分析的研究概况
• 1.3 图像处理中的极小化能量泛函
• 1.3.1 极小化能量泛函在图像处理中的应用研究概况
• 1.3.2 经典极小化能量泛函的基本理论
• 1.4 本文的主要工作
• 第二章 基于单尺度正交脊波框架的图像非线性逼近
• 2.1 引言
• 2.2 两种不同的脊波
• 2.2.1 Candès的脊波
• 2.2.2 正交脊波
• 2.3 单尺度正交脊波框架及其非线性逼近性
• 2.3.1 单尺度正交脊波框架
• 2.3.2 非线性逼近性
• 2.4 图像处理应用实验
• 2.5 小结
• 第三章 基于曲线波和波原子的图像分解
• 3.1 引言
• 3.2 一些基本理论
• 3.2.1 第二代曲波变换
• 3.2.2 波原子
• 3.2.3 广义齐型Besov空间的小波刻画
• 3.3 广义齐型Besov范数约束下的图像分解
• 3.3.1 Starck模型及其性能分析
• 3.3.2 改进模型的提出
• 3.3.3 模型的求解算法
• 3.4 仿真实验及其分析
• 3.5 小结
• 第四章 融合多尺度几何分析和TV正则化的能量泛函
• 4.1 引言
• 4.2 有限脊波变换
• 4.2.1 有限Radon变换
• 4.2.2 有限正交脊波变换
• 4.3 第二代数字曲波变换
• 4.4 全变差正则化模型
• 4.5 带变换域约束的TV极小化模型
• 4.5.1 新模型的提出
• 4.5.2 求解算法
• 4.6 仿真实验及分析
• 4.7 小结
• -1,∞)分解框架下的分级多尺度分解能量泛函'>第五章 (BV, W^-1,∞)分解框架下的分级多尺度分解能量泛函
• 5.1 引言
• 5.2 Meyer的振荡模式分解
• 5.2.1 Meyer 分解模型
• 5.2.2 解的存在唯一性
• -1,∞)分解'>5.3 分级多尺度(BV,W^-1,∞)分解
• 5.3.1 分级多尺度分解框架
• 5.3.2 初始尺度参数的选取
• 5.3.3 收敛性及多尺度性分析
• 5.3.4 数值求解算法
• 5.4 实验仿真及分析
• 5.5 小结
• 第六章 自适应正则化的图像分解能量泛函
• 6.1 引言
• 6.2 一类保纹理的TV扩散分解
• 6.3 自适应正则化分解模型
• 6.3.1 模型的提出
• 6.3.2 模型解的存在唯一性
• 6.4 模型的数值计算及实验
• 6.4.1 模型的数值计算
• 6.4.2 数值实验及分析
• 6.5 小结
• 第七章 一种全变差正则化流场的能量泛函
• 7.1 引言
• 7.2 图像的振荡模式分解
• 7.2.1 Meyer分解模型
• 7.2.2 Osher-Sole-Vese分解模型
• 7.3 全变差正则化流场的抑噪能量泛函
• 7.3.1 法向量流场的磨光
• 7.3.2 磨光流场的曲面拟合
• 7.4 数值实现及仿真结果分析
• 7.4.1 数值实现算法
• 7.4.2 实验仿真及分析
• 7.5 小结
• 结束语
• 致谢
• 参考文献
• 攻读博士学位期间论文发表及录用情况