Log in

Relevant bibliographies by topics / Conformité de Modèles / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Conformité de Modèles.

Dissertations / Theses on the topic 'Conformité de Modèles'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 33 dissertations / theses for your research on the topic 'Conformité de Modèles.'

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

Yurchyshyna, Anastasiya. "Modélisation du contrôle de conformité en construction : une approche ontologique." Nice, 2009. http://www.theses.fr/2009NICE4011.

Full text

Abstract:

Dans le cadre de notre thèse, nous nous sommes intéressés à la modélisation du contrôle de conformité dans le domaine de la construction. Notre objectif principal a été de développer un modèle du contrôle de conformité d’un projet de construction relativement à un cadre réglementaire ou normatif traduit sous forme des contraintes de conformité. Nous proposons une formalisation des projets et des contraintes de conformité et des mécanismes de raisonnement permettant d’automatiser le processus de contrôle de conformité, en identifiant les causes éventuelles de non-conformité, et nous développons

APA, Harvard, Vancouver, ISO, and other styles

2

Gringoz, Florian. "Prédiction de la conformité géométrique d'assemblages aéronautiques." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASN012.

Full text

Abstract:

La géométrie d'un assemblage est définie au travers de la géométrie de ses composants décrite dans la configuration nominale du produit, c'est à dire que les composants sont sans défauts et leurs positions relatives exactes. Dans la réalité, les géométries effectives des composants présentent des défauts géométriques, et leurs situations relatives ne sont pas exactes. Le travail doctoral consiste à prédire la conformité géométrique d'un assemblage aéronautique à partir des géométries de ses composants. A partir de la connaissance de la géométrie des composants avec défauts, une seconde étape v

APA, Harvard, Vancouver, ISO, and other styles

3

Choukri, Karim. "Un formalisme pour les tests statistiques de conformité de modèles pour des séries chronologiques : application à la détection de changements de modèles." Ecole Nationale Supérieure des Télécommunications(Paris), 1994. http://www.theses.fr/1994ENST0027.

Full text

Abstract:

L'analyse des séries chronologiques et l'identification des systèmes nécessitent la détermination d'un modèle paramétrique d'inférence. Ce choix est donc d'une importance cruciale. Une structure de modèles inappropriée (ou sur paramétrisée) peut conduire a une complexité de calcul non nécessaire pour l'estimation de ses paramètres. A l'opposé, une structure de modèles sous-paramètrisée peut produire des résultats non significatifs. Le but principal de notre travail, est d'élaborer une méthodologie statistique générale qui puisse être utilisée pour la validation de structures de modèles les plu

APA, Harvard, Vancouver, ISO, and other styles

4

Lestiennes, Grégory. "Contributions au test de logiciel basé sur des spécifications formelles." Paris 11, 2005. http://www.theses.fr/2005PA112164.

Full text

Abstract:

Dans cette thèse, nous nous intéressons au test de conformité qui vise à vérifier que l'implémentation d'un système satisfait à sa spécification selon une relation de conformité entre le modèle de la spécification et celui de l'implémentation. Nous avons défini le modèle RIOLTS signifiant Restrictive Input/Output Labeled Transition System et la relation de conformité rioco pour Restrictive Input/Output COnformance dont la spécificité est de permettre la description de systèmes dont certaines entrées sont interdites dans certains états. Dans la seconde partie de cette thèse nous nous intéresson

APA, Harvard, Vancouver, ISO, and other styles

5

Chédor, Sébastien. "Diagnostic, opacité et test de conformité pour des systèmes récursifs." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-00980800.

Full text

Abstract:

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur

APA, Harvard, Vancouver, ISO, and other styles

6

Guignard, Anaïs. "Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée." Thesis, Cachan, Ecole normale supérieure, 2014. http://www.theses.fr/2014DENS0050/document.

Full text

Abstract:

Les travaux présentés dans ce mémoire de thèse s'intéressent à la validation fonctionnelle de contrôleurs logiques par des techniques de test de conformité et de validation en boucle fermée. Le modèle de spécification est décrit dans le langage industriel Grafcet et le contrôleur logique est supposé être un automate programmable industriel (API) mono-tâche. Afin de contribuer à ces techniques de validation fonctionnelle, ces travaux présentent : - Une extension d'une méthode de formalisation du Grafcet par traduction sous la forme d'une machine de Mealy. Cette extension permet de produire un m

APA, Harvard, Vancouver, ISO, and other styles

7

Ahmad, Abbas. "Model-Based Testing for IoT Systems : Methods and tools." Thesis, Bourgogne Franche-Comté, 2018. http://www.theses.fr/2018UBFCD008/document.

Full text

Abstract:

L'internet des objets (IoT) est aujourd'hui un moyen d'innovation et de transformation pour de nombreuses entreprises. Les applications s'étendent à un grand nombre de domaines, tels que les villes intelligentes, les maisons intelligentes, la santé, etc. Le Groupe Gartner estime à 21 milliards le nombre d'objets connectés d'ici 2020. Le grand nombre d'objets connectés introduit des problèmes, tels que la conformité et l'interopérabilité en raison de l'hétérogénéité des protocoles de communication et de l'absence d'une norme mondialement acceptée. Le grand nombre d'utilisations introduit des pr

APA, Harvard, Vancouver, ISO, and other styles

8

Boltenhagen, Mathilde. "Process Instance Clustering Based on Conformance Checking Artefacts." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG060.

Full text

Abstract:

Les données d'événements devenant une source d'information omniprésente, les techniques d'analyse de données représentent une opportunité sans précédent pour étudier et réagir aux processus qui génèrent ces données. Le Process Mining est un domaine émergent qui comble le fossé entre les techniques d'analyse de données, comme le Data Mining, et les techniques de management des entreprises, à savoir, le Business Process Management. L'une des bases fondamentales du Process Mining est la découverte de modèles de processus formels tels que les réseaux de Petri ou les modèles BPMN qui tentent de don

APA, Harvard, Vancouver, ISO, and other styles

9

Luong, Hong-Viet. "Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00527631.

Full text

Abstract:

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir

APA, Harvard, Vancouver, ISO, and other styles

10

Durand, William. "Automated test generation for production systems with a model-based testing approach." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22691/document.

Full text

Abstract:

Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâc

APA, Harvard, Vancouver, ISO, and other styles

11

Bauthian, Isabelle. "Dynamiques spatiales des espèces d'intérêt cynégénétique : l' apport des modèles de dynamique des populations." Paris 6, 2005. http://www.theses.fr/2005PA066378.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Poncelet, Sanchez Clément. "Model-based testing real-time and interactive music systems." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066548/document.

Full text

Abstract:

Est-il possible de tester automatiquement le comportement temporisé des systèmes interactifs temps réel ? Ces travaux proposent une solution en fournissant un ensemble d’outils de test basé sur modèles pour Systèmes Musicaux Interactifs (SMI). Les SMIs doivent calculer et réagir pendant une performance musicale et ainsi accompagner les musiciens. Certains de ces SMIs peuvent être basés sur partition et doivent, dans ce cas, suivre à tout prix les contraintes temporelles imposées par le document haut-niveau appelé partition. En somme, pendant une performance, le système doit réagir en temps rée

APA, Harvard, Vancouver, ISO, and other styles

13

Dahman, Karim. "Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles." Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0241.

Full text

Abstract:

La plupart des entreprises évoluent dans des marchés concurrentiels en adaptant rapidement leurs processus métiers. Leur performance dépend de leur capacité à utiliser des techniques d'amélioration continue de leur organisation par la mise au point de Systèmes Informatiques (SI) durables pour l'automatisation des processus. En ce sens, les architectures orientées services (Service Oriented Architectures) ont permis le développement de SI flexibles avec un style d'architecture prédominant de composition de services. Cependant, l'alignement de ces architectures aux impératifs de l'évolution des

APA, Harvard, Vancouver, ISO, and other styles

14

Dao, Thi Hong Phu. "Modèle technique de contrôle externe de la conformité aux normes IFRS (IFRS enforcement)." Angers, 2006. http://www.theses.fr/2006ANGE0011.

Full text

Abstract:

L’adoption obligatoire des normes IFRS en Europe vise à améliorer la fiabilité et la comparabilité de l’information financière des sociétés cotées. Cependant, un tel objectif ne peut pas être atteint seulement en exigeant des sociétés d’adopter un référentiel comptable commun de qualité, mais aussi en surveillant l’application de celui-ci. S’il existe un certain nombre de travaux sur la surveillance des normes comptables en général et des IFRS en particulier, à notre connaissance, peu de recherches ont été menées sur les aspects techniques de vérification de la conformité à celles-ci. L’object

APA, Harvard, Vancouver, ISO, and other styles

15

Krichen, Moez. "Test de systèmes temps-réel à base de modèle." Grenoble 1, 2007. http://www.theses.fr/2007GRE10294.

Full text

Abstract:

Nous sommes interesses par le test de systemes temps-reels a base de modele. Plus precisement, nous etudions deux classes de problemes, a savoir: (1) les problemes d'identification d'etat (II) le test de conformite en boite noire. Pour les problemes d'identification d'etat, nous disposons du modele de la machine dont nous ignorons l'etat initial et nous cherchons une experience a appliquer sur cette machine afin d'identifier l'etat initial inconnu ou l'etat final vers lequel la machine a evolue suite a cette experience. Pour le test de conformite, nous disposons du modele de la machine et nous

APA, Harvard, Vancouver, ISO, and other styles

16

Merland, Romain. "Génération de grilles de type volumes finis : adaptation à un modèle structural, pétrophysique et dynamique." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0037/document.

Full text

Abstract:

Cet ouvrage aborde la génération de grilles de Voronoï sous contrainte pour réduire les erreurs liées à la géométrie des cellules lors de la simulation réservoir. Les points de Voronoï sont optimisés en minimisant des fonctions objectif correspondant à différentes contraintes géométriques. L'originalité de cette approche est de pouvoir combiner les contraintes simultanément : - la qualité des cellules, en plaçant les points de Voronoï aux barycentres des cellules ; - le raffinement local, en fonction d'un champ de densité [rho], correspondant à la perméabilité, la vitesse ou la vorticité ; - l

APA, Harvard, Vancouver, ISO, and other styles

17

Poncelet, Sanchez Clément. "Model-based testing real-time and interactive music systems." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066548.

Full text

Abstract:

Est-il possible de tester automatiquement le comportement temporisé des systèmes interactifs temps réel ? Ces travaux proposent une solution en fournissant un ensemble d’outils de test basé sur modèles pour Systèmes Musicaux Interactifs (SMI). Les SMIs doivent calculer et réagir pendant une performance musicale et ainsi accompagner les musiciens. Certains de ces SMIs peuvent être basés sur partition et doivent, dans ce cas, suivre à tout prix les contraintes temporelles imposées par le document haut-niveau appelé partition. En somme, pendant une performance, le système doit réagir en temps rée

APA, Harvard, Vancouver, ISO, and other styles

18

Ozanne, Alain. "Interact : un modèle général de contrat pour la garantie des assemblages de composants et services." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2007. http://tel.archives-ouvertes.fr/tel-00292148.

Full text

Abstract:

Pour satisfaire aux nouveaux besoins de flexibilité, modularité, d'adaptabilité et de distribution des applications, les paradigmes composants et services ont été déclinés dans des frameworks reconnus comme J2EE, OSGI, SCA ou encore Fractal. Néanmoins, ceux-ci offrent peu d'outils permettant de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications des participants. Dans cette thèse, j'envisage l'organisation de la vérification des assemblages, et le diagnostic des défaillances, sous l'angle de l'approche par contra

APA, Harvard, Vancouver, ISO, and other styles

19

Dahman, Karim. "Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles." Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00785771.

Full text

Abstract:

La plupart des entreprises évoluent dans des marchés concurrentiels en adaptant rapidement leurs processus métiers. Leur performance dépend de leur capacité à utiliser des techniques d'amélioration continue de leur organisation par la mise au point de Systèmes Informatiques (SI) durables pour l'automatisation des processus. En ce sens, les architectures orientées services (Service Oriented Architectures) ont permis le développement de SI flexibles avec un style d'architecture prédominant de composition de services. Cependant, l'alignement de ces architectures aux impératifs de l'évolution des

APA, Harvard, Vancouver, ISO, and other styles

20

Zahi, Koua. "Le socialisme au Bénin et au Congo : son degré de conformité au modèle du socialisme scientifique." Paris 10, 1985. http://www.theses.fr/1985PA100029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Provost, Julien, and Julien Provost. "Test de conformité de contrôleurs logiques spécifiés en grafcet." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2011. http://tel.archives-ouvertes.fr/tel-00654047.

Full text

Abstract:

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API). Afin de valider la mise en œuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés prop

APA, Harvard, Vancouver, ISO, and other styles

22

Provost, Julien. "Test de conformité de contrôleurs logiques spécifiés en grafcet." Thesis, Cachan, Ecole normale supérieure, 2011. http://www.theses.fr/2011DENS0029/document.

Full text

Abstract:

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API). Afin de valider la mise en œuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés prop

APA, Harvard, Vancouver, ISO, and other styles

23

Chevrier, Christophe. "Test de conformité de protocoles de communication modèle de fautes et génération automatique de séquences de tests." Bordeaux 1, 1996. http://www.theses.fr/1996BOR10503.

Full text

Abstract:

Une preoccupation majeure dans le domaine des reseaux et systemes repartis est le test. Nous nous sommes interesses au test de conformite qui a pour but de verifier si une implantation est conforme a une specification de protocole donnee. Nous avons elabore des methodes permettant de repondre aux questions fondamentales du test de conformite: comment generer et selectionner des cas de test ? quelle est la couverture d'une suite de test ? la methode de generation proposee utilise la theorie des langages formels et en particulier la theorie du monoide. Les specifications sont representees par de

APA, Harvard, Vancouver, ISO, and other styles

24

Meysembourg-Männlein, Marie Laurence. "Modèle et langage à objets pour la programmation d'applications réparties." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00333509.

Full text

Abstract:

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la program

APA, Harvard, Vancouver, ISO, and other styles

25

Marsso, Lina. "Etude de génération de tests à partir d'un modèle pour les systèmes GALS." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM078.

Full text

Abstract:

Cette thèse porte sur la génération de tests à partir d’un modèle pour les systèmes GALS (Globalement Asynchrones et Localement Synchrones). La combinaison des aspects synchrones et asynchrones en font des systèmes complexes, imposant de recourir à de nouvelles méthodes d’analyse. Pour faire face à cette complexité, nous explorons trois directions : (1) techniques pour les composants synchrones ; (2) techniques pour les protocoles de communication entre les composants ; et (3) techniques pour des systèmes GALS complets, combinant les résultats des deux directions précédentes.Dans la première d

APA, Harvard, Vancouver, ISO, and other styles

26

Fettah, Amal. "Analyse de modèles en mécanique des fluides compressibles." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4755.

Full text

Abstract:

Dans cette thèse on s'est intéressé à l'étude de problèmes concernant la théorie des écoulements compressibles. Dans une première partie on a traité le problème de transport instationnaire avec un champ de vitesse peu régulier, on a établi un résultat d'existence en passant à la limite sur des schémas numériques volumes finis avec un choix décentré amont qui garantie la positivité de la masse volumique. Pour le problème de Stokes, le résultat est démontré par deux approches : une approche par schéma numérique et une approche par régularité visqueuse.Dans la première méthode on propose une disc

APA, Harvard, Vancouver, ISO, and other styles

27

Lefranc, Guénolé. "Apports de l'analyse de la conformité réglementaire, de l'analyse des risques professionnels et de l'évaluation du climat de sécurité à la construction de la culture de sécurité." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2012. http://pastel.archives-ouvertes.fr/pastel-00797030.

Full text

Abstract:

La culture de sécurité s'impose à l'agenda des entreprises. Cette notion n'est pas nouvelle puisque le terme est apparu dès la fin des années 80 suite à l'accident de Tchernobyl. L'existence d'une culture de sûreté défaillante a été la principale cause expliquant la catastrophe.L'usage du terme s'est très largement répandu et les définitions sont nombreuses. En croisant différents travaux, trois grands facteurs explicatifs se révèlent prédominants dans la culture de sécurité : les facteurs " organisationnel ", " comportemental " et " psychologique ".L'objectif de ce travail de thèse est de con

APA, Harvard, Vancouver, ISO, and other styles

28

Lefranc, Guénolé. "Apports de l’analyse de la conformité réglementaire, de l’analyse des risques professionnels et de l'évaluation du climat de sécurité à la construction de la culture de sécurité." Thesis, Paris, ENMP, 2012. http://www.theses.fr/2012ENMP0044/document.

Full text

Abstract:

La culture de sécurité s'impose à l'agenda des entreprises. Cette notion n'est pas nouvelle puisque le terme est apparu dès la fin des années 80 suite à l'accident de Tchernobyl. L'existence d'une culture de sûreté défaillante a été la principale cause expliquant la catastrophe.L'usage du terme s'est très largement répandu et les définitions sont nombreuses. En croisant différents travaux, trois grands facteurs explicatifs se révèlent prédominants dans la culture de sécurité : les facteurs « organisationnel », « comportemental » et « psychologique ».L'objectif de ce travail de thèse est de con

APA, Harvard, Vancouver, ISO, and other styles

29

Wangermez, Maxence. "Méthode de couplage surfacique pour modèles non-compatibles de matériaux hétérogènes : approche micro-macro et implémentation non-intrusive." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASN001.

Full text

Abstract:

Un des objectifs prioritaires des industries aéronautiques est la réduction de la masse des structures, tout en permettant l'amélioration de leurs performances. Ceci passe notamment par l'utilisation de matériaux composites et le recours croissant à la simulation numérique, permettant la minimisation du nombre d'essais physiques et l'optimisation des structures.L'enjeu de ces travaux est de pouvoir calculer précisément, sur des matériaux architecturés, l'influence de la microstructure, modélisée par exemple directement par tomographie, sur la tenue de pièces complètes. Pour prendre en compte à

APA, Harvard, Vancouver, ISO, and other styles

30

Tshibanda, Kabumana Dieudonne. "Contribution à la recherche d'un modèle de gestion d'un passif envronnemental issu d'un traitement métallurgique des minerais sulfurés cuivre zinc en République Démocratique du Congo." Doctoral thesis, Universite Libre de Bruxelles, 2012. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209618.

Full text

Abstract:

Ce travail traite d’un problème de pollution liée à la présence de métaux de base dans des passifs environnementaux issus d’un traitement métallurgique des minerais sulfureux cuivre – zinc provenant de la mine de Kipushi en République Démocratique du Congo. L’objectif principal de ce travail a été d’arriver à proposer des scénarios de gestion durable au passif environnemental de la filière présentant les risques environnementaux les plus élevés. Pour cela, on a d’abord procédé à une identification des différents problèmes environnementaux tout au long de la filière de traitement sur les quatre

APA, Harvard, Vancouver, ISO, and other styles

31

Lacroix, Benoît. "Normer pour mieux varier ? : la différenciation comportementale par les normes, et son application au trafic dans les simulateurs de conduite." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00835831.

Full text

Abstract:

Les simulateurs de conduite sont utilisées par l'industrie automobile pour le développement de systèmes d'aide à la conduite, des études d'ergonomie, de design, ou encore du comportement des conducteurs. L'objectif est d'améliorer la sécurité des véhicules, et de réduire coûts et délais des projets. Dans les simulateurs, le conducteur évolue dans un trafic simulé dont le réalisme est crucial pour la validité des résultats : les réactions d'un conducteur sont d'autant plus correctes qu'il perçoit l'environnement comme réel. Dans les approches centrées individu, comme ici le trafic, un des critè

APA, Harvard, Vancouver, ISO, and other styles

32

Xiao, Jinhua. "Towards a STEP-compliant data model for process information management in additive manufacturing : application to fused deposition modelling." Electronic Thesis or Diss., Compiègne, 2019. http://www.theses.fr/2019COMP2483.

Full text

Abstract:

Avec le développement de la fabrication additive (FA), l'intégration de la chaîne numérique et des normes d'échange de données deviennent un enjeu majeur. La chaîne numérique comporte différentes propres phases, dont notamment l’industrialisation et la fabrication. L'échange de données FA peut exploiter divers formats d'impression, tels que STL, AMF, 3MF et STEP. Par conséquent, la standardisation de la chaîne numérique et des formats de données devient un sujet de recherche majeur. Pour développer une approche permettant une meilleure intégration de la chaîne numérique, en particulier pour l’

APA, Harvard, Vancouver, ISO, and other styles

33

Trottier, Nicolas. "Modélisation des écoulement en milieux poreux fracturés : estimation des paramètres par approche inverse multi-échelle." Phd thesis, Université de Strasbourg, 2014. http://tel.archives-ouvertes.fr/tel-01037933.

Full text

Abstract:

Ce travail a pour objectif de développer et d'appliquer une méthode originale permettant de simuler l'écoulement dans un milieu poreux fracturé. Cette méthode repose sur une approche multicouches double continuum permettant de séparer le comportement des différents aquifères présents sur un site. La résolution des écoulements, basée sur la méthode des Eléments Finis de Crouzeix-Raviart, est associée à une méthode inverse (minimisation de type Quasi-Newton combinée à la méthode de l'état adjoint) et à une paramétrisation multi-échelle.La méthode est appliquée dans un premier temps sur l'aquifèr

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!