• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1009
  • 504
  • 139
  • 4
  • 2
  • 1
  • 1
  • Tagged with
  • 1643
  • 459
  • 446
  • 336
  • 328
  • 290
  • 262
  • 250
  • 234
  • 217
  • 203
  • 188
  • 178
  • 165
  • 162
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
871

Sur la modélisation et la simulation du comportement mécanique endommageable de verres borosilicatés sous sollicitation thermique / On the modeling and simulation of the mechanical behavior and damage of borosilicate glass under thermal loading

Barth, Nicolas 15 July 2013 (has links)
On étudie le comportement thermomécanique de colis de déchets vitrifiés par modélisation multi- physiques. Les colis sont réalisés avec un conteneur en acier inoxydable dans lequel est coulé un verre borosilicaté. Pour le verre, la méthode des éléments finis est employée pour les calculs thermiques, la relaxation structurale du volume massique, le comportement viscoélastique et l’endommagement. Ces lois consécutives modélisent l’influence de la sollicitation thermique initiale. La relaxation structurale du verre, issue du modèle TNM-KAHR, permet la prise en compte d’effets fondamentaux quant à la transition vitreuse, en fonction des traitements thermiques expérimentaux et simulés. Lorsque le verre dépasse localement une criticité du champ de contrainte, on procède au couplage du calcul de structure viscoélastique, pour le verre solide en relaxation,avec la mécanique de l’endommagement qui réactualise la rigidité et les contraintes en mode I et en mode II. On applique cette méthodologie complète de simulation à l’issue des adaptations nécessaires au cas de blocs de verre massifs en solidification. Ces modèles permettent alors l’obtention de surfaces de fracturation quantifiées, dans le verre, à partir de l’énergie dissipée par le modèle d’endommagement. / We study the thermomechanical behavior of vitrified waste packages by multiphysics modeling. The packages are manufactured by the cast of borosilicate glass into stainless steel canisters. The finite element method is used for the thermal computations.In the glass, the finite element analysis is also used to compute the specific volume evolution and the viscoelastic behavior, due to the structural relaxation of glass, as well as the simulation of the damage behavior. These consecutive behavior laws model theinfluence of the initial thermal response. Glass structural relaxation is computed using the TNM-KAHRmodel, which allows us to take into account fundamental phenomena of the glass transition, depending on the results of experimental and simulated thermal treatments. For the solid glass within this relaxation process, the stress may locally increase beyond critical values. The viscoelastic structure simulation is then coupled with continuum damage mechanics where stresses and stiffness are updated in mode I and mode II. We apply this simulation protocol after adopting conditions relative to the case of these manufactured bulky solidifying glass casts. The models then allow us to quantify the cracking surfaces inside the glass fromthe energy dissipated within the damagemodel.
872

SAT en Parallèle / Parallel SAT solving

Szczepanski, Nicolas 12 December 2017 (has links)
La thèse porte sur la résolution des problèmes de satisfaisabilité booléenne (SAT) dans un cadre massivement parallèle. Le problème SAT est largement utilisé pour résoudre des problèmes combinatoires de première importance comme la vérification formelle de matériels et de logiciels, la bio-informatique, la cryptographie, la planification et l’ordonnancement de tâches. Plusieurs contributions sont apportées dans cette thèse. Elles vont de la conception d’algorithmes basés sur les approches « portfolio » et « diviser pour mieux régner », à l’adaptation de modèles de programmation parallèle, notamment hybride (destinés à des architectures à mémoire partagée et distribuée), à SAT, en passant par l’amélioration des stratégies de résolution. Ce travail de thèse a donné lieu à plusieurs contributions dans des conférences internationales du domaine ainsi qu’à plusieurs outils (open sources) de résolution des problèmes SAT, compétitifs au niveau international. / This thesis deals with propositional satisfiability (SAT) in a massively parallel setting. The SAT problem is widely used for solving several combinatorial problems (e.g. formal verification of hardware and software, bioinformatics, cryptography, planning, scheduling, etc.). The first contribution of this thesis concerns the design of efficient algorithms based on the approaches « portfolio » and « divide and conquer ». Secondly, an adaptation of several parallel programming models including hybrid (parallel and distributed computing) to SAT is proposed. This work has led to several contributions to international conferences and highly competitive distributed SAT solvers.
873

Étude ab-initio de solutions solides piézoélectriques (Ba,Ca)TiO3-Ba(Ti,Zr)O3 / First-principles study of piezoelectric (Ba,Ca)TiO3-Ba(Ti,Zr)O3 solid solutions

Amoroso, Danila 26 September 2018 (has links)
Les piézoélectriques à haute performance sont des composants clés pour les dispositifs agiles. Il a été démontré récemment que les solutions solides (Ba,Ca)(Ti,Zr)O3 (BCTZ) présentent des propriétés électromécaniques prometteuses. Cependant, les mécanismes microscopiques conduisant à de telles caractéristiques restent à éclaircir, et les investigations théoriques de BCTZ demeurent très limitées à ce jour. En conséquence, cette thèse propose d’étudier les propriétés de différentes compositions de solutions solides (Ba,Ca)TiO3-Ba(Ti,Zr)O3 au moyen de calculs de premiers principes, en mettant l’accent sur la dynamiquedu réseau et sur la compétition entre différentes phases ferroélectriques. Nous nous intéressons d’abord aux quatre composés parents BaTiO3, CaTiO3, BaZrO3 et CaZrO3, afin de comparer leurs propriétés et leurs différentes tendances à la ferroélectricité. Ensuite, le coeur de notre étude est une caractérisation systématique des systèmes binaires (Ba,Ca)TiO3 et Ba(Ti,Zr)O3 en utilisant à la fois l’approximation du cristal virtuel (VCA) et des calculs directs sur supercellules.Lorsqu’on passe continument de BaTiO3 à CaTiO3 dans (Ba,Ca)TiO3, la caractéristique principale est une transformation progressive de la ferroélectricité de type B en type A en raison d’effets stériques, lesquels déterminent en grande partie le comportement du système. En particulier, pour les petites concentrations en calcium, nous avons mis en évidence que laferroélectricité guidée par le site B est globalement affaiblie, conduisant à la disparition de la barrière d’énergie entre différents états polaires et à une polarisation quasi-isotrope. Une amélioration considérable de la réponse piézoélectrique résulte de ces caractéristiques. En passant de BaTiO3 à BaZrO3 dans Ba(Ti,Zr)O3, en revanche, le comportement est dominé parles mouvements coopératifs Zr-Ti et l’électrostatique locale. En particulier, la phase R3m est stabilisée significativement pour les faibles concentrations en zirconium. Sous l’effet d’une augmentation de la concentration en zirconium, le système montre une tendance à la réduction de la distorsion polaire; néanmoins, la ferroélectricité peut être préservée localement dans les régionsriches en titane. Grâce à un modèle électrostatique basé sur un super-réseau BaZrO3/mBaTiO3, nous avons également découvert une activation polaire inattendue pour Zr, en fonction d’un ordre atomique spécifique. Un facteur microscopique expliquant la réponse piézoélectrique exaltée dans BCTZ, pour de faibles concentrations en Ca et Zr, peut donc résider dans l’interaction entre la ferroélectricité affaiblie induite par Ti et la ferroélectricité émergente induite par Ca, interaction produisant une anisotropie minimale pour la polarisation. En outre, notre étude comparative révèle que la physique microscopique spécifique de ces solutions solides limite sévèrement l’applicabilité de l’approximation du cristal virtuel (VCA) à ces systèmes. / High-performance piezoelectrics are key components of various smart devicesand, recently, it has been discovered that (Ba,Ca)(Ti,Zr)O3 (BCTZ) solid solutions show appealingelectromechanical properties. Nevertheless, the microscopic mechanisms leading to suchfeatures are still unclear and theoretical investigations of BCTZ remain very limited. Accordingly,this thesis analyzes the properties of various compositions of (Ba,Ca)TiO3-Ba(Ti,Zr)O3solid solutions by means of first-principles calculations, with a focus on the lattice dynamicsand the competition between different ferroelectric phases. We first analyze the four parentcompounds BaTiO3, CaTiO3, BaZrO3 and CaZrO3 in order to compare their properties andtheir different tendency towards ferroelectricity. Then, the core of our study is a systematiccharacterization of the binary systems (Ba,Ca)TiO3 and Ba(Ti,Zr)O3 within both the virtualcrystal approximation (VCA) and direct supercell calculations. When going from BaTiO3 toCaTiO3 in (Ba,Ca)TiO3, the main feature is a gradual transformation from B-type to A-typeferroelectricity due to steric effects that largely determine the behavior of the system. In particular,for low Ca-concentration we found out an overall weakened B-driven ferroelectricitythat produces the vanishing of the energy barrier between different polar states and resultsin a quasi-isotropic polarization. A sizable enhancement of the piezoelectric response resultsfrom these features. When going from BaTiO3 to BaZrO3 in Ba(Ti,Zr)O3, in contrast, thebehavior is dominated by cooperative Zr-Ti motions and the local electrostatics. In particular,low Zr-concentration produces the further stabilization of the R3m-phase. Then, the systemshows the tendency to globally reduce the polar distortion with increasing Zr-concentration.Nevertheless, ferroelectricity can be locally preserved in Ti-rich regions. We also found out anunexpected polar activation of Zr as a function of specific atomic ordering explained via a basicelectrostatic model based on BaZrO3/mBaTiO3 superlattice. A microscopic factor behind theenhanced piezoelectric response in BCTZ, at low concentration of Ca and Zr, can thus be theinterplay between weakened Ti-driven and emerging Ca-driven ferroelectricity, which producesminimal anisotropy for the polarization. In addition, our comparative study reveals that thespecific microscopic physics of these solid solutions sets severe limits to the applicability of thevirtual crystal approximation (VCA) for these systems.
874

Continuous linear and bilinear Schur multipliers and applications to perturbation theory / Multiplicateurs de Schur linéaires et bilinéaires continus et applications à la théorie de la perturbation

Coine, Clément 30 June 2017 (has links)
Dans le premier chapitre, nous commençons par définir certains produits tensoriels et identifions leur dual. Nous donnons ensuite quelques propriétés des classes de Schatten. La fin du chapitre est dédiée à l’étude des espaces de Bochner à valeurs dans l'espace des opérateurs factorisables par un espace de Hilbert. Le deuxième chapitre est consacré aux multiplicateurs de Schur linéaires. Nous caractérisons les multiplicateurs bornés sur B(Lp, Lq) lorsque p est inférieur à q puis appliquons ce résultat pour obtenir de nouvelles relations d'inclusion entre espaces de multiplicateurs. Dans le troisième chapitre, nous caractérisons, au moyen de multiplicateurs de Schur linéaires, les multiplicateurs de Schur bilinéaires continus à valeurs dans l'espace des opérateurs à trace. Dans le quatrième chapitre, nous donnons divers résultats concernant les opérateurs intégraux multiples. En particulier, nous caractérisons les opérateurs intégraux triples à valeurs dans l'espace des opérateurs à trace puis nous donnons une condition nécessaire et suffisante pour qu'un opérateur intégral triple définisse une application complètement bornée sur le produit de Haagerup de l'espace des opérateurs compacts. Enfin, le cinquième chapitre est dédié à la résolution des problèmes de Peller. Nous commençons par étudier le lien entre opérateurs intégraux multiples et théorie de la perturbation pour le calcul fonctionnel des opérateurs autoadjoints pour finir par la construction de contre-exemples à ces problèmes. / In the first chapter, we define some tensor products and we identify their dual space. Then, we give some properties of Schatten classes. The end of the chapter is dedicated to the study of Bochner spaces valued in the space of operators that can be factorized by a Hilbert space.The second chapter is dedicated to linear Schur multipliers. We characterize bounded multipliers on B(Lp, Lq) when p is less than q and then apply this result to obtain new inclusion relationships among spaces of multipliers.In the third chapter, we characterize, by means of linear Schur multipliers, continuous bilinear Schur multipliers valued in the space of trace class operators. In the fourth chapter, we give several results concerning multiple operator integrals. In particular, we characterize triple operator integrals mapping valued in trace class operators and then we give a necessary and sufficient condition for a triple operator integral to define a completely bounded map on the Haagerup tensor product of compact operators. Finally, the fifth chapter is dedicated to the resolution of Peller's problems. We first study the connection between multiple operator integrals and perturbation theory for functional calculus of selfadjoint operators and we finish with the construction of counter-examples for those problems.
875

Autour des singularités d’applications vectorielles en physique de la matière condensée / Singularities of vector-valued maps in condensed matter physics

Lamy, Xavier 06 July 2015 (has links)
Cette thèse est consacrée principalement à l'analyse mathématique de modèles issus de la physique des cristaux liquides et de la supraconductivité. Ces modèles ont en commun de faire intervenir des systèmes elliptiques dont les solutions présentent des singularités : défauts optiques dans les cristaux liquides, défauts de vorticité en supraconductivité. Les cristaux liquides se composent de molécules allongées qui, tout en étant distribuées « au hasard » comme dans un liquide, tendent à s'aligner dans une direction commune : cet « ordre d'orientation » leur confère des propriétés optiques similaires à celles d'un cristal, à l'origine de leurs nombreuses applications industrielles. On démontre différents résultats liés à la symétrie locale de cet alignement autour des singularités. On présente aussi dans cette thèse différents résultats liés au modèle de Ginzburg-Landau pour les supraconducteurs de type II, et aux « défauts de vorticité » : points isolés autour desquels la supraconductivité est détruite. Une dernière partie de cette thèse traite de la caractérisation de la régularité d'une fonction f à travers la vitesse de convergence de f ∗ ρε pour un certain noyau ρ. Dans un travail commun avec Petru Mironescu, on s'intéresse à la question de la régularité des noyaux ρ qui permettent une telle caractérisation / The present thesis is devoted mainly to the mathematical analysis of models arising in the physics of liquid crystals and superconductivity. A common feature of these models is that one has to deal with elliptic systems whose solutions have singularities: optical defects in liquid crystals, vorticity defects in superconductivity. The rod-like molecules in a liquid crystals, while being (as in a liquid) “randomly” distributed, tend to align in a common direction: this “orientational order” enhances crystal-like optical properties, which are responsible for their many industrial applications. We demonstrate different results related to the local symmetry of this alignement near singularities. We also present some results related to the Ginzburg-Landau model for type II superconductivity, and to “vortices”: isolated points at which superconductivity is destroyed. The last part of this thesis addresses regularity characterization for a function f through the convergence rate of f ∗ ρε, for some kernel ρ. In a joint work with Petru Mironescu we study the minimal regularity of ρ that allows such characterization
876

Modélisation explicite de l'adaptation sémantique entre modèles de calcul. / Explicit modeling of the semantic adaptation between models of computation

Dogui, Ayman 18 December 2013 (has links)
Ce travail traite de la modélisation de systèmes complexes constitués de plusieurs composants impliquant des domaines techniques différents. Il se place dans le contexte de la modélisation hétérogène hiérarchique, selon l’approche à base de modèles de calcul. Chaque composant faisant appel à un domaine technique particulier, son comportement peut être modélisé selon un paradigme de modélisation approprié, avec une sémantique différente de celle des autres composants. La modélisation du système global, qui intègre les modèles hétérogènes de ces composants, nécessite donc une adaptation sémantique permettant l’échange entre les divers sous-modèles.Ce travail propose une approche de modélisation de l’adaptation sémantique où les sémantiques du temps et du contrôle sont explicitement spécifiées par le concepteur en définissant des relations sur les occurrences d’évènements d’une part et sur les étiquettes temporelles de ces occurrences d’autre part. Cette approche est intégrée dans la plateforme ModHel’X et testée sur un cas d’étude : un modèle de lève-vitre électrique. / This work takes place in the context of hierarchical heterogeneous modeling using the model of computation approach in order to model complex systems which includes several components from different technical fields.Each of these components is usually designed according to a modeling paradigm that suits the technical domain and is based on specific semantics. Therefore, the overall system, which integrates the heterogeneous models of the components, requires semantic adaptation to ensure proper communication between its various sub-models.In this context, the aim of this thesis is to propose a new approach of semantic adaptation modeling where the semantic adaptation of time and control is specified by defining relationships between the occurrences of events as well as the time tags of these occurrences. This approach was integrated into the ModHel’X platform and tested on the case study of a power window system.
877

Neural networks as cellular computing models for temporal sequence processing. / Les réseaux de neurones comme paradigme de calcul cellulaire pour le traitement de séquences temporelles

Khouzam, Bassem 13 February 2014 (has links)
La thèse propose une approche de l'apprentissage temporel par des mécanismes d'auto-organisation à grain fin. Le manuscrit situe dans un premier temps le travail dans la perspective de contribuer à promouvoir une informatique cellulaire. Il s'agit d'une informatique où les calculs se répartissent en un grand nombre de calculs élémentaires, exécutés en parallèle, échangeant de l'information entre eux. Le caractère cellulaire tient à ce qu'en plus d’être à grain fin, une telle architecture assure que les connexions entre calculateurs respectent une topologie spatiale, en accord avec les contraintes des évolutions technologiques futures des matériels. Dans le manuscrit, la plupart des architectures informatiques distribuées sont examinées suivant cette perspective, pour conclure que peu d'entre elles relèvent strictement du paradigme cellulaire.Nous nous sommes intéressé à la capacité d'apprentissage de ces architectures, du fait de l'importance de cette notion dans le domaine connexe des réseaux de neurones par exemple, sans oublier toutefois que les systèmes cellulaires sont par construction des systèmes complexes dynamiques. Cette composante dynamique incontournable a motivé notre focalisation sur l'apprentissage temporel, dont nous avons passé en revue les déclinaisons dans les domaines des réseaux de neurones supervisés et des cartes auto-organisatrices.Nous avons finalement proposé une architecture qui contribue à la promotion du calcul cellulaire en ce sens qu'elle exhibe des propriétés d'auto-organisation pour l'extraction de la représentation des états du système dynamique qui lui fournit ses entrées, même si ces dernières sont ambiguës et ne reflètent que partiellement cet état. Du fait de la présence d'un cluster pour nos simulations, nous avons pu mettre en œuvre une architecture complexe, et voir émerger des phénomènes nouveaux. Sur la base de ces résultats, nous développons une critique qui ouvre des perspectives sur la suite à donner à nos travaux. / The thesis proposes a sequence learning approach that uses the mechanism of fine grain self-organization. The manuscript initially starts by situating this effort in the perspective of contributing to the promotion of cellular computing paradigm in computer science. Computation within this paradigm is divided into a large number of elementary calculations carried out in parallel by computing cells, with information exchange between them.In addition to their fine grain nature, the cellular nature of such architectures lies in the spatial topology of the connections between cells that complies with to the constraints of the technological evolution of hardware in the future. In the manuscript, most of the distributed architecture known in computer science are examined following this perspective, to find that very few of them fall within the cellular paradigm.We are interested in the learning capacity of these architectures, because of the importance of this notion in the related domain of neural networks for example, without forgetting, however, that cellular systems are complex dynamical systems by construction.This inevitable dynamical component has motivated our focus on the learning of temporal sequences, for which we reviewed the different models in the domains of neural networks and self-organization maps.At the end, we proposed an architecture that contributes to the promotion of cellular computing in the sense that it exhibits self-organization properties employed in the extraction of a representation of a dynamical system states that provides the architecture with its entries, even if the latter are ambiguous such that they partially reflect the system state. We profited from an existing supercomputer to simulate complex architecture, that indeed exhibited a new emergent behavior. Based on these results we pursued a critical study that sets the perspective for future work.
878

Conception et réalisation d’un système d’information pour le calcul d’itinéraires destiné aux services d’urgence / Conception and implementation of an information system for the calculation of routes for emergency services

Soussi, Mohamed Ayet Allah Bilel 15 February 2013 (has links)
De nos jours, la problématique de recherche du meilleur itinéraire est très étudiée dans diverses applications telles que pour le mode de transport doux (vélo) ou piétonnier, pour l’interception d’un objet mobile ou encore pour la combinaison des modes de transport (multimodal). Dans cette optique, notre objectif consiste à chercher un meilleur itinéraire pour les services d’urgence. Notre étude est réalisée en partenariat avec le SMUR du Mans (Sarthe) qui fournit le contexte opérationnel. Dans un premier temps, ce travail de recherche consiste à exploiter l’historique des trajectoires empruntées par le service d’urgence pour avoir une meilleure estimation du temps de parcours. Afin de réaliser cette tâche, nous proposons une méthodologie partant de la phase de la modélisation des objets mobiles passant par une étape d’analyse statistique et de data mining et allant jusqu'aux phases de l’implémentation et de la validation. Concernant la phase de la modélisation, nous proposons une approche qui fait le lien entre une modélisation et une gestion des objets mobiles par des Types Abstraits de Données (TAD) et une modélisation conceptuelle basée sur MADS. En vue d’avoir une meilleure estimation du temps de parcours, une méthode d’Analyse des Correspondances Multiples et une technique de création d’arbres et de règles de décision sont utilisées. Pour le processus de la validation de notre méthode d’estimation du temps de parcours, nous procédons par une comparaison entre les itinéraires proposés par application d’un algorithme de recherche du plus court chemin et les trajectoires empruntées par le service d’urgence. Dans un deuxième temps, et pour pouvoir prendre en considération la temporalité et l’incertitude sur les estimations du temps de parcours causées par les différents types de perturbations, le mode dépendant du temps avec graphe par intervalle et la notion de degré d’optimisme seront retenus pour l’implémentation de notre calculateur. On propose deux versions de recherche d’itinéraires : un seul et unique chemin le plus rapide et les k premiers chemins optimaux. Afin de minimiser le risque de blocage, la deuxième version sera bénéfique dans le cas où deux équipes partent pour une même intervention. Chacune d’entre elles empruntera un chemin différent afin d'optimiser les chances d'arriver rapidement sur les lieux d'intervention.Enfin, et pour prendre en considération en temps réel les événements exceptionnels prévus (manifestations, travaux publics), les changements des caractéristiques physiques du réseau routier, les conditions météorologiques et les événements imprévus (embouteillages, accidents) qui peuvent influer sur le choix d’itinéraires, nous proposons un système d’aide à la prise en compte des perturbations du trafic en temps réel. / The present-day issue of looking for the most appropriate route is widely studied for various applications such as cycling or pedestrians, the interception of a mobile object, multimodal or combining means of transport.With this approach, our objective is to search for the best itinerary for emergency vehicles. Our study has been carried out in partnership with the SMUR (emergency medical assistance) in Le Mans, which has provided an operational context.Our research work firstly dealt with the records of the routes used by emergency vehicles so as to obtain a more accurate estimation of journey times. For this task, our methodology begins with a phase of modelising mobile objects using statistical analysis and data mining to reach phases of implementation and validation. During the modelisation phase, we propose the use of an approach that creates a link between modeling and management of mobile objects by Abstract Data Types (TAD) and conceptual modeling based on MADS. So as to improve estimation of journey time a method of Multiple Correspondence Analysis and a technique for creating trees and decision rules were used. For the validation process of journey time, we compared routes suggested by a research algorithm application for the shortest trip and the routes used by the emergency services.Secondly, so as to take into consideration time value and the uncertainty of journey time estimations due to disturbances, the mode depending on time with graph per interval and the notion of degree of optimism will be retained for the implementation of our calculator. We propose two versions of itinerary research: a single unique fastest route and the first k optimal routes. So as to minimize the risk of blocking, a second version is of benefit in the case of two emergency units leaving for the same intervention. Each will use a different route to maximize the chances of arriving on the scene quickly Intervention.The ultimate stage involved considering in real time the consequences of exceptional foreseen events (demonstrations, roadworks), changes in the physical characteristics of the road network, weather conditions and those that could not be predicted (traffic congestion and accidents) that can influence the choice of a route, for which we propose a system to help in the management of such a disturbance in real time.
879

Méthode de corrélation calcul/essai pour l'analyse du crissement / Calculation/Test methods for the analysis squeal

Martin, Guillaume 30 March 2017 (has links)
Le crissement de frein est une nuisance sonore récurrente dans l’automobile qui, bien qu’il n’existe pas de solution robuste lors de la conception, se traduit souvent par des pénalités économiques envers les équipementiers. La simulation numérique et les caractérisations expérimentales sont les deux voies classiques pour analyser les phénomènes crissants. La simulation permet une analyse fine des comportements vibratoires et l’évaluation de l’impact de modifications de conception, mais les modèles sont imparfaits et leur domaine de validité doit être établi. La mesure garantit que tous les paramètres sont pris en compte, mais elle est souvent spatialement pauvre et peu adaptée à la prédiction de modifications. Dans ce contexte, les objectifs de la thèse sont de faire un bilan des méthodes d’exploitation des essais, de fournir des outils permettant une interaction facilitée entre les équipes d’essai et de simulation et de mettre en œuvre les développements dans une application métier.Après un rappel sur les hypothèses et les méthodes pour l’identification modale, une analyse critique des résultats d’identification aboutit à la caractérisation des biais et à l’introduction de critères détaillés permettant d’évaluer la qualité du résultat. La corrélation calcul/essai permet de qualifier les modèles et des outils sont intégrés pour faciliter sa mise en œuvre. Plusieurs critères sont définis pour mettre en évidence les sources de mauvaise corrélation venant de la mesure d’une part et du modèle d’autre part. Les sources de mauvaise corrélation sont également identifiées avec l’algorithme d’expansion MDRE, dont les limitations sont comparées à celles des expansions statiques et dynamiques.Le recalage des modèles est ensuite traité par une procédure systématique imbriquant les étapes de recalage de la géométrie, des propriétés matériau et des contacts entre composants. Une paramétrisation du contact est proposée avec une réduction multi-modèle permettant des temps de calculs compatibles avec le temps industriel. Elle permet également des études de sensibilités avec l’introduction de la notion de modes de composant dans un assemblage.Une analyse détaillée d’une campagne de mesure sur un système de frein en conditions crissantes est enfin réalisée. Un parallèle entre les évolutions du cycle limite et le degré de couplage des modes complexes est proposé. Dans le domaine temps-fréquence, la variabilité, la répétabilité, la reproductibilité et la possibilité d’agréger des mesures séquentielles sont évaluées. Le résultat obtenu est finalement étendu sur le modèle éléments finis, ce qui permet des interprétations utiles. / Brake squeal is a nuisance commonly encountered in the car industry which often results in financial penalties towards brake manufacturers, even if no robust solution exists for the conception. Numerical simulation and experimental characterizations are the classical two-track approaches to analyze squeal phenomena. Numerical simulation allows a fine analysis of vibration behaviors and the evaluation of conception modification impacts, but models are not perfect and their validity domain must be defined. Measurement guarantees that every parameter is taken into account, but it is often spatially poor and not really suited for modification prediction. In this context, the thesis objectives are to make an overview of test operating methods, to provide tools allowing an easier interaction between both test and simulation teams and to enforce the developments in a business application.After a review of the hypotheses and methods for modal identification, a critical analysis of the identification results leads to the characterization of biases and the introduction of detailed criteria to evaluate the quality of the result. Calculation/test correlation allows to qualify the models and tools are integrated to facilitate its implementation. Several criteria are defined to highlight the sources of bad correlation coming from the measure on the one hand and the model on the other hand. Sources of poor correlation are also identified with the MDRE expansion algorithm, whose limitations are compared with those of static and dynamic expansions.Model updating is then processed by a systematic procedure imbricating the steps of updating of geometry, material properties and contacts between components. A contact parametrization is proposed with a multi-model reduction allowing calculation times compatible with industrial time. It also allows sensitivity studies with the introduction of the notion of component modes in an assembly.Finally, a detailed analysis of a measurement campaign on a braking system under squeal conditions is carried out. A parallel between the changes of the limit cycle and the degree of coupling of the complex modes is proposed. In the time-frequency domain, variability, repeatability, reproducibility and the ability to aggregate sequential measurements are evaluated. The result is finally extended on the finite element model, which allows useful interpretations.
880

L'acquisition de l’expression de la spatialité en mandarin langue étrangère par des apprenants francophones

Hung, Pi-Hsia 24 November 2012 (has links)
Cette thèse s'inscrit dans le cadre des travaux sur l'acquisition des langues étrangères. L'objectif principal est de déterminer les structurations linguistiques transitoires employées par les apprenants francophones pour exprimer l'espace en mandarin langue étrangère. La procédure utilisée est l'analyse d'un corpus de productions orales issues d'une étude expérimentale de vingt mois menée auprès d'apprenants adultes francophones du mandarin de niveau débutant, intermédiaire et avancé. Pour atteindre l'objectif fixé, nous nous penchons d'abord sur l'acquisition des verbes directionnels en mandarin, puis sur les calculs des coordonnées spatiales qui impliquent l'« habitual thought » du mandarin concernant les verbes lái (venir) et qù (aller). L'analyse des expressions spatiales par les apprenants nous permettra ensuite de détailler le processus d'acquisition des ensembles spécifiques de la relation forme/fonction du mandarin et, plus précisément, la façon dont les options linguistiques façonnent la production des apprenants à chaque niveau de l'apprentissage. L'étude de l'acquisition des verbes de repérage ainsi que du calcul des coordonnées spatiales, quant à elles, nous dévoileront le processus cognitif de la conceptualisation du domaine spatial. / This thesis intervenes in the field of foreign language acquisition. The main objective is to determine the transient language structuring used by French-speaking learners to express space in Mandarin. The procedure used is the analysis of an oral corpus from an experimental study during twenty months with French-speaking adult learners of three different Mandarin levels: beginner, intermediate and advanced. To achieve our goal, we focus primarily on the acquisition of directional verbs in Mandarin, then on the calculation of spatial coordinates that involve the "habitual thought" about Mandarin verbs lái (come) and qù (go). The analysis of spatial expressions by French learners will detail the process of acquiring specific sets of the form/function relationship in Mandarin; to be more precise, we will show how the language options shape the learners production at each level of learning. The acquisition of the verbs lái (come) and qù (go) and of the calculation of spatial coordinates, in turn, will reveal the cognitive process of space conceptualization by the French learners.

Page generated in 0.0745 seconds