SPEED

SPEED: spectral elements in elastodynamics with discontinuous Galerkin: a non-conforming approach for 3D multi-scale problems. This work presents a new high performance open-source numerical code, namely SPectral Elements in Elastodynamics with Discontinuous Galerkin, to approach seismic wave propagation analysis in visco-elastic heterogeneous three-dimensional media on both local and regional scale. Based on non-conforming high-order techniques, such as the discontinuous Galerkin spectral approximation, along with efficient and scalable algorithms, the code allows one to deal with a non-uniform polynomial degree distribution as well as a locally varying mesh size. Validation benchmarks are illustrated to check the accuracy, stability, and performance features of the parallel kernel, whereas illustrative examples are discussed to highlight the engineering applications of the method. The proposed method turns out to be particularly useful for a variety of earthquake engineering problems, such as modeling of dynamic soil structure and site-city interaction effects, where accounting for multiscale wave propagation phenomena as well as sharp discontinuities in mechanical properties of the media is crucial.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 29 articles , 1 standard article )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Chabot, S.; Glinsky, N.; Mercerat, E. D.; Bonilla Hidalgo, L. F.: A high-order discontinuous Galerkin method for 1D wave propagation in a nonlinear heterogeneous medium (2018)
  2. Gravenkamp, Hauke; Duczek, Sascha: Automatic image-based analyses using a coupled quadtree-SBFEM/SCM approach (2017)
  3. Hoffmann, Jan; Das, Ankush; Weng, Shu-Chun: Towards automatic resource bound analysis for OCaml (2017)
  4. Sinn, Moritz; Zuleger, Florian; Veith, Helmut: Complexity and resource bound analysis of imperative programs using difference constraints (2017)
  5. Antonietti, Paola F.; Ayuso de Dios, Blanca; Mazzieri, Ilario; Quarteroni, Alfio: Stability analysis of discontinuous Galerkin approximations to the elastodynamics problem (2016)
  6. Lopez-Garcia, P.; Klemen, M.; Liqat, U.; Hermenegildo, M. V.: A general framework for static profiling of parametric resource usage (2016)
  7. McCarthy, Jay; Fetscher, Burke; New, Max; Feltey, Daniel; Findler, Robert Bruce: A Coq library for internal verification of running-times (2016)
  8. Zanardini, Damiano; Albert, Elvira; Villela, Karina: Resource-usage-aware configuration in software product lines (2016)
  9. Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo: A multi-domain incremental analysis engine and its application to incremental resource analysis (2015)
  10. Alves, Péricles R. O.; Rodrigues, Raphael E.; de Sousa, Rafael Martins; Quintão Pereira, Fernando Magno: A case for a fast trip count predictor (2015) ioport
  11. Avanzini, Martin; Eguchi, Naohi; Moser, Georg: A new order-theoretic characterisation of the polytime computable functions (2015)
  12. Hainry, Emmanuel; Péchoux, Romain: Objects in polynomial time (2015)
  13. Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth: Integrating deployment architectures and resource consumption in timed object-oriented models (2015)
  14. Bubel, Richard; Montoya, Antonio Flores; Hähnle, Reiner: Analysis of executable software models (2014)
  15. Avanzini, Martin; Moser, Georg: Polynomial path orders (2013)
  16. Hofmann, Martin; Rodriguez, Dulma: Automatic type inference for amortised heap-space analysis (2013)
  17. Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.: Loop summarization using state and transition invariants (2013)
  18. Mazzieri, I.; Stupazzini, M.; Guidotti, R.; Smerzini, C.: SPEED: spectral elements in elastodynamics with discontinuous Galerkin: a non-conforming approach for 3D multi-scale problems (2013)
  19. Albert, Elvira; Arenas, Puri; Genaim, Samir; Gómez-Zamalloa, Miguel; Puebla, Germán: Automatic inference of resource consumption bounds (2012)
  20. Maisonneuve, Vivien: Convex invariant refinement by control node splitting: a heuristic approach (2012)

1 2 next