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



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

  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)