Комплекс програмних засобів для розрахунку складності каскадних GL-моделей відмовостійких багатопроцесорних систем
Ескіз недоступний
Дата
2024
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Актуальність теми. У сучасному світі автоматизація й використання високонадійних систем є ключовим аспектом в багатьох галузях, включно з авіакосмічною, військовою та промисловою. Для керування складними процесами застосовуються багатопроцесорні системи з високим рівнем відмовостійкості, що забезпечують стабільну роботу навіть за умов часткових відмов компонентів. Створення та проєктування таких систем є нетривіальною задачею, що вимагає комплексного підходу до оцінки їх надійності та продуктивності на стадії проєктування. Одним із основних аспектів є визначення складності системи, що напряму впливає на її поведінку в реальних умовах.
Каскадні GL-моделі, що використовуються для моделювання відмовостійкості багатопроцесорних систем, дозволяють проводити статистичний аналіз у потоці відмов. Проте, на даний момент відсутні програмні інструменти, які могли б автоматично визначати обчислювальну складність таких моделей на основі конфігурацій та вхідних даних. Наявність такого інструментарію є критично важливою для підвищення ефективності розрахунку надійності відмовостійких багатопроцесорних систем.
Таким чином, дослідження, спрямоване на розробку комплексу програмних засобів для оцінки складності каскадних GL-моделей, є актуальним напрямком розробки.
Об’єктом дослідження є каскадні GL-моделі поведінки відмовостійких багатопроцесорних систем у потоці відмов, методи їх побудови та використання для розрахунку складності таких систем.
Предметом дослідження є обчислювальна складність каскадних GL-моделей, що використовуються для моделювання поведінки відмовостійких багатопроцесорних систем, а також засоби, які дозволяють автоматизовано розраховувати складність систем за різних конфігурацій і параметрів.
Метою даної наукової роботи є побудова комплексу програмних засобів для автоматизованого розрахунку обчислювальної складності каскадних
GL-моделей відмовостійких багатопроцесорних систем, що дозволить аналізувати їхні характеристики в умовах різних конфігурацій та потоків відмов.
Методи дослідження: методи булевої алгебри, теорія графів, експериментальні дослідження, статистичний аналіз.
Наукова новизна полягає у встановленні залежностей між обчислювальною складністю каскадної GL-моделі та кількістю каскадів, а також їх параметрами.
Практична цінність даної магістерської дисертації полягає в поглибленому дослідженні структурних особливостей каскадних GL-моделей, що відкриває можливості для оптимізації їх продуктивності та ефективності в практичних застосуваннях.
Апробація роботи
1. Романкевич В.О., Нікішин Є.О., Поліщук О.П. Алгоритм та програма визначення складності каскадних GL-моделей. Прикладна математика та комп’ютинг. ПМК, 2024: сімнадцята наук. конф. магістрантів та аспірантів, 20-22 листопада 2024 р.: зб.тез доп./[редкол.: Дичка І.А. та ін.]. - К.:Просвіта, 2024. – с. 671-676.
2. Нікішин Є.О., Романкевич В.О., Поліщук О.П. Алгоритм та програмний засіб для оцінки складності каскадних графо-логічних моделей відмовостійких багатопроцесорних систем. ХІ міжнародна науково-технічна Internet-конференція “Сучасні методи, інформаційне, програмне та технічне забезпечення систем керування організаційно-технічними та технологічними комплексами”. 27 листопада 2024. - К: НУХТ, 2024 Структура та обсяг роботи. Магістерська дисертація складається із вступу
та чотирьох розділів, висновків по кожному розділу та загальних висновків по роботі в цілому, списку використаних літературних джерел (24 найменувань). Загальний обсяг дисертації – 89 сторінок основного тексту, 37 ілюстрацій та
2 таблиць.
Ключові слова: багатопроцесорні відмовостійкі системи, GL-моделі, каскад, глибина каскаду, комплекс програмних засобів, аналіз обчислювальної складності, складність каскадних моделей.
Опис
Ключові слова
багатопроцесорні відмовостійкі системи, GL-моделі, каскад, глибина каскаду, комплекс програмних засобів, аналіз обчислювальної складності, складність каскадних моделей, fault-tolerant multiprocessor systems, GL-models, cascade, cascade depth, software toolset, computational complexity analysis, cascade model complexity
Бібліографічний опис
Нікішин, Є. О. Комплекс програмних засобів для розрахунку складності каскадних GL-моделей відмовостійких багатопроцесорних систем : магістерська дис. : 123 Комп'ютерна інженерія / Нікішин Єгор Олексійович. – Київ, 2024. – 89 с.