FICO Xpress
| Deweloperzy | FICO |
|---|---|
| Pierwsze wydanie | 1983 |
| Wersja stabilna | 8.13 |
| Platforma | Międzyplatformowe |
| Typ | Badania operacyjne , optymalizacja matematyczna |
| Licencja | Prawnie zastrzeżony |
| Strona internetowa |
FICO Xpress jest komercyjnym rozwiązaniem optymalizacyjnym do programowania liniowego (LP), programowania liniowego na liczbach całkowitych mieszanych (MILP), programowania kwadratowego wypukłego (QP), programowania kwadratowego wypukłego z ograniczeniami kwadratowymi (QCQP), programowania stożkowego drugiego rzędu (SOCP) i ich mieszane odpowiedniki liczb całkowitych. Xpress zawiera nieliniowy solver ogólnego przeznaczenia, Xpress NonLinear, w tym kolejny algorytm programowania liniowego (SLP, metoda pierwszego rzędu) i Artelys Knitro (metody drugiego rzędu).
Xpress został pierwotnie opracowany przez Dash Optimization i został przejęty przez FICO w 2008 roku. Jego pierwszymi autorami byli Bob Daniel i Robert Ashford. Pierwsza wersja Xpress mogła rozwiązywać tylko płyty LP; obsługa MIP została dodana w 1986 r. Wydany w 1983 r. Xpress był pierwszym komercyjnym solverem LP i MIP działającym na komputerach PC . W 1992 roku opublikowano wersję Xpress do obliczeń równoległych, którą pięć lat później rozszerzono na obliczenia rozproszone. Xpress był pierwszym solverem MIP, który przekroczył niezerowy próg miliarda macierzy, wprowadzając indeksowanie 64-bitowe w 2010 roku. Od 2014 roku Xpress oferuje pierwszą komercyjną implementację równoległej metody dual simplex .
Technologia
Programy liniowe i kwadratowe można rozwiązywać metodą pierwotnego simpleksu, metodą podwójnego simpleksu lub metodą punktu wewnętrznego bariery . Wszystkie mieszane warianty programowania całkowitoliczbowego są rozwiązywane za pomocą kombinacji rozgałęzień i ograniczeń oraz metody płaszczyzny cięcia . Problemy niewykonalne można analizować metodą IIS ( nieredukowalny niewykonalny podzbiór). Xpress zapewnia wbudowany tuner do automatycznego dostrajania ustawień sterowania. Xpress obejmuje język modelowania Xpress Mosel oraz zintegrowane środowisko programistyczne Xpress Workbench. Mosel obejmuje przetwarzania rozproszonego , które umożliwiają równoległe rozwiązywanie wielu scenariuszy problemu optymalizacyjnego. Niepewność danych wejściowych można rozwiązać za pomocą solidnych metod optymalizacji .
Xpress ma moduł modelowania o nazwie BCL (Builder Component Library), który łączy się z językami programowania C , C++ , Java oraz .NET Framework . Niezależnie od BCL istnieją interfejsy Python i MATLAB . Obok Mosel, Xpress łączy się z innymi standardowymi językami modelowania, takimi jak AIMMS , AMPL i GAMS .
FICO Xpress Executor wykonuje i wdraża modele Mosel, używając interfejsów SOAP lub REST . Może być używany z zewnętrznych aplikacji lub z Platformy Zarządzania Decyzjami FICO .