Реферат: У 2009 році вчені Відділення інформатики нан україни отримали низку нових важливих фундаментальних та прикладних наукових результатів

ІНФОРМАТИКА

У 2009 році вчені Відділення інформатики НАН України отримали низку нових важливих фундаментальних та прикладних наукових результатів.

Для сімейств нестаціонарних лінійних і деяких класів нелінійних дискретних систем, на які діють як параметричні, так і адитивні обмежені збурення, запропоновано конструктивний метод визначення точних меж областей досяжності, що припускає ефективне розпаралелювання. Встановлено, за яких умов в асимптотиці області досяжності «поглинаються» областями дисипативності (акад. НАН України В.М. Кунцевич).

Для систем підтримки прийняття рішень типу «Ситуаційні Центри» (СЦ) запропонована концепція «втіленого знання», згідно з якою сформоване загальне уявлення про базу знань СЦ та розроблені моделі основних бізнес-процесів Ситуаційної зали (СЗ) і діючі прототипи програмного забезпечення для підтримки регламентних та організаційних процедур СЗ (чл.-кор. НАН України А.О. Морозов, В.В. Вишневський, О.В. Малишев, О.Є. Коваленко).

Розроблено метод та регуляризуючі алгоритми рекурсивної структурно-параметричної ідентифікації лінійних багатовимірних та багатозв’язних систем за експериментально отриманими вхідними та вихідними даними, які містять аддитивні обмежені збурення та шуми (чл.-кор. НАН України В.Ф. Губарев).

На основі теорії оптимального керування станами багатокомпонентних середовищ побудовано явні вирази градієнтів функціоналів нев’язок для ідентифікації різних параметрів осесиметричних задач про напружено-деформований стан складених довгих циліндрів та складених куль з внутрішньою порожниною (акад. НАН України І.В. Сергієнко, акад. НАН України В.С. Дейнека).

Розроблено новий аналітико-статистичний метод дослідження ймовірнісних показників системи обслуговування, яка описує деякі аспекти функціонування стільникових мереж зв’язку. Запропоновано алгоритм знаходження нестаціонарного коефіцієнту готовності певного класу резервованих систем з відновленням, поведінка яких не може бути описаною марковським чи напівмарковським процесом зі зліченою множиною станів (акад. НАН України І.М. Коваленко, чл.-кор. НАН України М.Ю. Кузнєцов).

Зроблені оцінки найважливіших складових національної безпеки, виконано моделювання сучасних інформаційних операцій, аналіз захисту інформаційного простору України та окремих актуальних питань енергетичної та техногенної безпеки. Визначено низку нових викликів для нашої держави та можливі варіанти адекватних відповідей на них, зокрема, шляхи нейтралізації негативного впливу світової фінансово-економічної кризи на Україну та перспективи її євроатлантичної інтеграції (акад. НАН України В.П. Горбулін).

Запропонована концепція відкритої рекурентної нейромережі та метод неітеративного навчання її, що вирішує проблему радикального прискорення навчання. На основі такої нейромережі розроблена принципово нова модель ядерної динамічної асоціативної пам’яті, придатна для роботи в реальному часі (О.М. Різник).

Для диференціально-операторних включень з багатозначними відображеннями типу Sk розроблено конструктивні методи дослідження та високоточні алгоритми пошуку наближених розв’язків. Досліджено також функціонально-топологічні властивості розв’язуючого оператора для таких включень. Результати застосовано для широкого класу геофізичних процесів та полів, математичні моделі яких містять диференціальні рівняння з частинними похідними з розривною або багатозначною залежністю між визначаючими параметрами задачі (акад. НАН України М.З. Згуровський, П.О. Касьянов).

Запропонована агентна архітектура інформаційного пошуку з використанням веб-сервісів та спосіб її реалізації в системі МАІПС, а також онтологічний підхід до представлення інформаційних потреб та використання онтологій для формалізації опису запиту користувача (акад. НАН України П.І. Андон, В.А. Резніченко).

Розроблено теоретичний апарат компонентного програмування, а саме: зовнішня та внутрішня компонентні алгебри, а також моделі компонент повторного використання (КПВ), сигнатура яких поповнена новими видами ресурсів та операціями перебудови типів даних різномовних компонентів при їх інтеграції в складні програмні системи (ПС), операціями селектора типових КПВ із репозитарія та конструювання ПС із типових та готових КПВ (К.М. Лавріщева).

Побудовано моделі комплексних соціально-економічних процесів, що відбуваються у перехідній економіці під час проведення структурно-технологічних змін, зокрема, при зміні структури виробництва з метою енергозбереження. Для проведення розрахунків за зазначеними моделями були модифіковані методи недиференційованої та комбінаторної оптимізації. Здійснено верифікацію моделей на реальних даних та змістовну інтерпретацію результатів розрахунків (чл.-кор. НАН України М.В. Михалевич).

Створено інформаційну технологію для розпізнавання міміки губ при промовлянні українською мовою на основі гнучких шаблонів, представлених за допомогою нерівномірних базисних сплайнів. Розроблено та програмно реалізовано алгоритм виділення мел-частотних кепстральних коефіцієнтів і формантних характеристик з неперервного мовного сигналу та алгоритм визначення зміни диктора у неперервному мовному потоці (акад. НАН України Ю.Г. Кривонос).

На основі використання технології 3DVAR розроблені методи засвоєння даних моніторингу в системах прогнозування погоди та річкового стоку для СППР з реагування на катастрофічні повені (М.Й. Железняк, І.В. Ковалець).

Виконано математичне моделювання динаміки розподілених просторово-часових консолідаційних процесів у слабко проникливих насичених пористих середовищах за наявності градієнта концентрації, а також у випадку термічно неоднорідних умов перебігу процесу. Розроблена та реалізована на обчислювальному комплексі СКІТ-3 системна частина програмного комплексу підтримки прийняття рішень при моделюванні динаміки екологічних процесів, пов’язаних із забрудненням ґрунтів (чл.-кор. НАН України В.В. Скопецький).

Розроблено фізико-технічні основи створення системи надщільного запису на оптичні носії з лейкосапфіровою підкладкою для довготривалого зберігання інформації (чл.-кор. НАН України В.В. Петров, С.М. Шанойло, чл.-кор. НАН України А.А. Крючин, О.І. Брицький).

Розроблено методологію створення систем збору та обробки інформації по рухомим та нерухомим повітряним, наземним та надводним об’єктам великої пропускної здатності, виконано технічний проект і виготовлено дослідний зразок такої системи, який у листопаді 2009 року за результатами випробувань прийнятий замовником (акад. НАН України І.М. Коваленко, чл.-кор. НАН України В.В. Петров, чл.-кор. НАН України М.Ю. Кузнєцов, В.І. Кожешкурт, О.Г. Додонов, О.М. Буточнов, Е.М. Науменко, М.С. Козлов, О.І. Коняєв, В.Б. Осташевський, В.В. Шпурик, В.В. Юзефович).

Розвинуті теоретичні основи гіперкомлексних числових систем комутативного та некомутативного типу до 4-8-го порядків і вирішені задача цифрової фільтрації та задача розділення даних з покращеними характеристиками (М.В. Синьков, Я.О. Каліновський, Ю.Є. Бояринова, Т.В. Синькова, О.В. Федоренко).

На основі застосування системної математики, як аналітичної платформи для вирішення міждисциплінарних задач, досліджена нестаціонарність природних катастроф різної природи, режим яких істотно залежить від змін клімату і змін техносфери. Отримано кількісні оцінки процесу сталого розвитку залежно від груп економічних, екологічних і соціальних індексів, індикаторів і наборів даних і з урахуванням сукупності загроз (акад. НАН України М.З. Згуровський).

Розроблено комплекс структурних моделей економічної системи, які враховують сучасні трансформації економічного середовища, в тому числі: сформовані балансові макроекономічні моделі процесів відтворення внутрішньої економіки України на основі системи зведених національних рахунків; моделі поетапного забезпечення фінансовими ресурсами проектів довгострокового фінансування; модель управління логістичними витратами при декомпозиції їх за основними компонентами логістичних процесів (акад. НАН України О.О. Бакаєв, В.І. Гриценко, Л.І. Бажан).

Запропоновано структурно-логічну модель стратегії інноваційного розвитку України на наступне десятиріччя, що описує вплив науки та сучасних технологій на економічне зростання в умовах глобалізаційних викликів. Цю модель було покладено в основу проекту «Стратегія інноваційного розвитку України на 2010–2020 роки в умовах глобалізаційних викликів», ухвалену на Парламентських слуханнях 17 червня 2009 року (Б.А. Маліцький, В.П. Соловйов, І.Ю. Єгоров, О.С. Попович).

Членам-кореспондентам НАН України В.К. Задираці, С.І. Ляшку, доктору технічних наук Л.Ф. Гуляницькому, докторам фізико-математичних наук Г.П. Донцю та П.С. Кнопову за цикл наукових праць "Розробка нових математичних моделей, методів та інформаційних технологій розв'язування задач оптимізації, обробки та захисту інформації", доктору технічних наук Н.Д. Панкратовій та кандидату фізико-математичних наук В.А. Резніченко за комплекс підручників "Інформатика" у семи книгах у складі авторських колективів присуджені державні премії України в галузі науки і техніки 2009 року.

Академіку НАН України В.С. Дейнеці та члену-кореспонденту НАН України С.О. Довгому за цикл робіт «Аналіз деяких класів багатокомпонентних розподілених систем» присуджено премію НАН України імені В.С. Михалєвича.

Члену-кореспонденту НАН України О.Л. Перевозчиковій, доктору фізико-математичних наук К.М. Лаврищевій та доктору технічних наук В.Д. Романенку присвоєні почесні звання «Заслужений діяч науки і техніки України».

Академіка НАН України В.П. Горбуліна нагороджено орденом «Ярослава Мудрого» ІІІ ступеня, академіка НАН України В.М. Кунцевича - орденом «Ярослава Мудрого» V ступеня.

Академіка НАН України О.В. Палагіна та члена-кореспондента НАН України А.В. Анісімова нагороджено орденами «За заслуги» ІІІ ступеня.
Доктора фізико-матеметичих наук В.П. Клименка нагороджено Почесною грамотою Верховної Ради України «За особливі заслуги перед українським народом» та Подякою Прем'єр-міністра України «За вагомий особистий внесок у розвиток науки на благо економічного, духовного і культурного прогресу України». Доктора економічних наук Б.А. Маліцького нагороджено Почесною Грамотою Кабінету Міністрів України «За вагомий особистий внесок у розвиток науки на благо економічного, духовного і культурного прогресу України».
Доктора економічних наук В.П. Соловйова нагороджено Грамотою Верховної Ради України «За особливі заслуги перед українським народом».

Доктора економічних наук О.С. Поповича в складі авторського колективу нагороджено премією Національної академії наук України, Національної академії наук Білорусії та Національної академії наук Молдови за цикл робіт «Дослідження динаміки науково-технічного потенціалу і соціального капіталу науки Білорусі, Молдови і України як ключового фактору інноваційного розвитку їх економік».

За наукові досягнення в галузі створення геофізичних приладів та інформаційних систем доктора технічних наук В.Є. Корепанова нагороджено медаллю Христіяна Гюйгенса Європейського геофізичного союзу (The European Geosciences Union).


Проблеми інформатики, нові інформаційні технології та системи


В Інституті кібернетики ім. В.М. Глушкова НАН України отримано порівняльні характеристики ефективності алгоритмів глобального рівноважного пошуку (ГРП) та інших алгоритмів локального пошуку для розв’язання складних дискретних оптимізаційних задач, що виникають при інтелектуальному аналізі даних. Обґрунтовано переваги розроблених алгоритмів ГРП як за швидкодією, так і за можливістю розв’язання задач великої розмірності (акад. НАН України І.В. Сергієнко, В.П. Шило).

Розроблено субградієнтні методи оптимізації із застосуванням змінної метрики, при використанні яких, на відміну від відомого методу Поляка, не виникає проблема відновлення агрегованих векторів, а параметри однозначно визначаються оператором перетворення простору і субградієнтного кроку, відомого як крок Агмон-Моцкіна. Для яружних функцій швидкість збіжності створених методів набагато вища, ніж у найкращих відомих методів (П.І. Стецюк).

Створено нові алгоритми статичної перевірки несуперечливості, повноти та умов цілісності для абстрактних систем з невідомою кількістю агентів. Доведено їх коректність, що визначається наступними властивостями: скінченність, правильність, достатність (акад. НАН України О.А. Летичевський).

Теоретично обґрунтовано необхідність застосування евристичних алгоритмів нумерації графів для створення ефективних алгоритмів на графах великого об’єму. Розроблено методологію для обґрунтування послідовності кроків при розробці евристичних алгоритмів знаходження ширини та товщини довільних графів. Розроблено комбінований алгоритм мінімальної за зваженими шириною та профілем нумерації дерев (Г.П. Донець).

Розроблено підхід, який використовує методи стохастичної оптимізації та робастного оцінювання для моделювання катастроф з метою прийняття оптимальних рішень в галузях приватного страхування, кредитування, інвестицій тощо. У явному вигляді використовується зв'язок між імовірністю банкрутства та максимізацією опуклої функції ризику (акад. НАН України Ю.М. Єрмольєв).

Визначено нові підходи до асимптотичного аналізу емпіричних оцінок в задачах стохастичної оптимізації та ідентифікації, за допомогою яких досліджено асимптотичну поведінку та швидкість збіжності методу емпіричних середніх при залежних спостереженнях, що значно розширює можливості застосувань при розв’язанні великої кількості прикладних задач. Запропоновані підходи дали можливість обґрунтувати використання метода опорних векторів В. Вапника для розв’язання нових важливих задач класифікації, розпізнавання та регресійного аналізу (П.С. Кнопов).

Обґрунтовано обчислювальні алгоритми розв’язку задач обчислювальної математики та побудови оптимальних алгоритмів з використанням апріорної інформації. Створено сучасні комп’ютерні технології розв’язування задач обчислювальної та прикладної математики з заданими значеннями характеристик якості, точності та швидкодії (чл.-кор. НАН України В.К. Задірака).

Розроблено інструментарій адаптивного аналізу та моделювання надвеликих і змінних інформаційних об’єктів на основі алгоритмів прискореного локального навчання завдяки застосуванню розподілених обчислень (чл.-кор. НАН України О.Л. Перевозчикова).

Запропоновано паралельні алгоритми розв’язування систем лінійних алгебраїчних рівнянь з розрідженими трикутними матрицями для підвищення ефективності розпаралелювання, що використовуються в задачах аналізу міцності конструкцій. Розроблено та реалізовано на паралельній робочій станції «Інпарком» програмний комплекс нелінійного аналізу міцності конструкцій (О.М. Хіміч, О.В. Попов, М.Ф. Яковлев).

Розроблено інформаційну технологію BajesTREE для оцінки та класифікації станів складних систем на основі нечітких деревовидних байєсівських мереж із станами недетермінованої природи, що дозволяє моделювати альтернативні найбільш вірогідні стани систем (чл.-кор. НАН України І.М. Парасюк, С.В. Єршов, О.В. Верьовка).

Реалізовані процедури верифікації та тестування основних функціональних модулів системи оптимізаційно-імітаційного моделювання NEDISOPT_D, що підтримує процеси спрямованого пошуку оптимальних рішень на мережних архітектурах (чл.-кор. НАН України Т.П. Мар’янович, В.А. Пепеляєв, М.О. Сахнюк).

На основі досліджень ігор з інтегральними та змішаними обмеженнями на керування та дискретні ігрові задачі зі стохастичними збуреннями визначено можливості застосування методу розв’язуючих функцій до систем з дробовими похідними по Ріману-Ліувілю, Капуто та Міллеру-Россу (чл.-кор. НАН України А.О. Чикрій).

Створено математичні моделі взаємодії основних функціональних систем організму в умовах конфліктно-напружених ситуацій та фармакологічної корекції стану організму (Ю.М. Онопчук).

Розроблено архітектурно-структурну організацію онтолого-керованих інформаційних систем обробки слабоформалізованих знань довільної предметної області, що складаються з підсистем обробки природномовної інформації, обробки предметно-орієнтованих знань та засобів формалізованого їх подання відповідно до заданої предметної області (акад. НАН України О.В. Палагін, М.Г. Петренко).

Запропоновано математичні моделі сучасних сигнальних процесорів, які дозволили виділити основні компоненти їх архітектури у вигляді елементів алгебраїчної структури, що дозволяє створювати оптимальні за швидкодією архітектури процесорів. Розроблено математичні моделі частотнофазових демодуляторів тональних сигналів, що дозволяє створювати нові високоточні алгоритми при проектуванні швидкодіючих систем гідроакустики та зв’язку (М.В. Семотюк).

Розроблено підхід до побудови ефективної роботи системи віртуалізації та глобальної файлової системи, зокрема, винесення контейнера доступу користувачів на окремий сервер. При цьому керування глобальною файловою системою та системою віртуалізації розділено на апаратному рівні. Це дозволяє уникнути проблеми сумісності програмного забезпечення глобальної файлової системи та системи віртуалізації (А.О. Якуба).

Запропоновано варіанти базової структурної схеми реконфігурованої системи, які містять множину функціональних полів, що дозволяє орієнтувати її на довільний клас завдань (алгоритмів) з підтримкою паралельної, конвеєрної та паралельно-конвеєрної обробки даних (В. М. Опанасенко, В.Г. Сахарін).

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

^ В Центрі таймерних обчислювальних систем Інституту кібернетики ім. В.М. Глушкова НАН України розроблено основні методи та підходи до апаратно-програмних комплексів для захисту та персоналізації комп’ютерної та телекомунікаційної техніки на основі нового ключа-автентифікатора зі змінною конфігурацією. Запропоновано концепцію двофакторної автентифікації користувачів та побудовано формалізовану модель на базі графів мереж Петрі (О.М. Ходзінський , В.В. Поліновський, В.Ю. Корольов).

^ В Інституті проблем математичних машин та систем НАН України розроблені нові алгоритми засвоєння даних моніторингу в прогностичних математичних моделях та новітні системи підтримки прийняття рішень зі збереження та поліпшення навколишнього середовища, які використані у водних системах СППР РОДОС на основі інтеграції в систему моделі POSEIDON і дозволили значно підвищити ефективність розрахунків та точність моделювання навколишнього середовища. Проведено тестування гідромодуля на прикладі басейну р. Вісла (чл.-кор. НАН України А.О. Морозов, М.Й. Железняк, С.Л. Ківва, І.В. Ковалець, Р.І. Демченко, Р.В. Беженар, П.В. Коломієць).

Запропонована нова архітектура програмно-апаратного комплексу конференц-системи СЗ на базі мікроконтролера Signal-C8051F120, створено діючий макет та адаптовано вбудоване програмне забезпечення для зазначеного мікроконтролера. На основі імітаційного моделювання процесів взаємодії апаратних компонентів на мережному рівні визначені умови виникнення конфліктів і часових затримок в каналах обміну даними СЗ (В.В. Вишневський, Т.М. Власова, О.Є. Коваленко).

Створено методичні засади побудови проблемно-орієнтованої бази знань та інтеграції OLTP і OLAP–технологій при побудові проблемно-орієнтованих сховищ даних (чл.-кор. НАН України А.О. Морозов, В.А. Литвинов, В.В. Вишневський, В.І. В’юн, Г.Є. Кузьменко).

На основі системологічного аналізу механізмів прийняття рішень у зоровій системі за нейрофізіологічними джерелами запропонована нова модель нейрону, яка передбачає використання змінної роздільної здатності у системах оброблення візуальної інформації (чл.-кор. НАН України А.О. Морозов, В.В. Вишневський, В.Г. Калмиков, Т.М. Романенко).

Модернізовано мову АНАЛІТИК-2007 зі створенням нового сучасного інтерфейсу користувача системи (В.П. Клименко, Ю.С. Фішман, Т.М. Швалюк).

Для водойм розроблена нова моделююча система з гідродинамічними, геохімічними та біотичними компонентами, що взаємодіють між собою, яка може бути ядром СППР по управлінню станом водойм (В.С. Мадерич, Р.В. Беженар, І.О. Бровченко, В.І. Кошебуцький, К.В. Терлецька).

Удосконалено математичні моделі транспорту радіонуклідів, на основі яких проведено аналіз впливу розмивів донних намулів при будівництві проектованої кільцевої дороги через Київське водосховище на радіаційне забруднення води біля Києва (М.Й. Железняк, І.О. Бровченко, С.В. Ківва, Р.В. Беженар).

Розроблено програмний XML-конвертор багатошарової системи імітаційного моделювання, що забезпечує побудову синтетичного оточення систем інформаційної безпеки на засадах архітектури високого рівня HLA (В.В. Литвинов, В.В. Казимир, Г.А. Сіра).
Запропоновано нові ймовірнісно-фізичний та інформаційно-кібернетичний підходи щодо проектування, розробки і впровадження гарантоздатних та безпечних інформаційно-управляючих комп’ютерних систем реального часу на базі безвідмовних і відмовостійких обчислювальних засобів (Б.Г. Мудла, В.П. Стрельніков, Г.С. Теслер, О.В. Федухін). Розроблений метод обміну криптоключами в ІР-мережі при проведенні захищених голосових конференцій з великою кількістю учасників переговорів (В.В. Литвинов, В.В. Казимир, Е.В. Риндич).
Створено універсальний управляючий модуль для компонентів технічних систем, здатний спілкуватися з іншими модулями спеціальною мовою розподілених сценаріїв з метою організації поступового переходу до безпілотних розподілених систем, що забезпечують прийняття автономних рішень у критичних ситуаціях (П.С. Сапатий).

Розроблена високоефективна програма оперативного прогнозування часових послідовностей, що призначена для підтримки роботи аналітиків при прийнятті оперативних рішень у сфері економіки (О.С. Сичов).
Запропонований удосконалений метод тривимірного розпізнавання рухомих зображень, на основі якого створений та експериментально випробуваний комплекс програм для розпізнавання жестів руки (Д.О. Дзюба).
^ В Інституті програмних систем НАН України розроблено інтегровану модель життєздатності, яка включає узагальнену модель якості інженерії ПС, конфігураційну модель як зв’язок між інваріантами еталонної архітектури сімейства ПС та модель мінливості для еволюційної розробки окремих ПС, або сімейства ПС (К.М. Лавріщева, П.П. Ігнатенко).

Розроблено модель конфліктно-керованих процесів протиборства програмних агентів у інформаційних мережах. Визначені необхідні умови існування стратегії протидії, яка гарантує збереження заданого рівня роботи системи в умовах атаки на відмову. Створено категоріально-теоретичну модель онтологій та графічну модель представлення онтологій. Запропоновано підхід до поточного планування дій в динамічних розподілених недетермінованих середовищах та семантичної розмітки текстів з використанням онтологій предметної області (акад. НАН України П.І. Андон, В.А. Резніченко).

Запропоновано моделі і методи оцінювання якості програмних систем у генеруючому програмуванні (К.М. Лавріщева, Г.І. Коваль, О.О. Слабоспицька).

Визначено конфігурацію макету інтегрованого середовища проектування і генерації сімейства програм предметної області на основі системи Eclipse, яка надає базові можливості й механізми інтеграції різних інструментів, а також запропоновано нові інструментальні засоби, а саме – службу підтримки репозиторію, засоби конструювання онтологій предметних областей та інструменти підтримки парадигми генерації у генеруючому програмуванні (Є.І. Моренцов).

Апробовано онтологічний підхід з тестування сімейства програмних систем в системі Protégé, визначено можливості графічного подання цієї онтологїї за допомогою плагінів OntoViz та комплексу онтологічних моделей предметних областей інформаційно-технологічних ресурсів мережі Інтернет, що підтримують науково-дослідні роботи певних тематичних категорій та проблемних областей інститутів НАН України (К.М. Лавріщева, Т.М. Коротун).

Визначено базові процеси функціонування системи генеруючого програмування, сценаріїв взаємодії її з користувачем з використанням відповідного репозиторію генеруючого програмування в інтегрованому середовищі генеруючого програмування ( К.М. Лавріщева, Л.П. Бабенко).

Запропоновано принципово нові види та моделі сертифікації програмної продукції (Г.І. Коваль, Л.Д. Бобко).

Розроблено модель комунікаційної мережі за умов конфліктної взаємодії. Проаналізовані поведінки гравців та описано їх стратегії керування (О.П. Ігнатенко).

Створено, обґрунтовано та випробувано кілька алгоритмів та методів виведення структур багатомірних імовірнісних моделей залежностей з даних (О.С. Балабанов).

Розроблено загальні методи моделювання загроз інформації та порушника і вдосконалено ряд методів оцінювання інформаційних ризиків з урахуванням особливості загальної моделі порушника, знайдено граничні умови, що дозволяють використовувати дані методи при формальному оцінюванні захищеності інформаційно-телекомунікаційних систем (В.В. Жора).

Розроблено концептуальну модель електронної бібліотеки для розв’язання питання переміщення ресурсів між бібліотеками (А.Ю. Дорошенко, К.О. Кудім).

Розроблено моделі композиції сервісів, з урахуванням моделей потоку робіт та даних (Workflow) і засобів OWL-S, WSMO, Римська модель та модель машини Миля. Створено алгоритми визначення та забезпечення повноти й ефективності композиції семантичних Веб-сервісів, а також методологічні засоби для автоматичної композиції семантичних Веб-сервісів. Визначено основні характеристики моделей динамічної композиції сервісів та запропоновано технологію адаптивної їх композиції на основі агентної інтеграції в середовищі Семантичної мережі. Запропоновано механізми концепції Service Oriented Knowledge Utilities – SOKU, орієнтованої на сервіси утиліт знань, які забезпечують можливість семантичної обробки даних. Визначено рішення задачі управління паралельними завданнями за допомогою методу випереджаючого планування, розробленого для Grid з невідчужуваними ресурсами (акад. НАН України П.І. Андон, В.О. Дерецький).

Запропоновано новий підхід до просторово-операторного розщеплення задачі прогнозування, що має перевагу перед відомими методами декомпозиції, та знайдено діапазон оптимальних значень параметра модифікованого адитивно-усередненого методу розщеплення. Розроблено паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища. Здійснене розпаралелювання чисельного моделювання із використанням модифікованого адитивно-усередненого розщеплення з покоординатною декомпозицією області. Знайдено кількісні оцінки розпаралелювання чисельного алгоритму для випадку реалізації системи еволюційних рівнянь за допомогою PRAM-моделі, що свідчать про оптимальність паралельного алгоритму та його широкі можливості для реалізації моделей циркуляції атмосфери (А.Ю. Дорошенко, О.А. Яценко, Р.І. Черниш, Т.А. Сологуб).

Запропоновано методологію проектування та генерації Грід-сервісів для платформи Globus Toolkit на основі використання створеного алгебро-алгоритмічного інтегрованого інструментарію (А.Ю. Дорошенко, О.Г. Цейтлін, О.А. Яценко, Г.Ю. Проскудіна).

^ В Інституті проблем реєстрації інформації НАН України визначені комп’ютерні засоби та технології пошуку і змістовного аналізу інформації при аналітичній роботі у КІАС (О.Г. Додонов, О.В. Коваль).

Розроблено методи та програмні засоби комп’ютерного моделювання сценаріїв діяльності користувачів складних ієрархічних автоматизованих систем, в тому числі сценарію вирішення комплексної функціональної задачі оперативного аналізу стану надзвичайних ситуацій в Україні з використанням технології зведеної оперативної карти Урядової інформаційно-аналітичної системи з питань надзвичайних ситуацій (О.Г. Додонов, О.В. Коваль, В.Р. Сенченко).

Запропоновані методи і засоби інформаційного пошуку, аналізу інформаційних потоків у комп’ютерних мережах для формування інформаційних ресурсів з метою підтримки аналітичної діяльності (О.Г. Додонов, Д.В. Ланде, В.Г. Путятін).

Розроблено та виготовлено експериментальні зразки персонального медичного електронного паспорта, інформація на який може записуватися без можливості редагування або видалення, а доступ до даних надається відповідно до спеціалізації лікаря (чл.-кор. НАН України В.В. Петров, чл.-кор. НАН України А.А. Крючин, І.В. Горбов, М.С. Денисюк).

Запропоновано математичну модель відтворення інформації сфокусованим лазерним випромінюванням з багатошарових фотолюмінесцентних і відбивальних оптичних носіїв і визначені вимоги до розміру пітів у кожному з шарів і відстань між шарами (чл.-кор. НАН України В.В. Петров, А.С. Лапчук, Є.В. Бєляк).

Встановлено незмінність форми та розмірів інформаційних одиниць у вигляді мікроотворів після тривалого зберігання (>25 років) скляних оптичних носіїв з реєструвальними середовищами на базі тонких плівок багатокомпонентних халькогенідних напівпровідників. Показано можливість використання таких носіїв для довготермінового зберігання інформації (чл.-кор. НАН України В.В. Петров, чл.-кор. НАН України А.А. Крючин, І.В. Горбов, М.С. Денисюк).

Визначено основні підходи до створення систем формування мікропризмового рельєфу кільцевої форми та відповідних систем керування для виготовлення заломлюючих призмових та заломлюючих сферичних і асферичних – мікрорельєфних структур для лікування складних вад зору у дітей, а також прецизійних мікропризмових заломлюючих елементів оптичних датчиків біосенсорних аналітичних систем. Створена технологія виготовлення комбінованих сферо-призматичних окулярів для лікування косоокості. Проведено клінічні випробування і одержано Свідоцтво про державну реєстрацію медичного виробу «Набір компенсаторів косоокості призмових КК-42». (чл.-кор. НАН України В.В. Петров, С.М. Шанойло, Є.Є. Антонов).

Класифіковано ймовірні зміни, визначені адаптаційні властивості сучасних розподілених операційних середовищ. Розроблено методи й алгоритми адаптації розподілених інформаційних інфраструктур взаємодії в умовах виникнення змін в операційному середовищі, а також процедури підтримки заданого рівня живучості компонентів ІАС під час незапланованих сплесків функціонального навантаження та процедури адаптації компонентів ІАС під час різкого зростання вимог до ресурсів зберігання (О.Я. Матов, І.О. Храмова).

Створено теоретичні та методологічні основи проектування інформаційно-аналітичних систем моніторингу множини динамічних об’єктів у реальному часі. Розроблено відповідний моделюючий комплекс, що дозволяє досліджувати ефективність функціонування таких систем в залежності від зміни їх архітектури та використання різноманітних алгоритмів обробки інформації (чл.-кор. НАН України В.В. Петров, В.І. Кожешкурт, О.М. Буточнов, Є.М. Науменко, М.С. Козлов, В.Б. Осташевський, В.В. Шпурік, В.В. Юзефович).

Розроблено методику дослідження точності узагальнених експертних оцінок, одержаних різними методами, що служить для аналізу та вибору методів експертного оцінювання для систем підтримки прийняття рішень (В.В. Циганок, П.Т. Качанов, О.П. Бесклінська, С.В. Каденко).

Запропоновно нові алгоритми згортки з перетворенням Фур’є в гіперкомплексній області, що дозволило знизити обчислювальну складність порівняно з традиційними методами. Здійснено моделювання та підвищено на декілька десяткових порядків стійкість схеми розділення даних з використанням гіперкомплексних числових систем. Побудовані цифрові фільтри, які покращують характеристики параметричної чутливості на 30-40 % (М.В. Синьков, Я.О. Каліновський, Ю.Є. Бояринова, А.І. Закидальський, О.В. Федоренко, Т.В. Синькова, Є.О. Цибульська).

Визначено склади аморфних халькогенідних плівок, які можуть бути використані як неорганічні фоторезисти. Розроблено метод прямого оптичного запису поверхневого рельєфу для виготовлення елементів оптоелектроніки (В.М. Рубіш, С.М. Гасинець, М.Ю. Риган, А.А. Тарнай, В.К. Кириленко).

^ В Центрі досліджень науково-технічного потенціалу та історії науки ім. Г.М. Доброва НАН України на основі системного аналізу динамічних рядів макроекономічних показників доведено, що використання фінансовими структурами сучасних інформаційно-комунікаційних технологій на фоні неолібералізації ринкових відносин приводить до надмірної дерегуляції економіки, що в першу чергу перешкоджає інноваційному розвиткові виробництва та стимулює грошовий обіг у сфері фінансових ринків. Це явище отримало назву ринковий кіберлібералізм (Б.А.Маліцький).

Встановлено характер культурних і соціальних трансформацій у зв'язку з переходом до інформаційного суспільства, що характеризуються перетворенням науки в технонауку, гуманітарний сектор якої активно використовує інформаційні технології як важливий інструментарій досліджень (В.І. Онопрієнко, М.В. Онопрієнко).

^ В Інституті космічних досліджень НАН України та НКА України розроблено нейромережевий метод розв’язання обернених задач для радіаційних моделей рослинного покриву та алгоритми оцінювання вмісту вологи у рослинності за супутниковими даними в оптичному діапазоні (Н.М. Куссуль, О.М. Кравченко).

Вперше побудовано та досліджено математичні моделі нелінійних керованих класичних та квантових ґраток з нелокальними взаємодіями. Виявлено явище самоорганізації в керованих ґратках, отримано точні аналітичні рішення і визначено ключові фактори, які впливають на нього (В.О. Яценко).

Розроблено автоматичну процедуру визначення затоплених повенями територій на основі радіолокаційних супутникових зображень та даних MODIS для запуску в розподіленому Grid-середовищі (С.В. Скакун).

Розгорнуто та налаштовано віртуальну організацію Earth Observation Grid в межах українського Grid-сегменту та європейської інфраструктури EGEE. Її підтримка здійснюється за допомогою програмного забезпечення проміжного рівня NorduGrid та gLite. (А.Ю. Шелестов).

Розроблено та випробувано програмне забезпечення першого в Україні спеціалізованого комплексу для дистанційного визначення вмісту хлорофілу в рослинах у польових умовах. Вперше встановлено зв’язок між параметрами форми спектру та вмістом хлорофілу в рослинах, а також виявлена можливість дистанційного визначення його вмісту (В.О. Яценко, О.В. Семенів, Ю.В. Шатохіна, Ю.В. Пруцко).

Запропоновано спеціальну методику та програмне забезпечення для обробки даних супутникових вимірювань для виділення хвильових форм на фоні варіацій атмосферних параметрів іншої фізичної природи. За даними вимірювань на супутнику Dynamic Explorer 2 встановлено закономірності планетарного розподілу інтенсивності атмосферних гравітаційних хвиль (АГХ) (Г.В. Лізунов, А.К. Федоренко, Т.В. Скороход).

Розроблено методику первинного оброблення даних вимірювань параметрів нейтральної атмосфери за допомогою комплексу апаратури «Потенціал», створено алгоритми та програмне забезпечення для оперативної візуалізації отриманих результатів (quick look) (Г.В. Лізунов, Є.І. Крючков).

Створено методи й алгоритми параметричної адаптації моделей іоносфери з використанням багато-частотних вимірів приймачів супутникових навігаційних сигналів. Запропоновані напрями практичного застосування адаптивних методів і алгоритмів для вирішення задач радіочастотного моніторингу та дослідження сонячно-земних зв'язків і космічної погоди (В.П. Деденок, С.Ю. Павлов, С.М. Флерко, О.В. Мігура).

Удосконалена методика формування каталогів