无线传感器网络中目标覆盖问题的理论研究-SpringerStaticContent.PDF

Gu Y, Zhao BH, Ji YS et al. Theoretical treatment of target coverage in wireless sensor networks. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 26(1): 117-129 Jan. 2011. DOI 10.1007/s11390-011-1115-x 无线传感器网络中目标覆盖问题的理论研究 1．本文的创新点 本文的创新点在于下列的两个方面： 1) 针对无线传感器网络中的目标覆盖问题，提出了基于松弛思想的两个生命周期的 上界。上界的意义在于，它们可以被用来对启发式算法的性能做进一步的刻画。 2) 设计了一种最优的基于列生成的算法，保证了解的最优性或者近最优性。它可以 被很容易的扩展去适应其他相似的目标覆盖问题，如 Maximum Set Cover 问题。 2 ．实现方法 前人研究传感器网络中的目标覆盖的文献，或者是专注于提出启发式算法，这些算法的 性能不能被很好的论证, 或者是对问题本身进行了松弛 (relax)以降低问题的复杂度根据调 研的结果，对传感器网路中的目标覆盖问题并没有理论上的结果。为了填补这一空白，本文 提出一个普适的优化体系，这个优化体系可以用来求解一系列相似的目标覆盖问题。这个体 系包含了一下两个模块， 第一个模块提供了两个生命周期的上界，它们可以用来验证前人文献中提出的启发式算 法的性能表现。第一个上界是基于对 MINLP 模型的松弛与再建模(relaxation and reformulation)，第二个上界是基于对覆盖需求的松弛。具体来说，原本的覆盖需求是，对 任何一个目标节点来说，在任何一个时刻都至少被 个活跃的传感器节点所覆盖，松弛以后 的覆盖需求为，对任何一个目标节点来说，平均每个时刻都被至少 个活跃的传感器节点所 覆盖。同时，还发现了这两个上界之间的联系，由此给予了它们以物理上的意义。考虑到上 述的松弛技术具有普适性，同样可以被用来应用于其他相似的目标覆盖问题，例如 MSC 问题。 因此，这两个上界的意义不仅仅局限于 TQC 问题，它们也同样可以被应用到其他相似的目标 覆盖问题，并用来对这些问题上的启发式算法的性能做验证。 第二个模块包含了一个基于列生成(Column Generation, CG)理论的算法，目标是得到 最优解。算法的输入为网络拓扑以及覆盖需求，输出为一个最优的时间表，这个时间表具体 规定了从哪一时刻到哪一时刻，哪个传感器节点覆盖哪些目标节点。这个算法将 MINLP 模 型分解成一个主问题与子问题，并通过对它们的迭代求解以取得最优解。这里一个“列”就 代表了一个“覆盖模式”, 基本的想法是迭代地将对当前解最优的那个覆盖模式从解空间中 搜索出来，并判断加入了这个覆盖模式后，得到的解是是否是最优，如果是，就停止，否则 就继续重复这个过程，由于解空间的大小是有限的，因此这个算法一定会停止。由于 CG 算 法需要一个初始的可行基，提出了一种基于随机选取的算法去的到一个初始可行基，以加速 迭代的收敛。此外，考虑到子问题是一个整形规划(Integer Programming, IP)问题，在传 感器网络中这样的整形规划问题的求解耗时非常严重，为了解决这一点，并不直接的求解子 Gu Y, Zhao BH, Ji YS et al. Theoretical treatment of target coverage in wireless sensor networks. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 26(1): 117-129 Jan. 2011. DOI 10.1007/s11390-011-1115-x 问题，而是先将它松弛到一个线性规划问题(Linear Programming, LP)，并且提出了近似算 法将得到的线性解映射到一个整形解。由于线性规划问题可以在多项式时间来求解，因此在 经过这样的过程后，成功的降低了 CG 算法每一轮的时间复杂度，并且同时证明了这样的一 个处理算法也可以保证解的性能。 3 ．结论及未来待解决的问题 本文主要试图解决传感器网络中对物理目标的最优覆盖问题。首先对这个优化问题简历 了一个非线性的优化方程。考虑到直接求解非线性方程的困难度，直接求解是不可取的。本 文的贡献在于提出了两个理论上的结论。第一个贡献为网络的上界。基于低不同的松弛技术， 得到了两种不同的上界。这