Контакти
Карта сайтуВідділ автоматизації програмування (О.Л.Перевозчикова) |
Завідувач відділу – Перевозчикова Ольга Леонідівна, член-кореспондент НАН України, доктор фізико-математичних наук, професор.
Відділ засновано 1957 року членом-кореспондентом НАН України К.Л. Ющенко, яка очолювала його до 1991 року. У відділі працюють 20 співробітників, серед них – член-кореспондент НАН України, доктор та 7 кандидатів наук.
WEB-сайт відділу http://dep145.org.ua/
ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ
- теоретичні основи програмування, моделі та інструменти програмної інженерії;
- статистична теорія навчання та методи штучного інтелекту для аналізу даних, агенти та агентні технології, інтелектуалізація інтерфейсу користувача;
- бази та сховища даних;
- паралельне програмування та управління паралельними комп'ютерами;
- стандартизація та сертифікація програмної складової інформаційних технологій.
НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ
Фундаментальні:
- створено алгебро-граматичний апарат, методи та засоби формалізованого подання знань, що інтегрують механізми концептуального моделювання сутностей і зв'язків предметної області з граматиками та системами алгоритмічних алгебр В.М. Глушкова;
- розроблено актуальні методи та засоби інтерфейсу користувача щодо оперативного добування та подання прихованої та неявної інформації у накопичених базах і сховищах даних або в зовнішньому інформаційному середовищі, пов'язані з технологією інтелектуальних (раціональних) агентів;
- розроблено VC-теорію навчання великих наборів даних і формалізовану процедуру життєдіяльності раціональних агентів щодо перенавчання інтелектуальної системи, розрахованої на роботу з реальними даними впродовж тривалого часу;
- для випереджувального формування контекстних рекомендацій і підказок модифіковано модель розподіленої розрідженої пам'яті Канерви та розроблено алгоритм (програмний агент) автоматичного коригування числових прогнозів з урахуванням подібності зразків на різних сеансах прогнозування;
- розроблено метод синтезу маршрутних схем, який допускає не тільки розвантаження агентів-дослідників за рахунок зниження розмірності задач, але й полегшення їх кооперації за рахунок автоматичного розподілу задач відповідно до зв’язків зі схеми бази даних.
Прикладні:
- розроблено та широко застосовується у багатьох країнах світу, зокрема у Росії, комплекс "ГеоПошук" для оперативної інтерпретації результатів геолого-геофізичних досліджень нафтогазових свердловин, для якого тричі на рік через Web-сайт www.geopoisk.com поширюється актуальна модернізована інсталяція;
- для багатоаспектного аналізу експертної інформації при обгрунтуванні управлінських рішень у ситуаціях, що вимагають порівняльного аналізу кількісних і якісних характеристик різного походження, розроблено систему-оболонку «Фактор»
- розроблено незалежні від мов засоби інтелектуалізації тонких клієнтів в on-line-застосуваннях Internet, зокрема онтологію методу аналізу ієрархій Т. Сааті, з метою вдосконалення схеми бази даних системи-оболонки “Фактор” для подальшої інтелектуалізації її інтерфейсу у вигляді повнофункціонального Web-сайту;
- для кластерних комплексів СКІТ-1 і СКІТ-2 на основі тривимірного повнохвильового моделювання даних сейсмічної розвідки земної кори розроблено інтелектуальну технологію облаштування неперспективних нафтогазових родовищ;
- розроблено набори культурних елементів національно-української локалізації інформаційних технологій, зокрема, на замовлення Майкрософт-Україна відкориговано україномовні тексти програмної документації для національно-української локалізації Windows-Vista, Office’2003 та Office’2007;
- розроблено набір інструментальних засобів загальносистемного забезпечення дослідних зразків інтелектуальних робочих станцій „Інпарком-16» і «Інпарком-64», створених разом із Державним науково-виробничим підприємством „Електронмаш”;
- доопрацьовано нормативну базу Національної системи електронного цифрового підпису для її державного регулювання;
- спільно з Центральним засвідчувальним органом Міністерства транспорту і зв’язку України акредитовано низку центрів сертифікації ключів для криптографічного захисту електронного документообігу в Україні;
- у складі працюючого на базі відділу підкомітету «Мови програмування, їхні середовище й системний інтерфейс» Технічного комітету 20 «Стандартизація інформаційних технологій» Держспоживстандарту України розроблено та введено в дію понад 30 національних стандартів ДСТУ та розроблено проекти 26 нових ДСТУ, гармонізованих з міжнародними стандартами.
Склад наукових працівників відділу № 145
|
№ п/п |
ПІБ |
Посада |
Наук. ступінь |
Звання |
Контакти |
|
1 |
Білодід О.О. |
пров. інж.-пр |
|
|
(+38044)5263603 |
|
2 |
Гавриленко О.В. |
м.н.с. |
|
|
(+38044)5263603 |
|
3 |
Гречко А.В. |
н.с. |
к.ф.-м.н. |
|
(+38044)5263603 |
|
4 |
Жовтяк І.В. |
пров. інж.-пр |
|
|
(+38044)5263603 |
|
5 |
Каленчук -Порханова А.О. |
с.н.с. |
|
|
(+38044)5263603 |
|
6 |
Ковнерістов А.Г. |
інж-пр. 1 кат |
|
|
(+38044)5263603 |
|
7 |
Коломієць О.В. |
с.н.с. |
к.ф.-м.н. |
с.н.с. |
(+38044)5263603 |
|
8 |
Костюченко К.В. |
мнс |
|
|
(+38044)5263603 |
|
9 |
Крижановський В.В. |
с.н.с. |
к.ф.-м.н. |
с.н.с. |
(+38044)5263603 |
|
10 |
Лавренюк С.І. |
мнс |
|
|
(+38044)5263603 |
|
11 |
Мар’янович О.Т. |
с.н.с. |
к.ф.-м.н. |
|
(+38044)5263603 |
|
12 |
Мелащенко А.О. |
м.н.с. |
|
|
(+38044)5263603 |
|
13 |
Назаренко Є.В. |
м.н.с. |
|
|
(+38044)5263603 |
|
14 |
Панченко Б.Є |
ст н с |
|
|
(+38044)5263603 |
|
15 |
Перевозчикова О.Л. |
зав. відділу |
д.ф.-м.н. |
проф.. |
(+38044)5263603 |
|
16 |
Роганова О.Ю.. |
інж-пр. 1 кат |
|
|
(+38044)5263603 |
|
17 |
Січкаренко В.О. |
н.с. |
к.т.н. |
|
(+38044)5263603 |
|
18 |
Скарлат О.С. |
мнс |
|
|
(+38044)5263603 |
|
19 |
Фальфушинський В.В |
мнс |
|
|
(+38044)5263603 |
|
20 |
Ющенко О.К. |
мнс |
|
|
(+38044)5263603 |
|
21 |
Борщов Д. |
інж-пр. 1 кат |
|
|
(+38044)5263603 |
|
22 |
Сайко І.М. |
інж-пр. 1 кат |
|
|
(+38044)5263603 |