Відділ автоматизації програмування

ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ

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

НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ

Фундаментальні:

створено алгебро-граматичний апарат, методи та засоби формалізованого подання знань, що інтегрують механізми концептуального моделювання сутностей і зв’язків предметної області з граматиками та системами алгоритмічних алгебр В.М. Глушкова;
розроблено VC-теорію навчання великих наборів даних і формалізовану процедуру життєдіяльності раціональних агентів щодо перенавчання інтелектуальної системи, розрахованої на роботу з реальними даними впродовж тривалого часу;
для випереджувального формування контекстних рекомендацій і підказок модифіковано модель розподіленої розрідженої пам’яті Канерви та розроблено алгоритм (програмний агент) автоматичного коригування числових прогнозів з урахуванням подібності зразків на різних сеансах прогнозування;
розроблено актуальні методи та засоби інтерфейсу користувача щодо оперативного добування та подання у вигляді XML структурованої інформації накопиченої у базах і сховищах даних;
для підвищення швидкості навчання і MacroMining у великих базах і сховищах даних розроблено метод синтезу маршрутних схем, який дозволяє проводити аналіз структурованих даних без попереднього перетворення на відношення великої розмірності;
запропоновано каркасну модель даних, що є новим підходом до вирішення «проблеми Кодда» про протиріччя між нормалізацією та оптимальним числом відношень, та забезпечує реінжиніринг реляційних БД без декомпозиції багатозначних залежностей з метою обробки БД надвеликого об’єму та збереження семантики;
розроблено методи підвищення ефективності обчислень при розв’язку задач математичного моделювання у різних предметних областях з застосуванням алгоритмів стиснення інформації, зокрема, найкращої чебишовської апроксимації.

Прикладні:

програмне забезпечення для пошуку корисних копалин, насамперед, нафти й газу: популярний в Росії пакет «ГеоПоиск» для інтерпретації результатів геофізичних досліджень свердловин (www.geopoisk.com), розповсюджені в світі пакети програм моделювання процесів сейсморозвідки та генерації синтетичних сейсмограм «Tesseral-2D», «Tesseral Pro» (www.tesseral—geo.com), паралельні геофізичні програми для кластерів, гібридних комп’ютерів з графічними прискорювачів і гриду;
система управління інтелектуальних робочих станцій «Інпарком» (www.inparcom.com), що серійно випускаються Державним науково-виробничим підприємством Електронмаш;
для багатоаспектного аналізу експертної інформації при обґрунтуванні управлінських рішень у ситуаціях, що вимагають порівняльного аналізу кількісних і якісних характеристик різного походження, розроблено систему-оболонку «Фактор» та систему статистичного програмування «Предиктор»;
розроблено набори культурних елементів національно-української локалізації інформаційних технологій, зокрема, на замовлення Майкрософт-Україна відкориговано україномовні тексти програмної документації для національно-української локалізації Windows-Vista, Office’2003 та Office’2007;
доопрацьовано нормативну базу Національної системи електронного цифрового підпису для її державного регулювання; спільно з Центральним засвідчувальним органом Міністерства транспорту і зв’язку України акредитовано низку центрів сертифікації ключів для криптографічного захисту електронного документообігу в Україні;
у складі працюючого на базі відділу підкомітету «Мови програмування, їхні середовище й системний інтерфейс» Технічного комітету 20 «Стандартизація інформаційних технологій» Держспоживстандарту України розроблено та введено в дію понад 30 національних стандартів ДСТУ та розроблено проекти 26 нових ДСТУ, гармонізованих з міжнародними стандартами.

Відділ автоматизації програмування

Тульчинський Вадим Григорович

ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ

НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ