- Технологии автоматного программирования

Презентация "Технологии автоматного программирования" по педагогике – проект, доклад

Слайд 1
Слайд 2
Слайд 3
Слайд 4
Слайд 5
Слайд 6
Слайд 7
Слайд 8
Слайд 9
Слайд 10
Слайд 11
Слайд 12
Слайд 13
Слайд 14
Слайд 15
Слайд 16
Слайд 17
Слайд 18
Слайд 19
Слайд 20
Слайд 21
Слайд 22
Слайд 23
Слайд 24
Слайд 25
Слайд 26
Слайд 27

Презентацию на тему "Технологии автоматного программирования" можно скачать абсолютно бесплатно на нашем сайте. Предмет проекта: Педагогика. Красочные слайды и иллюстрации помогут вам заинтересовать своих одноклассников или аудиторию. Для просмотра содержимого воспользуйтесь плеером, или если вы хотите скачать доклад - нажмите на соответствующий текст под плеером. Презентация содержит 27 слайд(ов).

Слайды презентации

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

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

Научный руководитель Шалыто А. А.

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

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

Научный руководитель

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

О нас. Людские ресурсы Кафедра компьютерных технологий СПбГУ ИТМО Исследования проводятся с 2000 года Исследования поддержаны грантами РФФИ и министерства образования РФ Сайт http://is.ifmo.ru
Слайд 3

О нас

Людские ресурсы Кафедра компьютерных технологий СПбГУ ИТМО Исследования проводятся с 2000 года Исследования поддержаны грантами РФФИ и министерства образования РФ Сайт http://is.ifmo.ru

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

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

Обоснование

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

Направления работы

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

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

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

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

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

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

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

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

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

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

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

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

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

Разрабатывается Никита Шамгунов Георгий Корнеев Данил Шопырин Основные направления работы Интеграция автоматов в объектно‑ориетированные программы Автоматное представление объектов. Автоматное и ОО программирование
Слайд 10

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

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

“Оборачивание” автоматов объектами Switch-based представление автоматов Представление автоматов на основе виртуальных методов Представление автоматов на основе виртуальных вложенных классов Объектная декомпозиция автоматов Декомпозиция на состояния Декомпозиция на состояния и преходы Событийные авто
Слайд 11

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

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

Анализ паттернов проектирования State и аналогов Паттерн проектирования State Machine Язык программирования State Machine. Автоматное и ОО программирование Автоматное представление объектов
Слайд 12

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

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

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

Визуализаторы алгоритмов

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

Визуализаторы алгоритмов Методы построения визуализаторов алгоритмов. “На коленке” Простые визуализаторы: 120+ часов С применением библиотек Простые визуализаторы: 80-120 часов Сложные визуализаторы: 120-180 часов Технология построения визуализаторов Простые визуализаторы: 5-10 часов Сложные визуали
Слайд 14

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

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

Визуализаторы алгоритмов Средства построения визуализаторов алгоритмов. Библиотека BaseApplet Единый интерфейс визуализаторов Общие подходы к построению Библиотека Vizi Логика представлена системой взаимодействующих автоматов Автоматическая генерация логики визуализатора по XML-описанию Технология п
Слайд 15

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

Библиотека BaseApplet Единый интерфейс визуализаторов Общие подходы к построению Библиотека Vizi Логика представлена системой взаимодействующих автоматов Автоматическая генерация логики визуализатора по XML-описанию Технология построения визуализаторов на базе Vizi http://ctddev.ifmo.ru/vizi

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

Инструменты автоматного проектирования

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

Инструменты проектирования Проект UniMod (1). Локальная и удаленная отладка диаграмм в терминах состояний Проверка формальных свойств диаграмм Интерпретируемый и компилируемый подходы Запись автоматов в нотации UML-диаграмм классов и состояний Встраиваемый редактор UML-диаграмм для платформы Eclipse
Слайд 17

Инструменты проектирования Проект UniMod (1)

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

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

Инструменты проектирования Проект UniMod (2)

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

Инструменты проектирования Библиотека STOOL. Результаты Контроль за состоянием системы Автоматическое протоколирование Обработка исключительных ситуаций Многопоточность Перспективы Внедрение Virtual Methods for States Внедрение Virtual Inner Classes for State
Слайд 19

Инструменты проектирования Библиотека STOOL

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

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

Клеточные автоматы

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

Клеточные автоматы Теоретические исследования. Обобщенные координаты Применение кривых Пеано для моделирования клеточных автоматов Исследование функциональных возможностей клеточных автоматов
Слайд 21

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

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

Клеточные автоматы Инструменты моделирования. Библиотека моделирования клеточных автоматов CAME&L Моделирование на различных решетках Изменяемые метрики пространства Язык задания автоматов Расширяемость (Plugins) Распределенное моделирование http://camel.ifmo.ru
Слайд 22

Клеточные автоматы Инструменты моделирования

Библиотека моделирования клеточных автоматов CAME&L Моделирование на различных решетках Изменяемые метрики пространства Язык задания автоматов Расширяемость (Plugins) Распределенное моделирование http://camel.ifmo.ru

Прочие исследования. Мультиметоды Данил Шопырин Автоматный подход к проектированию реактивных мультиагентных систем Борис Ярцев
Слайд 23

Прочие исследования

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

Прочие исследования Мультиметоды. Реализация мультиметодов на ANSI/ISO С++ Константное время вызова мультиметода Раздельная компиляция исходного кода Строгая безопасность типов Не требуются Динамическая память RTTI C-препроцессор
Слайд 24

Прочие исследования Мультиметоды

Реализация мультиметодов на ANSI/ISO С++ Константное время вызова мультиметода Раздельная компиляция исходного кода Строгая безопасность типов Не требуются Динамическая память RTTI C-препроцессор

Результаты опубликованы. Журналы “Программирование” “Автоматика и телемеханика” “Известия РАН. Теория систем управления” “Искусственный интеллект” Конференции Телеметика 2000-2004 Linux Summit 2003 KIMAS 2003 и 2005
Слайд 25

Результаты опубликованы

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

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

Перспективы

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

Спасибо за внимание
Слайд 27

Спасибо за внимание

Список похожих презентаций

Технологии совместного творчества

Технологии совместного творчества

Создание условий для развития способностей ребёнка, формирование у него внутреннего психологического покоя и уверенности в своих силах. Цель данной ...
Технологии развивающего обучения

Технологии развивающего обучения

«Ничего так не делает жизнь легко переносимой, как деятельность, направленная к одной цели». Фридрих Шиллер «Важнейшим фактором любого дела является ...
Технологии обучения

Технологии обучения

Понятие технологии. • Технология - это совокупность приемов, применяемых в каком-либо деле, мастерстве, искусстве (толковый словарь). • Педагогическая ...
Технологии деятельностного подхода в обучении

Технологии деятельностного подхода в обучении

Ученик, осваивающий опыт. Дерево познания. Педагог, демонстрирующий способы возделывания. Плоды – новые открытия, результат исследования. Листья – ...
Технологии современного урока

Технологии современного урока

«Без стремления к научной работе учитель попадает во власть трех демонов: механичности, рутинности, банальности. Он деревенеет, каменеет, опускается». ...
Психология программирования

Психология программирования

14 мая 2004. Человеко-машинные аспекты программирования в учебных планах. Подготовка специалистов в области информатики носит технологическую ориентацию. ...
Проблемы одаренных детей Технологии работы с одаренными детьми

Проблемы одаренных детей Технологии работы с одаренными детьми

1. Неприязнь к школе. Такое отношение часто появляется оттого, что учебная программа скучна и неинтересна для одаренных детей. Нарушения в поведении ...
Инновационные образовательные технологии в условиях реализации ФГОС

Инновационные образовательные технологии в условиях реализации ФГОС

"Скажи мне, и я забуду. Покажи мне, - я смогу запомнить. Позволь мне это сделать самому, и это станет моим навсегда". Древняя мудрость. ТЕХНОЛОГИЯ ...
Инновационные подходы к преподаванию ИЗО и технологии

Инновационные подходы к преподаванию ИЗО и технологии

Вопросы. Какие среды обитания занимают животные? Приведите примеры. Чем отличается понятие "среда обитания" от понятия "место обитания"? Поясните ...
Игровые технологии в образовательном процессе ДОУ

Игровые технологии в образовательном процессе ДОУ

Игровая педагогическая технология. Концептуальные основы игровой технологии. Цель игровой технологии. Задачи технологии. Соответствие требованиям. ...
Из опыта работы по технологии проектов

Из опыта работы по технологии проектов

Из опыта работы ГОУ СОШ №932 по технологии проектов. «От идеи до реализации». Из истории.. 20-е годы ХХ века, США Метод проекта – метод проблем, «обучение ...
Игровые технологии в детском саду

Игровые технологии в детском саду

Игровые технологии в детском саду. «Игра порождает радость, свободу, довольство, покой в себе и около себя, мир с миром.» Фридрих Фребель. «Без игры ...
Игровые технологии в младшем школьном возрасте

Игровые технологии в младшем школьном возрасте

Теория игровых технологий. Игровые педагогические технологии включают обширную группу методов и приемов организации педагогического процесса в форме ...
Информационно-коммуникационные технологии и современная система образования

Информационно-коммуникационные технологии и современная система образования

План лекции. Информационно-коммуникационные технологии (ИКТ) и новая педагогическая реальность Общая характеристика новой образовательной парадигмы ...
Информационные технологии в образовательном процессе

Информационные технологии в образовательном процессе

Важнейшее условие и одновременно средство формирования новой системы образования – информационно-образовательная среда. Под информационно-образовательной ...
Интерактивные методы и технологии обучения

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

Основными составляющими интерактивных уроков являются интерактивные упражнения и задания, которые выполняются учащимися. Важное отличие интерактивных ...
Инновационные технологии в логопедической практике

Инновационные технологии в логопедической практике

Актуальность. В соответствии с законом РФ "Об образовании" (ст. 2; 51) государственная политика в области образования основывается на принципах гуманистического ...
Диалоговые технологии обучения экономике

Диалоговые технологии обучения экономике

Сущность диалоговых технологий обучения. В рамках диалоговых технологий оказывается воздействие, побуждающее учащихся искать различные способы для ...
Деятельностные технологии в преподавании географии

Деятельностные технологии в преподавании географии

Как взрастить успешность? Как сделать каждый урок продуктивным и интересным? Проблема. Тема педагогического опыта «Деятельностные технологии в преподавании ...
Гуманно-личностные технологии урока музыки

Гуманно-личностные технологии урока музыки

« Дари себя детям!» Ш. А. Амонашвили. Гуманно-личностные технологии отличаются, прежде всего, своей направленностью на поддержку личности ученика, ...

Конспекты

Технологии различных видов самостоятельных работ учащихся

Технологии различных видов самостоятельных работ учащихся

Муниципальное бюджетное общеобразовательное учреждение. « Средняя общеобразовательная школа № 3». Московской области. ДОКЛАД. ...

Советы как сделать хороший доклад презентации или проекта

  1. Постарайтесь вовлечь аудиторию в рассказ, настройте взаимодействие с аудиторией с помощью наводящих вопросов, игровой части, не бойтесь пошутить и искренне улыбнуться (где это уместно).
  2. Старайтесь объяснять слайд своими словами, добавлять дополнительные интересные факты, не нужно просто читать информацию со слайдов, ее аудитория может прочитать и сама.
  3. Не нужно перегружать слайды Вашего проекта текстовыми блоками, больше иллюстраций и минимум текста позволят лучше донести информацию и привлечь внимание. На слайде должна быть только ключевая информация, остальное лучше рассказать слушателям устно.
  4. Текст должен быть хорошо читаемым, иначе аудитория не сможет увидеть подаваемую информацию, будет сильно отвлекаться от рассказа, пытаясь хоть что-то разобрать, или вовсе утратит весь интерес. Для этого нужно правильно подобрать шрифт, учитывая, где и как будет происходить трансляция презентации, а также правильно подобрать сочетание фона и текста.
  5. Важно провести репетицию Вашего доклада, продумать, как Вы поздороваетесь с аудиторией, что скажете первым, как закончите презентацию. Все приходит с опытом.
  6. Правильно подберите наряд, т.к. одежда докладчика также играет большую роль в восприятии его выступления.
  7. Старайтесь говорить уверенно, плавно и связно.
  8. Старайтесь получить удовольствие от выступления, тогда Вы сможете быть более непринужденным и будете меньше волноваться.

Информация о презентации

Ваша оценка: Оцените презентацию по шкале от 1 до 5 баллов
Дата добавления:28 апреля 2019
Категория:Педагогика
Содержит:27 слайд(ов)
Поделись с друзьями:
Скачать презентацию
Смотреть советы по подготовке презентации