Программа фундаментальных научных исследований в Российской Федерации на долгосрочный период (2021 - 2030 годы)
Область научных знаний | Направление науки | Направление фундаментальных и поисковых исследований |
---|---|---|
1. Математические науки | 1.1. Математика | 1.1.1. Теоретическая математика |
1.1.2. Дифференциальные уравнения и математическая физика | ||
1.1.3. Дискретная математика и теория вычислимости | ||
1.2. Прикладная математика и информатика | 1.2.1. Вычислительная математика и кибернетика | |
1.2.2. Математическое моделирование и высокопроизводительные вычисления | ||
1.2.3. Искусственный интеллект | ||
1.2.4. Системное программирование | ||
2. Естественные науки | 2.4. Биологические науки | 2.4.11. Системная биология и биоинформатика |
6. Электронные технологии и нанотехнологии, компьютерные и информационные науки | 6.1. Компьютерные и информационные науки | 6.1.1. Компьютерные и информационные науки |
6.1.2. Автоматизированные информационные системы управления и принятия решений | ||
7. Общественные науки | 7.5. Экономика и управление народным хозяйством | 7.5.6. Математические и инструментальные методы в экономике, включая компьютерное моделирование и прогнозирование |
7.7. Науки об образовании | 7.7.8. Проблемы, перспективы и минимизация рисков развития образования в России в условиях использования цифровых технологий | |
9. Гуманитарные науки | 9.1. Исторические науки | 9.1.1. Теория, методология и история исторической науки |
9.2. Филологические науки | 9.2.2. Принципы описания и изучения языков разных языковых семей и построение лингвистических корпусов и информационных систем обработки текстов |
основные |
дополнительные |
Актуальные проекты
Номер государственного задания на 2025 год: 075-00330-25-00
-
Проблемы обработки и анализа данных, моделирования сложных систем, методологии и технологии поддержки науки и образования в информатике и программировании
Руководитель проекта: Марчук Александр Гурьевич
Рег. № ПТНИ: 1021062311252-2-1.2.1
Шифр ПТНИ: FWNU-2022-0006
Рег. № НИОКТР: 122033100008-2Разделы фундаментальных и поисковых исследований:
1.1.3.1. Математическая логика;
1.1.3.4. Теории сложности, кодирования, сжатия, защиты и передачи информации;
1.2.1.1. Теоретические основы вычислительных методов и алгоритмы для компьютерных систем высокой производительности;
1.2.1.5. Численные методы решения задач математического моделирования;
1.2.2.1. Методология математического моделирования;
1.2.2.3. Методы, алгоритмы, инструментальные средства и пакеты прикладных программ для вычислительных систем сверхвысокой производительности;
1.2.4.3. Управление данными;
2.4.11.1. Моделирование структуры, стабильности, функции биомолекул и их комплексов, а также генных сетей, молекулярно-генетических систем и процессов;
2.4.11.3. Интеграция и анализ больших массивов ("bigdata") генетических, структурных и иных биологических данных;
6.1.1.6. Телекоммуникационные системы и сети;
7.5.6.7. Информатика, информационные технологии и компьютерная среда для экономических исследований;
7.7.8.1. Методология формирования современной цифровой образовательной среды в Российской Федерации, гарантирующей высокое качество и доступность образовательных ресурсов для всех видов и уровней образования в условиях обеспечения необходимого уровня информационной безопасности;
9.1.1.3. Методы естественных наук и информатики в исторической науке.Исполнители: Лаборатория информационных систем Лаборатория смешанных вычислений Лаборатория моделирования сложных систем Лаборатория системной динамики
-
Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований
Руководитель проекта: Касьянов Виктор Николаевич
Рег. № ПТНИ: 1021032425270-1-1.2.1
Шифр ПТНИ: FWNU-2021-0002
Рег. № НИОКТР: 121022600070-9Разделы фундаментальных и поисковых исследований:
1.1.3.2. Дискретный анализ, комбинаторика и теория графов;
1.1.3.3. Дискретная оптимизация;
1.2.1.1. Теоретические основы вычислительных методов и алгоритмы для компьютерных систем высокой производительности;
1.2.2.3. Методы, алгоритмы, инструментальные средства и пакеты прикладных программ для вычислительных систем сверхвысокой производительности;
1.2.4.1. Операционные системы;
1.2.4.2. Анализ, трансформация и моделирование программ;
6.1.1.4. Системы автоматизации, CALS-технологии (Continuous Acquisition and Life cycle Support), математические модели и методы исследования сложных управляющих систем и процессов.Исполнители: Лаборатория конструирования и оптимизации программ; Лаборатория системного программирования
-
Формальные методы и инструментальные средства анализа и моделирования систем с повышенными требованиями к их корректности
Руководитель проекта: Вирбицкайте Ирина Бонавентуровна
Рег. № ПТНИ:1021032425271-0-1.2.1
Шифр ПТНИ: FWNU-2021-0003
Рег. № НИОКТР: 121022600093-8Разделы фундаментальных и поисковых исследований:
1.1.1.3. Математический анализ;
1.1.2.1. Обыкновенные дифференциальные уравнения и динамические системы;
1.1.2.4. Математическая физика;
1.1.3.1. Математическая логика;
1.1.3.4. Теории сложности, кодирования, сжатия, защиты и передачи информации;
1.2.1.1. Теоретические основы вычислительных методов и алгоритмы для компьютерных систем высокой производительности;
1.2.4.2. Анализ, трансформация и моделирование программ;
6.1.1.1. Теория информации, научные основы информационно-вычислительных систем и сетей, информатизации общества, квантовые методы обработки информации;
6.1.1.6. Телекоммуникационные системы и сети.Исполнители: Лаборатория теории параллельных процессов; Лаборатория теоретического программирования
-
Исследование и разработка методов и технологий создания интеллектуальных систем анализа, обработки и использования знаний и данных
Руководитель проекта: Загорулько Юрий Алексеевич
Рег. № ПТНИ:1021032425283-5-1.2.1
Шифр ПТНИ: FWNU-2021-0004
Рег. № НИОКТР: 121022600096-9Разделы фундаментальных и поисковых исследований:
1.1.3.1. Математическая логика;
1.2.2.2. Моделирование актуальных научно-технических и социальных задач, а также проблем управления;
1.2.3.1. Общематематические основания и проблемы обработки данных, искусственного интеллекта и поддержки принятия решений;
1.2.3.2. Специализированные по видам и типам данных методы их обработки и анализа;
1.2.3.3. Когнитивные системы и технологии, человеко-машинные интерфейсы, нейроморфные технологии, квантовое машинное обучение;
6.1.2.1. Интеллектуальные системы управления; управление знаниями и системами междисциплинарной природы, человек в контуре управления;
9.2.2.1. Принципы классификации языков и проблемы лингвистической типологии.Исполнители: Лаборатория искусственного интеллекта
Архив 2021-2030 годов
-
Проблемы обработки и анализа данных, методологии и технологии поддержки науки и образования в информатике и программировании
Руководитель проекта: Марчук Александр Гурьевич
Рег. № в ЕГИСУ НИОКТР: 121022000094-1
-
Алгоритмы и программное обеспечение для моделирования сложных систем
Руководитель проекта: Пальянов Андрей Юрьевич
Рег. № в ЕГИСУ НИОКТР: 121022600099-0
Проекты 2017-2020 годов
Программа ФНИ ГАН на 2013-2020 гг. Приоритетное направление IV.39. Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.
Тема IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий
Координатор: д.ф.-м.н. А.Г. Марчук).
Названия проектов
- Тема № IV.39.1.1. Исследования фундаментальных основ структуризации данных, управления информационными ресурсами, создание информационно-вычислительных систем и сред для науки и образования
Руководитель: д.ф.-м.н. А.Г. Марчук - Тема № IV.39.1.2. Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей
Руководитель: д.ф.-м.н. Касьянов В.Н. - Тема № IV.39.1.3. Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации
Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. И.Б. Вирбицкайте - Тема № IV.39.1.4. Методы и технологии создания и сопровождения интеллектуальных информационных систем и систем поддержки принятия решений
Руководитель: к.т.н. Ю.А. Загорулько - Тема № IV.39.1.5. Алгоритмы и программные средства для моделирования сложных систем
Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.
Проекты 2013-2016 годов
Приоритетное направление IV.39. Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.
Программа IV.39.1. Теоретические и прикладные проблемы создания эффективных надежных программных систем и информационных технологий
Координатор: д.ф.-м.н. А.Г. Марчук).
Названия проектов
- Исследования фундаментальных основ структуризации данных, управления информационными ресурсами, создание информационно-вычислительных систем и сред для науки и образования
Руководитель: д.ф.-м.н. А.Г. Марчук - Методы и технологии конструирования эффективного и надежного программного обеспечения для суперкомпьютеров и компьютерных сетей
Руководитель: д.ф.-м.н. Касьянов В.Н. - Методы и средства повышения надежности программных систем, базирующиеся на формальной спецификации и верификации
Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. И.Б. Вирбицкайте - Методы и технологии создания и сопровождения интеллектуальных информационных систем и систем поддержки принятия решений
Руководитель: к.т.н. Ю.А. Загорулько - Алгоритмы и программные средства для моделирования сложных систем
Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.
Проекты 2010-2012 годов
Приоритетное направление IV.32. Архитектура, системные решения, программное обеспечение и информационная безопасность информационно-вычислительных комплексов и сетей новых поколений. Системное программирование.
Программа IV.32.2. Математические, системные и прикладные аспекты перспективных информационных технологий, автоматизации программирования и управления.
Координатор: д.ф.-м.н. А.Г. Марчук).
Названия проектов
- Методологии и технологии создания фактографических систем, поддержки образовательной и научной деятельности (ИСИ)
Руководитель: д.ф.-м.н. А.Г. Марчук - Методы и технологии конструирования и оптимизации программных систем для суперкомпьютеров и компьютерных сетей (ИСИ).
Руководитель: д.ф.-м.н. Касьянов В.Н. - Теоретические и экспериментальные исследования моделей и методов спецификации, семантики и верификации программ и систем (ИСИ).
Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов - Методы и технологии создания интеллектуальных информационных систем и систем поддержки принятия решений (ИСИ).
Руководитель: к.т.н. Ю.А. Загорулько - Математическое и программное обеспечение для моделирования сложных систем (ИСИ).
Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.
Проекты 2007-2009 годов
Приоритетное направление 3. Фундаментальные и технологические проблемы информационных, телекоммуникационных и вычислительных систем.
Программа 3.4. Математические, системные и прикладные аспекты перспективных информационных технологий и автоматизации проектирования.
Координатор: д.ф.-м.н. А.Г. Марчук
Названия проектов
- Новые информационные технологии, направленные на создание фактографических систем, поддержку образовательной и научной деятельности (ИСИ)
Руководитель: д.ф.-м.н. А.Г. Марчук - Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем (ИСИ).
Руководитель: д.ф.-м.н. В.Н. Касьянов - Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем (ИСИ).
Руководители: к.ф.-м.н.В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов - Методы и технологии создания интеллектуальных информационных и вычислительных систем (ИСИ).
Руководитель: к.т.н. Ю.А. Загорулько - Алгоритмы и программный инструментарий для моделирования сложных систем (ИСИ).
Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А. Бульонков
Отчеты
- Отчеты по проектам СО РАН за 2007 год (RAR)
- Отчеты по проектам СО РАН за 2008 год (RAR)
- Отчеты по проектам СО РАН за 2009 год (RAR)
- Отчеты по проектам СО РАН за 2010 год (RAR)
- Отчеты по проектам СО РАН за 2011 год (RAR)
- Отчеты по проектам СО РАН за 2010-2012 годы (RAR)
- Отчеты по проектам СО РАН за 2013 год (RAR)