Artelys Kalis
Solveur de programmation par contraintes pour la résolution de problèmes combinatoires de grande taille
Plateforme de modélisation et de résolution de problèmes combinatoires de grande taille par des techniques hybrides de programmation par contraintes et programmation mathématique.
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.
Artelys Kalis est un composant numérique de programmation par contraintes permettant un traitement rapide et efficace de problèmes combinatoires de diverses natures : ordonnancement, emplois du temps, allocation de ressources, configuration d’équipements ou de réseaux, etc.
Artelys développe, distribue et assure le support d’Artelys Kalis. Il est également disponible au sein de la suite FICO™ Xpress Optimization (Xpress-Kalis).
Partenariat académique
Artelys a mis en place un partenariat académique pour les établissements d’enseignement supérieur, qui leur permet d’utiliser Artelys Kalis à des fins de recherche ou d’enseignement. Des options (incluant le support et des licences additionnelles) sont proposées à des conditions avantageuses. Si vous faites partie d’un établissement d’enseignement supérieur et que vous souhaitez mettre en place ce partenariat avec Artelys, merci de nous contacter.
Partenariat académique Artelys
• 10 licences annuelles fixes sur PC. Chaque licence inclut la dernière version d’Artelys Kalis C++ fournie avec une documentation exhaustive et des exemples didactiques prêts à l’emploi.
• Autorisation de reproduction de la documentation pour l’enseignement et la recherche.
Pour toute information sur les partenariats, utilisez notre formulaire de contact
Fonctionnalités
Artelys Kalis est une plateforme orientée objet, ouverte et riche pour résoudre des problèmes combinatoires. Artelys Kalis est efficace pour la résolution de diverses classes de problèmes complexes.
Gamme de problèmes résolus par Kalis
• Problèmes linéaires et non linéaires à variable mixte (MIP/ MINLP)
• Problèmes de planification et d’ordonnancement
• Problèmes d’allocation de ressources et de rotation d’équipage
• Problème de dimensionnement de chaîne logistique et de tournées de véhicules
Principales fonctionnalités
• Vaste librairie de contraintes et de recherches heuristiques et méta heuristiques, complètes et locales
• Objets de modélisation, contraintes et recherches heuristiques spécialisés pour les problèmes de planification et d’allocation de ressources
• Possibilité pour l’utilisateur de définir ses contraintes, ses recherches heuristiques et ses rappels
• 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
Interfaces de programmation
Système d’exploitation
Exemples d'application d'Artelys Kalis
Tous les exemples d'applications d'Artelys Kalis listés ci-dessous sont téléchargeable ici.
Défense - urgence sanitaire
• Plan d'évacuation des victimes en cas d'attaque terroriste dans une grande ville
Planning de production
• Ordonnancement d'atelier
Planification de personnel
• Planning du personnel d'un cinéma
• Rotation du personnel d'un service d'urgence
Logistique
• Chargement d'un cargo
Transport
• Planification des atterrissages des avions
• Chargement d'hélicoptères avec contraintes d'équilibrage de poids
Télécom
• 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é
Récréation
• Cavalier d'Euler
• Sudoku
Manuels utilisateur
Téléchargement d’une version d’essai
Comment obtenir l’identifiant unique (ID) de votre ordinateur ?
Pour obtenir l’ID de votre ordinateur, sélectionnez dans la liste ci-dessous l’exécutable correspondant à votre système d’exploitation. Décompressez, lancez et suivez la procédure.
Exécutable “ArtelysHostID” pour :
• Windows 32 bits
• Windows 64 bits
• Linux 32 bits
• Linux 64 bits
Procédure
Windows : décompressez l'archive puis double-cliquez sur le fichier nommé "ArtelysHostID.exe"
Linux or Mac OS X : ouvrez une nouvelle fenêtre Terminal, sélectionnez le répertoire où vous avez décompressé l’archive puis tapez ./ArtelysHostID
Pour toute question supplémentaire sur cette procédure, merci d’utiliser notre formulaire de contact.
Questions fréquentes
Pour toute question concernant Artelys Kalis, merci de nous contacter : info-kalis@artelys.com.
Assistance téléphonique et par courrier électronique gratuite pour l’utilisation. L’aide à la modélisation est exclue, mais Artelys vous donnera toutes les informations et les conseils utiles pour tirer parti des performances numériques et de toutes les fonctionnalités d’Artelys Kalis.
Mise à jour gratuite et systématique de vos logiciels Artelys Kalis. Artelys poursuit une politique très volontariste d’investissement dans la recherche : les performances d’Artelys Kalis sont sans cesse améliorées. Le contrat annuel de maintenance et d’assistance permet de bénéficier de ces recherches.
Accès privilégié aux nouveaux services et produits. Les titulaires de contrats de maintenance et d’assistance sont les premiers informés et bénéficient en premier des nouveautés.
Partager cette page
Linked in ViadeoTwitter Facebook