L'idée de mettre en place un simulateur relativement général de la partie mécanique de l'usinage à l'échelle macroscopique est à l'origine de ce travail. Deux thèses déjà soutenues au LMSP se sont principalement heurtées à la robustesse de l'algorithme d'intersection nécessaire pour obtenir la surface usinée. Ce travail a eu pour principal objectif de repenser la méthode de calcul de l'intersection des modèles B-Rep de l'outil et de la pièce.<br />Le premier objectif a alors été de revenir à un cas simple : le tournage en coupe orthogonale. Ceci a permis de vérifier à nouveau la pertinence de notre démarche et de commencer l'analyse des algorithmes d'intersection par celle d'un cas simplifié. Un simulateur spécifique a été mis en place et des comparaisons avec des résultats expérimentaux sont montrées.<br />Le second objectif a été d'améliorer l'algorithme d'intersection dans le cas tridimensionnel en reprenant complètement les points de vue adoptés dans les travaux précédents du LMSP. Le travail d'intersection est maintenant effectué dans une configuration de référence matérielle de la pièce. Ceci, combiné à une analyse autorisant l'auto-intersection d'un modèle B-Rep, améliore la robustesse générale de l'algorithme. Les développements correspondants à ce travail ont été intégrés dans le logiciel Nessy du LMSP.

Cette thèse traite de la réduction d'ordre de modèle du phénomène communément rencontré dans la modélisation de microsystèmes, à savoir, dans la littérature anglaise, le " squeeze-film damping ". Dans un premier chapitre sont présentées les différentes méthodes de réduction d'ordre de modèle. Dans le cas des systèmes linéaires, elles ont un cadre théorique bien établi. Ces méthodes peuvent être adaptées pour les systèmes non-linéaires. La validité des modèles réduits résultants sera alors réduite à un certain espace des phases, leur établissement faisant intervenir certaines trajectoires particulières servant d'apprentissage. On présente finalement la méthode des modes normaux non-linéaires dont les modèles résultants ne dépendent pas d'une trajectoire d'apprentissage. Au chapitre 2, on s'intéresse plus particulièrement au phénomène de " squeeze-film damping " régi par l'équation de Reynolds. Après avoir détaillé son établissement à partir de certaines hypothèses, on décrit les différentes méthodes de résolution de l'équation linéaire puis non-linéaire de la littérature. On compare ensuite les résultats d'un modèle de l'équation de Reynolds à des simulations éléments finis de l'équation de Navier-Stokes afin de valider les hypothèses faites pour la dérivation de l'équation de Reynolds. On propose ensuite une résolution originale par changement de variable. On étudie aussi plusieurs autres résolutions possibles ainsi que plusieurs bases de projection parmi celles décrites dans le premier chapitre. Le chapitre 3 est consacré à la modélisation du problème couplé que constitue le micro-interrupteur MEMS qui est un candidat au remplacement des interrupteurs à base de transistors dans les communications RF. Sa modélisation fait intervenir trois domaines, la mécanique, l'électrostatique, et la fluidique à travers l'équation de Reynolds. Après voir décrit les différents modèles de la littérature, on propose un modèle réduit couplé dont le modèle fluidique est basé sur le modèle établi au chapitre 2. Ce modèle est validé par rapport à des modèles différences finies et à des résultats expérimentaux de la littérature.Enfin le quatrième chapitre traite de la réduction du coût d'évaluation du modèle réduit couplé de micro-interrupteur du chapitre 3. La première méthode proposée consiste à trouver une fonction d'approximation de la projection de la force fluidique sur le premier mode mécanique, fonction des coordonnées modales mécaniques position et vitesse. Cette méthode ne se révèle valable que dans le cas incompressible. Dans le cas compressible, la résolution de l'équation de Reynolds restant obligatoire, on utilise la méthode de Rewienski et al. qui consiste à linéariser par morceaux les fonctions régissant la dynamique. Une autre méthode de linéarisation par morceaux, tirant parti d'une particularité du modèle du chapitre 2 et permettant de s'affranchir d'une trajectoire d'apprentissage, est également proposée.

L'estimation du mouvement est un sujet fondamental pour l'interprétation de séquences d'images. Cette thèse concerne l'étude de la dynamique des écoulements géophysiques visualisée par l'imagerie satellitaire. Une bonne compréhension de ces écoulements géophysiques permet l'analyse et la prévision des phénomènes, par exemple en océanographie et en météorologie. L'assimilation de données constitue le cadre idéal pour prendre en compte de manière optimale les diverses sources d'informations disponibles et en particulier les modèles numériques et les données. On se propose donc, dans cette thèse, d'appliquer des méthodes d'assimilation variationnelles de données, dites4D-Var, pour estimer le mouvement sur les séquences d'images. Une des limitations des techniques 4D-Var est l'importance du temps de calcul et de la mémoire nécessaire lors de leur application. Nous nous proposons, dans ce document, de définir une méthodologie basée sur la réduction de modèle afin de réduire ces limitations de façon significative. Nous étudions les possibilités qu'offre la réduction d'un modèle dynamique pour estimer le mouvement, en particulier afin d'imposer des contraintes issues de la physique aux solutions calculées. Différentes réductions sont discutées, au moyen d'une décomposition orthogonale propre, sur une base sinus pour un mouvement à divergence nulle, ou sur une base dédiée au domaine spatial étudié. Dans chaque cas, les résultats d'expériences synthétiques et sur des données satellite sont présentés

Cette recherche s'inscrit dans la problématique de l'étude de prises de décisions didactiques. Notre principal intérêt est d'étudier la façon dont les professeurs prennent les décisions didactiques afin de faire avancer les élèves vers l'apprentissage d'une connaissance visée, et les éléments qui influencent ces décisions. Ceci nous a amené dans un premier temps à modéliser les connaissances des élèves concernant un objet mathématique donné, la symétrie orthogonale. <br />En nous appuyant sur la formalisation proposée par le modèle cK¢ de Balacheff au sein la Théorie des Situations Didactiques, nous avons fait le choix d'entrer dans la modélisation des conceptions d'élèves sur la notion de symétrie orthogonale, à partir de l'identification de la structure de contrôle des conceptions. En partant de l'hypothèse que les contrôles rendent compte des critères qui renvoient au choix, à la décision, à l'adéquation et à la validité d'une action, nous avons réalisé une étude théorique de la notion de symétrie orthogonale du point de vue mathématique et didactique afin d'identifier a priori les contrôles susceptibles d'être mobilisés par les élèves dans la résolution de problèmes de construction et de reconnaissance de figures symétriques. Ceci nous a permis de construire un dispositif expérimental pour étudier la prise de décisions didactiques. <br />Pour réaliser cette étude, nous nous sommes appuyés sur le modèle des niveaux de l'activité des professeurs proposé par Margolinas. Nous avons ainsi pu identifier quelques éléments sur lesquels les professeurs fondent leurs décisions didactiques.

Cette recherche s'inscrit dans la problématique de l'étude de prises de décisions didactiques. Notre principal intérêt est d'étudier la façon dont les professeurs prennent les décisions didactiques afin de faire avancer les élèves vers l'apprentissage d'une connaissance visée, et les éléments qui influencent ces décisions. Ceci nous a amené dans un premier temps à modéliser les connaissances des élèves concernant un objet mathématique donné, la symétrie orthogonale. <br />En nous appuyant sur la formalisation proposée par le modèle cK¢ (Balacheff, 1995) au sein de la Théorie des Situations Didactiques, nous avons fait le choix d'entrer dans la modélisation des conceptions d'élèves sur la notion de symétrie orthogonale, à partir de l'identification de la structure de contrôle des conceptions. En partant de l'hypothèse que les contrôles rendent compte des critères qui renvoient au choix, à la décision, à l'adéquation et à la validité d'une action, nous avons réalisé une étude théorique de la notion de symétrie orthogonale du point de vue mathématique et didactique afin d'identifier a priori les contrôles susceptibles d'être mobilisés par les élèves dans la résolution de problèmes de construction et de reconnaissance de figures symétriques. Ceci nous a permis de construire un dispositif expérimental pour étudier la prise de décisions didactiques. <br />Pour réaliser cette étude, nous nous sommes appuyés sur le modèle des niveaux de l'activité des professeurs (Margolinas, 2002). Nous avons ainsi pu identifier quelques éléments sur lesquels les professeurs fondent leurs décisions didactiques.

We present an $hp$-adaptive strategy that is based on estimating the decay of the expansion coefficients when a function is expanded in $L^2$-orthogonal polynomails on a triangle or a tetrahedron. This method is justified by showing that the decay of the coefficients is exponential if and only if the function is analytic. Numerical examples illustrate the performance of this approach, and we compare it with two other $hp$-adaptive strategies.

Universiẗat, Diss., 2001--Heidelberg.

University, Diss., 2002--Saarbrücken.

L'assemblage de pièces de structures composites, notamment en carbone/époxy, est souvent réalisé par liaison boulonnée. Ceci nécessite le perçage des logements de fixations. Cette opération de perçage doit répondre à des contraintes de fiabilité, de productivité et de qualité d'usinage. L'opération de perçage doit donc être maitrisée, ce qui passe par une meilleure compréhension des phénomènes présents en perçage. Mais l'étude de ces phénomènes se heurte à des obstacles tels que l'aspect confiné de l'opération, la géométrie complexe et variable du foret, la variation de vitesse le long de l'arête principale de coupe... Afin de s'affranchir de ces obstacles, des essais élémentaires représentatifs de la coupe en perçage peuvent être proposés. Ce travail de thèse s'inscrit dans cette optique. Ce travail s'articule autour de trois axes. Le premier concerne une étude de la représentativité des différents essais élémentaires vis-à-vis du perçage. Un outil d'identification de géométrie d'outil est proposé ; il permet d'identifier l'évolution de la géométrie locale des outils coupants et ainsi de proposer des essais élémentaires qui soient géométriquement et cinématiquement représentatifs de la coupe en perçage. Le second axe développé propose une étude des phénomènes présents en coupe orthogonale quasi-statique. Cela permet de s'affranchir des effets liés à la vitesse. Dans ce cadre, des essais de corrélation d'images en coupe orthogonale sont proposés. Ils permettent l'analyse des champs de déplacements et de déformations. Une analyse des efforts générés, de la morphologie des copeaux et des états de surfaces obtenus en fonction de l'angle de coupe et de l'angle ?2 entre la vitesse de coupe et la direction des fibres est également réalisée. Deux types de modèles numériques, macro- mécanique et micro-mécanique, sont proposés. Ils sont confrontés aux résultats expérimentaux. Le dernier axe de travail présente l'analyse des phénomènes liés à la vitesse de coupe en coupe orthogonale. Le modèle macro-mécanique est modifié afin d'intégrer des phénomènes tels que la variation des contraintes à rupture de la matrice en fonction de la vitesse de déformation, ou encore l'évolution du frottement en fonction de la vitesse de glissement. Les résultats du modèle sont confrontés aux résultats expérimentaux. / In aeronautical sector, assembly of CFRP composite structures requires the drilling of the fastener holes. Requirements of reliability, productivity and machining quality are imposed on the drilling process. The operation must be mastered, which requires a better understanding of the phenomena occurring during drilling. But the study of these phenomena faces several major challenges such as the confined aspect of the operation, the complex and variable geometry of the cutting tool, the speed variation along the main cutting edge... To overcome these obstacles, elementary testing representative of the drilling cutting phenomena could be implemented. This is the purpose of this work, which is based on three axes. The first is a study of the geometrical and kinematic representativeness of the elementary tests regarding the drilling operation. A tool geometry identification program is developed. It identifies the evolution of the local geometry of cutting tools along the main cutting edges and allows defining the elementary tests that are geometrically and kinematically representative of the drilling cutting. The second axis developed proposes a study of the phenomena occuring in quasi-static orthogonal cutting. Thus, the effects relative to the cutting speed are not considered. In this context, digital image correlation tests during orthogonal cutting are conducted. They lead to the analysis of the displacements and strains fields. Generated forces, chip morphology and machined surface texture are also investigated, in relation to the rake angle and the angle ?2 between the cutting speed and the direction of fibres. For this configuration, two types of numerical models, a macro-mechanical and a micro-mechanical one, are developed. A comparison is made in relation to experimental results. The last axis of this work concern the analysis of phenomena related to the cutting speed during orthogonal cutting. The macro-mechanical model is modified to include such phenomena as the variation of the matrix breaking stress as a function of strain rate, or the evolution of the friction coefficient according to the sliding velocity. The model results are compared to experimental results.

Cette thèse traite de la réduction d’ordre de modèle du phénomène communément rencontré dans la modélisation de microsystèmes, à savoir, dans la littérature anglaise, le « squeeze-film damping ». Dans un premier chapitre sont présentées les différentes méthodes de réduction d’ordre de modèle. Dans le cas des systèmes linéaires, elles ont un cadre théorique bien établi. Ces méthodes peuvent être adaptées pour les systèmes non-linéaires. La validité des modèles réduits résultants sera alors réduite à un certain espace des phases, leur établissement faisant intervenir certaines trajectoires particulières servant d’apprentissage. On présente finalement la méthode des modes normaux non-linéaires dont les modèles résultants ne dépendent pas d’une trajectoire d’apprentissage. Au chapitre 2, on s’intéresse plus particulièrement au phénomène de « squeeze-film damping » régi par l’équation de Reynolds. Après avoir détaillé son établissement à partir de certaines hypothèses, on décrit les différentes méthodes de résolution de l’équation linéaire puis non-linéaire de la littérature. On compare ensuite les résultats d’un modèle de l’équation de Reynolds à des simulations éléments finis de l’équation de Navier-Stokes afin de valider les hypothèses faites pour la dérivation de l’équation de Reynolds. On propose ensuite une résolution originale par changement de variable. On étudie aussi plusieurs autres résolutions possibles ainsi que plusieurs bases de projection parmi celles décrites dans le premier chapitre. Le chapitre 3 est consacré à la modélisation du problème couplé que constitue le micro-interrupteur MEMS qui est un candidat au remplacement des interrupteurs à base de transistors dans les communications RF. Sa modélisation fait intervenir trois domaines, la mécanique, l’électrostatique, et la fluidique à travers l’équation de Reynolds. Après voir décrit les différents modèles de la littérature, on propose un modèle réduit couplé dont le modèle fluidique est basé sur le modèle établi au chapitre 2. Ce modèle est validé par rapport à des modèles différences finies et à des résultats expérimentaux de la littérature.Enfin le quatrième chapitre traite de la réduction du coût d’évaluation du modèle réduit couplé de micro-interrupteur du chapitre 3. La première méthode proposée consiste à trouver une fonction d’approximation de la projection de la force fluidique sur le premier mode mécanique, fonction des coordonnées modales mécaniques position et vitesse. Cette méthode ne se révèle valable que dans le cas incompressible. Dans le cas compressible, la résolution de l’équation de Reynolds restant obligatoire, on utilise la méthode de Rewienski et al. qui consiste à linéariser par morceaux les fonctions régissant la dynamique. Une autre méthode de linéarisation par morceaux, tirant parti d’une particularité du modèle du chapitre 2 et permettant de s’affranchir d’une trajectoire d’apprentissage, est également proposée. / This thesis deals with reduced-order modelling of squeeze-film damping, a fluidic phenomenon that is commonly encountered in MEMS. In the first chapter, reduced-order modelling methods are presented. For linear systems, well-established theories exist. They can be adapted to nonlinear systems. However, the resulting reduced-order models are valid in a certain region of the state-space only, depending on the training trajectory. The method of nonlinear normal modes, which does not depend on a training trajectory is also introduced. Chapter two is focused on the squeeze-film damping phenomenon governed by the Reynolds equation. We first establish the equation from appropriate hypotheses, and then present the different resolutions of its linear and nonlinear form found in literature. The results from a model based on the Reynolds equation are then compared to results from a finite element Navier-Stokes model, in order to validate the various hypotheses made. An original method of resolution based on a change of variable is then proposed. Several other method of resolution are studied as well as different projection bases amongst those presented in chapter one.Chapter three is dedicated to the modelling a micro-switch, a candidate to the replacement of switches based on transistors in RF communications. Its modelling implies the coupling of three domains: mechanics, electrostatics, and fluidics with Reynolds equation. Following a description of the models from literature, a coupled model is proposed, the fluidic model being the one presented in chapter two. This model is validated compared to finite difference models as well as experimental data from the literature.Finally, the fourth chapter aims at reducing the evaluation cost of the coupled micro-switch model established in chapter three. The first method consists in finding an approximation function of the projection of the fluidic force on the first linear mechanical mode as a function of the mechanical modal coordinates, position and speed. This method is applicable in the incompressible case only. In the compressible case, the Reynolds equation has to be solved. The method of Rewienski and al., which consists in piecewise-linearizing the functions governing the dynamics, is used. Another method based on a piecewise-linear approach, taking advantage of the particular structure of the model presented in chapter two, thus not depending on a training trajectory, is proposed.