ASCI / Alliances Center
for Astrophysical Thermonuclear Flashes
Flash Code Group
Calculations
- Verification
results
- Verification problems are simple problems with known
analytical solutions or experimental results which
can be used to verify whether the code works as expected.
To some extent they can also be used to validate the
algorithms being used and to test convergence.
- Performance results
- Using verification problems we can tune the code
for single-processor performance and scaling performance
on parallel computers.
- Validation results
- Validation problems are more complex problems without
analytical solutions, but which nevertheless involve
simple instabilities which can be produced in experiments.
These are used to determine whether the algorithms being
used reproduce the physics correctly. They may also
produce predictions in regimes inaccessible to experiment.
Example:
Rayleigh-Taylor Instability
- Production results
- Production problems are complex problems for which we have
no analytical solution and for which we have no hope of
performing experiments. Assuming the code has been
verified and the algorithms have been validated, we use
this type of run to solve an important scientific problem
which cannot be addressed any other way.
Example:
X-Ray Burst
3-d Cellular Detonations
![[ASCI Logo]](http://flash.uchicago.edu/img/asci-sm.gif)
