Что такое 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
  • Количество просмотров: 136
  • Количество скачиваний: 0
- Предыдущая Операционная система
Следующая - Софиология после В. С. Соловьёва

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

Решение задач на кодирование графической информации Решение задач на кодирование графической информации 125
Оператор присваивания Оператор присваивания 157
Настройка точек доступа (1).pptx Настройка точек доступа (1).pptx 100
Строение компьютера Строение компьютера 204
Дети в интернете Дети в интернете 129
Разработка системы электронного анкетирования для отдела кадров Разработка системы электронного анкетирования для отдела кадров 118
Вредное воздействие компьютера. Способы защиты. Вредное воздействие компьютера. Способы защиты. 235
Формы мышления Формы мышления 124
Компетентнісний підхід у навчанні інформатики Компетентнісний підхід у навчанні інформатики 117
Презентация по теме Системы счисления Презентация по теме Системы счисления 148
Создание мультимедийных презентаций Создание мультимедийных презентаций 124
Учебно - методический комплект по информатике : Кодирование Компьютерная программа Баба Яга. Пойди туда, не знаю куда 2 класс (конспект + презентация) план-конспект урока по информатике (2 класс) Учебно - методический комплект по информатике : Кодирование Компьютерная программа Баба Яга. Пойди туда, не знаю куда 2 класс (конспект + презентация) план-конспект урока по информатике (2 класс) 126
Обменять значения двух переменных, используя третью (буферную) переменную Обменять значения двух переменных, используя третью (буферную) переменную 107
Юные информатики Юные информатики 154
Декодирование информации Декодирование информации 110
算法设计与分析 算法设计与分析 91
Уроки с интерактивной доской Уроки с интерактивной доской 112
Передача информации в компьютерных сетях Передача информации в компьютерных сетях 175
Роботы. Что нас ждет Роботы. Что нас ждет 114
Основные понятия и определения теории автоматического управления Основные понятия и определения теории автоматического управления 142
Текстовые редакторы и процессоры Текстовые редакторы и процессоры 104
Презентация к уроку Целочисленная арифметика языка Паскаль Презентация к уроку Целочисленная арифметика языка Паскаль 148
Полиграммные шифры подстановки Полиграммные шифры подстановки 126
Презентации по информатике на тему Великие информатики. Норберт Винер Презентации по информатике на тему Великие информатики. Норберт Винер 258
Классификации компьютеров Классификации компьютеров 125
Презентация по информатике на тему Алгоритмы и исполнители Презентация по информатике на тему Алгоритмы и исполнители 153
CGI и веб-программирование CGI и веб-программирование 146
Мультимедиа технологиясы туралы жалпы түсінік Мультимедиа технологиясы туралы жалпы түсінік 190
Информационная культура в непрерывном образовании личности. Комфортная информационная среда. (Тема 1) Информационная культура в непрерывном образовании личности. Комфортная информационная среда. (Тема 1) 132
Обработка массивов Обработка массивов 113