水平未知时一种图像恢复正则化算法(图像和数字图像的定义,图像的退化模型)

更新时间:2023-08-20 00:05:01 阅读量: 高等教育 文档下载

说明:文章内容仅供预览,部分内容可能不全。下载后的文档,内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的,是否完整无缺。

分类号密级

UDC:编号

学位论文

噪声水平未知时一种图像恢复正则化算法

柳建军

指导教师姓名肖庭延教授河北工业大学

申请学位级别硕士学科、专业名称:应用数学

论文提交时间2005年6月论文答辩时间:2005年6月

学位授予单位河北工业大学

答辩委员会主席

评阅人:2005年6月

噪声水平未知时一种图像恢复正则化算法

摘要

图像恢复是图像信息处理中的基本问题之一.近年来,其技术广

泛应用于射电天文学、卫星遥感、医学成像、工业视觉等领域.恢复的方法有正则化方法、迭代方法、统计方法等.

针对噪声水平未知情况,本文改进了R.Youmaran和A.Adler提

出的图像恢复双参数(a,N)正则化框架。具体方面包括:正则参数。的选取基于L一曲线准则迭代确定;将需要很大存储量的Euler方程求解转换成等价的只需很少存储量的极小化问题,用共轭梯度最小二乘法求解;共轭梯度最小二乘法迭代次数N由问题精度要求自适应产生;基于粗糙初值的正则参数迭代初值的快速选取等。

对两种具有代表性的图像降质模型(均匀模糊和Gauss模糊)进

行大量数值试验的结果表明此方法具有较快的收敛速度和较好的恢复能力,改进信噪比(ISNR)普遍提高0.3db以上.同时,本方法程序全部应用matlab语言在台式电脑上实现,希望对在台式电脑上进行实时高效图像恢复工作有促进作用.

关键词:图像恢复,正则化方法,L一曲线准则,迭代确定正则参数,双参数框架,

壁曼壅王墨塾壁=塑璺堡堡墨垂型垡基鎏

Aregularizationmethodforimagerestorationwithoutknowingnoise

level

ABS’I’RACT

Imagerestorationisoneofthebasicproblemsindigitalimage

processing.Inrecentyears,thetechnologyiswidelyappliedinmang

fields,suchasradioastronomy,sateliteremotesensing,medicalimag-

ingandindustyvision.Theusualmethodsincluderegularization

method,iterativemethod,stochasticmethodandSOon.

Inthisthesis.animprovedcombiningregularizationframework

oftwoparameterstype,proposedbyR.YoumaranandA.Adler,is

presentedanddiscussedforstableimagerestorationwithoutknowing

noiseleveloftheinputdata.Somedetailsoftheimprovementsin—

cludetheadoptionofwell—-knownL-curvecriterionwith

techniqueforaaspeed uproughinitialvalueofregularizationparameter,the

translationofEulerequationrequiringverylargeamoutofstorage

toanequationrequiringmuchlessmemory,therelatedanalysisand

proof,thedesignofthenewalgorithmandSOon.

Thetheoreticanalysisandnumericalexperimentsresultshave

shownthatournewalgorithmhasfastconvergencespeedandgood

arerestorationeffect,andvaluesofISNRimprovedupon0.3dbgen—

onerally.We

inachieveallthenumericalexpermentstogiveapersenalcomputerMatlablanguageandwishhandonthisworks.

KEYWORDS:imagerestoration,regularizationmethod,L—curve

criterion,choosingregularizationparmeter,frameworkoftwoparam—

eterstype

Il

塞童壅!垂垫坠=塑里堡堡基重型堡篁鎏

符号说明

h(x,a;Y,卢)

日+

Mo

n[fl

SⅣR

RSNR

ISNR

1V降质系统算子或系数矩阵点源扩散函数空间F上的距离正则参数H的广义逆Tikhonov展平泛函稳定泛函噪声水平相对于d、ot的正则解信噪比正则化图像信噪比改进信噪比

独创性声明

本人郑重声明:所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果.尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写的研究成果,也不包含为获得河北工业大学或其他教育机构的学位或证书所使用过的材料.与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意.

学位论文作者签名:朽胡骜日期:p步.6.fo

关于学位论文版权使用授权的说明

本学位论文作者完全了解河北工业大学有关保留、使用学位论文的规定.特授权河北工业大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅.同意学校向国家有关部门或机构迭变论文的复印件和磁盘.

(保密的学位论文在解密后适用本授权说明)

学位论文作者签名:

导师签名日期:妨.6、Ib日期:矶够.矗旧

河北工业大学硬士学位论文

第一章绪论

511问题的提出:从不适定问题角度诠释图像恢复

21世纪是一个充满信息的时代,图像作为人类感知世界的视觉基础,是人类获取信息、表达信息和传播信息的重要手段;21世纪又是一个数字的时代,上个世纪90年代初,美国副总统戈尔提出“数字地球”的概念,其巾图像是构成数字地球的信息基础,不同遥感平台提供的多源遥感图像为数字地球这一概念提供了坚强的信息支持【Ij.困此,数字图像处理技术已成为当今信息科学、计算机科学、工程科学、地球科学.生物学以及医学等诸多方面学者研究图像的有救工具.

作为数字图像处理基本问题之,图像恢复l可题一直伴随着数字图像技术的不断发展而发展.对图像恢复领域的研究开始于上个世纪五六十年代,当时前苏联和美国的科学家都在进行各自的太空计划(spaceprograms),他们获取了大量有关地球和太阳系的网像(image)信息.但是,这些图像很模糊,在当时的技术条件下根本无法看清,没有任何使用价值【“.幸运的是科学家们坚信这些图像中包含丰富的信息,终于经过不懈的努力恢复出图像的原始信息,才有今天相对成熟且广瑟应用的图像恢复技术.

1-1-1图像和数字圉像

虽然图像一词在人们日常交流中使用频率很高,大多数人也知道一幅图像是什么,但对图像却没有严格的定义.为了定义图像恢复,我们必须就图像一词的定义达成一致.图像即是人或事物的一个模仿或表示,例如,一幅林肯的照片就是这位美国总统某次出现在镜头前得到的一个表示.图像会以各种各样的形式出现t可视的和非可视的;抽象的和实际的;适于和不适于计算机处理的等等,因此给出图像的分类是十分必要的.我们引入集合沦的观点,根据其形式或产生方法,考虑所有的物体的集合(见图1.1),图像形成其中的一个子集,并且在该子集中的每幅图像都和它所表示的物体存在对应关系.在图像集合中,一个非常重要的子集便是由连续函数和离散函数组成的抽象数学图像,其中离散函数就是能被计算机直接处理的数字图像.

下面给出数字图像的定义.既然图像是与之对应的物体的—个表示,那么数字图像可以理解为物体的一个数字表示.从物理和数学的角度看,一幅图像记录的是物体辐射能量的空间分布,这个分布是空问坐标、时间和波长的函数,即,=,扛,Y,o,^,t)L“.本论文讨论的是二维静lh黑白图像,所以空间坐标变量z.波长^和时间变量‘可以从函数中去除,这样一幅图像就可必用下面的二元函数表示

这样一幅图像就可以用下面的二元函数表示』=,(z,Y).从计算机科学的角度来看,所I=,(T,Y).从计算机科学的角度来看,所1

河北工业大学硕士学位论文

第一章绪论

51—1问题的提出:从不适定问题角度诠释图像恢复

21世纪是一个充满信息的时代,图像作为人类感知世界的视觉基础,是人类获取信息、表达信息和传播信息的重要手段;21世纪又是一个数字的时代,上个世纪90年代初,美国副总统戈尔提出“数字地球。的概念,其中图像是构成数字地球的信息基础,不同遥感平台提供的多源遥感图像为数字地球这一概念提供了坚强的信息支持IZJ.因此,数字图像处理技术已成为当今信息科学、计算机科学、工程科学、地球科学、生物学以及医学等诸多方面学者研究图像的有效工具.

作为数字图像处理基本问题之一,图像恢复问题一直伴随着数字图像技术的不断发展而发展.对图像恢复领域的研究开始于上个世纪五六十年代,当时前苏联和美国的科学家都在进行各自的太空计划(spaceprograms),他们获取了大量有关地球和太阳系的图像(image)信息.但是,这些图像很模糊,在当时的技术条件下根本无法看清,没有任何使用价值【2j.幸运的是科学家们坚信这些图像中包含丰富的信息,终于经过不懈的努力恢复出图像的原始信息,才有今天相对成熟且广泛应用的图像恢复技术.

1—1—1图像和数字圉像

虽然图像一词在人们日常交流中使用频率很高,大多数人也知道一幅图像是什么,但对图像却没有严格的定义.为了定义图像恢复,我们必须就图像一词的定义达成一致.图像即是人或事物的一个模仿或表示,例如,一幅林肯的照片就是这位美国总统某次出现在镜头前得到的一个表示.图像会以各种各样的形式出现t可视的和非可视的;抽象的和实际的;适于和不适于计算机处理的等等,因此给出图像的分类是十分必要的.我们引入集合论的观点,根据其形式或产生方法,考虑所有的物体的集合(见图1.1),图像形成其中的一个子集,并且在该子集中的每幅图像都和它所表示的物体存在对应关系.在图像集合中,一个非常重要的子集便是由连续函数和离散函数组成的抽象数学图像,其中离散函数就是能被计算机直接处理的数字图像.

下面给出数字图像的定义,既然图像是与之对应的物体的一个表示,那么数字图像可以理解为物体的一个数字表示.从物理和数学的角度看,一幅图像记录的是物体辐射能量的空间分布,这个分布是空间坐标、时间和波长的函数,即I=f(x,Y,z,A,t)l“.本论文讨论的是二维静止黑白图像,所以空间坐标变量z、波长A和时间变量t可以从函数中去除,这样一幅图像就可以用下面的二元函数表示I=,(z,Ⅳ).从计算机科学的角度来看,所1

——————————————!堕垄垩查塑墼=塾里堡堡墓至型垡篁鎏

谓数字图像就是二元函数f(x,Y)进行采样(sampling)和量化(quantization)(即离散操作)后得到的图像,因此,通常一幅数字图像表现为一个矩阵.

图1.1:图像的分类

Fig.1.1Imageclassification

数字图像的获取方式很多,但无论哪种方式,最终得到的数字图像都是—个矩阵,而且获取过程中必然伴随着图像质量的下降(退化).这是因为,在实际成像过程中,由于种种原因【3J,如光学系统的象差、成像过程的相对运动、X射线的散布特性、各种外界因素干扰以及图像数字化过程中的误差和噪声等等,使得所得到的数字图像的质量较之原始图像有不同程度的下降.本文所讨论的只是点降质,所谓点降质是降质因素只影响图像中像索灰度级变化.而对于其它的降质因素,如图像彩色的变化、随时间产生的变化等,不在本文讨论的范围.通常情况下,这点降质可用下述降质模型来描述.

1—1—2囝像降质连续模型

如果将图像的降质过程模型化为一个降质系统(或算子)H,并假设输入原始图像为f(x,Y),经降质系统作用后输出的降质图像为9(茁,Y),在降质过程中引进随机噪声为可加性噪声n(x,Y)(如果是乘性噪声,可以用对数转换方式转化为相加形式).那么,降质过程的模型如图1.2所示:2

河北工业大学硕士学位论文

图1.2:图像降质过程模型【4】

Fig.1.2Imagedegradedmodel

用公式表示为:

g(x,Y)=H[f(x,g)]+n(x,Y)

熟知,二元Dirac函数6扛一n,Y—p)满足下述两个条件:

a扛一Q,可一仂={吾:i三;i菩

Ol,Y—p)dod卢=1

于是一幅连续的图像,(z,Y)可以用上述的6函数表示成二维卷积形式:

,(z,Ⅳ)=ffI(8,卢)6(x--ray--j3)doed卢

此时,降质模型(1.1)成为

g(x,Y)=H[f(x,g)j+n(z,Y)

=日【胪(郇)6(Z--OL,y--刚删用州训)

如果H为一线性算子,并假设可加性对积分是有效的,则

出川=胪I,(Ⅱ厕6(X--0by--酬妇d卢蜘(啪)

又由于,陋,卢)与z和Y无关,并由线性齐次性可得

g(z,Ⅳ)=fff(。,卢)日陋(x--ray--p)]dQd卢+n(。,Ⅳ)(1.2)(1-3)(14)(15)(1.1)

——璧薹垄垩壅墅堕=壁璺堡堡墓垂型些基鎏

令九(。,D;Y,卢)=H[6(x—OL,Y—p)】,则有

出㈤=胪㈦脚(蚋mp)如阳+咄㈡(1.7)

其中,h(x,o;Y,p)称为日的冲激响应,它表示系统对坐标为(Ot,卢)处的冲激函数的响应,能够完全刻画系统日.多数情况下它表现为时不变性,反映到图像中为空不变性,即

h(x,o;Y,p)=^(z—n,Y—p)

在光学中,冲激为一个光点,(1.8)Spreadh(z,Q;Y,f1)一般也被称为点源扩散函数(PointFunction,记为PSF).将(1.8)式代入(1.7)式得

,磐

如M2//m厕^(X--oz,y--剐n即栅(训)

=f(z,Y)十h(x,Y)+礼(z,Y)(1.9)

其中十表示卷积运算.

这样我们就得到要研究的图像降质线性空不变连续模型(1.9).可以看出,图像上任一点的运算结果只取决于该点的输入值,而与坐标位置无关.而对于不同的点源扩散函数就形成不同的降质模型,后面数值试验部分针对的就是两个特殊PSF形成的具有代表性的图像降质模型:均匀降质模型和Gauss降质模型.

如果称得到降质图像9(o,Y)的过程为成像过程的话,则所谓图像恢复就是成像过程的反向过程,即:要由得到的降质图像g(x,Y)和降质系统的机理(降质算子)日,反求原图像.从数学上来说,就是在已知g(x,Y)及核^(。,a;Y,卢)的情况下,求解二维Predholm方程.这是一类典型的反问题,求解的本质困难是:它在数值上很不稳定,或者说,它在Hadamard意义下是不适定的[4,s1.

1-1—3图像恢复问翘的不适定性

20世纪初,Hadamard为描述数学物理问题与定解条件的合理搭配引入4适定”(well.posedness)的概念m】.

设PF和P矿分别是空间F和U的度量,A:F—U是线性或非线性映射,对于

Af=g,f∈E

给出下述的9∈U(1.10)

定义1,1称问题或方程(1.10)为适定的,如果它同时满足下述三个条件4

河北工业大学硕士学位论文

(1)Vg∈U,都存在,∈F满足方程(1.10)(解的存在性);

(2)设91,92∈U,若^和,2分别是方程(1.10)对应于91≠仍的解,则

^≠,2(解的唯一性);

(3)解相对于空间偶(F'u)而言是稳定的(解的稳定性),即tVe>0,jd(E)>0,

只要

pu(gl,92)≤d(E)

匣有p尸(gl,92∈U),L^厶<E,lA^=gA尼=如

反之,若上述三个条件中,至少有一个不能满足,则称其为不适定的.

由上述定义1.1,图像恢复问题是一类典型的不适定问题,它可以不满足一个或多个Hadamard条件,原因在于成像系统本身的特性或观测数据的误差【9j.

(1)解的存在性可以不成立

观测过程中噪声的存在将导致获得的图像与任一景象不相容(inconsistent).这表明成像系统本身可能就是不可靠的,自然也就不可能期望从由它获得的图像出发,恢复出真实景象来.

(2)解的唯一性可以不成立

当表现系统特征的算子A是个多对一(many—to-one)映射时,对任意观测图像,存在着非平凡的解空间与它相容(consistent),这表明反问题的解可以是不唯一的.例如:对有限带宽成像系统,所有带宽外的图像数据作为成像算子的零空间是非空的.此外,即使日是非奇异的,对解空间约束信息的--d'部分损失,也可以造成不唯一的解.如:g@,Y)是一幅包含N×N个像素(pixel)的图像,由于降质的原因,其提供的对解空间的约束最多为Ⅳ2个,如果说约束小于Ⅳ2,在没有其它附加信息的情况下,恢复,(z,掣)(Ⅳ×N)显然是不唯一的.

(3)懈的稳定性可以不成立

通常问题(1.1)是一类第一类算子方程,第一类算子A的固有特性决定解I(x,Y)对观测数据g(x,Y)扰动的敏感性。原始数据很小的误差也会导致近似解与真解的严重偏离,真所谓*差之毫厘,失之千里”。而实际情况恰恰是我们要处理的都是近似数据,不是精确数据,这必然决定解的稳定性不成立.

正因为如此,图像恢复这类反问题在Hadamard意义下是不适定的,若不用特殊的方法来处理,将得不到合理的答案.

噪声水平未知时一种图像恢复正则化算法

5l一2关于图像恢复代数方法的简单评述

上节中指出:我们考虑的图像降质模型是线性空不变系统,且噪声是加法性类型的.因而可在一个统一的线性代数范畴内,用公式表示图像恢复问题,这就是恢复的代数方法.对于离散的降质模型【4】:

Hf+礼=g(1.11)

这类方法的核心思想是:由给定的降质图像9和对降质模型日及噪声竹的先验了解,寻找一个对原始图像,的最优估计,,而使事先确定的最优准则最小.

1.反向滤波

反向滤波又称为无约束最小二乘滤波I“.由(1.11)式得噪声项为

n=g—Hf

构造准则函数

J(,)=叫n怕一Hfll2

这样,反向滤波方法等效于寻找一个,使得t,(,)最小,即HI与g的偏差最小,或者说噪声项范数最小.这是典型的最小二乘问题。由变分方程:

6J(,)=HTHf—HTg=0

,=(日T日)qⅣT9

若H为非奇异,则,=日一19,熟知,此时HTH的条件数很大,求逆很不稳定,所以此方法对于图像恢复中的噪声项颇为敏感.

2.统计性正则化方法

从随机性角度看待噪声的产生,设RSS=E{,,T)和R。。=F{n礼T)分别为原始图像和噪声的相关矩阵,其中E{ )代表数学期望运算.构造准则函数

J(,)=rainE{llf一向2)

极小化准则函数需要知道f和'12的相关矩阵,这是困难的.因而,线性近似扳小化准则函数过程得到:

,=R,,HT(HRffHr+%。)一19

6(112)

一。一一堡!}三些奎堂坠兰垡丝苎

需要求逆的矩阵HRIstfr+日。。的条件数好于胪日,因而此方法对噪声的敏感性有所下降.但是它要求预知噪声项礼的统计信息,这一要求显然限制了它的应用范围.实际问题中有时噪声水平未知,即使勉强估计出噪声能量,由于估计的不准确性,原问题求解精度也难以保证.

3.确定性正则化方法

从确定性角度看待噪声的产生,构造准则函数

t,(,,a)2乎(扩Hill2+。IILfll2)

其中n是正则参数,L一般为高通滤波算子.L,本质上是对,光滑性的约束,以减小H的小奇异值对高频部分的影响,保持大奇异值影响不变.此时极小化准则函数得:

,=(HrH+ⅡLT三)一1丑T9(1.13)

选取合适的正则参数O/,可使日…日+aL。L的条件数相当好,求逆稳定.这就需要相应的确定正则参数的准则,较成熟的作法是选Q4满足119一日,¨2=IInIl2.然而,当II叫12未知,即噪声水平未知时,确定合适的a值是一个困难的问题.这已经成为成功应用正则化方法来处理图像恢复问题的焦点之一.

纵观上面三种方法,反向滤波只要求了解降质系统的冲激响应(传递函数)的知识,不需已知噪声水平,但由于传递函数存在零点的问题,只能局限于离原点不太远的有限区域内进行,且不稳定,这有相当大的随意性和局限性;方法2、3同属于直接Tikhonov正则化方法范畴,所谓直接的Tikhonov正则化方法是指:利用直接法(例如cholesky分解)求解式(1.12)、(1.13).虽然求解过程较反向滤波稳定性大幅提高,但只能对噪声水平已知情况的应用,且要保留日和日…日,不仅计算量大,而且存储量也是难以忍受的.

4.基于Tikhonov正则化方法的共轭梯度法

对于固定的参数Q>0,显然可以将功能很强的共轭梯度法(ConjugateGradientmethod)用于正定对称线性方程组(1.12)、(1.13)的求解.这较之直接法当然在计算量上要大为节省,但仍然要形成和保留日1’日,这在存储方面的开销很大.因而R.Youmaran和AAdler于2004年给出一种不直接形成口7日+aLTL的CGTik算法,应用于图像恢复,建立了双参数图像恢复正则化框架,取得了较好的效果….即使如此,在其具体实施过程中,还存在有关参数需要经验地确定等不足,详见第三章第三节.因此,如何在噪声水平未知的情况下将上述算法进一步完善,使得参数的选取更加快速和切实可行就构成了本文的主要工作.7

壁塞垄兰鲞垫堕=墼里堡堡基垂型丝差篓

此外,图像恢复方法还包括迭代法(显示迭代格式和隐式迭代格式【111),递归方法,如离散卡尔曼滤波(discreteKalmanfilter)[12,13】和PCG[14,15】方法等,它们已经应用到不同的恢复问题中,并且表现出不错的恢复效果.近年来,以这些方法为基础,结合特殊问题的特殊情况,人们提出了一系列新的恢复技术,特别是神经网络(neuralnetworks)[16_20J和小波(wavelets)[21-”J技术在图像恢复中的成功应用.由于本文方法隶属代数恢复方法,与上述方法属于不同范畴,这里不在详述.

51-3本文的主要内容和工作意义

如前所述,将Tikhonov的正则化方法应用于图像恢复问题,可取得比较满意的结果,而其中又以R.Youmaran和A.Adler最近的工作引人注目.正如文献124l中所说:数字图像处理研究有很大一部分是服务于图像恢复的,包括对算法的研究和针对特定问题的图像处理程序的编制,而且数字图像处理中许多值得注意的成就都是在这两方面进行的.虽然图像恢复的新方法层出不穷,但正则化策略中的具体算法用于图像恢复领域还有较大的空间.因此,本文将在以下几个方面开展工作:

(1)应用共轭梯度最小二乘法(cGLs)求解Euler方程,研究其合适于微机上实施的经济格式和算法.

(2)研究噪声水平未知情况下如何完善CGTik算法,包括迭代确定正则参数a、由问题求解精度要求自适应产生CGLS法迭代次数Ⅳ及正则参数迭代初值的快速改进等.

(3)通过大量的数值试验,考察本算法的恢复效果和恢复速度.

我们相信,本研究工作的完成,将会为实际工作者提供一个即使在微机上也可以实施的图像恢复算法,并且该算法适用于降质图像噪声水平已知和未知两种情况,从而具有广泛的适应性.8

第二章图像降质模型的离散正则化

为了便于计算机处理,必须将连续降质模型离散化.如上一章所述,由于图像恢复问题本身的不适定性以及对算子H线性空不变性的假设,使得离散化后得到的线性方程组是严重病态的,我们必须将其进行正则化处理,即用一族与原问题相临近的适定问题的解去逼近原问题的解.

本章分兰节分别介绍Tikhonov正则化的三个主要步骤:离散化,正则化和正则参数的确定问胚.其中离散化一节采用传统的离散形式,而正则化一节则是后继讨论必要的理论准备,最后正则参数的确定是恢复问题中最困难也是最有魅力的地方,第三章的工作主要就集中在这里.

§2.1连续图像降质模型的离散化

考虑二维卷积型方程

9(z,Y)=^(z,Y)十f(x,Y)+n(x,Y)

设输入的数字图像,(。,Y)和冲激响应^(z,y)分别具有A

M≥A+C一1,N≥B+D一1贝ⅡX(2.1)B和e×D个样点,为避免误差和卷积周期交叠,用添零延伸的方法,将它们扩展成M×N个样点,其中

几一1厶=2,(。,掣)o曼z≤A一1且o≤Ⅳ墨B一1

0(2.2)卜曲7A冬茁sM一1或B≤可≤N一1

^。:2^(。,Ⅳ)o≤zlC≤X茎M一1或D≤Y≤N一10se一1且o≤,≤D一1(2.3)

将扩展函数丘(z,Y)和h。扛,Y)作为二维周期函数处理,即在X和Y方向上周期分别为M和Ⅳ;同时考虑噪声项,即加上一个M

得完整的二维离散降质模型:

M一1Ⅳ一1XN的扩展离散噪声项n。(z,Y),可

ge(z,Ⅳ)=∑∑,e(m,礼)也扛~m,n一可)

m=0n=0(2.4)其中玑(石,Y)具有与he∞,Y)相同的周期.

墼垒王查塑堕=丝里堡堡基至型垡蔓鎏

为了将(2.1)写成矩阵形式,我们引入

定义2.1设A=(o玎)。。。,将A的各行依次横排得到mn维行向量,称为矩阵A的行展开,记为rs(A1,即

rs(A)=(alla12- 01na2la22 -Ⅱ加 - aml om)(2.5)

将A的各列依次纵排得到iiln维列向量,称为矩阵A的列展开,记为cs(A),即

cs(A)=(all

可见行与列展开的关系为02l-. omln12022-一am2 盘l。 om。)T(2.6)

cs(AT)=(rs(A))T

令,、g、n分别代表M×N的函数矩阵厶(z,Y)、ge(z,Y)和n。(z,Y)的各行堆叠成的MⅣ维列向量,即

丘(0,0)9。(O,0)n。(0,0)

^(o,1)

丘(o,Ⅳ一1)

,e(1,0)

^(1,1)

f=

^(1,N一1)g=F。(o,1)n。(0,1)9。(o,Ⅳ一1)吼(1,0)9。(1,1)n。(O,N一1)n。(1,0)n。(1,1)乳(1,Ⅳ一1)

ge(M一1,0)

ge(M一1,1)轧(M一1,0)n。(M一1,1)丘(M一1,0)上(M一1,1)

^(M一1,N一1)

则(2.1)写成向量矩阵形式乳(M一1,N一1)n。(M一1,N一1)

g=H}+n(2.7)

式中H为MⅣ×MN维矩阵.此矩阵十分庞大,它包含M2个分块,每一分块的大小10

为NXN.H可用MXM的分块循环矩阵[81来表示

HoHM一1HM一2 - Hl

H=H、HbHM。…H2(2.8)

HMoHM一2HM一3…Hn

其中每个分块玛是由扩展函数he(石,Y)的第J行组成,即

k(J,0)^。(J,M一1)he(^M一2)h。(J,1)

k(J,1)he(^0)k(J,M一1)^。(J,2)

gj=(2.9)

^。(J,.^彳一1)^。(J,M一2)^。(J,M一3)---^。(J,0)

显然,口,也是一个循环矩阵18J,因为它的第二个下标和H中各个分块的下标变化一样,也是右移循环.

以下各章节主要讨论的就是式(2,7)给出的离散降质模型,特别需要指出一点,这一表达式是在系统假设为线性和空不变性的条件下推导出来的.在实际中,噪声顷佗存在很多随机因素,很难预先估计,并且观察到的图像本身也带有误差,记为96(X,Y),即ll卯(z,Y)一g(x,Y)lI冬6.在此条件下,图像恢复的问题在于:从带有误差的右端项舶扛,Y)以及假定准确的H,估计出真实图像的,(o,Y)近似解,式(2.7)转化为代数方程

HS:95|∈F,g∈U(2.10)

的求解问题.

表面看来,式(2.10)似乎很简单,但要从该式直接求出,的各个元素,对于实际图像来说其运算量是相当大的.就拿本文研究的问题来看,恢复一张256X256像素的黑白图像.此时,M=N=256,H的大小为MNXMⅣ=65536X65536,直接求,需要解65536个联立线性方程组,这是相当繁琐的.而且。我们要给出一种在普通台式机上可以有效实现的恢复算法,系数矩阵日的存储单元也是必须考虑的同题,因为一个double型稠密的矩阵需要的存储单元为65536X65536X8≈32768Mb,这比一般机器内存大

的多.因此,必须充分利用H的循环性质,一要减少日的存储单元,二要减少联立方程组的计算复杂性,具体手段将在下一章详细给出.11

§2-2离散问题的正则化

在上一章中,已指出图像恢复问题是一类典型的不适定的反问题,所以其对应的离散问题(2.10)也是个病态的问题.为得到(2.10)稳定的数值解,本节引入正则化策略.其基本思想是:用一族与原问题相邻近的适定问题的解去逼近原问题的解.自然,如何构造恢复模型的邻近问题而获得正则算子、如何控制与原问题邻近程度而决定与原始资料的误差水平相匹配的正则参数以及如何快速实现图像恢复求解过程便成为研究正则化的中心问题,这也是本文重点考虑的问题.首先给出正则算子的定义:

定义2.2Is]一个由度量空间F到度量空间u,且依赖于参数a>0的算子n(g,o)称为方程(2.10)在g=gT的邻域内的正则算子,假如它满足下述两个条件;

(1)存在6l>0和ol>0使得n(g,a)对a∈(0,n1)、0≤6≤dl及U中满足不等式舳(9,卵)≤61的所有9均有定义;

(2)存在一个集合%。=D∈U:pu(g,gT)S61)及在其上定义的泛函O/=n(9,6),使得对任意给定的E>0,总可以找到6(E)≤Jl,只要

pu(9,gT)≤6≤6(E),§∈U

便有

pF(厶,厅)茎E

其中,

,0=几,d)=佗(§,a(§,6))(2.11)

显然,如果舶满足阳(卯,卵)S6,则根据上述定义,将正则算子冗及泛函o=n(绑,6)所确定的厶=厶(%,5)=冗(96,Q(卯,6))作为原问题的近似解是合理的.而且,每个这样的正则算子冗(卯,a(6))连同决定正则参数的不同原则和方法,都定义了构造原问题的近似解的一个稳定算法.于是,寻求原问题的稳定近似解的过程可转化为:

(1)构造正则算子冗(9,口)

(2)确定正则参数n=o(6),使之与原始数据的误差水平6相匹配

构造正则算于的方法多种多样,下面重点研究的是Tikhonov提出的基于变分原理的正则化方法【2…,通过引入所谓的展平泛函(smoothingfunctional)来构造正则算子.设方程(2.10)存在精确解舟(当古典解不存在时可用广义解.序=日+g来代替),对于任何Q>0称下述具有参数d的泛函

M。=p刍(日,,9)+Ⅱn【,],g∈U,,∈FlcF(212)

12

河北工业大学硕士学位论文

为展平泛函:其中,只是F中的稠密子集,n[f】是定义在R上的非负连续泛函(称为稳定泛函),且满足下述条件:

(1)待求的fT∈乃

(2)vor>0集合{,IQ[,】5d=const}是乃中的紧子集.

可以证明下面的结论

定理2.1.设日是度量空间F到度量空间U的连续算子,则Vo>0和均∈U,j厶∈F使得泛函(2.12)在Fl上达到极小值,即:

M。魄,引2魅M“【,,引

之,定义了一个由U_+F的算子冗。:(2 13)由上述定理,VⅡ>0和Vg∈U,在空间F中有唯一的元素厶与之对应;换言

厶=冗。(9,D),g∈以厶∈F(2.14)

由于算子冗。对VoL>0和V9∈u都有定义,自然冗。对。∈(0,OLl)及满足不等式Pu(9r,邯)Sd的卯也有定义.因而,这样定义的算子满足正则算子定义的第一个条件.下面的定理表明,对于适当选择的正则参数口=口(9d,6),冗(9,d)也满足正则算子的第二个条件.

定理2.2设疗是对应于方程(2.10)的准确右端项的准确解:日厅=tit.于是,ve>0,及满足下列的在【0,6l】上定义的非负、非减函数pl(口),仍(o):

志≤徘m(0)=。

均存在60(E,卢l,倪,厅)Sd1,只要

Pu(gd,gT)曼5,卯∈阢5≤50

便有PF,l露厅、J<一E《||兄扫d口卯∞kJ

这样我们就在连续情况下说明了正则算子的存在性,并且给出了一种构造正则算子的方法.下面讨论离散的情况,设Ⅳ“和L“分别为离散解空间与数据空间,定义如下:

W“={f“:/“=(fo,^,…,厶)T)

驴={矿:g“=(go,gh.一,‰)T)

13

显然,上述所有定理对W“空闻和L“空间同样成立.取离散稳定泛函Q[,】=lI,“||品。。它的具体形式与对待求解所篪加的条件(如光滑性要求)有关,我们得到Tikhonov展平泛函的离散形式:

^让[,“,9翻=||日^,“~鲋hIl2小+aII,“l|静。

称上述泛函的极小值点,即满足

V蛾h‰h朗2,。i;nⅣf。啦∽菇1

定理2.3设o>0和醵∈L“任意给定,则

(1)问题(2.15)的极小点髓∈W“存在且唯一;

(2)问题(2.15)的极小点茁∈W“满足下述方程:

(H,T.H^+oG),“=月吾9}

(3)堙是关于a和站的连续函数.

其中的矩阵C可为单位阵,9}∈驴(2,15)的业∈W“为离散正则解.类似于连续正则化的情况[81,关于极小化问题有下述结论(2.16)

我们注意到,求解式(2.16)为获得式(2.15)的极小点提供了一个有效的途径,同时其在确定正则参数的求解过程中也具有重要的意义.

§2—3噪声水平已知情况下确定正则参数的准则

在实施正则化方法的过程中,确定和使用正则参数是核心问题之一,也是一个非常困难的问题,这是由问题本身的不适定性造成的.正则参数n太小,构造的近似问题的解继承原问题过多的不适定因素,图像的平滑区域仍然充满着噪声;正则参数。太大,近似问题的解精度不够,图像的边缘和纹理比较模糊{zal.同时,确定正则参数也是一个十分有魅力的地方,近年来许多数字图像恢复有意义的成果都在这方面取得【8j.

确定正则参数的准则大致分为两类,需要预知噪声能量或原图像能量信息的准则和不需要噪声能量或原图像能量信息的准则.前一类准则以原图能量、噪声能量或两者同时作为约束条件确定正则化参数,如Tikhonov的先验估计、Morozov的偏差原理和广义偏差原理、Arcangeli准则等【8】、以及迭代法f26J确定正则参数等.除此之外还有比较新的方法,如自适应正则化参数方法,该方法对图像的边缘和纹理区域使用较小的正则化参数,平滑的区域使用较大的正则化参数【27,2….

14

—————————————————塑韭三些地圭耋堡垒塞

1.Morozov偏差獗理

定义偏差方程

qo(a)=庙(风厶,g)(2.17)

定理2A(Morozov偏差原理)【29】如果妒融)是单值函数,则当船(珥矗,g)>d时。存在这样的Ⅱ=Q(d),使得

pu(马。丘(毋,g)=5

式中,0∈{11Q【,]=,i∈nFlfQ(,y】).

2.广义偏差原理

定义广望偏差方程

砌(o)=lIH…。一卯I}2一(d+^ll臂0)2

岛(8)=I{峨嚣一船112一(6+划嚣咿一n,Il嚣JJ2

3.Arcangeli准则【31]

Arcangeli于1966年几乎与Morozov同时但独立地提出确定正则参数的一个偏差

liar;一酬一击=o(2.18)

P(&)=、/厂|f玩疗~卯ff

。li。mop(乜)_o,熙P(乜)2o。

当噪声能量或原图像能量信息已知时,上述准则都是相当有效的,其中龙以Morozav

15要求最优正则参数∥满足砌(矿)=0.文献f30]提出一种修改的广义偏差原理,对于,y∈【0,o。),我们定义为新的偏差方程.数值试验表明新原理的收敛性和稳定性均很好.方法,他主张由下式:来确定正则参数.注意到:对于每个固定的6>0,函数对是n连续、单调递增的,且有故存在唯一的一个a=a(6)满足方程(2.18).偏差原理使用的最为普遍.显然,当噪声能量或原图像能量信息未知,即噪声水平未知时,它们就无能为力了.这一缺点大大限制了它们的应用范围.对于第二类准则的具体细节以及如何数值地加以快速实施,我们将在下~章讨论.

本文来源:https://www.bwwdw.com/article/7i6j.html

Top