НАЦІОНАЛЬНА АКАДЕМІЯ НАУК УКРАЇНИ

імені В.М.Глушкова НАН України

Директор Інституту з 1995 року
академік НАН України,
Заслужений діяч науки і техніки України
І.В.Сергієнко

детальніше

Засновник і перший директор
Інституту кібернетики
академік В.М. Глушков
(1923-1982рр.)

детальніше

Директор Інституту
з 1982 по 1994 рр.
академік В.С. Михалевич
(1930 – 1994 рр.)

Новини
наукови підрозділи вiддiлення математичної кібернетики та системного аналізу
№ відділуНазви вiддiлiвЗав. відділом
100Відділ теорії цифрових автоматівЛетичевський О.А.
110Відділ економічної кібернетикиДонець Г.П.
115Відділ інтелектуальних інформаційних технологiйЛаптін Ю. П.
120Відділ методів негладкої оптимізаціїСтецюк П.І.
125Відділ математичних методів теорії надiйностi складних системКузнєцов М.Ю.
130Відділ математичних методів дослідження операцiйКнопов П.С.
135Відділ методів дискретної оптимізації математичного моделювання та аналiзу складних систем Тукалевська Н.І.
140Відділ оптимізації чисельних методівЗадірака В.К.
141Лабораторія методів математичного моделювання процесів екології та енергетики Гладкий А.В.
145Відділ автоматизації програмуванняТульчинський В.Г.
146Лабораторія високопродуктивних та розподілених обчисленьГоловинський А.Л.
150Відділ чисельних методів та комп’ютерного моделюванняХіміч О.М.
155Відділ методів та технологічних засобів побудови iнтелектуальних програмних систем Єршов С.В.
160Відділ методів системного моделюванняПепеляєв В.А.
165Відділ оптимізації керованих процесівЧикрій А.О.
180Відділ методів комбінаторної оптимізації та інтелектуальних інформаційних технологійГуляницький Л.Ф.
Завідувач відділу — Тукалевська Нелля Іванівна, кандидат фізико-математичних наук, старший науковий співробітник.

Відділ заснований у 1965 р. (Постанова Президії АН УРСР №199 від 22.07.1965р.) академіком НАН України Сергiєнком Іваном Васильовичем. З 1999 р. по 17.02.2014 р. відділ очолював Дейнека Василь Степанович, академік НАН України, професор, доктор фізико-математичних наук.  

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

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

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

Поточні дослідження, проблеми, задачі, що вирішуються.

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

Проводяться дослідження з питань коректності, стійкості моделей векторної (багатокритеріальної) дискретної оптимізації, які є актуальними в зв’язку з існуючою в різноманітних сферах людської діяльності потребою у розв’язанні прикладних проблем, пов’язаних із прийняттям багатоцільових рішень за умов ризику та невизначеності вхідної інформації. Ці дослідження базуються на використанні властивостей точково — множинних відображень, які кожному набору вхідних даних задачі із простору всіх можливих наборів даних ставлять у відповідність множину оптимальних розв’язків. Поняття стійкості задачі пов’язується з неперервністю (напівнеперервністю) за Хаусдорфом або Бержем указаних відображень.

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

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

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

Розробка комп’ютерних технологій для дослідження соціально-економічних процесів на пізніх стадіях ринкових реформ.

Дослідження, пов’язані зі зваженою псевдоінверсією: теорія, методи обчислення зважених псевдообернених матриць, зважених нормальних розв’язків та розв’язування задач найменших квадратів з обмеженнями.

Основні наукові та практичні результати відділу, експонати (у т.ч. ІТ), що можуть бути продемонстровані на виставках.

Співробітники відділу — вчені наукової школи під керівництвом академіка HAH України І.В. Сергієнка — внесли вагомий вклад у розвиток дискретної оптимізації та системного аналізу багатокомпонентних розподілених систем. Оскільки більшість прикладних задач дискретного програмування, що виникають при прийнятті оптимальних економічних, проектних і технологічних рішень, є NP-складними, властиві їм труднощі вимагають розробки і обґрунтування ефективних підходів до їх розв’язання.

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

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

Створено теоретичні основи для прискорення процесу розв’язання складних задач дискретної оптимізації. Зокрема, розроблено РЕСТАРТ-технологію, яка базується на використанні нових понять РЕСТАРТ-розподілу і РЕСТАРТ-критерію зупину алгоритму та дозволяє істотно зменшити час розв’язання задач.

Ще наукові та практичні результати відділунаукові та практичні результати відділу

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

На основі виконаних теоретичних досліджень та розпаралелювання операцій вдалося розв’язати важливі практичні задачі побудови повадозахищених кодів максимального об’єму. Зазначимо, що світовий рівень досягнень у цій галузі відображається, наприклад, на сайті  (науково-дослідний центр інформатики AT&T Labs, Нью-Джерсі, США).

Вперше отримано повадозахищені коди максимального об’єму для графів Itc512 (об’єм 110), 1ІСІ024 (об’єм 196), Itc2048 (об’єм 352), let 1024 (об’єм 171), Iet2048 (об’єм 316), Izc4096 (об’єм 379), Izc8192 (об’єм 701), для графів Izc з кількістю вершин 2W, n = 14-25. Вперше точно розв’язано задачу знаходження повадозахищеного коду максимального об’єму для графів Idc512, Itc512, Iet512, Ietl024, Izcl024. Перераховані графи, взяті із вказаного сайту, є вихідними даними для актуальних нерозв’язаних задач. Отримані повадозахищені коди максимального об’єму передано в науково-дослідний центр інформатики AT&T Labs (Нью-Джерсі, США).

Встановлено якісні характеристики різних типів стійкості до можливих збурень вхідних даних як у критеріях, так і в обмеженнях векторних задач дискретної оптимізації, визначено необхідні і достатні умови стійкості.

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

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

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

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

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

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

Проводяться дослідження, пов’язані зі зваженою псевдоінверсією: теорія, методи обчислення зважених псевдообернених матриць, зважених нормальних розв’язків та розв’язування задач найменших квадратів з обмеженнями.

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

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

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

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

Програмний пакет Nadra-3D використовується в роботах з оцінки запасів підземних вод регіонів України, що виконуються спільно з фахівцями Інституту геологічних наук НАН України.

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

Отримані результати в галузі дискретної оптимізації знайшли міжнародне визнання. Учені відділу № 135 успішно співпрацюють і надалі продовжать співпрацю з науковцями провідних університетів Флориди, Теннессі, Колорадо, Техаським A&M університетом (США). Також буде продовжено співробітництво з вченими Калабрійського університету (м. Козенца, Італія). Доктор фіз.-мат. наук Шило В.П. підтримує тісні наукові зв’язки в галузі дискретної оптимізації з ученими США Ф. Гловером, П. Пардалосом, Італії Я.Д. Сєргєєвим, Росії Ю.Г. Євтушенком та ін. Окремі результати наукових досліджень викладено в монографіях:

  1. Emerging Research on Swarm Intelligence and Algorithm Optimization. IGI Global, 2015.
  2. Optimization Methods and Applications. Springer, 2017.

Друга монографія присвячена 80-річчю академіка НАН України І.В. Сергієнка.  В.П. Шило був одним із редакторів цих монографій а також  «Examining Robustness and Vulnerability of Networked Systems». IOS Press BV, 2014.

Учені відділу будуть продовжувати виконувати сумісні міжнародні наукові проекти з науковцями Білоруського державного університету в рамках Державного фонду фундаментальних досліджень України і Білоруського республіканського фонду фундаментальних досліджень.

Будуть продовжувати співпрацювати з провідними ученими зарубіжних країн: університет оборони в Брно (Чехія), Міжнародний інститут прикладного системного аналізу (Австрія), університет Турку (Фінляндія), Академія транспорту, інформатики і комунікацій (Молдова); продовжувати бути співорганізаторами міжнародних наукових конференцій «Математичне моделювання, оптимізація та інформаційні технології», «Problems of Decision Making Under Uncertainties».

Generic selectors
Exact matches only
Search in title
Search in content
Search in posts
Search in pages
Filter by Categories
Інформація про семінари та конференції, що відбулися
Без категорії
відділ №110
відділ №120
відділ №150
відділ №180
відділ №205
Виставки
дисертаціЇ Д 26.194.02
дисертаціЇ Д 26.194.03
Конференції, семінари
лабораторія № 141
Накази та постанови Д 26.194.02
Новини
Об’яви
План державних закупівель
ПЛАН ЗАХИСТІВ Д 26.194.02
Презентації найважливіших розробок відділу
Семінари відділу
Спiвробiтники
Форма зв’язку
Об’яви
Шановні колеги! Запрошуємо Вас на семінар «МЕТОДИ, МОДЕЛІ ТА ЗАСОБИ ПРОТИДІЇ ЗЛОВМИСНІЙ ДІЯЛЬНОСТІ КОРИСТУВАЧІВ У ВІДКРИТИХ ІНФОРМАЦІЙНИХ СЕРЕДОВИЩАХ НА ОСНОВІ …
Подробнее

ШАНОВНІ КОЛЕГИ! Запрошуємо вас на семінар «МЕТОДИ ОБЧИСЛЮВАЛЬНОЇ МАТЕМАТИКИ ТА МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ПРОЦЕСІВ В НЕОДНОРІДНИХ СЕРЕДОВИЩАХ». Доповідач: кандидат технічних наук, …
Подробнее

Шановні колеги! Запрошуємо вас на Cпільне засідання семінарів Інституту кібернетики імені В.М.Глушкова НАН України «Прикладний нелінійний аналіз, математична теорія керування та …
Подробнее

Загрузка...

Пошта