УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Госконтракты (версия для печати)


Госконтракты



Отчеты по государственным контрактам

  1. Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.3.2. «Проведение научных исследований целевыми аспирантами». Открытый конкурс НК-385П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов».
  2. Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.3.1. «Проведение научных исследований молодыми учеными–кандидатами наук». Открытый конкурс НК-178П на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами».
  3. Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.2. «Проведение научных исследований научными группами под руководством кандидатов наук». Открытый конкурс НК-421П на выполнение НИР по направлениям «Информатика», …, по проблеме «Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования»
  4. Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук». Открытый конкурс НК-408П на выполнение НИР по направлениям «Механика», «Информатика», «Математика» по проблеме «Применение методов искусственного интеллекта в разработке управляющих программных систем».

Соглашение № 14.B37.21.0397 по теме «Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений»

Материалы курса «Введение в решение задач при помощи методов удовлетворения ограничений»:

Лекция «Введение в решение задач при помощи методов удовлетворения ограничений» (PDF)

Лекция «Язык MiniZinc как средство формулировки задач удовлетворения ограничений» (PDF)

Лекция «Использование решения задачи удовлетворения ограничений для построения управляющих конечных автоматов по сценариям работы» (PDF)

Материалы курса «Программные средства для решения задачи удовлетворения ограничений»:

Лекция «Программное средство Choco» (PDF)

Лекция «Программное средство Mistral» (PDF)

Лекция «Решение задач удовлетворения ограничений с помощью их сведения к задаче SAT. Программное средство Sugar» (PDF)




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com