To see the other types of publications on this topic, follow the link: Production – Planification – Modèles mathématiques.
Dissertations / Theses on the topic 'Production – Planification – Modèles mathématiques'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Production – Planification – Modèles mathématiques.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Régnier, Pierre. "Recherche et exploitation du parallélisme en planification." Toulouse 3, 1992. http://www.theses.fr/1992TOU30268.
Full textAbstract:
Dans les planificateurs non lineaires traditionnels (noah, nonlin, sipe,. . . ) ainsi que dans les plus recents (tweak,. . . ) les plans d'actions sont obtenus d'une maniere identique par une introduction progressive d'actions et une linearisation partielle du plan en construction qui permet de satisfaire une succession de contraintes. Lorsque les contraintes associees au probleme a resoudre ne sont pas trop importantes, les plans obtenus sont partiellement ordonnes et autorisent l'execution parallele de certaines actions. A l'inverse, la methode elaboree ici permet de determiner, dans les plans d'actions sequentiels produits par des planificateurs lineaires, les paires d'actions qui restent executables en parallele. Pour cela, les plans sont memorises sous la forme d'une table triangulaire amelioree. Les resultats peuvent ensuite etre exploites par des algorithmes classiques de la theorie des graphes pour determiner les ensembles maximaux d'actions executables en parallele et rendre optimal le temps d'execution des plans. L'aspect le plus important de cette etude consiste a etablir l'equivalence entre les plans lineaires et les plans non lineaires (a une transformation pres). Les applications de ces algorithmes pour des robots d'intervention et de service sont egalement evoquees, dans un cadre mono puis multi-agent ainsi qu'une methode simple permettant de lier la planification et l'execution parallele des actions au fur et a mesure de leur production
2
Ortiz, Araya Virna Angélica. "Proposition d'un modèle de désagrégation pour un plan tactique stable dans le contexte des chaînes logistiques et de l'usage d'un APS." Nancy 1, 2005. http://www.theses.fr/2005NAN10194.
Full textAbstract:
Aujourd'hui, les entreprises veulent savoir combien il faut produire, quand et en combien de temps ? De plus, elles veulent avoir une vision globale de leur système de production et de leur logistique. Ainsi, la gestion de la chaîne logistique est en charge de fiabiliser le niveau de service aux clients, en assurant la meilleure rentabilité pour l'entreprise. Nous montrons dans cette thèse l'intérêt du plan tactique et la manière de déterminer des plans détaillés, en utilisant une structure HPP. Nous proposons une méthodologie de désagrégation à deux niveaux qui cherche à déterminer des PDP stables, en prenant en compte des plans prévisionnels robustes et stables. Des modèles d'optimisation sont proposés ainsi que des contraintes qui prennent en compte les décisions relatives à chaque niveau, afin d'assurer une certaine cohérence entre eux. Finalement, nous appliquons un modèle de traitement de la demande réelle, en utilisant le processus AR, pour rendre plus stable les PDP déterminésCurrently, enterprises are looking for a method to know how much to produce and when. Furthermore, they want to have a global vision of their production system and logistics. Thus, the supply chain management is responsible for insuring and optimizing the level of service to the customers, while assuring the best profitability for the company. To answer these objectives, we show in this thesis the interest of tactical plan and the way to determine detailed plans (MPS), by using a hierarchical structure (HPP). In this context, we propose a disaggregation methodology at two-levels that allows identification of “stable” MPS, by taking into account “robust and stable” forecasted plans (SOP). Optimization models are proposed as well as constraints which take into account decisions relative to each level, in order to insure consistency between them. Finally, we apply a treatment model for the real demand by using the AR (p) process, in order to render more stable the different MPS determined
3
Messaoudene, Zahir. "Formalisation des contradictions pour la conception des systèmes physiques de production : Application au lean manufacturing." Strasbourg 1, 2003. http://www.theses.fr/2003STR13152.
Full textAbstract:
Dans un contexte industriel difficile, le système de production doit évoluer afin d'être en adéquation avec son environnement. Le système de production est un système complexe composé de ressources interconnectées pour transformer, déplacer, stocker et contrôler les produits. La finalité de tout système de production est de s'améliorer en permanence afin de survivre et de croître. L'une des réponses pour que les systèmes de production s'améliorent est l'implémentation du Lean Manufacturing. Afin d'implémenter le Lean Manufacturing, une modélisation détaillée du système de production est nécessaire. Cette modélisation engendre un réseau complexe de relations entre les ressources et les activités dont il est difficile d'obtenir une compréhension immédiate. Cet entrelacement de relations contient un ensemble de contradictions qu'il est difficile d'extraire. La difficulté de formaliser ces contradictions réside dans le manque de structuration des informations pour l'implémentation du Lean Manufacturing et par le choix judicieux d'un modèle du système en cohérence avec le Lean Manufacturing. Dans le but d'apporter un éclaircissement pour une meilleure compréhension de l'implémentation du Lean manufacturing, nous proposons une démarche pour formaliser les contradictions. Pour la construction de cette méthode, nous utilisons certains principes issus de l'Axiomatic Design et de la TRIZIn a difficult industrial context, the manufacturing system must evolve. The manufacturing system is a complex system which is composed by a unit of interdependent resources to transform, to move, to store the products. The finality of any manufacturing system is to get better in order to survive. One of the responses to satisfy this finality is the implementation of Lean Manufacturing. In order to implement the Lean Manufacturing, a detailed manufacturing system modelling is necessary. This modelling generates a complex network of relations between the resources and activities whose it is difficult to obtain an immediate understanding. This interlacing of relations contains a whole of contradictions which it is difficult to extract. A contradiction is expressed by the opposition which the value of system parameter can take to satisfy needs for implement the Lean Manufacturing. A contradiction is expressed by this way: the transfer lot size must be raised to reduce displacement costs of products, but the transfer lot size must be weak to reduce post-operative storing costs. The difficulty to formalize these contradictions lies in the lack of information's structuring to implement Lean Manufacturing and the judicious choice of model. This model must be in coherence with Lean Manufacturing. In order to provide an explanation for better comprehension of Lean Manufacturing implementation, we propose a method for formalize the contradictions. In order to construct this method, we use certain concepts descended from Theory of General System, Axiomatic Design and OTSM-TRIZ. For greater clarity, we implement this method within the framework of description of specific contradictions network to the lead manufacturing time reduction. Finally, we propose a manner to explore this contradictions network within a workshop study
4
Fitouhi, Mohamed Chahir. "Optimisation de la planification intégrée de la maintenance préventive et de la production des systèmes multi-états." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/28234/28234.pdf.
Full text
5
Lenoir, Arnaud. "Modèles et algorithmes pour la planification de production à moyen terme en environnement incertain." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2008. http://tel.archives-ouvertes.fr/tel-00731056.
Full textAbstract:
Nous nous intéressons dans cette thèse aux problèmes d'optimisation de systèmes de grande taille en environnement incertain et plus particulièrement à la résolution de leurs équivalents déterministes par des méthodes de décomposition de type proximal. L'application sous-jacente que nous avons à l'esprit est celle de la gestion optimale de la production électrique d'EDF soumise aux aléas climatique, de marche et de consommation. Nous mettons 'a plat les couplages naturels espace-temps- aléas liés à cette application et proposons deux nouveaux schémas de discrétisation pour le couplage des aléas, bas'es sur l'estimation non-paramétrique de espérance conditionnelle, qui constituent des alternatives à la construction d'arbres de scénarios. Nous nous intéressons ensuite aux méthodes de décomposition en travaillant sur un modèle général, celui de la minimisation d'une somme de deux fonctions convexes, la première séparable et l'autre couplante. D'une part, ce modèle simplifie nous exonéré de la technicité due à un choix particulier de cou- plage et de sous-système. D'autre part hypothèse de convexité permet de tirer parti de la théorie des opérateurs monotones et de l'identification des méthodes proximales comme des algorithmes de points fixes. Nous mettons l'accent sur les propriétés différentielles des opérateurs de réflexion généralisée dont on cherche un point fixe, qui permettent de borner la vitesse de convergence. Nous étudions ensuite deux familles d'algorithmes de décomposition-coordination issues des méthodes dites d'éclatement d'opérateurs, à savoir les méthodes Forward-Backward et de type Rachford. Nous suggérons quelques techniques d'accélération de la convergence des méthodes de type Rachford. Pour cela, nous analysons dans un premier temps la méthode d'un point de vue théorique, fournissant ainsi des explications à certaines observations numériques, avant de proposer des améliorations en réponse. Parmi elles, une mise a' jour automatique du facteur d'échelle permet de corriger son éventuel mauvais choix initial. La preuve de convergence de cette technique se voit facilitée grâce aux résultats de stabilité de certaines lois internes vis a' vis de la convergence graphique établis en amont. Nous soumettons aussi l'idée d'introduire des "sauts" dans la méthode lorsqu'elle est appliquée à des problèmes polyédraux, en fondant nos argument sur la géométrie formée par la suite des itérés. En dernier lieu, nous montrons qu'il est possible, en ajoutant un mécanisme de contrôle, de s'affranchir de la résolution de tous les sous-problèmes à chaque itération en préservant la convergence globale. L'intérêt pratique de ces suggestions est confirmé par des tests numériques sur le problème de gestion de production électrique.
6
Livet, Alexandre. "Modélisation des systèmes physiques de production pour l'évaluation des coûts des activités." Université Louis Pasteur (Strasbourg) (1971-2008), 2002. http://www.theses.fr/2002STR13129.
Full textAbstract:
Notre étude s'intéresse à l'utilisation et l'exploitation des concepts de ressource et d'activité. Ces notions sont utilisées communément par les ingénieurs et les gestionnaires dans le but d'améliorer les performances des systèmes de production ou de le mesurer financièrement. Malheureusement, l'exploitation pratique de ces concepts se heurte à une difficulté commune aux deux domaines : quantifier les activités. De plus, l'absence de langage commun entre ingénieur et gestionnaire nuie à la liaison entre la vue activité des ingénieurs (vision micro) et la vue coût des gestionnaires (vision macro). Notre travail a contribué, dans un premier temps, à concevoir selon les canons de la modélisation d'entreprise, un modèle de référence qui constituait un chaînon manquant de la fonction lexicologique d'un langage commun. Les manques constatés sur l'existence de démarche concrète exploitant un modèle de référence pour évaluer un système ont abouti à notre seconde contribution : une démarche d'instanciation de notre modèle de référence en un modèle particulier. Enfin, notre objectif étant la quantification des activités, la troisième contribution porte sur une démarche de mesure du modèle particulier, intégrable aux méthodes de conception et d 'évaluation à base d'activités. Nous avons montré diverses applications possibles reposant sur la combinaison des modèles et démarches présentésOur study concerns the use and exploitation of the resource and activity concepts used in design of a production system. These two concepts are used by engineers and managers in order to improve efficiency of production systems or to measure its financial performance. Unfortunately, the convenient exploitation of these two concepts is confronted to a common difficulty of the both fields : quantify activities. Moreover, because of the absence of common language between engineers and managers, it isn't possible to link the engineer's activity view (micro view) and the manager's cost view (macro view). These both views are however essential to quantify activities. Our work proposes a reference model based on the rules of enterprise modeling. This one constitutes the missing link for a common language and the bridge between a generic model and a particular model. Then we propose an instantiation approach to transform the reference model in a particular model. Finally, in order to quantify the activities, we propose a measure approach of the particular model, which can for example be integrated to activities based costing methods. We illustrate our approach with an industrial example
7
Cossard, Nicolas. "Un environnement logiciel de modélisation et d'optimisation pour la planification de la production dans la chaîne logistique." Clermont-Ferrand 2, 2004. http://www.theses.fr/2004CLF21548.
Full textAbstract:
Le sujet de cette thèse est la proposition d'un environnement de modélisation et d'optimisation pour la planification de la production. La problématique aborde les cas mono-site et multi-sites. Nous abordons la planification tactique en prenant en compte des contraintes opérationnelles par une approche flux, sur des horizons de planification concernant plusieurs centaines de périodes ( nécessaires afin de garantir des contraintes opérationnelles pertinentes). Il s'agit de résoudre conjointement, dans des délais très courts, des problèmes d'ordonnancement, d'affectation, de dimensionnement de lots et de calibrage des flux sous contraintes techniques et économiques. Le problème est de type MLCLSP, et est abordé par la méthodologie de modélisation ASCI et formalisé avec UML. Plusieurs modèles sont présentés, exploitant les méthodes exactes et approchées (simulation, heuristiques, couplages). Deux applications industrielles sont présentées (Michelin et PSA)
8
Herrera, Carlos. "Cadre générique de planification logistique dans un contexte de décisions centralisées et distribuées." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00639761.
Full textAbstract:
Cette thèse rappelle les fondements du pilotage des systèmes logistiques et montre l'intérêt de la mise en place d'un SCP (Systèmes Contrôlés par le produit). L'intégration de tels systèmes doit d'abord prendre en compte la cohérence entre les différents éléments le constituant. Ainsi les systèmes centralisés cherchent à proposer des plans de moyen, long termes visant un optimal de coût, mais aussi une certaine stabilité et peu de nervosité. Par ailleurs, les systèmes distribués ont démontré leur capacité à permettre une réaction rapide à des événements impromptus survenant dans le système physique. L'hybridation de ces deux types de pilotage est donc une voie de gain de productivité pour les systèmes logistiques et industriels. Le premier chapitre de la thèse décrit l'évolution des systèmes de planification et de pilotage de la production, avec l'objectif d'identifier les forces et faiblesses des différentes approches proposées jusqu'à nos jours et permettent définir l'objectif général de la thèse. Le chapitre deux analyse l'état de l'art concernant les outils de modélisation des systèmes de production centralisés/distribués et aussi le concept de contrôle par le produit. Ce chapitre sert de base pour définir les objectifs spécifiques de la thèse. Le chapitre trois présente le cadre de modélisation proposé. Ce cadre est basé sur une approche cybernétique, et plus spécifiquement sur le modèle de système viable (VSM). Le chapitre démarre avec une présentation générale du modèle de système viable, puis présente un modèle générique de modélisation de systèmes contrôlés par le produit. Enfin, le chapitre décrit une application de ce cadre général aux systèmes de planification et pilotage de la production de type SCP. Le chapitre quatre définit les différentes méthodes de décision, tant centralisées que distribuées, développées pour l'implémentation du modèle générique définit dans le chapitre trois. Aux niveaux centralisés et distribués ces méthodes sont basées sur des modèles de programmation mathématique développés pour considérer l'adaptabilité et la flexibilité du système. Le chapitre cinq montre les principaux résultats grâce à une application basée sur un cas industriel qui a nécessité le développement d'un outil de simulation qui considère des variables de court, moyen et long termes pour les différents modèles d'optimisation. Ces résultats montrent l'intérêt de ce type d'hybridation.
9
Lemoine, David. "Modèles génériques et méthodes de résolution pour la planification tactique mono-site et multi-site." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2008. http://tel.archives-ouvertes.fr/tel-00731297.
Full textAbstract:
La planification tactique consiste à élaborer des plans de production afin de répondre au mieux à la demande, à un moindre coût. Traditionnellement, cette planification est divisée en trois plans principaux : le Plan Industriel et Commercial (PIC), le Plan Directeur de Production (PDP) et le Calcul des Besoins Net (CBN). Pour élaborer ces différents plans, des modèles mathématiques dits de " lot-sizing " ont été développés. Cependant, les mécanismes de fusion/acquisition entre entreprises ont considérablement complexifié cette planification en y intégrant les aspects multi-site inhérents au concept de chaîne logistique et il n'existe pas, à notre connaissance, de modèle du domaine et de modèle mathématique de référence pour cette problématique. Dans cette thèse, nous proposons un modèle générique de connaissance pour la planification multi-site à partir duquel un modèle mathématique générique peut être obtenu. Ce dernier permet, par instanciation, de retrouver les principaux modèles de la littérature. Nous proposons également des méthodes d'optimisation efficaces pour l'élaboration des plans de production (PIC, PDP et CBN) dans un contexte mono et multi-site : - Nous nous intéressons à l'obtention du PIC et du PDP dans un contexte mono-site au travers de la résolution du Capacitated Lot Sizing Problem (CLSP) grâce à des métaheuristiques et des bornes inférieures. Par cette technique, nous améliorons des résultats de la littérature. - Nous proposons un modèle mathématique pour la planification d'une chaîne logistique de type " flowshop hybride " obtenu par instanciation du modèle mathématique générique ainsi qu'une méthode d'optimisation efficace pour déterminer les PDPs et CBNs pour cette chaîne logistique. Nous abordons ensuite les problèmes de faisabilité des plans de production ainsi déterminés au niveau opérationnel en utilisant différents couplages entre modèles mathématiques ou modèles de simulation, ce qui permet d'assurer la synchronisation verticale des plans. Enfin, dans le cadre d'un contrat industriel, nous nous intéressons à la mise en place d'une politique de gestion de stock à demande différenciée. Après avoir étudié la faisabilité d'une telle mise en oeuvre dans un contexte industriel, nous avons conçu les algorithmes et développé l'application permettant de calculer les seuils de rationnement de chaque client afin de mener un test grandeur nature de cette politique.
10
Sabar, Mohamed. "Une approche à base d'agents pour la planification et l'ordonnancement en temps réel de personnel dans un contexte de chaîne d'assemblage flexible." Thesis, Université Laval, 2008. http://www.theses.ulaval.ca/2008/25762/25762.pdf.
Full textAbstract:
La recherche abordée dans le cadre de cette thèse s’intéresse à la gestion des ressources humaines opérationnelles, et plus spécifiquement aux problèmes de planification de ces ressources dans un contexte dynamique. Un intérêt particulier est porté au problème d’ordonnancement en temps réel du personnel travaillant sur une chaîne d’assemblage. Nous abordons cette problématique dans une perspective de gestion par compétences et ce, en nous basant sur le profil de compétences dans la modélisation de l’offre et de la demande en main-d’œuvre.
Quatre principaux axes de recherche sont exploités. Le premier axe vise l’aspect théorique de la modélisation du problème d’ordonnancement du personnel. A cet effet, nous proposons un modèle mathématique du problème d’affectation dynamique des employés sur une chaîne d’assemblage avec la prise en considération des préférences, des compétences et des déplacements inter-postes des employés. En nous basant sur ce modèle, et grâce à l’utilisation du solveur commercial de type Cplex, nous avons pu résoudre des instances de problèmes de petite taille. Les résultats obtenus démontrent que la production d’une solution optimale requiert un temps de calcul important, ce qui risque de générer une rigidité et une moindre réactivité de la fonction d’ordonnancement face à des perturbations d’un environnement dynamique.
Le deuxième axe de recherche porte sur l’élaboration d’une approche distribuée à base d’agents pour la résolution du problème d’ordonnancement du personnel. L’approche proposée se base sur l’utilisation de plusieurs catégories d’agents intelligents qui coopèrent entre eux à travers la formation de coalitions. Chaque coalition est formée de deux agents-employés qui auront décidé de coopérer entre eux en s’échangeant une partie de leurs activités d’assemblage afin d’améliorer leur profit et en conséquence, la qualité de la solution globale d’ordonnancement. Les résultats d’ordonnancement du personnel obtenus à partir des premiers tests sont encourageants. Ils démontrent que notre approche à base d’agents permet d’obtenir des solutions de bonne qualité en des temps raisonnables.
Le troisième axe de recherche porte sur le réordonnancent du personnel en temps réel face aux aléas liés à l’absence d’employés. À cet effet, nous proposons une extension de l’approche à base d’agents ainsi que deux variantes de l’approche de recuit simulé, qui permettent de résoudre le problème de réordonnancement. Nous avons pu tester les performances de ces deux approches sur plusieurs cas du problème d’ordonnancement et de réordonnancement du personnel. L’ensemble des résultats démontre que l’algorithme à base d’agents conduit à de très bonnes solutions en comparaison avec le recuit simulé.
Enfin, nous avons exploité les algorithmes à base d’agents et de recuit simulé, qui sont développés dans cette recherche, pour étudier deux aspects de la gestion stratégique des ressources humaines : la flexibilité dans l’élaboration des horaires de travail et l’impact de la prise en considération des préférences dans le processus d’ordonnancement du personnel. Dans les deux cas, les résultats de simulation obtenus corroborent les hypothèses initiales de recherche, à savoir la pertinence et l’intérêt de la notion de flexibilité et de la prise en compte des préférences dans le processus d’ordonnancement du personnel.
11
Claisse, Maxime. "Méthodes de pilotage des flux avec prise : en compte des incertitudes prévisionnelles." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC022/document.
Full textAbstract:
Intégrée dans la chaîne décisionnelle de la Supply Chain à un niveau tactique, la Planification de Production est un process clé qui permet de répondre au mieux aux besoins selon les ressources de l’entreprise. Un des défis du domaine est la gestion des incertitudes prévisionnelles, ayant des conséquences importantes sur des indicateurs clés comme le taux de service ou les coûts. Pour y faire face, des méthodes améliorant la flexibilité des processus sont mais en place, comme le contexte de travail en Plan Glissant. Cependant, en actualisant fréquemment les données, la stabilité du système se retrouve dégradée. Ainsi, malgré les gains issus de la gestion des incertitudes, ce cadre crée une complexité dynamique à gérer. Ce travail traite de cette complexité issue de l’actualisation des prévisions pour la planification de production en plan glissant. Plus particulièrement, la question traitée ici concerne l’optimisation du plan de production, en considérant u n système mono-produit monoétage. Une modélisation mathématique générique est tout d’abord développée pour construire un modèle d’optimisation théorique du problème. Ensuite, une procédure de résolution optimale est développée en utilisant le cadre d’optimisation dynamique stochastique. Ce modèle est appliquée à des cas concrets pour lesquels l’optimalité des solutions calculées est prouvée analytiquement grâce à un raisonnement inductif basé sur des séquences de calcul d’espérances mathématiques. Des analyses numériques finalement conduites mettent en exergue les performances de la méthode développée, ses limites, et sa sensibilité vis-à-vis de l’environnement industrielProduction Planning, as part of tactical operations integrated into the Supply Chain process, is a key procedure allowing decisioners to balance demand and production resources. One of its most challenging issues is to handle uncertainties, especially the ones coming from the Forecasted Demand. In order to manage indicators at stake, such as service level and costs, best practices increasing flexibility in the process are implemented, as Rolling-Plan Framework. However, it creates instability since the updates procedures make the data set on change constantly. Consequently, although the gain in terms of flexibility is non-negligible for the uncertainties management, it generates on the other hand dynamics complexity. We study in this work how to deal this dynamics complexity generated by updates of the Forecasted Demand made in a Rolling-Plan Framework of a Production Planning Process. In particular, the question to which it answers is how to optimize the Production Plan in such a context. This issue is tackled considering a single item single level production system. A general mathematical model in the context of our study is built to be exploitable for analytical optimization. A theoretical optimization framework is designed, and a specific solutions computation framework using stochastic dynamic programming is developed. We apply it in some precise study cases in order to compute optimal solutions and get some valuable analytical results thanks to a dynamic computation process. The optimality of the solutions is proven through an inductive reasoning based on expectations computation. Solutions are finally implemented and calculated numerically with simulations in some particular numerical examples. Analyses and sensitivity studies are performed, highlighting the performances of our optimization method
12
Mohammadi, Mehrdad. "A multi-objective optimization framework for an inspection planning problem under uncertainty and breakdown." Thesis, Paris, ENSAM, 2015. http://www.theses.fr/2015ENAM0055/document.
Full textAbstract:
Dans les systèmes manufacturiers de plus en plus complexes, les variations du processus de fabrication et de ses paramètres opératoires ainsi que leurs effets sur l’ensemble du système doivent être maîtrisés, mesurés et contrôlés. Cette thèse propose un cadre d’optimisation pour l’élaboration d’un plan d’inspection optimal qui permet une prise de décision opérationnelle afin d’assurer la satisfaction des objectifs stratégiques (réduction des coûts, amélioration de la qualité, augmentation de la productivité, …). La prise de décision se divise en trois questions : Quoi contrôler ? Comment contrôler ? Quand contrôler ? Le manque d'informations fiables sur les processus de production et plusieurs facteurs environnementaux est devenu un problème important qui impose la prise en compte de certaines incertitudes lors de la planification des inspections. Cette thèse propose plusieurs formulations du problème d’optimisation de la planification du processus d'inspection, dans lesquelles, les paramètres sont incertains et les machines de production sont sujettes aux défaillances. Ce problème est formulé par des modèles de programmation mathématique avec les objectifs : minimiser le coût total de fabrication, maximiser la satisfaction du client, et minimiser le temps de la production totale. En outre, les méthodes Taguchi et Monte Carlo sont appliquées pour faire face aux incertitudes. En raison de la complexité des modèles proposés, les algorithmes de méta-heuristiques sont utilisés pour trouver les solutions optimalesQuality inspection in multistage production systems (MPSs) has become an issue and this is because the MPS presents various possibilities for inspection. The problem of finding the best inspection plan is an “inspection planning problem”. The main simultaneous decisions in an inspection planning problem in a MPS are: 1) which quality characteristics need to be inspected, 2) what type of inspection should be performed for the selected quality characteristics, 3) where these inspections should be performed, and 4) how the inspections should be performed. In addition, lack of information about production processes and several environmental factors has become an important issue that imposes a degree of uncertainty to the inspection planning problem. This research provides an optimization framework to plan an inspection process in a MPS, wherein, input parameters are uncertain and inspection tools and production machines are subject to breakdown. This problem is formulated through several mixed-integer mathematical programming models with the objectives of minimizing total manufacturing cost, maximizing customer satisfaction, and minimizing total production time. Furthermore, Taguchi and Monte Carlo methods are applied to cope with the uncertainties. Due to the complexity of the proposed models, meta-heuristic algorithms are employed to find optimal or near-optimal solutions. Finally, this research implements the findings and methods of the inspection planning problem in another application as hub location problem. General and detail concluding remarks are provided for both inspection and hub location problems
13
Poulin, Marc. "Personalizing Business Networks." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/26643/26643.pdf.
Full text
14
Mirakyan, Atom. "Methodological frameworks for uncertainty analysis in long range integrated energy planning for cities and territories." Thesis, Strasbourg, 2014. http://www.theses.fr/2014STRAD027.
Full textAbstract:
La thèse propose d’abord un cadre général pour l’analyse de l’incertain durant les différentes phases du processus de planification énergétique à long terme à base de modèles de villes ou territoires (IEPCT). Il inclut des critères d’évaluation de la qualité d’une démarche IEPCT. Puis deux méthodes d’analyses de l’incertain sont proposées pour les activités de modélisation et de scénarisation du système énergétique : l’une basée sur l’échantillonnage aléatoire (PRSUA) et l’autre sur les scénarios flous (FSUA). Leur implémentation sur des cas a permis de montrer leur faisabilité et leur performance du point de vue des critères de qualité. La méthode PRSUA est plus gourmande en données, elle est plus adaptée à la planification sectorielle court moyen terme et tandis que FSUA convient plus à la planification long terme intersectorielle.Enfin une méthode pour la réalisation de l’ensemble des activités liées à la structuration d’un problème de planification spécifique (IMMA) est proposéeThe Phd first proposes a methodological framework for addressing different types of uncertainty within long range ntegrated energy planning for cities and territories (IEPCT) processes which includes requirements and quality factors. Second, two methods for uncertainty analysis of modelling tasks are proposed. One approach is probabilistic random sampling approach (PRSUA) another one is fuzzy scenario approach (FSUA). Compared to FSUA, the PRSUA framework is more data intensive. PRSUA is more suitable for short or midterm sector specific domain analysis, FSUA is more appropriate for long range cross sectoral integrated planning.Third it is proposed an innovative approach (IMMA) for supporting not only uncertainties in IEPCT first phase but also all other tasks relevant to this planning phase. Implementation of IMMA in Singapore shows that it can address all identified tasks and help developing requirements for innovative solutions
15
Elbedoui-Maktouf, Khaoula. "Vers un modèle global de planification intégrant différents leviers de flexibilité." Lyon, INSA, 2009. http://theses.insa-lyon.fr/publication/2009ISAL0010/these.pdf.
Full textAbstract:
Le présent travail s’intéresse à la prise en compte de la flexibilité pour l’optimisation de la planification de production dans un contexte de commande-contrat caractérisé par l’incertitude de la demande. L’approche proposée permet d’assurer une planification des charges et de la flexibilité par positionnement simultané des ordres de fabrication servant à couvrir les demandes et des ordres d’utilisation des leviers de flexibilité permettant l’absorption des crêtes de charge et la réalisation des demandes à terme. La modélisation mathématique de l'approche est développée dans le cadre monoproduit et dans le cadre multiproduit. Des expérimentations sont présentées validant l’approche et permettant de tirer un ensemble d’enseignements concernant la planification simultanée pour différents profils de la demandeLinear elastic fracture mechanics is not able to model one of the physical phenomenon of fatigue crack growth: the plasticity induced crack closure effect first observed by Elber. Crack propagation simulation is a difficult numerical issue in which remeshing and field projection is almost unavoidable. New numerical methods, that model implicitely discontinuities, such as the extended finite element method appeared recently. One proposes to use it to model crack closure. It is therefore necessary to take into account plasticity around the tip and contact on the crack lips. A new plastic enrichment basis is coupled with an augmented Lagrangian formulation in the framework of the XFEM. Comparisons between numerical results and results from experimental tests obtained with digital image correlation show the ability of the method
16
Vu, Thanh Tung. "Modèles spatiaux pour la planification cellulaire." Thesis, Paris, ENST, 2012. http://www.theses.fr/2012ENST0043/document.
Full textAbstract:
Dans cette thèse, nous enrichissons et appliquons la théorie des processus de Poisson spatiaux pour résoudre certains problèmes issus de la conception et du déploiement des réseaux cellulaire. Cette thèse comporte deux parties principales. La première partie est consacrée à la résolution de quelques problèmes de dimensionnement et de couverture des réseaux cellulaires. Nous calculons la probabilité de surcharge de systèmes OFDMA grâce aux inégalités de concentration et aux développements d'Edgeworth, pour lesquels nous prouvons des bornes d'erreur explicites, et nous l'appliquons à résoudre un problème de dimensionnement. Nous calculons également la probabilité d'outage et le taux de handover pour un utilisateur typique. La seconde partie est consacrée à l'étude de différents modèles pour la consommation d'énergie dans les réseaux cellulaires. Dans le premier modèle, l'emplacement initial des utilisateurs forme un processus de Poisson ponctuel et à chaque utilisateur est associé un processus d'activité de type ON-OFF. Dans le second modèle, l'arrivée des utilisateurs constitue un processus de Poisson en espace et en temps, une dynamique connue sous le nom de dynamique de Glauber. Nous étudions également l'impact de la mobilité des utilisateurs en supposant que les utilisateurs se déplacent de manière aléatoire pendant leur séjour. Nous nous intéressons dans toutes ces situations, à la distribution de l'énergie consommée par une station de base. Cette énergie est divisée en deux parties: la partie additive et la partie diffusive. Nous obtenons des expressions analytiques pour les moments de la partie additive ainsi que la moyenne et la variance de l'énergie totale consommée. Nous trouvons une borne d'erreur pour l'approximation gaussienne de la partie additive. Nous prouvons que la mobilité des utilisateurs a un impact positif sur la consommation d'énergie. Il n'augmente ni ne réduit l'énergie consommée en moyenne, mais réduit sa variance à $0$ en régime de mobilité élevé. Nous caractérisons aussi le taux de convergence en fonction de la vitesse des utilisateursNowadays, cellular technology is almost everywhere. It has had an explosive success over the last two decades and the volume of traffic will still increase in the near future. For this reason, it is also regarded as one cause of worldwide energy consumption, with high impact on carbon dioxide emission. On the other hand, new mathematical tools have enabled theconception of new models for cellular networks: one of these tools is stochastic geometry, or more particularly spatial Poisson point process. In the last decade, researchers have successfully used stochastic geometry to quantify outage probability, throughput or coverage of cellular networks by treating deployment of mobile stations or (and) base stations as Poisson point processes on a plane. These results also take into account to impact of mobility on the performance of such networks. In this thesis, we apply the theory of Poisson point process to solve some problems of cellular networks, in particular we analyze the energy consumption of cellular networks. This thesis has two main parts. The first part deals with some dimensioning and coverage problems in cellular network. We uses stochastic analysis to provide bounds for theoverload probability of OFDMA systems thanks to concentration inequalities and we apply it to solve a dimensioning problem. We also compute the outage probability and handover probability of a typical user. The second part is dedicated to introduce different models for energy consumption of cellular networks. In the first model, the initial location of users form a \PPP\ and each user is associated with an ON-OFF process of activity. In the second model, arrival of users forms a time-space \PPP. We also study the impact of mobility of users by assuming that users randomly move during its sojourn. We focus on the distribution of consumed energy by a base station. This consumed energy is divided into the additive part and the broadcast part. We obtain analytical expressions for the moments of the additive part as well as the mean and variance of the consumed energy. We are able to find an error bound for Gaussian approximation of the additive part. We prove that the mobility of users has a positive impact on the energy consumption. It does not increase or decrease the consumed energy in average but reduces its variance to zero in high mobility regime. We also characterize the convergent rate in function of user's speed
17
Laruelle, Hervé. "Planification temporelle et exécution de tâches en robotique." Toulouse 3, 1994. http://www.theses.fr/1994TOU30048.
Full textAbstract:
L'objet de cette these est l'etude et l'implementation d'un planificateur temporel de taches, appele ixtet, en vue d'etre utilise pour le controle haut-niveau d'un robot mobile. Dans ce sens, l'approche developpee propose un compromis entre l'expressivite de la representation et l'efficacite des algorithmes. Le formalisme logique employe est base sur une logique reifiee du premier ordre utilisant les instants comme primitives temporelles. Dans ce formalisme, une hierarchie de description d'operateurs temporels deterministes, appeles taches, a ete definie. Une procedure de compilation permet de verifier la coherence des operateurs et fournit des structures directement utilisables en tant que schemas de plans partiels, inserables dans le plan en construction. A partir de ce formalisme, un critere de plan solution a ete defini comme l'absence de conflits et l'explication de toutes les propositions temporelles. L'algorithmique du planificateur basee sur ce critere utilise les liens causaux. Le controle contient deux procedures importantes: une procedure dite de faisabilite qui resout les sous-buts, a l'aide d'un arbre de decomposition de sous-buts ; et une procedure dite de satisfiabilite qui resout les conflits. L'arbre de recherche global est controle par un algorithme a#. Pour augmenter l'efficacite du planificateur, un principe de moindre engagement etendu a ete applique, regissant l'ordre dans lequel sont choisis les sous-buts et les conflits. Enfin, une procedure d'execution de plan temporel a ete elaboree pour etre couplee aux modules de controle du robot mobile hilare. Cette procedure gere un ensemble d'automates qui permettent d'etendre la representation des operateurs temporels aux cas d'echecs a l'execution. Par ce moyen, elle met a jour le modele du monde courant pour une replanification eventuelle
18
Mourou, Pascal. "Planification et contrôle d'exécution dans un monde multi-agent : copilote pour véhicule en circulation autoroutière." Toulouse 3, 1994. http://www.theses.fr/1994TOU30135.
Full textAbstract:
La premiere partie de la these decrit les fondements de l'intelligence artificielle utilises pour donner une definition detaillee de l'intelligence artificielle distribuee. La notion de relation entre agents y est approfondie. La representation des connaissances de chaque agent et la facon dont un monde multi-agent peut etre simule y sont egalement decrites. Tout cela permet a l'auteur de caracteriser ce monde multi-agent particulier qui est celui de la circulation autoroutiere. La deuxieme partie presente differentes methodes de decision multi-agent permettant a un agent de prendre une decision en fonction des influences des autres agents. Elles permettent de mettre en uvre des regles de priorite qui servent a resoudre les conflits pour acceder a des ressources communes. Une evaluation theorique du cout de ces methodes est donnee. L'auteur propose d'utiliser celle qui est la plus avantageuse pour faire de la planification multi-agent, chaque agent produisant un plan d'actions en fonction des intentions a court terme des autres agents. La replanification selective permet a chaque agent de reagir efficacement lorsqu'une nouvelle information remet en cause une partie de son plan. Ces resultats sont utilises pour construire un pilote automatique pour vehicule en circulation autoroutiere. Il fournit les elements necessaires a la realisation d'un copilote pour la surveillance d'un vehicule pilote par un conducteur humain
19
Thiel, Daniel. "Vers une meilleure connaissance du comportement dynamique des systèmes de production : conception de modèles génériques et simulation continue." Aix-Marseille 3, 1993. http://www.theses.fr/1993AIX30098.
Full textAbstract:
L'essentiel de cette these a consiste a mieux comprendre les mecanismes de regulation des entreprises industrielles face a des dysfonctionnements de leur systeme productif. Les systemes de production decrits en termes de structures de feedback sont en general trop complexes pour etre traites mathematiquement et leurs comportements dynamiques ne peuvent etre representes que par des modeles non lineaires. C'est une description cybernetique qui a pu rendre compte de mecanismes et de modes de comportement induits par les structures statiques et dynamiques des systemes. Des simulations pratiquees sur des modeles generiques ont permis d'ameliorer la connaissance de ces comportements dans des horizons temporels differents. Cette recherche est previsionnelle, decisionnelle et meme normative, dans la mesure ou elle permet de mettre en evidence des comportements que j. W. Forrester qualifiait d'anti-intuitifs, c'est-a-dire non imaginables et descriptibles. Mais elle est avant tout cognitive
20
Maggion, Sylvie. "Etude de l'estimation des paramètres d'un modèle de réflectance bidirectionnelle et planification optimale des observations depuis l'espace." Toulouse 3, 1995. http://www.theses.fr/1995TOU30265.
Full textAbstract:
La teledetection passive dans le domaine optique s'interesse a la part de rayonnement solaire reflechie par la surface observee et atteignant le capteur. Les mesures fournies sont des caracteristiques exclusivement radiatives des processus conduisant a la formation de l'onde reflechie. Leur exploitation repose sur l'etablissement d'un modele explicatif des observations, connexion entre les processus physiques a l'origine du signal mesure et les proprietes radiatives du milieu. Se pose alors le probleme de l'estimation des parametres physiques caracterisant ces proprietes. Sous certaines hypotheses, l'estimation des parametres peut etre realisee par un ajustement au sens des moindres carres ordinaire. Trois axes d'etude ont ete degages. (1) la presence possible d'erreurs sur les mesures souleve la question de l'impact et de la redistribution de ce bruit sur les parametres estimes. L'estimation a alors ete subordonnee a une methode de re-echantillonnage (methode de monte carlo) qui seule permet d'acceder a une caracterisation, a distance finie, de la loi des estimes. (2) l'influence du processus numerique et iteratif d'estimation a ete examinee au travers de deux implementations de la formule bfgs de quasi-newton se differenciant par le traitement de l'information de premier ordre. (3) les donnees de teledetection provenant d'un echantillonnage limite, l'estimation des parametres depend radicalement du choix du plan d'experience. D'une part des poids ont ete construits pour moduler la contribution de chaque observation au sein du critere a minimiser ; d'autre part, deux criteres rationnels de selection des observations ont ete introduits dans un modus operandi de selection-assimilation-accumulation. Cette derniere phase s'est progressivement affranchie de la connaissance a priori induite par la methode de monte carlo pour se tourner vers un mode de prediction-correction du plan d'experience pertinent pour le modele et les parametres
21
Grunder, Olivier. "Apport de la modélisation cognitive à la planification de projets." Besançon, 1998. http://www.theses.fr/1998BESA2004.
Full textAbstract:
La modélisation et l'ordonnancement de projet s'effectuent aujourd'hui presque exclusivement à l'aide des outils PERT et CPM, initialement prévus pour des projets de type réalisation. De nombreux modèles ont alors été développes pour tenter de modéliser des projets à risque comme les projets d'innovation. Les différents futurs possibles du projet innovant sont décrits par l'intermédiaire de possibilités (dans un graphe composé de nœuds logiques de type et, ou, ou exclusif) ou de probabilités (probabilité d'échec, distribution stochastique des durées). Dans tous les cas, l'indépendance des variables aléatoires considérées est une hypothèse indispensable à ces modèles qui permet alors d'établir un certain nombre de résultats formels. Or, cette hypothèse forte n'est pas valable dans la plupart des projets réels ou les choix dépendent généralement de variables externes (temps, prix d’une matière première) ou internes (résultat d'un prototype, duré d'une opération, comparaison entre plusieurs solutions). La connaissance concernant l'organisation d'un projet peut être repartie en une partie structurelle contenant les différentes réalisations possibles du projet et une partie organisationnelle autorisant la définition d'un futur particulier parmi tous ceux qui sont possibles. Ce problème est proche de la représentation de la connaissance en résolution de problèmes. Dans ce domaine, beaucoup de modèles existants discernent la connaissance de planification (comment organiser la résolution d'un problème), la connaissance de réaction (que faire en cas d'échec), la connaissance de synthèse (production d'informations après la résolution) et la connaissance opérationnelle (algorithmes opérationnels élémentaires). Les travaux présents dans cette thèse tentent d'établir un pont entre la résolution de problèmes et le management de projet afin d'intégrer simultanément non seulement les différents futurs possibles d'un projet mais également la connaissance nécessaire à la gestion de ces possibilités. Les modèles cognitifs sont modifiés pour permettre le calcul de plusieurs informations classiques comme la probabilité d'échouer, la durée d'exécution minimale et maximale ainsi que pour faire du raisonnement sous hypothèses.
22
Celikoglu, Hakan. "La planification stratégique des activités en transport aérien : modèles intégrant la gestion des routes, des avions et des sièges." Châtenay-Malabry, Ecole centrale de Paris, 1994. http://www.theses.fr/1994ECAP0401.
Full textAbstract:
Nous proposons une nouvelle approche intégrant les plusieurs sous-problèmes du transport aérien notamment gestion des routes, affectation des avions et allocation des sièges. Ainsi nous avons développé quatre modèles mathématiques représentant le système comme monopole aux tarifs fixes, monopole aux tarifs libres concurrence aux tarifs fixes et libéral. Ces modèles sont expérimentés sur un support informatique par des prototypes réduits. Les résultats sont encourageants pour le fonctionnement logique des modèles. Les travaux peuvent être suivis dans le sens d'intégration d'autres sous-problèmes, adaptation aux autres domaines développement des algorithmes adaptés aux modèles pour gérer les cas réels et réorganisation des systèmes d'aide à la décision.
23
Brahimi, Nadjib. "Planification de la production : modèles et algorithmes pour les problèmes de dimensionnement de lots." Nantes, 2004. http://www.theses.fr/2004NANT2047.
Full textAbstract:
Le dimensionnement des lots de fabrication dans un système de production est souvent un problème à la fois complexe et très important. Pour résoudre le problème, plusieurs modèles mathématiques et méthodes de résolution sont proposés dans la littérature. Après avoir donné un état de l'art détaillé sur les problèmes de dimensionnement de lots, nous proposons une nouvelle modélisation des problèmes à un niveau de production en introduisant de nouvelles contraintes : les contraintes de fenêtres de temps. Le nouveau modèle, qui représente mieux les contraintes de disponibilité des matières premières, permet de prendre en considération d'autres situations ; quand le stock est périssable ou quand la demande est une entrée du système au lieu d'une sortie. Les cas étudiés avec la nouvelle modélisation sont : le problème à un produit sans et avec capacité et le problème à plusieurs produits sans et avec temps de préparation. Le problème à un produit sans capacité est résolu en utilisant la programmation dynamique. Pour les autres problèmes, nous proposons des heuristiques Lagrangiennes. Pour chaque classe de problèmes, différentes relaxations Lagrangiennes sont testées et comparées entre elles. Nous recommandons les meilleures méthodes à utiliser pour chaque type de problèmesLot sizing in a production system is a complex and very important problem. To solve it, several mathematical models and solution procedures are proposed in the literature. After giving a review of lot sizing problems, we propose a new model for single level problems by introducing a new set of constraints: Time window constraints. The new model, which represents in a better way the availability of raw materials, enables us to consider other situations such as perishable inventory and when demand is an input to the system instead of being an output. Based on the new model, we study the following cases: single item problems without and with capacity constraints, and multi item problems without and with setup times. The uncapacitated single item problem is essentially solved using dynamic programming. For the other problems, we propose Lagrangian heuristics. For each class of these problems, different Lagrangian relaxations are tested and compared. We recommend the best methods to use for each type of problems
24
Li, Yantong. "Modèles et algorithmes pour une classe de problèmes combinés de production et de tournées de véhicules." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLE036/document.
Full textAbstract:
Le problème combiné de production et de tournées de véhicules (PRP) consiste à proposer une planification intégrée de la production et de la distribution. Il vise à optimiser le coût global de la chaîne logistique et à améliorer le niveau de service aux clients. Bien que le PRP et son application en agroalimentaire (FPRP) présentent des enjeux importants à la fois scientifiques et industriels, ils n’ont pas été suffisamment étudiés dans la littérature. L’objectif de cette thèse est de développer de nouveaux modèles et algorithmes pour le PRP et le FPRP.Dans cette thèse, nous avons d’abord étudié un PRP multi-produit avec sous-traitance (MPRPOS) qui est une extension naturelle du PRP classique. Pour ce problème, un nouveau programme linéaire en nombres mixte (MILP) a été proposé et une heuristique à trois niveaux a été développée. Les expériences numériques sur 225 instances générées aléatoirement pour le MPRPOS et 1530 instances de benchmark du PRP montrent de très bonnes performances de l’heuristique proposée. En particulier, nous avons obtenu de nouvelles meilleures solutions pour 283 instances de benchmark.A partir de l’étude du MPRPOS et en prenant en compte les spécificités des produits agroalimentaires (périssabilité et qualité), trois nouveaux FPRPs ont été ensuite étudié: 1) un FPRP multi-site avec conditionnement (MFPRP); 2) un FPRP multi-critère (BFPRP): minimisation du coût total de la chaîne logistique et maximisation de la qualité; et 3) un FPRP avec des contraintes de fenêtre horaires (FPRPTW). Pour chacun des problèmes, un modèle MILP a été établi. En outre, une Matheuristique hybride combinant une méthode itérative, une procédure de fixe-et-optimisation et un processus d’optimisation basé sur les routes déterminées pendant les deux premières étapes a été développée pour le MFPRP. Pour le BFPRP, une heuristique du type epsilon-contrainte et une méthode par logique floue sont proposées. Et le FPRPTW est directement résolu par le solveur CPLEX. Une étude des cas montre que le modèle et l’algorithme proposés pour le BFPRP peuvent significativement améliorer la performance de l’entreprise. Les résultats numériques sur des instances générées aléatoirement montrent que les méthodes développées sont plus performantes que le CPLEXThe production routing problem (PRP) consists of determining an integrated production and distribution planning that aims to optimize overall cost and improve service level. Although the PRP has been attracting academic and practical interests, it has not been well studied in the literature. Food production routing problem (FPRP) that is more complex than the classic PRP due to food perishability, has rarely been studied. This thesis focuses on developing new models and algorithms for the PRP and FPRP.Firstly, a multi-product PRP with outsourcing (MPRPOS) that is a generalization of the classic PRP is addressed. For the problem, a mixed integer linear programming (MILP) model is proposed and a three-level heuristic is designed. Computational experiments on 225 newly generated MPRPOS instances and 1530 PRP benchmark instances demonstrate the effectiveness and efficiency of the proposed heuristic. Especially, 283 new best solutions for PRP benchmark instances are found by the heuristic.Considering food quality and perishability, and based on the study for the PRP, three new FPRPs are then investigated, i.e., 1) a multi-plant FPRP with packaging consideration (MFPRP); 2) a bi-objective FPRP (BFPRP) that minimizes the total supply chain cost and maximizes food quality simultaneously; and 3) a FPRP with delivery time window constraints (FPRPTW). For each of the studied problems, a MILP model is proposed. Moreover, a hybrid matheuristic that combines a two-phase iterative method, a fix-and-optimize procedure, and a route-based optimization is developed for the MFPRP. For the BFPRP, an epsilon-constraint-based heuristic and a fuzzy logic decision method are proposed to generate near-optimal Pareto solutions and to help decision makers select a preferred solution. And the FPRPTW is directly solved by the state-of-the-art solver CPLEX. A case study shows the proposed model and algorithm for BFPRP can improve food supply chain performance. Computational results on randomly generated instances demonstrate the proposed hybrid matheuristic and epsilon-constraint-based heuristic outperform CPLEX
25
De, Paula Reis Alline. "Conception biologique complexe : Planification et modèles d'affaires. Le cas du clonage équin." Phd thesis, AgroParisTech, 2013. http://pastel.archives-ouvertes.fr/pastel-01017382.
Full textAbstract:
Les sciences du vivant ont connu des développements technologiques importants dans les dernières décennies. Dans les années 90 et 2000 le monde a assisté à l'apparition de plusieurs technologies a priori prometteuses telles que le clonage de mammifères, la transgénèse animale et végétale ou encore les traitements thérapeutiques par des cellules souches. La littérature spécialisée dans le domaine est riche en publications sur les aspects technico-expérimentaux de ces technologies et, malgré la difficulté technique encore apparente dans les publications, les auteurs sont optimistes quant à la réalisation de ces technologies de façon commerciale. Ces avancées technologiques se sont accompagnées de l'émergence d'une nouvelle industrie du vivant. Les entreprises de ce nouvel environnement sont rapidement reconnaissables par leur besoin intensif de connaissance, leur haut niveau de spécialisation et des compétences hautement spécialisées. Mais, malgré ce caractère innovant, et le développement d'un nouveau marché à haute valeur ajoutée, les entreprises qui se lancent sur ces activités sont fréquemment affrontées à des difficultés économiques. Nous avons souhaité analyser cette nouvelle industrie du point de vue gestionnaire afin de comprendre les difficultés de gestion rencontrées par les acteurs. La littérature académique et empirique traite peu les questions managériales de ces technologies. Généralement, chaque technologie y est traitée de façon très individualisée de façon à ce que chaque technologie soit reconnue comme une entité particulière, presque unique. Ce contexte engendre l'impossibilité d'avoir une vision unifiée et générique de ces industries. Nous avons alors proposé de concevoir un modèle générique permettant de discuter les caractéristiques managériales génériques de cette industrie. Cet effort de conceptualisation est utile dans un premier temps pour comprendre les difficultés de gestion rencontrées par les entreprises dédiées aux technologies récentes du domaine du vivant. Par la suite, le concept peut être utile pour la proposition d'améliorations managériales. La Théorie C-K a été mobilisée pour faciliter l'organisation des informations disponibles et les structurer de façon à en faire des connaissances mobilisables pour la conception du modèle générique souhaité. La collecte des informations a été réalisée à l'aide d'une étude de cas, telle que décrite par Eisenhardt (1989). Comme il existe une grande variété de technologies dans cette industrie, nous avons décidé de développer le concept à partir du cas d'une technologie spécialement touchée par les difficultés entrepreneuriales : celle du clonage équin. [...] Suite et fin du résumé dans la thèse.
26
Blanc, Hervé-Valéry. "Détection des collisions dans le cadre de la planification 3D du remplacement d'un générateur de vapeur." Aix-Marseille 3, 1998. http://www.theses.fr/1998AIX30086.
Full textAbstract:
L'objet de cette etude est la conception et la realisation d'un systeme informatise interactif original d'aide a la planification du remplacement des generateurs de vapeur, dans le cadre de la maintenance nucleaire. Le but est d'obtenir un outil complet et ergonomique de simulation 3d dote d'un module de detection des collisions dans l'espace. Nous decrivons tout d'abord les techniques de rendu actuellement utilisees en synthese d'image afin de retenir parmi elles celles qui sont les mieux adaptees a notre probleme. Puis nous presentons les techniques de modelisation 3d pour expliquer le choix d'un modele de type ecsg, et des librairies graphiques open gl et open inventor pour notre application. De meme, les differentes methodes de detection des collisions sont rappelees et nous proposons un algorithme rapide base sur un decoupage recursif de l'espace en volumes englobants orientes, et sur un test rapide de l'interpenetration de ces volumes. Enfin, nous decrivons l'application complete developpee pour edf. Cette application a comme originalite, outre l'utilisation des librairies graphiques et des outils 3d les plus recents, l'integration d'un module de detection des collisions efficace et precis. Ce logiciel est dote d'une interface graphique ergonomique et permet la visualisation interactive d'une scene 3d, la manipulation rapide des objets 3d, ainsi que diverses mesures d'angles et de distances dans cette scene.
27
Khalfaoui, Souhaiel. "Production automatique de modèles tridimensionnels par numérisation 3D." Phd thesis, Université de Bourgogne, 2012. http://tel.archives-ouvertes.fr/tel-00841916.
Full textAbstract:
La numérisation 3D telle que pratiquée aujourd'hui repose essentiellement sur les connaissances de l'opérateur qui la réalise. La qualité des résultats reste très sensible à la procédure utilisée et par conséquent aux compétences de l'opérateur. Ainsi, la numérisation manuelle est très coûteuse en ressources humaines et matérielles et son résultat dépend fortement du niveau de technicité de l'opérateur. Les solutions de numérisation les plus avancées en milieu industriel sont basées sur une approche d'apprentissage nécessitant une adaptation manuelle pour chaque pièce. Ces systèmes sont donc semi-automatiques compte tenu de l'importance de la contribution humaine pour la planification des vues.Mon projet de thèse se focalise sur la définition d'un procédé de numérisation 3D automatique et intelligente. Ce procédé est présenté sous forme d'une séquence de processus qui sont la planification de vues, la planification de trajectoires, l'acquisition et les post-traitements des données acquises. L'originalité de notre démarche de numérisation est qu'elle est générique parce qu'elle n'est pas liée aux outils et méthodes utilisés pour la réalisation des tâches liées à chaque processus. Nous avons également développé trois méthodes de planification de vues pour la numérisation d'objets sans connaissance a priori de leurs formes. Ces méthodes garantissent une indépendance des résultats par rapport au savoir-faire de l'opérateur. L'originalité de ces approches est qu'elles sont applicables à tous types de scanners. Nous avons implanté ces méthodes sur une cellule de numérisation robotisée. Nos approches assurent une reconstruction progressive et intelligente d'un large panel d'objets de différentes classes de complexité en déplaçant efficacement le scanner
28
Jacques, Jovani. "Modélisation des capacités de transformation et des marchés : support à la planification stratégique dans l'industrie forestière." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27161/27161.pdf.
Full text
29
Liu, Xiao. "Modèles et algorithmes pour des problèmes d'approvisionnement dans l'industrie pétro-chimique." Troyes, 2004. http://www.theses.fr/2004TROY0018.
Full textAbstract:
Dans cette thèse, nous développons des approches pour résoudre des problèmes de regroupement des besoins (ou de constitution de lots) en mono-produit et à capacité limitée rencontrés en particulier dans les industries pétrochimiques. Nous définissons et généralisons d’abord des modèles de regroupement de besoins aux cas les plus généraux avec des fonctions coût les plus générales. Nous avons démontré une condition nécessaire et suffisante pour que le problème admette une solution réalisable. Lorsqu’une solution réalisable existe, nous proposons des méthodes de programmation dynamique pseudo-polynomiales pour le résoudre. La complexité temporelle et la complexité spatiale ont été analysées. Puis, un modèle avec capacité de stockage et ventes perdues et avec coûts linéaires est considéré. Nous avons proposé des méthodes polynomiales pour le cas « stockout » et le cas conservation. Ces résultats sont ensuite généralisés aux fonctions coût concaves. Un algorithme polynomial basé sur des nouvelles propriétés est développé pour le modèle de stockout. Enfin, en analysant la planification d’approvisionnement en pétrole brut pour la chaîne logistique distribuée avec fournisseurs multiples et raffineries (clients) multiples, nous avons établi un modèle multi-objectif de planification. Les résultats numériques montrent que l’approche proposée est efficace, qui peut non seulement planifier l’approvisionnement de manière efficace, minimiser le temps de cycle de la chaîne logistique mais aussi choisir les fournisseurs et optimiser la configuration des ressourcesThis thesis develops and investigates approaches to solve classical and practical single item capacitated lot sizing problems in petrochemical industries. We first define and extend single item capacitated lot sizing models to the most general cases, where both backlogging and lost sales are permitted. The model with the most general cost functions is formulated. We prove a necessary and sufficient condition for there to be a feasible solution and how that this condition can be checked in polynomial time to compute actual bounds on inventory and backlogging levels. If feasible solutions exist, we develop pseudo-polynomial dynamic programming methods. Theoretical analyses in computational complexity and memory complexity are given. Then, a single item dynamic lot sizing model with bounded inventory and lost sales is examined. Polynomial time approaches are proposed both for stockout model and conservation model with computational results. Subsequently, we extend a concave cost single item economic lot sizing model with bounded inventory and lot sales. A strongly polynomial algorithm is developed based on new properties for the stockout model. Finally, by analysing the crude oil procurement planning for distributed supply chain with multi-suppliers and multi-refineries, a multi-objective procurement planning model is established. Numerical experiments demonstrate that the approach proposed is efficient and applicable, which can not only make effective procurement planning, minimize the cycle time of the supply chain, but also choose the suppliers and optimize the configuration of resources
30
Kolelas, Brice Parfait. "La firme et les alternatives stratégiques : intégration verticale - contrat de long terme, intégration verticale - marché." Dijon, 1993. http://www.theses.fr/1993DIJOE016.
Full textAbstract:
Placée dans environnement économique instable, la firme est contrainte de rechercher les stratégies qui assurent sa survie. Plusieurs options stratégiques s'offrent à elle alors. Parmi ces options, figurent les alternatives stratégiques : intégration verticale-contrat de long terme, intégration verticale-marché. Nous avons, dans cette thèse, cherché à connaitre les soubassements théoriques de ces stratégies, et puis tenté de baliser un chemin d'analyse théorique qui les unifie dans une optique stratégiques dynamiqueWhen a firm is in an unstable environment, some strategies are requiered for its survival. There are several possible type of strategies; among these we can quote: vertical integration-long term contract, vertical integration-market the goal of this dissertation is to point out the theoritical foundation of these strategies and try to initiate theoritical analysis which may unify them in the optic of a dynamic strategy
31
Masson, Sophie. "Les interactions entre système de transport et système de localisation en milieu urbain et leur modélisation." Lyon 2, 2000. http://theses.univ-lyon2.fr/documents/lyon2/2000/smasson.
Full textAbstract:
Cette recherche propose un modèle interactif de transport et d'urbanisation opérationnel comme outil d'aide à la planification des transports. La construction de ce modèle s'inscrit dans une volonté de dépasser la méthodologie classique des modèles de transport fortement critiqués du fait qu'ils prennent mal en compte le caractère dérivé de la demande de déplacements, en particulier, les localisations des résidents et des activités, générateurs des déplacements, sont considérées comme fixées. A long terme, les interactions entre transport et localisation doivent être explicitement intégrées. La modification des conditions de déplacement a des impacts sur les formes urbaines et l'effet de ces formes sur la demande en déplacement ne fait pas de doute. La mise en oeuvre d'un tel modèle nécessite une analyse de la demande de déplacements, dans un premier temps, et une analyse conceptuelle et théorique des mécanismes d'interaction entre transport et urbanisation dans un second temps. Cela fait l'objet de la première partie de ce travail. La deuxième partie de la thèse est consacrée à l'élaboration d'un modèle interactif de transport et d'urbanisation. Celui-ci se présente comme l'articulation de trois sous-modules : un module de développement urbain qui s'inspire de la théorie de la base économique urbaine, un module de structuration urbaine qui estime la répartition des localisations résidentielles et des activités induites. Enfin, un module de déplacements de personne, au centre de notre recherche, qui exprime l'équilibre du marché des transports urbains obtenu à travers les étapes de génération, distribution spatiale, répartition modale et affectation. La dynamique de long terme du modèle est obtenue par l'introduction de boucles rétroactives. Le modèle apporte certains enseignements pour la planification des transports. Cette dernière doit s'inscrire dans une démarche globale et de long terme, et doit être envisagée en cohérence avec la planification urbaineThis research proposes an interactive operational transport and land use model like a tool of transport planning aid. The construction of this model falls under a will to exceed the traditional methodology of the strongly criticized models of transport owing to the fact that they badly take into account the character derived of the travel demand, in particular, the locations of the residents and of the activities, generators of travel, are regarded as fixed. In the long run, the interactions between transport and land use must be explicitly integrated. The modification of the conditions of travel has impacts on the urban forms and the effect of these forms on the travel demand is not a doubt. The implementation of such a model requires an analysis of the travel demand, initially, and a conceptual and theoretical analysis of the mechanisms of interaction between transport and land use in the second time. That is the subject of the first part of this work. The second part of the thesis is devoted to the development of an interactive model of transport and urbanisation. This one articulates three submodels: a model of urban development which takes as a starting point the theory of the urban economic base, a model of urban structure which estimates the distribution of the locations of the residents and the induced activities. Lastly, a model of travel which expresses the market equilibrium of the urban transport obtained through the stages of generation, spatial distribution, modal split and assignment. The dynamics of long term of the model is obtained by the introduction of retroactive loops. The model brings certain lesson for the transport planning. The latter must fall under a total step and of long term, and must be considered in coherence with the urban planning
32
Lair, Pierre-Olivier. "Contribution à la modélisation, à l'analyse et à la commande des systèmes de production par une approche bond graphs." Besançon, 2000. http://www.theses.fr/2000BESA2058.
Full textAbstract:
Les travaux développés au travers de cette thèse s'inscrivent dans le cadre d'une approche continue de la modélisation, de l'analyse et de la commande des systèmes de production. Cette approche est basée sur une représentation du système à partir du formalisme bond graph en exploitant le concept des réseaux de Petri continus à vitesses variables. La modélisation est développée autour d'une approche modulaire qui vise à représenter les systèmes de production, en associant un sous modèle générique d'éléments bond graphs à chaque type d'entités. L'intérêt de modéliser ces systèmes par des éléments bond graphs standards réside dans le fait que le formalisme utilisé permet, d'une part, de préserver la notion de causalité qui est essentielle pour construire l'approche analytique et, d'autre part, d'obtenir une représentation d'état pour développer la synthèse d'une commande. . .
33
Degraeve, Patrick. "Étude d'un système de conduite d'un atelier industriel à flot unique." Lille 1, 1985. http://www.theses.fr/1985LIL10141.
Full textAbstract:
Ces travaux concernent la recherche d'un modèle et d'une méthode de conduite pour un atelier industriel de bonneterie. La problématique est d'abord définie à partir d'une présentation de la gestion de la production et du procédé physique de fabrication. Sont ainsi mis en évidence la structure d'atelier à flot unique ("flow-shop"), les contraintes et critères caractérisant le problème (notamment la gestion des effectifs). Les diverses approches du problème d'ordonnancement sont ensuite analysées. La comparaison entre les méthodes centralisées et décentralisées permet d'orienter l'étude vers une procédure interactive d'aide à la décision. Un modèle et une méthode de conduite sont ensuite proposés, sur la base d'une structure de décison à deux niveaux : le lancement orienté vers les contraintes externes (commerciales) et l'affectation des effectifs, orientée vers les contraintes internes. Une expérimentation sur micro-calculateur permet, par une simulation de l'atelier réel, de mettre en évidence les gains de performance attendus (réduction des moyenne et variance des temps de passage des lots et réduction progressive de l'en-cours).
34
Collin, Ivan. "Planification de tâches-robots pour robots mobiles en environnement structuré." Compiègne, 1995. http://www.theses.fr/1995COMPD778.
Full textAbstract:
Cette thèse, qui porte sur la planification de tâche-robot pour robots mobiles en environnements structurés, débute par une étude bibliographique approfondie de la planification. Il y est démontré que dans la grande majorité des cas, les résultats de la planification ne sont pas produits pour sécuriser et faciliter le contrôle d'exécution qui pourtant est classiquement l'interlocuteur direct du planificateur. Ces deux lacunes s'imposent des lors naturellement comme deux objectifs majeurs de cette étude. La sécurisation du contrôle d'exécution consiste tout d'abord à construire un modèle du capteur télémétrique ultrasonore, dont le véhicule est doté, basé sur celui développé par J. Crowley. Il est ensuite possible, en s'appuyant sur un modèle simple de l'environnement, de construire un principe de localisation géométrique de type erreur bornée. On dispose alors d'une quantification de l'incertitude sur la localisation du robot par une valeur numérique appelée PIC pour potentiel d'incertitude en configuration. La sécurisation proprement dite consiste alors à discrétiser l'environnement puis à appliquer l'algorithme A* de manière à produire un chemin de coût minimal au sens du PIC. Cette sécurisation réside dans le fait que lorsque le véhicule se localise bien, les risques de collision ou plus généralement d'échec de la mission sont moindres. La simplification du contrôle d'exécution s'effectue en plusieurs étapes. Dans un premier temps, une trajectoire à courbure continue (courbe de Bézier) est construite à partir d'un chemin PIC engendré par l'algorithme A*. Cette trajectoire est ensuite, dans un second temps, découpée en une séquence de sous-trajectoires, définie grâce à une méthode d'analyse de données appelée méthode des nuées dynamiques, de sorte que le véhicule, pendant son déplacement, se localise par rapport aux mêmes éléments de référence de l'environnement qui constituent ce qu'on appelle une carte locale. Une fois les cartes locales définies, chaque tâche-robot consiste en un suivi de trajectoire assurée par régulation à zéro d'une fonction de tâche. La simplification du contrôle d'exécution réside dans le fait que le véhicule n'utilise que les éléments de référence capable de lui fournir la meilleure information de localisation c'est-à-dire ceux de la carte locale. Cette étude montre également que le concept de carte locale, qui représente l'originalité et la contribution majeure de cette thèse, confère une meilleure robustesse du suivi de trajectoire par rapport aux erreurs de modélisation de l'environnement.
35
de, Paula Reis Alline. "Conception biologique complexe : Planification et modèles d'affaires. Le cas du clonage équin. Conception et planification dans les biotechnologies innovantes : le clonage équin." Thesis, Paris, AgroParisTech, 2013. http://www.theses.fr/2013AGPT0076.
Full textAbstract:
Les sciences du vivant ont connu des développements technologiques importants dans les dernières décennies. Dans les années 90 et 2000 le monde a assisté à l'apparition de plusieurs technologies a priori prometteuses telles que le clonage de mammifères, la transgénèse animale et végétale ou encore les traitements thérapeutiques par des cellules souches. La littérature spécialisée dans le domaine est riche en publications sur les aspects technico-expérimentaux de ces technologies et, malgré la difficulté technique encore apparente dans les publications, les auteurs sont optimistes quant à la réalisation de ces technologies de façon commerciale. Ces avancées technologiques se sont accompagnées de l'émergence d'une nouvelle industrie du vivant. Les entreprises de ce nouvel environnement sont rapidement reconnaissables par leur besoin intensif de connaissance, leur haut niveau de spécialisation et des compétences hautement spécialisées. Mais, malgré ce caractère innovant, et le développement d'un nouveau marché à haute valeur ajoutée, les entreprises qui se lancent sur ces activités sont fréquemment affrontées à des difficultés économiques. Nous avons souhaité analyser cette nouvelle industrie du point de vue gestionnaire afin de comprendre les difficultés de gestion rencontrées par les acteurs. La littérature académique et empirique traite peu les questions managériales de ces technologies. Généralement, chaque technologie y est traitée de façon très individualisée de façon à ce que chaque technologie soit reconnue comme une entité particulière, presque unique. Ce contexte engendre l'impossibilité d'avoir une vision unifiée et générique de ces industries. Nous avons alors proposé de concevoir un modèle générique permettant de discuter les caractéristiques managériales génériques de cette industrie. Cet effort de conceptualisation est utile dans un premier temps pour comprendre les difficultés de gestion rencontrées par les entreprises dédiées aux technologies récentes du domaine du vivant. Par la suite, le concept peut être utile pour la proposition d'améliorations managériales. La Théorie C-K a été mobilisée pour faciliter l'organisation des informations disponibles et les structurer de façon à en faire des connaissances mobilisables pour la conception du modèle générique souhaité. La collecte des informations a été réalisée à l'aide d'une étude de cas, telle que décrite par Eisenhardt (1989). Comme il existe une grande variété de technologies dans cette industrie, nous avons décidé de développer le concept à partir du cas d'une technologie spécialement touchée par les difficultés entrepreneuriales : celle du clonage équin. [...] Suite et fin du résumé dans la thèseLife sciences noticed important technological developments during the last decades. Some promising examples, developed in the 90's and 2000's, were mammals cloning, animal and vegetal transgenesis and the therapeutic stem cells. The specialized literature of the life science domain is rich on technical-experimental publications and despite the technical difficulty still present, the authors are optimistic about their commercial issue. These technological advances induced the emergence of a new life science industry where the companies are knowledge intensive and highly specialised. Despite the innovative character and the development of a new market of high added value, the companies of this sector often face economic difficulties. We analysed this recent industry under the managerial point of view aiming to understand the difficulties presented to the managers. Little concern about these problems is available in the specialised literature. In general the technologies are treated individually as an almost unique entity. Under this context it is currently impossible to develop a general overview enabling to study general aspects of this industry. In this aim we proceeded to design a generical model that could allow discussing the managerial characteristics of the industry. This designing effort was necessary to understand the general difficulties met by the companies specialised in these recent technologies. Thereafter the concept can be used to propose managerial improvements. The C-K Theory was employed to structure and translate available information in order to make them available for the design of the model. The data was collected under a case study methodology, as described by Eisenhardt (1989). The existence of a rich panel of recent technologies in this domain justifies the need to develop the concept from a unique extreme case, especially affected by managerial difficulties: the case of the equine cloning. Last and final summary in the thesis
36
Lancella, Pierre. "Méthodologie de conception des systèmes physiques de production : analyse, évaluation et spécifications." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10673.
Full textAbstract:
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
37
Kaminski-Cachopo, Anne. "Etude des étapes technologiques critiques dans la production des cellules solaires en silicium multicristallin." Lyon, INSA, 1997. http://www.theses.fr/1997ISAL0003.
Full textAbstract:
Le facteur de forme est l'un des paramètres essentiels des cellules solaires puisqu'il caractérise leur fonctionnement au point de puissance maximale. Ce paramètre dépend de la résistance série, de la résistance parallèle, du courant de la jonction et de la tension en circuit ouvert. Le but de ce travail est d'analyser ces paramètres et de déterminer ceux qui prédominent dans les cellules solaires en silicium multicristallin de grande surface élaborées par Photowatt lnt. S. A. Pour cela nous avons élaboré une caractérisation courant-tension sous obscurité pour des diodes de grandes surfaces et nous avons développé une méthode d'extraction des paramètres à partir de la courbe obtenue. Nous avons aussi adapté et utilisé la thermographie infrarouge pour localiser les zones de court-circuit dans la cellule. Deux types de procédés industriels ont été caractérisés : un procédé standard où la cellule est texturisée à la soude et un procédé en cours de développement où la cellule est texturisée à l'acide. En ce qui concerne les cellules texturisées à la soude, les paramètres qui limitent le facteur de forme sont essentiellement la résistance série mais aussi les recombinaisons en surface et dans le volume de la cellule. Dans ce cas, nous avons modélisé le comportement de la résistance série en fonction des paramètres géométriques et physiques de la cellule et nous avons défini un nouveau schéma pour la grille de métallisation. Nous avons également étudié l'influence de la présence de la jonction à l'arrière de la cellule et du nombre de points de soudure sur les lignes de collecte de la cellule. Par contre, pour les cellules en cours de développement, le paramètre limitatif est la résistance parallèle, cependant une étude comparative entre différents types d'états de surface a montré que cette texturisation permettait d'avoir de meilleures résistances sériesThe till factor of solar cells depends on series resistance, shunt resistance, diode current and open circuit voltage. The aim of this work was to analyse each of these parameters for large area multicrystalline silicon solar cells and to determine new ways of investigation for the improvement of the fill factor. We have developed two characterization techniques: dark current - voltage setup for large area junctions and infrared thermography adapted to the study of solar cells. Soda and acid texturised solar cells were studied. The limiting parameters for the first ones were series resistance, material quality and front surface recombinations. Series resistance was modelled and a new grid geometry for the front surface was proposed. The contribution to series resistance of each part of the cell was also analysed. Experiments were carried out to verify back contact ohmicity and to improve the number of soldering points. With regard to acid texturised solar cells, a compromise must be found between shunt resistance and successful chemical attack in order to conserve good values of fill factor. It was shown that series resistance depends on surface state : acid texturised solar cells present the lower ones
38
Belmansour, Ahmed-Tidjani. "Évaluation de l'efficacité de lignes de production avec machines multi-états et stocks intermédiaires." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/28247/28247.pdf.
Full text
39
Belmahdi, Noureddine. "Contribution à l'organisation du système de production pour la modélisation et son évaluation par la simulation." Metz, 1995. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1995/Belmahdi.Nour_Eddine.SMZ9531.pdf.
Full text
40
Roboam, Michel. "Modèles de références et intégration des méthodes d'analyse pour la conception des systémes de production." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10551.
Full textAbstract:
Developpement de la methode grai permettant l'etude des systemes de decision et mise en evidence de la necessite de definir des outils concernant l'aspect d'integration pour les tests de coherence et des modeles de reference de coordination et de synchronisation
41
Vacher, Blandine. "Techniques d'optimisation appliquées au pilotage de la solution GTP X-PTS pour la préparation de commandes intégrant un ASRS." Thesis, Compiègne, 2020. http://www.theses.fr/2020COMP2566.
Full textAbstract:
Les travaux présentés dans ce document portent sur des problèmes d'optimisation dans le domaine de la logistique interne des entrepôts. Le domaine est soumis à une forte concurrence et est en plein essor, poussé par les besoins croissants du marché et favorisé par l'automatisation. L'entreprise SAVOYE construit des équipements et propose sa propre solution GTP (Goods-To-Person) pour la préparation de commandes. La solution utilise un système de stockage automatisé appelé X-Picking Tray System (X-PTS) et achemine les charges automatiquement à des postes de travail via des carrousels pour effectuer des opérations séquencées. C'est un système de systèmes particulièrement complexe qui offre de nombreuses applications aux techniques de la recherche opérationnelle. Tout cela définit le périmètre applicatif et théorique des travaux menés dans cette thèse. Nous avons d'abord traité un problème d'ordonnancement de type Job Shop avec des contraintes de précédences. Le contexte particulier du problème a permis de le résoudre en un temps polynomial avec un algorithme exact. Celui-ci a permis de calculer les dates d'injection des charges provenant des différents flux de sortie du stockage pour s'agréger sur un carrousel, dans un ordre donné. Ainsi, la gestion inter-allées du stockage PTS a été améliorée et le débit du flux de charges maximisé, depuis le stockage jusqu'à un poste. Nous avons ensuite étudié des algorithmes de tri tels que le tri par base et développé un algorithme de tri en ligne, utilisé pour piloter des systèmes autonomes de tri appelés Buffers Séquenceurs (BS). Placés en amont de chaque poste de travail dans la solution GTP, les BS permettent de délocaliser la fonction de tri en aval du stockage, augmentant de facto le débit des flux de sortie. Enfin, nous avons considéré un problème de séquencement consistant à trouver une extension linéaire d'un ordre partiel minimisant une distance avec un ordre donné. Nous proposons de le résoudre par une approche de programmation linéaire en nombres entiers, par la construction de programmes dynamiques et par des heuristiques de type glouton. Une heuristique efficace a été développée en se basant sur des appels itératifs d'un des programmes dynamiques, permettant d'atteindre une solution proche ou égale à l'optimum en un temps très court. L'application de ce problème aux flux de sortie non ordonnés du stockage X-PTS permet de réaliser un pré-tri au niveau des carrousels. Les diverses solutions développées ont été validées par simulation et certaines ont été brevetées et/ou déjà été mises en application dans des entrepôtsThe work presented in this PhD thesis deals with optimization problems in the context of internal warehouse logistics. The field is subject to strong competition and extensive growth, driven by the growing needs of the market and favored by automation. SAVOYE builds warehouse storage handling equipment and offers its own GTP (Goods-To-Person) solution for order picking. The solution uses an Automated Storage and Retrieval System (ASRS) called X-Picking Tray System (X-PTS) and automatically routes loads to workstations via carousels to perform sequenced operations. It is a highly complex system of systems with many applications for operational research techniques. All this defines the applicative and theoretical scope of the work carried out in this thesis. In this thesis, we have first dealt with a specific scheduling Job Shop problem with precedence constraints. The particular context of this problem allowed us to solve it in polynomial time with exact algorithms. These algorithms made it possible to calculate the injection schedule of the loads coming from the different storage output streams to aggregate on a carousel in a given order. Thus, the inter-aisle management of the X-PTS storage was improved and the throughput of the load flow was maximized, from the storage to a station. In the sequel of this work, the radix sort LSD (Least Significant Digit) algorithm was studied and a dedicated online sorting algorithm was developed. The second one is used to drive autonomous sorting systems called Buffers Sequencers (BS), which are placed upstream of each workstation in the GTP solution. Finally, a sequencing problem was considered, consisting of finding a linear extension of a partial order minimizing a distance with a given order. An integer linear programming approach, different variants of dynamic programming and greedy algorithms were proposed to solve it. An efficient heuristic was developed based on iterative calls of dynamic programming routines, allowing to reach a solution close or equal to the optimum in a very short time. The application of this problem to the unordered output streams of X-PTS storage allows pre-sorting at the carousel level. The various solutions developed have been validated by simulation and some have been patented and/or already implemented in warehouses
42
Fagegaltier, Laurent. "Planification multichemin pour les déplacements d'un véhicule tout-terrain." Montpellier 2, 1994. http://www.theses.fr/1994MON20027.
Full textAbstract:
Ce memoire de these traite la planification robuste et adaptative des deplacements d'un robot mobile sur terrain inegal. L'objectif est de fournir au systeme de navigation un ensemble de chemins et de lois de vitesse, pour permettre la modification rapide eventuelle du plan en cas de variations imprevues et importantes des parametres du vehicule et du terrain. Tout d'abord, le reseau des routes possibles est issu d'une representation discrete du terrain, et on lui associe un graphe des changements d'etats. Ensuite, la vitesse de progression est calculee a partir des caracteristiques du vehicule de type electrique (courbe couple/vitesse, puissance maximale, masse) et de celles du relief (pente, coefficient de frottement vehicule/sol). Les algorithmes presentes dans la these sont alors capables de trouver dans le graphe ainsi value plusieurs chemins de couts voisins. Ces algorithmes constituent des extensions de la recherche informee epsilon-admissible, classique en intelligence artificielle mais mal adaptee a une recherche multichemins. La rapidite du calcul et le nombre de chemins sont des objectifs concurrents que chacun des algorithmes tente de realiser differemment. La ressemblance entre les differents chemins et leur degre de ramification permettent enfin de les organiser en familles de solutions geographiquement voisines. Ceci facilite la reactivite du systeme de controle-commande, c'est-a-dire sa capacite a modifier le plan prevu initialement, en cas de degradation importante de l'environnement. Des resultats de simulation, utilisant comme critere le temps minimum, demontrent les qualites des algorithmes developpes
43
BASTIE, CHRISTINE. "Integration de la planification et du suivi d'execution d'actions paralleles : le systeme speedy." Toulouse 3, 1997. http://www.theses.fr/1997TOU30200.
Full textAbstract:
Cette these decrit la realisation d'un systeme general de planification et d'execution dont le but est de piloter un agent autonome dans un univers dynamique. Nous proposons pour cela une methode originale d'entrelacement de la planification lineaire et de l'execution parallele d'actions. Nous decrivons le fonctionnement de speedy (systeme de planification et d'execution en environnement dynamique) qui est la mise en uvre de cette approche. Pour que speedy puisse s'adapter a la dynamique de l'environnement, nous avons plus particulierement etudie le processus de suivi d'execution pour lequel nous proposons des algorithmes originaux. Notre these comporte trois parties : ? la premiere partie presente les differents problemes lies a la forte dependance entre la planification et l'execution. Elle se poursuit par une classification des systemes qui ont aborde ces problemes. ? la deuxieme partie expose notre methode. Nous donnons les specifications completes et expliquons le fonctionnement de speedy (en utilisant le formalisme sart) et des trois processus principaux qui le composent : planification lineaire, recherche des actions executables en parallele et suivi d'execution. ? enfin, la troisieme partie detaille le fonctionnement du processus de suivi d'execution : detection et classification des anomalies, puis fonctionnement des politiques, strategies et tactiques de reprise d'execution.
44
Getan, Cabre Enrique. "Une contribution à la productique : modélisation de données pour la maintenance intégrée des systèmes automatisés de production." Châtenay-Malabry, Ecole centrale de Paris, 1994. http://www.theses.fr/1994ECAP0374.
Full textAbstract:
L'objet de cette thèse est d'établir un Modèle Conceptuel de Données ou MCD pour la Maintenance Intégrée des Systèmes Automatisés de Production ou SAP. L'étude réalisée s'inscrit dans la continuité du projet Base-PTA, aujourd'hui Norme Françaises (NF Z 68901) traitant de la représentation des systèmes de contrôle et de commande des SAP. Au cours de ce travail de recherche nous nous sommes plus particulièrement intéressés à la situation actuelle de la maintenance des SAP ; les méthodes de conception et de réalisation d'un MCD ; l'apport de Base-PTA en période d'exploitation pour développer la réactivité de la maintenance des SAP par la réutilisation des données de conception ; les concepts existants et innovateurs pour la maintenance des SAP ; la modélisation des données et la validation du modèle de référence proposé. Le travail effectué se base sur le principe de l'intégration par les données et a débouché sur les résultats suivants l'identification des besoins pour la maintenance des SAP ; la proposition d'une méthode de modélisation conceptuelle ; la définition d'un modèle conceptuel de données de référence pour la maintenance intégrée des SAP ; un ensemble d'expérimentations destinées à vérifier le modèle proposé. Ces travaux ont permis de mieux situer la problématique de la maintenance des SAP et la solution proposée est un modèle de données cohérent, pertinent et intégré.
45
Barkaoui, Mohamed. "Approche évolutionnaire pour la planification d'itinéraires dans un environnement dynamique." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27074/27074.pdf.
Full text
46
Acosta-Tamayo, Oscar Dario. "De la navigation exploratoire virtuelle à la planification d'interventions endovasculaires." Rennes 1, 2004. https://tel.archives-ouvertes.fr/tel-00007555v2.
Full textAbstract:
Dans le cadre général des interventions assistées par ordinateur, nos travaux, abordés essentiellement en terme d'imagerie virtuelle, se sont focalisés sur la phase préopératoire (analyse, modélisation, simulation) dans un objectif de planification réaliste de traitements mini-invasifs de lésions vasculaires (angioplastie transluminale, pose d'endoprothèse aortique, brachythérapie endovasculaire). De nouvelles fonctionnalités d'analyse locale et de description géométrique associées à un capteur virtuel sont proposées. A l'issue de cette exploration virtuelle analytique des données patient (imagerie TDM), la description géométrique de structures complexes ainsi que la détermination de paramètres caractérisant les structures vasculaires sont envisagées au regard du planning interventionnel et évaluées sur modèle animal et sur données patient. Une première approche de simulation spécifique patient d'interactions outils / tissus en angioplastie transluminale est finalement proposée.
47
El, Ouazzani Redouan Chahdi. "Modélisation et analyse des performances des systèmes de production utilisant des stocks tampons à capacités finies." Doctoral thesis, Université Laval, 2007. http://hdl.handle.net/20.500.11794/19025.
Full text
48
Mazigh, Belhassen. "Modélisation et évaluation des systèmes de production par les réseaux de Pétri stochastiques généralisés." Mulhouse, 1994. http://www.theses.fr/1994MULH0310.
Full textAbstract:
Dans cette thèse nous montrons les capacités des RdPSG à modéliser et à évaluer les performances et les grandeurs de la sûreté de fonctionnement des systèmes de production sujets à des pannes et réparables. Nous montrons que les RdPSG permettent au concepteur d'évaluer et de comparer différentes architectures et politiques avec une grande aisance et rapidité. Plusieurs grandeurs peuvent être utilisées pour évaluer les performances d'une structure donnée. La disponibilité et le MTBF sont les mesures les plus intéressantes pour comparer différentes stratégies de la sûreté de fonctionnement. Le facteur coût peut être inclus dans l'évaluation (coût de l'installation, de sa mise en marche, des réparations, de l'entretien, etc. ). Dans le cas des systèmes de production complexes, on utilise une méthode d'agrégation basée sur la théorie du modèle équivalent. Cette technique a été validée sur un exemple industriel (chaîne de production de porte de voiture). Une bibliothèque formée par des modules de base a été créée. Un outil d'aide à l'évaluation des systèmes de production, utilisant ces modules, a été développé dans le but de faciliter la modélisation et accélérer l'évaluation
49
Guillard, Stephane. "Modélisation et stratégies auto-organisatrices pour les ateliers de production modernes." Lyon, INSA, 1992. http://www.theses.fr/1992ISAL0012.
Full textAbstract:
Les contraintes de marché pesant sur les entreprises de production manufacturière aujourd'hui poussent ces dernières, enquête de réactivité, à se tourner vers des organisations nouvelles, tant pour les systèmes de production que pour leurs méthodes de pilotage ; nous proposons un modèle capable de représenter précisément la partie physique et la partie commande de certaines de ces nouvelles organisations, tournées vers le pilotage dynamique. Nous proposons, en nous appuyant sur ce modèle, l'introduction à plusieurs niveaux d'une politique de répartition de la décision, dérivée de techniques informatiques dont le connexionnisme. Cette politique vise à harmoniser les flux de pièces par une gestion dynamique des priorités, à introduire une coopération dans les décisions prises au niveau de l'atelier, et à adapter certaines heuristiques du pilotage à la charge de travail en temps réel. Le résultat visé est d'améliorer la réactivité du système de production face aux perturbations et aux exigences en termes de gestion de productionThe market constraints which are put on manufacturing enterprises make those enterprises seek new organizations, for production systems as well as for their command and control methods. We propose a model in which we can accurately represent the physical and the command parts of such new organizations, aimed at dynamical command and control. We propose, at various levels in this model, the introduction of a distributed decision policy, based on computer sciences techniques, such as connectionism. This policy is aimed at smoothing the parts flow through : - a dynamic priority management system - cooperation for the shop-level decision system - auto-adaptation for certain heuristics in the workshop control system. The goals are mainly the increase of the production system reactivity towards unplanned events and production management system constraints
50
Bettinger, Régis. "Inversion d'un système par krigeage : application à la synthèse de catalyseurs à haut débit." Nice, 2009. https://tel.archives-ouvertes.fr/tel-00460162.
Full textAbstract:
Ce travail concerne la modélisation du processus de synthèse (construction) de supports de catalyseurs obtenus par réaction silice-alumine. Ce phénomène est caractérisé par 5 variables d'entrée et 2 variables de sortie (la surface spécifique et le volume mésoporeux du support de catalyseur). Chaque combinaison des valeurs de sortie ayant une application potentielle, on voudrait savoir en synthétiser le plus grand nombre, c'est-à-dire connaître les variables d'entrée permettant de construire un catalyseur ayant des caractéristiques données (surface, volume) a priori quelconques. Les limites atteignables des deux sorties du système sont inconnues. Ne disposant pas de suffisamment d'essais pour pouvoir espérer construire un modèle fiable sur l'ensemble du domaine de variation des variables d'entrée, nous choisissons une approche par plans d'expérience séquentiels avec modélisation par krigeage permettant d'éviter une trop grande dispersion des variables d'entrée tout en assurant une exploration du domaine accessible pour les variables de sortie. Les essais sont choisis séquentiellement en se servant de l'information apportée par les essais précédents et traitée par le modèle de krigeage. Cette façon de procéder est a priori plus efficace que celle consistant à utiliser un plan d'expériences fixé au départ et comprenant la totalité des essais disponibles. Des critères d'ajout séquentiel de points d'expérimentation (définissant les valeurs des variables d'entrée) sont proposés, qui favorisent une forte dispersion des sorties correspondantes et prennent en compte les incertitudes associées aux prédictions par krigeage. Enfin, les critères retenus, l'un à base de distance et l'autre à base d'entropie, sont testés sur des données simulées afin de vérifier la bonne répartition finale des valeurs des réponses. Des rappels sur la modélisation par processus gaussien, la régression/interpolation par krigeage et ses liens avec les méthodes de type splines et SVM, ainsi que la planification d'expériences sont présentés en essayant de concilier rigueur et clartéThis work deals with the modeling of the synthesis process for catalyst supports obtained by a chemical reaction involving silica and alumina. The process is characterized by 5 inputs and 2 outputs (specific surface and mesoporous volume of the support). Each pair of output values has a potential application and the ultimate objective is to be able to find input values associated with the synthesis of a catalyst with any given output characteristics (surface, volume). The ranges of the two outputs are unknown. The number of runs available is too small to build a satisfactory model over the whole input domain. We thus combine design of experiments and kriging modeling in a way that ensures both a limited dispersion of the input factors and a good exploration of the reachable output domain. The runs are designed sequentially, using the information provided by former runs through their associated kriging model. This sequential construction seems more efficient than the design of a non-sequential experiment containing the total amount of available runs. Several criteria are proposed for sequential design which favor a high dispersion of the corresponding outputs and take the uncertainties associated with the kriging model into account. The two most appealing are tested on simulated data in order to check the dispersion of outputs; one is based on minimax distance and the other on entropy. Basic properties of Gaussian processes, regression/interpolation by kriging and links with other methods such as splines and SVMs are reminded, together with standard methods for designing experiments, with the objective of combining rigor and clarity