Articles | Volume 15, issue 23
https://doi.org/10.5194/gmd-15-8639-2022
https://doi.org/10.5194/gmd-15-8639-2022
Model description paper
 | 
30 Nov 2022
Model description paper |  | 30 Nov 2022

spyro: a Firedrake-based wave propagation and full-waveform-inversion finite-element solver

Keith J. Roberts, Alexandre Olender, Lucas Franceschini, Robert C. Kirby, Rafael S. Gioria, and Bruno S. Carmo

Related authors

OceanMesh2D 1.0: MATLAB-based software for two-dimensional unstructured mesh generation in coastal ocean modeling
Keith J. Roberts, William J. Pringle, and Joannes J. Westerink
Geosci. Model Dev., 12, 1847–1868, https://doi.org/10.5194/gmd-12-1847-2019,https://doi.org/10.5194/gmd-12-1847-2019, 2019
Short summary

Related subject area

Numerical methods
Stabilized two-phase material point method for hydromechanical coupling problems in solid–fluid porous media
Xiong Tang, Wei Liu, Siming He, Lei Zhu, Michel Jaboyedoff, Huanhuan Zhang, Yuqing Sun, and Zenan Huo
Geosci. Model Dev., 18, 4743–4758, https://doi.org/10.5194/gmd-18-4743-2025,https://doi.org/10.5194/gmd-18-4743-2025, 2025
Short summary
asQ: parallel-in-time finite element simulations using ParaDiag for geoscientific models and beyond
Joshua Hope-Collins, Abdalaziz Hamdan, Werner Bauer, Lawrence Mitchell, and Colin Cotter
Geosci. Model Dev., 18, 4535–4569, https://doi.org/10.5194/gmd-18-4535-2025,https://doi.org/10.5194/gmd-18-4535-2025, 2025
Short summary
Optimized step size control within the Rosenbrock solvers for stiff chemical ordinary differential equation systems in KPP version 2.2.3_rs4
Raphael Dreger, Timo Kirfel, Andrea Pozzer, Simon Rosanka, Rolf Sander, and Domenico Taraborrelli
Geosci. Model Dev., 18, 4273–4291, https://doi.org/10.5194/gmd-18-4273-2025,https://doi.org/10.5194/gmd-18-4273-2025, 2025
Short summary
Potential-based thermodynamics with consistent conservative cascade transport for implicit large eddy simulation: PTerodaC3TILES version 1.0
John Thuburn
Geosci. Model Dev., 18, 3331–3357, https://doi.org/10.5194/gmd-18-3331-2025,https://doi.org/10.5194/gmd-18-3331-2025, 2025
Short summary
Positive matrix factorization of large real-time atmospheric mass spectrometry datasets using error-weighted randomized hierarchical alternating least squares
Benjamin C. Sapper, Sean Youn, Daven K. Henze, Manjula Canagaratna, Harald Stark, and Jose L. Jimenez
Geosci. Model Dev., 18, 2891–2919, https://doi.org/10.5194/gmd-18-2891-2025,https://doi.org/10.5194/gmd-18-2891-2025, 2025
Short summary

Cited articles

Alnæs, M., Blechta, J., Hake, J., Johansson, A., Kehlet, B., Logg, A., Richardson, C., Ring, J., Rognes, M. E., and Wells, G. N.: The FEniCS project version 1.5, Archive of Numerical Software, 3, 100, https://doi.org/10.11588/ans.2015.100.20553, 2015. a, b
Alnæs, M. S., Logg, A., Ølgaard, K. B., Rognes, M. E., and Wells, G. N.: Unified form language, ACM Trans. Math. Softw., 40, 1–37, https://doi.org/10.1145/2566630, 2014. a, b
Aminzadeh, F., Burkhard, N., Long, J., Kunz, T., and Duclos, P.: Three dimensional SEG/EAEG models – an update, The Leading Edge, 15, 131–134, https://doi.org/10.1190/1.1437283, 1996. a
Anquez, P., Pellerin, J., Irakarama, M., Cupillard, P., Lévy, B., and Caumon, G.: Automatic correction and simplification of geological maps and cross-sections for numerical simulations, Cr. Geosci., 351, 48–58, https://doi.org/10.1016/j.crte.2018.12.001, 2019. a, b, c, d, e
Basker, B., Rüger, A., Deng, L., and Jaramillo, H.: Practical considerations and quality control for an FWI workflow, The Leading Edge, 35, 151–156, 2016. a
Download
Short summary
Finite-element methods (FEMs) permit the use of more flexible unstructured meshes but are rarely used in full waveform inversions (FWIs), an iterative process that reconstructs velocity models of earth’s subsurface, due to computational and memory storage costs. To reduce those costs, novel software is presented allowing the use of high-order mass-lumped FEMs on triangular meshes, together with a material-property mesh-adaptation performance-enhancing strategy, enabling its use in FWIs.
Share