SLAB/Status — различия между версиями
Материал из DISCOPAL
< SLAB
StasFomin (обсуждение | вклад) (→Быстро набросан фреймворк .) |
StasFomin (обсуждение | вклад) (→Модель — максимальная простота .) |
||
| Строка 88: | Строка 88: | ||
5 5 2 220 10774x4475 | 5 5 2 220 10774x4475 | ||
8 5 2 300 20999x7160 | 8 5 2 300 20999x7160 | ||
| + | 14 5 2 500 37049x12530 | ||
</tab> | </tab> | ||
| + | |||
| + | |||
| + | == План . == | ||
| + | * У меня (пока?) есть магия добывать лицензии на гуроби | ||
| + | * Придерживаться gurobi-солвера пока отлаживаем модель | ||
| + | * Когда все ОК с моделью → смотреть cbc/glpk/… → пытаемся догнать | ||
| + | |||
| + | == Модель . == | ||
| + | * Компактификация заказов (небинарные, целые) | ||
| + | * Понять, что с охлаждением-вывозом-складом | ||
| + | |||
| + | |||
| + | === Модель — разъяснение . === | ||
| + | * Пройдемся по коду | ||
| + | |||
| + | |||
| + | == Открытые технические вопросы . == | ||
| + | * Исследовать параметры солверов (не реагирует на gap) | ||
| + | * Собрать версию CBC с threading | ||
=== Как бы сохранить best feasible? . === | === Как бы сохранить best feasible? . === | ||
Версия 13:43, 5 сентября 2022
- Заголовок
- SLAB/Status
- Автор
- Стас Фомин
- Нижний колонтитул
- SLAB/Status
- Дополнительный нижний колонтитул
- Стас Фомин, 10:09, 21 сентября 2022
Содержание
Быстро набросан фреймворк .
Визуализация .
- Цвета-геометрия-сетка
- Визуалиазация важных переменных-ограничений
- «WTF» по картинке
- очевидная неоптимальность — разбираемся
Технологически .
- Веб — ненужен (пока)
- Анимации, динамики нет — «вход-выход»
- Таблицы — как вход и результат
- Можно перечитывать без выхода
Параллельная обработка несколькими солверами .
Мучения .
- Тонкости солверов
- pyomo — хорошо, но ---
- Долгие операции
- «неудачи космических полетов»
400 заказаов на 11 смен .
Модель .
Убрано
- Цепь вывоза
- На складе надо моделировать серьезно (не «рюкзак»)
- Охлаждение
- Стекирование
- Вывоз
- На складе надо моделировать серьезно (не «рюкзак»)
- Сроки вывоза
- Можно легко вернуть — но в буфере склад!
Модель — максимальная простота .
Демо
- «Гидродинамика потока слабов»
- ЦЛП моделирование всего этого.
- Убедиться, что эти размеры «тащатся».
Модель — размеры.
| Смен | Печей | Периодов | Заказов | Размер |
|---|---|---|---|---|
| 5 | 5 | 2 | 180 | 9569x3975 |
| 5 | 5 | 2 | 220 | 10774x4475 |
| 8 | 5 | 2 | 300 | 20999x7160 |
| 14 | 5 | 2 | 500 | 37049x12530 |
План .
- У меня (пока?) есть магия добывать лицензии на гуроби
- Придерживаться gurobi-солвера пока отлаживаем модель
- Когда все ОК с моделью → смотреть cbc/glpk/… → пытаемся догнать
Модель .
- Компактификация заказов (небинарные, целые)
- Понять, что с охлаждением-вывозом-складом
Модель — разъяснение .
- Пройдемся по коду
Открытые технические вопросы .
- Исследовать параметры солверов (не реагирует на gap)
- Собрать версию CBC с threading
Как бы сохранить best feasible? .
