Пошук попарних реберних циклів при модифікації GL-моделі
Вантажиться...
Дата
2018-05
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Актуальність теми. Складні багатопроцесорні системи все більш
широко використовуються у сучасному світі передовими країнами, що
використовують сучасні технології проектування. В першу чергу це
справедливо при побудові систем управління складними об’єктами у
багатьох галузях промисловості. Втрата роботоздатності таких систем
часом може привести до катастрофічних наслідків, як, наприклад,
відмова системи управління атомною електростанцією, ракетами і
літаками. Тому архітектура подібних багатопроцесорних систем
спочатку повинна забезпечувати певний рівень надійності та
відмовостійкості. Висока вартість реалізації великих систем управління
привела до того, що велике значення на етапі проектування набуло
моделювання роботи відмовостійких багатопроцесорних систем (ВБС),
метою якого є оцінка надійності системи. Однак нерідко рішення цього
завдання вимагає колосальних обчислювальних витрат і іноді не може
бути виконано з необхідною точністю за заданий проміжок часу.
Сучасні методи аналізу і синтезу складних обчислювальних
систем дають задовільні результати при визначенні продуктивності,
функціональних можливостей та ін. Однак проаналізувати
відмовостійкість системи надзвичайно складно через великий обсяг
перебору її станів, що виникають при відмовах деяких елементів.
Ефективні моделі для систем з відносно простою структурою,
наприклад моделі на основі двополюсних графів і моделі,
використовуючі "Марковські" ланцюги, не конструктивні для аналізу
станів систем великої розмірності. Методи статистичного
моделювання, що дозволяють зменшити цей перебір за рахунок
отримання статистичних оцінок з обмеженою достовірністю, також
недостатньо ефективні через те, що описати критерії відмови
надзвичайно складно.
Тому особливе місце серед безлічі моделей з практичних позицій
займають графо-логічні моделі (GL-моделі), що відображають
поведінку ВБС в потоці відмов, на основі статистичних експериментів
з якими створено універсальний метод розрахунку надійності ВБС.
Опис
Ключові слова
відмовостійкі багатопроцесорні системи, булеві функції, графо-логічна модель, fault-tolerant multi-processor systems, boolean functions, graph-logic model, отказоустойчивые многопроцессорные системы, булевы функции, графо-логическая модель
Бібліографічний опис
Ніколін, А. Д. Пошук попарних реберних циклів при модифікації GL-моделі : магістерська дис. : 123 Комп‘ютерна інженерія (Спеціалізовані комп‘ютерні системи) / Ніколін Андрій Дмитрович. – Київ, 2018. – 118 с.