Prêtable
Titre : | De la programmation linéaire à la programmation par contraintes |
Type de document : | texte imprimé |
Editeur : | Paris [France] : Editions Ellipses, 2019 |
Collection : | TechnoSup |
ISBN/ISSN/EAN : | 978-2-340-02946-0 |
Format : | 1 vol. (350 p.) / ill. / 26 cm |
Langues: | Français |
Index. décimale : | 519.7 (Programmation mathématique (non appliquée à des situations réelles)) |
Catégories : | |
Mots-clés: | Programmation par contraintes ; Programmation linéaire |
Résumé : |
Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC.
La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC. Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux en Java avec NetBeams. |
Note de contenu : |
Sommaire :
Chapitre 1: Modélisation l'inéare et outils de résolution Chapitre 2: Choco et cplex pour la propagation par contraintes Chapitre 3: Notions de base en PPC et utilisation avancée de choco Chapitre 4: Modélisations ppc pour le RCPSPet et le job-shop Chapitre 5: Modélisations spécifiques à la PPC |
Exemplaires (5)
Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|
F8/12187 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
F8/12188 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
F8/12189 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
F8/12190 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
F8/12547 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |