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

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

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

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

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

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

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

Содержание

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Научный руководительАнатолий ШалытоДоктор технических наукПрофессорЗаведующий кафедрой технологий программирования СПбГУ ИТМОПредложил автоматное программирование в 1991 годуОпубликованы две книги в издательстве «Наука»Работы по грантам РФФИ и министерства образования РФ
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Научный руководитель Шалыто А. А.Кафедра компьютерных Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Научный руководительАнатолий ШалытоДоктор технических наукПрофессорЗаведующий кафедрой Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»О насЛюдские ресурсыКафедра компьютерных технологий СПбГУ Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Автоматы применяются при проектировании аппаратурыПрименяются с Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Направления работыПрограммирование с явным выделением состоянийАвтоматное Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Программирование с явным выделением состоянийРазрабатываетсяАнатолий ШалытоНикита Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»СостояниеПереходыВходные воздействияСобытияВходные переменныеВыходные воздействияСистема взаимосвязанных автоматовВложенные Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Унифицированный подход к проектированию систем со Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Программируемые логические контроллерыВстроенные системыСтруктурное программированиеОбъектно-ориентированное программированиеРазработка Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»РазрабатываетсяНикита ШамгуновГеоргий КорнеевДанил ШопыринОсновные направления работыИнтеграция Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»“Оборачивание” автоматов объектамиSwitch-based представление автоматовПредставление автоматов Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Анализ паттернов проектирования State и аналоговПаттерн Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмовРазрабатываетсяГеоргий Корнеев Матвей КазаковНаправления работыРазработка Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмов Методы построения визуализаторов алгоритмов“На Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмов Средства построения визуализаторов алгоритмовБиблиотека Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты автоматного проектированияРазрабатываетсяВадим ГуровМаксим МазинДанил ШопыринНаправления работыПроект UniModБиблиотека STOOL Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Проект UniMod (1)Локальная и Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Проект UniMod (2)Области примененияКлиент-серверные Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Библиотека STOOLРезультатыКонтроль за состоянием Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматыРазрабатываетсяЛев НаумовНаправления работыТеоретические исследования в Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматы Теоретические исследованияОбобщенные координатыПрименение кривых Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматы Инструменты моделированияБиблиотека моделирования клеточных Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Прочие исследованияМультиметодыДанил ШопыринАвтоматный подход к проектированию реактивных мультиагентных системБорис Ярцев Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Прочие исследования МультиметодыРеализация мультиметодов на ANSI/ISO С++Константное Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Результаты опубликованыЖурналы“Программирование”“Автоматика и телемеханика”“Известия РАН. Теория Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»ПерспективыПеревод результатов исследований и публикация на Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Спасибо за внимание
Слайды презентации

Слайд 2 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Научный руководитель
Анатолий

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Научный руководительАнатолий ШалытоДоктор технических наукПрофессорЗаведующий

Шалыто
Доктор технических наук
Профессор
Заведующий кафедрой технологий программирования СПбГУ ИТМО
Предложил автоматное

программирование в 1991 году
Опубликованы две книги в издательстве «Наука»
Работы по грантам РФФИ и министерства образования РФ

Слайд 3 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
О нас
Людские

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»О насЛюдские ресурсыКафедра компьютерных технологий

ресурсы
Кафедра компьютерных технологий СПбГУ ИТМО
Исследования проводятся с 2000 года
Исследования

поддержаны грантами РФФИ и министерства образования РФ

Сайт http://is.ifmo.ru

Слайд 4 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Автоматы применяются

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Автоматы применяются при проектировании аппаратурыПрименяются

при проектировании аппаратуры
Применяются с 50-х годов
Развиты формальные теории
Применение автоматов

в программировании
Разработка компиляторов
Описание протоколов взаимодействия
Statecharts
???

Обоснование

Слайд 5 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Направления работы
Программирование

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Направления работыПрограммирование с явным выделением

с явным выделением состояний
Автоматное и объектно-ориентированное (ОО) программирование
Визуализаторы алгоритмов
Инструменты

автоматного проектирования
Клеточные автоматы
Прочие исследования

Слайд 6 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Программирование с

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Программирование с явным выделением состоянийРазрабатываетсяАнатолий

явным выделением состояний
Разрабатывается
Анатолий Шалыто
Никита Туккель
Георгий Корнеев
Основные направления исследований
Автоматное проектирование

событийных систем
Преобразование программ к автоматному виду
Автоматные аналоги «классических» алгоритмов

Слайд 7 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Состояние
Переходы
Входные воздействия
События
Входные

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»СостояниеПереходыВходные воздействияСобытияВходные переменныеВыходные воздействияСистема взаимосвязанных

переменные
Выходные воздействия
Система взаимосвязанных автоматов
Вложенные автоматы
Вызываемые автоматы
Программирование с явным выделением

состояний Основные понятия

Слайд 8 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Унифицированный подход

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Унифицированный подход к проектированию систем

к проектированию систем со сложным поведением
Выявление логических ошибок на

стадии проектирования
Проектирование, реализация и отладка в терминах автоматов
Удобство документирования

Программирование с явным выделением состояний Преимущества

Слайд 9 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Программируемые логические

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Программируемые логические контроллерыВстроенные системыСтруктурное программированиеОбъектно-ориентированное

контроллеры
Встроенные системы
Структурное программирование
Объектно-ориентированное программирование
Разработка Web-приложений
Программирование с явным выделением состояний Области

применения

Слайд 10 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Разрабатывается
Никита Шамгунов
Георгий

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»РазрабатываетсяНикита ШамгуновГеоргий КорнеевДанил ШопыринОсновные направления

Корнеев
Данил Шопырин
Основные направления работы
Интеграция автоматов в объектно‑ориетированные программы
Автоматное представление

объектов

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

Слайд 11 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
“Оборачивание” автоматов

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»“Оборачивание” автоматов объектамиSwitch-based представление автоматовПредставление

объектами
Switch-based представление автоматов
Представление автоматов на основе виртуальных методов
Представление автоматов

на основе виртуальных вложенных классов
Объектная декомпозиция автоматов
Декомпозиция на состояния
Декомпозиция на состояния и преходы
Событийные автоматы
Обобщенные переходы

Автоматное и ОО программирование Интеграция автоматов в ОО программы

Слайд 12 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Анализ паттернов

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Анализ паттернов проектирования State и

проектирования State и аналогов
Паттерн проектирования State Machine
Язык программирования State

Machine

Автоматное и ОО программирование Автоматное представление объектов

Слайд 13 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Визуализаторы алгоритмов
Разрабатывается
Георгий

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмовРазрабатываетсяГеоргий Корнеев Матвей КазаковНаправления

Корнеев
Матвей Казаков
Направления работы
Разработка логики визуализаторов алгоритмов
Разработка методов построения

визуализаторов алгоритмов
Средства построения визуализаторов

Слайд 14 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Визуализаторы алгоритмов Методы

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмов Методы построения визуализаторов

построения визуализаторов алгоритмов
“На коленке”
Простые визуализаторы: 120+ часов
С применением библиотек
Простые

визуализаторы: 80-120 часов
Сложные визуализаторы: 120-180 часов
Технология построения визуализаторов
Простые визуализаторы: 5-10 часов
Сложные визуализаторы: до 40 часов

Слайд 15 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Визуализаторы алгоритмов Средства

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Визуализаторы алгоритмов Средства построения визуализаторов

построения визуализаторов алгоритмов
Библиотека BaseApplet
Единый интерфейс визуализаторов
Общие подходы к построению
Библиотека

Vizi
Логика представлена системой взаимодействующих автоматов
Автоматическая генерация логики визуализатора по XML-описанию
Технология построения визуализаторов на базе Vizi

http://ctddev.ifmo.ru/vizi

Слайд 16 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Инструменты автоматного

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты автоматного проектированияРазрабатываетсяВадим ГуровМаксим МазинДанил ШопыринНаправления работыПроект UniModБиблиотека STOOL

проектирования
Разрабатывается
Вадим Гуров
Максим Мазин
Данил Шопырин
Направления работы
Проект UniMod
Библиотека STOOL

Слайд 17 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Инструменты проектирования Проект

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Проект UniMod (1)Локальная

UniMod (1)
Локальная и удаленная отладка диаграмм в терминах состояний
Проверка

формальных свойств диаграмм
Интерпретируемый и компилируемый подходы
Запись автоматов в нотации UML-диаграмм классов и состояний
Встраиваемый редактор UML-диаграмм для платформы Eclipse
Запуск диаграмм в «одно нажатие»

Слайд 18 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Инструменты проектирования Проект

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Проект UniMod (2)Области

UniMod (2)
Области применения
Клиент-серверные приложения для платформ J2ME и J2SE
Symbian

С++ приложения
J2EE Web-приложения
Сайт проекта http://unimod.sf.net
Проект ведется СПбГУ ИТМО совместно с компанией eVelopers http://www.evelopers.com

Слайд 19 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Инструменты проектирования Библиотека

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Инструменты проектирования Библиотека STOOLРезультатыКонтроль за

STOOL
Результаты
Контроль за состоянием системы
Автоматическое протоколирование
Обработка исключительных ситуаций
Многопоточность
Перспективы
Внедрение Virtual Methods

for States
Внедрение Virtual Inner Classes for State

Слайд 20 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Клеточные автоматы
Разрабатывается
Лев

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматыРазрабатываетсяЛев НаумовНаправления работыТеоретические исследования

Наумов
Направления работы
Теоретические исследования в области клеточных автоматов
Создание инструментов распределенного

моделирования клеточных автоматов

Слайд 21 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Клеточные автоматы Теоретические

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматы Теоретические исследованияОбобщенные координатыПрименение

исследования
Обобщенные координаты
Применение кривых Пеано для моделирования клеточных автоматов
Исследование функциональных

возможностей клеточных автоматов

Слайд 22 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Клеточные автоматы Инструменты

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Клеточные автоматы Инструменты моделированияБиблиотека моделирования

моделирования
Библиотека моделирования клеточных автоматов CAME&L
Моделирование на различных решетках
Изменяемые метрики

пространства
Язык задания автоматов
Расширяемость (Plugins)
Распределенное моделирование

http://camel.ifmo.ru

Слайд 23 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Прочие исследования
Мультиметоды
Данил

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Прочие исследованияМультиметодыДанил ШопыринАвтоматный подход к проектированию реактивных мультиагентных системБорис Ярцев

Шопырин
Автоматный подход к проектированию реактивных мультиагентных систем
Борис Ярцев

Слайд 24 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Прочие исследования Мультиметоды
Реализация

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Прочие исследования МультиметодыРеализация мультиметодов на

мультиметодов на ANSI/ISO С++
Константное время вызова мультиметода
Раздельная компиляция исходного кода
Строгая

безопасность типов
Не требуются
Динамическая память
RTTI
C-препроцессор

 

Слайд 25 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Результаты опубликованы
Журналы
“Программирование”
“Автоматика

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»Результаты опубликованыЖурналы“Программирование”“Автоматика и телемеханика”“Известия РАН.

и телемеханика”
“Известия РАН. Теория систем управления”
“Искусственный интеллект”
Конференции
Телеметика 2000-2004
Linux Summit

2003
KIMAS 2003 и 2005

Слайд 26 Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Перспективы
Перевод результатов

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»ПерспективыПеревод результатов исследований и публикация

исследований и публикация на английском языке
Верификация автоматных моделей с

применением темпоральных логик
Классификация методов применения автоматов в программировании
Применение автоматов для задач искусственного интеллекта
  • Имя файла: tehnologii-avtomatnogo-programmirovaniya.pptx
  • Количество просмотров: 88
  • Количество скачиваний: 0
- Предыдущая Этап постановки звука. Способы постановки
Следующая - Женщины-космонавты

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

Игровые технологии как средство совершенствования речевого развития школьников презентация к уроку Игровые технологии как средство совершенствования речевого развития школьников презентация к уроку 64
Обеспечение преемственности в обучении Обеспечение преемственности в обучении 101
Аттестационная работа. Летняя естественнонаучная смена для учащихся 14-16 лет в учреждении дополнительного образования детей Аттестационная работа. Летняя естественнонаучная смена для учащихся 14-16 лет в учреждении дополнительного образования детей 110
Использование информацинно-коммуникационных технологий в преподавании предмета Химия в образовательных учреждениях системы НПО Использование информацинно-коммуникационных технологий в преподавании предмета Химия в образовательных учреждениях системы НПО 101
Технология проектного обучения Технология проектного обучения 120
Дисграфия (презентация) презентация по логопедии Дисграфия (презентация) презентация по логопедии 110
Электронный образовательный ресурс для учащихся 9 классов. Презентация Здоровое питание школьника Электронный образовательный ресурс для учащихся 9 классов. Презентация Здоровое питание школьника 117
Образотворче мистецтво 3 клас. Новорічний карнавал. Урок 15 Образотворче мистецтво 3 клас. Новорічний карнавал. Урок 15 101
Внеклассное мероприятие по ПДД Путешествие в страну А-Б 1 класс план-конспект занятия (1 класс) по теме Внеклассное мероприятие по ПДД Путешествие в страну А-Б 1 класс план-конспект занятия (1 класс) по теме 37
Презентация к юбилею Грачевского Презентация к юбилею Грачевского 124
Классный час История села Дачное Классный час История села Дачное 102
Классный час Крещение Руси классный час (2 класс) Классный час Крещение Руси классный час (2 класс) 158
изготовление открыток изготовление открыток 107
Безопасность в ДОУ Безопасность в ДОУ 100
Презентация по логопедии Автоматизация и дифференциация звуков Р-Рь. Выпуск 5 Презентация по логопедии Автоматизация и дифференциация звуков Р-Рь. Выпуск 5 124
Детский досуг в летние каникулы Солнечные лучики Детский досуг в летние каникулы Солнечные лучики 105
Дом Павлова в Волгограде Дом Павлова в Волгограде 188
Презентация Праздник мам презентация к уроку (3 класс) Презентация Праздник мам презентация к уроку (3 класс) 104
Презентация Животные жарких стран презентация к уроку по развитию речи (старшая, подготовительная группа) Презентация Животные жарких стран презентация к уроку по развитию речи (старшая, подготовительная группа) 113
Презентация к родительскому собранию на тему Здоровое питание 5 класс Презентация к родительскому собранию на тему Здоровое питание 5 класс 104
Внеклассное мероприятие Мне 11 лет классный час (4 класс) по теме Внеклассное мероприятие Мне 11 лет классный час (4 класс) по теме 116
Интерактивная игра для старшеклассников Географические профессии Интерактивная игра для старшеклассников Географические профессии 121
Программа реализации индивидуального подхода к обучению чтению на уроках английского языка в начальной школе Программа реализации индивидуального подхода к обучению чтению на уроках английского языка в начальной школе 106
Субботники презентация к уроку (2 класс) Субботники презентация к уроку (2 класс) 156
Презентация к родительскому собранию Что нужно знать об ОГЭ Презентация к родительскому собранию Что нужно знать об ОГЭ 109
v zdorovom tele v zdorovom tele 50
Ян Амос Коменский Ян Амос Коменский 131
Презентация Правила поведения при землетрясении презентация к уроку по теме Презентация Правила поведения при землетрясении презентация к уроку по теме 136
Презентация: Формирование основ семейных ценностей через приобщение к изобразительному искусству. Презентация: Формирование основ семейных ценностей через приобщение к изобразительному искусству. 116
Игровые технологии как средство формирования звукового анализа и синтеза детей дошкольного возраста в работе с родителями презентация к уроку по логопедии (подготовительная группа) Игровые технологии как средство формирования звукового анализа и синтеза детей дошкольного возраста в работе с родителями презентация к уроку по логопедии (подготовительная группа) 100