Tirez parti de vos contraintes

— Artelys Kalis est une plateforme de modélisation et de résolution de problèmes combinatoires de grande taille par des techniques hybrides de programmation par contraintes, programmation mathématique et d’intelligence artificielle.

L’optimisation des processus de décision est devenue une préoccupation majeure dans un grand nombre de secteurs industriels et économiques. Artelys Kalis, solveur pour la résolution par contraintes, est utilisé par un grand nombre de sociétés pour mettre au point des applications innovantes et efficaces dans la finance, l’énergie, la communication, la logistique, les sciences et l’ingénierie.

exprimer vos contraintes

— Grâce à sa vaste librairie de contraintes et de recherches, Artelys Kalis vous permet de modéliser et résoudre vos problèmes combinatoires en un tour de main.

Déclarez vos variables

entières, booléennes, réelles, set

Ajoutez vos contraintes

basiques ou globales

Définissez votre stratégie de recherche

choisissez parmi notre librairie de recherches ou ajoutez votre propre stratégie

Lancez l’énumération

tout en gardant le contrôle

… et c’est tout !

problèmes résolus

— Puissant solveur de programmation par contraintes, Artelys Kalis est spécialisé dans la résolution de problèmes combinatoires de grande taille.

Scheduling

Vehicule Routing

Bin packing

Théorie des graphes

applications

Planning de production

Télécommunications

Planification

Transport

Jeux et casse-têtes

fonctionnalités

— Pour une performance optimale, Artelys Kalis a été conçu comme une plateforme orientée objet, ouverte et riche pour offrir à ses utilisateurs un maximum de flexibilité.

Gestion des variables discrètes et continues  +

Vaste librairie de contraintes: algébrique, logique, globale  +

Possibilité d’implémenter ses propres constraintes avec un mécanisme de propagation dédié  +

Un algorithme de recherche configurable: trouver une/plusieurs solutions faisables, retourner une solution optimale  +

Multiples schémas de branchement disponibles  +

Possibilité d’implémenter ses propres stratégies de recherche  +

Paramétrage automatique du solveur selon les caractéristiques du problème

Génération automatique de relaxation de problèmes linéaires (LP) ou de problèmes à variables mixtes (MIP) pour une optimisation plus rapide et la définition de stratégies de résolution hybrides

planification & allocation de ressources

— Artelys Kalis intègre notamment des objets de modélisation, contraintes et recherches heuristiques spécialisés pour les problèmes de planification et d’allocation de ressources.

Objets dédiées à la modélisation de problèmes de planification +

  • Tâches
  • Ressources

Support de multiples types de ressources

  • Cumulatives + ou disjonctives +
  • Renouvelables ou non (capacité d’une machine, main d’œuvre) +
  • Discrète ou continue

Gestion fine des contraintes temporelles

  • Temps de démarrage/préparation +
  • Périodes d’inactivité
  • Profil de charge

Heuristiques de recherche spécialisées

interfaces

— Xpress-Kalis

Artelys Kalis a été associé au langage de modélisation algébrique FICO® Xpress Mosel pour constituer le composant de programmation par contraintes Xpress-Kalis.
FICO® Xpress Mosel facilite le développement de modèles grâce à ses nombreux connecteurs de données (fichiers texte, Excel, ODBC, Oracle) ainsi que son environnement de développement intégré, Xpress Workbench.
Avec Xpress-Kalis, vous bénéficiez de toute la puissance de FICO® Xpress Mosel, définir vos propres stratégies de recherches ou vos contraintes spécifiques n’a jamais été aussi simple !

systèmes d’exploitation

Abonnez-vous à notre newsletter

Les données collectées seront exclusivement traitées par la société Artelys dans le but de vous tenir informé(e) des services et produits commercialisés par notre entreprise.

🛈

demandez une démo

© ARTELYS • Tous droits réservés • Mentions légales

Pin It on Pinterest