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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст