Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Применение автоматного программирования во встраиваемых системах

Содержание

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программирование (1)Автоматизированный объект управленияМашина Тьюринга
Применение автоматного программирования во встраиваемых системахВ. О. Клебан, А. А. ШалытоСанкт-Петербургский государственный В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программирование (1)Автоматизированный объект управленияМашина Тьюринга В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программирование (2)Система управления В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (1) В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (2) В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (3) В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программированиеПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПреимуществаОбладает наибольшей эффективностью для В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахРеализация автоматных программВне зависимости В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахИнструментальное средство UniMod (1)Семь В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахИнструментальное средство UniMod (2)Один из автоматов – AL А.А. ШалытоАвтоматное программированиеВерификация автоматных программПри использовании метода Model Checking при верификации программ В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахГенерация автоматов и генетическое В.О. Клебан, А.А. Шалыто, И.В. ШироковПрименение автоматного программирования во встраиваемых системахПример. Беспилотный Верификация автоматных программ В.О. Клебан, А.А. Шалыто, И.В. ШироковПрименение автоматного программирования во встраиваемых системахПример. Беспилотный вертолет (3)http://www.youtube.com/watch?v=-LuVLH4cV0U В.О. Клебан, А.А. Шалыто, И.В. ШироковПрименение автоматного программирования во встраиваемых системахСпасибо за внимание!Спасибо за внимание!http://is.ifmo.ruhttp://blog.savethebest.ruhttp://www.savethebest.rukleban@savethebest.ru
Слайды презентации

Слайд 2 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программирование (1)Автоматизированный объект управленияМашина Тьюринга

системах
Автоматное программирование (1)
Автоматизированный объект управления
Машина Тьюринга

Слайд 3 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программирование (2)Система

системах
Автоматное программирование (2)
Система управления – система вложенных автоматов.
Объект управления

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

Слайд 4 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (1)

системах
Пример. Управление дизель-генератором (1)

Слайд 5 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (2)

системах
Пример. Управление дизель-генератором (2)

Слайд 6 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПример. Управление дизель-генератором (3)

системах
Пример. Управление дизель-генератором (3)

Слайд 7 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахАвтоматное программированиеПАРАДИГМА АВТОМАТНОГО

системах
Автоматное программирование
ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ СОСТОИТ В ПРЕДСТАВЛЕНИИ СУЩНОСТЕЙ СО

СЛОЖНЫМ ПОВЕДЕНИЕМ В ВИДЕ АВТОМАТИЗИРОВАННЫХ ОБЪЕКТОВ УПРАВЛЕНИЯ

Слайд 8 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахПреимуществаОбладает наибольшей эффективностью

системах
Преимущества
Обладает наибольшей эффективностью для систем со сложным поведением
Формальное и

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

Слайд 9 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахРеализация автоматных программВне

системах
Реализация автоматных программ
Вне зависимости от используемого языка программирования реализация

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

Слайд 10 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахИнструментальное средство UniMod

системах
Инструментальное средство UniMod (1)
Семь автоматов

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

Слайд 11 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахИнструментальное средство UniMod (2)Один из автоматов – AL

системах
Инструментальное средство UniMod (2)
Один из автоматов – AL

Слайд 12 А.А. Шалыто
Автоматное программирование
Верификация автоматных программ
При использовании метода Model

А.А. ШалытоАвтоматное программированиеВерификация автоматных программПри использовании метода Model Checking при верификации

Checking при верификации программ предлагается по программе строить ее

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

Слайд 13 В.О. Клебан, А.А. Шалыто
Применение автоматного программирования во встраиваемых

В.О. Клебан, А.А. ШалытоПрименение автоматного программирования во встраиваемых системахГенерация автоматов и

системах
Генерация автоматов и генетическое программирование
Основная сложность в автоматном программировании

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

Слайд 14 В.О. Клебан, А.А. Шалыто, И.В. Широков
Применение автоматного программирования

В.О. Клебан, А.А. Шалыто, И.В. ШироковПрименение автоматного программирования во встраиваемых системахПример.

во встраиваемых системах
Пример. Беспилотный вертолет (1)
Содержит контроллер на базе

ядра ARM7 с частотой 60МГц.

Интегрированную систему радиосвязи радиусом действия 1.5км (скорость 115200 кбит/с)

Трехосевой акселерометр.

Трехосевой гироскоп.

Магнитный компас
Услилительно-преобразовательные устройства управления двигателями.

Слайд 15 Верификация автоматных программ

Верификация автоматных программ

Слайд 16 В.О. Клебан, А.А. Шалыто, И.В. Широков
Применение автоматного программирования

В.О. Клебан, А.А. Шалыто, И.В. ШироковПрименение автоматного программирования во встраиваемых системахПример. Беспилотный вертолет (3)http://www.youtube.com/watch?v=-LuVLH4cV0U

во встраиваемых системах
Пример. Беспилотный вертолет (3)
http://www.youtube.com/watch?v=-LuVLH4cV0U

  • Имя файла: primenenie-avtomatnogo-programmirovaniya-vo-vstraivaemyh-sistemah.pptx
  • Количество просмотров: 139
  • Количество скачиваний: 0
- Предыдущая Операционная система
Следующая - Софиология после В. С. Соловьёва

Похожие презентации

Архитектура и составные части систем искусственного интеллекта Архитектура и составные части систем искусственного интеллекта 178
Бейсик Бейсик 152
Викторина. Путешествие в страну компьютера Викторина. Путешествие в страну компьютера 121
Презентация по информатике на тему Понятие об информации (5 класс) Презентация по информатике на тему Понятие об информации (5 класс) 151
Презентация к плану-конспекту урока информатики (8 класс) по теме Поиск информации в Интернете. Электронная коммерция в Интернете Презентация к плану-конспекту урока информатики (8 класс) по теме Поиск информации в Интернете. Электронная коммерция в Интернете 139
Безопасность в Интернете Безопасность в Интернете 159
Програмування мовами низького рівня та системне програмування Програмування мовами низького рівня та системне програмування 111
Основные понятия и определения информатики Основные понятия и определения информатики 125
Электронная таблица MS EXCEL Электронная таблица MS EXCEL 135
Кроссворды по информатике Кроссворды по информатике 157
Элементный состав объекта Элементный состав объекта 105
Microsoft Office Excel 2007 Microsoft Office Excel 2007 221
Презентация по иформатике на тему Компьютерлік вирустар Презентация по иформатике на тему Компьютерлік вирустар 162
Викторина по Информатике Викторина по Информатике 137
Презентация по информатике на тему Анимация әсерлерін баптау. Презентацияларды көрсету Презентация по информатике на тему Анимация әсерлерін баптау. Презентацияларды көрсету 182
Презентация к уроку Ссылки в электронных Презентация к уроку Ссылки в электронных 153
Презентация по информатике структура ID Презентация по информатике структура ID 153
Системная среда Windows Системная среда Windows 107
Презентация по информатике Решение квадратных уравнений в среде программирования Visual Basic Презентация по информатике Решение квадратных уравнений в среде программирования Visual Basic 152
Шрифтовый дизайн Шрифтовый дизайн 171
Программное обеспечение Программное обеспечение 127
Презентация к уроку по теме Измерение количества информации. Вероятностный подход. Презентация к уроку по теме Измерение количества информации. Вероятностный подход. 170
Сравнение методологий разработки программ по степени формальности и отношению к каскадной или итеративной разработке Сравнение методологий разработки программ по степени формальности и отношению к каскадной или итеративной разработке 155
Разработка модели и алгоритмов оценки эффективности резервирования ресурса передачи информации Разработка модели и алгоритмов оценки эффективности резервирования ресурса передачи информации 124
Проецирование трехмерных объектов Проецирование трехмерных объектов 118
Презентация к уроку Кодирование информации (2 класс) Презентация к уроку Кодирование информации (2 класс) 165
Первое знакомство с компьютером Первое знакомство с компьютером 109
Метод проектов. Изучение курса информатики с учетом возрастных особенностей Метод проектов. Изучение курса информатики с учетом возрастных особенностей 133
Алгоритм (5 класс) Алгоритм (5 класс) 153
Информатика. Компьютер в жизни общества Информатика. Компьютер в жизни общества 131