III. Создание дублированной структуры:
Структура выполнена на элементах с симметричными отказами.
КС рассчитана на контроль 2/4. Если на входе схемы имеет место одно из слов КВ 2/4, на выходе её имеется парафазный сигнал. В случае поступления на вход КС запрещённого слова (не принадлежащего коду 2/4) на выходе будет нарушена парафазность.
Эта КС является самоконтролируемой и обладает двумя свойствами:
1. Контроль входного вектора.
2. Контроль внутренней структуры.
В схеме сравнения обнаруживается любой одиночный отказ.
На рисунке 3 показана дублированная структура:
a b c d |
z1 z2 |
0101 |
01 |
0110 |
10 |
1001 |
10 |
1010 |
01 |
|
Таблица № 4 |
Z1 = (a ν c) (b ν d);
Z2 = (a c) ν (b d);
Схема СС состоит из схем КС. Для кода, содержащего 32 слова (так как в варианте 17 состояний) необходимо соединить между собой 4 самопроверяемых схемы, как показано на рисунке:
S |
Y1 Y2 Y3 Y4 Y5 |
ТВ |
|
x = 0 |
x = 1 |
||
0 |
00000 |
1 |
1 |
1 |
00001 |
1 |
0 |
2 |
00010 |
1 |
0 |
3 |
00011 |
1 |
0 |
4 |
00100 |
1 |
1 |
5 |
00101 |
1 |
1 |
6 |
00110 |
1 |
0 |
7 |
00111 |
1 |
0 |
8 |
01000 |
1 |
0 |
9 |
01001 |
1 |
1 |
10 |
01010 |
1 |
1 |
11 |
01011 |
1 |
0 |
12 |
01100 |
1 |
0 |
13 |
01101 |
1 |
0 |
14 |
01110 |
1 |
1 |
15 |
01111 |
1 |
1 |
16 |
10000 |
1 |
1 |
|
|
Таблица №5 |
|
IV. Программная реализация ФАЛ:
Алгоритм строится по структурной схеме автомата Мили первого рода (выходная функция зависит от состояния внутренних функций в предыдущий момент времени):
1. Алгоритм работы автомата:
Рисунок
8.
Алгоритм работы автомата.
2. Алгоритм работы программы Automat:
3. Алгоритм работы Timer1:Timer:
Рисунок
9. Алгоритм работы таймера.
4. Алгоритм создания приложения Automat:
1. Открытие проекта.
2. Сохранение проекта.
3. Добавление файлов:
Adsapi32.lib
Data IO.cpp
Driver Data IO.h
4. Визуальное проектирование:
а). Создание объектов поле вывода:
label1_Входной набор
label2_
label3_Состояние ЭП
label4_
label5_Выходная функция
label6_
б). Создание объектов типа кнопка:
Button1_ПУСК
в). Создание объектов типа таймер:
Timer1.
enable - false 100 мсек.
г). Создание обработчиков для объектов типа форма:
On Create
On Destroy