Ми у соціальних мережах
Контакти
  • Київ, Політехнічна 41
    КПІ ім. Ігоря Сікорського, корп. 18, кімн. 528
  • 380 (44) 204 86 10
    380 (44) 204 92 85
  • kafedra@acts.kpi.ua
Розроблення технологій паралельних обчислень

1. Загальний напрям:

Розроблення технологій паралельних обчислень.

2. Основні напрямки досліджень:

  • Розробка адекватних моделей паралельних обчислень, спрямованих на використання особливостей апаратних платформ та програмного забезпечення для таких платформ на ефективну підтримку паралелізму обчислень, зокрема, мультиядерних мікропроцесорів, кластерних мультипроцесорних систем, графічних відео прискорювачів та Грід-систем;
  • Створення ефективних засобів автоматизації проектування паралельних програм на основі високорівневих описів процесів паралельних обчислень;
  • Розробка прикладних систем програмного забезпечення паралельних обчислень для окремих галузей знань та технологій.

 

3. Основні досягнення (під керівництвом проф. А.Ю.Дорошенка в НТУУ “КПІ” та в Інституті програмних систем НАНУ):

  • Розробка методології алгебро-динамічних моделей програмування мультипроцесорних обчислень на основі високорівневих специфікацій та формальних трансформацій описів паралельних процесів аж до рівня програмного коду, що забезпечує найбільшу ступінь автоматизації розробки програм та забезпечення правильності та надійності отримуваного програмного коду;
  • на підтримку цієї вищеназваної методології розроблено систему інструментальних засобів автоматизації проектування та синтезу програм на основі алгебро-алгоритмічних специфікацій та автоматизованих формальних перетворень програм з метою отримання високопродуктивних паралельних обчислень для різних класів паралельних систем – мультиядерної, кластерної та Грід-архітектури;
  • спільно з Українським гідрометеорологічним інститутом розроблено високопродуктивну прикладну систему регіонального метеорологічного прогнозування з використанням паралельних обчислень на кластерній мультипроцесорній архітектурі.

 

Наукові публікації з напрямку ” Розроблення технологій паралельних обчислень”

Архів