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.
actualités
Knitro 14.2 résout vos modèles non-convexes difficiles en un instant
– Nous avons le plaisir d’annoncer qu’Artelys Knitro 14.0 est maintenant disponible ! Cette nouvelle version permet aux entreprises de résoudre des problèmes complexes d’optimisation non linéaire avec une efficacité et une précision sans précédent.
Artelys Knitro 14.1 : résout très rapidement vos modèles non-convexes
– Nous avons le plaisir d’annoncer qu’Artelys Knitro 14.0 est maintenant disponible ! Cette nouvelle version permet aux entreprises de résoudre des problèmes complexes d’optimisation non linéaire avec une efficacité et une précision sans précédent.
Artelys Knitro 14 : nouvelle version de notre solveur d’optimisation non linéaire
– Nous avons le plaisir d’annoncer qu’Artelys Knitro 14.0 est maintenant disponible ! Cette nouvelle version permet aux entreprises de résoudre des problèmes complexes d’optimisation non linéaire avec une efficacité et une précision sans précédent.
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
Santé
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
téléchargez la brochure
demandez une démo
