ПР200 на четырёхзначной логике

[МихаилГл]

МихаилГл Я чот подумал, глядя на это.
Я без претензий.
А не получится это всё как-то хитро формализовать? Бахнуть какой-то массив, в него подсунуть данные из этого массива и все эти AND ещё и в цикле вычислять?
Я имею ввиду что-то типа внутреннго таблично-массивного скриптового языка, чтобы там можно было описать условия красиво табличкой =)

Так и сделано, просто это на визуализацию плк выводится.

А индекс я использую уже из массива:

	For_Ind_00X1:		ARRAY [0..16] OF DWORD:=   [    16#FFFFFFFF,       16#FF808080,    16#FFFFFFFF,           16#FFFFFF80,           16#FFFFFF80,   16#FFFFFF80,   16#FFFFFF80, 16#FF80FF80, 16#FF80FF80,       16#FFFFFF80,       16#FFFFFF80,       16#FFFF0000, 16#FFFF0000, 16#FFFF0000,       16#FFFF8080, 16#FFFF8080, 16#FFFF8080];
	For_Ind_00X2:		ARRAY [0..16] OF DWORD:=   [    16#FFFFFFFF,       16#FF808080,    16#FFFFFFFF,           16#FFFFFF80,           16#FFFFFF80,   16#FFFFFF80,   16#FFFFFF80, 16#FF80FF80, 16#FF80FF80,       16#FFFFFF80,       16#FFFFFF80,       16#FFFF0000, 16#FFFF0000, 16#FFFF0000,       16#FFFF8080, 16#FFFF8080, 16#FFFF8080];
	For_Ind_00X3:		ARRAY [0..16] OF WSTRING:= ["НЕ ОПРЕДЕЛЕНО", "НЕ В ГОТОВНОСТИ", "В ГОТОВНОСТИ", "ПРЕДПУСКОВАЯ СИГН-Я", "ПРЕДПУСКОВАЯ СИГН-Я", "ЗАПУСКАЕТСЯ", "ЗАПУСКАЕТСЯ",  "В РАБОТЕ",  "В РАБОТЕ", "ОСТАНАВЛИВАЕТСЯ", "ОСТАНАВЛИВАЕТСЯ",          "АВАРИЯ",    "АВАРИЯ",    "АВАРИЯ",          "АВАРИЯ",    "АВАРИЯ",    "АВАРИЯ"];
	For_Ind_00X4:		ARRAY [0..16] OF DWORD:=   [    16#FFFFFFFF,       16#FF808080,    16#FFFFFFFF,           16#FFFFFF80,           16#FFFFFF80,   16#FFFFFF80,   16#FFFFFF80, 16#FF80FF80, 16#FF80FF80,       16#FFFFFF80,       16#FFFFFF80,       16#FFFF0000, 16#FFFF0000, 16#FFFF0000,       16#FFFF8080, 16#FFFF8080, 16#FFFF8080];
	For_Ind_00X5:		ARRAY [0..16] OF DWORD:=   [    16#FFFFFFFF,       16#FF808080,    16#FFFFFFFF,           16#FFFFFFFF,           16#FFFFFFFF,   16#FF80FF80,   16#FF80FF80, 16#FF80FF80, 16#FF80FF80,       16#FF80FF80,       16#FF80FF80,       16#FFFF0000, 16#FFFF0000, 16#FFFF0000,       16#FFFF8080, 16#FFFF8080, 16#FFFF8080];
	For_Ind_00X6:		ARRAY [0..16] OF WSTRING:= ["НЕ ОПРЕДЕЛЕНО",                "",   "ОСТАНОВЛЕН",              "ВПЕРЕД",               "НАЗАД",      "ВПЕРЕД",       "НАЗАД",    "ВПЕРЕД",     "НАЗАД",          "ВПЕРЕД",           "НАЗАД", "НЕ В ГОТОВНОСТИ",    "ВПЕРЕД",     "НАЗАД", "НЕ В ГОТОВНОСТИ",    "ВПЕРЕД",     "НАЗАД"];

И далее общая программка, которая раньше была в 300 строк:

FOR Ind_01:= 1 TO Num_Of_Mec DO
	//----------1ый индикатор----------
	InfoX[1, Ind_01].Info_Color_A:= For_Ind_00X1[Ind_00X[Ind_01]];
	InfoX[1, Ind_01].Info_Color_B:= For_Ind_00X2[Ind_00X[Ind_01]];
	InfoX[1, Ind_01].Info_Text:= For_Ind_00X3[Ind_00X[Ind_01]];
	InfoX[1, Ind_01].Text_Color_X:= 16#FF000000 + 16#00FFFF00 * TO_UDINT(Ind_00Y[Ind_01]) * TO_UDINT(Info_Color_X);
	//----------2ой индикатор----------
	InfoX[2, Ind_01].Info_Color_A:= For_Ind_00X4[Ind_00X[Ind_01]];
	InfoX[2, Ind_01].Info_Color_B:= For_Ind_00X5[Ind_00X[Ind_01]];
	InfoX[2, Ind_01].Info_Text:= For_Ind_00X6[Ind_00X[Ind_01]];
	InfoX[2, Ind_01].Text_Color_X:= 16#FF000000 + 16#00FFFF00 * TO_UDINT(Ind_00Y[Ind_01]) * TO_UDINT(Info_Color_X);
END_FOR

Короче мне уже надоело оптимизировать, надо уже сдавать объект.

PS Можно в принципе и условия состояний в массив запихнуть, и вместо 17 строк одну... Но это уже не в этом проекте

[МихаилГл]

IF Концевой датчик открытия в сработке OR Концевой датчик закрытия в сработке
Задвижка = СТОП
END

Неприемлемо. Согласно этого условия задвижка никуда не поедет после сработки концевого, никогда и уже ни в какую сторону. Так как всегда выдается стоп. А если это только состояние, то нафиг оно вообще, так как для системы важны 2 состояния, в каком именно крайнем она стоит.

[МихаилГл]

Я конечно понимаю, пол часа позора, и ты кандидат наук... Как у нас говорил один профессор. Но лучше вам не упоминать нигде про четырехзначную и пр. Введите свою формулировку понятий, как выше сами уже начали. А 4хзначность это не об этой теме. Вы похоже сами запутались, или ваш наставник вас запутал.

[Geenerator]

Я конечно понимаю, пол часа позора, и ты кандидат наук... Как у нас говорил один профессор. Но лучше вам не упоминать нигде про четырехзначную и пр. Введите свою формулировку понятий, как выше сами уже начали. А 4хзначность это не об этой теме. Вы похоже сами запутались, или ваш наставник вас запутал.

Давайте введём терминологию

ОБЪЕКТ - это например ЗАДВИЖКА (GATE) у которого может быть 4-ре состояния 0 (00) - СТОП, 1 (01) - открывается, 2 (10) - закрывается, 3 (11) - в аварии
СОСТОЯНИЕ - то что протекает во времени. Единица информации Сет или два бита.
СОБЫТИЕ - это срабатывание дискретного датчика или переход из одного состояния в другое. Происходит мгновенно, во времени не протекает. Единица информации Бит.

Для любой задачи известен набор датчиков (событий), которые могут произойти.
1. Исходя из известных событий необходимо определить СОСТОЯНИЕ объекта

IF событие1 оr событие2
GATE = 0
END

IF событие1 and событие2
GATE = 1
END

IF событие2 and событие3
GATE = 2
END

IF событие4 оr событие5
GATE = 3
END

Следующий этап - это написание алгоритма перехода из одного состояния в другое. Благодаря возможностям языка ST, состояние может участвовать в логике как событие. То есть если задвижка закрывается, то состояние ЗАКРЫТИЕ может рассматриваться как событие GATE.2=true

Это простейший случая для одного ОБЪЕКТА. Таких объектов может быть несколько, например 3 задвижки и в этом случае можно в алгоритме анализировать в каком состоянии находится ОБЪЕКТЫ

IF GATE1.3=true оr GATE3.3=true
GATE3 = 3
END

[1exan]

Давайте введём терминологию

ОБЪЕКТ - это например ЗАДВИЖКА (GATE) у которого может быть 4-ре состояния 0 (00) - СТОП, 1 (01) - открывается, 2 (10) - закрывается, 3 (11) - в аварии
СОСТОЯНИЕ - то что протекает во времени. Единица информации Сет или два бита.
СОБЫТИЕ - это срабатывание дискретного датчика или переход из одного состояния в другое. Происходит мгновенно, во времени не протекает. Единица информации Бит.

Для любой задачи известен набор датчиков (событий), которые могут произойти.
1. Исходя из известных событий необходимо определить СОСТОЯНИЕ объекта

IF событие1 оr событие2
GATE = 0
END

IF событие1 and событие2
GATE = 1
END

IF событие2 and событие3
GATE = 2
END

IF событие4 оr событие5
GATE = 3
END

Следующий этап - это написание алгоритма перехода из одного состояния в другое. Благодаря возможностям языка ST, состояние может участвовать в логике как событие. То есть если задвижка закрывается, то состояние ЗАКРЫТИЕ может рассматриваться как событие GATE.2=true

Это простейший случая для одного ОБЪЕКТА. Таких объектов может быть несколько, например 3 задвижки и в этом случае можно в алгоритме анализировать в каком состоянии находится ОБЪЕКТЫ

IF GATE1.3=true оr GATE3.3=true
GATE3 = 3
END

Дарю следующий этап - объект с событиями, состояниями, переходами и даже таймером

[Geenerator]

Дарю следующий этап - объект с событиями, состояниями, переходами и даже таймером

В целом идея понята правильно. Если вы хотите просто состояния, которые определяются событиями с различными наворотами, то это автоматы состояний. Если задействовать логические состояния, то их может быть только четыре для каждого объекта.

[Николай Суриков]

...Если задействовать логические состояния, то их может быть только четыре для каждого объекта.

1d60bf9s-480.jpg
Почему четыре? В чем преимущество?

[melky]

из 4-х бит называется тетрада. Ну и напишите полу-тетрада

[melky]

Сет = ByteX and 3

IF (Сет > 0)
IF (Сет > 0 || Сет < 3)
IF (Сет == 0 )
IF (Сет == 3 )

кто-то мешает ? И наверное правильнее не Объект, а Устройство тут. Хотя мне пофигу...

[Geenerator]

Сейчас хочу показать небольшой фокус, который показывает что двоичная логика на самом деле является троичной

Если следовать И - ЦЗИН, то в начале всего лежит НЕОПРЕДЕЛЁННОСТЬ, которая разделяется на две составляющие ИНЬ и ЯН

То есть 1 и 0 обладают изначальным состоянием - философия однако.