PPt4Web Хостинг презентаций

Главная / Информатика / Автоматное программирование
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

Чтобы скачать данную презентацию, порекомендуйте, пожалуйста, её своим друзьям в любой соц. сети.

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Автоматное программирование


Скачать эту презентацию

Презентация на тему: Автоматное программирование


Скачать эту презентацию



№ слайда 1 Теория автоматов в программировании Лекция 1 Ф. Н. Царев 08.09.2009
Описание слайда:

Теория автоматов в программировании Лекция 1 Ф. Н. Царев 08.09.2009

№ слайда 2 * План курса Основные понятия автоматного программирования Инструментальные сред
Описание слайда:

* План курса Основные понятия автоматного программирования Инструментальные средства автоматного программирования Применение генетических алгоритмов Верификация автоматных программ Текстовые языки автоматного программирования …

№ слайда 3 * Преподаватели курса Шалыто А. А. Царев Ф. Н. …
Описание слайда:

* Преподаватели курса Шалыто А. А. Царев Ф. Н. …

№ слайда 4 * Место и время проведения занятий Пятница, 17-20 Аудитория 218, 219 или 146
Описание слайда:

* Место и время проведения занятий Пятница, 17-20 Аудитория 218, 219 или 146

№ слайда 5 * Как получить зачет? 5 семестр Сдать лабораторную работу по генетическим алгори
Описание слайда:

* Как получить зачет? 5 семестр Сдать лабораторную работу по генетическим алгоритмам Сообщить тему своей курсовой работы

№ слайда 6 * Виртуальная лаборатория по ГА Два варианта: Java или C# Сайт is.ifmo.ru, разде
Описание слайда:

* Виртуальная лаборатория по ГА Два варианта: Java или C# Сайт is.ifmo.ru, раздел «Генетические алгоритмы», подраздел «Лабораторные работы» Сдать работу = сдать программу + выложить на сайт отчет

№ слайда 7 * Как сдать курсовую работу? 6 семестр Написать программу Написать проектную док
Описание слайда:

* Как сдать курсовую работу? 6 семестр Написать программу Написать проектную документацию Выложить ее на сайт is.ifmo.ru Не забывать записываться в календарь Шалыто

№ слайда 8 * Цель выполнения курсовой работы Привести ее в такое состояние, чтобы было не с
Описание слайда:

* Цель выполнения курсовой работы Привести ее в такое состояние, чтобы было не стыдно выкладывать в Интернет

№ слайда 9 * Материалы по курсу Сайт кафедры «Технологии программирования» по автоматному п
Описание слайда:

* Материалы по курсу Сайт кафедры «Технологии программирования» по автоматному программированию и мотивации к творчеству is.ifmo.ru Книга Н. Поликарпова, А. Шалыто Автоматное программирование Материалы лекций

№ слайда 10 1.1 Области применения автоматного программирования
Описание слайда:

1.1 Области применения автоматного программирования

№ слайда 11 * 1.1.1. Классификация программ по Харелу Трансформирующие системы некоторое пре
Описание слайда:

* 1.1.1. Классификация программ по Харелу Трансформирующие системы некоторое преобразование входных данных например: компиляторы, архиваторы Интерактивные системы взаимодействуют с окружающей средой в режиме диалога например: текстовые редакторы Реактивные системы обмен со средой сообщениями, в темпе задаваемом средой например: системы контроля

№ слайда 12 * 1.1.2. Критерии применимости «Сложное поведение» поведение, зависящее от состо
Описание слайда:

* 1.1.2. Критерии применимости «Сложное поведение» поведение, зависящее от состояния реакция зависит от предыстории «Простое поведение» поведение, не зависящее от состояния реакция зависит только от воздействия

№ слайда 13 * Сущность с простым поведением 1.1.2. Критерии применимости Сущность со сложным
Описание слайда:

* Сущность с простым поведением 1.1.2. Критерии применимости Сущность со сложным поведением

№ слайда 14 * Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫ Простое поведение H – увеличивает на ед
Описание слайда:

* Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫ Простое поведение H – увеличивает на единицу число часов M – увеличивает на единицу число минут

№ слайда 15 * Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫ Сложное поведение H – увеличивает на ед
Описание слайда:

* Пример использования: ЭЛЕКТРОННЫЕ ЧАСЫ Сложное поведение H – увеличивает на единицу число часов M – увеличивает на единицу число минут A – включает и выключает настройку «будильник»

№ слайда 16 * 1.1.3. Идеи автоматного программирования: отделение логики от семантики описан
Описание слайда:

* 1.1.3. Идеи автоматного программирования: отделение логики от семантики описание логики при автоматном подходе строго структурировано

№ слайда 17 * 1.1.4. Рекомендации при использовании автоматного подхода используйте автоматн
Описание слайда:

* 1.1.4. Рекомендации при использовании автоматного подхода используйте автоматный подход при создании любой программной системы, в которой есть сущности со сложным поведением используйте автоматный подход при создании только тех компонент системы, которые являются сущностями со сложным поведением

№ слайда 18 1.2. Основные понятия автоматного программирования
Описание слайда:

1.2. Основные понятия автоматного программирования

№ слайда 19 * Основные понятия автоматного программирования 1.2.1. Основные понятия Состояни
Описание слайда:

* Основные понятия автоматного программирования 1.2.1. Основные понятия Состояние особая величина, которая в неявной форме объединяет все входные воздействия прошлого, влияющие на реакцию сущности в настоящий момент времени

№ слайда 20 * Основные понятия автоматного программирования 1.2.1. Основные понятия Свойства
Описание слайда:

* Основные понятия автоматного программирования 1.2.1. Основные понятия Свойства состояния системы: текущее состояние несет в себе всю информацию о прошлом системы, необходимую для определения ее реакции на любое входное воздействие, формируемое в момент времени t 0 не требуется знание предыстории

№ слайда 21 * 1.2.1. Основные понятия Входное воздействие это вектор, составляющие которого
Описание слайда:

* 1.2.1. Основные понятия Входное воздействие это вектор, составляющие которого - события и входные переменные Функция переходов правила, по которым происходит смена состояний Выходное воздействие Основные понятия автоматного программирования

№ слайда 22 * 1.2.1. Основные понятия Функция выходов правила формирования выходных воздейст
Описание слайда:

* 1.2.1. Основные понятия Функция выходов правила формирования выходных воздействий Автомат без выходов (конечный) совокупность конечного множества состояний и конечного множества входных воздействий Основные понятия автоматного программирования

№ слайда 23 * 1.2.2. Конечный автомат Основные понятия автоматного программирования
Описание слайда:

* 1.2.2. Конечный автомат Основные понятия автоматного программирования

№ слайда 24 1.3. Парадигма автоматного программирования
Описание слайда:

1.3. Парадигма автоматного программирования

№ слайда 25 * Тезис Тьюринга-Черча Все, что можно «вычислить», «запрограммировать» или «расп
Описание слайда:

* Тезис Тьюринга-Черча Все, что можно «вычислить», «запрограммировать» или «распознать» в любом смысле (из формально определенных в настоящее время) можно вычислить, запрограммировать или распознать с помощью подходящей машины Тьюринга

№ слайда 26 * 1.3.1. Машина Тьюринга Машина Тьюринга состоит из 2-х частей: Устройство управ
Описание слайда:

* 1.3.1. Машина Тьюринга Машина Тьюринга состоит из 2-х частей: Устройство управления Запоминающее устройство - лента

№ слайда 27 * 1.3.1. Машина Тьюринга Устройство управления представляет собой конечный автом
Описание слайда:

* 1.3.1. Машина Тьюринга Устройство управления представляет собой конечный автомат единственное входное воздействие: символ, считанный с ленты два выходных воздействия: символ, записываемый на ленту указание головке сдвинуться на одну ячейку в ту или иную сторону, либо остаться на месте

№ слайда 28 * 1.3.2. Программирование на Машине Тьюринга Реализация функции инкремент: двига
Описание слайда:

* 1.3.2. Программирование на Машине Тьюринга Реализация функции инкремент: двигаться вправо, пока не встретится пустой символ сдвинуться на одну ячейку влево пока в текущей ячейке находится '1', заменять его на '0' и двигаться влево если в текущей ячейке находится '0' или 'blank', записать в ячейку '1' и завершить работу

№ слайда 29 * 1.3.3. Краткое описание поведение машины Граф переходов, где: вершины - состоя
Описание слайда:

* 1.3.3. Краткое описание поведение машины Граф переходов, где: вершины - состояния автомата дуги – переходы между состояниями

№ слайда 30 * 1.3.4. Выводы по работе машины Тьюринга Для того, чтобы задать алгоритм для ма
Описание слайда:

* 1.3.4. Выводы по работе машины Тьюринга Для того, чтобы задать алгоритм для машины Тьюринга, достаточно описать ее поведение в каждом из трех состояний управляющего автомата Состояния управляющего автомата определяют действия машины, а состояние ленты – результат этих действий

№ слайда 31 * 1.3.4. Выводы по работе машины Тьюринга Состояния устройства управления следуе
Описание слайда:

* 1.3.4. Выводы по работе машины Тьюринга Состояния устройства управления следует явно перечислять, отображать на графе переходов качественные состояния машины называют управляющими Состояния ленты в программе в явном виде не участвуют, построить граф переходов между ними невозможно количественные состояния машины называют вычислительными

№ слайда 32 * 1.3.5. Управляющие и вычислительные состояния Управляющие состояния Их относит
Описание слайда:

* 1.3.5. Управляющие и вычислительные состояния Управляющие состояния Их относительно немного Каждое из них имеет вполне определенный смысл и качественно отличается от других Они определяют действия, которые совершает сущность

№ слайда 33 * 1.3.5. Управляющие и вычислительные состояния Вычислительные состояния Их коли
Описание слайда:

* 1.3.5. Управляющие и вычислительные состояния Вычислительные состояния Их количество либо бесконечно, либо конечно, но очень велико Большинство из них не имеет смысла и отличается от остальных лишь количественно Они непосредственно определяют лишь результаты действий

№ слайда 34 * 1.3.6. Сущность со сложным поведением Управляющая часть управляющий автомат от
Описание слайда:

* 1.3.6. Сущность со сложным поведением Управляющая часть управляющий автомат отвечает за логику поведения – выбор выполняемых действий, зависящий от текущего состояния и входных воздействий, а также за переход в новое состояние

№ слайда 35 * 1.3.6. Сущность со сложным поведением Управляемая часть объект управления отве
Описание слайда:

* 1.3.6. Сущность со сложным поведением Управляемая часть объект управления отвечает за выполнение действий, выбранных для выполнения управляющей частью, и, возможно, за формирование некоторых компонентов входных воздействий для управляющей части – обратных связей

№ слайда 36 * 1.3.6. Сущность со сложным поведением Парадигма автоматного программирования с
Описание слайда:

* 1.3.6. Сущность со сложным поведением Парадигма автоматного программирования состоит в представлении сущностей со сложным поведением в виде автоматизированных объектов управления Автоматизированный объект управления - объект управления, интегрированный вместе с системой управления в одно устройство

№ слайда 37 * Спасибо за внимание Следующий раз – в пятницу, 11 сентября в 17-20 А. А. Шалыт
Описание слайда:

* Спасибо за внимание Следующий раз – в пятницу, 11 сентября в 17-20 А. А. Шалыто

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru