1 / 23

This presentation shows transformations of slides from the traditional to the assertion-evidence design

This presentation shows transformations of slides from the traditional to the assertion-evidence design. Before. After. A First Step Towards Automatic Verification of PDE Code Hans Petter Langtangen Ola Skaghaug Simula Research Laboratory Oslo, Norway. Before.

mahon
Download Presentation

This presentation shows transformations of slides from the traditional to the assertion-evidence design

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After

  2. A First Step Towards Automatic Verification of PDE Code Hans Petter Langtangen Ola Skaghaug Simula Research Laboratory Oslo, Norway Before

  3. A First Step Towards Automatic Verification of PDE Code Hans Petter Langtangen Ola Skaghaug Simula Research Laboratory Oslo, Norway

  4. Before

  5. somewhatmanual Python MATLAB automated This presentation shows the evolution from a manual environment to one that is automated Fortran 77 C++ manual

  6. Before

  7. This presentation compares methods for reducing emissions of sulfur dioxide from coal power plants

  8. Before

  9. Converting an analog signal to a digital signal requires a sampling of the signal Hardware converts analog signal to digital Accelerometer outputs an analog voltage Computer samples a number of points Data is exported to popular applications Excel

  10. Before

  11. Validation Verification Is the PDE model appropriate? Do we solve the right equations? Are the numerical models correctly implemented? Do we solve the right equations? Although researchers give validation more attention, validation requires successful verification

  12. Iron • An abundant metal, makes up 5.6% of earth’s crust • Properties: • shaped, sharpened, welded • strong, durable • Accounts for >95% of metals used • Iron ores discovered in 1844 in Michigan’s Upper Peninsula • Soon found other ores in upper Wisconsin and Minnesota Iron Ore Distribution Before Kesler 1994

  13. Iron • Is strong and durable • Can be shaped, sharpened, and welded Where is the largest concentration of iron ores in North America? Iron ores make up 5.6% of the earth’s crustand account for 95% of the metals used Iron ore [www.star-bits.com] Iron Ore Distribution [Kesler 1994]

  14. Students learning from the transformed slide scored higher on an identical test question Q: How abundant is iron in the earth’s crust? Led to 59% recall Led to 77% recall p < 0.001 [Alley et al.,2006]

  15. Before

  16. Although the U.S. has 5% of the world's population, we use an average of 30% of all resources United States use of specific resources (percentage of worldwide use)

  17. Students learning from the transformed slide scored higher on an identical test question Q: Percentage of world’s resources that the U.S. uses? Led to 71% correct Led to 82% correct p < 0.025 [Alley et al.,2006]

  18. Before

  19. Uranium and Thorium are large “unstable” atoms • break down to produce smaller atoms, heat, and radioactivity Plates move because of convection caused by heat from decay of radioactive elements in the mantle Ocean [Miller, 2004]

  20. Students learning from the transformed slide scored higher on an identical test question Q: Heat source for movement of lithospheric plates? Led to 54% correct Led to 86% correct p < .001 [Alley et al.,2006]

  21. Fossil Fuels: Who has what? Before

  22. OPEC countries control about 75% of the world’s oil

  23. Students learning from the transformed slide scored higher on an identical test question Q: Percentage of oil that non-OPEC countries control? Led to 63% correct Led to 81% correct p < .001 [Alley et al.,2006]

More Related