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

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

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

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

Координатор: д.ф.-м.н. А.Г. Марчук

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

  1. Новые информационные технологии, направленные на создание фактографических систем, поддержку образовательной и научной деятельности (ИСИ)

    Руководитель: д.ф.-м.н. А.Г. Марчук

  2. Методы и технологии оптимизирующей трансляции и конструирования качественных программ для перспективных вычислительных систем (ИСИ).

    Руководитель: д.ф.-м.н. В.Н. Касьянов

  3. Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем (ИСИ).

    Руководители: к.ф.-м.н.В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов

  4. Методы и технологии создания интеллектуальных информационных и вычислительных систем (ИСИ).

    Руководитель: к.т.н. Ю.А. Загорулько

  5. Алгоритмы и программный инструментарий для моделирования сложных систем (ИСИ).

    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А. Бульонков

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

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

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

Координатор: д.ф.-м.н. А.Г. Марчук).

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

  1. Методологии и технологии создания фактографических систем, поддержки образовательной и научной деятельности (ИСИ)

    Руководитель: д.ф.-м.н. А.Г. Марчук

  2. Методы и технологии конструирования и оптимизации программных систем для суперкомпьютеров и компьютерных сетей (ИСИ).

    Руководитель: д.ф.-м.н. Касьянов В.Н.

  3. Теоретические и экспериментальные исследования моделей и методов спецификации, семантики и верификации программ и систем (ИСИ).

    Руководители: к.ф.-м.н. В.А. Непомнящий, д.ф.-м.н. В.Л. Селиванов

  4. Методы и технологии создания интеллектуальных информационных систем и систем поддержки принятия решений (ИСИ).

    Руководитель: к.т.н. Ю.А. Загорулько

  5. Математическое и программное обеспечение для моделирования сложных систем (ИСИ).

    Руководители: к.ф.-м.н. Ф.А. Мурзин, к.ф.-м.н. М.А Бульонков.

Отчеты