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

Скорочена інформація про документ
dc.contributor.advisorРоманкевич, Олексій Михайлович
dc.contributor.authorМережко, Іван Петрович
dc.date.accessioned2022-12-29T11:08:34Z
dc.date.available2022-12-29T11:08:34Z
dc.date.issued2022-12
dc.description.abstractenThe relevance of the topic is due to the increase in the volume of processed information, the requirements for the speed of its processing and the reliability of the hardware and software tools used for these purposes. In connection with these main information processing systems and especially control systems are designed to be fault-tolerant, multi-processor and reconfigurable, and the scope of use of fault-tolerant multi-processor computing systems and control systems is expanding more and more. The widest distribution of such systems is supported in those cases where failures and malfunctions of equipment can lead to large financial losses, environmental disasters and human casualties (banking systems, nuclear power plants, aircraft control and medical systems, etc.). When developing fault-tolerant multiprocessor systems (FMS), it is very important to choose the most optimal structure option from the point of view of reliability and cost even at the design and application stages of the so-called "bottlenecks". For this, it is necessary to create mathematical models that adequately reflect the behavior of the VBS in failure flows and to develop methods for estimating the reliability parameters of the VBS based on these models, which can obtain the result obtained at the accepted time by available computing means. The object of research is fault-tolerant systems that have many elements, or FBS (fault-tolerant multiprocessor systems). The subject of research are methods and algorithms for building GL-models for complex systems that have certain criteria. The goal of the work. Create a modification of the algorithm for building Gl-models for complex systems, where some processors can take over the work of others during their failure. Research methods. The paper deals with the theory of graphs and the algorithm for building GL-models. Scientific news will not be able to modify the existing algorithm, which made it possible to more effectively create GL-models for a system with a certain criterion. The practical value of the modified algorithm is that it allows more efficient construction of GL models, which in turn allows faster and more accurate calculation of system reliability. Approbation of work. The materials of the work are presented at the annual scientific and technical conference of master's students of the department of SCS FPM NTUU "KPI" PMK-2022 and at the IX International scientific and technical Internet conference "Modern methods, information, software and technical support of management systems of organizational, technical and technological complexes". Structure and scope of work. The introduction substantiates the relevance of the topic of the work, formulates the purpose and task of the research. Chapter 1 provides information about VBS and translated the main concepts and characteristics of reliability theory. Section 3 presents well-known methods for calculating the reliability of basic VBS (so-called k-out-of-n) systems. Section 4 shows a modified algorithm for a system with a certain criterion, as well as examples. In the conclusions, general conclusions on the work are made, the obtained results are analyzed. Appendix 1 contains copies of graphic material. The attestation master's work is presented on 90 pages and consists of an introduction, 4 chapters, a conclusion and contains 6 figures, 15 tables, a list of used sources from 24 names.uk
dc.description.abstractukАктуальність теми обумовлена збільшенням обсягів оброблюваної інформації, вимогам до швидкості її обробки і до надійності апаратних і програмних засобів, що використовуються для цих цілей. У зв'язку з цими обставинами системи обробки інформації і особливо системи управління проектуються відмовостійкими, багатопроцесорними і реконфігурованими, а сфера використання відмовостійких багатопроцесорних обчислювальних систем і систем управління все більше і більше розширюється. Найбільш широке поширення такі системи отримують у тих областях, де відмови і збої апаратури можуть привести до великих фінансових збитків, екологічних катастроф і людських жертв (банківські системи, атомні електростанції, системи управління літаків і ракет, медичні системи та ін). При розробці відмовостійких багатопроцесорних систем (ВБС) дуже важливо вибрати найбільш оптимальний з точки зору надійності і вартості варіант структури ще на етапах проектування та визначити його так звані «вузькі» місця. Для цього необхідно створювати математичні моделі, що адекватно відбивають поведінку ВБС у потоці відмов і розробляти методи оцінки параметрів надійності ВБС на основі цих моделей, що дозволяють отримати результат обчислень в прийнятний час доступними обчислювальними засобами. Об'єктом дослідження є багатопроцесорні системи у тому числі відмовостійкі та їх моделі поведінки у потоці відмов. Предметом дослідження є методи і алгоритми будування GL-моделей для складних систем, що використовуються для розрахунку параметрів надійності. Мета роботи. Модифікація алгоритму будування GL-моделей для складних відмовостійких реконфігуровних систем, де лише частина процесорів може брати на себе роботу інших під час їх відмови. Методи дослідження. В роботі використовуються теорія графів та алгоритм будування GL-моделей, математична логіка, теорія автоматів. Наукова новизна полягає в модифікації існуючого способу будування GL-моделей, яка дозволить створювати більш прості GL-моделі, зокрема з меншою кількістю ребер. Практична цінність модифікованого алгоритму полягає в тому, що вихідний граф має меншу кількість ребер, що дозволяє розраховувати надійність системи з більшою точністю. Апробація роботи. Матеріали роботи були представленні на щорічній науково-технічній конференції магістрантів кафедри СКС ФПМ НТУУ "КПІ" ПМК-2022 і на IX Міжнародна науково-технічна Internet-конференція «Сучасні методи, інформаційне, програмне та технічне забезпечення систем керування організаційно-технічними та технологічними комплексами». Структура і обсяг роботи. У вступі обґрунтовується актуальність теми роботи, формулюється мета і завдання дослідження. У розділі 1 наведені відомості про ВБС та переведенні основні поняття та характеристики теорії надійності . У розділі 2 описано алгоритми будування графо-логічних моделей (GL-моделей) для базових ВБС 2-відмовостійких систем. Показано загальний підхід будування моделей для таких систем. У розділі 3 розглянуті відомі методи розрахунку надійності базових ВБС (так званих k-out-of-n) систем. У розділі 4 показана розроблена модифікація алгоритму будування GL-моделей. Наведені порівняльні приклади будування GL-моделей простим та модифікованим алгоритмами. У висновках зроблено загальні висновки по роботі, проаналізовано отримані результати. У додатку 1 наведено копії графічного матеріалу. Атестаційна магістерська робота представлена на 90 сторінках і складається з введення, 4 розділів, висновку і містить 6 рисунків, 15 таблиць, список використаних джерел з 24 найменувань.uk
dc.format.page90 с.uk
dc.identifier.citationМережко, І. П. Модифікація способу формування GL-моделей для складних систем : магістерська дис. : 123 Комп'ютерна інженерія / Мережко Іван Петрович. – Київ, 2022. – 90 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/51578
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectбагатопроцесорні відмовостійкі системиuk
dc.subjectGL-модельuk
dc.subjectнадійністьuk
dc.subjectGRAPH-LOGuk
dc.subject.udc004.005uk
dc.titleМодифікація способу формування GL-моделей для складних системuk
dc.typeMaster Thesisuk

Файли

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

Зібрання

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