[论文解读] The Navier-Stokes-Voight Model for Image Inpainting

Mehran Ebrahimi, Michael Holst+1 more|ArXiv.org|Jan 28, 2009

Generative Adversarial Networks and Image Synthesis参考文献 20被引用 8

一句话总结

本文提出将二维Navier-Stokes-Voigt（NSV）模型作为标准Navier-Stokes方程（NSE）在图像修复中的更高效替代方案。通过利用NSV模型的正则化特性，该方法在保持图像质量与NSE方法相当的同时，实现了显著更大的稳定时间步长，从而降低了计算成本，同时保持了精度与稳定性。

ABSTRACT

In 2001, Bertalmio et. al. drew an analogy between the image intensity function for the image inpainting problem and the stream function in a two-dimensional (2D) incompressible fluid. An approximate solution to the inpainting problem is obtained by numerically approximating the steady state solution of the 2D NSE vorticity transport equation, and simultaneously solving the Poisson problem between the vorticity and stream function, in the region to be inpainted. This elegant approach allows one to produce an approximate solution to the image inpainting problem by using techniques from computational fluid dynamics. Recently, the three-dimensional (3D) Navier-Stokes-Voight (NSV) model of viscoelastic fluid, was suggested by Cao et. al. as an inviscid regularization to the 3D Navier-Stokes equations (NSE). The NSV model is shown to be globally well-posed and has a finite-dimensional global attractor, making it an attractive sub-grid scale turbulence model for purposes of numerical simulation. In this paper we investigate the use of the 2D NSV model for use in algorithms for the inpainting problem. We also present some new theoretical results based on energy methods comparing the sufficient conditions for stability of the discretization scheme for the two model equations.

研究动机与目标

• 探索Navier-Stokes-Voigt（NSV）模型作为图像修复中亚网格尺度湍流模型的潜力。
• 比较NSV与Navier-Stokes方程（NSE）在数值图像修复中的效率与稳定性。
• 通过主观人工评估与客观PSNR指标，评估NSV在图像质量方面的表现。
• 分析NSV与NSE在图像修复背景下，半隐式时间离散化格式的稳定性。
• 研究NSV与NSE模型在何种理论条件下，其稳态解具有唯一性与稳定性。

提出的方法

• 将原本用于粘弹性流体的二维Navier-Stokes-Voigt（NSV）模型，通过将图像灰度值类比为流体的流函数，应用于图像修复。
• 采用半隐式时间离散化格式求解NSV方程，从而实现比标准NSE更大的时间步长。
• 如同Bertalmio等人原始的CFD方法，同时求解修复区域内涡度与流函数之间的Poisson方程。
• 采用稳定化的有限元方法，并结合能量估计，分析数值格式的稳定性。
• 通过求解带有正则化的涡度输运方程，利用NSV模型将等照度线跨损伤区域进行传播。
• 利用NSV模型中的正则化参数α控制平滑程度与稳定性，其中α > 0可提升数值鲁棒性。

实验结果

研究问题

• RQ1 二维Navier-Stokes-Voigt（NSV）模型是否能在允许更大时间步长的同时，实现与标准Navier-Stokes方程（NSE）相当的图像修复质量？
• RQ2 在图像修复背景下，应用于NSV与NSE模型的半隐式时间离散化格式的理论稳定性条件是什么？
• RQ3 NSV模型中的正则化参数α如何影响修复过程的收敛速度与数值稳定性？
• RQ4 稳态解的唯一性与粘性系数、边界图像数据及修复区域大小之间存在何种关系？
• RQ5 NSV方法与NSE方法在PSNR值与人工评估结果上的表现如何比较？

主要发现

• NSV模型允许显著更大的稳定时间步长，减少了达到稳态所需的迭代次数，从而提升了计算效率。
• 数值实验表明，NSV方法生成的图像质量与NSE方法相当，该结论得到了PSNR值与人工评估的双重验证。
• 理论分析表明，NSV格式在时间步长约束上比NSE格式更宽松，其稳定性条件依赖于正则化参数α。
• 基于能量的稳定性分析表明，NSV格式在适当参数选择下，对离散能量具有统一有界性，从而确保长期稳定性。
• 在考虑粘性系数、边界数据与修复区域大小的条件下，NSV模型的稳态解唯一性得到理论证明，其唯一性保证强于NSE模型。
• 在考虑计算成本的前提下，NSV模型可提供与NSE同等质量的修复结果，但资源消耗显著降低。