Oprogramowanie optymalizacyjne: modele wierne, solwery pewne

Modele produkcji ze zdolnościami i kosztami muszą naprawdę optymalizować

Co się dzieje. Dostawca oprogramowania decyzyjnego buduje model produkcji klienta z maszynami, zdolnościami produkcyjnymi, czasami przezbrojeń i kosztami, a model ma znaleźć najlepszy plan. W praktyce model jest uproszczeniem, dane przychodzą późno, a plan, który z niego wychodzi, planista poprawia ręcznie.

Ile to kosztuje. Projekty programistyczne, które długo nie przynoszą korzyści, klienci wracający do arkuszy kalkulacyjnych i konsultanci, którzy czas poświęcają danym, a nie modelowi.

Dlaczego zwykłe rozwiązanie nie działa. Bardziej szczegółowy model jest wolniejszy i kruchy. Prostszy gubi właśnie te zjawiska, które mają znaczenie. Heurystyki dostrojone dla jednego klienta trzeba budować od nowa dla następnego. Zatrudnianie matematyka dla każdego klienta się nie skaluje.

Jak sprawdza to zdalna diagnoza w stałej cenie. Na podstawie typowego modelu klienta, jego danych i jednego przykładu planowania sprawdzam, które uproszczenia kosztują najwięcej, czy metoda rozwiązywania pasuje do struktury i gdzie ucieka czas obliczeń. Zdalna diagnoza w stałej cenie odpowiada, czy lepsze sformułowanie lub metoda zbliży plan dostatecznie do tego, czego oczekuje planista.

Planowanie w lotnictwie wymaga symulacji i szybkich heurystyk optymalizacyjnych

Co się dzieje. Linie lotnicze planują loty, załogi i samoloty w sieci, w której jedno opóźnienie się rozchodzi. Planiści chcą symulować skutek zmian i znaleźć lepszy plan w minuty, a nie w nocnym przebiegu. Istniejące narzędzia są wolne albo dają plan, który nie przeżywa pierwszego zakłócenia.

Ile to kosztuje. Opóźnienia kosztujące odszkodowania i godziny pracy załóg, samoloty na ziemi i planiści pracujący do późna nad naprawą planu.

Dlaczego zwykłe rozwiązanie nie działa. Dodanie zapasu do rozkładu chroni przed opóźnieniem i marnuje czas samolotów. Metoda dokładna trwa zbyt długo przy rozmiarze sieci. Reguła praktyczna nie widzi drugiego skutku zmiany.

Jak sprawdza to zdalna diagnoza w stałej cenie. Na podstawie próbki planu i jego zakłóceń sprawdzam, który szczegół symulacji ma znaczenie i jaka heurystyka da plan dostatecznie dobry w Państwa limicie czasu. Zdalna diagnoza w stałej cenie odpowiada, jaki byłby czas obliczeń i jakość planu dla Państwa sieci.

Więcej: Optymalne trajektorie i plany wartości zadanych

Jazda oparta na optymalizacji musi się skalować wraz z argumentacją bezpieczeństwa

Co się dzieje. Pojazd prowadzony przez optymalizator musi co ułamek sekundy dostarczać bezpieczny ruch. Dla pilotażu z kilkoma pojazdami solwer stroi się ręcznie. Dla floty musi działać na sterowniku pojazdu, ze ścieżką bezpieczeństwa, którą rzeczoznawca może zaakceptować. Klienci oprogramowania proszą o pomoc przy samym solwerze.

Ile to kosztuje. Opóźnienia przy przejściu od pilotażu do serii, nakład na wsparcie każdego klienta i ryzyko, że solwer zawiedzie w rzadkim przypadku.

Dlaczego zwykłe rozwiązanie nie działa. Solwer dostrojony do toru próbnego zawodzi w rzadkim przypadku. Drugi, prosty regulator zapasowy zabezpiecza pojazd, ale nie usuwa pytania, kiedy optymalizatorowi się ufa. Ogólna biblioteka solwerów jest za duża dla sterownika pojazdu.

Jak sprawdza to zdalna diagnoza w stałej cenie. Na podstawie sformułowania zadania jazdy, nastaw solwera i przypadków awarii sprawdzam, skąd biorą się czas obliczeń i awarie oraz czego potrzebuje lekki solwer z udokumentowanym rozwiązaniem zapasowym. Zdalna diagnoza w stałej cenie odpowiada, czy solwer można uczynić dość odpornym do wydania seryjnego.

Więcej: Sterowanie predykcyjne na sprzęcie wbudowanym