Романкевич, Віталій ОлексійовичМалишева, Мілена Олегівна2018-06-012018-06-012018-05Малишева, М. О. Спосіб перетворення GL-моделей за критерієм мінімуму складності реберних функцій : магістерська дис. : 123 Комп‘ютерна інженерія («Системне програмування») / Малишева Мілена Олегівна. – Київ, 2018. – 103 с.https://ela.kpi.ua/handle/123456789/23175Актуальність теми. З кожним роком галузь застосування відмовостійких багатопроцесорних систем розширюється. Через те, що такі системи обробляють одночасно інформацію з багатьох модулів, вони мають надзвичайно складну структуру та велику кількість елементів. Ці системи часто використовують для керування важливими об’єктами, виведення з ладу яких може спричинити тяжкі соціальні та економічні наслідки. Саме тому визначення рівня надійності для них є надзвичайно складним та важливим завданням. Один з найважливіших показників надійності – ймовірність безвідмовної роботи обчислюють за допомогою виконання статистичних експериментів над спеціальними моделями. Зрозуміло, що простота таких моделей впливає на кількість експериментів, які можна виконати над нами за фіксовану кількість часу, та точність обчислення ймовірності безвідмовної роботи відповідно. Серед існуючих моделей відмовостійких багатопроцесорних систем особливо привабливими через свою простоту виглядають так звані GL- моделі, що мають форму неорієнтованого зв'язного графу, кожному ребру якого відповідає булева реберна функція. Існує декілька алгоритмів побудови вказаних реберних функцій для моделей базових систем. Проте більшість відмовостійких багатопроцесорних систем в наш час є небазовими, саме тому актуальним є завдання створення способів перетворення GL-моделей для відображення поведінки небазових системи в потоці відмов, що дозволяють отримати простіші реберні функцій, ніж за умови стандартних способів перетворення (наприклад, модифікація функцій з додавання конституенти). Об’єктом дослідження є відмовостійкі багатопроцесорні системи та моделі, що відображають їх поведінку в потоці відмов. Предметом дослідження є спосіб перетворення базових GL-моделей в небазові, що дозволяє отримати прості реберні функції. Мета роботи: аналіз існуючих алгоритмів модифікації базових GL- моделей відмовостійких багатопроцесорних систем в небазові, створення способу перетворення GL-моделей за критерієм мінімуму складності реберних функцій, визначення умови доцільного використання способу перетворення GL-моделей за критерієм мінімуму складності реберних функцій.ukнадійність ВБРвідмовостійкістьGL-модельпобудова GL-моделейперетворення GL-моделейreliability offault toleranceGL-modelGL-models constructionGL-models transformationнадежность ВБРотказоустойчивостьGL-модельпостроение GL-моделейпреобразование GL-моделейMaster Thesis103 с.