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

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

Логопедическая игра-сказка День Рождения бабушки Логопедическая игра-сказка День Рождения бабушки 137
Использование приемов технологии развития критического мышления как средство реализации ФГОС статья по теме Использование приемов технологии развития критического мышления как средство реализации ФГОС статья по теме 32
Деятельностный подход в обучении краеведению: его значение в прикладной направленности предмета. Деятельностный подход в обучении краеведению: его значение в прикладной направленности предмета. 119
Деятельностный подход на уроках физики Деятельностный подход на уроках физики 89
Педагогический совет Игра – форма организации детской жизни в ДОУ презентация Педагогический совет Игра – форма организации детской жизни в ДОУ презентация 109
Красная книга Республики Коми презентация к уроку (подготовительная группа) Красная книга Республики Коми презентация к уроку (подготовительная группа) 93
Семья и родственные отношения. (классный час в 7 классе) план-конспект занятия Семья и родственные отношения. (классный час в 7 классе) план-конспект занятия 88
Презентация проекта Слово о маме Презентация проекта Слово о маме 98
Личность в системе социальных связей Личность в системе социальных связей 177
Интерактивная игра Дорожно-транспортная викторина Интерактивная игра Дорожно-транспортная викторина 21
Родительское собрание Вот и стали мы на год взрослее... (конец 1 класса) презентация к уроку (1 класс) по теме Родительское собрание Вот и стали мы на год взрослее... (конец 1 класса) презентация к уроку (1 класс) по теме 146
Содержание, пути, средства формирования толерантности у детей старшего дошкольного возрастапрезентация . презентация к уроку по теме Содержание, пути, средства формирования толерантности у детей старшего дошкольного возрастапрезентация . презентация к уроку по теме 93
Портфолио обучающихся статья Портфолио обучающихся статья 81
Мастер – класс Структура логопедического занятия проект по логопедии (2 класс) Мастер – класс Структура логопедического занятия проект по логопедии (2 класс) 76
Праздник окончания первого полугодия Праздник окончания первого полугодия 97
Презентация Государственные символы России: историческое прошлое и настоящее Презентация Государственные символы России: историческое прошлое и настоящее 128
Игра Путешествие по городу Здоровейску Игра Путешествие по городу Здоровейску 120
Профилактика делинквентного поведения (выступление на городском психолого-педагогическом семинаре классных руководителей) Профилактика делинквентного поведения (выступление на городском психолого-педагогическом семинаре классных руководителей) 96
Логопедические технологии в реализации образовательной области Коммуникация Логопедические технологии в реализации образовательной области Коммуникация 25
Психолого-педагогического исследования особенностей процесса адаптации в среднем звене учащихся параллели 5-х классов Психолого-педагогического исследования особенностей процесса адаптации в среднем звене учащихся параллели 5-х классов 83
Презентация к патриотическому мероприятию Герои России Презентация к патриотическому мероприятию Герои России 73
Семинар для воспитателей ДОУ Методы изучения семьи и опыта семейного воспитания методическая разработка Семинар для воспитателей ДОУ Методы изучения семьи и опыта семейного воспитания методическая разработка 131
Профилактика межличностных конфликтов младших подростков в ОО Профилактика межличностных конфликтов младших подростков в ОО 111
Проект по формированию культурно-гигиенических навыков детей дошкольного возраста Уроки Мойдодыра Проект по формированию культурно-гигиенических навыков детей дошкольного возраста Уроки Мойдодыра 76
Мои педагогические достижения Мои педагогические достижения 37
Классный час на тему Как говорить НЕТ Классный час на тему Как говорить НЕТ 170
Городской семинар по критериальному оцениванию Городской семинар по критериальному оцениванию 71
Современные методы оценки достижений учащимися личностных, метапредметных и предметных результатов образования Современные методы оценки достижений учащимися личностных, метапредметных и предметных результатов образования 68
Проект КТД Вперёд, мальчишки! методическая разработка (4 класс) по теме Проект КТД Вперёд, мальчишки! методическая разработка (4 класс) по теме 120
Презентация А.В.Суворов Презентация А.В.Суворов 97