|
Xpress-MP - Modules Fonctionnels
Modules d'optimisation
L'optimiseur Xpress-MP est la solution globale pour tous
les problèmes linéaires et quadratiques, qu'ils soient continus,
en nombres entiers ou en variables mixtes :
• Méthode
du simplexe pour les problèmes linéaires et quadratiques continus.
• Méthode
de points intérieurs pour les problèmes linéaires et quadratiques
continus de grande taille (module Barrier
LP&QP).
• Méthode
de Branch-and-Bound/Branch-and-Cut pour les problèmes en nombres
entiers linéaires et quadratiques (modules MIP
et MIQP).
Xpress-SLP est un composant numérique
pour la résolution de problèmes d'optimisation non linéaire
et non linéaire en nombres entiers. Les problèmes résolus
par Xpress-SLP peuvent être entièrement modélisés dans Xpress-Mosel
et Xpress-IVE. Xpress-SLP s'appuie sur une méthode de Successive
Linear Programming qui consiste à approximer le problème non
linéaire que l'on cherche à résoudre par une suite de problèmes
linéaires.
Le module Xpress-SP
de stochastic programming résout les problèmes linéaires où
les données sont des variables aléatoires.
Le module
Xpress-Kalis fournit un accès au solveur Artelys
Kalis depuis Mosel ; il permet de modéliser et résoudre
des problèmes combinatoires en utilisant des techniques de
programmation par contraintes. Les extensions apportées au
solveur de propagation de contraintes (ajouts de nouvelles
contraintes, de nouvelles stratégies de recherche, etc.) sont
directement utilisables en langage Mosel.
Modules de développement et d'environnement
Le langage de modélisation Mosel
permet de formuler les problèmes d'optimisation, d'appeler
l'Optimizer et de développer des méthodes d'optimisation.
Il permet d'expliciter dans un langage proche du formalisme
mathématique les variables, les contraintes et la fonction
objectif. Mosel peut être utilisé au sein de IVE, via un exécutable
en ligne de commande ou via les APIS C/C++, VB ou Java.
Xpress-IVE est l'environnement
de développement de modèles d'optimisation en langage Mosel.
Cet environnement permet une visualisation des résultats et
du processus de calcul.
Xpress-BCL est la librairie orientée
objet qui permet de construire des modèles d'optimisation
et de contrôler l'Optimizer via ses API C, C++, VB ou Java.
Le module ODBC Data Connector fournit
une interface entre Mosel et toute base de données
compatible avec ODBC (Access, Excel, MySQL, Oracle, etc.).
|
