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

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

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

Убрано

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

Демо

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

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

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

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

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

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

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

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

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