Что такое 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
  • Количество просмотров: 85
  • Количество скачиваний: 0
- Предыдущая Этап постановки звука. Способы постановки
Следующая - Женщины-космонавты

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

Презентация сказки-занятия Веселый огород Презентация сказки-занятия Веселый огород 106
Уголок безопасности в ДОУ(.презентация) презентация Уголок безопасности в ДОУ(.презентация) презентация 133
Условия развития мотивации младших школьников Условия развития мотивации младших школьников 175
Мастер-класс Как украсить класс к празднику или оформить стенд? материал по теме Мастер-класс Как украсить класс к празднику или оформить стенд? материал по теме 124
СКАЗОЧНАЯ ГЖЕЛЬ методическая разработка (2 класс) по теме СКАЗОЧНАЯ ГЖЕЛЬ методическая разработка (2 класс) по теме 143
Проектная деятельность в урочное время на уроках кубановедения проект по теме Проектная деятельность в урочное время на уроках кубановедения проект по теме 131
Родительское собрание Конфликты. Влияние семьи на формирование межличностных отношений Родительское собрание Конфликты. Влияние семьи на формирование межличностных отношений 115
Образование взрослых. Учитель как субъект управления качеством образовательного процесса Образование взрослых. Учитель как субъект управления качеством образовательного процесса 105
В гостях у мудрой совы викторина презентация к уроку (4 класс) В гостях у мудрой совы викторина презентация к уроку (4 класс) 125
Презентация для школьного педагогического совета Духовно-нравственное воспитание школьников - Геральдика Калужской области Презентация для школьного педагогического совета Духовно-нравственное воспитание школьников - Геральдика Калужской области 114
Беседа о Рождестве классный час (3 класс) Беседа о Рождестве классный час (3 класс) 98
Презентация Чисто не там, где метут, а там, где не сорятПроект. Презентация Чисто не там, где метут, а там, где не сорятПроект. 130
Презентация по С.Б.О. на тему Семейные традиции. Презентация по С.Б.О. на тему Семейные традиции. 169
Презентация Из истории создания библиотек Презентация Из истории создания библиотек 135
Аттестационная работа. Как отходы превратить в доходы? Сохраним бумагу в школе и дома Аттестационная работа. Как отходы превратить в доходы? Сохраним бумагу в школе и дома 108
Системно – деятельностный метод обучения Системно – деятельностный метод обучения 86
Воспитание в классе Воспитание в классе 270
С Днём рождения, буква ё! классный час (4 класс) по теме С Днём рождения, буква ё! классный час (4 класс) по теме 46
Презентация к родительскому собранию Ваша Безопасность Презентация к родительскому собранию Ваша Безопасность 117
ГОРОД, В КОТОРОМ МЫ ЖИВЁМ. материал (средняя группа) ГОРОД, В КОТОРОМ МЫ ЖИВЁМ. материал (средняя группа) 101
kuskovo 2 kuskovo 2 105
Изготовление поделок из вторичной бумаги Изготовление поделок из вторичной бумаги 103
Основная образовательная программа МАДОУ детский сад № 65 на 2014 - 2015 учебный год Основная образовательная программа МАДОУ детский сад № 65 на 2014 - 2015 учебный год 119
Активное слушание Активное слушание 144
Результативность образовательного процесса в системе дополнительного образования детей Результативность образовательного процесса в системе дополнительного образования детей 87
Презентация для учащихся старших классов на тему Вредные привычки Презентация для учащихся старших классов на тему Вредные привычки 113
Методическая разработка Мой город - Санкт-Петербург презентация к уроку Методическая разработка Мой город - Санкт-Петербург презентация к уроку 96
Как составить резюме Как составить резюме 318
презентацияДеятельностный подход как условие развития у ребёнка познавательных процессов презентация к уроку презентацияДеятельностный подход как условие развития у ребёнка познавательных процессов презентация к уроку 128
artik artik 98