На других языках: Deutsch English 简体中文

Обучение: Руководство по комбинаторам

From Official Factorio Wiki
Revision as of 11:16, 25 February 2021 by HammerMeow (talk | contribs) (Detailed description of Positive cell added)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Руководство для продвинутых, предполагающее базовое понимание логических схем. Охватывает более сложные темы, такие как SR-триггеры, ячейки памяти и таймеры. Начинающим, прежде, необходимо изучить Обучение: Руководство по логической сети и Логическая сеть.

Введение

Комбинаторная логика реализуется путем перекрестного соединения выходов со входами устройств таким образом, чтобы достичь необходимой логической схемы. Хотя для продвинутой логики требуется много комбинаторов, базовая логика, но не менее полезная, может быть реализована с использованием лишь нескольких комбинаторов. Комбинаторная логика возможна благодаря тому, что Factorio обновляется 60 раз в секунду, что позволяет комбинаторам обрабатывать логику на одном такте, а результат, например суммирования и/или деления, выдавать на следующем.

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

Логические провода аналогичны шине в электронике; они передают информацию подключенным к ним проводам, а это означает, что если в проводе есть похожие сигналы, они автоматически просуммируются.

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

Виртуальные сигналы

Виртуальные сигналы

В дополнение к стандартным сигналам, в Factorio существуют дополнительные сигналы, не представляющие какие-либо предметы из игры. Вместо этого, они позиционируется как определяемые игроком сигналы — иначе говоря, их значение определяется тем смыслом, который заложил в него сам игрок. На текущий момент существует 48 виртуальных сигналов:

  • 26 букв английского алфавита (A-Z) и 10 цифр (0-9);
  • 9 цветов: красный, зеленый, синий, желтый, пурпурный, голубой, белый, серый и черный;
  • 3 иконки: зеленая галочка, информационная буква 'i' и маленькая белая точка.

Логические сигналы

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

Метасимвол "Все"
Signal everything.png

Метасимвол Все используется в сравнивающем комбинаторе. Его поведение зависит от того, используется ли он на входе или на выходе:

  • Вход: возвращает "истина" если все входные сигналы удовлетворяют условию или если на входе нет сигналов, в противном случае возвращает "ложь".
  • Выход: возвращает все ненулевые входные сигналы.

Когда метасимвол Все используется на входе, он может пониматься как логическое "И" или квантор всеобщности. На выходе, он подобен 'эхо' входного сигнала.

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

Метасимвол "Любой"
Signal anything.png

Метасимвол Любой тоже используется в сравнивающем комбинаторе, но только на вход.

Представляет любой, хотя бы один входной сигнал и возвращает "истина", если он удовлетворяет условию. Если ни один из сигналов не удовлетворяет условию или на входе нет сигналов, возвращает "ложь". Метасимвол Любой может пониматься как логическое "ИЛИ" или как квантор существования.

Метасимвол "Каждый"
Signal each.png

Метасимвол Каждый используется в сравнивающем и арифметическом комбинаторе. Поведение этого метасимвола несколько отлично от поведения предыдущих: он выполняет функцию комбинатора над каждым сигналом в отдельности. То, как он применяется, зависит от конкретной функции комбинатора и типа комбинатора. Применяется он на входе и на выходе, но только тогда, когда используется и на входе.

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

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

В арифметическом комбинаторе, назначенная операция применяется для каждого входного сигнала и, аналогично сравнивающему комбинатору, возвращаемый сигнал зависит от, того, применяется ли метасимвол только на входе или на входе и выходе одновременно:

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

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

Изолятор и устройство стробирования

Арифметический комбинатор с настройками — (вход: Каждый + 0; выход: Каждый) — представляет собой изолятор или устройство для развязки сетей. Оно может использоваться для замены одного цвета провода на другой, предотвращая проникновение в сеть нежелательных сигналов из схемы после комбинатора.

Сравнивающий комбинатор с настройками — (вход: сигнал с выхода > сигнала на входе; выход: Все) — действует как изолятор, пока верно заданное логическое условие. Таким образом, это устройство позволяет фильтровать и стробировать входные сигналы. С помощью стробирующего устройство можно последовательно опрашивать удаленные хранилища ж/д станций, что бы включать только нужные станции.

Установка/Сброс триггера

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

Установите первый сравнивающий комбинатор с условием, при выполнении которого на выход подается 1. Затем соедините выход сравнивающего комбинатора со входом арифметического и умножте его на разницу между значениями устанавливающего и сбрасывающего триггер. Обратите внимание, что на выходе арифметического устройства выбран тот же канал, что и на сравнивающем комбинаторе. Теперь соедините выход арифметического комбинатора со входом сравнивающего. Это число будет добавлено к изначальному входу.

SR latch.png

Аналогичная схема, но для резервирования пара детально описана здесь: Обучение: Руководство по логической сети.

Продвинутый загрузчик поездов

Эта схема решает проблему равномерной загрузки предметов в сундуки на станциях погрузки, из-за которой погрузка предметов в вагоны поездов происходит медленнее.

Для установки этой схемы потребуется арифметический комбинатор и красный и зеленый провода. Все сундуки соединяются проводом, который заводится на вход комбинатора. В арифметическом комбинаторе введите: количество предметов / -количество сундуков — это дает среднее значение предметов в одном сундуке; результат деления передается по каналу тех предметов, что находятся в сундуке. Все используемые манипуляторы соединяются проводом, который заводится на выход комбинатора, причем его цвет отличен от цвета провода, соединяющего сундуки. Далее, в манипуляторах необходимо установить условие: предмет < 1.

Рисунок схемы можно найти на reddit: продвинутый загрузчик поездов от MadZuri.

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

Память

Для сохранения некоторого числа для последующего использования, например, в таймере или более сложной схеме, необходимо соединить вход и выход сравнивающего комбинатора и для любого канала (или всех сразу) настроить условие "> 0". Т.о., передавая значение с выхода на вход, комбинатор сохраняет его до тех пор, пока на в входах не появится какой-либо сигнал.

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

Базовый таймер

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

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

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

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

Базовый таймер. Каждые 30 тиков формируется единичный импульс.
Одноцикловый таймер. Работает до тех пор, пока T=Z+1. Сброс происходит по условию R>0.

Генератор импульсов

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

Генератор импульсов.

Пояснения к рисунку:

  • Вместо 1 с правой стороны, можно использовать любое другого число в диапазоне таймера.
  • Если в качестве примера взять таймер описанный выше, то генератор импульсов будет генерировать импульс 1 раз в 30 тактов или 2 раза в секунду, т.к. Factorio обновляется с частотой 60 тактов в секунду.

Счетчик

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

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

Логические вентили

Некоторые логические элементы работают только с булевыми значениями, которые изменяются от 0 до 1. Другие — могут работать и с другими числами, например с 2.

Встроенные

В арифметическом комбинаторе есть операторы логических "И", "ИЛИ", "ИСКЛЮЧАЮЩЕЕ ИЛИ". Это побитовые операции, т.е. они работают с каждым битом значения представленного в двоичной системе исчисления.

Пример побитового логического "И":

Вход 1 Вход 2 Выход
0 1 0
1 1 1
1 4 0
1 3 1
10 30 10
10 40 8

Если на входах комбинатора булевы значения (от 0 до 1), то побитовые операции, могут использоваться как логические вентили.

Унарное НЕ


Унарное НЕ.

Таблица истинности:

Вход Выход
0 1
1 0

Бинарное ИЛИ


Бинарное ИЛИ.

Таблица истинности:

Вход 1 Вход 2 Выход
0 0 0
0 1 1
1 0 1
1 1 1

*Примечание: работает для любого количества входов. Работает как для логических входов, так и для других значений.

Бинарное ИЛИ-НЕ


Бинарное ИЛИ-НЕ.

Таблица истинности:

Вход 1 Вход 2 Выход
0 0 1
0 1 0
1 0 0
1 1 0

*Примечание: работает для любого количества входов. Работает как для логических входов, так и для других значений.

Бинарное ИСКЛЮЧАЮЩЕЕ ИЛИ


Бинарное ИСКЛЮЧАЮЩЕЕ ИЛИ.

Таблица истинности:

Вход 1 Вход 1 Выход
0 0 0
0 1 1
1 0 1
1 1 0

*Примечание: работает только для булевых значений.

Бинарное И


Бинарное И.

Таблица истинности:

Вход 1 Вход 2 Выход
0 0 0
0 1 0
1 0 0
1 1 1

*Примечание: в примере на рисунке арифметический комбинатор работает с небулевыми значениями и будет возвращать небулевы значения, когда они заданы в качестве входных значений, но только если оба значения не равны 0.

*Примечание: в примере на рисунке сравнивающий комбинатор работает только с булевыми значениями. Его можно модифицировать, чтобы иметь любое количество входов, изменив «1» на число меньшее на 1 количества входов, или «2» на количество входов, как показано ниже для тернарного И.

Тернарный И


Тернарный И.

Таблица истинности:

Вход 1 Вход 2 Вход 3 Выход
0 0 0 0
0 1 0 0
0 0 1 0
0 1 1 0
1 0 0 0
1 1 0 0
1 0 1 0
1 1 1 1

Бинарное И-НЕ


Бинарное И-НЕ.

Таблица истинности:

Вход 1 Вход 2 Выход
0 0 1
0 1 1
1 0 1
1 1 0

*Примечание: работает только для булевых значений. Его можно изменить, чтобы иметь любое количество входов, изменив «2» на требуемое количество входов.

Бинарное ИСКЛЮЧАЮЩЕЕ ИЛИ-НЕ


Бинарное ИСКЛЮЧАЮЩЕЕ ИЛИ-НЕ.

Таблица истинности:

Вход 1 Вход 2 Выход
0 0 1
0 1 0
1 0 0
1 1 1

*Примечание: работает только для булевых значений.

Ячейки памяти

Простая защелка

Когда комбинатор заведен сам на себя, для основных входов/выходов используйте провода другого цвета.

Простая защелка.

Таблица истинности:

Выход 1 Вход 1 Вход 2 Выход 1 (t+1)
0 0 0 0
0 1 0 1
0 0 1 0
0 1 1 0
1 0 0 1
1 1 0 1 (2)
1 0 1 0
1 1 1 1 (2)
  • Примечание: выход 1 - это обратная связь (зеленый провод на рисунке), по которой передается значения для сохранения.
  • Примечание: вход 1 установлен пока вход 2 сброшен.

Ячейка для сохранения положительных чисел

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

На рисунке, число, которое требуется сохранить, передается на ячейку памяти посредством виртуального канала "I", сброс же происходит за счет передачи на ячейку отрицательного значения.

  • На выходе ячейки памяти могут быть 2 взаимоисключающих сигнала:
    • В случае, когда сигнал I>0, он проходит на выход ячейки памяти.
    • В случае, когда сигнал I прерывается, на выход подается сигнал M со значением предыдущего сигнала I.
  • Когда сигнал I прерывается, нужно 2 такта, чтобы ячейка переключилась на сигнал M.
  • В случае, если входной сигнал I держится только один тик, ячейка входит в режим бесконечного переключения между двумя последними значениями.
  • Переключение происходит бесшовно, т.е. без промежутков с отсутствием сигналов.

Ячейка для сохранения положительных и отрицательных чисел

Ячейка для сохранения положительных и отрицательных чисел с управляемым сбросом.

Эта ячейка способна сохранять и положительные, и отрицательные значения. Сброс происходит по отдельной линии. Кроме того, запись значения происходит за 1 такт. Пост на форуме.

  • На выходе M (memory) удерживается последнее ненулевое значение с входа I (input).
  • Ненулевой сигнал R (reset) сбрасывает схему.
  • Однотактовые сигналы I и R обрабатываются схемой правильно.
  • Отрицательные значения тоже могут храниться.

Умножение и словари/массивы

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

Словарь - это система, которая позволяет получить доступ к значению определенного сигнала из некоторого множества сигналов по ключу. К примеру, (см. на рисунок) A хранит некоторое множество сигналов (либо из постоянного комбинатора, либо из ячейки памяти), а B содержит один сигнал-ключ (например сигнал синего цвета). На выходе схемы, остается только значение из множества A соответствующее синему сигналу, т.к. остальные были умножены на 0.

Массивы похожи на словари, но вместо использования сигнала в качестве ключа, используется число. Постоянный комбинатор нумерует некоторое множество сигналов (например, значение сигнала конвейера равно 1, быстрого конвейера — 2, экспресс-конвейера — 3, твердотовливного манипулятора — 4 и т.д.). Затем используется сравнивающий комбинатор с условием (вход: каждый = индекс нужного сигнала; выход: каждый), выход которого заводится на схему чтения словаря.

Выражения доказывающие и объясняющие работу схемы:

   ((A+B)^2 - (A-B)^2)/4 = AB
   (A+B)^2 - (A-B)^2 = 4AB
   (A^2 + 2AB + B^2) - (A^2 - 2AB + B^2) = 4AB
   4AB = 4AB
Схема чтения словаря.
Пояснения к работе схемы чтения словаря.

Смотрите также