|
27 avril 2007
Version 2007 du logiciel Xpress-MP
Artelys et Dash Optimization présentent
aujourd'hui la nouvelle version Xpress-MP 2007. Artelys et
Dash Optimization continuent de proposer à leurs clients les
outils de modélisation et d'optimisation les plus performants
pour un très grand nombre d'applications industrielles. Ce
savoir-faire a récemment permis de résoudre pour la première
fois des problèmes jusqu'ici sans solution et d'améliorer
des solutions existantes.
En
savoir plus
La nouvelle version Xpress-MP 2007 permet
de résoudre plus efficacement des problèmes d'ordonnancement
grâce à des algorithmes dédiés intégrés à Xpress Kalis. Elle
contient également des améliorations significatives du solveur
Optimizer LP/MIP et du langage de modélisation Mosel.
Xpress-Kalis 2007
Artelys et Dash renforcent leurs efforts pour proposer les
fonctionnalités les plus avancées de programmation par contraintes
dans l'environnement de programmation IVE en langage Mosel.
Le périmètre fonctionnel de Xpress-Kalis
a été considérablement élargi, notamment par l'ajout de fonctionnalités
entièrement dédiées à la modélisation et à la résolution des
problèmes d'ordonnancement :
•
de nouvelles contraintes cumulatives et disjonctives ont été
ajoutées ;
•
des objets prédéfinis "tâche" et "ressources" permettent un
haut niveau de modélisation ;
•
pour la résolution de problèmes d'ordonnancement, l'utilisateur
a le choix entre des stratégies de branchement prédéfinies
et configurables d'une part et l'implémentation de ses propres
heuristiques d'autre part ;
•
l'affichage des résultats (diagrammes de ressources, diagrammes
de Gantt) dans l'environnement de développement IVE aide l'analyse
des solutions obtenues.
Xpress-Kalis prend également en compte les variables continues
et les contraintes arithmétiques (linéaires et non linéaires)
sur les variables continues et discrètes. Cela permet de résoudre
les problèmes mixtes en nombres entiers avec Xpress-Kalis.
Xpress-Optimizer 18.00.01
La performance de l'optimisation a été améliorée sur une
large gamme de modèles. Le tableau ci-dessous montre une comparaison
de performance avec la version 2006A pour la classe des modèles
standard QA de Dash :
| Algorithme |
amélioration
2007A / 2006A |
Primal |
9% |
Barrier |
13% |
MIP |
41% |
•
Presolve
| |
- le presolve a été complètement réécrit. Il est à présent
plus rapide, surtout pour les grands problèmes et calcule
plus de réductions ;
- une précision améliorée pour les problèmes en nombres
entiers conduit à de meilleures solutions et des temps
de calcul réduits ;
- dualisation : le LP optimise désormais beaucoup plus
vite pour les modèles qui contiennent beaucoup plus de
lignes que de colonnes. |
•
le Simplexe Dual a été amélioré
sur les modèles pour lesquels la dualisation est difficile
;
•
une meilleure fonction de mise
à l'échelle (scaling) permet une plus grande robustesse d'un
point de vue numérique ;
•
la génération de coupe MIR a
été améliorée, conduisant à de plus petits écarts et/ou à
des temps de calcul réduits pour les problèmes en nombres
entiers ;
•
le nouvel algorithme de Simplexe
Réseau est de 10 à 100 fois plus rapide que le dual sur les
modèles de réseau. Des procédures avancées de démarrage à
chaud sont incluses ;
•
un nouveau presolve noeud-à-noeud
permet des améliorations significatives du branch-and-bound
pour les problèmes en nombres entiers ;
•
l'heuristique de recherche locale
produit à présent de meilleures solutions, en particulier
au nœud racine ;
•
l'heuristique de plongement a
été améliorée pour trouver de meilleures solutions ;
•
des améliorations spécifiques
permettent une résolution plus rapide des problèmes d'ordonnancement.
Xpress-Mosel 2.0.0
La nouvelle version offre de nombreuses améliorations pour
faire de Mosel l'environnement de modélisation le plus avancé
:
•
packages : Mosel peut à présent
être utilisé pour créer des librairies externes compilées
de fonctions et de variables, qui peuvent être importées dans
un autre modèle ;
•
records : Mosel propose désormais
des types de structure utilisateur qui peuvent encapsuler
plusieurs membres ;
•
types encapsulés complexes :
tout type de structure (tableau, ensemble, liste ou record)
peut maintenant être utilisé comme type élémentaire par exemple
array(range) ou ensemble d'entiers ;
•
une nouvelle structure list
remplace les tuples, de sorte
qu'il est possible de déclarer et manipuler des collections
ordonnées d'objets d'un type donné. Les opérateurs agrégés
acceptent à présent les listes comme source de valeurs pour
leurs indices ;
•
les types utilisateur peuvent
être déclarés comme alias d'un type complexe.
•
un nouveau driver IO 'excel'
produit une initialisation à partir de fichiers Excel sans
exiger de requête SQ ;
•
Mosel 2 donne accès à l'ensemble
des fonctionnalités pour le calcul parallèle.
Retour |
