modelisation

Disponible uniquement sur Etudier
  • Pages : 2 (317 mots )
  • Téléchargement(s) : 0
  • Publié le : 1 avril 2014
Lire le document complet
Aperçu du document
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 deré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 basesde 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 contenantdes 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 deré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+...
tracking img