Направления научных исследований и разработок

Исследования в области высокопроизводительных вычислений и суперкомпьютеров

  • Исследование и разработка вычислительных узлов с перспективной архитектурой, в том числе с использованием программируемых логических интегральных схем (ПЛИС), разработка программных средств эффективного использования ПЛИС-ускорителей.
  • Аппаратные и программные решения для перспективных отечественных системных сетей суперкомпьютеров.
  • Исследования в области создания инфраструктуры высокопроизводительных вычислительных систем: вспомогательные сети, сервисные сети (подсистемы мониторинга и управления), эффективные подсистемы охлаждения, в частности,  исследования и разработка подсистем жидкостного охлаждения суперкомпьютеров.
  • Анализ систем хранения данных (СХД) и решение проблем эффективного параллельного обмена данными между СХД и вычислителем.
  • Работы по созданию технологий и программного обеспечения поддержки распараллеливания программ, разработка программных систем для параллельных архитектур.

Исследование и разработка технологий построения малобюджетных региональных компьютерных сетей

  • Аппаратные решения для проводных и беспроводных региональных компьютерных сетей с широким уровнем масштабирования сети от городского поселка до крупного города или района области.
  • Программные решения для поддержки региональных компьютерных сетей, обеспечивающие реализацию таких функций, как стандартные телекоммуникационные сервисы, мониторинг, администрирование и др.

Исследование и разработка технологий сенсорных сетей

  • Исследование и разработка аппартных средств сенсорных сетей с модульной архитектурой, предназначенных для мониторинга и управления различными территориально-распределенными объектами.
  • Программные решения для сенсорных сетей.

Исследование и разработка методов преобразования программ. Развитие технологии суперкомпиляции для функциональных языков программирования. Работы по общим вопросам метавычислений и их применению в практике программирования

  • Разработка методов функционального моделирования недетерминированных вычислительных систем.
  • Разработка методов анализа и верификации вычислительных систем и алгебраических объектов на основе  средств функционального и логического программирования.
  • Исследование и разработка алгоритмов суперкомпиляции.
  • Разработка программных средств поддержки технологии суперкомпиляции.>

Исследование и разработка методов интеллектуального управления сложными динамическими объектами

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

Работы по логическим и алгебраическим аспектам вычислений в условиях физических, ресурсных и функциональных ограничений

  • Исследования в области логических аспектов информатики.
  • Исследования по алгебраическому описанию вычислений.
  • Применение логических и алгебраических методов к развитию методологии и практики программирования, в том числе для обратимых и частично обратимых систем.
  • Применения логических и алгебраических методов к разработке структур перспективных процессоров в области обратимых вычислений.

Последняя редакция 28.04.2016





 

 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра I, дом 4 "а"
 Институт программных систем им. А.К. Айламазяна РАН
Исследовательский центр мультипроцессорных систем