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

Постійне посилання зібрання

https://ela.kpi.ua/handle/123456789/21893

Переглянути

Перегляд Магістерські роботи (СПСКС) за Ключові слова "004.005"

Зараз показуємо 1 - 2 з 2
  • Ескіз
    ДокументВідкритий доступ
    Модифікація способу формування GL-моделей для складних систем
    (КПІ ім. Ігоря Сікорського, 2022-12) Мережко, Іван Петрович; Романкевич, Олексій Михайлович
    Актуальність теми обумовлена збільшенням обсягів оброблюваної інформації, вимогам до швидкості її обробки і до надійності апаратних і програмних засобів, що використовуються для цих цілей. У зв'язку з цими обставинами системи обробки інформації і особливо системи управління проектуються відмовостійкими, багатопроцесорними і реконфігурованими, а сфера використання відмовостійких багатопроцесорних обчислювальних систем і систем управління все більше і більше розширюється. Найбільш широке поширення такі системи отримують у тих областях, де відмови і збої апаратури можуть привести до великих фінансових збитків, екологічних катастроф і людських жертв (банківські системи, атомні електростанції, системи управління літаків і ракет, медичні системи та ін). При розробці відмовостійких багатопроцесорних систем (ВБС) дуже важливо вибрати найбільш оптимальний з точки зору надійності і вартості варіант структури ще на етапах проектування та визначити його так звані «вузькі» місця. Для цього необхідно створювати математичні моделі, що адекватно відбивають поведінку ВБС у потоці відмов і розробляти методи оцінки параметрів надійності ВБС на основі цих моделей, що дозволяють отримати результат обчислень в прийнятний час доступними обчислювальними засобами. Об'єктом дослідження є багатопроцесорні системи у тому числі відмовостійкі та їх моделі поведінки у потоці відмов. Предметом дослідження є методи і алгоритми будування 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 найменувань.
  • Ескіз
    ДокументВідкритий доступ
    Структурний метод синтезу джерела послідовності тестових векторів
    (2018-12) Манілевич, Дмитро Федорович; Потапова, Катерина Романывна
    Актуальність теми. Без цифрових систем зараз важко собі уявити розвиток людства. Вони знаходять використання майже в будь-якій галузі: від смартфона в кишені до управління величезним лайнером. Від їх справної роботи можуть залежать як майно, так і життя багатьох людей. Враховуючи це, важливою частиною розробки таких систем стає розрахунок їх надійності. Основним способом тестування цифрових систем є генерування спеціальних впливів на об’єкт та аналіз його реакції. Найбільшого розповсюдження здобули послідовності псевдовипадкових сигналів. Одним із основних способів отримання таких послідовностей є генератори псевдовипадкових послідовностей, що використовують цифровий спосіб формування послідовностей. Генератори таких послідовностей мають ряд переваг над фізичними генераторами випадкових чисел. При цьому важливою задачею є оптимізація тестування. Цифрові системи складаються з багатьох різних елементів, тому змога настроювати розподіл тестових наборів у відповідності до ймовірностей відмов елементів системи може призвести до оптимізації процесу тестування. Об’єктом дослідження є методи структурної генерації послідовностей двійкових векторів. Предметом дослідження є процес синтезу джерела послідовності двійкових векторів, моделювання його функціонування. Мета роботи полягає в розробці методу синтезу джерела послідовності двійкових векторів постійної ваги з розподілом одиничних значень у вихідних векторах, що відповідає заданим ймовірнісним характеристикам. Методи дослідження. В роботі використовуються методи проектування джерел псевдовипадкових двійкових чисел, методи теорії ймовірності, методи дискретної математики. Наукова новизна роботи полягає в наступному: Розроблено новий метод синтезу керованого генератора послідовності двійкових векторів з постійною вагою з розподілом одиничних значень у вихідних векторах, що відповідає вхідним ймовірнісним параметрам. Практична цінність отриманих в роботі результатів полягає в використанні отриманого генератора для оптимізації процесу проведення статистичних тестів з моделями неоднорідних цифрових систем. Апробація роботи. Основні положення і результати роботи були представлені та обговорювались на XI науковій конференції молодих вчених «Прикладна математика та комп’ютинг» ПМК-2018-2 (Київ, 14-16 листопада 2018 р.) та на 20-й Міжнародній науково-технічній конференції SAIT 2018 (Київ, 21-24 травня 2018 р.) Структура та обсяг роботи. Магістерська дисертація складається з вступу, трьох розділів, висновків та додатків. У вступі надано загальну характеристику роботи. У першому розділі виконано оцінку сучасного стану проблеми, обґрунтовано актуальність напрямку досліджень, сформульовано мету дослідження, розглянуто різноманітні методи отримання псевдовипадкових чисел. У другому розділі розглянуто особливості використання псевдовипадкових послідовностей для формування тестових наборів, генератори псевдовипадкових тестових наборів, тестові послідовності спеціального виду, їх генерація та використання у статистичних тестах з моделями цифрових систем, основні аспекти нового методу. У третьому розділі містяться основні положення нового методу, опис програмного продукту, аналіз роботи програмної моделі. У висновках представлені загальні висновки та результати аналізу роботи моделі. Робота виконана на 86 аркушах, містить __ додатків та посилання на список використаних літературних джерел з 9 найменувань. У роботі наведено 28 рисунків та 4 таблиці.