From modelling to inversion: Designing a well-adapted simulator

Geophysical Prospecting

Volumn 59, Issue 5, 2011, Pages 814-833

  Symes, William W ^a   Sun, Dong ^a   Enriquez, Marco ^a  

^a Rice University   (United States)

Author keywords

Adjoint; Born modelling; Initialization

Indexed keywords

ADJOINTS; BORN MODELLING; DESIGN CONSTRAINTS; DESIGN OPTIMIZATION; ILL-CONDITIONING; IN-BUILDINGS; INITIALIZATION; LEAST-SQUARES INVERSION; LINEAR WAVE PROPAGATION; MIGRATION VELOCITY ANALYSIS; MODELLING CODES; MODELLING SOFTWARES; NON-LINEARITY; OPTIMIZATION FORMULATIONS; PERFORMANCE ENHANCEMENTS; RAPID ADAPTATION; SOFTWARE FRAMEWORKS;

HISTORIC PRESERVATION; INVERSE PROBLEMS; OPTIMIZATION; WAVE PROPAGATION;

COMPUTER SOFTWARE;

INVERSE PROBLEM; LEAST SQUARES METHOD; OPTIMIZATION; SOFTWARE; WAVE MODELING; WAVE PROPAGATION;

EID: 80051865151     PISSN: 00168025     EISSN: 13652478     Source Type: Journal    
DOI: 10.1111/j.1365-2478.2011.00977.x     Document Type: Article

References (66)

1. Akcelik V., Bielak J., Biros G., Epanomeritakis I., Fernandez A., Ghattas O. et al. 2003. High resolution forward and inverse earthquake modeling on terascale computers. In: Proceedings of the Association for Computing Machinery.
2. Balay S., Buschelman K., Gropp W.D., Kaushik D., Curfman McInnes L. and Smith B.F. 2001. PETSc home page.
3. th SEG meeting, Denver, Colorado, USA, Expanded Abstracts, 925-929.
4. Barry K., Cavers D. and Kneale C. 1980. SEG-Y - recommended standards for digital tape formats. In: Digital Tape Standards. SEG.
5. Benson S., Curfman McInnes L., Moré J., Munson T. and Sarich J. 2007. TAO user manual (revision 1.9, Tech. Rep. ANL/MCS-TM-242, Mathematics and Computer Science Division, Argonne National Laboratory.
6. Billette F. and Lambaré G. 1998. Velocity macro-model estimation from seismic reflection data by stereotomography. Geophysical Journal International 135, 671-680.
7. Biondi B. and Sava P. 2004. Wave-equation migration velocity analysis - I: Theory, and II: Subsalt imaging examples. Geophysics 52, 593-623.
8. nd SEG meeting, Salt Lake City, Utah, USA, Expanded Abstracts, 1284-1287.
9. Bishop T.N., Bube K.P., Cutler R.T., Laingan R.T., Love P.L., Resnick J.R. et al. 1987. Tomographic determination of velocity and depth in laterally varying media. Geophysics 50, 903-923.
10. Blanch J.O., Symes W.W. and Versteeg R. 1998. A numerical study of linear inversion in layered viscoacoustic media. In: Comparison of Seismic Inversion Methods on a Single Real Dataset (eds R. Keys and D. Foster). SEG.
11. Brenders A. and Pratt G. 2007. Full waveform tomography for lithospheric imaging: results from a blind test in a realistic crustal model. Geophysical Journal International 168, 133-151.
12. Brenders A. and Pratt G. 2007. Efficient waveform tomography for lithospheric imaging: implications for realistic, 2-D acquisition geometries and low frequency data. Geophysical Journal International 168, 152-170.
13. Brossier R., Operto S. and Virieux J. 2009. Seismic imaging of complex onshor structures by two-dimensional elastic frequency-domain full-waveform inversion. Geophysics 74, WCC63-WCC76.
14. Bunks C., Saleck F., Zaleski S. and Chavent G. 1995. Multiscale seismic waveform inversion. Geophysics 60, 1457-1473.
15. Cheong S., Pyun S. and Shin C.-S. 2006. Two efficient steepest-descent algorithms for source signature-free waveform inversion: synthetic examples. Journal of Seismic Exporation 14, 335-345.
16. Claerbout J.F 1971. Toward a unified theory of reflector mapping. Geophysics 36, 467-481.
17. th SEG meeting, Houston, Texas, USA, Expanded Abstracts, 2809-2813.
18. Cohen J.K. and Stockwell Jr. J.W. 2008. CWP/SU: Seismic Unix release no. 39: a free package for seismic research and processing. Center for Wave Phenomena, Colorado School of Mines.
19. Delprat-Jannaud F. and Lailly P. 1993. Ill posed and well posed formulation of the reflection traveltime tomography problem. Journal of Geophysical Research 98, 6589-6605.
20. Deregowski S.M. 1990. Common offset migrations and velocity analysis. First Break 8, 225-234.
21. th SEG meeting, Las Vegas, Nevada, USA, Expanded Abstracts, 2267-2271.
22. Enriquez M. and Symes W.W. 2009. Timesteping classes for optimization. Technical Report 09-33, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
23. Enriquez M.U. 2010. The effects of couplich adaptive time-stepping and adjoint-state methods for optimal control problems. Technical Report 10-34, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
24. Fehler M. 2009. SEAM Phase I Progress Report: numerical simulation verification. The Leading Edge 28, 270-271.
25. Fomel S. 2009. Madagascar web portal, (accessed 5 April 2009).
26. Gauthier O., Tarantola A. and Virieux J. 1986. Two-dimensional nonlinear inversion of seismic waveforms. Geophysics 51, 1387-1403.
27. Griewank A. 1992. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optimization Methods and Software 1, 35-54.
28. Griewank A. 2000. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. Society for Industrial and Applied Mathematics (Frontiers in Applied Mathematics).
29. Heroux M.A., Barth T., Day D., Hoekstra R., Lehoucq R., Long K. et al. 2003. Trilinos: object-oriented, high-performance parallel solver ligraries for the solution of large-scale complex multi-physics engineering and scientific applications. Technical Report, Sandia National Laboratories, Albuquerque, NM.
30. Hu W., Abubakar A. and Habashy T. 2007. Application of the nearly perfectly matched layer in acoustic wave modeling. Geophysics 72, SM169-SM176.
31. Kleyn A.H. 1983. Seismic Reflection Interpretation. Applied Science Publishers.
32. Kolda T. and Pawlowski R. 2003. NOX: An object-oriented, nonlinear solver package. Technical Report, Sandia National Laboratories, Livermore, CA.
33. Krebs J.R., Anderson J.E., Hinkley D., Neelamani R., Lee S., Baumstein A. and Lacasse M.-D. 2009. Fast full-waveform seismic inversion using encoded sources. Geophysics 74, WCC177-WCC188.
34. Lafond C.F. and Levander A.R. 1993. Migration moveout analysis and depth focusing. Geophysics 58, 91-100.
35. Levander A. 1988. Fourth-order finite-difference P-SV seismograms. Geophysics 53, 1425-1436.
36. Levander A.R. 1988. Fourth order finite difference P-SV seismograms. Geophysics 53, 1425-1434.
37. Liu Z. and Bleistein N. 1995. Migration velocity analysis: theory and an interative algorithm. Geophysics 60, 142-153.
38. Moczo P., Robertsson J.O.A. and Eisner L. 2006. The finite-difference time-domain method for modeling of seismic wave propagation. Advances in Geophysics 48, 421-516.
39. Nocedal J. and Wright S. 1999. Numerical Optimization. Springer Verlag.
40. Padula A.D. 2005. Software design for simulation-driven optimization. Technical Report 05-11, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
41. Padula A.D., Symes W.W. and Scott S.D. 2009. A software framework for the abstract expression of coordinate-free linear algebra and optimization algorithms. ACM Transactions on Mathematical Software 36, 8:1-8:36.
42. Plessix R.-E. 2006. A review of the adjoint-state method for computing the gradient of a functional with geophysical applications. Geophysical Journal International 167, 495-503.
43. Plessix R.-E. 2009. Three dimensional frequency-domain full waveform inversion with an iterative solver. Geophysics 74, WCC149-WCC163.
44. th SEG meeting, Denver, Colorado, USA, Expanded Abstracts, 930-934.
45. Pratt R.G. 1999. Seismic waveform inversion in the frequency domain, part 1: Theory, and verification in a physical scale model. Geophysics 64, 888-901.
46. Shin C., Jang S. and Min D.-J. 2001. Improved amplitude preservation for prestack depth migration by inverse scattering theory. Geophysical Prospecting 49, 592-606.
47. Sirgue L. and Pratt G. 2004. Efficient waveform inversion and imaging: a strategy for selecting temporal frequencies. Geophysics 69, 231-248.
48. Soubaras R. and Gratacos B. 2007. Velocity model building by semblance maximization of modulated-shot gathers. Geophysics 72, U67.
49. Sun D. 2009. The nonlinear differential semblance algorithm for plane waves in layered media. Technical Report 09-04, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
50. th SEG meeting, Las Vegas, Nevada, USA, Expanded Abstracts, 2526-2530.
51. Sun D. and Symes W.W. 2010. IWAVE implementation of Born simulation. Technical Report 10-05, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
52. Sun D. and Symes W.W. 2010. IWAVE implementation of adjoint state method. Technical Report 10-06, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
53. Symes W.W. 1986. Stability and instability results for inverse problems in several-dimensional wave propagation. Proceedings 7th International Conference on Computing Methods in Applied Science and Engineering (eds R. Glowinski and J. Lions). North-Holland.
54. Symes W.W. 2007. Reverse time migration with optimal checkpointing. Geophysics 72, SM213-SM222.
55. Symes W.W. 2008. Migration velocity analysis and waveform inversion. Geophysical Prospecting 56, 765-790.
56. Symes W.W. and Santosa F. 1988. Computation of the Newton Hessian for least-squares solution of inverse problems in reflection seismology. Inverse Problems 4, 211-233.
57. Tarantola A. 1984. Inversion of seismic reflection data in the acoustic approximation. Geophysics 49, 1259-1266.
58. Terentyev I. 2009. A software framework for finite difference simulation. Technical Report 09-07, Department of Computational and Applied Mathematics, Rice University, Houston, Texas, USA.
59. Terentyev I., Vdovina T., Wang X. and Symes W.W. 2010. IWAVE: a framework for wave simulation.
60. Toldi J. 1989. Velocity analysis without picking. Geophysics 54, 191-199.
61. th SEG meeting, Denver, Colorado, USA, Expanded Abstracts, 957-961.
62. Virieux J. 1984. SH-wave propagation in heterogeneous media: Velocity stress finite-difference method. Geophysics 49, 1933-1957.
63. Virieux J. 1986. P-SV wave propagation in heterogeneous media: Velocity stress finite-difference method. Geophysics 51, 889-901.
64. Yilmaz O. 2001. Seismic data processing. In: Investigations in Geophysics No. 10. SEG.
65. Yilmaz O. and Chambers R. 1984. Migration velocity analysis by wavefield extrapolation. Geophysics 49, 1664-1674.
66. Zhu C., Byrd R.H. and Nocedal J. 1997. L-BFGS-B, FORTRAN routines for large scale bound constrained optimization. ACM Transactions on Mathematical Software 23, 550-560.