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

Дисертація присвячена подальшому розвитку теоретичних засад розробки та використання GL-моделей поведінки відмовостійких багатопроцесорних систем (ВБС) у потоці відмов для розрахунку надійності таких систем шляхом виконання статистичних експериментів з моделями. Досліджуються питання спрощення моделей. Пропонується вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної за тим чи іншим критерієм моделі. За критерієм мінімуму числа ребер, що втрачаються моделлю при появі вектора стану, що має m+1 нульову компоненту, ВБС, стійкої до m відмов, розроблено алгоритм, що дає оптимальну модель без будь якого перебору. Введено поняття впорядкованості реберних функцій моделі. Для випадку m=3 будується спеціальне дерево, яке дозволяє сформулювати умови існування попарних реберних циклів (ПРЦ), що ускладнюють перетворення моделей. На базі цих умов запропоновано алгоритм пошуку ПРЦ, що виникають при перетворенні моделей. Пропонується нова GL-модель, яка будується на базі декількох 4-реберних графів, в ній не виникають ПРЦ, і вона значно спрощує перетворення моделей.