为了正常的体验网站,请在浏览器设置里面开启Javascript功能!
首页 > 计算机英语翻译

计算机英语翻译

2017-10-13 14页 doc 479KB 19阅读

用户头像

is_180829

暂无简介

举报
计算机英语翻译计算机英语翻译 姓名(学号): 班级: 所在学院: 信息学院 任课教师: 肖秀春 提交时间: 2014/10/17 全变差字典模型 Tieyong Zeng and Michael K. Ng 摘要: 本文的目标是提供一个理论研究的全变差模型(电视)字典。基于凸分析的性质和有界变差函数,电视字典模型的解决方案的存在是证明。然后,我们表明,模型的对偶形式可以给-规范之和最小化的双重解决方案和原始解决方案的布雷格曼曲率之间的距离和电视的次微分双重规范的解决方案。这个理论结果表明,字典必须代表稀疏曲率解决图像以获得更好的去...
计算机英语翻译
计算机英语翻译 姓名(学号): 班级: 所在学院: 信息学院 任课教师: 肖秀春 提交时间: 2014/10/17 全变差字典模型 Tieyong Zeng and Michael K. Ng 摘要: 本文的目标是提供一个理论研究的全变差模型(电视)字典。基于凸分析的性质和有界变差函数,电视字典模型的解决方案的存在是证明。然后,我们表明,模型的对偶形式可以给-规范之和最小化的双重解决方案和原始解决方案的布雷格曼曲率之间的距离和电视的次微分双重规范的解决方案。这个理论结果表明,字典必须代表稀疏曲率解决图像以获得更好的去噪性能。 指数Terms-Curvature,字典,对偶问题,稀疏表示,全变差。 ?.简介 图像去噪的任务是恢复一个理想的图像 嘈杂的观察 当Ω是一个连接的有界开集,R?紧凑的边界来定义图像,是嘈杂的图像,并且是年高斯噪声标准的变化。 在过去的几十年中,各种去噪方法被提出。其中,全变差方法启动[1],和最初[2]中引入小波阈值方法,绘制伟大的关注。最终,混合方法提出了[3]的形式优化模型如下: 为一个有限的字典这通常是对称和积极的参数与噪声相关的水平。在这里,总变化的一个图像被定义为: 2 梯度的分布的情况。请注意,就像在[3]指出的,当字典是所有联合规范的结合向量的,减少到ROF模型。 手稿收到于2009年5月6日,修订2009年9月21日。2009年10月16日首次出版;2010年2月18日发表的当前版本。这项工作是支持在203109年RGC部分,RGC 201508年,香港浸会大学的德意志联邦共和国,PROCORE-France /香港联合研究计划由香港研究资助委员会和法国F-HK05/08T在香港的总领事馆。的副主编协调这个手稿的审查和批准出版是教授埃里克Kolaczyk。 t .曾庆红是计算数学研究所数学、香港浸会大学、香港九龙塘, (电子邮件:zeng@hkbu.edu.hk)。 m?k?Ng是数学系,香港浸会大学,香港九龙塘(电子邮 件:mng@math.hkbu.edu.hk)。 数字对象标识符10.1109 / TIP.2009.2034701 在[3],Malgouyres表明当字典包含小波/小波包基地及其对立,模型保存纹理比高射速模型。 在[4], 解决了通过双重非线性规划任务Uzawa方法。作者证实,该模型允许非常好结构保护重建。然而,他们的实验仍局限于小波/小波包基地和的字典吗他们的对立。结果,字典对是模糊的角色.在这个研究领域的主要问题是制定如下。 开放问题1:给定一个类的图片,如果一个旨在获取最优结果,字典应如何?请注意,本文模糊优化的概念峰值信噪比(PSNR)。灵感来自这个开放问题,[5]的作者调查十二伽柏字典为。实验结果清楚地展示了词典的选择深深影响着电视字典模型的性能。当伽柏过滤器是密切相关的表示纹理,实验[5]的结果有利于保护纹理。然而,[5]的理论理解开放还是有点问题模糊。 本文的目的,这可能被视为一个扩展的[6]更有趣的数值结果在哪里报道,是提供一个吗在公开问题理论研究和全变差(电视)字典模型。基于凸分析和有限的属性 3 变异函数的存在电视字典模型的解决方案是证明。然后,我们表明,模型的对偶形式给出的规范之和的最小化和双重的解决方案Bregman曲率之间的距离的和原始的解决方案次微分的电视双重规范的解决方案。根据我们的结果,这本字典必须代表曲率稀疏的解决方案图像以获得更好的去噪性能。我们的研究结果说明总变差字典模型之间的桥梁和规范最小化的领域。这个理论研究提供了指导词典所设计的核心问题。未来的研究方向是开发学习算法典型模式图像的某个类的曲率一个有效的电视字典模型。因此,在模型用于许多图像处理应用程序。 剩下的纸是组织如下。在第二和第三部分,我们简要介绍相关的一些基本性质,凸分析和有界变差函数。在第四部分,理论分析进行。最后,在第五部分,结束语解决。 ?. 预赛凸分析 本部分介绍一些经典凸的结果分析,有关详细信息,请参阅[7]-[9]。 a .评级 让成为一个真正的希尔伯特空间与标量产品和相关标准。 让成为一个函数。的域和题词分别为 和;低半连续如果在 是封闭的,,如果是凸凸的。表示下半连续凸函数类的所有终极战士已坏,并不相同。表示intA 和setA的内部。 b .凸分析的元素 让。是函数的共轭,定义由: 如果存在,例如,,易得对于任意的,有 4 例如,总是存在。 的次微分值的集值算子值由 式得到。 与此相对应的,有费马原理: .而是简单的推断,如果是甚至然后对于任何交换,一定有: .此外,如果在x (Gâteaux)可微与梯度,就有 .我们还需要以下命题立即(4)的结果。 命题2:[7,定理23.5,)让,然后对所有的,我们有 如果有限维希尔伯特空间,那么的存在次微分是相当简单的。事实上,使用支持定理,我们可以证明下面的结果。 命题3:假设和。然后对于任何的 是非空的。 一般情况下,次微分的存在并不总是得到保证。为了解决这个问题,我们需要一个更一般的的概念。让,的次微分集值算子 值由 5 下列命题是关键重要,因为它提供了一个足够了条件的存在, 和 。再者, 可能是空的。 命题4:(如果是2.4.4三卤甲烷,[9])让f的凸函数。然后有: 1) 当且仅当对于任意的,与x相等时是最低有效字符;如果并且,则有 2)假设取x时是最低有效字符,那么就有。另外一个有用的一点是如果存在,我们就有。 c . 布雷格曼距离 布雷格曼距离的应用[10]的形象最近处理而活跃。在[11],奥什等人提出布雷格曼距离迭代正则化方法为基础的计算机模型;然后延伸到小波去噪[12],非线性逆规模空间[13],压缩传感[14]。 让是凸函数,并且让是偏小的。我们可以这样说布雷格曼距离在点即 的时候,是在点处的微分。这里,公差允许因为有时可能是空的。直觉上,忽视这个小公差,它可以被视为在点 的值之间的差异和一阶泰勒展开式的的值在点点的评估。因为通常来说我们都有 ,不是一个通常意义上的距离。然而,它的措施之间的亲密, 和,线段上的所有点和连接。 6 命题5:如果存在,则对于任意的,我们都有: d .对偶问题 我们只提供一个为我们的即将到来的对偶定理,因为它是至关重要的理论分析。凸规划的细节,我们参考[9]。 让一组有限的指数并且让的凸函数为。考虑这个问题: 的对偶问题是: 我们有: 定理6:[9](Thm 2.9.3)让合适的凸在功能。斯莱特条件假设成立,即, 。那么的对偶问题最优解(拉格朗日乘数)和的二元性差距零,即: ?.有界变差函数 在本节中,我们将讨论函数的一些基本性质有界变差(BV)空间。这个空间中发挥着重要作用图像的造型,指标函数集的边界是有限长度属于BV。一个完整的讨论,我们将[15]和[16] 回想一下, 李普希茨是一个开放的有限子集边界。当时,让为一个函数成立,则 7 定义7:我们定义,函数有界的空间变化,如: 具有规范的是巴拿赫空间。以下属性定义 的一个直接后果的一口连续函数(例如,见[15])。 引理8:令并且,则有: 因此, 在时是一个合适的凸家族。 共轭的计算功能已经知道。事实上,如果我们定义g空间中的凸迈耶 (见[17]和[18])在关闭以下设置: 然后是不太困难证明(离散的版本的详细信息,见[18]): ?.理论分析 本部分的目标是分析电视字典模型的理论性质。我们将首先声明(P*)解的存在然后研究其对偶形式。为了不失普遍性,我们在下面总是假设任意的,我们让 A. 基本性质 8 回想一下,我们对于跟噪声图像中的很感兴趣。表明设置为是可行的。在里面同样是密集的,我们可以取走一个的数,以致于由Cauchy-Schwarz不等式并且注意到这是有界的,我们知道并且因此,斯莱特条件得证。 下列命题声明解的存在。 命题9:的解是非空的。 证明:表示的意思是在内,让M作为的最优值。由斯拉特条件得证,存在一最小化序列以致于 。那么明显的。 回想一下是的一个有界开子集,紧密的连接着李普希茨边界。利 是一个拓展域。通过庞加莱不等式(见[15,备用[15]中3.21的证明, 注3.50]), 它存在一个常数,这样 从(6),很容易获知一样是有界的。因为在内每一个有界序列在(见[16])内是相对紧凑的,存在一子序列 既都收敛于一些和,又在里削弱(由(6))。通过TV中到各自的拓扑结构(见[16]),可以导出 由,我们知道对于任何的,我们有 9 表明跟 。如果和都不为空,然后使用(7),就很容易得到是有界的。因此,我们可以选择一子序列以致于收敛到常数。很容易知道,并且这是的一个解。在其他情况下,按照对称,且不失普遍性,我们可以假定是空的。对于任意的(假设它存在),并且限制在(7),对于任何常数,我们有 此外,由于是有限的,让足够小,我们有: 。因此,是一可行域并且它是的一个解。这就完成了证明。 根据上述结果,我们知道的解存在,让成为它的一个解。使用[9]里的Thm.2.9.2,存在正的拉格朗日参数,这样 为了更多的了解上面的方程,我们声明[19,Prop.1.10]中的一个直接结果。 命题10:假设是的一个解并且是对应的拉格朗日参数。然后存在一个向量域 10 在内,这样有 (在分配合理的情况下)并且。 函数显然与内的[15.Cor.1.29]的极分解有关。详情,请参阅之前讨论的[15,定理3.94]。此外,在(8)内的这一术语——是水平集的曲率(下面简单起见,我们称它为直接曲率)。在右上部分的图片1中,我们展示了图像clean Lena的曲率。通过(8),粗略的讲,中曲率的解表示是字典里活跃的元素。接下来我们应该说明,这表示使稀疏到最小化。为此,我们研究优化模型的对偶形式。通过[18]和[20]可以启发我们,可以研究到ROF模型的对偶形式。 B. 的对偶形式 在这里我们可以考虑一个更普遍的问题 此处并且是一个合适的凸函数。 定理11:让并且假设斯莱特条件 这样对于一个常数,的对偶问题是 此处的且与共轭函数相关联的Bregman距离。 11 证明:正如是合适的凸函数并且我们知道我们注意到的次微分的存在性是不能够总是保证的并且我们需要在证明内使用。然而,如果的次微分是非空的,然后可以设置为0。 通过对偶理论(定理6),的对偶形式是 让我们表示和 用一个简单的计算,我们得到 这里的,是的共轭函数,定义在(2)内。现在让,然后通过(5),这相当于,我们有 因此,的对偶形式等价于(9),相当于一个常量。 12 再一次,而不是使用次微分,我们在内采用Bregman距离。这是因为它的存在与可以保证(定理.4)。的角色是确保次微分的存在, 一个非常小的值是充分的并且更好的。通过使用定理11,我们得到以下结果 定理12:让和。对于一个常数,的对偶问题是 此处并且是与相关的Bregman距离。 证明:斯莱特条件已经证实。此外,在上面的定理取,我们知道,忽略一个常数,的对偶形式是 此处,注意到所有的,,由(3), 。由定理5,我们有 。由(11)梳理上述问题,我们完成证明。 Bregman距离完全不是一个距离,因为它是建立在一个非常奇异的凸函数。事实上,它的程度和曲度是有区别的,因此,有利于保护边界。因为电视是凸的,l.s.c和适当的,是一个极大单调算子在 的密集的区域中([21]-[23])。然而,没有理论结果保证 13 从头到尾是非空的,的存在,如此一来扮演着重要的角色。 另外,(8)中的是(10)的一个解。因此,我们最小化通过保持Bregman距离在合成的图像和之间。由于最小化通常会导致一个稀疏解,我们预计应该是稀疏的。有趣的是,试图使用表示稀疏,而不是它自己。另一方面,我们在全变差字典模型和压缩传感的研究或者精确 最小化之间建立了密切的联系。唯一的区别是通常的术语测量误差所取代Bregman距离上的弯曲度。由于近来快速算法出现在解决上(见[14]和[24]),类似的想法可能适用于处理 。 定理12还为字典设计提供了理论指导。事实上,约束的目的是阻止我们过于平滑。如果我们可以添加曲率水平集的想法放在图像去噪过程中,解决方案不会过于平滑。这意味着理想的,即在[6]中描述的,应该包含一个精确的元素,曲率的理想图像。在图1中,我们将展示这种特别的去噪结果和残留的字典和NL-means[25],这是一个众所周知的去噪方法。显然, 模型与理想的字典几乎完全恢复了 原始图像。我们注意到,获得一个几乎完美的曲率的任务是困难的。然而,有时,理想的图像可能包含一些已知的特殊结构,大多是感兴趣的。在这些情况下,我们仍然可以适用之前加上一个合适的字典反映这个信息。我们将沿着参考[6]这个方向更多的数值结果。 14 此外,假设我们在(9)中取,很容易查到。因此,(9)可以改写如下: 这确实是为基础追求去噪模型(非负),已被广泛的研究 ([26],[27],[28],[29],[14]在其中有引用)。这个模型的对偶和预对偶关系的具体情况为,在[23]和[24]内也被提及了。 V(结束语 总之,我们已经表明理论上,为了获得更好的去噪结果的总变差字典模型,我们应该选择一个词典,它可以给稀疏表示曲率的底层的理想形象。这观察可被看作是一个理论的解释实验结果报道在[6]内。未来的研究方向是开发算法[31],[32],从每个类的图像的曲率去学习典型模型,建立一个有效的电视字典模型。因此,在模型可以用于许多图像处理应用程序。 致谢 作者要感谢匿名评论者的有用的评论和与p . Weiss博士, f . Malgouyres博士和a . Trouve教授的讨论。 15
/
本文档为【计算机英语翻译】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑, 图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。 本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。 网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。

历史搜索

    清空历史搜索