- Главная
- Разное
- Бизнес и предпринимательство
- Образование
- Развлечения
- Государство
- Спорт
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Религиоведение
- Черчение
- Физкультура
- ИЗО
- Психология
- Социология
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Что такое findslide.org?
FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.
Обратная связь
Email: Нажмите что бы посмотреть
Презентация на тему Автоматное программирование
Содержание
- 2. План курсаОсновные понятия автоматного программированияИнструментальные средства автоматного программированияПрименение генетических алгоритмовВерификация автоматных программТекстовые языки автоматного программирования…
- 3. Преподаватели курсаШалыто А. А.Царев Ф. Н.…
- 4. Место и время проведения занятийПятница, 17-20Аудитория 218, 219 или 146
- 5. Как получить зачет?5 семестрСдать лабораторную работу по генетическим алгоритмамСообщить тему своей курсовой работы
- 6. Виртуальная лаборатория по ГАДва варианта: Java или
- 7. Как сдать курсовую работу?6 семестрНаписать программуНаписать проектную
- 8. Цель выполнения курсовой работыПривести ее в такое состояние, чтобы было не стыдно выкладывать в Интернет
- 9. Материалы по курсуСайт кафедры «Технологии программирования» по
- 10. 1.1 Области применения автоматного программирования
- 11. 1.1.1. Классификация
- 12. 1.1.2. Критерии применимости«Сложное поведение»поведение, зависящее от состояния
- 13. Сущность с простым поведением1.1.2. Критерии применимостиСущность со сложнымповедением
- 14. Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫПростое поведениеH –
- 15. Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫСложное поведениеH –
- 16. 1.1.3. Идеи автоматного
- 17. 1.1.4. Рекомендации при использовании автоматного подходаиспользуйте автоматный
- 18. 1.2. Основные понятия автоматного программирования
- 19. Основные понятия автоматного программирования1.2.1. Основные понятияСостояниеособая величина,
- 20. Основные понятия автоматного программирования1.2.1. Основные понятияСвойства состояния
- 21. 1.2.1. Основные понятияВходное воздействиеэто вектор, составляющие которого
- 22. 1.2.1. Основные понятияФункция выходовправила формирования выходных воздействий
- 23. 1.2.2. Конечный автоматОсновные понятия автоматного программирования
- 24. 1.3. Парадигма автоматного программирования
- 25. Тезис Тьюринга-Черча Все, что можно «вычислить», «запрограммировать»
- 26. 1.3.1. Машина ТьюрингаМашина Тьюринга состоит из 2-х частей:Устройство управленияЗапоминающее устройство - лента
- 27. 1.3.1. Машина ТьюрингаУстройство управления представляет собой конечный
- 28. 1.3.2. Программирование на Машине ТьюрингаРеализация функции
- 29. 1.3.3. Краткое описание поведение машиныГраф переходов, где: вершины - состояния автоматадуги – переходы между состояниями
- 30. 1.3.4. Выводы по работе
- 31. 1.3.4. Выводы по работе машины
- 32. 1.3.5. Управляющие и вычислительные состоянияУправляющие состоянияИх
- 33. 1.3.5. Управляющие и вычислительные состоянияВычислительные состоянияИх
- 34. 1.3.6. Сущность со сложным поведениемУправляющая частьуправляющий
- 35. 1.3.6. Сущность со сложным поведениемУправляемая частьобъект
- 36. 1.3.6. Сущность со сложным поведениемПарадигма автоматного
- 37. Скачать презентацию
- 38. Похожие презентации
План курсаОсновные понятия автоматного программированияИнструментальные средства автоматного программированияПрименение генетических алгоритмовВерификация автоматных программТекстовые языки автоматного программирования…
Слайд 2
План курса
Основные понятия автоматного программирования
Инструментальные средства автоматного программирования
Применение
генетических алгоритмов
Слайд 5
Как получить зачет?
5 семестр
Сдать лабораторную работу по генетическим
алгоритмам
Сообщить тему своей курсовой работы
Слайд 6
Виртуальная лаборатория по ГА
Два варианта: Java или C#
Сайт
is.ifmo.ru, раздел «Генетические алгоритмы», подраздел «Лабораторные работы»
Сдать работу =
сдать программу + выложить на сайт отчет
Слайд 7
Как сдать курсовую работу?
6 семестр
Написать программу
Написать проектную документацию
Выложить
ее на сайт is.ifmo.ru
Не забывать записываться в календарь Шалыто
Слайд 8
Цель выполнения курсовой работы
Привести ее в такое состояние,
чтобы было не стыдно выкладывать в Интернет
Слайд 9
Материалы по курсу
Сайт кафедры «Технологии программирования» по автоматному
программированию и мотивации к творчеству is.ifmo.ru
Книга Н. Поликарпова, А.
Шалыто Автоматное программированиеМатериалы лекций
Слайд 11 1.1.1. Классификация
программ по Харелу
Трансформирующие системы
некоторое преобразование входных данных
например: компиляторы, архиваторы
Интерактивные системы
взаимодействуют с окружающей средой в режиме диалога
например: текстовые редакторы
Реактивные системы
обмен со средой сообщениями, в темпе задаваемом средой
например: системы контроля
Слайд 12
1.1.2. Критерии применимости
«Сложное поведение»
поведение, зависящее от состояния
реакция
зависит от предыстории
«Простое поведение»
поведение, не зависящее от состояния
реакция
зависит только от воздействия
Слайд 14
Пример использования:
ЭЛЕКТРОННЫЕ ЧАСЫ
Простое поведение
H – увеличивает на
единицу число часов
M – увеличивает на единицу число минут
Слайд 15
Пример использования:
ЭЛЕКТРОННЫЕ ЧАСЫ
Сложное поведение
H – увеличивает на
единицу число часов
M – увеличивает на единицу число минут
A
– включает и выключает настройку «будильник»Слайд 16 1.1.3. Идеи автоматного
программирования:
отделение логики от семантики
описание логики при автоматном подходе строго структурировано
Слайд 17
1.1.4. Рекомендации при использовании автоматного подхода
используйте автоматный подход
при создании любой программной системы, в которой есть сущности
со сложным поведениемиспользуйте автоматный подход при создании только тех компонент системы, которые являются сущностями со сложным поведением
Слайд 19
Основные понятия автоматного программирования
1.2.1. Основные понятия
Состояние
особая величина, которая
в неявной форме объединяет все входные воздействия прошлого, влияющие
на реакцию сущности в настоящий момент времени
Слайд 20
Основные понятия автоматного программирования
1.2.1. Основные понятия
Свойства состояния системы:
текущее
состояние несет в себе всю информацию о прошлом системы,
необходимую для определения ее реакции на любое входное воздействие, формируемое в момент времени t 0не требуется знание предыстории
Слайд 21
1.2.1. Основные понятия
Входное воздействие
это вектор, составляющие которого -
события и входные переменные
Функция переходов
правила, по которым происходит смена
состоянийВыходное воздействие
Основные понятия автоматного программирования
Слайд 22
1.2.1. Основные понятия
Функция выходов
правила формирования выходных воздействий
Автомат
без выходов (конечный)
совокупность конечного множества состояний и конечного
множества входных воздействийОсновные понятия автоматного программирования
Слайд 25
Тезис Тьюринга-Черча
Все, что можно «вычислить», «запрограммировать» или
«распознать» в любом смысле (из формально определенных в настоящее
время) можно вычислить, запрограммировать или распознать с помощью подходящей машины Тьюринга
Слайд 26
1.3.1. Машина Тьюринга
Машина Тьюринга
состоит из 2-х частей:
Устройство
управления
Запоминающее устройство - лента
Слайд 27
1.3.1. Машина Тьюринга
Устройство управления представляет собой конечный автомат
единственное входное воздействие:
символ, считанный с ленты
два выходных воздействия:
символ,
записываемый на лентууказание головке сдвинуться на одну ячейку в ту или иную сторону, либо остаться на месте
Слайд 28
1.3.2. Программирование
на Машине Тьюринга
Реализация функции инкремент:
двигаться вправо,
пока не встретится пустой символ
сдвинуться на одну ячейку влево
пока
в текущей ячейке находится '1', заменять его на '0' и двигаться влевоесли в текущей ячейке находится '0' или 'blank', записать в ячейку '1' и завершить работу
Слайд 29
1.3.3. Краткое
описание поведение машины
Граф переходов, где:
вершины -
состояния автомата
дуги – переходы между состояниями
Слайд 30 1.3.4. Выводы по работе
машины Тьюринга
Для того,
чтобы задать алгоритм для машины Тьюринга, достаточно описать ее поведение в каждом из трех состояний управляющего автомата Состояния управляющего автомата определяют действия машины, а состояние ленты – результат этих действий
Слайд 31
1.3.4. Выводы по работе
машины Тьюринга
Состояния устройства
управления
следует явно перечислять, отображать на графе переходов
качественные состояния машины
называют
управляющимиСостояния ленты
в программе в явном виде не участвуют, построить граф переходов между ними невозможно
количественные состояния машины
называют вычислительными
Слайд 32
1.3.5. Управляющие и вычислительные состояния
Управляющие состояния
Их относительно
немного
Каждое из них имеет вполне определенный смысл и качественно
отличается от другихОни определяют действия, которые совершает сущность
Слайд 33
1.3.5. Управляющие и вычислительные состояния
Вычислительные состояния
Их количество
либо бесконечно, либо конечно, но очень велико
Большинство из них
не имеет смысла и отличается от остальных лишь количественноОни непосредственно определяют лишь результаты действий
Слайд 34
1.3.6. Сущность со
сложным поведением
Управляющая часть
управляющий автомат
отвечает за
логику поведения – выбор выполняемых действий, зависящий от текущего
состояния и входных воздействий, а также за переход в новое состояние
Слайд 35
1.3.6. Сущность со
сложным поведением
Управляемая часть
объект управления
отвечает за
выполнение действий, выбранных для выполнения управляющей частью, и, возможно,
за формирование некоторых компонентов входных воздействий для управляющей части – обратных связей
Слайд 36
1.3.6. Сущность со
сложным поведением
Парадигма автоматного программирования состоит
в представлении сущностей со сложным поведением в виде автоматизированных
объектов управленияАвтоматизированный объект управления - объект управления, интегрированный вместе с системой управления в одно устройство
