Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик

Нажмите для полного просмотра!

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №2

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №3

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №4

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №5

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №6

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №7

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №8

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №9

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №10

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №11

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №12

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №13

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №14

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №15

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №16

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №17

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №18

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик, слайд №19

Содержание ▲

Вы можете ознакомиться и скачать Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механик. Презентация содержит 19 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.

Слайд 2

Описание слайда:

1.1. Автоматное программирование

Слайд 3

Описание слайда:

1.2. Автоматное программирование Система управления – система вложенных автоматов. Объект управления – произвольный физический объект (клапан) или математическая функция (выдержка времени). Основные понятия: состояния, переходы, события, входные переменные и выходные воздействия, автоматы, гибридные автоматы. Состояния: управляющие в СУ и вычислительные в ОУ.

Слайд 4

Описание слайда:

2.1. Пример. Управление дизель-генератором

Слайд 5

Описание слайда:

2.2. Пример. Управление дизель-генератором

Слайд 6

Описание слайда:

2.3. Пример. Управление дизель-генератором

Слайд 7

Описание слайда:

2.4. Пример

Слайд 8

Описание слайда:

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

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

4. Достоинства автоматного программирования Обладает наибольшей эффективностью для систем со сложным поведением Формальное и понятное описание поведения Проверка формальных свойств диаграмм Автоматическая генерация кода по диаграммам переходов Возможность тестирования в терминах автоматов Повышение уровня автоматизации верификации программ методом Model Checking по сравнению с другими классами программ Проектная документация

Слайд 11

Описание слайда:

5. Реализация автоматных программ Вне зависимости от используемого языка программирования реализация автоматных программ осуществляется по графам переходов формально и изоморфно – текст программы «внешне похож» на граф переходов. Переход от графа переходов к тексту программы может осуществляться как вручную, так и автоматически с помощью соответствующих инструментальных средств. Например, для создания программ на языке Java в СПбГУ ИТМО создано инструментальное средство UniMod.

Слайд 12

Описание слайда:

6.1. Инструментальное средство UniMod Семь автоматов Вручную Автоматическая генерация Вручную

Слайд 13

Описание слайда:

6.2. Инструментальное средство UniMod Один из автоматов – AL

Слайд 14

Описание слайда:

7. Верификация автоматных программ При использовании метода Model Checking при верификации программ предлагается по программе строить ее модель. Построение адекватной модели автоматически практически невозможно. При использовании автоматного программирования первичной является модель поведения, по которой строится программа. Поэтому уровень процесса верификации автоматных программ увеличивается.

Слайд 15

Описание слайда:

8. Генерация автоматов и генетическое программирование Основная сложность в автоматном программировании – построение автоматов В большинстве случаев автоматы проектируются вручную Однако эвристическое построение автоматов часто затруднено или невозможно Решение – автоматическое построение конечных автоматов с помощью генетического программирования Это позволит повысить уровень автоматизации построения программ рассматриваемого класса Материалы – на сайте http://is.ifmo.ru (раздел «Генетические алгоритмы»)