SLAB/Status — различия между версиями

Версия 08:46, 7 сентября 2022

Slide Show

Заголовок

SLAB/Status

Автор

Стас Фомин

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

SLAB/Status

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

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

Видео .

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

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

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

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

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

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

Мучения .

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

400 заказаов на 11 смен .

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

Модель .

Убрано

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

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

Демо

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

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

План .

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

Модель .

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

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

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

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

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

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

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

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