Алгебраический синтез контрольных наборов. Корнилов А.Г. - 4 стр.

модель имеет (N+I) возможных взаимоисключающих состояний:
     S0, S1, S2, …, Si, …, SN,
где S0 - состояние модели, характеризующееся тем, что все элемен-
ты работоспособны;
     Si - состояние модели, характеризующееся тем, что отказал i-й
элемент (остальные элементы работоспособны).

     Матричные виды модели
     Графовый вид модели мало пригоден для машинной обработ-
ки. Поэтому часто применяются матричные виды функционально-
логической модели. Существует три вида матричных моделей
       ⏐АНС⏐-матрица непосредственных связей,
       ⏐Аn⏐- матрица путей,
       ⏐А нспр ⏐- матрица неисправностей.
      1). Для получения матричной модели вида ⏐АНС⏐ необходимо:
      Построить матрицу, у которой число строк и столбцов одина-
ково и равно числу элементов модели и заполнить её по следующе-
му правилу: элемент матрицы ⏐АНС⏐, стоящий на пересечении i-го
столбца и j-й строки, равен 1, если с выхода i-го элемента модели по
направлению стрелки имеется непосредственная связь на вход j-го
элемента, и равен 0, если такой связи нет. На рис.2 показана матри-
ца ⏐АНС⏐ для рассматриваемой ФЛМ.
      2). Для получения матричной модели вида ⏐Аn⏐ необходимо
построить матрицу, у которой число строк и столбцов одинаково и
равно числу элементов модели N и заполнить её по следующему
правилу: элемент матрицы ⏐Аn⏐ , стоящий на пересечение i-го
столбца матрицы и j-й строки равен 1, если имеется либо непосред-
ственная связь, либо транзитивная (через другие элементы) по на-
правлении стрелки с выхода i-го элемента, на вход j-го элемента, и
равен нулю, если такой связи нет. На рис.З показана матрица ⏐Аn⏐
для рассматриваемой ФЛМ.
      Отличительной особенностью матриц ⏐АНС⏐ и ⏐Аn⏐является
то, что они имеют единичную диагональ (обусловленную наличием
обратной связи);
      3) Для получения матричной модели вида ⏐А нспр ⏐ необходимо
построить матрицу, у которой число столбцов равно N+1, число
строк - N и заполнить её по следующему правилу:
      1-й столбец матрицы путей ⏐Аn⏐ инвертируется (нули заме-
няются единицами, единицы - нулями) и записывается в качестве
первого столбца матрицы ⏐А нспр ⏐. Аналогично записываются 2, 3