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
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.
Les dernières versions d’Artelys Knitro et CasADi sont compatibles !
— CasADi est un outil libre d’optimisation numérique axé sur la commande optimale. Les versions de CasADi égale et supérieures à 3.6.2 sont maintenant compatibles avec la version 13.2 d’Artelys Knitro.
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
Planning de production
— Utilisations courantes d’Artelys Kalis
• Ordonnancement d’atelier
• Planification de production de bicyclettes
• Production de verre
• Problème de planification MRP
• Production de composants électroniques
• Production de laine de verre avec stockage
Planification
— Utilisations courantes d’Artelys Kalis
• Planning du personnel d’un cinema
• Rotation du personnel d’un service d’urgence
• Constitution d’équipages
• Création de tableaux de service hospitaliers
• Organisation de conférences
• Optimisation dans le Cloud
• Affectation de tâches
• Observations astronomiques
Transport
— Utilisations courantes d’Artelys Kalis
• Planification des atterrissages des avions
• Sectorisation de l’espace aérien
• Correspondance d’avions
• Consitution d’équipages
• Choix de hubs pour une compagnie
• Chargement d’hélicoptères avec contraintes d’équilibrage de poids
• Planification d’une flotte de camions
Télécommunications
— Utilisations courantes d’Artelys Kalis
• Problème d’allocation de fréquence pour les réseaux mobiles
• Problème d’allocation de fréquence dans les réseaux hertziens (et non mobiles) avec contraintes de polarité
• Configuration des options lors de la souscription d’un service télécom
Santé
— Utilisations courantes d’Artelys Kalis
• Construction d’arbres phylogénétiques
• Création de tableaux de service hospitaliers
• Reconstruction d’haplotypes
• Analyse d’imageries médicales
Jeux et casse-tête
— Utilisations courantes d’Artelys Kalis
• Cavalier d’Euler
• Sudoku
• Mastermind
• Grilles et jetons
• Les n reines
• Les tonneaux de vins
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
