1. 引言
在信号处理过程中,信号恢复的两项关键技术是压缩感知(CS)和图像去模糊 [1] [2] [3]。具体来说,对于稀疏或可压缩信号,CS可以在不影响重构质量的情况下显著减少测量次数 [4] [5]。对于模糊图像,图像去模糊可以保证恢复真实图像 [6]。近年来,信号恢复已经成为医学、天文图像恢复、文件恢复和编码等应用领域的重要工具 [7] [8]。
设x是稀疏的或近似稀疏的原始信号,
是一个线性算子,对于给定的观测值
,满足
,我们需要通过求解线性方程组
来重构原始信号x,由于
在这个线性系统中是欠定或者病态的,因此寻求此线性系统的解一般来说比较困难 [9]。根据压缩感知的基本理论,重构原始信号x需要求解如下的连续优化问题 [10] [11]:
(1)
考虑到实际中噪声的存在,(1)的约束可以放宽,重新表述为以下受惩罚的最小二乘问题:
(2)
式中
为平衡参数。
为了求解模型(2),学者们提出了多种迭代方法,其中迭代收缩阈值法(IST)和快速迭代收缩阈值法(FISTA) [12] [13] 因其简单高效而最受欢迎。另外,文献 [14] 提出了一种不动点连续搜索方法,并引入了一种基于Barzilai-Borwein步长的非单调线搜索加速技术 [15]。Figueiredo提出了梯度投影方法来解决稀疏重建问题 [16],Xiao等分别提出了求解问题(2)的共轭梯度投影法和谱梯度法 [17] [18]。由一个近似等价问题的驱动,文献 [19] 进一步将修正谱共轭梯度投影法推广到求解方程组。研究表明, [19] 中的算法在解决大规模非线性单调方程组中明显优于以上的算法。
本文将问题(2)转化为一个等价的凸二次规划问题,并给出一种改进的对称逐次超松弛(MSSOR)的交替方向乘子(ADMM)算法。数值实验表明,在处理信号恢复问题上,相较于类似的方法,本文的算法是更有效的。
2. 预备工作
对于任意向量
,令
,
,
,
,
,
,其中
,考虑到,x的
-范数表示为
,其中
表示一个所有元素都为1的n维向量用,因此问题(2)等价于:
(3)
通过惩罚法,(3)式等价于:
(4)
其中
是一个惩罚系数,我们将上式展开计算后,问题(4)可以等价表述为:
(5)
其中,
根据 [18] 中的证明可知
皆为半正定的矩阵,因此(5)是一个凸二次规划问题。
下面我们考虑使用ADMM方法来求解问题(5),令
,
和
为三个有限维实欧氏空间,每个实欧氏空间都有内积
及其范数
,令
是两个闭的凸函数,对于如下可分的凸优化问题 [20] [21]:
(6)
其中
是给定的数,线性映射
和
为伴随算子,任意
,令
是给定的罚参数,得到问题(6)的增广拉格朗日函数为 [22]:
(7)
选取初始点
,Glowinski,Marrocol,Gabay和Mercier的经典交替方向乘子法相应的求解步骤 [23] 如下:
(8)
交替方向乘子法(8)的收敛性分析由Gabay,Mercier,Glowinski和Fortin以及Glowinski [23] [24] 在不同的条件下给出。
本文将(5)置于ADMM的框架中,令
,则原模型等价于解下面的最小化问题:
(9)
设非负正交
是具有非负分量的点的集合:
设
的指标函数为g:
,当
时;否则,
。
给定一个正对角矩阵
,最小化问题(9)可以等价地写成:
(10)
记(10)的拉格朗日函数为:
其中
是惩罚参数。给定
,ADMM的第k次迭代可通过如下步骤获得 [25]:
问题(11.1)的求解公式如下:
(12)
同样,问题(11.2)的求解公式如下:
(13)
这里
表示集合
上的投影,基于(12)和(13)式,由此我们可以给出求解问题(5)的具体算法:
由于(10)是一个目标函数是严格凸的凸规划问题,因此它有唯一的最优解。
而问题(11)等价于求
,
(14)
(15)
(16)
对于满足条件(14) (15) (16)的某些
,
,以上算法生成的序列
收敛于
,此定理的类似证明见文献 [26]。
在算法1中,每次迭代k时,我们能得到线性方程组的精确解:
(17)
但当问题较大且稀疏时,不容易直接求解(18)。这一困难促使我们使用更有效的迭代方法,如经典SOR方法或共轭梯度法来求解系统(18),然而,对于实际问题,当使用迭代法时,很难控制内部迭代。我们使用一步MSSOR迭代来近似求解(18),使用一种基于MSSOR的ADMM方法。
令
,其中矩阵D,L和U分别为矩阵M的对角矩阵、严格下三角矩阵和严格上三角矩阵,具体形式为:
我们使用以下等式来求解等式(17),其中
为松弛参数:
(18)
在这里
,根据以下算法进行求解:
其中算法2是一种基于改进的对称SOR迭代的内/外迭代方法,有关MSSOR方法的更多信息,请参见 [27] [28],内外迭代法是数值线性代数中的一种基本策略,同样的思想也用于不精确的厄米/斜厄米分裂迭代 [29]。
对于任意
,算法2生成的序列
收敛到
满足某些
,
的条件(15)、(16)和(17),此定理类似的详细证明见文献 [26]。
3. 实验结果
通过具体的数值实验,我们检验了所提出的算法(由Proposed表示)的有效性,其中恢复信号的质量是通过迭代步骤的数量(由Iter表示)、以秒为单位的消耗的中央处理器时间(由CPU表示)和原始信号的平均均方误差(MSE)来衡量。这里,MSE的定义为:
其中
是
的估计值,显然平均均方误差反映了模型的稳健性。本文实验过程中所使用到的算法如表1所示:
![](Images/Table_Tmp.jpg)
Table 1. Abbreviations of detection methods
表1. 检测方法的缩写
3.1. 稀疏信号恢复
本文的第一个实验是通过解决噪声测试问题来检测算法效率的。其中原始信号
的长度为2048,随机生成64个非零元素,即它的稀疏级别是64,测量的个数为m = 512,其中包含高斯噪声(正态分布为N(0m, σ2Im)的随机向量,0m为零向量,Im是大小为m的单位矩阵),我们的任务是从噪声测试中恢复z,其中图1中,原始稀疏信号为最上方的图、噪声测量是第二个图,不同算法的恢复信号如剩余图所示。图2中显示了三个算法的数值性能,其中包含Iter,CPU,MSE。与IPBDF,MSOR和ADMM算法的实验效果相比,本文提出的算法可以用更少的迭代次数和从原始信号中恢复出相同信号所需时间。从图可以看出,在大多数情况下,当算法恢复信号的质量相同时,本文所提出的方法在数值性能方面都优于IPBDF,MSOR和ADMM方法。
3.2. 模糊图像恢复
本文的第二个实验是通过恢复模糊图像来检测算法效率的,所有的测试问题都来自网站上的测试图像集合,分别由lake (P1)、columbia (P2)、bridge (P3)、crowd (P4)命名,其中columbia的尺寸为480 × 480,其他的尺寸为512 × 512。本文提出的算法在下图中由Proposed表示,在MSOR方法中,我们设
,
,实际计算中所用的迭代参数
是通过实验中的最小化相应的迭代步骤得到的,在ADMM中,假设
,
,在我们提出的算法中,假设
,
。容易地看出,对于lake (P1)、columbia (P2)、bridge (P3)、crowd (P4)这四幅原始图像,本文提出的算法是重建图像质量较好的选择,实验结果见图3~6。
![](//html.hanspub.org/file/39-2621911x108_hanspub.png?20211123082242065)
Figure 1. From top to bottom: IPBDF, MSOR and ADMM and the original signal, measured signal and recovered signal of the proposed algorithm
图1. 从上到下:IPBDF,MSOR和ADMM以及所提出算法的原始信号、测量信号和恢复信号
![](//html.hanspub.org/file/39-2621911x109_hanspub.png?20211123082242065)
Figure 2. Comparison results of MSADM, ADMM, and IPBDF, the x-axis represents the number of iterations (top) and the CPU time in seconds (bottom), and the y-axis represents the MSE value
图2. MSADM、ADMM、IPBDF的比较结果,x轴表示迭代次数(上)以及以秒为单位的CPU时间(下),y轴表示MSE值
![](//html.hanspub.org/file/39-2621911x110_hanspub.png?20211123082242065)
Figure 3. Original lake image, blurred image and IPBDF, MSOR (top), ADMM, Proposed (bottom) restored image
图3. Lake原图,模糊图像和IPBDF,MSOR (顶部),ADMM,Proposed (底部)恢复后的图像
![](//html.hanspub.org/file/39-2621911x111_hanspub.png?20211123082242065)
Figure 4. Columbia original image, blurred image and IPBDF, MSOR (top), ADMM, Proposed (bottom) restored image
图4. Columbia原图,模糊图像和IPBDF,MSOR (顶部),ADMM,Proposed (底部)恢复后的图像
![](//html.hanspub.org/file/39-2621911x112_hanspub.png?20211123082242065)
Figure 5. Bridge original image, blurred image and IPBDF, MSOR (top), ADMM, Proposed (bottom) restored image
图5. Bridge原图,模糊图像和IPBDF,MSOR (顶部),ADMM,Proposed (底部)恢复后的图像
![](//html.hanspub.org/file/39-2621911x113_hanspub.png?20211123082242065)
Figure 6. Crowd original image, blurred image and IPBDF, MSOR (top), ADMM, Proposed (bottom) restored image
图6. Crowd原图,模糊图像和IPBDF,MSOR (顶部),ADMM,Proposed (底部)恢复后的图像
4. 总结
本文将信号恢复问题放入优化问题的框架中,提出了一种基于MSSOR求解信号恢复问题的ADMM方法,与已有的结果相比,我们的贡献总结如下:
1) 本文首先将信号恢复问题重新表述为一个非线性非光滑问题,而不是直接用优化模型来描述。
2) 本文所使用的MSADM算法具有较强的鲁棒性,具有接近较优的收敛速度,特别适合于求解自适应精细网格进行离散化、高度非均匀、具有粗糙解的困难问题。
3) 通过与现有算法的数值效率相比较,本文解决了以往文献中存在的许多测试精度问题。数值结果表明,MSADM算法是一种鲁棒的稀疏信号恢复算法或模糊图像恢复算法。它既可以在更少的时间内恢复信号,也提升了图像质量,但是有关信号恢复的问题还可以做进一步的研究。
NOTES
*第一作者。
#通讯作者。