Добре науково знайомий з колективом авторів у складі проф. Гаращенка Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І., цикл робіт „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування” яких висунутий на здобуття Державної премії України за 2010 рік. З більшістю авторів цього циклу пройшов ряд наукових семінарів, конференцій, з’їздів. У наукових дискусіях знайомився з результатами наукових досліджень авторів. Добре знайомий з більшістю монографічних та журнальних публікацій авторів. Викладені в них теорії та положення дали поштовх розвитку добре відомих теорій з дослідження технічних, економічних та економіко-соціальних систем. Заслугою авторів є те, що вони не обмежуються класично-академічними та суто теоретичними дослідженнями, а ідуть від практики, від потреб народного господарства, досліджуючи питання та проблеми, які не мають точного математичного розв’язання. Так авторами започатковані, обґрунтовані та доведені до практичних реалізацій алгоритми та методи оцінки та моделювання стану динамічних систем, зокрема і з розподіленими параметрами, які функціонують в умовах зовнішньо-динамічної невизначеності та досліджуються в умовах зашумлених спостережень за ними. Зауважимо при цьому, що авторами даного циклу робіт запропоновані також розв’язки задач керування такими системами – набагато складніших та актуальніших, аніж задачі побудови та оцінки стану розглядуваних систем. Це дуже складні і надзвичайно актуальні задачі. Постановка цих задач до розв’язання, як і саме розв’язання, – є великою заслугою авторів.
Сказане дозволяє зробити висновок, що авторський колектив у складі проф. Гаращенка Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І. добре відомий в Україні та світі. Його наукові здобутки вагомі, проблеми, розв’язані авторами, є актуальними, відомими та визнаними в теоретичних та практично орієнтованих наукових школах і творчих колективах. Думаю, що даний авторський колектив заслуговує на відзначення його наукових здобутків Державною премією в галузі науки і техніки за 2010 рік.

Доктор технічних наук, професор Бомба А.Я.
(професор кафедри інформатики та
прикладної математики РДГУ)

За результатами наукових доповідей на численних семінарах, конференціях, з’їздах та інших наукових зібраннях добре знайомий з результатами наукових досліджень, які у вигляді циклу робіт проф. Гаращенка Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І. подані на здобуття Державної премії України в галузі науки і техніки за 2010 рік. Високо оцінюю наукову школу авторів цього циклу, яка об’єднує десятки докторів та кандидатів наук, добре відомих широкому науковому загалу. Наукові результати, які авторами даного циклу робіт викладені у багатьох монографіях та написаних на їх базі підручниках і начальних посібниках стали основою для підготовки спеціалістів-прикладників з математичного моделювання, системного аналізу та чисельних методів сучасної математичної науки.
Загальність постановок задач математичного моделювання у поєднанні з ефективними методами їх розв’язання є тим позитивом, який наукові здобутки авторів робить доступними для вирішення конкретних проблем у різних предметних областях. Розроблені, на їх основі, численні інженерно-комп’ютерні системи підтверджують це.
Вважаю, що колектив вчених у складі проф. Гаращенка Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І. заслуговує на присудження йому Державної премії України в галузі науки і техніки за представлений ним до розгляду в Комітет з Державних премій України в галузі науки і техніки цикл наукових праць під назвою „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування”.

Декан факультету прикладної математики
Чернівецького національного університету
імені Юрія Федьковича
доктор фіз.-мат. наук, професор Черевко І.М.

На здобуття Державної премії в галузі науки і техніки висунуто цикл наукових робіт відомих вчених як в України, так і за її межами, а саме: проф. Гаращенка, Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І. Цикл наукових робіт об’єднується під загальною назвою назвою “Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування”. Основна спрямованість такого циклу робіт полягає в їх дослідженні складних науково-технічних, екологічних, соціальних і економічних процесів, для вивчення яких не завжди можна використовувати апарат класичної математики. Це пояснюється тим, що для досліджуваного класу задач суттєвою є різного роду невизначеність. Авторами був запропонований свій оригінальний підхід до вивчення вказаних проблем. На основі такого підходу була запропонована і розроблена відповідна математична і алгоритмічна база.
Результати досліджень висвітлені в ряді монографій, підручників, навчальних посібників і статей.
Безумовно, вказаний цикл робіт має важливе загальнодержавне значення. В той же час такі роботи на сьогодні стали класичними і використовуються в якості навчальної та наукової бази для підготовки як фахівців вищої кваліфікації, так і молодих спеціалістів відповідного напряму.
Приймаючи до уваги відзначене вважаємо, що колектив авторів циклу робіт „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування” заслуговує присудження Державної премії України в галузі науки і техніки в 2010 році.

Проректор з наукової роботи Національної металургійної академії України,
професор, д.т.н. Ю.С. Пройдак,
зав. каф. прикладної математики та обчислювальної техніки НМетАУ Г.Г. Швачич

Представлений до розгляду цикл робіт підводить підсумок багаторічний плідній роботі колективу авторів в області ідентифікації систем, моделювання та оптимізації в умовах неповноти інформації та невизначеності.
Авторами циклу робіт досліджено та вирішено проблеми побудови конструктивних методів моделювання, аналізу та оптимізації систем з неповними даними, як для детермінованих систем, що описуються звичайними диференційними рівняннями, або рівняннями з частинними похідними, так і для систем, де неповні дані є стохастичними, а також для систем, в яких вхідні дані є нечіткими множинами або задані у вигляді інтервалів невизначеності.. На основі теоретичних результатів робіт даного циклу розроблено та впроваджено інформаційно-комп’ютерні та інтелектуальні технології в різних предметних областях, зокрема: льотно-космічній галузі та гідроакустиці, оптимальному проектуванні сучасних прискорюючо-фокусуючих систем та маніпуляційних роботів, соціально-економічних та інтелектуальних систем, а також в університетах та академічних інститутах України.
Розв’язані проблеми математичного моделювання, аналізу та оптимізації розв’язків прямих та обернених задач динаміки лінійно розподілених просторово-часових процесів довільної природи, які функціонують в умовах неповноти інформації про їх початково-крайовий стан. Дослідження направлені на моделювання функції стану розподілених просторово-часового процесів як формалізованих, так і неформалізованих (при відсутності математичної моделі), що особливо важливо при застосуванні отриманих теоретичних результатів до сучасних процесів, які важко формалізуються.
Запропоновані та доведені до практичної реалізації ідентифікаційні методи побудови математичних моделей розподілених динамічних процесів за наявності дискретних та дискретно-неперервних спостережень за ними як в умовах повноти даних про процес, так і неповноти останніх. Досліджено задачі практичної стійкості та розроблено чисельні методи для визначення оптимальних оцінок для широкого класу динамічних систем. Зокрема, проведені фундаментальні дослідження задач практичної стійкості. Показано, яким чином результати теорії практичної стійкості знаходять застосування при розв’язуванні різних прикладних задач.
Для оптимального проектування технічних систем запропоновано метод структурно-параметричної оптимізації, який широко апробований в різних предметних областях. Досліджено загальні принципи побудови та оптимізації системи з заданих підсистем, їх оптимального розташування тощо На основі узагальненого принципу Белмана сформульовано і доведено принцип оптимальності для задач вибору оптимальної структури динамічної системи, виведено рівняння Белмана в інтегральній, а для випадку нефіксованих точок переключення - в диференціальній формі. Ці результати успішно використані при розв’язуванні задач оптимального керування пучком траєкторій з недиференційованими функціоналами, оптимізації оцінок практичної стійкості, зокрема для розв’язування задач оптимізації параметрів систем прискорення та фокусування.
В працях авторів розроблено теорію побудови математичних засобів опису структур та автоматизованого аналізу і синтезу складних керованих механічних об’єктів, прикладами яких можуть служити маніпуляційні роботи, комплексні антропоморфні роботи, космічні апарати з наявністю взаємно рухомих складових частин, таких як сонячні батареї, антени, маніпуляційні зборочні роботи, гіродинні стабілізуючі механізми та інші об’єкти.
Розроблено нечіткий метод індуктивного моделювання – нечіткий метод групового врахування аргументу (НМГУА), який є розвитком відомого методу МГУА акад. О.Г. Івахненка в умовах невизначеності, коли вхідна інформація задана приблизно, неточно та у вигляді інтервалів невизначеності або нечітких множин. Особливостями методу є те, що він дозволяє автоматично будувати нечіткі моделі складних процесів за експериментальними даними при мінімальній участі проектувальника. На відміну від класичного МГУА в нечіткому МГУА не виникає проблем поганої обумовленості матриць нормальних рівнянь, оскільки для знаходження оптимальної нечіткої моделі використовуються не метод найменших квадратів, а алгоритми лінійного програмування.
Автором доведено, що відповідна задача ЛП завжди має розв’язок при довільних вхідних даних, що дуже важливо для практичного застосування методу.
Метод знайшов широке використання в задачах прогнозування в макроекономіці та на фінансових ринках. Практичне використання підтвердило його ефективність та суттєві переваги над класичними методами статистичного аналізу.
Досліджені задачі оптимізації інвестиційного портфеля в нечітких умовах. Для випадку, коли доходності акцій точно невідомі і розглядаються як нечіткі числа запропоновано новий метод їх розв’язання. Отримані наукові результати в області нечіткої портфельної оптимізації суттєво розвивають класичні результати Марковітца-Тобіна і дають можливість вирішувати ці задачі в умовах неповноти вихідної інформації. В результаті проведених досліджень створено основи теорії портфельної оптимізації в нечітких умовах.
На наш погляд важливої рисою циклу робіт є те, що теоретичні результати циклу знайшли численні впровадження у промисловості, економіці та соціології.
Так, авторами даного циклу робіт розроблено програмний комплекс ідентифікації параметрів рівнянь просторового руху літальних апаратів (ЛА) з метою обґрунтованого проектування окремих елементів та системи вцілому, а також з метою побудови ефективних керувань ЛА в реальних умовах неповних і збурених даних вимірювання та спостереження. Ці розробки впроваджені в КБ ім. О.Антонова (м. Київ, 1983) та ЛДІ МАП СРСР (м. Жуковський, 1986р.), а також при проектуванні перспективних космічних апаратів у Національному космічному агентстві України (1996р.).
Створене алгоритмічне і програмне забезпечення для систем керування орієнтацією мікросупутника. Розроблено спеціалізований пакет програм для розв’язування задач синтезу системи керування орієнтацією мікросупутника при обмеженнях на фазові змінні з оптимальними та близькими до оптимальних за швидкодією показниками перехідного процесу. Пакет містить ядро, блок обчислення режимів керування, блок ініціалізації параметрів та підсистему візуалізації. Він дозволяє проводити обчислювальні експерименти пов’язані з розрахунками режимів переорієнтації та стабілізації мікросупутника, змінювати вхідні параметри та добавляти додаткові модулі для реалізації нових математичних моделей.
Проведені авторами фундаментальні дослідження в області розпізнавання дали змогу розробити адаптивні алгоритми та програми для розв’язування задач аналізу, класифікації та розпізнавання мовної інформації і зображень.
Однією з основних задач прикладної гідроакустики є задача про знаходження координат джерела (джерел) гідроакустичних сигналів, які відображаються та вимірюються на спеціальних гідрофонних пристроях. Ця задача супроводжується задачею про класифікацію джерел гідроакустичних сигналів. Теоретичні дослідження авторів циклу робіт були використані для створення автоматизованої системи обробки гідроакустичної інформації, для розв’язання перерахованих задач та впроваджені в практику ММФ СРСР на кількох підприємствах закритого типу.
Інтелектуальне програмне забезпечення для автоматизації процесу дослідження та розв’язування задач з наближено заданими вихідними даними та оцінкою достовірності комп’ютерних розв’язків (Inpartool, Inparlib), впроваджене в сімейство інтелектуальних робочих станцій Інпарком (16,32,64,128,256) спільної розробки Інституту кібернетики ім. В.М.Глушкова НАН України та державного НВП «Електронмаш».
З використанням теоретичних розробок по розпаралелюванню обчислень авторами циклу робіт розроблено програмний комплекс для проектування унікальних об’єктів будівництва, який на паралельних комп’ютерах впроваджено у використання в мережевому середовищі. Спільно з ДНВП «Електронмаш» розроблено концепцію, створено інтелектуальне програмне забезпечення та виготовлено експериментальний зразок інтелектуальної восьмиядерної робочої станції, в якій реалізовано функцію адаптивного налаштування програми та топології комп’ютера на властивості задачі.
. В цілому в результаті виконаних досліджень авторів циклу створені наукові школи в області ідентифікації динамічних моделей складних систем при неповній інформації, структурно-параметричної оптимізації складних систем, розпізнавання гідроакустичних сигналів, моделювання та прогнозування економічних та фінансових процесів в умовах неповноти та невизначеності інформації..
На основі вище вказаного вважаю, що представлений цикл робіт «Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування» колективу авторів у складі: проф. Гаращенко Ф.Г., проф. Закусило О.К., проф. Зайченко Ю.П., проф. Качинський А.Б., проф. Кириченко М.Ф.(посмертно), доц. Коба О.В., проф. Наконечний О.Г., проф. Стоян В.А., с.н.с. Хіміч О.М., проф. Черняк О.І. заслуговує на присудження йому Державної премії України в галузі науки і техніки за 2009 рік.

Професор, доктор фізико-математичних наук, декан факультету
комп’ютерних наук, завідувач кафедри інформаційних технологій та математики,НАУ,
Лауреат державної премії України в галузі науки та техніки

Автори представленого циклу робіт – відомі вчені в Україні та за її межами. Роботи, які включені до циклу, містять результати досліджень теоретичного та практичного характеру, що здобуто чисельними науковими школами майже за півстоліття. Загальним напрямом досліджень, що поєднують зусилля різних вітчизняних вчених та наукових колективів, є вивчення складних науково-технічних, економічних, екологічних та соціальних процесів, які важко піддаються математичній формалізації, а якщо така є, то важко досліджуються методами класичної математики, оскільки моделі таких процесів містять неповноту даних про умови, в яких ці процеси протікають. Це свідчить про актуальність проблематики щодо розв'язання широкого кола соціально-економічних, екологічних, технічних та інших проблем.
Результатом досліджень є створена та розвинута конструктивна теорія моделювання, на підґрунті якої отримано фундаментальні результати в напрямі дослідження математичних моделей з наближеними даними, розроблено методологію дослідження достовірності комп'ютерних розв'язків лінійних систем, розроблено та досліджено алгоритми паралельних обчислень для задач обчислювальної математики; вперше запропоновано ефективну схему декомпозиції та обробки даних на комп'ютерах з паралельною архітектурою.
На особливу увагу заслуговують, на наш погляд, наступні результати:
розроблений нечіткий метод індуктивного моделювання, який є розвитком відомого методу групового врахування аргументу в умовах невизначеності, коли вхідна інформація задана наближено, неточно та у вигляді інтервалів невизначеності або нечітких множин;
розроблена теорія оптимального розміщення при стратифікованому та подвійному відборах у випадку нелінійних функцій витрат, яка містить побудовані методи оптимізації обсягів вибірки, які в свою чергу дозволяють при мінімальних витратах отримувати оцінки досліджуваних характеристик з достатньою точністю, а при фіксованих витратах отримувати такі оцінки з найменшими похибками. Ці результати створюють ґрунтовну теоретико-методологічну базу для системного аналізу та ідентифікації, зокрема, економічних систем різного рівня ієрархій, невизначеності та ступеня організованості. Так, запропоновані для застосування авторами комплексні вибіркові дослідження дозволяють здійснювати прогнозування платіжного балансу України;
розроблені методи математичного моделювання загроз безпеці суспільства та держави як декомпозиції загальної задачі аналізу багатофакторних ризиків, які дозволяють визначити величину впливу реальних і потенційних загроз стану безпеки складних систем, дати кількісну оцінку різних видів загроз внаслідок надзвичайних ситуацій соціогенного, природного та техногенного характеру.
Теоретичні здобутки конструктивної теорії моделювання, аналізу та оптимізації систем з неповними даними покладено в основу розробки нової оригінальної інформаційної технології пошуку адекватних математичних моделей та підвищення їх практичної ефективності у виявленні та системному аналізі невідомих об'єктивних причинно-наслідкових залежностей та закономірностей взаємодії процесів у складних реальних системах. Розроблені алгоритми прикладного характеру з успіхом реалізовано при створенні програмно-технічних комплексів, автоматизованих інформаційно-аналітичних, інтелектуальних систем та систем підтримки прийняття рішень для вирішення широкого спектру складних науково-технічних, економічних, соціальних, екологічних та інших проблем.
Комплексний багатогранний підхід до вирішення фундаментальних і прикладних проблем математичного моделювання надскладних об'єктів й процесів різної природи з використанням сучасних інформаційних технологій визначає вагомий внесок колективу авторів у розвиток як вітчизняної, так і світової науки.
Безумовно, вказаний цикл робіт має важливе загальнодержавне значення, яке полягає не тільки у вирішенні важливих актуальних наукових проблем, але і в становленні потужних наукових шкіл, що сприяє активізації інтелектуального потенціалу нації та його залучення до досягнення передових позицій у світовій науці.
На основі вказаного вище вважаю, що представлений цикл робіт «Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування» колективу авторів у складі: проф. Гаращенко Ф.Г., проф. Закусило О.К., проф. Зайченко Ю.П., проф. Качинський А.Б., проф. Кириченко М.Ф.(посмертно), доц. Коба О.В., проф. Наконечний О.Г., проф. Стоян В.А., с.н.с. Хіміч О.М., проф. Черняк О.І. заслуговує на присудження йому Державної премії України в галузі науки і техніки за 2009 рік.

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

Автори циклу робіт вчені – відомі в Україні і за її межами. Представлені в циклі робіт результати опубліковано в 30 монографіях, 20 підручниках та 253 наукових статтях як у вітчизняних, так і міжнародних виданнях.
Інноваційним елементом авторів цього циклу робіт є направленість їх наукових досягнень на вивчення складних науково-технічних, економічних, екологічних та соціальних процесів, що важко досліджується методами класичної математики, оскільки моделі таких процесів містять неповноту або неточність даних про умови, в яких ці процеси протікають.
Характерним для цих робіт є те, що авторами створено свій оригінальний підхід до вивчення названих процесів та запропоновано для цього математичну теорію: теоретичні основи побудови математичних моделей динамічних систем, які функціонують в умовах невизначеності та неповноти даних, математичні основи оцінювання моделювання стану таких систем, математичні основи оптимального керування ними, математичні основи вивчення питань стійкості, керованості та адекватності моделі та розв’язків відповідних задач, теоретичні аспекти моделювання в умовах наближених даних та наближених обчислень, а також технології комп’ютерного моделювання на сучасних обчислювальних системах, в тому числі паралельної архітектури. Авторами отримано фундаментальні результати в області паралельних обчислень та створено і реалізовано інтелектуальні комп’ютерні технології прикладного призначення на сучасних кластерних комплексах СКІТ та Інпарком.
Теоретичне підґрунтя дозволило авторам проекту успішно розв’язати прикладні задачі в досить широкому спектрі галузей народного господарства. Це екологія, економіка, космос, акустичні системи, прискорювачі заряджених частинок, будівельна галузь, системи захисту та обробки даних, обчислювальні та навчальні системи і інші.
Важаю, що колектив авторів Гаращенко Ф.Г., Закусило О.К., Зайченко Ю.П., Качинський А.Б., Кириченко М.Ф., Коба О.В., Наконечний О.Г., Стоян В.А., Хіміч О.М., Черняк О.І. циклу робіт “Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування” заслуговує присудження Державної премії України в галузі науки і техніки в 2010 році.

Завідувач кафедри вищої та прикладної математики
Української нженерно-педагогічної академії МОН,
лауреат Державної премії України в галузі науки і техніки,
доктор фіз.-мат. наук, професор Литвин О.М.

Представлений цикл робіт, виконаний авторським колективом у складі відомих спеціалістів в галузі теорії керування , моделювання, аналізу та оптимізації систем з неповними даними, містить теоретичні результати, які давно стали класичними і відіграли велику роль при вирішенні багатьох прикладних проблем при створенні сучасних інформаційних технологій в різних областях науки і техніки. Одержані результати надруковані у 30 монографіях, 20 підручниках та багатьох статтях у авторитетних наукових вітчизняних та іноземних журналах. Про високе світове визнання наукових досягнень авторів даного циклу робіт свідчить значна кількість наукових міжнародних грантів, які були одержані членами олективу. а також високий індекс цитування , наведений у відомій міжнародній базі SCOPUS.
Вважаю що колектив вчених у складі професорів . Гаращенка Ф.Г.,. Закусила О.К.,. Зайченка Ю.П., Качинського А.Б., Кириченка М.Ф.,., Наконечного О.Г.,. Стояна В.А.,. Черняка О.І., докторів наук Коби О.В та Хіміча О.М. одержав видатні наукові результати і за представлений ним цикл наукових праць „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування”.
безумовно,заслуговує на присудження Державної премії України в галузі науки і техніки за 2010 рік.

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

Тематика циклу робіт «Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування» колективу авторів у складі проф. Гаращенко Ф.Г., проф. Закусило О.К., проф. Зайченко Ю.П., проф. Качинський А.Б., проф. Кириченко М.Ф. (посмертно), доц. Коба О.В., проф. Наконечний О.Г., проф. Стоян В.А., с.н.с. Хіміч О.М., проф. Черняк О.І. надзвичайно актуальна як у теоретичному так і в практичному відношенні. Фактично в природі не існує об’єктів, які б можна було описати точним рівнянням з відомими значеннями всіх параметрів, тому завжди дослідник має справу з деяким наближенням реального закону поведінки і числових характеристик. Відхилення від якоїсь осередненої функції можуть бути як детермінованими, так і випадковими, але невідомими в межах певної множини.
Класи рівнянь, що описують поведінку того чи іншого об’єкта, дуже широкі і залежать від його фізичної природи; так само майже неосяжна різноманітність можливих збурень та обмежень на параметри. Тож цілком природно, що дослідження колективу є багатоплановим, охоплюючи як багато математичних моделей поведінки систем, так само й прикладні аспекти.
Розв’язок загальної проблеми був пов’язаний з аналізом оцінки локальної та глобальної поведінки траєкторій динамічних систем, їхньої стійкості, оптимізації керування в широкому спектрі умов. Окрім загальної теорії оптимізації, створено специфікацію для багатьох класів прикладних задач.
Грунтуючись на класичних методах теорії оптимального керування та стійкості, автори здобули значне розширення цієї теорії, враховуючи різні особливості, притаманні реальним процесам, і насамперед специфіку недифенційованої оптимізації.
Доведення методів аналізу та оптимізації в умовах невизначеності до практичних розрахунків є дуже складною обчислювальною проблемою. Автори ефективно розв’язали цю проблему, залучивши сучасні методи обчислювальної математики та виконавши відповідні розробки з математичного забезпечення для сучасних потужних комп’ютерів.
Визначним здобутком членів колективу М.Ф.Кириченка та О.Г.Наконечного було узагальнення методу Калмана-Б’юсі на випадок моментних обмежень збурень замість «білого шуму».
Значну увагу в дослідженнях колективу приділено стохастичним системам. У двох монографіях О.К.Закусила створена теорія розподілу функціоналів від процесів збереження та марковськими процесами від частково детермінованими частинами траєкторій. До числа досліджених функціоналів належить час досягнення траєкторією критичного рівня.
У серіях робіт О.В.Коби розроблені методи дослідження ергодичності систем масового обслуговування з поверненням заявок (з повторними викликами) з неекспоненціальним розподілом циклу орбіти, причому досліджено не тільки класичні, але й нові схеми таких систем.
Справляє велике враження широке коло тих прикладних проблем, до яких автори здобули застосування своєї теорії. Зазначимо лише деякі з них:
1. Стабілізація руху супутників;
2. Керування космічними апаратами;
3. Синтез маніпуляційних систем;
4. Керування пучками заряджених часточок;
5. Проектування інтелектуальних систем;
6. Математичне моделювання фізичних процесів при зварюванні;
7. Синтез структури глобальних комп’ютерних мереж;
8. Аналіз глобальних біосферних процесів;
9. Аеродромне обслуговування потоку літаків;
10. Соціально-економічне прогнозування;
11. Прогнозування макроекономічних показників;
12. Демографія;
13. Моделювання економічної безпеки;
14. Оптимальне управління міжрегіональною міграцією;
15. Державна політика інформаційної безпеки.
Великий обсяг робіт колективу авторів, їхня актуальність для науки та економіки України, високий науковий рівень та впровадження у широке коло напрямків науки і техніки, а також у навчальний процес, свідчить про те, що цикл робіт відповідає рівню Державної премії України в галузі науки і техніки.
На моє переконання, колектив циклу робіт «Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування», безумовно, заслуговує на присудження йому Державної премії за 2010 рік.

Член-кореспондент НАН України,
д.т.н., п.н.с. ІК ім.В.М.Глушкова НАН України М.Ю. Кузнєцов

В І Д Г У К

на цикл наукових праць "Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування", висунутого Київським національним університетом імені Тараса Шевченка на здобуття Державної премії України в галузі науки і техніки в 2010 р.

Авторами циклу робіт досліджувалися проблеми побудови конструктивних методів моделювання, аналізу та оптимізації систем з неповними даними, як для детермінованих систем, що описуються звичайними диференційними рівняннями, або рівняннями з частинними похідними, так і для систем, де неповні дані є стохастичними. Теоретичні результати авторів циклу робіт у цьому напрямку стали основою для розробки ефективних алгоритмів розв’язування задач оцінювання, прогнозування, оптимізації, дослідження стійкості та аналізу систем, що функціонують в умовах невизначеності та неповноти даних. На основі теоретичних результатів робіт даного циклу впроваджено інформаційно-математичні технології в різних предметних областях, зокрема: авіаційно-космічного та гідроакустичного напрямків, оптимального проектування сучасних прискорюючо-фокусуючих систем та маніпуляційних роботів, соціально-економічних та інтелектуальних систем.
Заслугою авторів є те, що вони не обмежуються класично-академічними та суто теоретичними дослідженнями, а ідуть від практики, від потреб народного господарства, досліджуючи питання та проблеми, які не мають точного математичного розв’язання. Так авторами започатковані, обґрунтовані та доведені до практичних реалізацій алгоритми та методи оцінки та моделювання стану динамічних систем, зокрема і з розподіленими параметрами, які функціонують в умовах зовнішньо-динамічної невизначеності та досліджуються в умовах зашумлених спостережень за ними. Зауважимо при цьому, що авторами даного циклу робіт запропоновані також розв’язки задач керування такими системами – набагато складніших та актуальніших, аніж задачі побудови та оцінки стану розглядуваних систем. Це дуже складні і надзвичайно актуальні задачі. Постановка цих задач до розв’язання, як і саме розв’язання, – є великою заслугою авторів.
Запропонована методика була застосована для розв’язання широкого кола задач прикладного фінансового аналізу та оптимізації діяльності інвестора на фондовому ринку.
Роботи авторів циклу праць суттєво розвивають і поповнюють вказані напрямки досліджень. Вони широко цитуються, використовуються у світовій літературі і застосовуються на практиці.
Колектив авторів циклу робіт „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування” заслуговує присудження Державної премії України в галузі науки і техніки в 2010 р.

Завідувач відділу
оборонно-стратегічних досліджень
Інституту проблем національної безпеки, В.М.Бегма
доктор економічних наук

В І Д Г У К
на цикл наукових праць "Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування", висунутого Київським національним університетом імені Тараса Шевченка на здобуття Державної премії України в галузі науки і техніки в 2010 р.

На здобуття Державної премії в галузі науки і техніки висунуто цикл наукових робіт відомих учених як в Україні, так і за її межами, а саме: проф. Гаращенка Ф.Г., проф. Закусила О.К., проф. Зайченка Ю.П., проф. Качинського А.Б., проф. Кириченка М.Ф., доц. Коби О.В., проф. Наконечного О.Г., проф. Стояна В.А., с.н.с. Хіміча О.М., проф. Черняка О.І. Цикл наукових робіт об’єднується під загальною назвою “Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування”. Основна спрямованість такого циклу робіт - дослідження складних науково-технічних, екологічних, соціальних і економічних процесів, для вивчення яких не завжди можна використовувати апарат класичної математики. Це пояснюється тим, що для досліджуваного класу задач суттєвою є різного роду невизначеність. Авторами був запропонований свій оригінальний підхід до вивчення вказаних проблем. На основі такого підходу була запропонована і розроблена відповідна математична й алгоритмічна база.
Запропоновано методологічні засади розробки Стратегії національної безпеки України, що базуються на визначенні ієрархії пріоритетів національних інтересів, цінностей і цілей держави, дано стратегічну оцінку внутрішніх загроз за допомогою багатовимірного статистичного аналізу факторів національної безпеки, класифікацію інтересів за категоріями та рівнями їх вагомості згідно з відповідними критеріями. Особлива увага приділяється ризику як кількісній мірі безпеки, прогнозованої векторної величини збитку, що може виникнути внаслідок ухвалення рішень в умовах невизначеності та реалізації загрози. Він зумовлений уразливістю населення, військових і господарських об’єктів, навколишнього середовища до руйнівного впливу різних джерел і чинників загроз.
Досліджено стратегічні пріоритети національних інтересів Української держави, запропоновано бачення шляхів розробки Стратегії національної безпеки України з урахуванням системи її національних цінностей.
Запропоновано формування та визначена пріоритетність національних інтересів у світлі Стратегії національної безпеки України, визначено множину та важливість національних інтересів України. Для вимірювання важливості національних інтересів запропоновано взяти за основу систему критеріїв матриці пріоритетів.
Безумовно, вказаний цикл робіт має важливе загальнодержавне значення. Такі роботи на сьогодні стали класичними і використовуються також в якості навчальної та наукової бази для підготовки як фахівців вищої кваліфікації, так і молодих спеціалістів відповідного напряму. Беручи до уваги відзначене, вважаю, що колектив авторів циклу робіт „Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування” заслуговує присудження Державної премії України в галузі науки і техніки в 2010 році.

Кандидат філософських наук
М.Л.Рубанець

В І Д Г У К
на цикл наукових праць "Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування", висунутого Київським національним університетом імені Тараса Шевченка на здобуття Державної премії України в галузі науки і техніки в 2010 р.

Представлений до розгляду цикл робіт підводить підсумок багаторічний плідній роботі колективу авторів в області ідентифікації систем, моделювання та оптимізації в умовах неповноти інформації та невизначеності.
Розглянуто основні положення екологічної безпеки, виявлено основні загрози їй, отримано кількісні оцінки. Проведено класифікацію регіонів України щодо показників її екологічної безпеки. Отримано кількісні оцінки фонового ризику смертності населення України. Проаналізовано основні напрями державної політики нейтралізації загроз екологічній безпеці. Проведено аналіз надзвичайних ситуацій протягом 1997-1999 рр. відповідно до визначеного індексу повного паралелізму нульового порядку ірр0 процесів, побудовано матрицю, яка відображає найбільш небезпечну динаміку природних та надзвичайних ситуацій, розроблено математичні моделі для прогнозування окремих показників безпеки людини і довкілля, проведено аналіз коефіцієнтів смертності в Україні.
Розглядається загальна теорія безпеки, як системне явище, що включає три її найважливіші складові: безпеку, загрози та ризик. Приділяється значна увага методології розробки математичних моделей складних систем безпеки різної природи. Проаналізовано сучасні концепції формалізації систем безпеки, запропоновано системні властивості динаміки безпеки, наводиться практика математичного моделювання складних систем безпеки на глобальному, міжнародному регіональному и державному рівнях. За допомогою математичних методів проведена ідентифікація, прогнозування і регламентація загроз, наведена практика математичного моделювання оцінок ризику.
З позицій системного аналізу розглянуто методи математичного аналізу безпеки структур складних систем, методи математичного моделювання загроз і ризику, а також сучасні загальні підходи щодо формалізації складних систем безпеки. Проведено системний аналіз загроз безпеки людини, суспільства, держави та довкілля, що вміщує в собі ідентифікацію та прогнозування загроз та оцінку критеріїв безпеки зі застосуванням методів математичного моделювання. Запропоновано математичні моделі оцінки ризику.
Вважаю, що колектив авторів циклу робіт «Конструктивна теорія моделювання, аналізу та оптимізації систем з неповними даними та її застосування» заслуговує присудження Державної премії України в галузі науки і техніки в 2010 році.

Радник директора
Інституту проблем національної безпеки,
доктор політичних наук, с. н. с.
О.В. Литвиненко

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

Завідувач відділу Інституту кібернетики
ім. В.М. Глушкова НАН України
член-кореспондент НАН України,
професор Гупал А.М.

Роботи циклу «Конструктивна теорія моделювання, аналізу та отимізації систем з неповними даними та її застосування» добре висвітлені в вітчизняній та зарубіжній науковій літературі. Представлені наукові результати опубліковано в 30 монографіях, 20 підручниках і навчальних посібниках та 253 наукових статтях, з них 185 опубліковано у міжнародних журналах, що містяться у базі даних SCOPUS.
Спільним і новим елементом авторів циклу робіт є їх напрaвленість на дослідження складних науково-технічних, економічних, соціальних процесів та явищ в умовах невизначеності та неповноти даних. Претендентами започатковано оригінальний підхід до вивчення названих процесів та створено: теорію керування динамічними системами; теорію синтезу систем; якісний аналіз та оцінка програмних траєкторій в системах керування; структурно-параметрична та недиференційована траєкторна оптимізація; адаптивні методи ідентифікації параметрів та керування динамічними системами; математичні методи оптимального керування пучками траєкторій; оптимальне проектування прискорюючих та фокусуючих систем; моделювання та оптимізація систем керування орієнтацією мікросупутників; адаптивні методи і моделі для аналізу та апроксимації експериментальних даних; методи цифрової обробки інформації та розпізнавання образів; методи структурно-параметричної та недиференційованої оптимізації; чисельні методи і комп’ютерні алгоритми для математичного моделювання, аналізу та оптимізації явищ і процесів різної природи, тощо.
В області інвестиційного менеджменту розглянуті проблеми побудови та дослідження математичних моделей параметрично заданих динамічних систем з неповною інформацією про стан системи. Досліджено нові постановки статичних та динамічних фінансових задач, отримано необхідні умови оптимальності та розроблено алгоритми для їх розв’язування. Побудовано та науково обґрунтовано динамічну математичну модель формування вартості складових портфеля цінних паперів. Вперше запропоновано застосовувати пуассонівське згладжування при врахуванні ретроспективних даних для визначення оптимального портфеля цінних паперів. Розглянуто практичні задачі моделювання оптимального інвестиційного портфеля, ефективної диверсифікації і моніторингу. Запропонована методика була застосована для розв’язання широкого кола задач прикладного фінансового аналізу та оптимізації діяльності інвестора на фондовому ринку.
Авторський колектив у складі професорів Гаращенка Ф.Г. Закусила О.К., Зайченка Ю.П., Качинського А.Б., Кириченка М.Ф., Наконечного О.Г., Стояна В.А., Черняка О.І.та докторів наук Коби О.В., Хіміча О.М. добре відомий в Україні та світі. Його наукові здобутки вагомі та визнані в теоретичних та практично орієнтованих наукових школах і державних установах. Вважаю, що даний авторський колектив заслуговує на відзначення його наукових здобутків Державною премією України в галузі науки і техніки за 2010 рік.

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

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

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