计算机英语翻译报吿.docVIP

计算机专业英语 姓名（学号）： 班级： 所在学院： 信息学院 任课教师： 肖秀春 提交时间: 2014/10/17 全变差字典模型 Tieyong Zeng and Michael K. Ng 摘要: 本文的目标是提供一个理论研究的全变差模型(电视)字典。基于凸分析的性质和有界变差函数,电视字典模型的解决方案的存在是证明。然后,我们表明,模型的对偶形式可以给-规范之和最小化的双重解决方案和原始解决方案的布雷格曼曲率之间的距离和电视的次微分双重规范的解决方案。这个理论结果表明,字典必须代表稀疏曲率解决图像以获得更好的去噪性能。 指数Terms-Curvature,字典,对偶问题,稀疏表示,全变差。 Ⅰ.简介 图像去噪的任务是恢复一个理想的图像 嘈杂的观察 当Ω是一个连接的有界开集，R2紧凑的边界来定义图像，是年高斯噪声标准的变化。梯度的分布的情况。 例如，总是存在。 的次微分值的集值算子值由式得到。 与此相对应的,有费马原理: .而是简单的推断,如果是甚至然后对于任何交换,一定有: .此外,如果在x (Gateaux)可微与梯度,就有.我们还需要以下命题立即(4)的结果。 命题2:[7,定理23.5,)让,然后对所有的,我们有 如果有限维希尔伯特空间,那么的存在次微分是相当简单的。事实上,使用支持定理,我们可以证明下面的结果。 命题3:假设和。然后对于任何的是非空的。 一般情况下,次微分的存在并不总是得到保证。为了解决这个问题,我们需要一个更一般的的概念。让,的次微分集值算子 值由 下列命题是关键重要,因为它提供了一个足够了条件的存在, 和。再者, 可能是空的。 命题4:(如果是2.4.4三卤甲烷,[9])让f的凸函数。然后有: 1) 当且仅当对于任意的，与x相等时是最低有效字符；如果并且，则有 2)假设取x时是最低有效字符，那么就有。另外一个有用的一点是如果存在，我们就有。 c . 布雷格曼距离 布雷格曼距离的应用[10]的形象最近处理而活跃。在[11],奥什等人提出布雷格曼距离迭代正则化方法为基础的计算机模型;然后延伸到小波去噪[12],非线性逆规模空间[13],压缩传感[14]。 让是凸函数,并且让是偏小的。我们可以这样说布雷格曼距离在点即 的时候，是 的对偶问题是： 我们有： 定理6:[9](Thm 2.9.3)让合适的凸在功能。斯莱特条件假设成立,即, 。那么的对偶问题最优解(拉格朗日乘数)和的二元性差距零,即： Ⅲ.有界变差函数 在本节中,我们将讨论函数的一些基本性质有界变差(BV)空间。这个空间中发挥着重要作用图像的造型,指标函数集的边界是有限长度属于BV。一个完整的讨论,我们将[15]和[16] 回想一下, 李普希茨是一个开放的有限子集边界。当时，让为一个函数成立，则 定义7:我们定义,函数有界的空间变化,如： 具有规范的是巴拿赫空间。以下属性定义的一个直接后果的一口连续函数(例如,见[15])。 引理8:令并且，则有： 因此, 在时是一个合适的凸家族。 共轭的计算功能已经知道。事实上,如果我们定义g空间中的凸迈耶(见[17]和[18])在关闭以下设置: 然后是不太困难证明(离散的版本的详细信息,见[18])： Ⅳ.理论分析 本部分的目标是分析电视字典模型的理论性质。我们将首先声明（P*）解的存在然后研究其对偶形式。为了不失普遍性，我们在下面总是假设任意的，我们让 基本性质 回想一下，我们对于跟噪声图像中的很感兴趣。表明设置为是可行的。在里面同样是密集的，我们可以取走一个的数，以致于由Cauchy-Schwarz不等式并且注意到这是有界的，我们知道并且因此，斯莱特条件得证。 下列命题声明解的存在。 命题9：的解是非空的。 证明：表示的意思是在内，让M作为的最优值。由斯拉特条件得证，存在一最小化序列以致于。那么明显的。 回想一下是的一个有界开子集，紧密的连接着李普希茨边界。利用[15]中3.21的证明，是一个拓展域。通过庞加莱不等式(见[15,备注3.50]), 它存在一个常数，这样 从(6),很容易获知一样是有界的。因为在内每一个有界序列在（见[16]）内是相对紧凑的，存在一子序列既都收敛于一些和，又在里削弱（由(6)）。通过TV中到各自的拓扑结构（见[16]），可以导出 由，我们知道对于任何的，我们有 表明跟。如果和都不为空，然后使用(7)，就很容易得到是有界的。因此，我们可以选择一子序列以致于收敛到常数。很容易知道，并且这是的一个解。在其他情况下,按照对称,且不失普遍性,我们可以假定是空的。对于任意的（假设它存在），并且限制在（7），对于任何常数，我们有 此外，由于是有限的，让足够小，我们有：。因此，是一可行域并且它是的一个解。这就完成了证明