|
Artelys Kalis - Nouveautés
Xpress-Kalis 2008
La version Xpress-Kalis 2008 connaît une avancée significative
avec le développement de nouvelles fonctionnalités d'extension.
Extensions
•
développement et ajout de contraintes sur mesure,
•
développement et ajout d'heuristiques spécifiques de recherche,
•
développement et ajout d'heuristiques de sélection de variables,
•
développement et ajout de stratégie de résolution.
Une percée originale et innovante
L'utilisateur peut à présent enrichir lui-même Xpress-Kalis
en créant ses propres contraintes et heuristiques. Cette librairie
sur mesure s'intègre à la librairie par défaut de façon transparente
et devient accessible directement en langage Mosel :
les contraintes spécifiques sont utilisées de la même façon
que les contraintes standard.
Cette fonctionnalité d'extension est particulièrement intéressante
dans le cadre d'un développement de modèles avancés nécessitant
l'emploi de schémas complexes de propagation de contraintes.
Loin de limiter l'utilisateur à un ensemble de possibilités
de modélisation standard, Xpress-Kalis
lui permet au contraire de concevoir et d'implémenter ses
propres contraintes et heuristiques dans le but de prendre
en compte la spécificité de son problème et d'améliorer la
performance de la résolution.
Xpress-Kalis Version 2007.2
Les améliorations suivantes ont été ajoutées à la dernière
version de Xpress-Kalis :
Dans le domaine de l'ordonnancement :
•
La mise à la disposition de l'utilisateur des ressources
optionnelles : ces contraintes permettent de modéliser
le problème lorsque les affectations des ressources
aux tâches sont des variables du problème.
•
Un meilleur contrôle de la propagation des contraintes de
ressources grâce à de nouveaux paramètres dans les fonctions
set_resource_attributes.
•
Des stratégies de recherche spécifiques à la méthode
cp_schedule, aussi bien pour la recherche de solutions heuristiques
que pour la recherche de solutions optimales.
•
La possibilité de spécifier plus finement le processus de
recherche en fonction du nombre de nœuds explorés, du nombre
de backtracks effectués, du nombre de solutions déjà obtenues,
du nombre de nœuds explorés entre deux solutions, du temps
écoulé (nouveaux paramètres MAX_NODES, MAX_BACKTRACKS, MAX_NODES_BETWEEN_SOLUTIONS,
MAX_COMPUTATION_TIME, MAX_SOLUTIONS dans la fonction cp_schedule).
De façon générale :
•
L'amélioration des performances des sélecteurs de variables,
diminuant le temps de calcul sur les problèmes de grande taille.
•
La mise à disposition d'un nouveau paramètre de contrôle :
MAX_NODES_BETWEEN_SOLUTIONS (pour les méthodes cp_find_next_sol,
cp_minimize, cp_maximize, cp_schedule).
•
Le paramétrage du détail des traces d'exécution (log), grâce
au nouveau paramètre de contrôle verbose_level.
•
Les fonctions "callback" peuvent désormais être réinitialisées,
ce qui leur confère une plus grande souplesse d'utilisation
(par exemple set_node_callback).
Renseignements
Pour toute information concernant Artelys Kalis, vous pouvez
nous contacter :
•
par téléphone : +33 1 44 77 89 00 ;
•
par courrier électronique : info-kalis@artelys.com
|
