Романкевич, Віталій ОлексійовичПримак, Іван Костянтинович2018-06-012018-06-012018-05Примак, І. К. Метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів : магістерська дис. : 123 Комп‘ютерна інженерія («Системне програмування») / Примак Іван Костянтинович. – Київ, 2018. – 97 с.https://ela.kpi.ua/handle/123456789/23182Актуальність теми. Використання моделей при проектуванні складних систем вже певний час є загальною практикою. Такі моделі використовуються для проведення експериментів, за результатами яких можна оцінити кількісні характеристики, такі як рівень надійності і ефективність цих систем ще на етапах проектування, що дуже важливо у зв'язку з високою вартістю побудови таких систем. Створення нових та вдосконалення вже існуючих методів побудови таких моделей з метою досягнення більшої швидкості визначення стану систем впродовж виконання статистичних тестів, що виконуються з метою визначення рівня надійності системи, спрощує та прискорює роботу спеціалістів, що використовують ці моделі у своїй праці. Об’єктом дослідження є моделі, що відображують поведінку відмовостійких багатопроцесорних систем, та методи їх створення та підтримки під час використання. Предметом дослідження є метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів. Мета роботи: аналіз існуючих методів перетворення GL-моделей, створення методу, що пропонує рішення для вибору додаткових ребер та реберних функцій враховуючи попарні реберні цикли та їх можливі комбінації.ukвідмовостійкі багатопроцесорні системинадійність системматематичне моделюванняграфо-логічні моделіfault-tolerant multiprocessor systemsfault tolerancemathematic modellinggraph-logical modelsотказоустойчивые многопроцессорные системынадежность системматематическое моделированиеграфо-логические моделиMaster Thesis97 с.