SyncTwinTECHNOLOGIES
Решатели · CP-SAT

Планирование — расчётом, а не подбором

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

Решатель предлагает — судьи проверяют Модель линии уходит в решатель. Решатель предлагает кандидата, судьи проверяют его. Отказ судьи запрещает сочетание, и решатель ищет снова. Прошедший кандидат выдаётся как ответ с допущениями. Модель линииизделия, карта, план цеха Решатель CP-SATпредлагает кандидата Судьирука, голова, геометрия Отказзапрет сочетания Ответ с допущениями данные внутрь — результат наружу
Решатель не ходит в базу проекта: всё, что ему нужно, приходит во входе задания.
Что решает

Три задачи реализованы, четвёртая — направление

ЗадачаЧто на входеЧто на выходе
Схема слоя на поддонеИзделие слоя и носитель из справочника: габариты, свес, зазор, допустимые схемы, штук в слоеМеста слоя — координаты и поворот 0° или 90°, число мест, заполнение, признак доказанной оптимальности
Порядок укладкиСхема и состав груза, сторона подачи из маршрутной карты, голова захватаОперации «поставить» снизу вверх, от дальнего угла к стороне подачи: опора, направление подхода и отход у каждой
Размещение оборудованияСледы узлов, порты потока, досягаемость манипуляторов, план цеха, препятствия, зазор обслуживанияМесто и поворот каждого узла (0°, 90°, 180°, 270°), цена потока и нарушения — у предложения и у текущей расстановки
Распределение операций по узлам и тактНаправление исследований — направление 10
Схема слоя

Три схемы — и каждая перепроверяется геометрией

Колонна

Сетка одной ориентации; из двух ориентаций берётся лучшая.

Перевязка

Решатель CP-SAT ставит изделия без наложения, поворот 0° или 90° свободен. Вторая стадия ищет то же число мест с наименьшим совпадением со слоем, повёрнутым на 180°: на выходе нечётный и чётный слой и места шва без перевязки.

Вертушка

Четыре блока вокруг центрального окна, соседние повёрнуты на 90°; полный перебор.

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

Как работает

Решатель предлагает — судьи проверяют

  1. Модель линииВо вход задания — изделия из справочника, маршрутная карта, план цеха. Решатель не обращается к базе проекта и другим данным предприятия.
  2. КандидатРешатель CP-SAT выбирает вариант для каждого решения по наименьшей цене в пределах срока задания.
  3. СудьиПроверяют кандидата: достанет ли рука, не заденет ли голова захвата уже уложенных соседей на подводе и в позе отпуска.
  4. ОтказСудья называет сочетание выборов, которое надо запретить; решатель ищет снова.
  5. ОтветК концу срока выдаётся лучший прошедший кандидат. Порядок укладки затем проверяется физикой мира узла.
Чем ответ честен

Допустимо при названных допущениях — а не «оптимально всегда»

Ответ решателя говорит, какое решение найдено и при каких условиях оно допустимо. Признак «оптимально» ставится только тогда, когда оптимальность доказана за отведённое время.

  • Чисел по умолчанию нетНе хватает поля во входе — отказ словами, а не подставленное значение.
  • Отказ называет причинуНет решения, истёк срок, рука не достаёт, голове захвата не хватает зазора — каждый случай своим кодом.
  • Сравнение с текущимПри размещении цена потока и нарушения печатаются и для предложения, и для текущей расстановки.
  • Источник у каждого числаДоля опоры, запас центра масс и отход захвата идут с указанием, откуда взяты.

Досягаемость при размещении — круг на плане; точная проверка руки — после, на найденной расстановке.

Где в работе

Решения, в которых работают решатели

Паллетирование

Схема слоя и порядок укладки для поддона.

Паллетирование →

Планировка и такт

Расстановка узлов на плане цеха до покупки оборудования.

Планировка и такт →

Изделия и рецепты

Маршрутная карта собирается решателем схемы слоя.

Изделия и рецепты →

Посчитаем вашу задачу

Изделие, поддон, план цеха — посчитаем схему, порядок и расстановку на модели вашей линии и предложим этап НИОКР с ценой и сроком.

Запросить доступ

Запросить доступ