ANTIGONE
| Utvecklare | Ruth Misener |
|---|---|
| Stabil frisättning | 1.0 |
| Typ | Teknisk beräkning |
| Licens | Proprietär |
| Hemsida |
ANTIGONE (algoritmer för kontinuerlig / heltals global optimering av icke-linjära ekvationer), är en deterministisk global optimeringslösare för allmänna icke-linjära program med blandade heltal (MINLP).
Historia
ANTIGONE är en utveckling av GloMIQO, en global lösare för blandad heltals kvadratisk programmering skriven av Ruth Misener . ANTIGONE utökar funktionaliteten hos GloMIQO till allmänna MINLP-problem.
Funktioner
Liksom all deterministisk global optimeringsprogramvara är ANTIGONE en verktygslåda med många tekniker för att hantera olika specialfall av olinjär struktur. Med det sagt är det övervägande en gren-och-bunden- lösare. Dess huvudsakliga algoritmiska procedur är uppdelad i fyra huvudsteg:
- Omformulering av användarinput
- Detektering av speciell struktur
- Val av bästa algoritm för den detekterade strukturen
- Lösning av problemet med den valda algoritmen
Med undantag för speciella fall av optimeringsproblem (till exempel konvexa NLP:er) som kan lösas vid rotnoden för branch-and-bound-algoritmen, kommer ANTIGONE att initiera en branch and bound-procedur. Denna procedur innefattar följande steg:
- Generera/uppdatera konvexa avslappningar (problem med lägre gränser)
- Domänminskning
- Sök efter genomförbara lösningar (övre gränser)
- Beräkning av rigorösa nedre gränser genom att lösa de konvexa nedre gränsproblemen.
ANTIGONE använder klassiska faktorbara programmeringstekniker för att generera avslappningar, t.ex. McCormick Relaxations, såväl som samtida algoritmer, såsom Reformulation-Linearisation Technique (RLT), Edge Convex/Concave relaxations och Alpha BB cuts . ANTIGONE har också en dynamisk skärgenerator, som genererar och hanterar lokalt och globalt giltiga skärningar.
Begränsningar
Liksom all deterministisk global optimeringsprogram, kräver ANTIGONE att användaren tillhandahåller de explicita matematiska uttrycken för alla funktioner som används i problemet, såväl som initiala gränser för alla variabler. Om initiala gränser inte tillhandahålls kommer ANTIGONE att försöka sluta sig till gränser, men global optimalitet garanteras inte. ANTIGONE kan bara lösa differentierbara funktioner och kan inte lösa trigonometriska problem.
Gränssnitt
ANTIGONE är en del av GAMS- modelleringsplattformen.
Licensiering
Att använda GAMS/ANTIGONE kräver en ANTIGONE-licens, en CPLEX -licens och en CONOPT- eller SNOPT -licens.