Анотація до роботи:

Прохоров О.В. Методи та моделі логістичного аналізу процесів прийняття рішень і управління автоматизованими багаторівневими розподіленими системами. – Рукопис.

Дисертація на здобуття вченого ступеня кандидата технічних наук за спеціальністю 05.13.06 – “Автоматизовані системи управління і прогресивні інформаційні технології”. – Національний аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, Харків, 2003.

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

Новими науковими результатами є: 1) метод подання знань, що оснований на багатозначному численні присутності й забезпечує найбільш адекватний опис ієрархічних об'єктів і процесів БРС; 2) моделі знань для системного подання БРС на всіх рівнях, типових процесів і технологічних операцій, задачі визначення важливості об'єктів і альтернатив; 3) метод і алгоритми обробки семантичних і прагматичних знань при моделюванні БРС, що дозволяють адаптувати процес моделювання до змінюваних умов та інтерпретувати результати; 4) знання-орієнтована система імітаційного моделювання БРС, що використовується на етапах їхнього проектування, створення, експлуатації та розвитку.

Розроблений комплекс методів, моделей і засобів забезпечує підвищення якості й вірогідності результатів моделювання та ефективності управління БРС.

У дисертації наведене теоретичне узагальнення й нове вирішення актуальної наукової задачі розробки комплексу методів та моделей логістичного аналізу процесів ПР і управління в автоматизованих БРС на основі технології ООТ і ТЕС для використання в практиці проектування, створення, експлуатації і розвитку БРС з метою підвищення ефективності їх управління в нових економічних умовах. При цьому отримано такі наукові та практичні результати:

1. Дістали подальшого розвитку метод системного підходу в галузі логістичного аналізу потокових процесів БРС, що відрізняється: знання-орієнтованої структуризацією об'єкта дослідження на основі теорії категорій по всіх стратах подання; розробленими ММ: МЦМ, МФМ, МАМ, ММОС, ММУ, що дозволяють формувати загальну багаторівневу ММ БРС.

2. Розроблено метод ПЗ, теоретичною основою якого є БЧП. Він надає широкі можливості для адекватного опису ієрархічних багаторівневих фізичних і абстрактних об'єктів БРС у вигляді ФАТ на семантичному та прагматичному рівнях БЗ ППР і відрізняється від існуючих логічних методів новими: формальною мовою БЧП для опису формул ФАТ і рубрик об'єктів в БЗ; правилами логічного виведення в ФАТ.

3. Вперше розроблено моделі знань для подання: МЦМ і МФМ; МАМ, в тому числі типового процесу й технологічних операцій; ММОС і ММУ; задачі визначення важливості й пріоритету альтернатив, які у сукупності забезпечують адаптивність і швидке модифікування СІМ.

4. Розроблено метод і алгоритми обробки інформації та знань при моделюванні БРС, теоретичною основою яких є дедуктивний метод зворотного виведення й розроблені правила виведення для семантичних і прагматичних знань. Вони дозволяють здійснювати синтез програм вирішення задач моделювання, управляти процесом імітаційного моделювання, інтерпретувати результати моделювання, виробляти рекомендації по управлінню БРС і відрізняються від існуючих новими: правилами і алгоритмами логічного виведення в БЧП для рівнів семантичних і прагматичних знань; правилами інтерпретації та оцінки чотиризначного МП об'єктів і морфізмів; правилами розкриття невизначеності об'єктів ПГ.

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

6. Розроблено нову КЗСІМ БРС, що базується на ООТ та ТЕС і забезпечує інтеграцію з іншими прогресивними інформаційними технологіями та інструментальними засобами, відкритість, переносимість, настройку на конкретну ПГ і використовується при проектуванні, створенні, експлуатації та розвитку автоматизованих БРС.

Досліджено конкретні БРС з використанням розробленої КЗСІМ, що підтверджує практичне значення роботи. Можливості використання КЗСІМ, що базується на наукових результатах дисертаційної роботи, підтверджуються впровадженням у практику діючих автоматизованих БРС.

Публікації автора:

1. Fedorovich O.E., Sadovnychiy S.N., Prohorov A.V., Sadovnychiy A.S. System models of logistics analysis of the virtual distributed technological complexes // Telecommunication and radio engineering. –2002. -Vol. 58, №7, -P.49-58.

2. Прохоров А.В., Садовничий А.С., Бек В.А. Системное моделирование логистических процессов в распределенных технологических комплексах // Технология приборостроения. – 2001. - №1-2. – С. 32-39.

3. Прохоров А.В., Томас Рамирес. Системная модель анализа сложных технических комплексов // Авиационно-космическая техника и технология. - Вып. 20. - Харьков: ХАИ, 2000. -С. 122-126.

4. Федорович О.Е., Прохоров А.В., Бабынин Н.М. Системный логистический анализ и управление распределенными технологическими комплексами производства сложных наукоемких изделий машиностроения // Авиационно-космическая техника и технология. - Вып. 28. - Харьков: ХАИ, 2002. -С. 33-38.

5. Федорович О.Е., Прохоров А.В., Томас Рамирес. Решение задач планирования и анализа программы развития предприятия с помощью системного моделирования // Авиационно-космическая техника и технология. - Вып. 14. - Харьков: ХАИ, 1999. -С. 190-194.

6. Федорович О.Е., Прохоров А.В., Руденко Л.В. Структуризация моделей сложных процессов и систем // Авиационно-космическая техника и технология. - Вып. 15. - Харьков: ХАИ, 2000. -С. 204-208.

7. Брезицкий Е.О., Прохоров А.В. Применение концепции объектно-ориентированного подхода в имитационном моделировании // Авиационно-космическая техника и технология. - Вып. 27. -Харьков: ХАИ, 2002. -С.194-198.

8. Федорович О.Е., Прохоров А.В., Руденко Л.В. Планирование крупномасштабных программ развития производства с использованием системных имитационных моделей // Системный анализ, управление и информационные технологии. – Вып. 121. – Харьков, ХГПУ, 2000. – С. 78-82.

9. Прохоров А.В., Томас Рамирес, Руденко Л.В. Логистическая модель анализа виртуальных распределенных производственных комплексов // Авиационно-космическая техника и технология. - Вып. 24. - Харьков: ХАИ, 2001. -С. 45-51.

10. Федорович О.Е., Прохоров А.В., Томас Рамирес. Системное моделирование распределенного технологического комплекса добычи, переработки и транспортировки нефти // Авиационно-космическая техника и технология. - Вып. 21. - Харьков: ХАИ, 2000. -С. 205-213.

11. Федорович О.Е., Прохоров А.В., Томас Рамирес. Системное моделирование глобальной телекоммуникационной сети // Авиационно-космическая техника и технология. - Вып. 22. - Харьков: ХАИ, 2001. -С. 117-121.

12. Fedorovich O.E., Prohorov A.V., Thomas Ramirez. Simulation system toolkit of distributed technological complex of oil production activity, waste-handling and haul // Proc. of the 1-st International Workshop on Mathematical modeling of physical processes in inhomogeneous media. -Guanajuato (Mexico). – 2001. – P.96-98.

13. Fedorovich O.E., Prohorov A.V., Thomas Ramirez. The methodology of distributed technological complex system simulation // Lecture Notes in Informatics - Proc. of the 1-st International Conf. on Information System Technologies and its Applications. -Vol. P-2. –Bonn. -2001. –P. 115-125.

14. Прохоров А.В. Инструментарий системного имитационного моделирования сложных технических комплексов // Тезисы докладов науч.-техн. конф. “Системы управления -2001”. –Харьков: ХАИ, 2001. –С. 24.

15. Прохоров А.В., Томас Рамирес, Федорович О.Е. Знаниеориентированная система имитационного моделирования процессов управления и функционирования распределенных технологических комплексов // Тезисы докладов международной науч.-техн. конф. “Интегрированные компьютерные технологии в машиностроении”. –Харьков: ХАИ, 2001. –С. 133.