Пошук академічних текстів

Інформація × Реєстраційний номер 0418U002551, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 17-05-2018 Статус Запланована Назва роботи Математичне та програмне забезпечення для дискретно-неперервного стохастичного моделювання відмовостійких програмно-технічних комплексів Здобувач Волочій Сергій Богданович, Керівник Федасюк Дмитро Васильович Опонент Харченко В’ячеслав Сергійович Опонент Дивак Микола Петрович Опис У дисертаційній роботі розв’язано актуальне наукове завдання розроблення математичного та програмного забезпечення для автоматизації процесу побудови ди¬скретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів у вигляді графа станів та переходів. В основу математичного забезпечення покладено структурно-автоматну модель. Розроблене математичне забезпечення включає в себе: метод визначення компонент структурно-автоматних моделей на основі опорного графа станів та переходів, метод побудови опорного графа станів та переходів на основі базових подій, метод валідації структурно-автоматних моделей поведінки відмовостійких програмно-технічних комплексів, метод модифікації структурно-автоматних моделей для використання методу фаз Ерланга. Ці методи покладені в основу методик реалізації окремих етапів розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів. На основі цих методик розроблено алгоритми роботи програмних модулів «Побудова опорного графа станів на основі базових подій», «Визначення компонент структурно-автоматних моделей на основі опорного графа станів», «Валідація структурно-автоматних моделей». Дата реєстрації 2018-05-17 Додано в НРАТ 2020-04-03 Закрити