Предложен метод преобразования циклических графологических моделей, отражающих поведение отказоустойчивых многопроцессорных систем в потоке отказов, путем модификации их реберных функций. Приведены и доказаны оценки для множества блокируемых векторов состояния системы (т.е. таких векторов, на которых поведение модифицированной модели будет отличаться от базовой). Приведены также оценки для множества блокируемых векторов служебной модели, используемой при построении реберных функций базовой модели. Приведен пример модификации с моделированием предлагаемого метода. Полученное множество блокируемых векторов подтверждает соответствие теоретических оценок практическому результату.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Морозов Костянтин В'ячеславович (технічні науки)
• Фесенюк Андрій Петрович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"