2.3. Синтез управляющих логических устройств с кодированием состояний.
1. Синтез блока памяти.
1 этап. Противогоночное кодирование графа переходов.
2 этап. Определение числа элементов памяти в блоке памяти по закодированному графу переходов.
= 3.
2. Синтез блока логических условий
3. Синтез блока дешифратора состояний блока памяти и блока выхода.
На элементах «ИЛИ»
Полученные структурные формулы упрощаются по возможности, используя известные законы алгебры логики и методы минимизации, например:
На RS-триггерах
4. Программа на языках FBD.
Список переменных программы
Variable name |
Type |
Address |
A |
BOOL |
|
В |
BOOL |
|
С |
BOOL |
|
Ic |
BOOL |
000004 |
NU |
BOOL |
100004 |
P |
BOOL |
100002 |
Роk |
BOOL |
100006 |
T |
BOOL |
100005 |
Un |
BOOL |
000001 |
Uzo |
BOOL |
000002 |
Uzz |
BOOL |
000003 |
VU |
BOOL |
100001 |
Ysb |
BOOL |
100008 |
ZO |
BOOL |
100003 |
ZZ |
BOOL |
100007 |
Примечание: Блок FBI_1_27 (RS1) является RS-триггером, на выходе которого устанавливается единичное выходное значение при запуске контроллера, что соответствует начальному состоянию на закодированном графе переходов (триггеры АВС находятся в состоянии 100).
5. Программа на языке LD
Список переменных
Variable name |
Type |
Address |
Initial value |
A |
BOOL |
|
TRUE |
В |
BOOL |
|
|
С |
BOOL |
|
|
Ic |
BOOL |
000004 |
|
NU |
BOOL |
100004 |
|
P |
BOOL |
100002 |
|
Роk |
BOOL |
100006 |
|
Ra |
BOOL |
|
|
Rb |
BOOL |
|
|
Rc |
BOOL |
|
|
RUn |
BOOL |
|
|
Sa |
BOOL |
|
|
Sb |
BOOL |
|
|
Sc |
BOOL |
|
|
SUn |
BOOL |
|
|
T |
BOOL |
100005 |
|
Un |
BOOL |
000001 |
|
Uzo |
BOOL |
000002 |
|
Uzz |
BOOL |
000003 |
|
VU |
BOOL |
100001 |
|
Ysb |
BOOL |
100008 |
|
ZO |
BOOL |
100003 |
|
ZZ |
BOOL |
100007 |
|
Примечание: Начальное значение переменной A равно TRUE, что соответствует начальному состоянию на закодированном графе переходов (триггеры АВС находятся в состоянии 100).