Einloggen

Thematische Bibliographien / Conformité de Modèles / Dissertationen

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Conformité de Modèles.

Dissertationen zum Thema „Conformité de Modèles“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-33 Dissertationen für die Forschung zum Thema "Conformité de Modèles" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

4

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

7

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

8

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

15

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

26

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

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!