EBookClubs

Read Books & Download eBooks Full Online

EBookClubs

Read Books & Download eBooks Full Online

Book Analyse et specification de systemes de production pour l evaluation des performances et la recherche d ordonnancements

Download or read book Analyse et specification de systemes de production pour l evaluation des performances et la recherche d ordonnancements written by Christophe Caux and published by . This book was released on 1993 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book ETFA  95

Download or read book ETFA 95 written by and published by . This book was released on 1995 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Modelling and Simulation 1993

Download or read book Modelling and Simulation 1993 written by Alain Pavé (Biometrician) and published by . This book was released on 1993 with total page 702 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Crit  res de flexibilit   dans les syst  mes de production

Download or read book Crit res de flexibilit dans les syst mes de production written by Javier Pereira and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, la flexibilité de deux types de systèmes de gestion de la production est analysée : les systèmes de contrôle en flux poussé et en flux tiré. Pour aboutir à cet objectif, une définition et un cadre d'analyse de la flexibilité d'un système sont bâtis. Une conception dynamique de la flexibilité conduit ainsi à retenir trois dimensions d'évaluation : le degré, l'effort et le temps d'adaptation d'un système aux changements de son contexte. A travers l'application de l'approche postulée, certains problèmes dans lesquels la flexibilité est définie et évaluée sont mieux caractérises. La deuxième partie de la thèse comporte deux phases. La première est constituée de la spécification du modèle de gestion de la production à étudier et de l'analyse de la structure et de la dynamique d'un système de production contrôle selon les modes de gestion en flux poussé et en flux tiré. Dans la deuxième phase, plusieurs facteurs de la production et de la structure dynamique sont identifiés ce qui permet l'évaluation et l'analyse des dimensions de la flexibilité. En même temps, les performances sont évaluées et les liens avec la flexibilité sont établis. Une des constatations de l'étude est que les meilleures valeurs des performances ne se trouvent pas à flexibilité maximale du système. En outre, l'analyse montre que le niveau de flexibilité doit être défini comme une fonction des valeurs désirées des performances ce qui revient à déplacer la perspective d'une situation purement opérationnelle à une optique stratégique.

Book Structuration des donnees et caracterisation des ordonnancements admissibles des systemes de production

Download or read book Structuration des donnees et caracterisation des ordonnancements admissibles des systemes de production written by Choong-Ho Cho and published by . This book was released on 1989 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce mémoire, nous proposons, dans une phase préliminaire, la spécification et la modélisation de la base de données pour l'ordonnancement au sein d'une architecture hiérarchique de gestion de production, et de façon plus approfondie, la spécification analytique des ensembles de solutions admissibles pour aider à l'ordonnancement de trois types d'ateliers différents : - l'un, composé de plusieurs machines en en considérant les temps de réglage comme important sous des contraintes ensemblistes et Cou séquentielles, "flow-shop", un critère potentielles - un autre, composé d'une machine seule, avec des contraintes de dates limite de lots, la machine étant assimilée à une cellule de gestion au sein de l'atelier, et le "job-shop" classique, avec les trois contraintes précédentes: ensemblistes, potentielles, et dates limite. Un des caractères originaux de ce travail notamment, l'introduction d'une nouvelle structure de pour modéliser des familles de séquences de tâches.

Book Une m  thode d analyse d ordonnancement des syst  mes flexibles de production manufacturi  re utilisant le d  pliage des r  seaux de P  tri

Download or read book Une m thode d analyse d ordonnancement des syst mes flexibles de production manufacturi re utilisant le d pliage des r seaux de P tri written by Jongkun Lee and published by . This book was released on 2002 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail, nous avons proposé deux algorithmes qui nous ont permis de régler complètement le problème de l'évaluation et de l'optimisation des performances. Pour cela nous avons fourni une méthode hiérarchique pour diminuer le temps d'analyse et obtenir les meilleures solutions. Nous avons découpé les sous-réseaux (ils s'appellent BUC) en utilisant la matrice d'incidence, fondée sur les ressources partagées des machines, et analysé BUC par le dépliage du réseau de Petri. Cette méthode d'analyse résout le problème de l'explosion combinatoire qui est apparu lors de l'analyse du réseau de Petri. Nous avons appliqué cette méthode à l'analyse de problème d'ordonnancement cyclique en SFPM. Finalement nous pouvons dire que cette approche est facile à comprendre, elle permet de calculer facilement les solutions.

Book Ordonnancement de la production

Download or read book Ordonnancement de la production written by Xiaohui Li and published by . This book was released on 2011 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail présenté dans cette thèse s'inscrit dans le cadre du projet Etat-Région MOSYP. Le but de ce projet est de développer des outils et des techniques pour améliorer la compétitivité des systèmes de production. L’objectif est d’analyser les variables des systèmes étudiés et de proposer des modèles de bon fonctionnement. Dans ce travail, un problème d’ordonnancement des machines parallèles et un problème d’ateliers de type flowshop hybride (HFS) ont été traités. Les temps de préparation entre les opérations, les dates de début au plus tôt et les dates de fin au plus tard sont pris en considération. Une résolution multi objectif a été adoptée et les critères sont : le makespan et la somme des retards. Une modélisation mathématique, une résolution exacte mais aussi des méthodes approchées sont proposées. Ces dernières sont basées sur des algorithmes évolutionnaires : NSGA-II et SPEA-II. Un contrôleur de logique floue est utilisé pour améliorer le paramétrage de ces algorithmes. Ensuite, un algorithme basé sur la dominance de Lorenz est adapté afin d’améliorer l’efficacité de l’ensemble de Pareto. Une nou-velle méthode de décomposition est également proposée pour découper le problème HFS en sous-problèmes. Pour démontrer l’efficacité de ces algorithmes, une méthode exacte (TPM) est développée. Enfin, une méthode d’optimisation basée sur la simulation est testée. Une étude de cas pratique proposée par les partenaires du projet a été menée. Un modèle de simulation sous ARENA est proposé pour évaluer des performances ainsi qu’une technique d’optimisation

Book Structuration des donn  es et caract  risation des ordonnancements admissibles des syst  mes de production

Download or read book Structuration des donn es et caract risation des ordonnancements admissibles des syst mes de production written by Choong-Ho Cho and published by . This book was released on 1989 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: On propose d'abord la spécification et la modélisation de la base de données pour l'ordonnancement, on donne ensuite la spécification analytique des ensembles de solutions admissibles pour aider à l'ordonnancement de trois types d'ateliers différents. On introduit une nouvelle structure, les PQR-ARBRES, pur modéliser les familles de séquences de tâches.

Book Contribution    l optimisation de performances de syst  mes de production flow shop coordonn  s par un contr  leur central

Download or read book Contribution l optimisation de performances de syst mes de production flow shop coordonn s par un contr leur central written by Loïc Plassart and published by . This book was released on 2008 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les travaux présentés dans cette thèse sont relatifs à l’organisation de l’activité d’un contrôleur central chargé de la coordination des machines d’un système de production flow-shop. Le contrôleur réagit aux sollicitations des machines en traitant les messages de requête qui lui sont envoyés et en retournant des messages de réponse. L’objectif visé consiste à optimiser les performances des systèmes considérés, notamment en minimisant le makespan. La problématique d’ordonnancement associée s’exprime F, C1/pmtnc, permu, block, Tj/Cmax selon la notation dc Graham que nous étendons pour prendre en compte les spécificités des systèmes étudiés. La construction d’un modèle paramétrable à l’aide du formalisme des réseaux de Petri colorés temporisés et son exécution nous ont permis de simuler de nombreuses configurations de systèmes flow-shop contrôlés. L’impact du contrôleur sur le niveau de performances des systèmes étudiés est mis en évidence lors de l’analyse des résultats de simulation. Son influence varie selon la règle de tri utilisée pour sélectionner le message de requête à traiter à chaque instant. Nous établissons alors une borne de contrôle qui montre que, dans certains cas, le contrôleur central devient la ressource critique du système de production et en constitue alors le goulot d’étranglement. Après une étude des conditions d’atteignabilité de la cadence de production optimale, nous formulons des propositions pour un ordonnancement en ligne efficace de l’activité du contrôleur à partir de règles de tri basées sur les algorithmes EDF et LLF et que nous nommons respectivement EoDF et LoLF.

Book Ordonnancement sous perturbations

Download or read book Ordonnancement sous perturbations written by Sara Himmiche and published by . This book was released on 2020 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'objectif principal de cette thèse est de proposer une approche permettant de considérer les perturbations dans le cadre d'un problème d'ordonnancement de la production. L'approche proposée permet de mettre l'accent sur l'importance de l'évaluation de la performance d'un ordonnancement dans un cadre perturbé. L'ordonnancement de la production est un problème important et commun au monde de l'industrie et de la recherche scientifique. Dans le but de proposer des solutions d'ordonnancement, les méthodes proposées proposent des ordonnancements optimaux permettant de minimiser ou maximiser un critère défini. Cet objectif est certes adopté depuis plusieurs années mais ne répond plus tout à fait à la dynamique des ateliers de production. La prise en compte des perturbations est donc un enjeu majeur dans la problématique de l'ordonnancement. Pour répondre à cet enjeu, nous proposons, de définir la performance et l'approche à adopter pour traiter l'impact des perturbations sur l'ordonnancement. La robustesse est alors identifiée comme étant une performance adaptée pour évaluer cet impact. Plus encore, spécifier la robustesse permet d'identifier un cadre formel pour spécifier les différents problèmes de robustesse auxquels l'ordonnancement doit faire face. Pour traiter le problème de la robustesse d'un ordonnancement, nous proposons un processus d'évaluation basé sur les modèles de systèmes à événements discrets. Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d'un ordonnancement perturbé. L'évolution des systèmes de production et leurs contraintes de flexibilité et d'agilité exige que l'approche d'évaluation soit également flexible et adaptable. Le processus proposé dans le cadre de cette thèse permet non seulement de s'adapter à plusieurs problèmes d'atelier de production mais également à prendre en compte des situations de décisions réelles dans un contexte industriel.

Book M  thodologie de conception des syst  mes physiques de production

Download or read book M thodologie de conception des syst mes physiques de production written by Pierre Lancella and published by . This book was released on 1995 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: La méthodologie GRAI s'applique sur les différents types de systèmes physiques de production et permet d'atteindre l'ensemble des objectifs de conception. Nos recherches se sont orientées vers l'élaboration d'une méthode de modélisation grai.mod et d'évaluation de capacité des zones temporelles. Ce modèle de représentation propose un macro-modèle du système contribuant à une analyse et evaluation exhaustive des éléments du système physique. La méthode d'évaluation de capacité va compléter l'ensemble des outils d'identification des dysfonctionnements

Book AIDE AU PILOTAGE DE LA PERFORMANCE EN GESTION DE PRODUCTION

Download or read book AIDE AU PILOTAGE DE LA PERFORMANCE EN GESTION DE PRODUCTION written by DAVID.. DAMAND and published by . This book was released on 2000 with total page 172 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE CONTEXTE GENERAL DE CETTE ETUDE EST LE PARAMETRAGE DU SYSTEME DE PRODUCTION. IL S'AGIT DE REGULER LE FLUX PHYSIQUE EN FONCTION D'OBJECTIFS, HABITUELLEMENT TRADUITS EN VALEURS D'INDICATEURS DE PERFORMANCE. L'EVALUATION DES INDICATEURS DE PERFORMANCE PERMET AU GESTIONNAIRE DE SE FORGER UNE IDEE DE LA PERFORMANCE DU SYSTEME. LES NIVEAUX AFFICHES PAR CES DIFFERENTS INDICATEURS SONT EN GRANDE PARTIE LE RESULTAT DE DECISIONS QUANTITATIVES ET QUALITATIVES SUR LE CHOIX DES VALEURS DE PARAMETRES D'ACTION. LE PILOTAGE DE LA PERFORMANCE PASSE PAR LA MAITRISE DES CONSEQUENCES DES CHOIX EFFECTUES. LES APPROCHES EXISTANTES POUR RESOUDRE CE PROBLEME SUPPOSENT TOUTES DISPOSER D'UN MOYEN DE SIMULATION CAPABLE D'ESTIMER LA VALEUR DES INDICATEURS POUR CHAQUE CONFIGURATION DES PARAMETRES D'ACTION QU'ON LUI SOUMET. SUR LA BASE DE CE POSTULAT, DEUX APPROCHES SONT REPRESENTEES : LA PREMIERE APPROCHE TENTE DE RECHERCHER DES PROPRIETES GENERALES ENTRE PARAMETRES D'ACTION ET INDICATEURS DE PERFORMANCE POUR DE GRANDES FAMILLES DE SYSTEMES DE PRODUCTION ; LA SECONDE APPROCHE RECHERCHE LA MEILLEURE PERFORMANCE D'UN SYSTEME DONNE SELON UN INDICATEUR DE PERFORMANCE UNIQUE. LA PREMIERE APPROCHE EST LIMITEE PAR LE DANGER QUE REPRESENTE UNE GENERALISATION ABUSIVE DES PROPRIETES OBSERVEES SUR QUELQUES EXEMPLES A UNE GAMME PLUS LARGE DE SYSTEMES COMPTE TENU DU CARACTERE CIRCONSTANCIE DES PROBLEMES TRAITES. LA SECONDE APPROCHE OMET SOUVENT LA DIMENSION MULTICRITERE DU PROCESSUS D'EVALUATION DES PERFORMANCES ; LES SOLUTIONS PROPOSEES NE SONT PAS POSITIONNEES PAR RAPPORT AUX LIMITES DU SYSTEME. PRIVILEGIANT L'UTILISATEUR, CES DEUX ASPECTS NOUS ONT INCITES A DEVELOPPER UNE DEMARCHE MULTICRITERE DE COMPREHENSION ET DE REPRESENTATION DU COMPORTEMENT D'UN SYSTEME DONNE. LA PARTICULARITE DE LA DEMARCHE PROPOSEE EST DE COMBINER ANALYSE DE DONNEES ET EXPERTISE DE L'UTILISATEUR, POUR DONNER NAISSANCE A UNE VISUALISATION ORIGINALE DE LA STRUCTURE DES PERFORMANCES DANS UN PLAN, APPELEE PLAN DES PREFERENCES.

Book PLANIFICATION ET ORDONNANCEMENT DES PRODUCTIONS COMPLEXES

Download or read book PLANIFICATION ET ORDONNANCEMENT DES PRODUCTIONS COMPLEXES written by JING.. LIU and published by . This book was released on 1994 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: AVEC L'EVOLUTION ECONOMIQUE ET TECHNOLOGIQUE RECENTE, UN NOUVEAU TYPE DE PRODUCTIONS S'EST DEVELOPPE DANS LES PAYS LES PLUS INDUSTRIALISES. DENOMME "PRODUCTIONS COMPLEXES", IL SE CARACTERISE PAR LES TRAITS SUIVANTS : . DES CYCLES DE PRODUCTION LONGS ET INCERTAINS; . DES PRODUITS COMPLEXES DONT LES MOMENCLATURES PEUVENT CONTENIR PLUSIEURS MILLIERS DE LIENS; . DES PRODUCTIONS EN PETITES SERIES. CES CARACTERISTIQUES IMPOSANT DE NOUVELLES CONTRAINTES POUR LA MAITRISE DU DELAI DE FABRICATION ET DU NIVEAU DE STOCK UN TEL TYPE DE PRODUCTIONS FAIT FAILLIR PRESQUE TOUTES LES METHODES EXISTANTES ET APPELLE UNE REDEFINITION DES MODES DE PLANIFICATION CETTE RECHERCHE A PERMIS D'ANALYSER, PAR UNE METHODE DE SIMULATION, LES PROBLEMES TYPIQUES D'UN SYSTEME DE PRODUCTION DANS UN CONTEXTE D'INDUSTRIES COMPLEXES. NOUS VERRONS COMMENT LA COMPLEXITE DE PRODUIT AURA UN IMPACT SUR L'ORGANISATION DE LA PRODUCTION, EN QUOI L'ARTICULATION ENTRE LA PLANIFICATION ET L'ORDONNANCEMENT EST ESSENTIELLE POUR OBTENIR UNE REDUCTION DU DELAI DE FABRICATION, ET COMMENT LES PERFORMANCES DES REGLES DE PRIORITE DEPENDRONT DE LA LOGIQUE DE PLANIFICATION. SI HIER LES ENTREPRISES DANS CE SECTEUR POUVAIENT MONOPOLISER LE MARCHE PAR LEUR SAVOIRFAIRE ET PAR LA PROTECTION DE L'ETAT, LA CONJONCTURE D'AUJOURD'HUI NE LE PERMET PLUS. IL FAUT DONC COMPLETER LEUR SAVOIR-FAIRE PAR LE SAVOIR-GERER. C'EST DANS CETTE PERSPECTIVE QUE S'INSCRIVENT LES ANALYSES ET LES CONCLUSIONS PRESENTEES DANS CETTE THESE.

Book Analyse de performance par simulation et conception de syst  mes de production robustes

Download or read book Analyse de performance par simulation et conception de syst mes de production robustes written by Séverine Durieux and published by . This book was released on 2003 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: La simulation des flux tient, dans les études de conception de systèmes une place prépondérante. Cependant, la plupart des études ne prend en compte qu'un contexte donné (i.e. un environnement). Or, cet environnement peut changer. Ainsi, les très bonnes performances obtenues sur un environnement peuvent être détériorées si celui-ci évolue. Il est donc important de prendre en compte ces changements éventuels lors de l'évaluation des solutions, pour concevoir des systèmes performants et robustes. Dans ce travail, nous nous intéressons à la notion de robustesse, présentons plusieurs approches de la littérature, leurs intérêts et leurs limites. Nous proposons un cadre conceptuel et une démarche méthodologique pour aborder ce type d'étude. Nous suggérons l'utilisation de plusieurs autres méthodes comme les treillis de Galois ou l'analyse de risque ainsi qu'une nouvelle approche basée sur des courbes de références. Enfin, plusieurs applications industrielles illustrent ces approches

Book Un environnement de modelisation multi agents pour la specification et l evaluation des performances des systemes industriels de production

Download or read book Un environnement de modelisation multi agents pour la specification et l evaluation des performances des systemes industriels de production written by Jean-Yves Goujon and published by . This book was released on 1997 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Conduite de syst  mes flexibles de production manufacturi  re par composition de r  gimes permanents cycliques

Download or read book Conduite de syst mes flexibles de production manufacturi re par composition de r gimes permanents cycliques written by Hervé Camus and published by . This book was released on 1997 with total page 35 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA COMPLEXITE DES PROBLEMES DE GESTION DE PRODUCTION DANS LES S.F.P.M. EST EN GENERAL TROP IMPORTANTE POUR RECHERCHER LA MEILLEURE SOLUTION AU REGARD DE CRITERES D'OPTIMISATION: TEMPS TOTAL DE PRODUCTION, EN-COURS, ETC. LA RESTRICTION DU PROBLEME D'ORDONNANCEMENT A UNE FENETRE TEMPORELLE PERMET DE REDUIRE CONSIDERABLEMENT LA COMPLEXITE. POUR LE MOMENT, LES DIFFERENTES RECHERCHES EFFECTUEES N'ONT EN GENERAL ABORDE CE PROBLEME D'ORDONNANCEMENT CYCLIQUE QUE SUR DES GAMMES OPERATOIRES LINEAIRES. AVEC LA THESE DE M. OHL, LA PRISE EN COMPTE DE FLEXIBILITES DU S.F.P.M. A RENDU NECESSAIRE LE DEVELOPPEMENT D'UNE NOUVELLE METHODE DE RECHERCHE, UTILISANT LES RESEAUX DE PETRI COMME OUTIL DE MODELISATION ET D'ANALYSE DE PERFORMANCES, ET PRENANT EN COMPTE PROGRESSIVEMENT LES DIFFERENTS INDETERMINISMES DU SYSTEME POUR CONSERVER L'OPTIMALITE DE LA RECHERCHE. C'EST SEULEMENT AU NIVEAU ORDONNANCEMENT DES OPERATIONS SUR LES MACHINES AVEC MINIMISATION DE L'EN-COURS QUE DES HEURISTIQUES DOIVENT ETRE DEVELOPPEES. NOUS PROPOSONS ICI UNE EXTENSION DE CETTE METHODE A PLUSIEURS NIVEAUX. NOUS ETUDIONS TOUT D'ABORD LE PROBLEME DE PLANIFICATION FINE ET NOUS EN DEGAGEONS UNE FORMULATION SOUS FORME D'UN PROBLEME DE PROGRAMMATION MULTILINEAIRE EN NOMBRES ENTIERS AFIN DE DECOMPOSER LA PRODUCTION EN PLUSIEURS REGIMES PERMANENTS CYCLIQUES, PERMETTANT AINSI DE DIMINUER LE TEMPS TOTAL DE PRODUCTION. UNE ETUDE DETAILLEE DES DIFFERENTES ETAPES DE LA METHODE D'ELABORATION DE LA COMMANDE A PERMIS D'IDENTIFIER LES PROBLEMES A RESOUDRE ET DE JUSTIFIER CETTE APPROCHE PAR RAPPORT A LA RESOLUTION SIMULTANEE DE TOUS LES INDETERMINISMES. ENFIN, LA CARACTERISTIQUE DE POSITIONNEMENT D'OPERATIONS SUR DEUX CYCLES A PERMIS D'AMELIORER LES PERFORMANCES DES HEURISTIQUES D'ORDONNANCEMENT. DE PLUS, POUR UTILISER CES COMMANDES EN PHASE D'EXPLOITATION, DE NOUVELLES HEURISTIQUES SONT PROPOSEES AFIN DE REPONDRE AUX CONTRAINTES TEMPORELLES LIEES AUX ORDONNANCEMENTS HORS LIGNE

Book Ordonnancement des syst  mes de production flexibles soumis    diff  rents types de contraintes de blocage

Download or read book Ordonnancement des syst mes de production flexibles soumis diff rents types de contraintes de blocage written by Wajdi Trabelsi and published by . This book was released on 2012 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce sujet de thèse concerne de manière générale l'évaluation des performances et l'ordonnancement dans des systèmes de production flexibles et principalement les problèmes d'ordonnancement d'atelier de type Flow-Shop et Flow-Shop hybride. Le problème d'ordonnancement d'un Flow-Shop peut être défini ainsi : un ensemble de N jobs composés chacun de M opérations, doivent passer sur M machines dans le même ordre. Une machine peut exécuter une seule opération à la fois, chaque job ne peut avoir qu'une seule opération en cours de réalisation simultanément et la préemption n'est pas autorisée. Dans le cas des Flow-Shops hybrides, Mk machines identiques sont disponibles à chaque étage k en un ou plusieurs exemplaires. Pour cette étude, notre objectif est toujours de minimiser le temps total d'exécution aussi appelé makespan. Les problèmes d'ordonnancement les plus répandus sont de type Flow-Shop classique où les espaces de stockage entre les machines sont considérées comme infinies. D'autres problèmes sont caractérisés par des capacités de stockage limitées ou nulles qui engendre une seule contrainte de blocage. Cette contrainte peut être un blocage classique (de type RSb) ou particulier (de type RCb ou RCb*). Dans nos travaux de recherche, nous présentons un cas général qui peut être tiré de l'industrie et modélisé sous forme de systèmes de type Flow-Shop et Flow-Shop hybride soumis simultanément à plusieurs types de blocage. Pour résoudre ce genre de problèmes, nous avons étudié dans cette thèse la complexité de ces systèmes et nous avons proposé des méthodes exactes, des méthodes approchées ainsi que des bornes inférieures.