Simflowny: A general-purpose platform for the management of physical models and simulation problems

Simflowny is a software platform which aims to formalize the main elements of a simulation flow. It allows users to manage (i) formal representations of physical models based on Initial Value Problems (hyperbolic, parabolic and mixed-type partial differential equations), (ii) simulation problems based on such models, and (iii) discretization schemes to translate the problem to a finite mesh. Additionally, Simflowny generates automatically code for general-purpose simulation frameworks. This paper first presents an introductory example of such problems. Then, formal representations are explained. Afterwards, it summarizes the platform’s architecture. Finally, validation results are provided.

[1]  E. Gallopoulos,et al.  Problem-solving Environments For Computational Science , 1997, IEEE Computational Science and Engineering.

[2]  Kevin R. Long.  Sundance Rapid Prototyping Tool for Parallel PDE Optimization , 2003 .

[3]  Stephen Albin.  The Art of Software Architecture: Design Methods and Techniques , 2003 .

[4]  Nakamura,et al.  Evolution of three-dimensional gravitational waves: Harmonic slicing case. , 1995, Physical review. D, Particles and fields.

[5]  S. Shapiro,et al.  On the numerical integration of Einstein's field equations , 1998, gr-qc/9810065.

[6]  John R. Rice,et al.  Enabling Technologies for Computational Science: Frameworks, Middleware and Environments , 2012 .

[7]  E. Gallopoulos,et al.  Computer as thinker/doer: problem-solving environments for computational science , 1994, IEEE Computational Science and Engineering.

[8]  Eleuterio F. Toro,et al.  Derivative Riemann solvers for systems of conservation laws and ADER methods , 2006, J. Comput. Phys..

[9]  A.M. Wissink,et al.  Large Scale Parallel Structured AMR Calculations Using the SAMRAI Framework , 2001, ACM/IEEE SC 2001 Conference (SC'01).

[10]  Adam Burrows,et al.  Core‐Collapse Supernova Explosion Simulations: The Path to and Necessity for 3D Models , 2009 .

[11]  Darrel C. Ince,et al.  The case for open computer programs , 2012, Nature.

[12]  Aleksandar Jemcov,et al.  OpenFOAM: A C++ Library for Complex Physics Simulations , 2007 .

[13]  J. Monaghan.  Smoothed particle hydrodynamics , 2005 .

[14]  Eleuterio F. Toro,et al.  ADER schemes for three-dimensional non-linear hyperbolic systems , 2005 .

[15]  Ralf S. Klessen,et al.  American Institute of Physics Conference Series , 2010 .

[16]  Robert L. Young,et al.  SciNapse: a problem-solving environment for partial differential equations , 1997 .

[17]  Eoin Woods,et al.  Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives , 2005 .

[18]  Mark Hannam,et al.  Status of black-hole-binary simulations for gravitational-wave detection , 2009, 0901.2931.

[19]  Carles Bona,et al.  Linear high-resolution schemes for hyperbolic conservation laws: TVB numerical evidence , 2008, J. Comput. Phys..

[20]  Lutz Gross,et al.  A Python Module for PDE-Based Numerical Modelling , 2006, PARA.

[21]  L. H. Howell,et al.  CASTRO: A NEW COMPRESSIBLE ASTROPHYSICAL SOLVER. I. HYDRODYNAMICS AND SELF-GRAVITY , 2010, 1005.0114.

[22]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[23]  Michael Boyle,et al.  Samurai project: Verifying the consistency of black-hole-binary waveforms for gravitational-wave detection , 2009, 0901.2437.

[24]  Yong-Tao Zhang,et al.  Resolution of high order WENO schemes for complicated flow structures , 2003 .

[25]  John Shalf,et al.  The Cactus Framework and Toolkit: Design and Applications , 2002, VECPAR.

[26]  P. Teuben,et al.  Athena: A New Code for Astrophysical MHD , 2008, 0804.0402.

[27]  Jean-François Remacle,et al.  An Adaptive Discontinuous Galerkin Technique with an Orthogonal Basis Applied to Compressible Flow Problems , 2003, SIAM Rev..

[28]  P. Woodward,et al.  The numerical simulation of two-dimensional fluid flow with strong shocks , 1984 .