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

          πк v πк (πl v πt v … πr)= πк.
        Для проверки правильности полученных с помощью алго-
ритма контрольных наборов строится специальная проверочная
матрица (для каждого набора своя). Проверочная матрица состоит
из трех строк матрицы неисправностей, которые соответствуют
проверкам, образующим проверяемый контрольный набор (см. рис.
6, 7, 8).
       Просматривая столбцы матрицы, можно проверить, отличает
ли проверяемый набор друг от друга те состояния, которые, он дол-
жен отличать. Если отличает - набор найден правильно, если нет -
где-то совершена ошибка.




     Задание для самостоятельной работы: получите у преподава-
теля вид ФЛМ, используя алгебраический метод, постройте кон-
трольные наборы.

     Контрольные вопросы
     1. Чем отличается матрица путей от матрицы непосредствен-
        ных связей?
     2. Объясните, как определить пары состояний, характерные
        для определения контрольных наборов НОР, НD, Hn.
     3. Объясните, как осуществляется упрощение функции fпог.
     4. Как можно проверить правильность найденного контроль-
        ного набора?