Before
After
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Before and after презентация
Содержание
- 1. Before and after
- 2. A First Step Towards Automatic Verification
- 3. A First Step Towards Automatic Verification
- 4. Before
- 5. This presentation shows the evolution from a
- 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
- 10. Before
- 11. Although researchers give validation more attention, validation requires successful verification
- 12. Iron An abundant metal, makes up
- 13. [Kesler 1994] Iron Ore Distribution [www.star-bits.com] Iron
- 14. Led to 59% recall Led to
- 15. Before
- 16. Although the U.S. has 5% of the
- 17. Led to 71% correct Led to 82%
- 18. Before
- 19. Plates move because of convection caused by
- 20. Led to 54% correct Led to 86%
- 21. Fossil Fuels: Who has what? Before
- 22. OPEC countries control about 75% of the world’s oil
- 23. Led to 63% correct Led to 81%
A First Step Towards Automatic Verification of PDE Code Hans Petter Langtangen Ola Skaghaug Simula Research Laboratory Oslo, Norway Before
Слайд 1This presentation shows transformations of slides from the traditional to the
assertion-evidence design
Слайд 2A First Step
Towards Automatic Verification
of PDE Code
Hans Petter Langtangen
Ola Skaghaug
Simula
Research Laboratory
Oslo, Norway
Oslo, Norway
Before
Слайд 3A First Step Towards Automatic
Verification of PDE Code
Hans Petter Langtangen
Ola
Skaghaug
Simula Research Laboratory
Oslo, Norway
Simula Research Laboratory
Oslo, Norway
Слайд 5This presentation shows the evolution from a manual environment to one
that is automated
manual
Fortran 77
C++
Слайд 7This presentation compares methods for reducing emissions of sulfur dioxide from
coal power plants
Слайд 9Converting 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
Слайд 11Although researchers give validation more attention, validation requires successful verification
Слайд 12Iron
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
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
Слайд 13[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 crust
and account for 95% of the metals used
Слайд 14
Led to 59% recall
Led to 77% recall
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?
Слайд 16Although 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)
Слайд 17Led 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
[Alley et al., 2006]
Слайд 19Plates move because of convection caused by heat from decay of
radioactive elements in the mantle
[Miller, 2004]
Ocean
Слайд 20Led 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
[Alley et al., 2006]
Слайд 23Led 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?
[Alley et al., 2006]
