Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем
Дата
2026
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Кваліфікаційна робота включає пояснювальну записку ( 54с., 5рис., 1 табл., 2 додатки).
Об’єкт розробки – Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем.
Розроблнеа програма дозволяє будувати коректні GL-моделі складних небазових багатопроцесорних систем, перевіряє створені моделі на коректність
В процесі розробки:
• Розглянуто, що собою представляє відмовостійка багатопроцесорна система та сфери використання
• Проаналізовано існуючі методи моделювання ВБС
• Підтверджено роботу алгоритмів для побудови базових та небазових GL-моделей
• Експерементально перевірено побудовані моделі на коректність
Опис
Ключові слова
gl-модель, вбс, мвр, граф, графо-логічна модель, відмовостійкість, перевірка надійності, GL model, FTMS (fault-tolerant multiprocessor systems), MLE (Minimum Lost Edges), graph, graph-logical model, fault tolerance, reliability verification
Бібліографічний опис
Кошулько, В. В. Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем : дипломний проєкт ... бакалавра : 123 Комп'ютерна інженерія / Кошулько Владислав Віталійович. – Київ, 2026. – 84 с.