Контакти Карта сайту

Відділ оптимізації керованих процесів (А.О.Чикрій)

 

Завідувач відділу – Чикрiй Аркадій Олексійович, член-кореспондент НАН України, доктор фізико-математичних наук, професор.

 

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

 

У 2015 році тематику відділу було розширено (в рамках реформування структури інституту) за рахунок приєднання групи спеціалістів з моделювання інформаційно-функціональних систем.

У відділі 21 співробітник, серед них - 2 доктори та 11 кандидатів наук.

 

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

 

  • опуклий та прикладний нелінійний аналіз, теорія багатозначних відображень, інтеграл Ауманна, вимірні структури;
  • математична теорія оптимального керування, диференціальні включення, повна конфліктна керованість;
  • ігрові задачі для дискретних систем, прямі методи Понтрягіна, - оператори Пшеничного;
  • теорія пошуку рухомих об’єктів, стохастичні динамічні ігри;
  • диференціальні ігри переслідування та втечі, нелінійні задачі про уникнення сутичок рухомих об’єктів;
  • еволюційні ігрові задачі;
  • ігрові задачі для систем інтегральних, інтегро-диференціальних та диференціально-різницевих рівнянь;
  • динамічні ігри з групами учасників. Переслідування групою, почергове переслідування (динамічний комівояжер), ігрові задачі з фазовими обмеженнями;
  • системи з імпульсним керуванням, інтегральними та змішаними обмеженнями на керування;
  • ігрові задачі для систем з дробовими похідними Рімана–Ліувілля, Джрбашяна–Нерсесяна–Капуто, Міллера–Росса, Хільфера, Грюнвальда–Летнікова;
  • дослідження методу розв’язуючих функцій, верхні та нижні розв’язуючі функції, матричні розв’язуючі функції, вибір екстремальних селекторів;
  • позиційні методи в ігрових задачах, узагальнення правила екстремального прицілювання Красовського, принцип максимуму Понтрягіна;
  • динамічні процеси змінної структури, гібридні системи;
  • ігрові задачі для систем з розподіленими параметрами;
  • методи теорії прийняття рішень, штучного інтелекту та системного аналізу;
  • системи керування космічними апаратами та системи пошуку морських об’єктів;
  • дослідження функціональних можливостей людини в екстремальних умовах;
  • моделювання спортивних єдиноборств, конкуренція фірм;
  • авіаційні системи керування, м’яка посадка.

 

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

 

  • розроблено загальний метод дослідження диференціальних ігор - метод розв’язуючих функцій (МРФ) , який базується на використанні обернених функціоналів Мінковського спеціальних багатозначних відображень, що будуються за параметрами конфліктно керованого процесу. МРФ дозволяє з єдиних позицій вивчити широке коло проблем керування в умовах конфлікту і невизначеності. Зокрема, це ігри з багатьма учасниками і при наявності фазових обмежень, задачі почергового переслідування (динамічні задачі комівояжера) в умовах конфлікту, керування об’єктами різної інерційності і з різними типами обмежень на динаміку. Метод теоретично обґрунтовує класичне правило паралельного переслідування, добре відоме інженерам в аерокосмічній галузі. МРФ дозволяє також ефективно досліджувати ігрові задачі для процесів, еволюція яких визначається співвідношеннями більш складної природи ніж звичайні диференціальні рівняння. Зокрема, вивчені диференціально – різницеві, інтегро – диференціальні ігри, ігрові задачі для інтегральних рівнянь Вольтерра і Фредгольма, ігрові задачі для систем з дробовими похідними. Метод розповсюджено на випадок матричних розв’язуючих функцій, розв’язуючих функціоналів для рівнянь з частинними похідними, введені верхні та нижні розв’язуючі функції різних типів, за допомогою яких отримані достатні умови завершення гри в класі квазі та стробоскопічних стратегій;
  • розвинутий позиційний метод переслідування, зв’язаний з часом першого поглинання і такий, що дає обґрунтування переслідування по погонній кривій. Для задач групового переслідування узагальнено правило екстремального прицілювання М.М.Красовського, розглянуті випадки з обміном і без обміну інформацією в групі, що приводить до різних типів регулярності. Розглянуті випадки інтегральних та змішаних обмежень на керування, випадок запізнення інформації про стан, системи змінної структури, імпульсні керування, передбачено врахування фазових обмежень;
  • закладено основи нелінійної теорії уникнення зіткнень. Встановлений аналог формули Тейлора для представлення розв’язку нелінійної динамічної системи, що відіграє ключову роль в розробці методів. Запропоновані методи відхилення за напрямком, змінних напрямків, метод інваріантних підпросторів та рекурсивний метод. Вивчені умови першого і вищих порядків в теорії втечі, розв’язана μ – проблема Л.С.Понтрягіна, одержані достатні умови втечі від групи переслідувачів, а також умови втечі при взаємодії угрупувань рухомих об’єктів. Отримано достатні умови уникнення сутичок в мінімаксній та максимінній формі в класі ε- стратегій та ε- контрстратегій, дано порівняння з методом маневра обходу Л.С.Понтрягіна;
  • для дослідження ігрових задач з неповною інформацією, так званих задач пошуку, запропонована кліткова марковська модель. Критерій якості – ймовірність виявлення або середній час виявлення об’єкту. Процес пошуку описується білінійною системою, причому стохастична перехідна матриця являє собою блок керування. Розв’язок задачі зводиться до знаходження мінімаксу або кратного мінімаксу деякої поліноміальної функції багатьох змінних. Для оптимізації використовується дискретний принцип максимуму Л.С. Понтрягіна та метод динамічного програмування Беллмана. Розглянуто пошук на рубежі, в заданому районі і за викликом, груповий пошук з обміном та без обміну інформацією, прихований пошук, пошук однорідними та різнорідними силами.

 

ПРАКТИЧНІ ЗАСТОСУВАННЯ, ПРИКЛАДНІ РОЗРОБКИ

 

Створено ряд проблемно-орієнтованих комп’ютерних систем, моделюючих комплексів та тренажерів, пов’язаних з керуванням рухомими об’єктами різної природи в умовах конфлікту та невизначеності . Зокрема:

 

  • пошук рухомих об’єктів. Для розв’язування ігрових задач з неповною інформацією (відомий лише ймовірнісний розподіл початкових положень) на основі кліткової моделі пошуку розроблена комп’ютерна система пошуку та стеження за рухомими об’єктами для потреб ВМФ. Пошук підводних човнів здійснюється за допомогою різнорідних сил (літаки, гвинтокрили, надводні кораблі). Зауважимо, що ігрова кліткова модель пошуку пов’язана з дискретизацією процесу як за часом, так і за станом. Рух гравців на скінченій множині їх можливих станів визначається законом перетворення функції ймовірності розподілу положення гравців, причому перехідна стохастична матриця залежить від їх керувань. Такий процес є білінійним і марковським. Для його дослідження використано техніку скінчених ланцюгів Маркова, а для оптимізації ймовірності виявлення цілі або середнього часу виявлення – дискретний принцип максимуму та метод динамічного програмування. Методика може бути застосована до пошуку стаціонарних цілей, що зазнали аварії та перебувають у важко доступних місцях, зокрема, до пошуку косяків риб, затонулих суден;
  • космічні дослідження. Метод розв’язуючих функцій та позиційні методи особливо ефективні при аналізі та моделюванні групової взаємодії рухомих об’єктів. Зокрема, у співробітництві з космічними організаціями на їх основі було створено моделюючий комплекс в програмі «зоряних війн» для оптимізації взаємодії угрупувань керованих об’єктів космічного базування, що рухаються по кругових та еліптичних орбітах. Використано принцип декомпозиції, що дозволяє звести процес оптимізації взаємодії угрупувань до кількох більш простих задач групового та почергового зближення. Перша з них базується на ситуації оточення (за Пшеничним), і ефективність її розв’язання в значній мірі залежить від розташування гравців та ресурсів керування. Почергове зближення є поєднанням задачі комівояжерного типу та задачі керування, які необхідно розглядати в комплексі. Програмна реалізація на модельних прикладах дозволяє скоротити перебір варіантів, а керування при обході цілей здійснюється на основі паралельного зближення, яке обґрунтоване за допомогою методу розв’язуючих функцій та добре відоме проектувальникам ракетної та космічної техніки. Певні ідеї взаємодії угрупувань використані при моделюванні повітряного бою літаків за участю груп з обох сторін;
  • авіація. Надзвичайно важливою задачею в авіаційних справах є безпечний зліт та посадка літаків, особливо в екстремальних умовах (боковий вітер, дощ, обледеніння полоси тощо). Розроблені алгоритми, а на їх основі тренажери для забезпечення підготовки пілотів з метою мінімізації ризиків. Робота виконана у співпраці з інститутом авіації Міністерства оборони України;
  • розв’язана ігрова задача про м’яку посадку (співпадання геометричних координат та швидкостей). Вона програмно реалізована для систем 2-го порядку з тертям та моделює процес посадки літака на авіаносець. При цьому поверхня океану грає роль фазових обмежень (літак не може пірнати), що значно ускладнює задачу;
  • запропоновано кілька способів м’якої посадки на основі комбінації класичних методів динамічних ігор та математичних методів оптимального керування. Розроблено пакет програм, що реалізує м’яку посадку. Робота виконана у співпраці з NIST (National Institute of Standart and Technology) з міста Гейтерсберг (США). Опублікована спільна книга;
  • уникнення сутичок. Оригінальна задача Понтрягіна –Міщенка про уникнення сутичок рухомих об’єктів з будь-яких початкових положень на напівнескінченному інтервалі часу знайшла своє застосування при плануванні диспетчерськими службами безпечного руху в аеропортах і морських портах. Розроблено методи уникнення сутичок нелінійних керованих систем, досліджена протидія груп керованих об’єктів. З врахуванням динаміки процесів в аеропортах складається розклад руху літаків, а диспетчер має бути готовим втрутитися в ситуацію, що загрожує стати аварійною. Аналогічні умови складаються і в місцях великого скупчення плавзасобів. Знання можливостей рухомих керованих суден і акваторії дозволяє на основі попередніх розрахунків уникнути зіткнень;
  • керування пучками. Одним із застосувань математичної теорії керування системами з розподіленими параметрами є керування пучками заряджених частинок на основі рівнянь Власова та Фоккера–Планка–Колмогорова, яке було здійснено в рамках проекту НТЦУ разом з харківськими та київськими фізиками в кооперації з Брукхейвенською національною лабораторією (США). Відповідний програмний продукт представлений у звітних матеріалах, а математична частина опублікована в спільних закордонних статтях;
  • перехоплення цілей. Традиційними інженерними методами перехоплення рухомих цілей в конфліктній ситуації є методи погонної кривої, паралельного переслідування та зближення за променем. Вони теоретично обґрунтовані на основі ідеології розв’язуючих функцій та екстремального прицілювання. Охоплено ситуації групового зближення та фазових обмежень, що дало можливість розв’язати ряд модельних прикладів з класичної книги Р. Айзекса. Оскільки в прикладах гарантовані керування знаходяться в явному вигляді, то програмна реалізація дозволяє візуалізувати процес. Створено комплекс комп’ютерних програм для перехоплення рухомих цілей в різних ситуаціях конфліктної взаємодії;
  • медицина, фізіологія, спорт. Одним із цивільних застосувань методів теорії прийняття рішень в динамічних системах є аналіз та математичне моделювання процесів функціонування систем організму людини в екстремальних умовах життєдіяльності (зокрема, в умовах високогір’я та в підводному середовищі). Створено програмний інструментарій для моделювання процесів керування та корекції динаміки в інтересах оптимізації відносно заданих критеріїв ефективності та стабільності функціонування. Розроблені моделі та програмний комплекс для аналізу функціонального стану, вироблення тактики та стратегії гравців при спортивних єдиноборствах. В зазначених напрямках є співпраця з вченими Інституту фізіології імені О.О. Богомольця НАН України, Національного університету фізичного виховання і спорту, Інституту прикладних проблем фізики та біофізики НАН України.

 

Міжнародні наукові проекти


Конференції, конгреси, симпозіуми


Семінари


Вибрані статті співробітників відділу

 

Склад наукових працівників відділу оптимізації керованих процесів № 165

 

ПІБ

Посада, наук. ступінь, звання

Контакти

 Чикрій Аркадій Олексійович

зав. відділу, д.ф.-м.н., професор,

член-кор. НАНУ

(044) 526-21-58

(044) 526-51-58

  chik@insyg.kiev.ua
 Петрик Олена Семенівна н.с., зам.зав.від.  (044) 526 51 58

 dept165@insyg.kiev.ua

 Аралова Наталія Ігорівна с.н.с., к.т.н.  (044) 526 51 58

 dept165@insyg.kiev.ua

 Бєлоусов Олександр Андрійович

 с.н.с., к.ф.-м.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Вишенський Віктор Іванович

 н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Гальчина Наталія Ігорівна м.н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Джос Ірина Миколаївна

 м.н.с.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Дзюбенко Карен Георгійович

с.н.с., к.ф.-м.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Корнюш Ірина Інокентіївна м.н.с.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Костенко Віктор Миколайович

 технік 1 категорії

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Кривонос Ірина Юріївна с.н.с., к.ф.-м.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua
 Кулешин Володимир Васильович с.н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua
 Ляшко Наталія Іванівна н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Матичин Іван Іванович

п.н.с., д.ф.-м.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Машкін Валерій Йосипович

с.н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Надєїна Ірина Леонідівна інж.-прогр. 1 кат.

 (044) 526 51 58

 dept165@insyg.kiev.ua
 Петрик Людмила Василівна інж.-прогр. 1 кат.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Раппопорт Йосип Симович

 с.н.с., к.ф.-м.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Семчик Тетяна Анатоліївна

 н.с., к.т.н.

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Сидоренко Максим Григорович

 м.н.с. 

 (044) 526 51 58

 dept165@insyg.kiev.ua

 Тернова Катерина Володимирівна

 м.н.с. 

 (044) 526 51 58

 dept165@insyg.kiev.ua

Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні