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

[Geenerator]

Это авария незапуска привода, а как же авария неостанова?
Кроме этого для направлений еще нужны условия: работает вперед и работает назад...
Для реверсивных механизмов ваша система не подходит. Не запустился вперед, не запустился назад, не остановился вперед, не остановился назад... И т.д.
Шире ставьте задачу, а то похоже на слабенькую диссертацию. Оппоненты завалят на защите...

В данном случае нужно сформулировать задачу и определить, какие двоичные "события" определяют логические состояния четырёхзначной логики.
Что подразумевается под состоянием СТОП, движение в положительном направлении, движение в отрицательном направлении, состоянии авария и дальше выстраивать алгоритм.

Четырёхзначная логика подходит не для всех задач. Нужно иметь два четко противоположных состояния, которые можно отследить.

[melky]

ок. 00 - выключен, 10 - включен, 01 - движение в обратном направлении, 11 - движение в прямом направлении а если надо больше, то что? вторая переменная на два бита или расширение еще на 1 бит, но тогда уже и не четвертное все вдруг стало.

[Geenerator]

Мне кажется, что подменяются термины.

В данном описании говорится не о 4-ричной логике, где каждый элемент (переменная) может принять 4 состояния, а о введении ещё одной сущности к описанию объекта управления - слова состояния.
Т.е. не появляется новой 4-ричной алгебры, в которой при помощи двух операций (как в теории полей чисел или как она называется) определяется взаимодействие этих состояний.
Предлагается вычисление наиболее востребованных в алгоритме состояний объекта управления.

То, что предвычисленных состояний оказалось ровно 4 - это или случай или закономерность или подгон.

Но не это хочу донести - предлагается предвычисление наиболее употребимых состояний и сохранение их в переменной состояния (флагов). Это не про 4-ричную систему, а про библиотеку управления движением с наборами предвычисленных состояний для разных классов объектов (насос, задвижка, отсечной клапан, сервопривод).

Возможно, как готовая библиотека это будет интересно, но OwenLogic пока не обладает возможностями работы со структурами, перечислимыми типами, именованными константами - на данном этапе развития нормальная библиотека нереализуема.

Давайте вернёмся к началу, есть двоичная логика и её можно сравнить с аналогом из физики, например координата. Изменение координаты во времени есть скорость или первая производная по времени dX/dt. Для понятия "скорость" разве вводятся новые алгебраические правила ? , это просто физическая величина более "тонкого" порядка. Если дойдёт дело до теории, то я смогу это показать.

Двоичная логика отвечает за "события" в системе (произошло событие / не произошло событие), четырёхзначная логика отвечает за движение к этим событиям. И должен сказать, что не во всех задачах нужны переменные, показывающие такие движения.

[Geenerator]

Вообще использование 2,3 и более битов широко распространено в сообщении ошибок в разных приборах.
Встречал такое, когда в байт запихивали сразу 2 или 3 переменных. Скажем две 3-х битных и одну 2-битную.
Где как раз и реализован этот механизм с различными состояниями.
000, 001, 011, 010, 101 и так далее.
Кроме формирования состояния и ошибок не встречал.
Так что ничего нового автор как бы и не придумал. Независимо от прибора или программы, где он хочет это применить.
В ПР выше написанное делается так же легко. Вычленить нужные биты и превратить в числа она умеет.

В больших проектах, где много переменных очень часто используются СЛОВА (8 бит) и над словами применяются групповые операции сравнения, вычитания, инверсии и т.п.
Я очень часто так делаю, когда проводятся однотипные операции над различными устройствами. Удобство в том, что можно использовать уже числа.

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

[Сергей0308]

Так он, насколько смог понять(терминов подходящих он не подбирает) хочет создать битовую маску дискретных состояний и работать с целочисленной логикой, потому что это проще, в смысле, меньше в разы элементов на полотне программы!
Кстати, я так почти всегда поступаю, когда дискретная логика достаточно сложная!
Может ему мои проекты посмотреть, в смысле, прежде чем велосипед изобретать - посмотреть что продают в велосипедных магазинах?
Это я так думаю!

https://owen.ru/forum/showthread.php...l=1#post429835

https://owen.ru/forum/showthread.php...l=1#post385145

https://owen.ru/forum/showthread.php...l=1#post361508

https://owen.ru/forum/showthread.php...l=1#post440735

https://owen.ru/forum/showthread.php...l=1#post415570

https://owen.ru/forum/showthread.php...l=1#post248907

https://owen.ru/forum/showthread.php...l=1#post432040

https://owen.ru/forum/showthread.php...l=1#post376273

https://owen.ru/forum/showthread.php...l=1#post393985

https://owen.ru/forum/showthread.php...l=1#post412743

https://owen.ru/forum/showthread.php...l=1#post405907

Контроль танков_9.owle

[Geenerator]

Но станок работает НЕ так!! если он будет работать так, как ты написал, он сломается на втором резе!!!
1. Нож делает отрез мгновенно. Для этого надо включить гидравлический клапан электромагнитом. Там нет таких состояний ножа, когда он медленно ездит для отреза.
2. Нож нужно двигать вместе с материалом, так как материал при отрезе НЕ останавливается, а продолжает двигаться. Для этого нужна рампа разгона и торможения ножа, чтобы его скорость начала плавно расти, совпала со скоростью материала (рейки), потом при совпадении скоростей он сделал отрез и потом поехал на исходную позицию с нарастанием и уменьшением скорости.
3. Как датчики наличия материала и крайних положений ножа будут работать с 4х логикой? Они же бесконтактные. У них три провода: + Питания, - Питания, Выход сигнала. Там нет 4х проводов и 4х логики датчика.

Да-да! Мы ждём рабочий пример с логикой, который работает с двоичными кнопками и двоичными контакторами. Больше нам ничего не надо.

В случае станка я не нахожу 2-х противоположных состояний, нож работает в импульсном режиме. Процесс резки синхронизирован с подачей материала и четырёхзначная логика тут не нужна.

Рассмотрим задачу автоматизации ворот, я прикрепил картинку конфигурации.
Для реализации четырёхзначной логики следует выделить 4-ре состояния системы:
- СТОП
- Открытие ворот
- Закрытие ворот
- Авария
Эти четыре состояния в данном случае я просто вывел на лампочки для сигнализации. Данные состояния можно использовать как "двоичные события" в других логических цепочках.

Image1.jpg

[Geenerator]

Да, дифференциальное счисление - это раздел математики, который взаимодействует с разделом геометрической алгебры.

Есть булева алгебра, а Вы предлагаете библиотеку управления объектами, для которой разработали регистры флагов наиболее востребованных состояний. Дальше ФБ не вычисляют эти состояния, а берут их напрямую из регистра флагов. Такое впечатление возникло из-за того, что в Вашем примере команда формировалась не при помощи собственных операций над состояниями, а при помощи булевой алгебры над отдельными флагами регистров состояний.

Т.е. вместо описания библиотеки и её идеологии, по ошибке утверждаете, что это 4-значная логика.

Да, для работы насосной группы такая библиотека не востребована.
Для контроля перемещения объекта (ворот, резака) - возможно, именно она и требуется.

Именно Вы пришли с предложением ввести новую логику.
Т.к. в настоящее время в нашем распоряжении нет готовых вычислительных устройств с 4 состояниями каждого элемента, то можно это эмулировать целыми числами.
Продемонстрируйте минимальный пример, где задача будет легче на абстрактном уровне решаться при помощи этой 4-значной логики.

А так. Вы вбросили непонятную идею и настаиваете, чтобы её другие начали реализовывать. Покажите примеры, разработайте библиотеку ФБ, участвуйте в обсуждении задач на форуме, демонстрируйте простоту их решения при помощи абстрактных моделей 4-значной логики, спрятанной за простотой использования библиотек.

Как у Соломона - если не сейчас - то когда? если не здесь - то где? если не я - то кто?

Если дошло дело до Соломона, то пришло время философии. Давайте найдём аналогии из смежных областей
Всем известен электрический закон расчёта мощности P=UI
U - напряжение - это разность потенциалов. Разность потенциалов либо есть, либо её нет.
I - ток - ключевое свойство, может течь по проводнику либо в прямом направлении, в обратном направлении, либо не течь.
P - мощность - это характеристика электрической цепи качественно другого уровня включающее в себя понятие ток и напряжение

Переходим к логике и ищем аналогии
Двоичная логика: двоичная система счисления, 2 логических уровня 1-истина, 0-ложь - очень похоже на напряжение
Троичная логика: троичная сбалансированная система счисления, 3 логических уровня +1, 0, -1 - очень похоже на ток
Четырёхзначная логика: четыре логических уровня 00, 01, 10, 11. При этом, можно увидеть и двоичную логику в состояниях 00, 11 и троичную в состояниях 01, 00, 10

Из вышеприведённых философских рассуждений можно сделать вывод, что состояния четырёхзначной логики не случайны, а закономерны.
Я не настаиваю на использовании данной логики, просто если вам понравиться, то вы можете использовать её в своих проектах.

[МихаилГл]

Мда... Крутое у вас представление управления воротами. Нажали кнопку открыть... Потом через секунду нажали кнопку закрыть...

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

[1exan]

В случае станка я не нахожу 2-х противоположных состояний, нож работает в импульсном режиме. Процесс резки синхронизирован с подачей материала и четырёхзначная логика тут не нужна.

Рассмотрим задачу автоматизации ворот, я прикрепил картинку конфигурации.
Для реализации четырёхзначной логики следует выделить 4-ре состояния системы:
- СТОП
- Открытие ворот
- Закрытие ворот
- Авария
Эти четыре состояния в данном случае я просто вывел на лампочки для сигнализации. Данные состояния можно использовать как "двоичные события" в других логических цепочках.

Image1.jpg

Четыре состояния видно в примере, а четырёхзначной ЛОГИКИ - не наблюдается

[Cs-Cs]

В случае станка я не нахожу 2-х противоположных состояний, нож работает в импульсном режиме. Процесс резки синхронизирован с подачей материала и четырёхзначная логика тут не нужна.

Почему это? Движение ножа вперёд (по ходу движения материала) и назад (против хода движения материала)? Сам же говорил про X+ и X-.

Эти четыре состояния в данном случае я просто вывел на лампочки для сигнализации. Данные состояния можно использовать как "двоичные события" в других логических цепочках.

НЕ ПОНЯЛ!!! ГДЕ ЛОГИКА-ТО? Где 4х-значные элементы "И", "ИЛИ", "НЕ"?..
На примере показана обычная двоичная логика, на которую рассчитана ПРка!
Я ожидал увидеть Макросы для ПРки, которые на входе и выходе принимают 4х-значную логику и заточены под неё! А это - мошенничество!

В общем, это не логика, а весеннее обострение. Типа шарообразной шахматной доски: концепт крутой, но из-за гравитации фигуры сваливаться будут. Жесть.