Правила условного локального самоопределения и алгоритм диагностирования мультипроцессорной системы с циркулянтной диагностической структурой на их основе

Рассматривается локальное диагностирование на системном уровне для мультипроцессорных (модульных) вычислительных систем (ВС) при множественных неисправностях. ВС имеет циркулянтную диагностическую структуру. Исходы тестов, выполняемых неисправными модулями, соответствуют известной модели Препараты, Метца и Чжена. Задача диагностирования сформулирована как задача определения хотя бы одного фактически исправного модуля, с помощью которого определяется состояние системы в целом. Введены условия выделения множества модулей, которое заключает в себе все присутствующие в системе неисправные модули. Описан алгоритм самодиагностирования системы. Доказано, что использование этого алгоритма, позволяет достичь локальной $t$-диагностируемости ВС с циркулянтной диагностической структурой для любых значений числа $N$ модулей и кратности $t$ неисправностей, удовлетворяющих условию $N\geq2t+1$.