Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 189-193.

Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 185-192.

Reproduction de : Thèse d'Etat : sciences mathématiques : Grenoble 1 : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 199-209.

Reproduction de : Thèse de doctorat : Mathématique appliquées : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre.

Zugl.: Regensburg, Univ., Diss., 2009

Th. doct.--Math.--Nice, 1993. / Bibliogr. p. 109-110. Résumé en français et en anglais. 1995 d'après la déclaration de dépôt légal.

Konstanz, FH, Diplomarb., 2003.

Zugl.: Bremen, Univ., Diss., 2010

För att öka lönsamheten hos ett tillverkande företag är det viktigt att ha optimala tillverkningskvantiteter så att resurserna utnyttjas optimalt. Hur ett tillverkande företag utnyttjar produktionen påverkar effektiviteten i produktionssystemet, lagret och hos personalen. Syftet med denna studie är att hitta en metod för att optimera tillverkningskvantiteter så att kostnaden per produkt blir så låg som möjligt. I denna studie har vi använt oss av företagets distributör i Indien som ett exempel för hur en manuell produktion ser ut i dagslägen och jämför hur kostnaderna skulle se ut om denna produktion skulle ske maskinellt. Arbetet är en fallstudie där tillverkningskvantiteter analyseras. Både kvalitativ och kvantitativ forskning har bedrivits för att få en djupare förståelse av problemet. I arbetet ingår bland annat teorier som rör lager, partiformning och kostnader som rör tillverkning och orderhantering. Ett antal observationer och intervjuer har utförts för att för att få en djupare inblick i tillverkning och hantering av produkter hos företag. Empirisk data som nämns är beskrivningar av företagets produktionssystem och lager. Denna studie resulterar i att ”företag” bör använda partiformningsmetoden "Ekonomisk orderkvantitet" för optimering av tillverkningskvantiteter. Metoden går ut på att balansera ordersärkostnader och lagerhållningskostnader. Är dessa kostnader likvärdiga uppnås den mest kostnadseffektiva tillverkningskvantiteten. Studien har resulterat i en lathund där den mest optimala tillverkningskvantiteten presenteras beroende på produktefterfrågan per år. En analys av distributören Indiens order resulterar i att ”företag” bör producera ordrar likt Indiens beställningar maskinellt istället för omarbetning manuellt vilket sker i dagsläget. Redan vid en tillverkningskvantitet på 120 produkter är maskinell bearbetning mest kostnadseffektivt jämfört med en manuell ombearbetning.

Ce travail de thèse s'est intéressé à la validité des modèles de simulation dans le cadre du développement des systèmes complexes et critiques. Une analyse de l'approche d'ingénierie système, et plus particulièrement de l'aspect modélisation et simulation, a permis de constater qu'il est impossible d'établir de façon directe la validité du modèle de simulation. De nombreux points sont à l'origine de cette impossibilité, comme une mauvaise formulation des objectifs de simulation, une incohérence implémentatoire, les limites du moteur de simulation, etc. La validité d'un modèle de simulation étant définie pour un objectif de simulation, il est apparu important de proposer une approche globale de la M&S, associant un ensemble d'outils capables de détecter des incohérences entre les objectifs de simulation et les modèles du système d'intérêt. Ces outils, à destination de l'utilisateur de la simulation, permettent l'amélioration du niveau de confiance dans le modèle de simulation et donc dans les résultats de simulation. Notre étude se base sur la théorie de la M&S telle que proposée par B.P. Zeigler. En considérant le concept de cadre expérimental qui y est introduit, nous avons pu proposer un cadre méthodologique capable d'exprimer les objectifs de simulation de manière claire. Ce cadre méthodologique nous permet d'étudier les problématiques d'application et d'accommodation de la M& S que nous regroupons sous la problématique de compatibilité. Ainsi, notre premier objectif a été de proposer une approche capable de mesurer l'incohérence entre les objectifs de simulation et le modèle du système. En s'appuyant sur les méthodes formelles et la théorie des automates, nous avons établi un ensemble de métriques capables de mesurer le degré de compatibilité dynamique entre cadre expérimental et modèle du système d'intérêt. Pour cela, nous étudions en premier lieu la compatibilité dynamique entre automates à interface en utilisant la décomposition en arbre. Montrant les limites d'une telle approche, nous sommes passé à l'étude de la compatibilité entre modèles DEVS en utilisant la génération de graphes de classe, autrement appelés graphes d'atteignabilité. Cette étude formelle de la compatibilité nous permet de proposer un ensemble de bonnes propriétés de la simulation. Nous proposons finalement une méthodologie qui permet de guider l'utilisateur de la simulation dans l'élaboration de métriques permettant de mesurer ce niveau de compatibilité. S'appuyant sur les concepts de l'ingénierie dirigée par les modèles, nous proposons un langage dédié à la simulation permettant de guider l'utilisateur de la simulation dans l'évaluation de la validité des modèles de simulation. / This work is focused on the validity of simulation models during development of complex and critical systems. The analysis of the system engineering approach and, especially the modeling and simulation aspect, showed that it was impossible to directly determine simulation models validity. Many aspects can cause this unattainability, such as bad formulation of simulation objectives, implementation inconsistency, limits of the simulation engine, etc. The validity of a simulation model being defined for a specific simulation goal, it seemed important to provide a global M&S approach, combining a set of tools to detect inconsistencies between objectives and models of the system under test. These tools, dedicated to the simulation user, allow to improve confidence level of the simulation model and thus in simulation results. Our study is based on the M& S theory as proposed by B.P. Zeigler. Using the concept of experimental frame, we are able to propose a methodological framework to express simulation objectives clearly. This allows us to study applicability and accommodation, witch we grouped under compatibility issue. Thus, our first objective was to propose an approach able to measure inconsistencies between experimental frame and model of the system. Based on formal methods and automata theory, we propose a set of metrics that measure the degree of dynamic compatibility between experimental frame and model system of interest. For this, we firstly study the dynamic compatibility between interface automata using tree decomposition. Showing limits of this approach, we studied compatibility between DEVS models using reachability graphs analysis. This formal study of the compatibility help us to propose a set of good properties of the simulation. Finally, we propose a methodology to guide the simulation user in metrics development to measure the compatibility level. Based on model-driven engineering approach, we propose a simulation dedicated language, to help users to asses the validity of simulation models.