SLAB/Status

Ссылки сюда (1) →

Slide Show

Заголовок

SLAB/Status

Автор

Стас Фомин

Нижний колонтитул

SLAB/Status

Дополнительный нижний колонтитул

Стас Фомин, 10:09, 21 сентября 2022

Быстро набросан фреймворк .

Визуализация .

• Цвета-геометрия-сетка
  • Визуалиазация важных переменных-ограничений
• «WTF» по картинке
  • очевидная неоптимальность — разбираемся

Технологически .

• Веб — ненужен (пока)
• Анимации, динамики нет — «вход-выход»
• Таблицы — как вход и результат
  • Можно перечитывать без выхода

pygame симуляция .

Параллельная обработка несколькими солверами .

Мучения .

• Тонкости солверов
  • pyomo — хорошо, но ---
• Долгие операции
  • «неудачи космических полетов»

4226 заказов (все) на 26 смен .

---

Файл-решение

• Файл:Output-gurobi-2022-09-07-18-27-31-4226.xls

На древнем компе 2008 года .

Модель .

Убрано

• Цепь вывоза
  • На складе надо моделировать серьезно (не «рюкзак»)
    • Охлаждение
    • Стекирование
    • Вывоз
• Сроки вывоза
  • Можно легко вернуть — но в буфере склад!

Модель — максимальная простота .

Демо

• «Гидродинамика потока слабов»
• ЦЛП моделирование всего этого.
• Убедиться, что эти размеры «тащатся».

Модель1 — размеры.

Смен	Печей	Периодов	Заказов	Размер	Время
5	5	2	180	9569x3975
5	5	2	220	10774x4475
8	5	2	300	20999x7160
14	5	2	500	37049x12530
16	5	2	2000*	80439x27120	1800-антек182
20	5	2	3000*	136469x45900	2693-антек182
26	5	2	4226*	180821x60710	1700-антек182

План .

• У меня (пока?) есть магия добывать лицензии на гуроби
• Придерживаться gurobi-солвера пока отлаживаем модель
• Когда все ОК с моделью → смотреть cbc/glpk/…  → пытаемся догнать

Модель .

• Компактификация заказов (небинарные, целые)
• Понять, что с охлаждением-вывозом-складом

Модель1 — разъяснение .

• Пройдемся по коду

Модель2 — вывоз .

Учет вывоза, рельс, склада

SAT/SMT-верификация

• Нужна только когда определились с целевой функцией
  • Переходим к задаче разрешимости
• Пробовал для эвристики «подобрать минимальное количество смен, чтобы выполнить набранный заказ»
  • Работает, но «персистент гуроби» — на порядок лучше.

Модель с оптимизацией.

• Обязательно выполняются только срочные заказы («Imax», к сроку)
• Остальные добираются из «рынка» заказов с большими сроками.
• Можно сильно играться с параметрами «доход плавки» против «стоимости перенастройки» и т.п.

Решается легко .

• 20 смен
• 1053 плавки
• 30 секунд на гуроби

Проблемы .

• Долго формулируется проблема в Pyomo (4400 сек).
  • В два раза ускорил
  • Сделал систему кеширования моделей.

Optimal ILP Solvers .

Цены

• https://ampl.com/products/standard-price-list/

Как работать на портале discopal-lab

• https://vimeo.com/746819286/2d3ee4479f

Вопросы по предметной области

• Проработать — переключение, АЦВ-АПК, плавка=ковш?
  • задержки на вакуумирование срабатывают (или пренебрежимы времем плавки0?
• Заказы с долгим охлаждением — откуда берется? тип стали, обьем?
  • Моделирование двухсменного охлаждения — два склада.
• Точно склад стеллажно - квадратно-гнездовой?

флоу

Склад

Может быть реально стеллажным

• https://youtu.be/otVFDo9YSM8?t=1025

Или ханойские башни?

Открытые технические вопросы .

• Исследовать параметры солверов (не реагирует на gap)
• Собрать версию CBC с threading
• xpra и cocalc — большие лаги

Как бы сохранить best feasible? .

Библиотека

• Ютуб про метеллофармы

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.