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

UptoLike

ВУЗ: 

КНИТУ-КАИ им. Туполева | Казань

Составители: 

Рубрика: 

рис.5 показана матрица ⏐А
рnс
⏐ и результаты её логического анали-
за.
Алгоритм построения контрольных наборов
Алгоритм построения контрольных наборов состоит из вы-
полнения следующих последовательных шагов:
1. Построение матрицы неисправностей ⏐А
нспр
⏐.
2. Построение и логический анализ матрицы различимости
пар состояний ⏐А
рnс
⏐.
3. Определение характерных для рассматриваемого кон-
трольного набора пар состояний
4. Запись (построение) логической функции
f
пог
.
5. Упрощение логической функции f
пог
.
6. Определение минимального контрольного набора.
Исходя из назначения контрольных наборов можно устано-
вить, что :
1) для построения контрольного набора Н
ор
(ДЛЯ РАССМАТРИ-
ВАЕМОГО НИЖЕ ПРИМЕРА
) характерными являются строки, со-
ответствующие следующим парам состояний: S
1
S
0
, S
2
S
0
,
S
3
S
0
, S
4
S
0.
2) для построения контрольного набора Н
D
характерными яв-
ляются строки, соответствующие следующим парам со-
стояний: S
1
S
2
, S
1
S
3
, S
1
S
4
, S
2
S
3
, S
3
S
4
, S
2
S
4
.
3) для построения контрольного набора Н
n
характерными
являются все строки матрицы ⏐А
рnс
⏐.
Логическая функция записывается в виде
f
пог
=ПΣπ
i
,
где Σπ
i
- логические суммы пар, характерных для рассматриваемого
контрольного набора.
Упрощение логической функции f
пог
в основном осуществля-
ется с помощью табличных формул и сводится к преобразованию её
к виду
f
пог
= Σ П π
i
,
Любое произведение из этой суммы может быть принято за
искомый контрольный набор. Выбирается контрольный набор, со-
держащий наименьшее число проверок.
Формулы упрощения имеют вид
π
к
⋅ π
к
= π
к
рис.5 показана матрица ⏐Арnс⏐ и результаты её логического анали-
за.

     Алгоритм построения контрольных наборов

     Алгоритм построения контрольных наборов состоит из вы-
полнения следующих последовательных шагов:
     1. Построение матрицы неисправностей ⏐А нспр ⏐.
     2. Построение и логический анализ матрицы различимости
        пар состояний ⏐Арnс⏐.
     3. Определение характерных для рассматриваемого кон-
        трольного набора пар состояний
      4. Запись (построение) логической функции fпог.
      5. Упрощение логической функции fпог.
      6. Определение минимального контрольного набора.
      Исходя из назначения контрольных наборов можно устано-
вить, что :
      1) для построения контрольного набора Нор (ДЛЯ РАССМАТРИ-
          ВАЕМОГО НИЖЕ ПРИМЕРА) характерными являются строки, со-
          ответствующие следующим парам состояний: S1S0, S2S0,
          S3S0, S4S0.
      2) для построения контрольного набора НD характерными яв-
          ляются строки, соответствующие следующим парам со-
          стояний: S1S2, S1S3, S1S4, S2S3, S3S4, S2S4.
      3) для построения контрольного набора Нn характерными
          являются все строки матрицы ⏐Арnс⏐.
      Логическая функция записывается в виде
          fпог=ПΣπi,
где Σπi - логические суммы пар, характерных для рассматриваемого
контрольного набора.
      Упрощение логической функции fпог в основном осуществля-
ется с помощью табличных формул и сводится к преобразованию её
к виду
          fпог= Σ П πi,
      Любое произведение из этой суммы может быть принято за
искомый контрольный набор. Выбирается контрольный набор, со-
держащий наименьшее число проверок.
      Формулы упрощения имеют вид
          πк ⋅ πк = πк

Страницы