FLASH Center Verification & Validation Overview Tomek...
-
Upload
nguyennguyet -
Category
Documents
-
view
216 -
download
2
Transcript of FLASH Center Verification & Validation Overview Tomek...
![Page 1: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/1.jpg)
Advanced Simulation and Computing (ASC) Academic Strategic Alliances Program (ASAP) Center
at The University of Chicago
The Center for Astrophysical Thermonuclear Flashes
FLASH Center Verification & Validation Overview
Tomek PlewaComputational Physics and Validation Group
V&V DOE WorkshopLaJolla, July 2004
![Page 2: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/2.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Outline
Center-specific activitiesV&V in astrophysicsV&V and computational methods
Case study: shock-cylinder interactionAre 2-D experiments truly two-dimensional?AMR and vortex-dominated flowsNew message from Courant, Friedrichs, & Lewy
SQA in code development
Summary
FLASH Center Overview
Building simulation-based confidenceImproving computational machinery, aiding experiment design, lower overall costsChanging culture in astrophysics/computational sciences
![Page 3: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/3.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
The FLASH Center
Target ApplicationsCompact accreting stars (white dwarf, neutron star)Reactive hydrodynamics (DNS or subgrid model)Initial conditions close to hydrostatic equilibrium (self-gravity)Complex EOS (dense nuclear matter)
Example: Type Ia SupernovaMassive white dwarfSubgrid model for nuclear flameSelf-gravityDegenerate EOS
![Page 4: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/4.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Length scales in White Dwarf Deflagration
Before 2000
Now
BG/L
![Page 5: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/5.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
V&V and Astrophysics
Verification ranging from simple analytic problems to code-code comparison.
No direct access to experiments: use scaling lawsAbsolutely NO culture of validation!
![Page 6: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/6.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Verification of Computational Modules
Example: assessing time-accuracySmooth advection problem with known analytic solutionSolve with different fixed time stepsCalculate error
Verification exploits elementary tests with known analytic solutions or “converged” numerical solutions (not strict but practical).
Example: advection-diffusion-reaction subgrid model for evolution of the nuclear flame.
Example: reactive hydrodynamics with tracer particles (for calculation of nucleosynthetic yields).
![Page 7: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/7.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Verification of Computational Modules
![Page 8: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/8.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Validation and Computational Modules
Access to experiments: collaborations with LANL (shock-tube) and LLNL (high-energy density laser) experiments.
Initial program: alpha-group collaboration on RTI (Labs & AWE)
![Page 9: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/9.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Validation and Computational Modules
Initial program: alpha-group collaboration on RTI (Labs & AWE)
![Page 10: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/10.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Validation and Computational Modules
Access to experiments: collaborations with LANL (shock-tube) and LLNL (high-energy density laser) experiments.
Current program: shock-tube shock-cylinder experiment (LANL)
![Page 11: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/11.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Validation and Computational Modules
FLASH is community program, freely (with usual restrictions) available for research
External contribution: shock-cylinder experiment (Jacobs, LANL)
![Page 12: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/12.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Experiment Analysis Techniques
Mathematical representation: stochastic PDEs, optimal control
Consider experimental uncertainties (the initial conditions)
Nonlinear problems involving several unknown parameters
Andrei Draganescu (moving to SNL later this year)
Use automatic differentiation in the optimization process
Use multigrid to couple different scales in the problem
Main result: function computation cost is not the limiting factor
Main difficulty: lack of tools suitable for automatic differentiation
Consider a dirty bomb scenario (pollution pattern)
Weather prediction might be another example
![Page 13: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/13.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Case Study: Shock-Cylinder Interaction (speculative)
![Page 14: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/14.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Case Study: Shock-Cylinder Interaction (realistic)
![Page 15: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/15.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Initial Conditions: Cylinder Cross-section
![Page 16: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/16.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
FLASH Code is the AMR code
![Page 17: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/17.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
CFL dependency
CFL=0.8
CFL=0.2
CFL=0.4
![Page 18: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/18.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Software Quality Assurance
Pure sciences rarely offer formal education or training: hands-on approach.SQA begins with code design: follow standards, design guidelines, specifications, etc. (FLASH2 -> FLASH3)Has to be a daily practice, encouraged/enforced by use of automatedmonitoring tools (FLASH test suite).
![Page 19: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/19.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Lessons Learned
V&V is a chain of procedures that has to be strictly followedIt is important to find a good validation experimentUnderstanding of experiment is crucialExperiments not considered as good validation experimentstoday may become useful in the futureThe most scientifically attractive experiments are not necessarily good validation experimentsClose interaction with experimentalists
Development asks for automated tools, maintenance demands themLack of general framework for verification: Not possible? Not appreciated enough? Nothing to compare with: share your tools!
Astrophysics is observationally drivenIn 99% astrophysics is about “touching beyond”Predictive capabilities are often essential for successPromotion of V&V ideas in astrophysics is important
![Page 20: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/20.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Future Plans
Reach next level physics in the current experiment (multi-physics)Expand diagnostic capabilitiesAid in optimization of the existing and design of new experimentsMake a big circle: come back to HED (need diverse regimes, resources limited)Provide community service: continue promoting V&V in astrophysicsand related fields
![Page 21: FLASH Center Verification & Validation Overview Tomek …people.sc.fsu.edu/~tplewa/Presentations/PDF/Plewa_LaJolla2004.pdf · Are 2-D experiments truly two-dimensional? ... reactive](https://reader031.fdocuments.us/reader031/viewer/2022030417/5aa3d4117f8b9a436d8eac88/html5/thumbnails/21.jpg)
The ASC/Alliances Center for Astrophysical Thermonuclear FlashesThe University of Chicago
Summary
V&V is an essential component of the Center’s work.
The Center introduced V&V methodology to astrophysics, promotes and truly builds V&V-related consciousness among astrophysicists and computational scientists.
Interaction with the National Laboratories, especially DP Labs, is crucial for the V&V effort (direct access to experiments, use of predictive power of the simulation tools, aiding in experiment design, minimize overall costs).
Elements of Software Quality Assurance are present in everyday’s work, supported by specialized, developed in-house software and guided by design rules and custom programming standards. More should be done.