Пошук попарних реберних циклів при модифікації GL-моделі

Скорочена інформація про документ
dc.contributor.advisorПотапова, Катерина Романівна
dc.contributor.authorНіколін, Андрій Дмитрович
dc.date.accessioned2018-06-04T09:29:51Z
dc.date.available2018-06-04T09:29:51Z
dc.date.issued2018-05
dc.description.abstractenActuality of theme. Complex multiprocessor systems are widely used in the modern world by countries using modern design technologies. In the first place, they are used during the design process of complex object management systems in many industries. Loss of the working proficiency of such systems may lead to catastrophic consequences, such as the failure of the nuclear power plant control system, missiles and airplanes. Therefore, the architecture of such multiprocessor systems should initially provide a certain level of reliability and fault tolerance. The high cost of implementation of large control systems has led to the importance of designing the fault-tolerant multi-processor systems (FTMS), the purpose of which is to assess the reliability of the system. However, quite often, solving this problem requires enormous computing costs and sometimes can not be performed with the necessary accuracy for a given time interval. Modern methods of analysis and synthesis of complex computing systems give satisfactory results in determining the productivity, functionality, etc. However, to analysis of the fault-tolerance of the system is extremely difficult due to the large amount of overview of its states that arise in case of failures of some elements. Effective models for systems with a relatively simple structure, such as models based on bipolar graphs and models using Markov chains, are not constructive for the analysis of states of systems of large dimension. The methods of statistical simulation, which allow to reduce this survey by obtaining statistical estimates with limited reliability, are also not sufficiently effective due to the fact that describing the criteria for failure is extremely difficult. Therefore, a special place among the many models of practical positions occupy graph-logic models (GL-models) that reflect the behavior of the FTMS in the flow of failures, based on statistical experiments, which created a universal method for calculating the reliability of the FTMS.uk
dc.description.abstractruАктуальность темы. Сложные многопроцессорные системы все более широко используются в современном мире передовыми странами, которые используют современные технологии проектирования. В первую очередь это справедливо при построении систем управления сложными объектами во многих отраслях промышленности. Потеря работоспособности таких систем подчас может привести к катастрофическим последствиям, как, например, отказ системы управления атомной электростанцией, ракетами и самолетами. Поэтому архитектура подобных многопроцессорных систем изначально должна обеспечивать определенный уровень надежности и отказоустойчивости. Высокая стоимость реализации крупных систем управления привела к тому, что большое значение на этапе проектирования приобрело моделирование работы отказоустойчивых многопроцессорных систем (ОМС), целью которого является оценка надежности системы. Однако нередко решение этой задачи требует колоссальных вычислительных затрат и иногда не может быть выполнено с необходимой точностью за заданный промежуток времени. Современные методы анализа и синтеза сложных вычислительных систем дают удовлетворительные результаты при определении производительности, функциональных возможностей и др. Однако проана- лизировать отказоустойчивость системы чрезвычайно сложно из-за большого объема перебора ее состояний, возникающих при отказах некоторых элемен- тов. Эффективные модели для систем с относительно простой структурой, например модели на основе двухполюсных графов и модели, использующие ”Марковские” цепи, не конструктивны для анализа состояний систем большой размерности. Методы статистического моделирования, позволяющие уменьшить этот перебор за счет получения статистических оценок с ограниченной достоверностью, также недостаточно эффективны из-за того, что описать критерии отказа чрезвычайно сложно. Поэтому особое место среди множества моделей с практических позиций занимают графо-логические модели (GL-модели), отражающие поведение ОМС в потоке отказов, на основе статистических экспериментов с которыми создан универсальный метод расчета надежности ОМС.uk
dc.description.abstractukАктуальність теми. Складні багатопроцесорні системи все більш широко використовуються у сучасному світі передовими країнами, що використовують сучасні технології проектування. В першу чергу це справедливо при побудові систем управління складними об’єктами у багатьох галузях промисловості. Втрата роботоздатності таких систем часом може привести до катастрофічних наслідків, як, наприклад, відмова системи управління атомною електростанцією, ракетами і літаками. Тому архітектура подібних багатопроцесорних систем спочатку повинна забезпечувати певний рівень надійності та відмовостійкості. Висока вартість реалізації великих систем управління привела до того, що велике значення на етапі проектування набуло моделювання роботи відмовостійких багатопроцесорних систем (ВБС), метою якого є оцінка надійності системи. Однак нерідко рішення цього завдання вимагає колосальних обчислювальних витрат і іноді не може бути виконано з необхідною точністю за заданий проміжок часу. Сучасні методи аналізу і синтезу складних обчислювальних систем дають задовільні результати при визначенні продуктивності, функціональних можливостей та ін. Однак проаналізувати відмовостійкість системи надзвичайно складно через великий обсяг перебору її станів, що виникають при відмовах деяких елементів. Ефективні моделі для систем з відносно простою структурою, наприклад моделі на основі двополюсних графів і моделі, використовуючі "Марковські" ланцюги, не конструктивні для аналізу станів систем великої розмірності. Методи статистичного моделювання, що дозволяють зменшити цей перебір за рахунок отримання статистичних оцінок з обмеженою достовірністю, також недостатньо ефективні через те, що описати критерії відмови надзвичайно складно. Тому особливе місце серед безлічі моделей з практичних позицій займають графо-логічні моделі (GL-моделі), що відображають поведінку ВБС в потоці відмов, на основі статистичних експериментів з якими створено універсальний метод розрахунку надійності ВБС.uk
dc.format.page118 с.uk
dc.identifier.citationНіколін, А. Д. Пошук попарних реберних циклів при модифікації GL-моделі : магістерська дис. : 123 Комп‘ютерна інженерія (Спеціалізовані комп‘ютерні системи) / Ніколін Андрій Дмитрович. – Київ, 2018. – 118 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/23208
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectвідмовостійкі багатопроцесорні системиuk
dc.subjectбулеві функціїuk
dc.subjectграфо-логічна модельuk
dc.subjectfault-tolerant multi-processor systemsuk
dc.subjectboolean functionsuk
dc.subjectgraph-logic modeluk
dc.subjectотказоустойчивые многопроцессорные системыuk
dc.subjectбулевы функцииuk
dc.subjectграфо-логическая модельuk
dc.titleПошук попарних реберних циклів при модифікації GL-моделіuk
dc.typeMaster Thesisuk

Файли

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

Зібрання

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