Метод перетворення GL-моделей шляхом введення внутрішніх ребер
Вантажиться...
Дата
2018-05
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Актуальність теми. Використання моделей при проектуванні складних систем вже певний час є загальною практикою. Такі моделі використовуються для проведення експериментів, за результатами яких можна оцінити кількісні характеристики, такі як рівень надійності і ефективність цих систем ще на етапах проектування, що дуже важливо у зв'язку з високою вартістю побудови таких систем. Створення нових та вдосконалення вже існуючих методів побудови таких моделей з метою досягнення більшої швидкості визначення стану систем впродовж виконання статистичних тестів, що виконуються з метою визначення рівня надійності системи, спрощує та прискорює роботу спеціалістів, що використовують ці моделі у своїй праці.
Об’єктом дослідження є моделі, що відображують поведінку відмовостійких багатопроцесорних систем, та методи їх створення та підтримки під час використання.
Предметом дослідження є метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів.
Мета роботи: аналіз існуючих методів перетворення GL-моделей, створення методу, що пропонує рішення для вибору додаткових ребер та реберних функцій враховуючи попарні реберні цикли та їх можливі комбінації.
Опис
Ключові слова
відмовостійкі багатопроцесорні системи, надійність систем, математичне моделювання, графо-логічні моделі, fault-tolerant multiprocessor systems, fault tolerance, mathematic modelling, graph-logical models, отказоустойчивые многопроцессорные системы, надежность систем, математическое моделирование, графо-логические модели
Бібліографічний опис
Примак, І. К. Метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів : магістерська дис. : 123 Комп‘ютерна інженерія («Системне програмування») / Примак Іван Костянтинович. – Київ, 2018. – 97 с.