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

Содержание

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

технологий
Кафедра технологий программирования
Санкт-Петербургского государственного университета информационных технологий, механики и оптики

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

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

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

СПбГУ ИТМО
Исследования проводятся с 2000 года
Исследования поддержаны грантами РФФИ и министерства образования РФ

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

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

с 50-х годов
Развиты формальные теории
Применение автоматов в программировании
Разработка компиляторов
Описание протоколов взаимодействия
Statecharts
???

Обоснование

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

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

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

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

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

автоматов
Вложенные автоматы
Вызываемые автоматы

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

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

со сложным поведением
Выявление логических ошибок на стадии проектирования
Проектирование, реализация и отладка в терминах автоматов
Удобство документирования

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

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

программирование
Разработка Web-приложений

Программирование с явным выделением состояний Области применения

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

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

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

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

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

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

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

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

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

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

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

Слайд 19Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Инструменты проектирования Библиотека 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Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»
Перспективы
Перевод результатов исследований и публикация

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

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

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

Эрнст Ингмар Бергман 524
Статистические данные о детях с ОВЗ, их обучению, психолого – педагогическом сопровождении 518
Технология проведения работ по определению кадастровой стоимости земель сельскохозяйственного назначения в условиях вертикальной зональности ( горные территории). 296
11 PHP Frameworks For Feature Rich Websites 300
Жак Анри Лартиг (1894 – 1986 гг.) 268
Проект MVNO компании ООО Мобильные Медицинские Технологии – проект федерального масштаба 390

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

Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

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

Что такое ThePresentation.ru?

Это сайт презентаций, докладов, проектов, шаблонов в формате PowerPoint. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами с другими пользователями.

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

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