Виртуальная лаборатория для первоначального обучения проектированию программ Н. Н. Красильников, В. Г. Парфенов, Ф. Н. Царев, А. А. Шалыто Кафедра компьютерных.

Slides:



Advertisements
Similar presentations
Формирование информационной культуры учащихся: опыт реализации совместного пилотного проекта Т.В. Лихожон, заведующая библиотекой учебно-воспитательного.
Advertisements

Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления Выполнил: Бедный Юрий,
Автоматическая генерация кода программ с явным выделением состояний Канжелев С.Ю. магистрант СПбГУ ИТМО Шалыто А.А. доктор технических наук профессор СПбГУ.
The educational models of bachelor and master learning in the field of information industry at Dubna International University Prof. E. Cheremisina Dubna.
О задачах УМО на современном этапе О задачах УМО на современном этапе Ученый секретарь УМО- Заместитель начальника Учебно-методического управления МПГУ.
Некомпенсаторное агрегирование и рейтингование студентов Авторы: Гончаров Алексей Александрович, Чистяков Вячеслав Васильевич. НФ ГУ ВШЭ 2010 год.
ПРИНЦИПЫ РАЗРАБОТКИ СИСТЕМЫ КЛАССА LEARNING MANAGEMENT SYSTEM И ОПЫТ ЕЕ ИСПОЛЬЗОВАНИЯ НА ФАКУЛЬТЕТЕ МЕНЕДЖМЕНТА Афанасьева С.В. Кафедра бизнес-информатики.
Эффективность блога как инструмента коммуникации (на примере курса «Информационная эвристика») Е. А. Ефимова Зав.сектором Научной библиотеки УрГУ.
О ПЫТ ОРГАНИЗАЦИИ КОНТРОЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ И КАЧЕСТВА ОБУЧЕНИЯ НА БАЗЕ ЦЕНТРА ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ Ю ЖНОГО ФЕДЕРАЛЬНОГО УНИВЕРСИТЕТА.
Применение генетического программирования для построения автоматов А. А. Шалыто Г. А. Корнеев Санкт-Петербургский государственный университет информационных.
Создание сервиса синхронизации разнородных баз данных Допущена к защите зав. кафедрой: д.ф.м.н., профессор Терехов А.Н. Научный руководитель: доцент Графеева.
1 СПбГУ ИТМО, кафедра Компьютерных Технологий ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ БИЗНЕС- ПРОЦЕССАМИ Евгений Андреевич.
Параметризация устройств сетевого управления Казакова А.С. Научный руководитель: Венгерова Е.А. Рецензент: Ушаков К.С. Кафедра системного программирования.
Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.
Блок 3. Семейства белков I. Множественное выравнивание Первый курс, весна 2008, А.Б.Рахманинова.
ВЛАДИМИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Факультет прикладной математики и физики.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
L/O/G/O Психология решения задач и проблем: классика и современность Спиридонов В.Ф. (РГГУ-ГУВШЭ)
Введение в параллельные вычисления. Технология программирования MPI (день седьмой) Антонов Александр Сергеевич, к.ф.-м.н., н.с. лаборатории Параллельных.
Аппаратное ускорение алгоритмов компьютерного зрения Стефан Бояровски, 361 группа Научный руководитель: Сергей П. Шувалкин.
Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением К. В. Егоров,
ERAMIS “Network Europe – Russia – Asia of Masters in Informatics as a Second competence” (ERAMIS) «Магистратура по информатике как вторая компетенция для.
Программирование на стороне сервера. Языки для программирования на стороне сервера Языки программирования: Perl PHP Java Технология Microsoft для использования.
Магистерская программа двойных дипломов. Эта программа даёт вам возможность получить два диплома учебных заведений Великобритании и России: Диплом магистра.
Кафедра фотоники и оптоинформатики Санкт-Петербургский государственный университет информационных технологий, механики и оптики А.В.Павлов Обработка информации.
NSU-Intel Lab Название проекта. Project goals Mission: что изменит реализация этого проекта в мире Vision: что нужно сделать для того, чтобы это изменение.
Поиск ошибок в программах на языке Ruby с использованием вывода типов Санкт-Петербург, 2008г. Выполнил: Шпынов Олег, 545 гр. Научный руководитель: Ломов.
 Нужно много различных протоколов связи  Каждый из них может реализовываться на разных платформах Современные сети Много устройств, компьютеров и сетей.
Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением Ф. Н. Царев, А. А. Шалыто 2007 год.
Генерация вероятностных автоматов методами Reinforcement Learning Выполнил: Иринёв А. В. Руководитель: Шалыто А. А.
Оптимизация Just – in - time компилятора методом профилирования значений Соколов Андрей Владимирович, ФФ НГУ, 3 курс, Руководитель:
Автор: Новитская О.В.. Об авторе: Н Новитская Ольга Владимировна Студентка Кемеровского Государственного Университета физического факультета 4 курса группы.
Распределение наборов неоднородных по размеру заданий в кластерных системах на основе ClassAd механизма Голубев Александр Юрьевич, 542 группа Научный руководитель:
Применение генетического программирования для генерации автомата в задаче об «Умном муравье» Царев Ф.Н., Шалыто А.А. IV Международная научно-практическая.
Верификация автоматных программ Ремизов А.О., д.т.н., проф. Шалыто А.А.
ICAO Training Workshop Moscow, Применение EATMP Common Core Content в процессе разработки учебных курсов: опыт Латвии Учебный центр АНС, Латвия.
Распределение патентов по тематике «Контроль за воздушным пространством» и МПК = G01S1 или G01S5 и набором ключевых слов (+air+ or +navigat+ or +space+)
Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об «Умном муравье» А. А. Давыдов, Д.
Вычисление типов в императивных динамически типизированных языках. Михаил Калугин, студент 3 курса ММФ Научные руководители: Игорь Николаевич Скопин Андрей.
PowerPoint Presentation for Dennis, Wixom & Tegardem Systems Analysis and Design Copyright 2001 © John Wiley & Sons, Inc. All rights reserved. Slide 1.
Применение метода представления функции переходов с помощью абстрактных конечных автоматов в генетическом программировании Царев Ф. Н. Научный руководитель.
Реализация XPath над S-выражениями 2007 Миленин Евгений, гр. 544 Кафедра Системного Программирования Математико-Механический ф-т, СПбГУ Научный руководитель:
Анализ и Проектирование качественных приложений Презентация по книге Крэга Лармана.
Поиск оптимального набора значений опций компиляции Студент: Чирцов Артём, ФИТ/IV Руководитель: Илья Чёрный
Применение генетических алгоритмов к генерации тестов для автоматных программ Законов Андрей Юрьевич Научный руководитель: Степанов Олег Георгиевич, к.т.н.,
Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением Государственный контракт №
Проект «Безопасный браузер» Визовитин Николай Кадашев Дмитрий.
Разработка алгоритмов распознавания текста
30 ноября 2009г. Международный опыт внедрения инновационных технологий Практика Международного Научно-Технического Центра Сергей Макаров Менеджер Программ,
Автор: студент 545 группы Абусалимов Э.Ш. Научный руководитель: асп. каф. системного программирования Бондарев А.В. Рецензент: Венгеров В.В. Система сборки,
9 октября 2004 Поиск статических изображений по содержанию: использование текстового запроса Наталья Васильева
UCL Language Centre Университетский Подготовительный Сертификат для поступления на факультеты естествознания и инженерии (UPCSE) в языковом центре UCL.
Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода Руководитель проекта – А. А. Шалыто Докладчик.
Проверка эквивалентности срединной и линейной осей многоугольника Дипломная работа студента 545 группы Подколзина Максима Валериевича Санкт-Петербургский.
«Интернет радио» Разработчик Демидко А.А. Преподаватель Бронштейн М.Е.
TMG Tel: 8 (495) Fax: 8 (477) Technology Management Group ООО «TMG» PayKeeper.
Применение генетического программирования для реализации систем со сложным поведением Санкт-Петербургский Государственный Университет Информационных Технологий,
Множественное выравнивание С.А.Спирин, весна
Department Artificial Intelligence Basic Speciality Intelligent Decision Support Systems Kharkov National University of Radioelectronics.
Traditions. Manners in Great Britain.
Подход к реализации XQuery Паращенко Олег Санкт-Петербургский Государственный Университет Обнинск, 2004.
12 апреля « День Космонавтики».
28 сентября 2010 года Реализация Стратегии сотрудничества государств-участников СНГ в сфере информатизации Министерство информационных технологий и связи.
Push it To The Limits! Blend. Sketch Flow. Докладчик: Андрей Черных.
Next Era of “New School” Новая эра новой школы Pasi Mattila Паси Маттила, Директор, Finpeda ”Together we are able to create the best learning environments.
Т.В. Биренбаум Н.А. Качанова Подходы к формированию электронной библиотеки университета в условиях минимальных финансовых, материальных и трудовых ресурсов.
Простые рецепты продвижения электронных баз данных в университете Простые рецепты продвижения электронных баз данных в университете Мария Сергеевна Лаврова.
4 Starting Tips to Keep Your Car in Top Condition
Интернет– МАРАФОН 2008 Всероссийский
Presentation transcript:

Виртуальная лаборатория для первоначального обучения проектированию программ Н. Н. Красильников, В. Г. Парфенов, Ф. Н. Царев, А. А. Шалыто Кафедра компьютерных технологий Санкт-Петербургского государственного университета информационных технологий, механики и оптики

2 Введение Обучение проектированию программ сегодня Автоматный подход для обучения проектированию программ Используется на кафедре несколько лет Документация и проекты публикуются на сайте

3 План Виртуальная лаборатория для обучения проектированию программ Текстовый язык автоматного программирования Пример – задача об «умном муравье»

4 Предлагается создать программные модули для управления различными сущностями Описание Граф переходов Текст программы Виртуальная лаборатория

5 Текстовый язык автоматного программирования automata Auto { state s0 { on e0 if(a) do {g}; on e0 if(!a) do {tr} go to s3; } state s1 { on e0 if(a) do {g}; on e0 if(!a) do {g} go to s0; } …. }

6 Состав виртуальной лаборатории Редактор кода Компилятор Набор заданий

7 Задача об «умном муравье» Поле 32x32 клетки 89 яблок 200 ходов Пример

8 Рассматриваемая задача может быть решена с помощью автомата с семью состояниями Решение

9 Реализация automata Auto4 { state s0 { on e0 if(a) do {g} go to s4; on e0 if(!a) do {tr} go to s2; } state s1 { on e0 if(a) do {g} go to s3; on e0 if(!a) do {g} go to s0; } state s2 { on e0 if(a) do {g} go to s6; on e0 if(!a) do {tr} go to s4; } state s3 { on e0 if(a) do {g} go to s4; on e0 if(!a) do {g} go to s1; } state s4 { on e0 if(a) do {g} go to s1; on e0 if(!a) do {tr} go to s5; } state s5 { on e0 if(a) do {g} go to s6; on e0 if(!a) do {tl} go to s1; } state s6 { on e0 if(a) do {g} go to s1; on e0 if(!a) do {g} go to s3; }

10 Результат

11 Заключение Авторы надеются, что предложенный подход к начальному обучению проектированию программ окажется полезным, совмещая в себе увлекательность и интерактивность Состав задач в лаборатории пополняется и будет пополняться в дальнейшем

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