Розвиток та пріоритети
- Надпродуктивні паралельні обчислювальні системи та мережі – д.т.н. проф. Луцький Г.М.
Створення теорії та принципів побудови ізоефективних масштабованих обчислювальних систем, методів синтезу нових топологій відмовостійких масштабованих обчислювальних систем. Розробка оптимальних варіантів топологій широкого призначення, варіантів побудови відмовостійких масштабованих обчислювальних систем з більш високими показниками ізоефективності та значно кращою гіперкубічною топологією.
Створення алгоритмів маршрутизації інформаційних повідомлень і пакетів у масштабованих обчислювальних системах із відмовостійкою топологією.
Розробка нових алгоритмів планування, зокрема двопрохідних евристичних універсальних та комплексних. - Теорія та методи автоматизованого проектування комп’ютерних систем і проблемно-орієнтованого програмного забезпечення - д.т.н., проф. Бузовський О.В.
Розвиток теорії проектування комп’ютерних систем на системному, операційному, функціонально-логічному та конструкторському рівнях проектування, формальних методик та алгоритмічних подань розв’язків проектних задач. Розробка теорії та методології контролю та діагностування комп’ютерних систем і їх компонентів на основі уявлення процедури діагностування як процедури декомпозиції об’єкту діагностування на фрагменти з визначеними ознаками тестопридатності.
Розробка теоретичних основ та методів комп’ютерної обробки контурних зображень, схемної документації та рукописного тексту на основі принципів визначення достатності для якісної обробки семантичної моделі зображення та розробки спрощених алгоритмів для розв’язку конкретних задач розпізнавання зображень. Результати опубліковано в 3 монографіях та в 200 наукових працях, 8 авторських свідоцтвах. Захищені 20 кандидатських та 1 докторська дисертації. - Елементи і пристрої електроніки та обчислювальної техніки на основі нелінійних діелектриків - член-кор. НАНУ, д.т.н., проф. Самофалов К.Г.
Створення та дослідження наукових та технологічних основ побудови сегнетоелектричних конденсаторних та трансформаторних енергонезалежних запам’ятовуючих елементів та пристроїв (СЗП) з руйнівним та неруйнівним зчитуванням. Опрацьовані технології виготовлення ІМС СЗП на тонкій (0,2-0,4мкм і менше) сегнетоелектричній плівці з КМОН структурами, швидкодією 5-20 нс та їх густиною елементів до 0,128 та 32 Мбіт/мм2 при нормах 1 та 0,065мкм в Україні і за кордоном.
Розвиток технології та опрацювання концепції побудови нового класу багатоелементних ультразвукових антен для систем медичної та технічної діагностики на основі симетричних мікросмугових роздільно-сумісних перетворювачів на товстих (0,02-0,3 мм) п’єзоелектричних плівках. Створення умов розробки вітчизняного ультразвукового діагностичного обладнання, яке не поступається кращим іноземним зразкам, роздільна здатність - 0,1мм, частоти до 100 мГц. За напрямком захищено 8 кандидатських і 1 докторська дисертації. - Організація обчислень у мультипроцесорних та розподілених обчислювальних системах та мережах - д.т.н., проф. Сімоненко В.П.
Створення теоретичних основ вирішення задач планування та диспетчеризація в багатопроцесорних і розподілених обчислювальних системах та мережах, розробка алгоритмів та програм планувальників та диспетчерів для задач статичного та динамічного планування в паралельних обчислювальних системах, розробка алгоритмів і програм для отримання за короткий час оптимальних або оптимізованих розкладів рішень широкого кола задач планування.
Дослідження призначені для розробки системних планувальників багатопроцесорних та розподілених інформаційних обчислювальних систем з підвищеними характеристиками живучості та для вирішення прикладних задач теорії розкладу і комбінаторної оптимізації, в таких галузях, як керування транспортом, торгівля, банківська справа, бази знань великого об’єму. - Інформатика та безпека комп`ютерних систем та мереж – д.т.н., проф. Широчин В.П.
Створення елементів теорії безпеки та передбачуваності поведінки програмного забезпечення в розподілених комп’ютерних системах. Розробка відмовостійких і безпечних програмних засобів управління чи моделювання для дослідження та попередження на різних етапах розробки непередбачуваних логічних помилок в організації програмного забезпечення реального часу. Методи та засоби аутентифікації суб`єктів та повідомлень в розподілених комп’ютерних системах. Розробка теоретичних основ та математичних моделей оцінки рівня безпеки, відлагодженості програмного забезпечення на етапах проектування, кодування та модифікації програм. - Основи теорії, методи та засоби побудови обчислювальних систем реального часу - д.т.н. проф. Жабін В.І.
Створення основ теорії високонадійних модульних обчислювальних систем, здатних до автоматичної реконфігурації та масштабування продуктивності за вимогою зовнішних чинників. Дослідження методів організації та взаємодії апаратних і програмних засобів обчислювальних систем з використанням класичної та потокової моделі реалізації паралельних обчислень у реальному часі. За результатами досліджень видано монографію, 8 учбових посібників, результати впроваджено у виробництво та учбовий процес. - Узагальнені методи автоматизації програмування, системного програмування та інженерії знань – доц., к.т.н. Пустоваров В.І.
Теорія проектування програмного забезпечення, побудова систем автоматизації програмування, підвищення ефективності та розширення застосувань програмного забезпечення систем інженерії знань, реалізація систем верифікації програмного забезпечення, обладнання через імітаційне моделювання, формальну верифікацію поведінки структур апаратури, поданими на мовах Verilog HDL та VHDL; автоматизація розробки системного програмного забезпечення для систем подійного керування, баз даних і баз знань. Розробка теоретичних основ та математичних моделей для оцінки ефективності програмного забезпечення в процесі його проектування та істотного спрощення автоматизації підготовки та налагоджування програмного забезпечення інтелектуальних систем. - Високорівневий синтез обчислювальних систем для реалізації періодичних алгоритмів - с.н.с., к.т.н. Сергієнко А.М.
Розробка основ теорії відображення періодичних алгоритмів в обчислювальні системи (ОС), що складаються з множин процесорних елементів (ПЕ) і систем їх комутацій. Створення методів синтезу та кінцевого опису ОС на структурному рівні і рівні регістрових передач, складання і розподілення програм для ПЕ, методів і методик для проектування ОС на кристалі з мільйонами вентилів і продуктивністю до десятків і сотень мільярдів операцій за секунду. Розробка і реалізація високоефективних проектів ОС, проектів багатоцільового призначення на ПЛІС: ядра мікропроцесорів з архітектурою і8051 і ARM; процесори швидких ортогональних перетворювань сигналів; структурний компілятор цифрових фільтрів та ін. Опубліковано монографію в 2003 р.
Вітаємо на оновленому сайті! Ми ведемо уточнення та оновлення інформації. Чекаємо на ваші відгуки та пропозиції. Якщо ви помітили якусь помилку, будь ласка, повідомте нас
Новини

27 Червня
ФІОТ з глибоким сумом сповіщає, що 27 червня 2024 року пішов з життя д.т.н., професор Луцький Георгій Михайлович.
8 Червня
Як студенти КПІ рятують Україну
20 Травня
Ранковий ефір на Українському радіо
18 Травня
Інноваційна діяльність і розширення можливостей співпраці з державними установами
2 Травня
Проведення конкурсного відбору здобувачів вищої освіти КПІ ім. Ігоря Сікорського за програмою «NAWA»finish what you start