Fast 3D frequency-domain full-waveform inversion with a parallel block low-rank multifrontal direct solver: Application to OBC data from the North Sea

被引:51
作者
Amestoy, Patrick [1 ]
Brossier, Romain [2 ]
Buttari, Alfredo [3 ]
L'Excellent, Jean-Yves [4 ]
Mary, Theo [5 ]
Metivier, Ludovic [6 ]
Miniussi, Alain [7 ]
Operto, Stephane [7 ]
机构
[1] Univ Toulouse III Paul Sabatier, INPT, IRIT, Toulouse, France
[2] Univ Grenoble Alpes, Inst Sci Terre, Grenoble, France
[3] Univ Toulouse III Paul Sabatier, Ctr Natl Rech Sci CNRS IRIT, Toulouse, France
[4] Univ Lyon, INRIA, LIP, LIP Ecole Normale Super ENS Lyon, Lyon, France
[5] Univ Toulouse III Paul Sabatier IRIT, Toulouse, France
[6] Univ Grenoble Alpes, CNRS, ISTerre Lab Jean Kuntzmann LJK, Grenoble, France
[7] Univ Nice Sophia Antipolis, Geoazur CNRS, CNRS, Observ Cote Azur,IRD, Valbonne, France
关键词
BOTTOM-CABLE DATA; FINITE-DIFFERENCE; ITERATIVE SOLVER; PART; PROPAGATION; VALHALL; MEMORY; SCALAR; SPACE; MEDIA;
D O I
10.1190/GEO2016-0052.1
中图分类号
P3 [地球物理学]; P59 [地球化学];
学科分类号
0708 ; 070902 ;
摘要
Wide-azimuth long-offset ocean bottom cable (OBC)/ocean bottom node surveys provide a suitable framework to perform computationally efficient frequency-domain full-waveform inversion (FWI) with a few discrete frequencies. Frequency-domain seismic modeling is performed efficiently with moderate computational resources for a large number of sources with a sparse multifrontal direct solver (Gauss-elimination techniques for sparse matrices). Approximate solutions of the time-harmonic wave equation are computed using a block low-rank (BLR) approximation, leading to a significant reduction in the operation count and in the volume of communication during the lower upper (LU) factorization as well as offering great potential for reduction in the memory demand. Moreover, the sparsity of the seismic source vectors is exploited to speed up the forward elimination step during the computation of the monochromatic wavefields. The relevance and the computational efficiency of the frequency-domain FWI performed in the viscoacoustic vertical transverse isotropic (VTI) approximation was tested with a real 3D OBC case study from the North Sea. The FWI subsurface models indicate a dramatic resolution improvement relative to the initial model built by reflection traveltime tomography. The amplitude errors introduced in the modeled wavefields by the BLR approximation for different low-rank thresholds have a negligible footprint in the FWI results. With respect to a standard multifrontal sparse direct factorization, and without compromise of the accuracy of the imaging, the BLR approximation can bring a reduction of the LU factor size by a factor of up to three. This reduction is not yet exploited to reduce the effective memory usage (ongoing work). The flop reduction can be larger than a factor of 10 and can bring a factor of time reduction of around three. Moreover, this reduction factor tends to increase with frequency, namely with the matrix size. Frequency-domain viscoacoustic VTI FWI can be viewed as an efficient tool to build an initial model for elastic FWI of 4C OBC data.
引用
收藏
页码:R363 / R383
页数:21
相关论文
共 72 条
[1]   ROBUST MEMORY-AWARE MAPPINGS FOR PARALLEL MULTIFRONTAL FACTORIZATIONS [J].
Agullo, Emmanuel ;
Amestoy, Patrick R. ;
Buttari, Alfredo ;
Guermouche, Abdou ;
L'Excellent, Jean-Yves ;
Rouet, Francois-Henry .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2016, 38 (03) :C256-C279
[2]  
Amestoy P., 2015, 85 ANN INT M SEG, P3606, DOI [10.1190/segam2015-5811693.1, DOI 10.1190/SEGAM2015-5811693.1]
[3]  
Amestoy P. R., 2016, SIAM C PAR PROC SIAM
[4]  
Amestoy P. R., 2015, 85 ANN INT M SEG, P1303
[5]  
Amestoy P. R., 2016, SIAM C PAR PROC
[6]   IMPROVING MULTIFRONTAL METHODS BY MEANS OF BLOCK LOW-RANK REPRESENTATIONS [J].
Amestoy, Patrick ;
Ashcraft, Cleve ;
Boiteau, Olivier ;
Buttari, Alfredo ;
L'Excellent, Jean-Yves ;
Weisbecker, Clement .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2015, 37 (03) :A1451-A1474
[7]   PARALLEL COMPUTATION OF ENTRIES OF A-1 [J].
Amestoy, Patrick R. ;
Duff, Iain S. ;
L'Excellent, Jean-Yves ;
Rouet, Francois-Henry .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2015, 37 (02) :C268-C284
[8]   Hybrid scheduling for the parallel solution of linear systems [J].
Amestoy, PR ;
Guermouche, A ;
L'Excellent, JY ;
Pralet, S .
PARALLEL COMPUTING, 2006, 32 (02) :136-156
[9]   A fully asynchronous multifrontal solver using distributed dynamic scheduling [J].
Amestoy, PR ;
Duff, IS ;
L'Excellent, JY ;
Koster, J .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2001, 23 (01) :15-41
[10]   A fast, memory efficient and robust sparse preconditioner based on a multifrontal approach with applications to finite-element matrices [J].
Aminfar, AmirHossein ;
Darve, Eric .
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2016, 107 (06) :520-540