-
- De la Programmation Linéaire à la Programmation Par Contraintes
Concevoir et utiliser des Solveurs PPC - Technologies : C, Java, Cplex IDE, Choco ...
- Contenu du site
- Ce site accompagne le livre "De la programmation linéaire à la programmation par contraites " - Editeur : Ellipses.
-
-
ISBN-10 : 9782340-029460
Se procurer le livre ?
Acheter le livre
- Les logiciels et librairies utilisées
- La librairie GLPK 4.60 :
- Télécharger la librairies GLPK
- NetBeans 8.2 (site officiel) :
- Télécharger NetBeans 8.2
- NetBeans 8.2 (copie locale) :
- Télécharger NetBeans 8.2
- Visual Studio 2015 :
- Télécharger Visual Studio
- Librairie Choco 4.0.4 (utilisée pour le livre):
- Télécharger Choco 4.0.4
- Librairie Choco 4.0.8 (version la plus récente):
- Télécharger Choco 4.0.8
- Gusek 0.2.20 :
- Télécharger Gusek 0.2.20
- Des livres sur des sujets connexes ...
- Le cours de E. Hebrard réalisé à la Spring School de Troyes :
- https://www.youtube.com/watch?v=tWRCvxoHHpY/
- Cours de christine.solnon :
- https://perso.liris.cnrs.fr/christine.solnon/Site-PPC/session1/e-miage-ppc-sess1.htm
- Master Parisien de Recherche Opérationnelle :
- https://uma.ensta-paristech.fr/mpro/cours/PPC
- Les auteurs
-
-
Marina Vinot
Tel. : 04 73 40 50 08
Email : vinot@isima.fr
Page perso : http://www.isima.fr/~vinot
LIMOS - UMR CNRS 6158
Université Clermont Auvergne
Campus des Cézeaux, 63173 Aubière CEDEX -
Philippe Lacomme
Tel. : 04 73 40 75 85
Email : placomme@isima.fr
Page perso : http://www.isima.fr/~lacomme
LIMOS - UMR CNRS 6158
Université Clermont Auvergne
Campus des Cézeaux, 63173 Aubière CEDEX
and Dipartimento di Scienze e Metodi dell Ingegneria (DISMI),
-
Eric Bourreau
Tel. : 04 67 41 85 00
Email : Eric.Bourreau@lirmm.fr
Page perso : http://www.lirmm.fr/~bourreau/
LIRMM UMR 5506
LIRMM
UMR 5506, 161 rue Ada, 34392 Montpellier Cedex 5 - France -
Matthieu Gondran
Tel. : 04 73 40 79 48
Email : gondran@isima.fr
Page perso : http://fc.isima.fr/~gondran
LIMOS - UMR CNRS 6158
Université Clermont Auvergne
Campus des Cézeaux, 63173 Aubière CEDEX -
Le livre présenté... par les auteurs.....
- Présentation de Matthieu/Marina/Philippe
- Lien externe vers la vidéo d'Eric Bourreau Voir la vidéo
- Licence des programmes
-
Les programmes disponibles sur cette
page web sont libres, vous pouvez les redistribuer et/ou les
modifier selon les termes de la licence publique générale GNU
publiée par la Free Software Foundation (version 2, ou bien
toute autre version ultérieure choisie par vous).
Les programmes sont distribués car potentiellement utiles, mais SANS AUCUNE GARANTIE, ni explicite, ni implicite, y compris les garanties de commercialisation ou d'adaptation dans un but spécifique.
Reportez-vous à la licence publique générale GNU pour plus de détails.
Vous pouvez consultez la lience GNU en Anglais à l'adresse suivante : http://www.gnu.org/copyleft/gpl.html
Une traduction Française, non officielle, est disponible, à l'adresse suivante : http://www.linux-france.org/article/these/gpl.html
Il est possible d'obtenir une version de la licence en écrivant à l'adresse suivante :
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, états-Unis.
- Licence des fichiers pdf présents sur cette page
-
Permission vous est donnée de
copier, distribuer et/ou modifier les documents pdf de cette
page web selon les termes de la Licence GNU Free Documentation
License, version 1.3 ou ultérieure publiée par la Free Software
Foundation ; sans section inaltérable, sans texte de première
page de couverture et sans texte de dernière page de couverture.
Vous pouvez consultez la lience GNU en Anglais à l'adresse suivante : http://www.gnu.org/licenses/fdl.html
Une traduction Française non officielle est disponible à l'adresse suivante : http://www.gnu.org/licenses/fdl-howto-opt.fr.html
- Exemples des chapitres
-
IMPORTANT : Pour assurer le bon fonctionnement des programmes, veuillez noter que les fichiers générés sous GUSEK et CPLEX portent l'exension .mod. Un fichier .mod contient le modèle du problème à résoudre, il joue le rôle de programme principal.
- Chapitre I : Modélisation linéaire et outils de résolution
- Premier programme introductif (GUSEK):
- Téléchargement de Exemple_1.mod
- Deuxième programme introductif (GUSEK):
- Téléchargement de Exemple_2.mod
- Programme pour le problème d'aliments pour bétails (AMPL):
- Téléchargement Aliment
- Programme pour le problème de production de bicyclettes (AMPL):
- Téléchargement Bicyclettes
- Programme pour le problème de transport (AMPL):
- Téléchargement Transport
- Programme pour le problème d'affectation (AMPL):
- Téléchargement Affectation
- Programme pour le problème d'ordonnancement, Job-Shop (AMPL):
- Téléchargement Job-Shop
- Premier programme introductif (GLPK C++):
- Téléchargement Visual_1
- Premier programme introductif (GLPK Java):
- Téléchargement Netbeans_1
- Premier programme introductif (CPLEX C++):
- Téléchargement Visual_2
- Chapitre II : Choco et CPLEX pour la Programmation Par Contraintes
- Programme pour le problème des n reines (Choco Java):
- Téléchargement N_Reines
- Programme pour le problème du carré magique (Choco Java) :
- Téléchargement Carre Magique
- Programme pour le problème de coloriage de graphe (Choco Java) :
- Téléchargement Coloriage
- Programme pour le problème de Job-Shop Faisabilité(Choco Java):
- Téléchargement Job_Shop
- Programme pour le problème de Job-Shop Minimisation(Choco Java):
- Téléchargement Job_Shop_Min
- Programme pour le problème de Job-Shop avec les grandes instances (Choco Java):
- Téléchargement Job-Shop Inst
- Programme pour le problème de Job-Shop avec 2 robots pour le transport (Choco Java):
- Téléchargement de Job_Shop Transp
- Programme pour le problème de coloriage des pays (CPLEX C++) :
- Téléchargement Coloriage Pays
- Programme pour le problème de coloriage (CPLEX C++) :
- Téléchargement Coloriage Visual
- Programme pour le problème de Job-Shop (Visual Studio - CPLEX CP) :
- Téléchargement_Job_Shop_Visual
- Chapitre III : Arbre de recherche en Programmation Par Contraintes et utilisation avancée de Choco
- Programme pour le problème d'addition de mots, paramètres par défaut (Choco Java) :
- Téléchargement_Addition_1
- Programme pour le problème d'addition de mots, version modifiée (Choco Java) :
- Téléchargement_Addition_2
- Programme pour le problème de Job-Shop : Arbre de Recherche (Choco Java) :
- Téléchargement_Job_Shop_Branchement
- Programme pour le problème de Job-Shop : Instances de la littérature et stratégies (Choco Java) :
- Téléchargement_Job_Shop_Strategies
- Chapitre IV : Modélisations en Programmation Par Contraintes pour le RCPSP et le Job-Shop
- Programme pour le problème du RCPSP avec 5 activités (Choco Java) :
- Téléchargement RCPSP_Choco_base
- RCPSP avec 5 activités : Enumération (Choco Java) :
- Téléchargement RCPSP_Enumeration
- Programme pour le problème du RCPSP sur les instances de la littérature (Choco Java) :
- Téléchargement_RCPCP
- Programme pour le problème du RCPSP avec une modélisation disjonctive (OPL Studio) :
- Téléchargement RCPSP Disj OPL
- Programme pour le problème du RCPSP avec une modélisation cumulative (OPL Studio) :
- Téléchargement RCPSP Cumul
- Programme pour le problème de Job-Shop avec une modélisation cumulative (CPLEX C++) :
- Téléchargement JS_Cumulatif
- Programme pour le problème de Job-Shop avec consommation obligatoire (Choco Java) :
- Téléchargement JS_Zone_Conso
- Chapitre V : Modélisations spécifiques à la Programmation Par Contraintes
- Modélisation du RCPSP cumulatif avec Contraintes Globales (OPL Studio):
- Téléchargement RCPSP C_Global
- Modélisation pour le problème du Job-Shop cumulatif avec Contraintes Globales (OPL Studio):
- Téléchargement JS C_Global
- Programme pour le problème du Job-Shop avec DiffN par machine (Choco Java) :
- Téléchargement JS diffN1
- Programme pour le problème du Job-Shop avec diffN global (Choco Java) :
- Téléchargement JS diffN2
- Programme pour le problème du Job-Shop avec OR (Choco Java) :
- Téléchargement JS Or
- Programme pour le problème TSP (GUSEK) :
- Téléchargement TSP
- Programme pour le problème du TSP (Visual Studio CPLEX) :
- Téléchargement TSP Visual
- Programme pour le problème du TSP avec 5 villes (OPL Studio) :
- Téléchargement TSP 5 Villes
- Programme pour le problème du TSP avec 5 villes (Choco Java) :
- Téléchargement TSP 5 Villes Choco
- Programme pour le problème du VRP (GUSEK) :
- Téléchargement VRP
- Programme pour le problème du VRP (Choco Java) :
- Téléchargement VRP Choco
- Chapitre VI : Annexes
- Compléments au Chapitre 4 : quelques résultats théoriques supplémentaires
- Téléchargement PDF Compléments au Chapitre 4
- Avertissements
-
-
Nous avons apporté le plus grand soin aux codes qui accompagnent ce livre. Nous avons, aussi, fait le maximum pour détailler les différentes étapes dans la réalisation des programmes pour que le manuscrit soit accessible au plus grand nombre.
Nous sommes ouverts à toutes suggestions permettant d'améliorer les codes ou les explications associées.
N'hésitez pas à nous contacter.
- Remerciements
-
Ce livre n'aurait pas vu le jour sans la collaboration des ingénieurs de l'Institut Supérieur d'Informatique de Modélisation et de leurs Applications (ISIMA) qui maintiennent le réseau en état de marche et qui nous donnent un accès aux locaux 7j/7j. En un mot "Merci".
Nous terminons par un mot pour les amis et connaissances, membres de nos familles respectives qui ont participé au travail, ingrat mais indispensable de relecture des premières versions de ce livre. Un grand merci à notre éditeur et spécialement à Monsieur Claude Chèze qui nous accordé sa confiance pour ce travail.
