Given by Geoffrey C. Fox at CPSP713 on Autumn Semester 1994. Foils prepared 15 March 1996
Outside Index
Summary of Material
CFD (Computational Fluid Dynamics) and NR (Numerical Relativity) both involve the solution of second order partial differential equations (PDE's) describing physical phenomena. |
This case study will study both applications and then look at the computer science (computational) issues which are both common and distinct. |
This will allow us to study the requirements of a computational toolkit for general solution of second order PDE's. |
These two applications are by no means the only applications but they cover a broad range of issues. |
CFD can be defined narrowly as confined to aerodynamic flow around vehicles but it can be generalized to include as well such areas as weather and climate simulation, flow of pollutants in the earth, and flow of liquids in oil fields (reservoir modelling). |
Outside Index Summary of Material
Geoffrey Fox |
NPAC |
Syracuse University |
Syracuse NY 13244-4100 |
CFD (Computational Fluid Dynamics) and NR (Numerical Relativity) both involve the solution of second order partial differential equations (PDE's) describing physical phenomena. |
This case study will study both applications and then look at the computer science (computational) issues which are both common and distinct. |
This will allow us to study the requirements of a computational toolkit for general solution of second order PDE's. |
These two applications are by no means the only applications but they cover a broad range of issues. |
CFD can be defined narrowly as confined to aerodynamic flow around vehicles but it can be generalized to include as well such areas as weather and climate simulation, flow of pollutants in the earth, and flow of liquids in oil fields (reservoir modelling). |
Our numerical relativity example will be the collision of two black holes which is focus of a major NSF Grand Challenge involving NPAC with seven other institutions in a collaboration led by Richard Matzner at Texas. |
Note that Numerical Relativity involves solution of Einstein's equations which include as a special case Maxwell's equations used to describe electromagnetic phenomena. |
Thus issues of relevance to computational electromagnetics (used in study of antennas and radar cross-sections of military aircraft) are implicitly included in this case study. |
Nearly all partial differential equations which are commonly encountered can be found by choosing parameters or limits in CFD or NR. |
Motivation for CFD -- why we need Teraflop and Petaflop performance to design new aircraft and model oil reservoirs and polluted chemical dump sites |
Introduction to NAS benchmarks and remarks on performance of today's machines. |
Motivation of Numerical Relativity with Collision of two black holes as expected signature for LIGO gravitational wave detector -- expected need for Teraflop performance |
General Discussion of Continuum Physics as a model for Nature |
The Navier Stokes Equation -- Basic equations of CFD |
General discussion of Computational Issues for CFD |
Introduction to Numerical formulation of Einstein's Equations |
General discussion of computational issues for Numerical Relativity |
Comparison of Similarities and differences between CFD and NR |
Why does one need a petaflop (1015 operations per second) computer? |
These are problems where quite viscous (oil, pollutants) liquids percolate through the ground |
Very sensitive to details of material |
Most important problems are already solved at some level, but most solutions are insufficient and need improvement in various respects:
|
Oil Resevoir Simulation |
Geological variation occurs down to pore size of rock - almost 10-6 metres - model this (statistically) |
Want to calculate flow between wells which are about 400 metres apart |
103x103x102 = 108 grid elements |
30 species |
104 time steps |
300 separate cases need to be considered |
3x109 words of memory per case |
1012 words total if all cases considered in parallel |
1019 floating point operation |
3 hours on a petaflop computer |
The NAS benchmarks were introduced by a group at NASA Ames as a novel approach to benchmarking high performance machines. |
Most benchmarks (call these software benchmarks) are presented as specific pieces of software which must be run on a target machine to measure its performance
|
The NAS Benchmarks are described in a basic document:
|
The material used in class selects results from 4 benchmarks described in detail in above citations:
|
There are several striking results in NAS results with SGI Power Challenge and IBM SP2 leading the way in performance per node. Full document discusses performance per dollar and the full set of benchmarks. |
We will later use mathematical definition of CFD contained in BT and SP benchmarks as a way of indicating key computer science issues in CFD. We will generalize this approach and try to specify numerical relatively in a similar fashion. |
We will use AIAA-94-2249 "Computational Toolkit for Colliding Black Holes and CFD" by N.P. Chrisochoides, G.C. Fox and T. Haupt as an overview of issues that need to be studied in producing a PDE (CFD and NR) Computational toolkit
|
Relate CFD to NAS benchmark discussion |
Review of various PDE solution methods and their parallel implementations |
Discuss in detail numerics and parallel implementation of NAS CFD model problems |
Present NR in NAS benchmark form |
Discuss model problems from wave equation to simple realistic NR problem |
Return to general toolkit Issues:
|
Numerical Relativity is a coupled set of partial differential equations
|
Equations can be divided into two classes
|
For CFD, the "physics" determines computational issues
|
For Numerical relativity, one can change the nature of solution by changing "space itself"
|
The Magnetic Field is given in terms of vector potential by |
Components of vector potential are not independent as expressed by gauge transformation
|
Choosing implies choosing gauge |
The Constraint equations are: |
The evolution Equations are: |
These give waves at infinity |
The theory is very nonlinear:
|
Boundary Conditions at Infinity are those of computational electromagnetics (CEM)
|
There are no small coefficients of second order derivative terms
|
Numerical Relativity has the world's most significant singularity -- Black Holes
|
Boundary conditions at Black Holes involve physics and numerics |
Certainly finite difference mesh needs some sort of special treatment |
Physics says that any information inside black hole is irrelevant
|
However we don't know where Black Hole is until we get full solution! |
This issue is "Show-Stopper". It may be that difficulties in this area will prevent reliable solutions without a major algorithmic breakthrough or new physics insight
|
It is possible that a teraflop computer may be sufficient to "solve" the collision of two black holes
|
NASA has documented carefully estimates of computer needs for various CFD approaches.
|
Snapshot results are:
|
Flow Simulation ( Reynolds Averaged Approximation ):
|
Proof of concept 1000-->100 0.3-->3
|
Automated Design 0.1-->0.01 3000-->30,000 |
System No. Proc. Time/Iter.(secs) MFLOPS (Y-MP) |
Y-MP 1 1.73 246
|
iPSC/860 64 3.05 139
|
CM-2 8K 5.23 82
|
System No. Proc. Time/Iter.(secs) MFLOPS (Y-MP) |
Y-MP 1 1.18 250
|
iPSC/860 64 2.42 122 |
CM-2 8K 9.75 30
|
System No. Proc. Time/Iter.(secs) MFLOPS (Y-MP) |
Y-MP 1 3.96 224
|
iPSC/860 64 4.54 199 |
CM-2 16K 16.64 54
|
Structural Dynamics |
modal analysis x1 x2 |
FEM analysis x2 x2 |
thermal analysis x2 x2 |
Propulsion |
inlet/nozzle simulation x2 x2 |
engine performance deck x2 x2 |
combusion model, e.g. scamjet x4 x10-100 |
turbojet engine (full sim.) x10-100 x10-100 |
Controls |
control law integration x1 x1 |
control surface aerodynamics x2 x2 |
thrust vector control x2 x2 |
control jets x2 x2 |
Acoustics x10 x10 |
Numerical Optimization Design x2 x10-100 |
Base CFD 200 60 |
Structural |
thermal analysis X2 X2 |
Propulsion |
inlet/nozzle simulations X2 X2 |
engine performance deck X2 X2 |
Controls |
control law integration X1 X1 |
thrust vector control X2 X2
|
Both problems are coupled systems of second order partial differential equations |
Both can involve solution of metaproblems -- coupling between different systems of equations
|
Both problems require numerical experimentation to develop working codes
|
Both problems have elliptic and hyperbolic equations |
Similarities suggest we develop a toolkit applicable for either or both applications |
Portable means runs on (nearly) all of today's high performance (parallel) computers |
Scalable means code written today will run on future high performance machines
|
High Performance Fortran and C++ ; scalable data parallel support |
Fortran-M and CC++ ; scalable support of task parallelism |
AVS ; industry standard for visualization and software integration |
PVM and MPI ; standard message passing support |
ADIFOR ; differentiate Fortran code ; critical tool for optimization problems |
Prototyping Software ; needs development of Interpreters and other tools |
Domain Specific Software where user interfaces at level of mathematical equations -- not C++ or Fortran
|
Runtime support and libraries
|
PDE Solvers for both Elliptic, Hyperbolic and mixed equations |
Geometry packages to define solution space (mainly for CFD used in design of real vehicles) |
Visualization including Virtual Reality (VR)
|
Optimization needed for Multidisciplinary Analysis and Design |
Boundary Conditions can be application specific as sensitive to physical system
|
Grid Generation has several important characteristics:
|