L’utilisation de IBM Ilog Cplex
Optimization Studio
Virginie Gabrel Modélisation et résolution de pbs en RO

1

2013-2014

Master ID

Solveurs et Modeleurs
Solveurs : Logiciels de résolution de
Programme Mathématique (excel, CPLEX,
GLPK, lindo, Xpress, gurobi, coin-OR…)
–
–

PL : méthode révisée du simplexe
PLNE : méthode par séparation et évaluation

Modeleurs : Langage pour écrire, intégrer, résoudre et afficher un PM : GAMS, AMPL,
OPL…
2

2013-2014

Master ID

Cplex Optimization Studio
Offre un environnement de développement intégré : de la modélisation -> résolution
–
–
–

3

OPL : Optimization Programming language
(inclus IBM ILOG Script for OPL)
CPLEX Optimizer (solveur de programmes mathématiques) CP Optimizer (programmation par contraintes)

2013-2014

Master ID

Objectifs de IBM Ilog OPL

4

Fournir à l’utilisateur un moyen simple pour décrire/modifier un modèle
Manipuler des types de données standard : string,
{string}, float, float+, int, boolean, tuple, range…
Manipuler des notations algébrique
– Sum (j in 1..n) c[j]*x[j]
Séparer le modèle des données (possibilité d’utiliser des données stockées dans des bases de données et/ou des tableurs)
Fournir un langage de commande permettant de résoudre une séquence de programmes
2013-2014

Master ID

La notion de Projet OPL
Projet OPL = Dossier contenant des fichiers :
–
–

–

–

5

un ou plusieurs fichiers modèles .mod, une ou plusieurs configurations d’exécution (chaque config contient exactement un et un seul .mod, une config permet de référencer un .mod et associe un
.mod à un ou plusieurs .dat), un ou plusieurs fichiers de données .dat (il peut n’exister aucun fichier .dat), un ou plusieurs fichiers de paramétrages d’OPL .ops
(il peut n’exister aucun fichier .ops)
2013-2014

Master ID

Exemple raffinerie : modèle 1
Défini
{string} Essence={"EA","EB"};
{string} Constituant={"C1","C2","C3"}; dvar float+