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

[Geenerator]

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

Я хотел бы обсудить использование четырёхзначной логики в проектах OwenLogic, например для ПР200.
Двоичная логика всем известна, она имеет два состояния 1 - истина и 0 - ложь, её можно представить одним битом
Если рассмотреть четырёхзначную логику, то можно выделить четыре состояния, которые представлены двумя битами и следующими логическими значениями
00 – Нет, 01 – истина, 10 – ложь, 11 – не может быть

Если провести сравнение двоичной и четырёхзначной логик, то можно предложить следующую аналогию из физики. Есть координата X и есть процесс изменения координаты X или скорость. Скорость является первой производной от координаты dX/dt.

По такому же принципу можно сказать что двоичная логика – это логика событий X, то есть событие либо произошло «1», либо не произошло «0», а четырёхзначная логика – это логика движения (скорости), объект может двигаться в положительном направлении «01», в отрицательном направлении «10», не двигаться «00», находиться в состоянии не возможности движения или аварии «11»

Вопрос, где может применяться четырёхзначная логика движения. Ответ, там где присутствует движение, например в регуляторе тепла
00 – регулируемая величина достигнута
01 – значение регулируемой величины выше уставки
10 – значение регулируемой величины ниже уставки
11 – значение вышло за допустимые пределы регулирования – авария

Следующий пример, движение осей металлообрабатывающего станка
00 – ось станка не движется
01 – ось станка движется в принятом положительном направлении Х+
10 – ось станка движется в принятом отрицательном направлении Х-
11 – ось станка не может двигаться по причине аварии

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

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

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

[melky]

Ваша скорость двести?, -Да, -Не может быть.

Глупости не городите, чтобы сравнить выход за уставки, вам ещё необходимо сравнивать значение с уставкой, и вы все равно упретесь в двоичную логику, так нахрена тогда?

[FPavel]

Для двоичной логики на протяжении 200 лет разрабатывался математический аппарат - и операции над числами, и операции над множествами чисел, законы преобразования выражений (и де Моргана в частности), и минимизации функций (руками и автоматически), и выравнивания скоростей прохождения сигналов через микросхемы (правила IBM). И самое главное - под двоичную логику существует аппаратная поддержка - и логика микросхем и логика сохранения на носителях.

Для троичой логики изначально существовало аппаратное обеспечение (какая-то ЭВМ), поэтому была разработана математика. Но ЭВМ не выдержала конкуренции. А с ЭВМ ушла и троичная логика. Читал, что в качестве разминки для ума в каком-то ВУЗе её преподают студентам. Ну, вот как в школе изучают геометрию и тригонометрию, интегралы и дифференциальное счисление - для общего развития (только не обманывайте меня, что за всю жизнь пользовались этим багажом более 2-3 раз).

Для 4-значной логики совсем нет математического аппарата, физической реализации. А если предлагать применение целых чисел - то целые числа и так уже есть.

Итого, за всеми N-ичными системами сначала стоит аппаратная реализация, под неё разрабатывается математика, после всего - идёт внедрение теории и практики.

Будем материалистами, а не идеалистами - без физики и математика не нужна, тем более внедрение при помощи эмуляции на другой аппаратной основе.

[МихаилГл]

11 – значение вышло за допустимые пределы регулирования – авария

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

[Geenerator]

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

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

[Geenerator]

Ваша скорость двести?, -Да, -Не может быть.

Глупости не городите, чтобы сравнить выход за уставки, вам ещё необходимо сравнивать значение с уставкой, и вы все равно упретесь в двоичную логику, так нахрена тогда?

Здесь речь идёт о логике движения. Прошу представить станок с ЧПУ при работе которого всё постоянно находиться в движении, причём по нескольким осям.
Двоичная логика - это основа, принципы остаются те же. Есть событие - это двоичная логика, а есть движение к событию, что тоже важно анализировать.

https://rutube.ru/video/07475cfe44b8...d/?t=20&r=plwd

[Geenerator]

Для двоичной логики на протяжении 200 лет разрабатывался математический аппарат - и операции над числами, и операции над множествами чисел, законы преобразования выражений (и де Моргана в частности), и минимизации функций (руками и автоматически), и выравнивания скоростей прохождения сигналов через микросхемы (правила IBM). И самое главное - под двоичную логику существует аппаратная поддержка - и логика микросхем и логика сохранения на носителях.

Для троичой логики изначально существовало аппаратное обеспечение (какая-то ЭВМ), поэтому была разработана математика. Но ЭВМ не выдержала конкуренции. А с ЭВМ ушла и троичная логика. Читал, что в качестве разминки для ума в каком-то ВУЗе её преподают студентам. Ну, вот как в школе изучают геометрию и тригонометрию, интегралы и дифференциальное счисление - для общего развития (только не обманывайте меня, что за всю жизнь пользовались этим багажом более 2-3 раз).

Для 4-значной логики совсем нет математического аппарата, физической реализации. А если предлагать применение целых чисел - то целые числа и так уже есть.

Итого, за всеми N-ичными системами сначала стоит аппаратная реализация, под неё разрабатывается математика, после всего - идёт внедрение теории и практики.

Будем материалистами, а не идеалистами - без физики и математика не нужна, тем более внедрение при помощи эмуляции на другой аппаратной основе.

У четырёхзначной логики с двоичной никаких конфликтов по сложению, вычитанию, умножению, делению НЕТ все правила работают. По памяти для ЭВМ тоже проблем нет, представляется в виде двух бит. С математической реализацией так же вопрос решён, мы использовали четырёхзначную логику в экспертной системе " Диагностика+" - успешно работает.
https://transform.ru/diagnostika/

[FPavel]

Вы лукавите.

В самом первом сообщении приведены три варианта состояний трёх разных устройств и все три описания разные. Просто совпало, что состояний оказалось ровно 4.
Для булевой алгебры состояние задаётся как ответ на вопрос и возможно получение состояния всей установки, как "AND" ответов на такие же точно вопросы к составным частям установки.
Например,
"насос готов?" = "вода перед насосом готова?" AND "электропитание насоса готово?" AND "переключатель режима в АВТ готов?" AND ...

Такой же пример для 4-значной логики как будет выглядеть? Как набор из 4*4=16 правил AND к переменным 4-значной логики?
Да, я поверхностно знаком с "нечёткой логикой", но там значения в % и готовый матаппарат с опорой на теорию вероятности. Он достаточно сложный, поэтому не распространённый на практике.

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

То, что некий программный продукт запущен с применением такой логики - ни о чём не говорит, современные компьютеры "вывозят" неэффективные программы за счёт производительности процессора. А объектно-ориентированный подход за счёт переопределения операторов прячет в исходнике неэффективное использование памяти.

[Cs-Cs]

Прошу представить станок с ЧПУ при работе которого всё постоянно находиться в движении

Ага... "Ться" и логика.
ОК, представили станок. Который Bayk делал (участник форума). Станок отрезает металлическую рейку, которая выдаётся после проката через ролики.
В станке есть привод ножа, который режет эту рейку. Нож весит около 20 кг. Там гидравлика и суровая гильотина. Итак:
* Логика "01" - движение X+. Нож РЕЗКО и на 100% скорости РВАНУЛ догонять заготовку до нужного места реза. Из-за резкого рывка стартовый ток сервопривода зашкалил, а ШВП (шариковинтовую передачу) перекосило.
* Логика "Х3" - нож догнал рейку и движется с её скоростью.
* Логика "Х4" - нож делает отрез.
* Логика "10" - движение X-. Нож РЕЗКО стартует в обраном направлении до исходной точки без плавного разгона...
* Логика "00" - нож остановлен. Вся масса в 20 кг резко впиливается в край станка, ломает привод и ШВП
* Логика "ШТ" - Штраф и Тюрьма
(А нужно соблюдать плавность разгона и торможения и ещё и синхронизировать по энкодеру с движением отрезаемой рейки)

...а вообще всё просто. Дайте нам пример реализации этой логики на ОВЕН ПР200. Чтобы прям вот далеко не ходить. А готовые FB и то, как их привязывать к дискретным входам и выходам ПРки. Вот у нас есть, к примеру, ворота. Там есть кнопки Открыть, Закрыть, Стоп, Датчик препятствия. Ну и контакторы управления двигателем (выходы).
Вот как это всё сделать на этой четвертичной логике? Как подвести кнопки к этой логике и как выдат сигналы на контакторы?
Прям вот выложите проект!