几何热流在数字图像处理中的应用

几何热流在数字图像处理中的应用【摘要】：本文的主要工作是运用几何分析的方法研究了一个源于图像处理中的实际问题，即如何从彩色图像中的诸多目标中提取出特定目标的轮廓，为此我们将此问题转化为一个变分问题，对原有的测地活动环路模型和Chan-Vese模型进行了改进，并从理论上严格证明了这些新得到的曲线水平集演化方程解的存在性和唯一性，此项研究充实了当前基于几何偏微分方程的图像处理方法中的理论基础部分，本文也通过数值实验，验证了改进后的模型的有效性，本文的主要研究成果有以下几个方面：1．对测地活动环路模型的改进。我们首先用统计分析的方法，通过对特定目标所在区域中选取的样本点进行主成分分析，由此构造出一个特定目标的判别函数，并将其融入到传统的边界停止函数中。这样，这个新的边界停止函数不仅与图像的亮度的梯度有关，还与图像中特定目标的颜色特征有关。我们将这个新的边界停止函数用于传统的测地活动环路模型中，在新的边界停止函数的影响下，演化曲线仅在图像中的特定目标的边界处停下来，这样就达到了对彩色图像中特定目标的轮廓提取，改进后的模型的关键是要去求解一组曲率演化方程，我们利用粘性解理论和经典的几何分析手法，如梯度估计，极大值原理等，证明了该演化方程的粘性解的存在性、唯一性及稳定性，但该模型尚不能提取出特定目标的内部轮廓，这有待于下述模型的改进。2．Chan-Vese模型的改进。我们在传统的Chan-Vese模型中加入了上述的新的边界停止函数，从而提出了一个新的活动轮廓的变分模型。新模型在利用图像边界的梯度信息作为演化曲线停止标准的同时，也继承了原来的Chan-Vese模型的全局性的优点，从而在图像轮廓提取时，可以同时提取目标的内部和外部边界。与原来的Chan-Vese模型不同的是我们的模型避开了Dirac函数，这也就在数值实验中避开了由于Dirac函数的不同近似带来的数值解的不确定性，我们利用粘性解理论，经典的偏微分方程理论知识，以及Schauder不动点定理证明了由这个模型所导出的演化方程组的解的存在性和唯一性。3．基于BV函数理论的Chan-Vese模型的另一改进。为了避免数值实验中对水平集的重新初始化，我们利用符号距离函数的性质，用水平集函数定义了一个惩罚能量，将这个惩罚能量加到上述已改进了的Chan-Vese模型的泛函上去，就可得到了一个新的变分泛函。我们用BV函数空间的理论，BV函数空间的紧性和下半连续性证明了这个变分模型的极小解的存在性。也正因为这种改进，使得初始水平集函数可以取为分段光滑函数。因此，我们可以更充分地利用特定目标判别函数的性质，来定义初始水平集函数，使得所得到的初始曲线(零【关键词】：数字图像处理几何热流方法粘性解梯度估计极大值原理Schauder不动点定理BV函数空间下半连续性曲线演化水平集方法特定目标特定目标判别函数测地活动环路方法Chan-Vese模型彩色图像分割主成分分析区间估计【学位授予单位】：华东师范大学【学位级别】：博士【学位授予年份】：2006【分类号】：TP391.41【目录】：第一章绪论11-201.1引言11-121.2数字图像分割技术概述12-151.3图像处理中的几何热流方法15-181.4本文的主要研究内容和结果18-20第二章准备知识20-252.1能量泛函的一阶变分计算20-222.2水平集方法22-25第三章改进的测地活动环路模型25-393.1测地活动环路方法介绍25-263.2改进的测地活动环路方法26-293.3粘性解的存在性、唯一性和稳定性29-313.4数值实验31-373.5结论37-39第四章改进的Chan-Vese模型(一)39-694.1Chan-Vese模型介绍39-424.2新变分模型的提出42-454.3解的存在性和唯一性45-644.4数值实验64-674.5结论67-69第五章改进的Chan-Vese模型(二)69-785.1新模型提出69-705.2能量泛函的极小解的讨论70-745.3数值实验74-775.4结论77-78第六章总结和未来研究展望78-816.1总结78-796.2未来研究展望79-81附录AThomas算法81-83附录B主成分分析方法83-85附录C结构条件的讨论85-90参考文献90-98致谢98-100论文目录100本论文购买请联系页眉网站。