this presentation shows transformations of slides from the traditional to the assertion-evidence...
TRANSCRIPT
![Page 1: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/1.jpg)
This presentation shows transformations of slides from the traditional to the assertion-evidence design
Before
After
U.S. Resource Use
• The United States uses:– 42% of all the aluminum produced worldwide
– 31% of all the petroleum
– 29% of all the phosphate
– 27% of all the copper
– 27% of the nitrogen
– 25% of the zinc
• Approximately 30% of all resources worldwide
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)
![Page 2: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/2.jpg)
[simula research laboratory]
A First Step Towards Automatic Verificationof PDE Code
Hans Petter LangtangenOla Skaghaug
Simula Research LaboratoryOslo, Norway
Before
![Page 3: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/3.jpg)
[simula research laboratory]
A First Step Towards Automatic Verification of PDE Code
Hans Petter LangtangenOla Skaghaug
Simula Research LaboratoryOslo, Norway
![Page 4: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/4.jpg)
Before
![Page 5: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/5.jpg)
[simula research laboratory]
This presentation shows the evolution from a manual environment to one that is automated
manual
somewhatmanual
MATLAB
Python
automated
Fortran 77
C++
![Page 6: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/6.jpg)
OutlineOutline IntroductionIntroduction BackgroundBackground PrePre--Combustion methodsCombustion methods
–– Coal switchingCoal switching–– Coal cleaningCoal cleaning
Combustion methodCombustion method–– Atmospheric fluidized bedAtmospheric fluidized bed
PostPost--Combustion methodsCombustion methods–– AbsorptionAbsorption–– AdsorptionAdsorption
ConclusionsConclusions AcknowledgmentsAcknowledgments QuestionsQuestions
Before
![Page 7: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/7.jpg)
This presentation compares methods for reducing emissions of sulfur dioxide from coal power plants
![Page 8: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/8.jpg)
A
B
C
D
A
B
C
D
B C D
AA
C
B
D
?
Digital Acquisition System
Accelerometer outputs an analog voltage
Hardware converts analog signal to digital
Computer samples a number of points
Data is exported to popular applications
o Microsoft Excel
o Matlab
Before
![Page 9: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/9.jpg)
Converting an analog signal to a digital signal requires a sampling of the signal
Accelerometer outputs an analog voltage
Hardware converts analog signal to digital
Computer samples a number of points
Data is exported to popular applications
Excel
![Page 10: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/10.jpg)
[simula research laboratory]
Before
![Page 11: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/11.jpg)
[simula research laboratory]
Although researchers give validation more attention, validation requires successful verification
Validation
Is the PDE model appropriate?
Do we solve the right equations?
Verification
Are the numerical models correctly implemented?
Do we solve the right equations?
![Page 12: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/12.jpg)
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 Kesler 1994
Iron Ore Distribution
Before
![Page 13: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/13.jpg)
[Kesler 1994]
Iron Ore Distribution
[www.star-bits.com]
Iron ore
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
Can be shaped, sharpened, and welded
Is strong and durable
Iron
![Page 14: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/14.jpg)
Led to 59% recall Led to 77% recall
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 Kesler 1994
Iron Ore Distribution
p < 0.001
Students learning from the transformed slide scored higher on an identical test question
[Alley et al., 2006]
Q: How abundant is iron in the earth’s crust?
[Kesler 1994]
Iron Ore Distribution
[www.star-bits.com]
Iron ore
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
Can be shaped, sharpened, and welded
Is strong and durable
Iron
![Page 15: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/15.jpg)
U.S. Resource Use
• The United States uses:– 42% of all the aluminum produced worldwide
– 31% of all the petroleum
– 29% of all the phosphate
– 27% of all the copper
– 27% of the nitrogen
– 25% of the zinc
• Approximately 30% of all resources worldwide
Before
![Page 16: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/16.jpg)
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)
![Page 17: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/17.jpg)
Led to 71% correct Led to 82% correct
Students learning from the transformed slide scored higher on an identical test question
Q: Percentage of world’s resources that the U.S. uses?
p < 0.025
U.S. Resource Use
• The United States uses:– 42% of all the aluminum produced worldwide
– 31% of all the petroleum
– 29% of all the phosphate
– 27% of all the copper
– 27% of the nitrogen
– 25% of the zinc
• Approximately 30% of all resources worldwide
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)
[Alley et al., 2006]
![Page 18: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/18.jpg)
Why do the plates move?
Miller, 2004
•Convection
•Heat is from nuclear fission. •Uranium, Thorium, are large “unstable” atoms which break down to produce, smaller atoms, heat, and radioactivity
Before
![Page 19: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/19.jpg)
Plates move because of convection caused by heat from decay of radioactive elements in the mantle
[Miller, 2004]
Uranium and Thorium are large “unstable” atoms
break down to produce smaller atoms, heat, and radioactivity
Ocean
![Page 20: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/20.jpg)
Led to 54% correct Led to 86% correct
Students learning from the transformed slide scored higher on an identical test question
Q: Heat source for movement of lithospheric plates?
p < .001
Why do the plates move?
[Miller, 2004]
Plates move because of convection caused by heat from decay of radioactive elements in the mantle
Uranium and Thorium are large “unstable” atoms
break down to produce, smaller atoms, heat, and radioactivity
Ocean
Why do the plates move?
Miller, 2004
•Convection
•Heat is from nuclear fission. •Uranium, Thorium, are large “unstable” atoms which break down to produce, smaller atoms, heat, and radioactivity
[Alley et al., 2006]
![Page 21: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/21.jpg)
Fossil Fuels: Who has what?
Before
![Page 22: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/22.jpg)
OPEC countries control about 75% of the world’s oil
![Page 23: This presentation shows transformations of slides from the traditional to the assertion-evidence design Before After](https://reader033.vdocuments.site/reader033/viewer/2022051515/551a8559550346b52d8b589e/html5/thumbnails/23.jpg)
Led to 63% correct Led to 81% correct
p < .001
Students learning from the transformed slide scored higher on an identical test question
Q: Percentage of oil that non-OPEC countries control?
Fossil Fuels: Who has what?
OPEC countries control about 75% of the world’s oil
[Alley et al., 2006]