Рабах М. А. Методи та засоби підвищення ефективності моделей поведінки відмовостійких багатопроцесорних систем у потоці відмов

Дисертація присвячена розробці методів та засобів, що дають можливість більш ефективно виконувати експерименти з графо-логічними моделями відмовостійких багатопроцесорних систем у потоці відмов з метою підвищення точності розрахунку їх надійності. Виконано дослідження особливостей моделей 2-стійких ВБС, доказано низку тверджень, що визначають деякі характеристики таких моделей та надають можливість дослідникові проектувати моделі, оптимізовані за критерієм мінімального числа ребер, що втрачаються при появі вектора стану системи з 3-ма нулями. Для ВБС та їх моделей загального характеру запропоновано алгоритм мінімізації, що зменшує час кожного випробування і, тим самим, збільшити їх кількість, що у свою чергу дає можливість підвищити точність розрахунку надійності ВБС методом проведення статистичних експериментів. Запропоновано схему генератора псевдовипадкових векторів рівної ваги, що може бути джерелом векторів стану ВБС під час статистичних випробувань