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

[Geenerator]

Боже! Человек открыл для себя Машину Состояний!

Мне просто понравилось, что я нашёл язык, на котором можно донести свои мысли

Текст из статьи
Есть события, которые описывают конкретное состояние. Затем при наступлении условий перехода, система переходит из одного состояния в другое.

Самое важное в этом примере — обработчики действий, где мы пишем большую часть логики, так как здесь описывается реакция системы на входные данные и на изменённые состояния.

Я чётко вижу преимущества наличия в проекте строго определённых состояний и переходов между ними. Мне, в ходе работы, всегда хочется сделать мои конфигурации как можно более простыми, а их код — как можно более понятным. Я уверен, что машины состояний — это шаг в правильном направлении. Её практическое использование вполне способно устранить множество ошибок, характерных для других подходов к разработке.

Если вернуться к примеру Закрытия/Открытия ворот.
Выделены состояния системы, определены условия перехода между состояниями.
Допустим есть несколько ворот, которые работают параллельно, в этом случае я могу использовать состояние первых ворот, для определения логики работы вторых ворот.

Другими словами, я предложил выделить четыре базовых состояния системы 00, 01, 10, 11 (0, 1, 2, 3). Определить условия перехода между состояниями и реакцию на входные события.

[Валенок]

Боже! Человек открыл для себя Машину Состояний!

!!

Выделены четыре состояния системы, определены условия перехода между состояниями..

4?
Уже предложено

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

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

То есть вся Ваша четырехзначна логика строится на том, что вы определили четыре состояния и что ворота едут, не едут, идут и спят.
А если например мне надо автоматизировать супер ворота, которые не только едут вперед и назад, но и еще вверх и вниз плюс еще состояния едут не едут, и все, приехали к шестизначной логике.

А это надо еще одну тему создавать.

Или нет, шесть - это же два раза по три, а значить возврат к троичной логике.

Или нет, шесть - это же три раза по два, а значит возврат к двоичной.

[Cs-Cs]

А теперь открой для себя FBшки на ПРке и сделай вот что:
* Запихай Автомат в такой FB (условно, управления воротами)
* Сделай для статуса одну выходную переменную типа "Целочисленная"
* И да - твоя мечта (как у группы "Технология", где песня про "Нажми на кнопку, получишь результат") осуществится - будет некий БЛОК, который будет отдавать наружу некое состояние внутреннего автомата.
* Потом перепиши всё это на языке ST с обработкой состояний по CASE, и ты вдруг увидишь, что все состояния Автомата хранятся в одной переменной, которая и есть эта самая ичная-логика.


Я БУДУ, БУДУ, БУДУ, БУДУ сарказмить!
Потому что НАДОЕЛО!!
* Надоели озабоченные выпендрёжники, которые наводят туману так, как будто секретный прибор изобретают
* Надоели неопытные новички, которые даже ТЕРМИН правильно подобрать не могут!
* Надоело то, что порог вхождения в автоматику стал низок, и сюда сваливатся вся шобла без базовых знаний (Автоматное Программирование - это БАЗА, как БУКВАРЬ)
* Надоело то, что из-за того, что Автор не знал базовых азов, он всех запутал, а потом сам же запутался
* Надоели обидки на суровую и циничную правду. Каждый новичок-дурачок, который припёрся в тему с низким порогом вхождения, начинает обижаться и обвинять всех в том, что его умышленно задевают. Да потому что дурь пишт и дурь спрашивают!!!

[Валенок]

....

............
На лисапеде - я.

[Cs-Cs]

Валенок Ахаха!! Огонь!

[melky]

Валенок, просто не дорос ещё до чемодана.
"Напьешься, будешь" (с)

[Geenerator]

А теперь открой для себя FBшки на ПРке и сделай вот что:
* Запихай Автомат в такой FB (условно, управления воротами)
* Сделай для статуса одну выходную переменную типа "Целочисленная"
* И да - твоя мечта (как у группы "Технология", где песня про "Нажми на кнопку, получишь результат") осуществится - будет некий БЛОК, который будет отдавать наружу некое состояние внутреннего автомата.
* Потом перепиши всё это на языке ST с обработкой состояний по CASE, и ты вдруг увидишь, что все состояния Автомата хранятся в одной переменной, которая и есть эта самая ичная-логика.

Поздравляю!!! теперь ты разбираешь в четырёхзначной логике, видишь всё не так уж и сложно. ))) я уже думал никому ни смогу объяснить

Только у меня алгоритм логики работы станка слегка побольше. Это только обработка ошибок

konfig:

; 1 нет готовности ЧПУ
U62K00=I00K00*T4U+U62K00
; 2 нет +24В (провод 01204)
U62K01=/I00A00+U62K01
; 3 нет +24В (провод 01206)
U62K02=/I00A01*T4U+U62K02
; 4 нет +24В (провод 01208)
U62K03=/I00A02*T4U+U62K03
; 5 нет +24В (провод 01210)
U62K04=/I00A03*T4U+U62K04
; 6 нет ~220В (01-Q6)
U62K05=/I00A04*T4U*/U62K01+U62K05
; 7 нет ~380В (01-K1)
U62K06=/I00A05*T4U*/U62K01+U62K06
; 9 нет готовности привода X
U62K08=/I00A11*T4U+U62K08
; 10 нет готовности привода Y
U62K09=/I00A12*T4U+U62K09
; 11 нет готовности привода Z
U62K10=/I00A13*T4U+U62K10
; 12 нет готовности привода B
U62K11=/I00A14*T4U+U62K11
; 13 нет готовности привода T
U62K12=/I00A15*T4U+U62K12
; 14 нет готовности привода S
U62K13=/I00A10*T4U+U62K13
; 16 разорвана аварийная цепь
U62K15=(/I00A06+U62K15)*[W63K3=0]*/U04A00
; 17 нет давления
T12I(50)=/I02A26*/I02A27*U05A16*/U62K16
U62K16=T12U+U62K16
; 18 нет давления в гидросистеме
T13I(15)=(/I02A26+/I02A27)*/T12I*U05A16*/U62K16*/U62K17*/U62K18
U62K17=T13U*/I02A26+U62K17*/U62K16
; 19 нет давления уравновешивания
U62K18=T13U*/I02A27+U62K18*/U62K16
; 20 нет питания двигателя гидростанции
T25I(5)=/I02A24*/U62K19
U62K19=T25U+U62K19
; 25 низкий уровень масла в г/ст
U62K24=(I02A28*T4U+U62K24)*/U30K00
; 26 ошибка реле давления г/с (30-S1) = не отключается контакт
T3I(30)=I02A26*/U05A16*/U62K25*/U30K00
P21=/I02A26
;; U62K25=T3U+U62K25*/P21
; 27 низкий уровень масла в бачке смазки
U62K26=(I03A15+U62K26)*/U30K00
; 28 нет питания двигателя смазки напр-х
T27I(5)=(U05A22*/I03A12+/U05A22*I03A12)*/U62K27*/U30K00
U62K27=T27U+U62K27
; 29 нет питания двигателя СОЖ
T28I(5)=(U05A17*/I01A12+/U05A17*I01A12)*/U62K28*/U30K00
U62K28=T28U+U62K28
; 30 перегрузка лент. транспортёра
;; U62K29=((U05A18+U05A19)*I01A14*/I01A15+U62K29)*/U30K00
; 31 нет питания шнек.транспортёра (33-М1)
T29I(50)=((U05A18+U05A19)*/I01A13+/U05A18*/U05A19*I01A13)*/U62K30*/U30K00
U62K30=T29U+U62K30
; 32 нет питания лент.транспортёра (34-М1)
; T30I(5)=((U05A20+U05A21)*/I01A14+/U05A20*/U05A21*I01A14)*/U62K31*/U30K00
; U62K31=T30U+U62K31
; 33 ошибка привода Х = ошибка * гот-ть
U63K00=I00A19*[W63K3=0]*/U62K08*/U62K15
; 34 ошибка привода Y = ошибка * гот-ть
U63K01=I00A20*[W63K3=0]*/U62K09*/U62K15
; 35 ошибка привода Z = ошибка * гот-ть
U63K02=I00A21*[W63K3=0]*/U62K10*/U62K15
; 36 ошибка привода B = ошибка * гот-ть
U63K03=I00A22*[W63K3=0]*/U62K11*/U62K15
; 37 ошибка привода T = ошибка * гот-ть
U63K04=I00A23*[W63K3=0]*/U62K12*/U62K15
; 40 ошибка сохр-я энергонезав.памяти
U63K07=I00N02+/I00N01*U63K07
; 41 неопр. полож. выдвиж/втяг руки
T14I(60)=/T42U*/T43U*/U63K08*U26K16
U63K08=T14U+U63K08
; 42 неопр.полож. манип.вверх/вниз
T16I(100)=/T40U*/T41U*/U63K09*U26K16
U63K09=T16U+U63K09
; 43 неопр. полож. поворота руки
T15I(50)=/T44U*/T45U*/U63K10*U26K16
U63K10=T15U+U63K10
; 45 неопр. полож. ползуна
T21I(200)=/T54U*/T55U*/U63K12*U26K16*/U30K00
U63K12=T21U+U63K12
; 46 неопред. полож. зацепа 1-го с-с
T22I(50)=/T56U*/T57U*/U63K13*U26K16*/U30K00
U63K13=T22U+U63K13
; 47 неопред. полож. зацепа 2-го с-с
T23I(50)=/T58U*/T59U*/U63K14*U26K16*/U30K00
U63K14=T23U+U63K14
; 48 неопр. полож. заж/разж стола-спутника
T24I(150)=/T52U*/T53U*/U63K15*U26K16*/U30K00
U63K15=T24U+U63K15
; 49 неопр. полож. заж/разж стола
T19I(50)=/T50U*/T51U*U26K16
U63K16=T19U
; 50 неопр. полож. заж/разж инстр.
T17I(65)=/T48U*/T49U*/U63K17*U26K16
U63K17=T17U+U63K17
; 51 неопр. полож. ступеней шп-ля
U63K18=/U04A11*/U04A12*/U68K07*U26K16*/P2
; 57 аварийный упор "X-"
U63K24=I01A00
; 58 аварийный упор "X+"
U63K25=I01A01
; 59 аварийный упор "Y-"
U63K26=I01A02
; 60 аварийный упор "Y+"
U63K27=I01A03
; 61 аварийный упор "Z-"
U63K28=I01A04
; 62 аварийный упор "Z+"
U63K29=I01A05
; 72 манипулятор не выдвинут
U64K07=(U36K04+U36K05+U157K16+U157K19)*/T43U+U64K07
; 73 манипулятор не внизу = ( Т-имп +ПЧ+ПрЧ + М12+М18+М16 + занул.Т ) * /внизу
U64K08=(P14+U36K04+U36K05+P12+P18+P16+I08K30*I08N0 4*I00K07)*U26K16*/T40U+/U158K02*U64K08
; 74 неопр. полож. поворота руки = ( втянуть + вверх + вниз + М12,16,18 ) * /ПЧ * /ПрЧ
U64K09=(U36K01+U36K08+U36K09+P12+P18+P16)*/T44U*/T45U+/U158K02*U64K09
; 75 инстр-т в шпинделе не разжат = /инстр.разжат *(( ручн.выдв. + втянуть + М12+М18+М16 ) * Y в зоне руки + _ )
U64K10=/T48U*((U157K15*U26K09+U36K01+U37K02+U37K17+U38K02) *U28K19+U64K10)
; 76 магазин не в позиции = /в зоне допуска * ( M12 + M18 + вверх + вверху ) * Т занулён
U64K11=/T37U*(U36K08+T41U)*I03N00+/U158K02*U64K11
; 77 шпиндель не соориентирован = ( втянуть + вниз ) * в зоне руки * /ориент.
U64K12=/T9U*((U36K01+U36K09)*U28K19+U64K12)
; 78 манипулятор не втянут = ( М12 + М18 + М16 ) * /втянут
U64K13=/T42U*(P12+P18+P16+[C6W=2]+U64K13)
; 79 манипулятор у шпинделя = /выдвинут * внизу * зона руки * М19
U64K14=/T43U*T40U*U28K19*[W3K0=19H]+U64K14
; 80 манипулятор не зафиксирован = ( выдвинуть + втянуть) * /внизу * /вверху + ( вверх + вниз ) * /втянут * /выдвинут
U64K15=(U36K00+U36K01)*/T40U*/T41U+(U36K08+U36K09)*/T42U*/T43U+U64K15
; 81 в ячейке магазина инструмент = инстр.в маг *((М18 выдв+вверх+втянуть*/втянут)*(/инстр.в руке + T0) + втянуть * /вверху)
U64K16=I02A15*((U37K17+U37K18+U37K19*/I02A09)*(/[W4K0=W1T3]+[W4K0=0])+U36K01*/I02A09*/I02A11)+/I04K17*/U158K02*U64K16
; 82 инструмент в руке у магазина = ( вверх * /выдвинут + М12 ) * инстр.в руке у маг
U64K17=(U36K08*/T43U+P12)*U0T3+/U158K02*U64K17
; 83 в руке у шпинделя инструмент = М16 * в руке у шп-ля
U64K18=P16*U0T2+U64K18
; 84 в шпинделе нет инструмента = /в шп-ле * S>100 * /М19 * /толчок * /проворот * /зажат
U64K19=/U0T1*[W8K1>0H]*/U27K20*/U31K08*/U31K09*/U68K07*T49U+U64K19
; 86 инстр-т не зажат в шпинделе = /зажат * ( ( вверх + вниз ) * зона руки + М16 + СОЖ-имп + М8 )
U64K21=/T49U*( (U36K08+U36K09)*U28K19+P16+U27K06*/U05A17+[W3K0=8H] )+U64K21
; 88 в магазине нет инструмента = / инстр. * М12 вверх + _ * /Т-строб * /особ.Пуск
U64K23=/I02A15*U37K01+/I04K17*/U158K02*U64K23
; 90 ось В не в точке смены = /В0 * ( переместить ползун + разжать с-с ) * /спец.реж. + подхват
U64K25=/U28K24*(U35K08+U35K09+U35K15+[W29K2=3]*I02N10+U64K25)*U26K16*/U30K00
; 91 ось Z не в точке смены = /"Z0" * циклы смены палет
U64K26=/U28K20*([W33K0>7H]+[W33K1>0]+[W33K2>7H]+[W33K3>0]+[W34K0>7H]+[W34K1>0]+[W34K2>7H]+[W34K3>0])+U64K26
; 92 ось X не в точке смены = /( "X0" + "X-1000" ) * ( дв-ние ползуна)
U64K27=/(U28K21+U28K22)*(U35K08+U35K09+[W29K2=3]*I02N10+U64K27)
; 93 оси не занулены = авт.реж * /оси X,Y,Z,B * гот-ть
U64K28=U26K08*/I05K08*/I05K09*/I05K10*/U26K22*U26K16
; 94 СОЖ не выключена = разжать инстр * СОЖ
U64K29=U36K12*U05A17+U64K29
; 97 не разжат стол-спутник = не разжат * ( ручн * (сцепить1 + к станку*расцеплен + сцепить2) + дв.полз*не расцеплен)
U65K00=/T52U*([W29K2=3]*(I02N08+I02N10*(/T57U+/T59U)+I02N14)+(U35K08+U35K09)*(/T57U+/T59U)+U65K00)
; 98 возможно столкновение с-с = (дв-ние ползуна) * ( "X0" * 1сцеплен * /2 на накоп + "X-1000" * 2сцеплен * /1 на накоп )
U65K01=(U35K08+U35K09)*(U28K21*I02A18*/I02A23+U28K22*I02A20*/I02A22)
; 99 стол не зажат = /зажат * зажать с-с
U65K02=/T51U*U35K14+U65K02
; 100 блокировка смены с-с "М60"
U65K03=P51+P52+P53+P54+U65K03*U31K00
; 101 нет 1-го с-с на накопителе = 1C + 2C + ручн
U65K04=/I02A22*(P51+P52+[W29K2=3]*I02N08*T55U+U65K04)
; 102 нет 2-го с-с на накопителе = 1C + 2C + ручн
U65K05=/I02A23*(P51+P52+[W29K2=3]*I02N14+U65K05)
; 103 1-й с-с на накопителе
U65K06=I02A22*P53+U65K06
; 104 2-й с-с на накопителе
U65K07=I02A23*P54+U65K07
; 105 манипулятор в зоне магазина = /внизу * Т-имп
U65K08=/T40U*P14+U65K08
; 106 задан неправильный Т-код
U65K09=[W4K0>30H]
; 108 превышено время вращения "T" = маг-н не в позиции * задание не равно положению * нет запрета на вращение
T32I(200)=/I05K24*/([W4N1=W18K1]*[W4N2=W18K2])*/U10N16*U26K08*U26K16*/U65K11
U65K11=T32U+U65K11
; 110 шпиндель вращается = /v < v_min * /M19 * разжать инстр
U65K13=/I00A28*/U27K20*U36K12+U65K13
; 111 ось Х не занулена = циклы смены с-с
U65K14=/I05K08*([W3K0=60H]+[W3K0=61H]+[W3K0=62H]+[W3K0=63H]+U32K30+U65K14)*U26K16
; 112 ось Y не занулена = циклы смены инстр-та
U65K15=/I05K09*([W3K0=6H]+[W3K0=12H]+[W3K0=16H]+[W3K0=18H]+U65K15)*U26K16
; 113 ось Z не занулена
U65K16=/I05K10*([W3K0=6]+[W3K0=12H]+[W3K0=16H]+[W3K0=18H]+[W3K0=60H]+[W3K0=61H]+[W3K0=62H]+[W3K0=63H]+U32K30+U65K16)*U26K16
; 115 ось B не занулена
U65K18=/U26K22*([W3K0=60H]+[W3K0=61H]+[W3K0=62H]+[W3K0=63H]+U32K30+U65K18)*U26K16
; 118 ось Т не занулена
U65K21=/I03N00*(P94+U36K08+T41U+U65K21)*U26K16
; 137 перегрев масла в г/ст
U66K08=I02A29+U66K08
; 146 ЗП: нет пит.вент. гл.привода (10-Q2) (COMU)
T31I(5)=(U05A23*/I00A25+/U05A23*I00A25)*/U66K17*/U30K00
U66K17=T31U+U66K17
; 147 ЗП: нет смазки шпинделя (запрет подачи - COMU) - не поставили РД
; T33I(200)=/I00A26*U04A15*/U66K18*/U30K00
; U66K18=T33U+U66K18
; 148 ЗП: нет смазки стойки (запрет подачи - COMU)
T34I(250)=U05A09*/U66K19*/U30K00
U66K19=T34U+U66K19*/U157K22
; 149 ЗП: нет смазки стола (запрет подачи - COMU)
T35I(250)=U05A08*/U66K20*/U30K00
U66K20=T35U+U66K20*/U157K22
; 153 ПП: не отключен тормоз Y = /контр.тока * питание тормоза * /ошибка
;; T38I(25)=/I00A08*U05A10*/U66K24
;; нет реле! U66K24=T38U+U66K24
; 155 ПП: "Y" в зоне руки (FOLD) = зона руки * /ориент * ось в движении * /ручн.перемещ.в минус * гот-ть * /SR
U66K26=U28K19*/I00K25*I00K17*/I00K31*/U38K00*U26K16*/U30K00
; 156 ПП: стол-спутник не зажат (FOLD) = /с-с зажат * [запрос дв-ния XYZB] * c-c на столе * /SR
U66K27=/T53U*[W0K2>0]*(U0T4+U0T6)*/U30K00
; 157 ПП: стол не зажат (FOLD) = /зажат * ( дв-ние XYZ )
U66K28=/T51U*(I00K16+I00K17+I00K18)*/U32K30*/U30K00
; 158 ПП: сбой пам. инстр. в шп-ле = инстр.зажат * ( в шп-ле * T=0 + /в шп-ле * Т>0 + Т>30 ) * авт.реж. * гот-ть
U66K29=T49U*(U0T1*[W1T1=0]+/U0T1*[W1T1>0]+[W1T1>30H])*U26K08*U26K16+U66K29
; 159 ПП: сбой пам. инстр. у шп-ля = ( у шп. * Т2=0 + /у шп. * T2>0 + Т2>30 ) * авт.реж * гот-ть
U66K30=(U0T2*[W1T2=0]+/U0T2*[W1T2>0]+[W1T2>30H])*U26K08*U26K16+U66K30
; 160 ПП: сбой пам. инстр. у маг-на = ( у маг. * Т3=0 + /у маг. * T3>0 + Т3>30 ) * авт.реж * гот-ть
U66K31=(U0T3*[W1T3=0]+/U0T3*[W1T3>0]+[W1T3>30H])*U26K08*U26K16+U66K31
; 161 ПП: шпиндель не вращается (запрет подачи N=0 или N/=Nзад) (FOLD)
; v<v_min * ( G1-G3 + G81-G89 ) * (запрос дв-я XYZ) * / ( M11 + М32) * гот-ть
U67K00=I00A28*(I05K01+I05K04+I05K05+I05K06+I05K07) *(I00K16+I00K17+I00K18)*/(U36K14+U26K20)*U26K16
; 162 ПП: скорость S ниже заданной (запрет подачи N=0 или N/=Nзад) (FOLD)
; /v=v_зад * ( G1-G3 + G81-G89 ) * (запрос дв-я XYZ) * / ( M11 + М32) * гот-ть
T39I(10)=I00A29*/I04K16

[Cs-Cs]

И СКОЛЬКОЗНАЧАНАЯ ТУТ ЛОГИКА?
И где туут Автомат Состояний?

[Валенок]

CS-CS! Вас поздравил со сдачей пишущий/написавший диссертацию по 4-ичной логике, не до конца, правда, разобравшись в 2-ичной, но это не важно.
Главное - не смотрите в какой то свой проект, где есть ENUM из 11-ти состояний, чтобы внезапно не осознать весь ужос нахождения в логове 11-ричной логики.
Но судя по скорости инфляции с 3-ичной логики до 4-ичной за 5 лет, время для подготовки много