1、0压缩感知原理1 压缩感知引论传统方式下的信号处理，是按照奈奎斯特采样定理对信号进行采样，得到大量的采样数据，需要先获取整个信号再进行压缩，其压缩过程如图 2.1。可压缩信号 高速采样 压缩 重构信号变换图2.1 传统的信号压缩过程在此过程中，大部分采样数据将会被抛弃，即高速采样后再压缩的过程浪费了大量的采样资源，这就极大地增加了存储和传输的代价。由于带宽的限制，许多信号只包含少量的重要频率的信息。所以大部分信号是稀疏的或是可压缩的，对于这种类型的信号，既然传统方法采样的多数数据会被抛弃，那么，为什么还要获取全部数据而不直接获取需要保留的数据呢？Candes 和Donoho 等人于 2004
2、年提出了压缩感知理论。该理论可以理解为将模拟数据节约地转换成压缩数字形式，避免了资源的浪费。即，在采样信号的同时就对数据进行适当的压缩，相当于在采样过程中寻找最少的系数来表示信号，并能用适当的重构算法从压缩数据中恢复出原始信号。压缩感知的主要目标是从少量的非适应线性测量中精确有效地重构信号。核心概念在于试图从原理上降低对一个信号进行测量的成本。压缩感知包含了许多重要的数学理论，具有广泛的应用前景，最近几年引起广泛的关注，得到了蓬勃的发展。2 压缩感知原理压缩感知，也被称为压缩传感或压缩采样，是一种利用稀疏的或可压缩的信号进行信号重构的技术。或者可以说是信号在采样的同时被压缩，从而在很大程度上降
3、低了采样率。压缩感知跳过了采集 个样本这一步骤，直接获得压缩的信号的N表示。CS 理论利用到了许多自然信号在特定的基 上具有紧凑的表示。即这些信号是“稀疏”的或“可压缩”的。由于这一特性，压缩感知理论的信号编解码框架和传统的压缩过程大不一样，主要包括信号的稀疏表示、编码测量和重构算法等三个方面。1对于一个实值的有限长一维离散时间信号 ，可以看作为一个 空间 1XNR的维的列向量，元素为 ， ,=1，2， 。 空间的任何信号都可以用 1nNR维的基向量 的线性组合表示。为简化问题，假定这些基是规范正交的。把1iN向量 作为列向量形成 的基矩阵 ：= , ，于是任意信1i 12,N号 都可以表示为
4、：X(2.1)X其中 是投影系数 = 构成的 1的列向量。显然， 和,ii X是同一个信号的等价表示， 是信号在时域的表示， 则是信号在 域的表示。如果 的非零个数比 小很多，则表明该信号是可压缩的。一般而言，可压缩信N号是指可以用 个大系数很好地逼近的信号，即它在某个正交基下的展开的系数按K一定量级呈现指数衰减，具有非常少的大系数和许多小系数。这种通过变换实现压缩的方法称为变换编码。在数据采样系统中，采样速率高但信号是可压缩的，采样得到 点采样信号 ；通过 变换后计算出完整的变换系数集合 ；确NXTXi定 个大系数的位置，然后扔掉 个小系数；对 个大系数的值和位置进行编KNKK码，从而达到压
5、缩的目的。由Candes、Romberg、Tao和Donoho等人在2004年提出的压缩感知理论表明，可以在不丢失逼近原信号所需信息的情况下，用最少的观测次数来采样信号，实现信号的降维处理，即直接对信号进行较少采样得到信号的压缩表示，且不经过进行次采样的中间阶段，从而在节约采样和传输成本的情况下，达到了在采样的同N时进行压缩的目的。Candes证明了只要信号在某一个正交空间具有稀疏性，就能以较低的频率 采样信号，而且可以以高概率重构该信号。即，设定设长度MN为 的信号 在某正交基或框架 上的变换系数是稀疏的，如果我们可以用一个X与变换基 不相关的观测基 ： 对系数向量进行线性变换，并得NM到观
6、测集合 。那么就可以利用优化求解方法从观测集合中精确或高概率地:1Y重构原始信号 。图2.2是基于压缩感知理论的信号重构过程框图。2可压缩信号 稀疏变换 TX观测得到的 维向量MY重构信号满足0minTXCSAY图2.2 基于压缩感知理论的信号重构过程基于压缩感知的信号重构主要包含了信号的稀疏表示、编码测量和重构算法三个步骤。第一步，如果信号 在某个正交基或紧框架 上是可压缩的，求出XNR变换系数 ， 是 的等价或逼近的稀疏表示；第二步，设计一个平稳的、T与变换基 不相关的 维的观测矩阵 ，对 进行观测得到观测集合M，该过程也可以表示为信号 通过矩阵 进行非自适应观测：TYXXCSA(其中 )
7、， 称为CS信息算子；第三步，利用0-范数意义下的CSACSTCSA优化问题求解 的精确或近似逼近 ：s.t. (2.2)0minTXCSTXY求得的向量 在基上的表示最稀疏。X针对上述的三个步骤，下面将一一解决其中的三个问题。2.1 信号的稀疏表示压缩感知的第一步即，对于信号 ，如何找到某个正交基或紧框架 ，XNR使其在 上的表示是稀疏的，即信号的稀疏表示问题。所谓的稀疏，就是指信号 在正交基下的变换系数向量为 ，假如对TX于 和 ，这些系数满足：02p0R(2.3)1/PiPR则说明系数向量 在某种意义下是稀疏的。如何找到信号最佳的稀疏域？这是压缩感知理论应用的基础和前提，只有选择合适的基
8、表示信号才能保证信号的稀疏度，从而保证信号的恢复精度。在研究信号的稀疏表示时，可以通过变换系数衰减速度来衡量变换基的稀疏表示能力。Candes和Tao 研究表明，满足具有幂次速度衰减的信号，可利用压缩感知理论得到恢复，并且重构误差满足：3(2.4)62(/log)rrEXCKN其中r=1/p 1/2，0p1 .文献8指出光滑信号的 Fourier系数、小波系数、有界变差函数的全变差范数、振荡信号的Gabor系数及具有不连续边缘的图像信号的Curvelet系数等都具有足够的稀疏性，可以通过压缩感知理论恢复信号。如何找到或构造适合一类信号的正交基，以求得信号的最稀疏表示，这是一个有待进一步研究的问
9、题。Peyre把变换基是正交基的条件扩展到了由多个正交基构成的正交基字典。即在某个正交基字典里，自适应地寻找可以逼近某一种信号特征的最优正交基，根据不同的信号寻找最适合信号特性的一个正交基，对信号进行变换以得到最稀疏的信号表示。对稀疏表示研究的另一个热点是信号在冗余字典下的稀疏分解。这是一种全新的信号表示理论：用超完备的冗余函数库取代基函数，称之为冗余字典，字典中的元素被称为原子。字典的选择应尽可能好地符合被逼近信号的结构，其构成可以没有任何限制。从冗余字典中找到具有最佳线性组合的 项原子来表示一个信号，称K作信号的稀疏逼近或高度非线性逼近。从非线性逼近角度来讲，信号的稀疏逼近包含两个层面：一
10、是根据目标函数从一个给定的基库中挑选好的或最好的基；二是从这个好的基中挑选最佳的K项组合。因此，目前信号在冗余字典下的稀疏表示的研究集中在两个方面：(1)如何构造一个适合某一类信号的冗余字典；(2)如何设计快速有效的稀疏分解算法。在构造冗余字典方面，文献16中提出使用局部Cosine基来刻画声音信号的局部频域特性；利用bandlet 基来刻画图像中的几何边缘；还可以把其它的具有不同形状的基函数归入字典，如适合刻画纹理的Gabor基、适合刻画轮廓的Curvelet基等等。在稀疏分解算法的设计方面，基于贪婪迭代思想的MP(Matching Pursuit)算法表现出极大的优越性，但不是全局最优解。
11、Donoho等人之后提出了基追踪 (basis pursuit，BP) 算法。BP 算法具有全局最优的优点，但计算复杂度极高。之后又出现了一系列同样基于贪婪迭代思想的改进算法，如正交匹配追踪算法(OMP)，分段匹配追踪(StOMP) 算法等。2.2 测量矩阵的选取如何设计一个平稳的、与变换基 不相关的 维的观测矩阵 ，保证稀MN疏向量 从 维降到 维时重要信息不遭破坏，是第二步要解决的问题，也就是NM4信号低速采样问题。压缩感知理论中，通过变换得到信号的稀疏系数向量 后，需要设计TX压缩采样系统的观测部分，它围绕观测矩阵 展开观测器的设计目的是如何采样得到 个观测值，并保证从中能重构出长度为
12、的信号 或者基 下等价的稀疏MN系数向量 。显然，如果观测过程破坏了 中的信息，重构是不可能的。观测过X程实际就是利用 观测矩阵 的 个行向量 对稀疏系数向量进行投影，NM1Mj即计算 和各个观测向量 之间的内积，得到 个观测值1j，记观测向量 ，即,1,2jjy12(,y)MY，(2.5)TCSYXA这里，采样过程是非自适应的，也就是说， 无须根据信号 而变化，观测X的不再是信号的点采样而是信号的更一般的 线性泛函。K对于给定的 从式(2.5) 中求出 是一个线性规划问题，但由于 ，即方Y MN程的个数少于未知数的个数，这是一个欠定问题，一般来讲无确定解。然而，如果具有 - 项稀疏性( )，
13、则该问题有望求出确定解。此时，只要设法确定KM出 中的 个非零系数 的合适位置，由于观测向量 是这些非零系数 对应 的iYi个列向量的线性组合，从而可以形成一个 的线性方程组来求解这些非零项K的具体值。对此，有限等距性质给出了存在确定解的充要条件。这个充要条件和Candes、Tao等人提出的稀疏信号在观测矩阵作用下必须保持的几何性质相一致。即，要想使信号完全重构，必须保证观测矩阵不会把两个不同的 -项稀疏信号映射到同一个采样集合中，这就要求从观测矩阵中抽取的每 个列向量构成的矩阵M是非奇异的。从中可以看出，问题的关键是如何确定非零系数的位置来构造出一个可解的 线性方程组。MK然而，判断给定的
14、是否具有RIP性质是一个组合复杂度问题。为了降低问CSA题的复杂度，能否找到一种易于实现RIP条件的替代方法成为构造观测矩阵的关键。文献10指出如果保证观测矩阵 和稀疏基 不相干，则 在很大概率上满CSA足RIP性质。不相干是指向量 不能用 稀疏表示。不相干性越强，互相表示ji5时所需的系数越多；反之，相关性则越强通过选择高斯随机矩阵 作为即可高概率保证不相干性和RIP性质。例如，可以生成多个零均值、方差为1/ 的随机高斯N函数，将它们作为观测矩阵 的元素 ，使得 以很高的概率具有RIP性质。随jCSA机高斯矩阵具有一个有用的性质：对于一个 的随机高斯矩阵 ，可以证明当MNMcKlog(NK)
15、时 在很大概率下具有RIP性质(其中c是一个很小的常数)。TCSA因此可以从 个观测值 中以很高的概率去恢复长度为 的 - M12,yY， NK项稀疏信号。总之，随机高斯矩阵与大多数固定正交基构成的矩阵不相关，这一特性决定了选它作为观测矩阵，其它正交基作为稀疏变换基时， 满足RIP性质。CSA为进一步简化观测矩阵 ，在某些条件下，以随机 为元素构成的Rademacher矩1阵也可以证明具有RIP性质和普适性。对观测矩阵的研究是压缩感知理论的一个重要方面。Donoho 给出了观测矩阵所必需具备的三个条件，并指出大部分一致分布的随机矩阵都具备这三个条件，均可作为观测矩阵，如：部分Fourier集、
16、部分Hadamard集、一致分布的随机投影(uniform Random Projection)集等，这与对RIP性质进行研究得出的结论相一致。但是，使用上述各种观测矩阵进行观测后，都仅仅能保证以很高的概率去恢复信号，而不能保证百分之百地精确重构信号。对于任何稳定的重构算法是否存在一个真实的确定性的观测矩阵仍是一个有待研究的问题。2.3 信号重构如何设计快速重构算法，从线性观测 中恢复信号，是第三步要将解CSYAX决的问题，即信号的重构问题。在压缩感知理论中，由于观测数量 远小于信号长度 ，因此不得不面对求MN解欠定方程组 的问题。表面上看，求解欠定方程组似乎是无望的，但是，CSYAX文献8和
17、4均指出由于信号 是稀疏的或可压缩的，这个前提从根本上改变了问题，使得问题可解，而观测矩阵具有RIP性质也为从 个观测值中精确恢复信号提供了理论保证。为更清晰地描述压缩感知理论的信号重构问题，首先定义向量的 范数为：12,nXx， p(2.6)1/pNiPXx6当 时得到 范数，它实际上表示 中非零项的个数。0pX于是，在信号 稀疏或可压缩的前提下，求解欠定方程组 的问题转X CSYAX化为最小 范数问题：s.t. (2.7)0minTXCSTA但是，它需要列出 中所有非零项位置的 备种可能的线性组合，才能得到MKN最优解。因此，求解式(2.7)的数值计算极不稳定而且是NP难问题。注意，这和稀
18、疏分解问题从数学意义上讲是同样的问题。于是稀疏分解的已有算法可以应用到CS重构中。Chen，Donoho和Saunders指出，求解一个更加简单的 优化问题会产生同等的1l解(要求 和 不相关)：s.t. (2.8)1minTXCSTAXY稍微的差别使得问题变成了一个凸优化问题，于是可以方便地化简为线性规划问题，典型算法代表：BP算法尽管BP算法可行，但在实际应用中存在两个问题：第一，即使是常见的图像尺寸，算法的计算复杂度也难以忍受，在采样点个数满足， 时，重构计算复杂度的量级在 ；第二，由于McK2log/1NK3()ON范数无法区分稀疏系数尺度的位置，所以尽管整体上重构信号在欧氏距离上逼1
19、近原信号，但存在低尺度能量搬移到了高尺度的现象，从而容易出现一些人工效应，如一维信号会在高频出现振荡。基于上述问题，2005年1月Candes和Romberg 提出了不同的信号恢复方法，该方法要求对原信号具有少量的先验知识，同时也可以对所求结果施加适当的期望特性，以约束重构信号的特性。通过在凸集上交替投影的方法，可以快速求解线性规划问题。Tropp和Gilbert提出利用匹配追踪 (MP)和正交匹配追踪 (OMP)算法来求解优化问题重构信号，大大提高了计算的速度，且易于实现。树形匹配追踪(TMP)算法是2005年La 和NDo提出的。该方法针对BP、MP和OMP方法没有考虑信号的多尺度分解时稀
20、疏信号在各子带位置的关系，将稀疏系数的树型结构加以利用，进一步提升了重构信号的精度和求解的速度。匹配追踪类算法都是基于贪婪迭代算法，以多于7BP算法需要的采样数目换取计算复杂度的降低。例如OMP算法，需要 ，McK个采样点数才能以较高的概率恢复信号，信号重构的计算复杂度为2ln()cN。2006年Donoho等人提出了分段正交匹配追踪 (STOMP，stagewise OMP)OK算法。它将OMP进行一定程度的简化，以逼近精度为代价进一步提高了计算速度(计算复杂度为O(N)，更加适合于求解大规模问题。匹配追踪类方法为其近似求解提供了有力工具，且该类方法用于稀疏信号重建时具有一定的稳定性。文献8
21、中提出的OMP算法延续了匹配追踪算法中原子的选择准则，但是实现了递归地对已选原子集合进行正交化以保证迭代的最优性，从而减少了迭代次数。此后，Needell 和Vershynin 等人在OMP算法的基础上将正则化过程用于稀疏度 已知的OMP算法中，提出了ROMP算法。ROMP算法与OMP算K法的不同之处在于，该算法首先根据相关原子挑选多个原子作为候选集，然后从候选集中按照正则化原则挑选出部分原子，最后将其并入最终的支撑集，从而实现了原子的快速、有效选择。最近出现的子空间匹配追踪算法(Subspace Pursuit，SP) 和压缩采样匹配追踪算法(Compressive Sampling Mat
22、ching Pursuit ，CoSaMP)引入了回退筛选的思想，这些算法的重建质量与线性规划方法相当，同时重建复杂度低，但是这些算法都是建立在稀疏度 已知的基础上。然而实际应用中信号的稀疏度K往往是未知的，由此出现了对稀疏度 自适应的稀疏自适应匹配追踪算法K(Sparsity Adaptive Matching Pursuit, SAMP)，它通过设置一个可变步长，逐步对信号稀疏度进行估计，因此可以在 K 未知的情况下获得较好的重建效果，速度也远快于OMP 算法。基于 ROMP算法和SAMP 算法的突出优势，本文研究了兼有ROMP 算法和SAMP算法优势的自适应正则化匹配追踪 (RAMP)算法。
