Firedrake-Fluids v0.1: numerical modelling of shallow water flows using a performance-portable automated solution framework

[1]  C. Stevens,et al.  Optimization of multiple turbine arrays in a channel with tidally reversing flow by numerical modelling with adaptive mesh , 2013, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[2]  Alfredo Bermúdez,et al.  Upwind methods for hyperbolic conservation laws with source terms , 1994 .

[3]  J. Deardorff,et al.  On the magnitude of the subgrid scale eddy coefficient , 1971 .

[4]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[5]  Gareth S. Collins,et al.  How does multiscale modelling and inclusion of realistic palaeobathymetry affect numerical simulation of the Storegga Slide tsunami , 2014 .

[6]  John A. Trangenstein,et al.  Numerical Solution of Hyperbolic Partial Differential Equations , 2009 .

[7]  P. Farrell,et al.  Rapid development and adjoining of transient finite element models , 2014 .

[8]  Lawrence Mitchell,et al.  Performance-Portable Finite Element Assembly Using PyOP2 and FEniCS , 2013, ISC.

[9]  Derek M. Causon,et al.  HIGH-RESOLUTION FINITE-VOLUME METHOD FOR SHALLOW WATER FLOWS , 1998 .

[10]  Matthew D. Piggott,et al.  The modelling of tidal turbine farms using multi-scale, unstructured mesh models , 2014 .

[11]  Barry Lee,et al.  Finite elements and fast iterative solvers: with applications in incompressible fluid dynamics , 2006, Math. Comput..

[12]  C. R. Wilson,et al.  Modelling multiple-material flows on adaptive unstructured meshes. , 2009 .

[13]  David A. Ham,et al.  Automated continuous verification for numerical simulation , 2011 .

[14]  Stephan C. Kramer,et al.  Tidal resource extraction in the Pentland Firth, UK: potential impacts on flow regime and sediment transport in the Inner Sound of Stroma. , 2015 .

[15]  Christopher C. Pain,et al.  A new computational framework for multi‐scale ocean modelling based on adapting unstructured meshes , 2008 .

[16]  Matthew G. Knepley,et al.  Numerical simulation of geodynamic processes with the Portable Extensible Toolkit for Scientific Computation , 2007 .

[17]  Matthew G. Knepley,et al.  Composable Linear Solvers for Multiphysics , 2012, 2012 11th International Symposium on Parallel and Distributed Computing.

[18]  Christophe Geuzaine,et al.  Gmsh: A 3‐D finite element mesh generator with built‐in pre‐ and post‐processing facilities , 2009 .

[19]  Simon W. Funke,et al.  Tidal turbine array optimisation using the adjoint approach , 2013, ArXiv.

[20]  Hervé Capart,et al.  Formation of a jump by the dam-break wave over a granular bed , 1998, Journal of Fluid Mechanics.

[21]  J. Deardorff.  A numerical study of three-dimensional turbulent channel flow at large Reynolds numbers , 1970, Journal of Fluid Mechanics.

[22]  Florian Rathgeber.  Productive and efficient computational science through domain-specific abstractions , 2014 .

[23]  Anders Logg,et al.  A compiler for variational forms , 2006, TOMS.

[24]  J. Zhou.  Lattice Boltzmann Methods for Shallow Water Flows , 2003 .

[25]  Joel H. Ferziger,et al.  Status of Large Eddy Simulation: Results of a Workshop , 1997 .

[26]  R. Flather,et al.  Results from a storm surge prediction model of the north-west European continental shelf for April, November and December, 1973 , 1976 .

[27]  Robert C. Kirby,et al.  Algorithm 839: FIAT, a new paradigm for computing finite element basis functions , 2004, TOMS.

[28]  Colin J. Cotter,et al.  Spud 1.0: generalising and automating the user interfaces of scientific computer models , 2008 .

[29]  Shmuel Einav,et al.  A laser-Doppler velocimetry study of ensemble-averaged characteristics of the turbulent near wake of a square cylinder , 1995, Journal of Fluid Mechanics.

[30]  P. Stansby,et al.  Shallow-water flow around model conical islands of small side slope Part II Submerged , 1997 .

[31]  Garth N. Wells,et al.  Optimizations for quadrature representations of finite element tensors through automated code generation , 2011, TOMS.

[32]  Wolfgang Rodi,et al.  The flapping shear layer formed by flow separation from the forward corner of a square cylinder , 1994, Journal of Fluid Mechanics.

[33]  S. Liang,et al.  Solution of shallow-water equations using least-squares finite-element method , 2008 .

[34]  J. Smagorinsky,et al.  GENERAL CIRCULATION EXPERIMENTS WITH THE PRIMITIVE EQUATIONS , 1963 .

[35]  Anders Logg,et al.  Unified form language: A domain-specific language for weak formulations of partial differential equations , 2012, TOMS.

[36]  Hans Petter Langtangen,et al.  A FEniCS-Based Programming Framework for Modeling Turbulent Flow by the Reynolds-Averaged Navier-Stokes Equations , 2011, ArXiv.

[37]  Andrew T. T. McRae,et al.  Automating the solution of PDEs on the sphere and other manifolds in FEniCS 1.2 , 2013 .

[38]  Anders Logg,et al.  DOLFIN: Automated finite element computing , 2010, TOMS.

[39]  Lawrence Mitchell,et al.  PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes , 2012, 2012 SC Companion: High Performance Computing, Networking Storage and Analysis.

[40]  Simon W. Funke,et al.  A framework for automated PDE-constrained optimisation , 2013, ArXiv.

[41]  John A. Trangenstein.  Numerical solution of elliptic and parabolic partial differential equations , 2013 .

[42]  David A. Ham,et al.  Automated Derivation of the Adjoint of High-Level Transient Finite Element Programs , 2013, SIAM J. Sci. Comput..

[43]  P. Roache.  Code Verification by the Method of Manufactured Solutions , 2002 .

[44]  Anders Logg,et al.  Automated Solution of Differential Equations by the Finite Element Method: The FEniCS Book , 2012 .