Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires

Dimension: px
Commencer à balayer dès la page:

Download "Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires"

Transcription

1 Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique février 2007 FRANCORO V / ROADEF 07 Grenoble Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

2 Plan 1 Le problème du sac-à-dos Formulation du problème bi-01kp Solutions efficaces et points non dominés 2 Le point de départ Existant pour la résolution de bi-01kp Algorithme en deux phases pour bi-01kp Démarche adoptée utilisation d un ranking en seconde phase 3 Améliorations et nouveaux algorithmes Retour sur le branch and bound en phase 2 k meilleures solutions (ranking) 4 Expérimentations numériques Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

3 Plan 1 Le problème du sac-à-dos Formulation du problème bi-01kp Solutions efficaces et points non dominés 2 Le point de départ Existant pour la résolution de bi-01kp Algorithme en deux phases pour bi-01kp Démarche adoptée utilisation d un ranking en seconde phase 3 Améliorations et nouveaux algorithmes Retour sur le branch and bound en phase 2 k meilleures solutions (ranking) 4 Expérimentations numériques Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

4 Formalisation du bi-01kp n max. z j (x) = p j i x i j {1, 2} i=1 n s/c w i x i ω i=1 x i {0, 1} i {1,..., n} w i N i {1,..., n} p j i N i {1,..., n}, j {1, 2} Exclusion des cas triviaux : n w i > ω i=1 w i > 0, i (p 1 i > 0) (p 2 i > 0), i Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

5 Solutions efficaces et points non dominés Espace de décision X = {x {0, 1} n : Ax b} deux solutions x, x X Espace des objectifs Z = z(x) = {Cx : x X} points z(x), z(x ) X EM : l ensemble complet maximal des solutions efficaces. Toutes les solutions pour chaque point non dominé. X Em : un ensemble complet minimal des solutions efficaces. Une solution par point non dominé. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

6 Plan 1 Le problème du sac-à-dos Formulation du problème bi-01kp Solutions efficaces et points non dominés 2 Le point de départ Existant pour la résolution de bi-01kp Algorithme en deux phases pour bi-01kp Démarche adoptée utilisation d un ranking en seconde phase 3 Améliorations et nouveaux algorithmes Retour sur le branch and bound en phase 2 k meilleures solutions (ranking) 4 Expérimentations numériques Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

7 Travaux de référence Méthode en deux phases à base de branch and bound Two-phases Method and Branch and Bound Procedures to Solve the Bi-objective Knapsack Problem, M. Visée et al., Journal of Global Optimization, Méthode dichotomique utilisant un solveur MIP Un retour d expériences sur la résolution de problèmes combinatoires bi-objectifs, F. Degoutin et X. Gandibleux, Journée PM2O, Angers, Transformation de bi-01kp en un problème de plus courts chemins bi-objectif Solving bicriteria 0-1 knapsack problems using a labeling algorithm, M.E. Captivo et al., Computers & Operations Research, Les instances utlisées varient sur différents paramètres pour varier la difficulté de la résolution. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

8 Méthode en deux phases Two-phases Method and Branch and Bound Procedures to Solve the Bi-objective Knapsack Problem, M. Visée et al., Journal of Global Optimization, Principe Constat : il existe de nombreuses méthodes efficaces pour résoudre le problème de sac-à-dos mono-objectif. Idée génerale : profiter de cet existant pour développer une algorithmique pour le problème bi-objectif. phase 1 : recherche des solutions supportées méthode dichotomique phase 2 : recherche des solutions non supportées Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

9 Algorithme en deux phases phase 2 Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

10 Démarche adoptée Le travail effectué suit la démarche adoptée par A. Przybylski pour le problème d affectation bi-objectif. Two phases algorithms for the bi-objective assignment problem, A. Przybylski, X. Gandibleux and M. Ehrgott. Accepted in European Journal of Operational Research. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

11 Plan 1 Le problème du sac-à-dos Formulation du problème bi-01kp Solutions efficaces et points non dominés 2 Le point de départ Existant pour la résolution de bi-01kp Algorithme en deux phases pour bi-01kp Démarche adoptée utilisation d un ranking en seconde phase 3 Améliorations et nouveaux algorithmes Retour sur le branch and bound en phase 2 k meilleures solutions (ranking) 4 Expérimentations numériques Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

12 Retour sur le branch and bound en phase 2 Première amélioration La borne utilisée par Visée et al. est améliorée (Przybylski et al. 2005). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

13 Retour sur le branch and bound en phase 2 Première amélioration La borne utilisée par Visée et al. est améliorée (Przybylski et al. 2005). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

14 Retour sur le branch and bound en phase 2 Première amélioration La borne utilisée par Visée et al. est améliorée (Przybylski et al. 2005). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

15 Retour sur le branch and bound en phase 2 Première amélioration La borne utilisée par Visée et al. est améliorée (Przybylski et al. 2005). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

16 Retour sur le branch and bound en phase 2 Première amélioration La borne utilisée par Visée et al. est améliorée (Przybylski et al. 2005). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

17 Retour sur le branch and bound en phase 2 Seconde amélioration Des solution situées dans les zones grisées vont être construites. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

18 Retour sur le branch and bound en phase 2 Seconde amélioration Des solution situées dans les zones grisées vont être construites. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

19 Retour sur le branch and bound en phase 2 Seconde amélioration Des solution situées dans les zones grisées vont être construites. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

20 Retour sur le branch and bound en phase 2 Seconde amélioration dominance sur le point obtenu par RL (Gandibleux et Fréville 2000). Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

21 k meilleures solutions (ranking) Finding the k Shortest Paths, D. Eppstein. 35th IEEE Symp. Foundations of Comp. Sci., Santa Fe, 1994, pp Tech. Rep , ICS, UCI, SIAM J. Computing 28(2) : , Idée générale Génération les solutions dans l ordre décroissant d optimalité la borne inférieure se serre plus rapidement toute solution ajoutée l est définitivement Condition d arrêt : première solution qui tombe sous la borne Motivation : de très bons résultats sur le problème d affectation (Przybylski et al. 2005) Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

22 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

23 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

24 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

25 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

26 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

27 Illustration Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

28 Quelques mots sur la résolution Exploration d une bande et non plus d un triangle solutions générées dans les triangles proches Ces solutions permettront de calculer une borne inférieure plus serrée pour réduire la taille du graphe des plus longs chemins fixer plus de variables en pré-traitement L exploration d un triangle dépend des explorations précédentes. Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

29 Quelques mots sur la résolution Exploration d une bande et non plus d un triangle solutions générées dans les triangles proches Ces solutions permettront de calculer une borne inférieure plus serrée pour réduire la taille du graphe des plus longs chemins fixer plus de variables en pré-traitement L exploration d un triangle dépend des explorations précédentes. Heuristique : Les triangles sont explorés par ordre croissant de taille. Hypothèses : les triangles petits s explorent rapidement les solutions générées en dehors facilitent la résolution des plus gros Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

30 Plan 1 Le problème du sac-à-dos Formulation du problème bi-01kp Solutions efficaces et points non dominés 2 Le point de départ Existant pour la résolution de bi-01kp Algorithme en deux phases pour bi-01kp Démarche adoptée utilisation d un ranking en seconde phase 3 Améliorations et nouveaux algorithmes Retour sur le branch and bound en phase 2 k meilleures solutions (ranking) 4 Expérimentations numériques Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

31 Instances numériques Classe Nombre Tailles (vars.) Notes 1A 5 50 à 500 «tightness ratio» 1B à 500 A/B/C/D 2/UNCOR non correllées 2/WEAK à 1000 faiblement correllées 2/STRONG à 1000 fortement correllées Instances de la MCDMLib : http ://www.terry.uga.edu/mcdm/ Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

32 Gains obtenus (CPU) avec les améliorations du BB Amélioration de la borne instances résolues en au moins une demie seconde avec la modif : moyen : 45 % max : 70 % min : 25 % Test de dominance instances résolues en au moins une demie seconde avec la modif rapport aux temps obtenus avec la modif précédente moyen : 70 % max : 80 % min : 52 % Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

33 Amélioration du branch & bound limite de temps = 1 heure Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

34 Algorithmes de ranking limite de temps = 1 heure Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

35 Conclusions Améliorations de la 2 phases B&B existante plus rapide, les temps rejoignent PCC Algorithme de ranking pour la seconde phase gains importants, jusqu à 99.8 % de la version B&B ne résout pas les instances difficiles Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

36 Perspectives Réduire la taille du graphe et le temps d exploration utiliser de nouvelles coupes tirer de l information de la structure du problème (Gandibleux & Klamroth 2005) Généraliser les méthodes de résolution à 3, p objectifs à 2, 3, q dimensions Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

37 Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique février 2007 FRANCORO V / ROADEF 07 Grenoble Algorithme pour la résolution exacte d un 01-IP bi-objectif. J. Jorge, Master Thesis, Laboratoire d Informatique de Nantes Atlantique, Université de Nantes, sept Julien Jorge, Xavier Gandibleux (LINA) Résolution exacte du problème bi-01kp février / 24

Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires

Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires Julien Jorge julien.jorge@univ-nantes.fr Laboratoire d Informatique de Nantes Atlantique,

Plus en détail

PREMIER RETOUR D EXPERIENCE SUR LE FLOW-SHOP BIOBJECTIF ET HYBRIDE A DEUX ETAGES AVEC UNE CONTRAINTE DE BLOCAGE PARTICULIERE

PREMIER RETOUR D EXPERIENCE SUR LE FLOW-SHOP BIOBJECTIF ET HYBRIDE A DEUX ETAGES AVEC UNE CONTRAINTE DE BLOCAGE PARTICULIERE 6 e Conférence Francophone de MOdélisation et SIMulation - MOSIM 06 - du 3 au 5 avril 2006 - Rabat - Maroc Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités PREMIER RETOUR D

Plus en détail

Algorithmes de recherche d itinéraires en transport multimodal

Algorithmes de recherche d itinéraires en transport multimodal de recherche d itinéraires en transport multimodal Fallou GUEYE 14 Décembre 2010 Direction : Christian Artigues LAAS-CNRS Co-direction : Marie José Huguet LAAS-CNRS Encadrant industriel : Frédéric Schettini

Plus en détail

Projet de mémoire pour l obtention du titre de Docteur en Systèmes Informatiques et Automatiques de l Ecole Doctorale EDSYS

Projet de mémoire pour l obtention du titre de Docteur en Systèmes Informatiques et Automatiques de l Ecole Doctorale EDSYS Proet de mémoire pour l obtention du titre de Docteur en Systèmes Informatiques et Automatiques de l Ecole Doctorale EDSYS Université Toulouse 3 Paul Sabatier Présenté par : Mohamed Esseghir LALAMI Titre

Plus en détail

Application de K-means à la définition du nombre de VM optimal dans un cloud

Application de K-means à la définition du nombre de VM optimal dans un cloud Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction

Plus en détail

Allocation de ressources pour réseaux virtuels Projet de fin d études. Mikaël Capelle. Marie-José Huguet Slim Abdellatif Pascal Berthou

Allocation de ressources pour réseaux virtuels Projet de fin d études. Mikaël Capelle. Marie-José Huguet Slim Abdellatif Pascal Berthou Allocation de ressources pour réseaux virtuels Projet de fin d études Mikaël Capelle Marie-José Huguet Slim Abdellatif Pascal Berthou 27 Juin 2014 Plan 1 Introduction - La virtualisation de réseau 2 3

Plus en détail

Programmation linéaire

Programmation linéaire 1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit

Plus en détail

Programmation Par Contraintes

Programmation Par Contraintes Programmation Par Contraintes Cours 2 - Arc-Consistance et autres amusettes David Savourey CNRS, École Polytechnique Séance 2 inspiré des cours de Philippe Baptiste, Ruslan Sadykov et de la thèse d Hadrien

Plus en détail

Optimisation des tournées de ramassage scolaire de la commune de Seneffe

Optimisation des tournées de ramassage scolaire de la commune de Seneffe Optimisation des tournées de ramassage scolaire de la commune de Seneffe Laurie Hollaert Séminaire GRT 7 novembre Laurie Hollaert Optimisation des tournées de ramassage scolaire de la commune de Seneffe

Plus en détail

Travail d Étude et de Recherche. Aide à l optimisation de rendez-vous de type business speed-dating

Travail d Étude et de Recherche. Aide à l optimisation de rendez-vous de type business speed-dating Travail d Étude et de Recherche Aide à l optimisation de rendez-vous de type business speed-dating Alexandre Medi Andreea Radulescu Johan Voland Université de Nantes 10 mai 2011 1 Remerciements En préambule

Plus en détail

Programmation Linéaire - Cours 1

Programmation Linéaire - Cours 1 Programmation Linéaire - Cours 1 P. Pesneau pierre.pesneau@math.u-bordeaux1.fr Université Bordeaux 1 Bât A33 - Bur 265 Ouvrages de référence V. Chvátal - Linear Programming, W.H.Freeman, New York, 1983.

Plus en détail

Annexe 6. Notions d ordonnancement.

Annexe 6. Notions d ordonnancement. Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document

Plus en détail

Conception de réseaux de télécommunications : optimisation et expérimentations

Conception de réseaux de télécommunications : optimisation et expérimentations Conception de réseaux de télécommunications : optimisation et expérimentations Jean-François Lalande Directeurs de thèse: Jean-Claude Bermond - Michel Syska Université de Nice-Sophia Antipolis Mascotte,

Plus en détail

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation

Plus en détail

Mathématiques assistées par ordinateur

Mathématiques assistées par ordinateur Mathématiques assistées par ordinateur Chapitre 4 : Racines des polynômes réels et complexes Michael Eisermann Mat249, DLST L2S4, Année 2008-2009 www-fourier.ujf-grenoble.fr/ eiserm/cours # mao Document

Plus en détail

Un modèle réactif pour l optimisation par colonies de fourmis : application à la satisfaction de contraintes

Un modèle réactif pour l optimisation par colonies de fourmis : application à la satisfaction de contraintes Actes JFPC 2009 Un modèle réactif pour l optimisation par colonies de fourmis : application à la satisfaction de contraintes Madjid Khichane 1,2, Patrick Albert 1 et Christine Solnon 2 1 ILOG An IBM Company

Plus en détail

La programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique

La programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation

Plus en détail

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1 Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation

Plus en détail

Plans Coupants et Branch-and-bound

Plans Coupants et Branch-and-bound Plans Coupants et Branch-and-bound Pierre Bonami Optimisation Combinatoire, Masters II, ID et IF 18 décembre 2012 2 idées algorithmiques On considère un problème en nombres entiers z PLM = min{c T x :

Plus en détail

21 mars 2012. Simulations et Méthodes de Monte Carlo. DADI Charles-Abner. Objectifs et intérêt de ce T.E.R. Générer l'aléatoire.

21 mars 2012. Simulations et Méthodes de Monte Carlo. DADI Charles-Abner. Objectifs et intérêt de ce T.E.R. Générer l'aléatoire. de 21 mars 2012 () 21 mars 2012 1 / 6 de 1 2 3 4 5 () 21 mars 2012 2 / 6 1 de 2 3 4 5 () 21 mars 2012 3 / 6 1 2 de 3 4 5 () 21 mars 2012 4 / 6 1 2 de 3 4 de 5 () 21 mars 2012 5 / 6 de 1 2 3 4 5 () 21 mars

Plus en détail

A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters

A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters Présenté par : Equipe de travail : Laboratoire : Maxime CHASSAING Philippe LACOMME, Nikolay

Plus en détail

Cours des Méthodes de Résolution Exactes Heuristiques et Métaheuristiques

Cours des Méthodes de Résolution Exactes Heuristiques et Métaheuristiques Université Mohammed V, Faculté des Sciences de Rabat Laboratoire de Recherche Mathématiques, Informatique et Applications Cours des Méthodes de Résolution Exactes Heuristiques et Métaheuristiques MASTER

Plus en détail

La notion de dualité

La notion de dualité La notion de dualité Dual d un PL sous forme standard Un programme linéaire est caractérisé par le tableau simplexe [ ] A b. c Par définition, le problème dual est obtenu en transposant ce tableau. [ A

Plus en détail

Recherche locale pour un problème d optimisation de tournées de véhicules avec gestion des stocks

Recherche locale pour un problème d optimisation de tournées de véhicules avec gestion des stocks 8 e Conférence Internationale de MOdélisation et SIMulation - MOSIM 10-10 au 12 mai 2010 - Hammamet - Tunisie «Évaluation et optimisation des systèmes innovants de production de biens et de services» Recherche

Plus en détail

Introduction à l analyse numérique : exemple du cloud computing

Introduction à l analyse numérique : exemple du cloud computing Introduction à l analyse numérique : exemple du cloud computing Tony FEVRIER Aujourd hui! Table des matières 1 Equations aux dérivées partielles et modélisation Equation différentielle et modélisation

Plus en détail

Cours de recherche opérationnelle I

Cours de recherche opérationnelle I 1 Cours de recherche opérationnelle I Nadia Brauner Nadia.Brauner@imag.fr Grenoble, 2014-2015 Auteurs Ont participé à la rédaction de ce cours (par ordre d arrivée) Nadia Brauner Christophe Rapine Julien

Plus en détail

ILOG CPLEX Le cœur du système résout des problèmes de programmation mathématique.

ILOG CPLEX Le cœur du système résout des problèmes de programmation mathématique. Introduction à CPLEX 1. Présentation CPLEX est, à la base, un solveur de programmes linéaires. Il est commercialisé par la société ILOG depuis la version 6.0. La dernière version, à ce jour, est la version

Plus en détail

OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT)

OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT) OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT) LAGGOUNE Radouane 1 et HADDAD Cherifa 2 1,2: Dépt. de G. Mécanique, université de Bejaia, Targa-Ouzemour

Plus en détail

Resolution limit in community detection

Resolution limit in community detection Introduction Plan 2006 Introduction Plan Introduction Introduction Plan Introduction Point de départ : un graphe et des sous-graphes. But : quantifier le fait que les sous-graphes choisis sont des modules.

Plus en détail

www.localsolver.com 1/18

www.localsolver.com 1/18 www.localsolver.com 1/18 Bouygues Une culture de l innovation 2 43 Le Groupe Bouygues 5 métiers CA : 32,7 Mds Routes (1986) BTP (1952) Immobilier (1956) 96,5 % 100 % 100 % CONSTRUCTION (2006) 30,7 % ÉNERGIE

Plus en détail

Laboratoire 4 Développement d un système intelligent

Laboratoire 4 Développement d un système intelligent DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement

Plus en détail

Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique

Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique Introduction à la Programmation par Contraintes (PPC) Ruslan Sadykov LIX, École Polytechnique Contenu Introduction Modélisation Problèmes de satisfaction des contraintes Exemples des modèles PPC simples

Plus en détail

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.

Plus en détail

Utilisation du backtrack intelligent dans un branch-and-bound Application au problème d Open-Shop

Utilisation du backtrack intelligent dans un branch-and-bound Application au problème d Open-Shop Utilisation du backtrack intelligent dans un branch-and-bound Application au problème d Open-Shop Narendra Jussien et Christelle Guéret École des Mines de Nantes 4 rue Alfred Kastler BP 20722 F-44300 Nantes

Plus en détail

Mathieu LACROIX. Formation et diplômes. Né le 28 avril 1982 Nationalité française

Mathieu LACROIX. Formation et diplômes. Né le 28 avril 1982 Nationalité française Mathieu LACROIX Maître de conférences I.U.T. de Villetaneuse Laboratoire LIPN 99, Avenue J-B. Clément, 93430 Villetaneuse E-mail : mathieu.lacroix@lipn.univ-paris13.fr Né le 28 avril 1982 Nationalité française

Plus en détail

Sujets de stage. Sciences de la Fabrication et Logistique. Génie Industriel. Optimisation. Recherche opérationnelle. Simulation

Sujets de stage. Sciences de la Fabrication et Logistique. Génie Industriel. Optimisation. Recherche opérationnelle. Simulation 2011 2012 Sujets de stage Génie Industriel Optimisation Recherche opérationnelle Simulation Sciences de la Fabrication et Logistique Table des matières Problème de planification de production avec des

Plus en détail

Utilisation des réseaux bayésiens et de l approche de Fenton pour l estimation de probabilité d occurrence d événements

Utilisation des réseaux bayésiens et de l approche de Fenton pour l estimation de probabilité d occurrence d événements Utilisation des réseaux bayésiens et de l approche de Fenton pour l estimation de probabilité d occurrence d événements Rapport LAAS-CNRS Numéro N o 13077 Quynh Anh DO HOANG, Jérémie GUIOCHET, Mohamed

Plus en détail

Reconstruction d images binaires par l estimation moindres carrés et l optimisation valeur propre

Reconstruction d images binaires par l estimation moindres carrés et l optimisation valeur propre Reconstruction d images binaires par l estimation moindres carrés et l optimisation valeur propre Stéphane Chrétien & Franck Corset Université de Franche-Comté, UMR6623, Département Mathématiques 16 route

Plus en détail

Optimisation for Cloud Computing and Big Data

Optimisation for Cloud Computing and Big Data 1 / 23 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 23 Aujourd hui Problèmes de fiabilité on va oublier la dynamicité Placement de VMs en programmation par contraintes

Plus en détail

Info0804. Cours 6. Optimisation combinatoire : Applications et compléments

Info0804. Cours 6. Optimisation combinatoire : Applications et compléments Recherche Opérationnelle Optimisation combinatoire : Applications et compléments Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 17 février 2014 Plan de

Plus en détail

Etude d un cas industriel : Optimisation de la modélisation de paramètre de production

Etude d un cas industriel : Optimisation de la modélisation de paramètre de production Revue des Sciences et de la Technologie RST- Volume 4 N 1 /janvier 2013 Etude d un cas industriel : Optimisation de la modélisation de paramètre de production A.F. Bernate Lara 1, F. Entzmann 2, F. Yalaoui

Plus en détail

Quadrature n 74 (2009) 10 22. Online Material

Quadrature n 74 (2009) 10 22. Online Material Quadrature n 74 (009) 10 Online Material E. Brugallé, Online Material Un peu de géométrie tropicale Solutions des exercices Erwan Brugallé Université Pierre et Marie Curie, Paris 6, 175 rue du Chevaleret,

Plus en détail

Cours de Recherche Opérationnelle IUT d Orsay. Nicolas M. THIÉRY. E-mail address: Nicolas.Thiery@u-psud.fr URL: http://nicolas.thiery.

Cours de Recherche Opérationnelle IUT d Orsay. Nicolas M. THIÉRY. E-mail address: Nicolas.Thiery@u-psud.fr URL: http://nicolas.thiery. Cours de Recherche Opérationnelle IUT d Orsay Nicolas M. THIÉRY E-mail address: Nicolas.Thiery@u-psud.fr URL: http://nicolas.thiery.name/ CHAPTER 1 Introduction à l optimisation 1.1. TD: Ordonnancement

Plus en détail

Problème d ordonnancement de véhicules en variables booléennes

Problème d ordonnancement de véhicules en variables booléennes Problème d ordonnancement de véhicules en variables booléennes Freddy Hetman 2 juillet 2013 Faculté des sciences Jean Perrin Freddy Hetman () 2 juillet 2013 1 / 22 Sommaire 1 Introduction 2 Le problème

Plus en détail

Rapport d'analyse des besoins

Rapport d'analyse des besoins Projet ANR 2011 - BR4CP (Business Recommendation for Configurable products) Rapport d'analyse des besoins Janvier 2013 Rapport IRIT/RR--2013-17 FR Redacteur : 0. Lhomme Introduction...4 La configuration

Plus en détail

Jean-Philippe Préaux http://www.i2m.univ-amu.fr/~preaux

Jean-Philippe Préaux http://www.i2m.univ-amu.fr/~preaux Colonies de fourmis Comment procèdent les colonies de fourmi pour déterminer un chemin presque géodésique de la fourmilière à un stock de nourriture? Les premières fourmis se déplacent au hasard. Les fourmis

Plus en détail

IBM ILOG CP Optimizer Artelys Kalis Microsoft Solver Foundation Comet Choco Solver MINION Gecode

IBM ILOG CP Optimizer Artelys Kalis Microsoft Solver Foundation Comet Choco Solver MINION Gecode Lignes directrices Introduction à la Programmation par Contraintes TP 1. Présentation de l OPL Ruslan Sadykov INRIA Bordeaux Sud-Ouest 17 Novembre 2014 1 / 18 2 / 18 Logiciels disponibles pour résoudre

Plus en détail

Une application des algorithmes génétiques à l ordonnancement d atelier

Une application des algorithmes génétiques à l ordonnancement d atelier Une application des algorithmes génétiques à l ordonnancement d atelier VACHER Jean-Philippe - GALINHO Thierry - MAMMERI Zoubir Laboratoire d Informatique du Havre Université du Havre 25, Rue Philippe

Plus en détail

Optimisation globale avec application pour les fonctions de hölder

Optimisation globale avec application pour les fonctions de hölder MINISTÈRE DE L ENSEIGNEMENT SUPÉRIEUR ET DE LA RECHERCHE SCIENTIFIQUE UNIVERSITÉ MOULOUD MAMMERI, TIZI-OUZOU FACULTÉ DES SCIENCES DÉPARTEMENT DE MATHÉMATIQUES MÉMOIRE DE MAGISTER SPÉCIALITÉ : MATHÉMATIQUES

Plus en détail

Stratégie de recherche adaptative en programmation par contrainte

Stratégie de recherche adaptative en programmation par contrainte Université Paul Sabatier École Nationale de l Aviation Civile Master 2 Recherche Informatique et Télécommunication parcours Intelligence Artificielle Simon Marchal Stratégie de recherche adaptative en

Plus en détail

Feuille TD n 1 Exercices d algorithmique éléments de correction

Feuille TD n 1 Exercices d algorithmique éléments de correction Master Sciences, Technologies, Santé Mention Mathématiques, spécialité Enseignement des mathématiques Algorithmique et graphes, thèmes du second degré Feuille TD n 1 Exercices d algorithmique éléments

Plus en détail

Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux

Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux Empreintes conceptuelles et spatiales pour la caractérisation des réseaux sociaux Bénédicte Le Grand*, Marie-Aude Aufaure** and Michel Soto* *Laboratoire d Informatique de Paris 6 UPMC {Benedicte.Le-Grand,

Plus en détail

Efficacité énergétique des réseaux de cœur et d accès

Efficacité énergétique des réseaux de cœur et d accès Efficacité énergétique des réseaux de cœur et d accès David Coudert Joanna Mouliérac, Frédéric Giroire MASCOTTE I3S (CNRS/Université Nice Sophia-Antipolis) INRIA Sophia-Antipolis Méditerranée 1 Contexte

Plus en détail

La gestion de données dans le cadre d une application de recherche d alignement de séquence : BLAST.

La gestion de données dans le cadre d une application de recherche d alignement de séquence : BLAST. La gestion de données dans le cadre d une application de recherche d alignement de séquence : BLAST. Gaël Le Mahec - p. 1/12 L algorithme BLAST. Basic Local Alignment Search Tool est un algorithme de recherche

Plus en détail

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud

Plus en détail

Résolution du RCPSP avec production et consommation de ressources : modèles PLNE basés sur les événements

Résolution du RCPSP avec production et consommation de ressources : modèles PLNE basés sur les événements «Évaluation et optimisation des systèmes innovants de production de biens et de services» Résolution du RCPSP avec production et consommation de ressources : modèles PLNE basés sur les événements Oumar

Plus en détail

Correction de l épreuve intermédiaire de mai 2009.

Correction de l épreuve intermédiaire de mai 2009. Licence de Gestion. 3ème Année Année universitaire 8-9 Optimisation Appliquée C. Léonard Correction de l épreuve intermédiaire de mai 9. Exercice 1 Avec les notations du cours démontrer que la solution

Plus en détail

K. Ammar, F. Bachoc, JM. Martinez. Séminaire ARISTOTE - 23 octobre 2014 - Palaiseau

K. Ammar, F. Bachoc, JM. Martinez. Séminaire ARISTOTE - 23 octobre 2014 - Palaiseau Apport des modèles de krigeage à la simulation numérique K Ammar, F Bachoc, JM Martinez CEA-Saclay, DEN, DM2S, F-91191 Gif-sur-Yvette, France Séminaire ARISTOTE - 23 octobre 2014 - Palaiseau Apport des

Plus en détail

Laboratoire de Haute Sécurité. Télescope réseau et sécurité des réseaux

Laboratoire de Haute Sécurité. Télescope réseau et sécurité des réseaux Laboratoire de Haute Sécurité Télescope réseau et sécurité des réseaux Frédéric Beck (SED) & Olivier Festor (Madynes) CLUSIR Est - 15 Décembre 2011 Inria : Institut de recherche en sciences du numérique

Plus en détail

Matérialisation partielle des cubes de données

Matérialisation partielle des cubes de données Matérialisation partielle des cubes de données N. Hanusse S. Maabout R.Tofan CNRS-INRIA-LaBRI. Université de Bordeaux {hanusse,maabout,tofan}@labri.fr Résumé Les cubes de données offrent une interface

Plus en détail

Commande auto-adaptative par auto-séquencement, avec application à un avion instable

Commande auto-adaptative par auto-séquencement, avec application à un avion instable Commande auto-adaptative par auto-séquencement, avec application à un avion instable Patrice ANTOINETTE 1 2 Gilles FERRERES 1 1 ONERA-DCSD, Toulouse 2 ISAE, Toulouse GT MOSAR, 4 juin 2009 Plan Introduction

Plus en détail

Programmation par contraintes. Laurent Beaudou

Programmation par contraintes. Laurent Beaudou Programmation par contraintes Laurent Beaudou On se trouve où? Un problème, une solution : la solution est-elle une solution du problème? simulation, vérification 2 On se trouve où? Un problème, une solution

Plus en détail

Arbres de décision. Intelligence Artificielle et Systèmes Formels Master 1 I2L

Arbres de décision. Intelligence Artificielle et Systèmes Formels Master 1 I2L Arbres de décision Intelligence Artificielle et Systèmes Formels Master 1 I2L Sébastien Verel verel@lisic.univ-littoral.fr http://www-lisic.univ-littoral.fr/ verel Université du Littoral Côte d Opale Laboratoire

Plus en détail

Laboratoire d Automatique et Productique Université de Batna, Algérie

Laboratoire d Automatique et Productique Université de Batna, Algérie Anale. Seria Informatică. Vol. IX fasc. 2 Annals. Computer Science Series. 9 th Tome st Fasc. 2 La sélection de paramètres d un système industriel par les colonies de fourmis Ouahab Kadri, L. Hayet Mouss,

Plus en détail

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Ordonnancement sous contraintes de Qualité de Service dans les Clouds Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 14/9/215 1 Profil Profil Parcours : Laboratoires LAAS et IRIT à Toulouse

Plus en détail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur

Plus en détail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

Fonctions homographiques

Fonctions homographiques Fonctions homographiques On donne ci-dessous deux définitions des fonctions homographiques, et on montre que ces deux définitions sont équivalentes. On décrit la courbe représentative d une fonction homographique.

Plus en détail

THÈSE. présentée à l Université d Avignon et des Pays de Vaucluse pour obtenir le diplôme de DOCTORAT

THÈSE. présentée à l Université d Avignon et des Pays de Vaucluse pour obtenir le diplôme de DOCTORAT ACADÉMIE D AIX-MARSEILLE UNIVERSITÉ D AVIGNON ET DES PAYS DE VAUCLUSE THÈSE présentée à l Université d Avignon et des Pays de Vaucluse pour obtenir le diplôme de DOCTORAT SPÉCIALITÉ : Informatique École

Plus en détail

Vérification Formelle des Aspects de Cohérence d un Workflow net

Vérification Formelle des Aspects de Cohérence d un Workflow net Vérification Formelle des Aspects de Cohérence d un Workflow net Abdallah Missaoui Ecole Nationale d Ingénieurs de Tunis BP. 37 Le Belvédère, 1002 Tunis, Tunisia abdallah.missaoui@enit.rnu.tn Zohra Sbaï

Plus en détail

Hela Boukef. To cite this version: HAL Id: tel-00577101 https://tel.archives-ouvertes.fr/tel-00577101

Hela Boukef. To cite this version: HAL Id: tel-00577101 https://tel.archives-ouvertes.fr/tel-00577101 Sur l ordonnancement d ateliers job-shop flexibles et flow-shop en industries pharmaceutiques : optimisation par algorithmes génétiques et essaims particulaires Hela Boukef To cite this version: Hela Boukef.

Plus en détail

Projet Télédétection. Vidéo Surveillance. Deovan Thipphavanh Mokrani Abdeslam Naoui Saïd. Master 2 Pro SIS - 2005 / 2006

Projet Télédétection. Vidéo Surveillance. Deovan Thipphavanh Mokrani Abdeslam Naoui Saïd. Master 2 Pro SIS - 2005 / 2006 Projet Télédétection Vidéo Surveillance Deovan Thipphavanh Mokrani Abdeslam Naoui Saïd Master 2 Pro SIS - 2005 / 2006 Plan Introduction Lecture des images Détection des objets mouvants Détection des anomalies

Plus en détail

NOTE SUR LA MODELISATION DU RISQUE D INFLATION

NOTE SUR LA MODELISATION DU RISQUE D INFLATION NOTE SUR LA MODELISATION DU RISQUE D INFLATION 1/ RESUME DE L ANALYSE Cette étude a pour objectif de modéliser l écart entre deux indices d inflation afin d appréhender le risque à très long terme qui

Plus en détail

En vue de l'obtention du. Présentée et soutenue par Abir BEN HMIDA SAKLY Le 12/12/2009

En vue de l'obtention du. Présentée et soutenue par Abir BEN HMIDA SAKLY Le 12/12/2009 THÈSE En vue de l'obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délivré par l'institut National des Sciences Appliquées de Toulouse Discipline ou spécialité : Systèmes Informatiques Présentée et soutenue

Plus en détail

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante

Plus en détail

Chapitre 5 : Flot maximal dans un graphe

Chapitre 5 : Flot maximal dans un graphe Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d

Plus en détail

Tâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs)

Tâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs) (d après une idée du collège des Portes du Midi de Maurs) Table des matières Fiche professeur... 2 Fiche élève... 5 1 Fiche professeur Niveaux et objectifs pédagogiques 5 e : introduction ou utilisation

Plus en détail

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France. La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of

Plus en détail

Structures de données non linéaires

Structures de données non linéaires Structures de données non linéaires I. Graphes Définition Un graphe (simple) orienté G est un couple (S, A), où : S est un ensemble dont les éléments sont appelés les sommets. A est un ensemble de couples

Plus en détail

Géométrie Algorithmique Plan du cours

Géométrie Algorithmique Plan du cours Plan du cours Introduction Triangulation de polygones Recherche/localisation Diagrammes de Voronoï Triangulation de Delaunay Arbres de partition binaire 1 Intersection de segments de droite Intersection

Plus en détail

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI Modalité de contrôle des connaissances Master Informatique : spécialité IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

Rééquilibrage de charge en-ligne bi-critère

Rééquilibrage de charge en-ligne bi-critère RenPar 18 / SympA 2008 / CFSE 6 Fribourg, Suisse, du 11 au 13 février 2008 Rééquilibrage de charge en-ligne bi-critère Matthieu Pérotin, Patrick Martineau & Carl Esswein Université François Rabelais, Labortoire

Plus en détail

Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires

Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires Thierry Benoist Frédéric Gardi Antoine Jeanjean Bouygues e-lab, Paris { tbenoist, fgardi, ajeanjean }@bouygues.com

Plus en détail

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Ordonnancement sous contraintes de Qualité de Service dans les Clouds Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 05/12/2014 1 Contexte CLOUD COMPUTING Contexte : Environnement de Cloud

Plus en détail

L ordonnancement des opérations d une machine multitâche : Un problème central dans l industrie de la chaussure

L ordonnancement des opérations d une machine multitâche : Un problème central dans l industrie de la chaussure L ordonnancement des opérations d une machine multitâche : Un problème central dans l industrie de la chaussure Fayez F. Boctor et Jacques Renaud Août 2005 Document de travail DT-2005-JR-3 Centre de recherche

Plus en détail

Traitement des incompatibilités de candidats issus d alignements entre plusieurs bases de connaissances

Traitement des incompatibilités de candidats issus d alignements entre plusieurs bases de connaissances Traitement des incompatibilités de candidats issus d alignements entre plusieurs bases de connaissances Traitement des incompatibilités de candidats issus d alignements entre plusieurs bases de connaissances

Plus en détail

Les indices à surplus constant

Les indices à surplus constant Les indices à surplus constant Une tentative de généralisation des indices à utilité constante On cherche ici en s inspirant des indices à utilité constante à définir un indice de prix de référence adapté

Plus en détail

Fouille de Données Médicales

Fouille de Données Médicales Journée Romande d Hygiène Hospitalière Fouille de Données Médicales Michèle Sebag Laboratoire de Recherche en Informatique, Université Paris-Sud http://www.lri.fr/ sebag/ Genève, 21 novembre 2002 MIT Technology

Plus en détail

L apport du HPC pour l optimisation. Eric Jacquet-Lagrèze. FORUM TERATEC 28 juin 2011

L apport du HPC pour l optimisation. Eric Jacquet-Lagrèze. FORUM TERATEC 28 juin 2011 L apport du HPC pour l optimisation Eric Jacquet-Lagrèze FORUM TERATEC 28 juin 2011 Sommaire 1 / Recherche Opérationnelle et calcul scientifique 2 / Où se trouve la complexité et quels enjeux pour le HPC?

Plus en détail

1 Comptage de solutions et escaliers

1 Comptage de solutions et escaliers Licence Informatique Systèmes polynomiaux, que signifie : résoudre? Feuille de TD numéro 11 1 Comptage de solutions et escaliers Question 1. On considère le système suivant p1 := 2*x*y^2 + 3*x^2-5*y^3

Plus en détail

Etude comparative de différents motifs utilisés pour le lancé de rayon

Etude comparative de différents motifs utilisés pour le lancé de rayon Etude comparative de différents motifs utilisés pour le lancé de rayon Alexandre Bonhomme Université de Montréal 1 Introduction Au cours des dernières années les processeurs ont vu leurs capacités de calcul

Plus en détail

Expérience 3 Formats de signalisation binaire

Expérience 3 Formats de signalisation binaire Expérience 3 Formats de signalisation binaire Introduction Procédures Effectuez les commandes suivantes: >> xhost nat >> rlogin nat >> setenv DISPLAY machine:0 >> setenv MATLABPATH /gel/usr/telecom/comm_tbx

Plus en détail

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard Emmanuel Hebrard Adresse 5 Tuckey Street Cork, Ireland emmanuel.hebrard@gmail.com http ://4c.ucc.ie/ ehebrard/home.html Adresse Professionnelle Cork Constraint Computation Centre Cork, Ireland Telephone

Plus en détail

Classement multicritère de stratégies d'ordonnancement dans le cadre d'une industrie semi-continue

Classement multicritère de stratégies d'ordonnancement dans le cadre d'une industrie semi-continue Classement multicritère de stratégies d'ordonnancement dans le cadre d'une industrie semi-continue O. Roux 1, V. Dhaevers 1, D. Duvivier 1, N. Meskens 1 et A. Artiba 2 1. Facultés Universitaires Catholiques

Plus en détail

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2) Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter

Plus en détail

Dual decomposition methods and parallel computing

Dual decomposition methods and parallel computing Dual decomposition methods and parallel computing Jonas Koko LIMOS UMR 6158 Université Blaise Pascal - CNRS Dijon 29/06/2015 Jonas Koko (LIMOS) Dual decomposition methods Dijon 29/06/2015 1 / 18 Plan 1

Plus en détail

Un propagateur basé sur les positions pour le problème d Open-Shop.

Un propagateur basé sur les positions pour le problème d Open-Shop. Actes JFPC 2007 Un propagateur basé sur les positions pour le problème d Open-Shop. Jean-Noël Monette Yves Deville Pierre Dupont Département d Ingénierie Informatique Université catholique de Louvain {jmonette,yde,pdupont}@info.ucl.ac.be

Plus en détail

C U R R I C U L U M V I T A E

C U R R I C U L U M V I T A E C U R R I C U L U M V I T A E Nom : Prénom : IDOUGHI Djilali Adresse Personnelle: Cité des 792 Logts Bt L N 690 Sidi-Ahmed, Bejaia, Algérie. Adresse professionnelle : Université A. Mira, de Béjaïa Département

Plus en détail