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

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

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

X

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

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

Кнопки:

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


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

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


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

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

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

№ слайда 3 Система управления – система вложенных автоматов. Система управления – система в
Описание слайда:

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

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

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

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

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

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

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

№ слайда 10 Обладает наибольшей эффективностью для систем со сложным поведением Обладает наи
Описание слайда:

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

№ слайда 11 Вне зависимости от используемого языка программирования реализация автоматных пр
Описание слайда:

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

№ слайда 12 Семь автоматов Семь автоматов Вручную Автоматическая генерация Вручную
Описание слайда:

Семь автоматов Семь автоматов Вручную Автоматическая генерация Вручную

№ слайда 13 Один из автоматов – AL Один из автоматов – AL
Описание слайда:

Один из автоматов – AL Один из автоматов – AL

№ слайда 14 При использовании метода Model Checking при верификации программ предлагается по
Описание слайда:

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

№ слайда 15 Основная сложность в автоматном программировании – построение автоматов Основная
Описание слайда:

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

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

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

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

№ слайда 19 Спасибо за внимание! Спасибо за внимание! http://is.ifmo.ru http://blog.savetheb
Описание слайда:

Спасибо за внимание! Спасибо за внимание! http://is.ifmo.ru http://blog.savethebest.ru http://www.savethebest.ru [email protected]

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

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