Проекты

Проекты по приоритетным направлениям СО РАН

Программа фундаментальных научных исследований в Российской Федерации на долгосрочный период (2021 - 2030 годы)

Область научных знаний: 1. Естественные науки.
Направление науки: 1.1. Математические науки.

Названия проектов

  1. Проблемы обработки и анализа данных, методологии и технологии поддержки науки и образования в информатике и программировании

    Руководитель проекта: Марчук Александр Гурьевич

    Рег. № в ЕГИСУ НИОКТР: 121022000094-1

    Направления:
    1.1.7.2. - Управление данными;
    1.1.7.5. Сетевая поддержка науки и образования; структуризация и визуализация больших данных в науке и образовании;
    1.1.5.1. Общематематические основания и проблемы обработки и анализа данных, искусственного интеллекта и поддержки принятия решений.

    Исполнители: Лаборатория информационных систем

  2. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований

    Руководитель проекта: Касьянов Виктор Николаевич

    Рег. № в ЕГИСУ НИОКТР: 121022600070-9

    Направления:
    1.1.7. Системное программирование;
    1.1.7.1. Анализ, трансформация и моделирование программ.

    Исполнители: Лаборатория конструирования и оптимизации программ; Лаборатория системного программирования

  3. Формальные методы и инструментальные средства анализа и моделирования систем с повышенными требованиями к их корректности

    Руководители проекта: Вирбицкайте Ирина Бонавентуровна, Непомнящий Валерий Александрович

    Рег. № в ЕГИСУ НИОКТР: 121022600093-8

    Направления:
    1.1.6. Теоретическая информатика и дискретная математика;
    1.1.6.3. Теории сложности, кодирования, сжатия, защиты и передачи информации;
    1.1.7. Системное программирование;
    1.1.7.1. Анализ, трансформация и моделирование программ

    Исполнители: Лаборатория теории параллельных процессов; Лаборатория теоретического программирования

  4. Исследование и разработка методов и технологий создания интеллектуальных систем анализа, обработки и использования знаний и данных

    Руководитель проекта: Загорулько Юрий Алексеевич

    Рег. № в ЕГИСУ НИОКТР: 121022600096-9

    Направления:
    1.1.5. Искусственный интеллект;
    1.1.5.1. Общематематические основания и проблемы обработки и анализа данных, искусственного интеллекта и поддержки принятия решений;
    1.1.5.2. Специализированные по видам и типам данных методы их обработки и анализа;
    1.1.5.3. Математические основы методов обработки и интеллектуального (в т.ч. глубокого) анализа данных для отдельных прикладных областей и направлений

    Исполнители: Лаборатория искусственного интеллекта

  5. Алгоритмы и программное обеспечение для моделирования сложных систем

    Руководитель проекта: Пальянов Андрей Юрьевич

    Рег. № в ЕГИСУ НИОКТР: 121022600099-0

    Направления:
    1.1.2.1. Теоретические основы вычислительных методов и алгоритмы для компьютерных систем высокой производительности;
    1.1.2.5. Численные методы решения задач математического моделирования;
    1.1.4. Высокопроизводительные вычисления;
    1.1.5. Искусственный интеллект;
    1.1.5.5. Когнитивные системы и технологии, нейроинформатика и биоинформатика, системный анализ

    Исполнители: Лаборатория смешанных вычислений; Лаборатория моделирования сложных систем; Лаборатория системной динамики



Проекты 2017-2020 годов

Программа ФНИ ГАН на 2013-2020 гг. Приоритетное направление IV.39. Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.

Тема IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий
Координатор: д.ф.-м.н. А.Г. Марчук).

Названия проектов

  1. Тема № IV.39.1.1. Исследования фундаментальных основ структуризации данных, управления информационными ресурсами, создание информационно-вычислительных систем и сред для науки и образования
    Руководитель: д.ф.-м.н. А.Г. Марчук
  2. Тема № IV.39.1.2. Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей
    Руководитель: д.ф.-м.н. Касьянов В.Н.
  3. Тема № IV.39.1.3. Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации
    Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. И.Б. Вирбицкайте
  4. Тема № IV.39.1.4. Методы и технологии создания и сопровождения интеллектуальных информационных систем и систем поддержки принятия решений
    Руководитель: к.т.н. Ю.А. Загорулько
  5. Тема № IV.39.1.5. Алгоритмы и программные средства для моделирования сложных систем
    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.

Проекты 2013-2016 годов

Приоритетное направление IV.39. Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.

Программа IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий
Координатор: д.ф.-м.н. А.Г. Марчук).

Названия проектов

  1. Исследования фундаментальных основ структуризации данных, управления информационными ресурсами, создание информационно-вычислительных систем и сред для науки и образования
    Руководитель: д.ф.-м.н. А.Г. Марчук
  2. Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей
    Руководитель: д.ф.-м.н. Касьянов В.Н.
  3. Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации
    Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. И.Б. Вирбицкайте
  4. Методы и технологии создания и сопровождения интеллектуальных информационных систем и систем поддержки принятия решений
    Руководитель: к.т.н. Ю.А. Загорулько
  5. Алгоритмы и программные средства для моделирования сложных систем
    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.

Проекты 2010-2012 годов

Приоритетное направление IV.32. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.

Программа IV.32.2. Математические, системные и прикладные аспекты перспективных информационных технологий, автоматизации программирования и управления.
Координатор: д.ф.-м.н. А.Г. Марчук).

Названия проектов

  1. Методологии и технологии создания фактографических систем, поддержки образовательной и научной деятельности (ИСИ)
    Руководитель: д.ф.-м.н. А.Г. Марчук
  2. Методы и технологии конструирования и оптимизации программных систем для суперкомпьютеров и компьютерных сетей (ИСИ).
    Руководитель: д.ф.-м.н. Касьянов В.Н.
  3. Теоретические и экспериментальные исследования моделей и методов спецификации, семантики и верификации программ и систем (ИСИ).
    Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов
  4. Методы и технологии создания интеллектуальных информационных систем и систем поддержки принятия решений (ИСИ).
    Руководитель: к.т.н. Ю.А. Загорулько
  5. Математическое и программное обеспечение для моделирования сложных систем (ИСИ).
    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.

Проекты 2007-2009 годов

Приоритетное направление 3. Фундаментальные и технологические проблемы информационных, телекоммуникационных и вычислительных систем.

Программа 3.4. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования.
Координатор: д.ф.-м.н. А.Г. Марчук

Названия проектов

  1. Новые информационные технологии, направленные на создание фактографических систем, поддержку образовательной и научной деятельности (ИСИ)
    Руководитель: д.ф.-м.н. А.Г. Марчук
  2. Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем (ИСИ).
    Руководитель: д.ф.-м.н. В.Н. Касьянов
  3. Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем (ИСИ).
    Руководители: к.ф.-м.н.В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов
  4. Методы и технологии создания интеллектуальных информационных и вычислительных систем (ИСИ).
    Руководитель: к.т.н. Ю.А. Загорулько
  5. Алгоритмы и программный инструментарий для моделирования сложных систем (ИСИ).
    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А. Бульонков

Отчеты