Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем

Скорочена інформація про документ
dc.contributor.advisorМорозов, Костянтин Вячеславович
dc.contributor.authorКошулько, Владислав Віталійович
dc.date.accessioned2026-07-01T12:51:01Z
dc.date.available2026-07-01T12:51:01Z
dc.date.issued2026
dc.description.abstractКваліфікаційна робота включає пояснювальну записку ( 54с., 5рис., 1 табл., 2 додатки). Об’єкт розробки – Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем. Розроблнеа програма дозволяє будувати коректні GL-моделі складних небазових багатопроцесорних систем, перевіряє створені моделі на коректність В процесі розробки: • Розглянуто, що собою представляє відмовостійка багатопроцесорна система та сфери використання • Проаналізовано існуючі методи моделювання ВБС • Підтверджено роботу алгоритмів для побудови базових та небазових GL-моделей • Експерементально перевірено побудовані моделі на коректність
dc.description.abstractotherThe qualification work includes an explanatory report (54 pages, 5 figures, 1 tables, 2 appendices). Object of development – A software program for constructing and verifying GL models of complex non-basic fault-tolerant multiprocessor systems. The developed program enables the construction of correct GL models of complex non-basic multiprocessor systems and performs validation of the created models for correctness. During the development process: • The concept of fault-tolerant multiprocessor systems and their areas of application were examined • Existing methods for modeling fault-tolerant multiprocessor systems (FTMS) were analyzed • The functionality of algorithms for constructing both basic and non-basic GL models was confirmed • The constructed models were experimentally verified for correctness
dc.format.extent84 с.
dc.identifier.citationКошулько, В. В. Програма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем : дипломний проєкт ... бакалавра : 123 Комп'ютерна інженерія / Кошулько Владислав Віталійович. – Київ, 2026. – 84 с.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/82055
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.subjectgl-модель
dc.subjectвбс
dc.subjectмвр
dc.subjectграф
dc.subjectграфо-логічна модель
dc.subjectвідмовостійкість
dc.subjectперевірка надійності
dc.subjectGL model
dc.subjectFTMS (fault-tolerant multiprocessor systems)
dc.subjectMLE (Minimum Lost Edges)
dc.subjectgraph
dc.subjectgraph-logical model
dc.subjectfault tolerance
dc.subjectreliability verification
dc.titleПрограма побудови та перевірки GL-моделей складних небазових відмовостійких багатопроцесорних систем
dc.typeBachelor Thesis

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Koshulko_bakalavr.pdf
Розмір:
2.64 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (СПСКС)
Бакалаврські роботи