3.11 Автоматный граф

Составим таблицу переходов.

Таблица 2 - Таблица переходов.

Состояние	входы
	0000	0001	0010	0100	1000
Z0	Z0	Z1	Z2	Z3	Z4
Z1	Z0	Z1	Z2	Z3	Z4
Z2	Z0	Z1	Z2	Z3	Z4
Z3	Z0	Z1	Z2	Z3	Z4
Z4	Z0	Z1	Z2	Z3	Z4

Составим соответствующую таблицу выходов.

Таблица 3 - Таблица выходов.

Состояние	выходы
	0000	0001	0010	0100	1000
Z0	0000	1000	0100	0010	0001
Z1	0000	1000	0100	0010	0001
Z2	0000	1000	0100	0010	0001
Z3	0000	1000	0100	0010	0001
Z4	0000	1000	0100	0010	0001

Таблица переходов является удобной формой представлений функции переходов, а соответствующая ей таблица выходов отражает свойства функции выходов.

При заполнении автоматной таблицы выявляется следующий недостаток - это их большой объем.

3.12 Секвенциальное представление

С еквенциальное описание учитывает причинно-следственную связь, которая порождает секвенциальный набор.

Знак секвенции означает, что если левая часть истина, то и правая часть истина. Главное преимущество этого метода состоит в том, что он лишен недостатков автоматных таблиц.

Составим секвенциальное представление для таблицы переходов:

Для таблицы выходов:

3 .13 Представление всего алгоритма

Матричные схемы алгоритма

Они представляют собой матрицу размером NxN, где N-число операторов в алгоритме. Элемент матрицы _ij=1, если после i-ro оператора выполняется j-й оператор, в противном случае _ij =0.

В каждой строке функционального оператора имеется только одна единица, в строке логических операторов ветвления содержится две единицы (жирная- переход по 1, тонкая-переход по 0). Недостатком является разреженность матрицы, т. е. большое количество разреженных элементов. Являются модификацией ЯЛС.

Представление всего алгоритма на языке логических схем:

Р1 - Контроль работы датчиков (да/нет)

А2 - Ввод исходных данных (Тц, nl, п2, N1, N2  - весовой коэффициент, В)

АЗ - Блок начальных засылок

А4 - Запуск таймера, фиксация t_k

А5 - Опрос датчиков (Тсп, Рcп)

А6 - Алгоритм фильтра сигналов (среднего арифметического (Тсп, Рcп))

А7 - Допусковый контроль значений

А8 - Допусковый контроль скорости изменения

А9 - Накопление выборки

Р10 - Выборка накоплена? (да/нет)

All -Расчет критерия Диксона (наличие выбросов)

А12 - Расчет критерия Аббе ( наличие дрейфа)

А13 - Проверка на наличие повышенного уровня шума

А14 - Сдвиг выборки

А15 - Формирование строки состояния

Р16 - Строка нулевая (да/нет)

А17 - Блок логики

А18 - Выдача информации оператору

А19 - Обращение к таймеру (t=t_H-tk)

Р20 - t>Т_ц(да/нет)

Р 21 - Расчет окончен? (да/нет)

S - Выход.

Представление всего алгоритма методом MCA

Таблица 4 - Представление алгоритма методом MCA.

Р1

А2

АЗ

А4

А5

А6

А7

А8

А9

Р10

All

А12

А13

А14

А15

Р16

А17

А18

А19

Р20

Р21

S

Р1

1

1

А2

1

АЗ

1

А4

1

А5

1

А6

1

А7

1

А8

1

А9

1

Р10

1

1

All

1

А12

1

А13

1

А14

1

А15

1

Р16

1

1

А17

1

А18

1

А19

1

Р20

1

1

Р21

1

S