Панченко, Артем СергiйовичPanchenko, Artem2024-07-212024-07-212024Панченко, Артем Сергiйович. Коалгебраїчнi засоби специфiкацiї та аналiзу статистичних обмежень поведiнки розподiлених систем : дисертація ... доктора філософії : 122 – Комп’ютернi науки (Галузь знань 12 – Iнформацiйнi технологiї) / А.С. Панченко. – Харків : Харківський національний університет імені В.Н. Каразіна, 2024. – 139 с.УДК 004.05:004.03https://ekhnuir.karazin.ua/handle/123456789/18651Науковий керiвник: Жолткевич Григорiй Миколаєвич, доктор технiчних наук, професорДисертацiйна робота присвячена вивченню можливостей удосконалення методiв специфiкацiї дискретних динамiчних систем рiзного типу включно з розподiленими. Пропонується застосування унiверсальних коалгребр як основного iнструменту для створення формальної математичної моделi по ведiнки систем з високим рiвнем абстракцiї, що забезпечить можливiсть моделювання динамiки у системах без урахування їх несуттєвих особливо стей та вивчення їх критичних станiв з метою розробки стратегiй уникання подiбних станiв та алгоритмiв виходу з них.The dissertation work is dedicated to studying the possibilities of improvi ng methods for specifying discrete dynamic systems of various types, includi ng distributed systems. The proposed approach involves the use of universal coalgebras as the main tool for creating a formal mathematical model of system behavior at a high level of abstraction. This allows for modeling system dynami cs without considering insignificant details and studying their critical states to develop strategies for avoiding such states and algorithms for recoveryukTECHNOLOGY::Information technologySOCIAL SCIENCESсистеми геолокацiї та трекiнгурозподiленi та паралельнi системианалiз вимог до системиспецифiкацiя поведiнки системиконцептуальна модельмоделi реального часуiмiтацiйне моделювання (симуляцiя)перехiднi системи включно з автоматамисистема пiдтримки та прийняття рiшеньмашинне навчанняалгебрасинтез програмверифiкацiя поведiнки програмних системформальнi методи верифiкацiїпрограмна логiкалогiчна узгодженiстькоректнiсть моделiповнота моделi забезпечення надiйностi та безперебiйної роботи системиобчислювальнi системисимуляцiя роботи системиавтоматиавтоматизацiя процесiв проектуваннясистеми з пiдвищеними вимогами до надiйностiунiверсальна коалгебрафiнальна коалгебра(слабкий) декартовий квадратgeolocation and tracking systemsdistributed and parallel systemsanalysis of system requirementssystem behavior specificationconceptual modelreal time modelssimulationtransitional systems including automatic machinessupport and decision-making systemmachine learningalgebraprogram synthesisverification of the behavior of software systemsformal methods of verificationsoftware logiclogical consistencycorrectness of the modelcompleteness of the model ensuring reliability and smooth operation of the systemcomputer systemssimulation of system operationmachinesautomation of design processessystems with increased reliability requirementsuniversal coalgebrafinal coalgebra(weak) PullbackDissertation