Метод перетворення GL-моделей шляхом введення внутрішніх ребер

Скорочена інформація про документ
dc.contributor.advisorРоманкевич, Віталій Олексійович
dc.contributor.authorПримак, Іван Костянтинович
dc.date.accessioned2018-06-01T12:31:48Z
dc.date.available2018-06-01T12:31:48Z
dc.date.issued2018-05
dc.description.abstractenRelevance of the topic. The use of models in the design of complex systems is a common practice for quite a sometime. Such models are used to carry out experiments that can be used to evaluate quantitative characteristics such as the level of reliability and efficiency of these systems at the design stages, which is very important due to the high cost of constructing such systems. Creation and improvement of existing methods of constructing such models in order to achieve a higher speed of determining the state of the systems simplifies and accelerates the work of specialists who use these models in their work. The object of the study are the models that reflect the behavior of fault-tolerant multiprocessor systems and the methods of their creation and support during use. The subject of the study is the method of converting GL-models by introducing internal edges taking into account pairwise edge cycles. Purpose: the analysis of existing methods for converting GL models, the creation of a method that offers solutions for the selection of additional edges and edge functions, taking into account pairwise edge cycles and their possible combinations.uk
dc.description.abstractruАктуальность темы. Использование моделей при проектировании сложных систем уже некоторое время является общей практикой. Такие модели используются для проведения экспериментов, по результатам которых можно оценить количественные характеристики, такие как уровень надежности и эффективности этих систем еще на этапах проектирования, что очень важно в связи с высокой стоимостью построения таких систем. Создание и совершенствование уже существующих методов построения таких моделей с целью достижения большей скорости определения состояния систем упрощает и ускоряет работу специалистов, использующих эти модели в своей работе. Объектом исследования является метод преобразования GL-моделей путем введения внутренних ребер с учетом парных реберных циклов. Предметом исследования являются алгоритмы и аппаратно-программные средства формирования GL-модели и ее поддержки во время использования. Цель работы: анализ существующих методов преобразования GL-моделей, создания метода, предлагает решения для выбора дополнительных ребер и реберных функций учитывая попарные реберные циклы и их возможные комбинации.uk
dc.description.abstractukАктуальність теми. Використання моделей при проектуванні складних систем вже певний час є загальною практикою. Такі моделі використовуються для проведення експериментів, за результатами яких можна оцінити кількісні характеристики, такі як рівень надійності і ефективність цих систем ще на етапах проектування, що дуже важливо у зв'язку з високою вартістю побудови таких систем. Створення нових та вдосконалення вже існуючих методів побудови таких моделей з метою досягнення більшої швидкості визначення стану систем впродовж виконання статистичних тестів, що виконуються з метою визначення рівня надійності системи, спрощує та прискорює роботу спеціалістів, що використовують ці моделі у своїй праці. Об’єктом дослідження є моделі, що відображують поведінку відмовостійких багатопроцесорних систем, та методи їх створення та підтримки під час використання. Предметом дослідження є метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів. Мета роботи: аналіз існуючих методів перетворення GL-моделей, створення методу, що пропонує рішення для вибору додаткових ребер та реберних функцій враховуючи попарні реберні цикли та їх можливі комбінації.uk
dc.format.page97 с.uk
dc.identifier.citationПримак, І. К. Метод перетворення GL-моделей шляхом введення внутрішніх ребер з урахуванням попарних реберних циклів : магістерська дис. : 123 Комп‘ютерна інженерія («Системне програмування») / Примак Іван Костянтинович. – Київ, 2018. – 97 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/23182
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectвідмовостійкі багатопроцесорні системиuk
dc.subjectнадійність системuk
dc.subjectматематичне моделюванняuk
dc.subjectграфо-логічні моделіuk
dc.subjectfault-tolerant multiprocessor systemsuk
dc.subjectfault toleranceuk
dc.subjectmathematic modellinguk
dc.subjectgraph-logical modelsuk
dc.subjectотказоустойчивые многопроцессорные системыuk
dc.subjectнадежность системuk
dc.subjectматематическое моделированиеuk
dc.subjectграфо-логические моделиuk
dc.titleМетод перетворення GL-моделей шляхом введення внутрішніх реберuk
dc.typeMaster Thesisuk

Файли

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

Зібрання

Магістерські роботи (СПСКС)
Магістерські роботи