Спосіб перетворення GL- моделей за критерієм мінімуму складності реберних функцій

Скорочена інформація про документ
dc.contributor.advisorРоманкевич, Віталій Олексійович
dc.contributor.authorМалишева, Мілена Олегівна
dc.date.accessioned2018-06-01T11:45:10Z
dc.date.available2018-06-01T11:45:10Z
dc.date.issued2018-05
dc.description.abstractenRelevance of the topic. Application field of fault-tolerant multiprocessor systems expands every year. Since such systems often need to process information from many modules simultaneously, they have an extremely complex structure and a large number of elements. These systems are often used to manage important objects, the failure of which can lead to severe social and economic consequences. That is why determining the level of reliability for them is extremely difficult and important task. One of the most important characteristics of reliability – failure-free operation probability is calculated by performing statistical experiments on special models. The simplicity of such models obviously affects the number of experiments that can be performed on the model for a fixed period of time, and the accuracy of calculating failure-free operation probability, respectively. Among the existing models of fault-tolerant multiprocessor systems, the so-called GL-models are particularly attractive because of their simplicity. A GL-model has the form of an undirected connected graph, with the Boolean edge function corresponding to each edge of the graph. There are several algorithms for generation of edge functions for GLmodels of basic systems. However, most of the multiprocessor systems are nonbasic nowadays, so the relevant task is to find the ways of transformation GLmodels to reflect the behavior of non-basic systems in the failure flow, which allow to obtain simpler edge functions than using standard methods of transformation (for example, modification of functions with the addition of constituent). Research object is fault-tolerant multiprocessor system and a model that reflect its behavior in the failure flow. Research subject is the method of transformation basic GL-models to nonbasic ones, which allows to obtain simple edge functions. Goals of the thesis: analysis of the existing methods for transformation of basic GL-models into non-basic ones, creation the method for transformation GL-models based on the criterion of minimum edge functions complexity, determining the conditions for the expedient use of the method by the criterion of minimum edge functions complexity.uk
dc.description.abstractruАктуальность темы. С каждым годом область применения отказоустойчивых многопроцессорных систем расширяется. Так как такие системы часто должны обрабатывать одновременно информацию со многих модулей, они имеют чрезвычайно сложную структуру и большое количество элементов. Эти системы часто используют для управления важными объектами, вывод из строя которых может вызвать тяжелые социальные и экономические последствия. Именно поэтому определение уровня надежности для них является чрезвычайно сложной и важной задачей. Один из важнейших показателей надежность – вероятность безотказной работы вычисляют с помощью выполнения статистических экспериментов над специальными моделями. Понятно, что простота таких моделей влияет на количество экспериментов, которые можно выполнить над нами за фиксированное количество времени, и на точность вычисления вероятности безотказной работы соответственно. Среди существующих моделей отказоустойчивых многопроцессорных систем особенно привлекательными из-за своей простоты являются так называемые GL-модели, имеющие форму неориентированного связного графа, каждому ребру которого соответствует булева реберная функция. Существует несколько алгоритмов построения таких реберных функций для GL-моделей базовых систем. Однако большинство отказоустойчивых многопроцессорных систем в наше время является небазовым, поэтому актуальной является задача создания способов преобразования GL-моделей для отображения поведения небазовых системы в потоке отказов, позволяющие получить более простые реберные функций, чем при использовании стандартных способов преобразования (например, модификации функций с добавлением конституенты). Объектом исследования отказоустойчивые многопроцессорные системы и модели, отражающие их поведение в потоке отказов. Предметом исследования является способ преобразования базовых GL-моделей в небазовые, который позволяет получить простые реберные функции. Цель работы: анализ существующих алгоритмов модификации базовых GL-моделей отказоустойчивых многопроцессорных систем, создание способа преобразования GL-моделей по критерию минимума сложности реберных функций, определения условия целесообразного использования способа преобразования GL-моделей по критерию минимума сложности реберных функций.uk
dc.description.abstractukАктуальність теми. З кожним роком галузь застосування відмовостійких багатопроцесорних систем розширюється. Через те, що такі системи обробляють одночасно інформацію з багатьох модулів, вони мають надзвичайно складну структуру та велику кількість елементів. Ці системи часто використовують для керування важливими об’єктами, виведення з ладу яких може спричинити тяжкі соціальні та економічні наслідки. Саме тому визначення рівня надійності для них є надзвичайно складним та важливим завданням. Один з найважливіших показників надійності – ймовірність безвідмовної роботи обчислюють за допомогою виконання статистичних експериментів над спеціальними моделями. Зрозуміло, що простота таких моделей впливає на кількість експериментів, які можна виконати над нами за фіксовану кількість часу, та точність обчислення ймовірності безвідмовної роботи відповідно. Серед існуючих моделей відмовостійких багатопроцесорних систем особливо привабливими через свою простоту виглядають так звані GL- моделі, що мають форму неорієнтованого зв'язного графу, кожному ребру якого відповідає булева реберна функція. Існує декілька алгоритмів побудови вказаних реберних функцій для моделей базових систем. Проте більшість відмовостійких багатопроцесорних систем в наш час є небазовими, саме тому актуальним є завдання створення способів перетворення GL-моделей для відображення поведінки небазових системи в потоці відмов, що дозволяють отримати простіші реберні функцій, ніж за умови стандартних способів перетворення (наприклад, модифікація функцій з додавання конституенти). Об’єктом дослідження є відмовостійкі багатопроцесорні системи та моделі, що відображають їх поведінку в потоці відмов. Предметом дослідження є спосіб перетворення базових GL-моделей в небазові, що дозволяє отримати прості реберні функції. Мета роботи: аналіз існуючих алгоритмів модифікації базових GL- моделей відмовостійких багатопроцесорних систем в небазові, створення способу перетворення GL-моделей за критерієм мінімуму складності реберних функцій, визначення умови доцільного використання способу перетворення GL-моделей за критерієм мінімуму складності реберних функцій.uk
dc.format.page103 с.uk
dc.identifier.citationМалишева, М. О. Спосіб перетворення GL-моделей за критерієм мінімуму складності реберних функцій : магістерська дис. : 123 Комп‘ютерна інженерія («Системне програмування») / Малишева Мілена Олегівна. – Київ, 2018. – 103 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/23175
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectнадійність ВБРuk
dc.subjectвідмовостійкістьuk
dc.subjectGL-модельuk
dc.subjectпобудова GL-моделейuk
dc.subjectперетворення GL-моделейuk
dc.subjectreliability ofuk
dc.subjectfault toleranceuk
dc.subjectGL-modeluk
dc.subjectGL-models constructionuk
dc.subjectGL-models transformationuk
dc.subjectнадежность ВБРuk
dc.subjectотказоустойчивостьuk
dc.subjectGL-модельuk
dc.subjectпостроение GL-моделейuk
dc.subjectпреобразование GL-моделейuk
dc.titleСпосіб перетворення GL- моделей за критерієм мінімуму складності реберних функційuk
dc.typeMaster Thesisuk

Файли

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

Зібрання

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