Search academic texts

Information × Registration Number 0418U002551, Candidate dissertation Status Кандидат технічних наук Date 17-05-2018 popup.evolution o Title Software and mathematical support for the development of discrete-continuous stochastic models of behavior of fault-tolerant hardware-software complexes Author Volochii Serhii Bohdanovych, popup.head Fedasyuk Dmytro Vasylyovych popup.opponent Kharchenko Viacheslav popup.opponent Dyvak Mykola Petrovych Description У дисертаційній роботі розв’язано актуальне наукове завдання розроблення математичного та програмного забезпечення для автоматизації процесу побудови ди¬скретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів у вигляді графа станів та переходів. В основу математичного забезпечення покладено структурно-автоматну модель. Розроблене математичне забезпечення включає в себе: метод визначення компонент структурно-автоматних моделей на основі опорного графа станів та переходів, метод побудови опорного графа станів та переходів на основі базових подій, метод валідації структурно-автоматних моделей поведінки відмовостійких програмно-технічних комплексів, метод модифікації структурно-автоматних моделей для використання методу фаз Ерланга. Ці методи покладені в основу методик реалізації окремих етапів розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів. На основі цих методик розроблено алгоритми роботи програмних модулів «Побудова опорного графа станів на основі базових подій», «Визначення компонент структурно-автоматних моделей на основі опорного графа станів», «Валідація структурно-автоматних моделей». Registration Date 2018-05-17 popup.nrat_date 2020-04-03 Close