Le recours à des simulations numériques pour l’étude de l’influence des paramètres d’entrée (matériaux, chargements, conditions aux limites, géométrie, etc.) sur les différentes quantités d’intérêt en soudage (contraintes résiduelles, distorsion, etc.) s’avère trop long et coûteux vu l’aspect multi-paramétrique de ces simulations. Pour explorer des espaces paramétriques de grandes dimensions, avec des calculs moins coûteux, il parait opportun d’utiliser des approches de réduction de modèle. Dans ce travail, d’une façon a posteriori, une stratégie non-intrusive est développée pour construire les abaques dédiées aux études paramétriques du soudage. Dans une phase offline, une base de données (‘snapshots’) a été pré-calculée avec un choix optimal des paramètres d'entrée donnés par une approche multi-grille (dans l’espace des paramètres). Pour explorer d’autres valeurs de paramètres, une méthode d’interpolation basée sur la variété Grassmannienne est alors proposée pour adapter les bases réduites espace-temps issues de la méthode SVD. Cette méthode a été constatée plus performante que les méthodes d’interpolation standards, notamment en non-linéaire. Afin d’explorer des espaces paramétriques de grandes dimensions, une méthode de type décomposition tensorielle (i.e. HOPGD) a été également étudiée. Pour l’aspect d’optimalité de l’abaque, nous proposons une technique d’accélération de convergence pour la HOPGD et une approche ‘sparse grids’ qui permet d’échantillonner efficacement l’espace des paramètres. Finalement, les abaques optimaux de dimension jusqu’à 10 à précision contrôlée ont été construits pour différents types de paramètres (matériaux, chargements, géométrie) du procédé de soudage. / The use of standard numerical simulations for studies of the influence of input parameters (materials, loading, boundary conditions, geometry, etc.) on the quantities of interest in welding (residual stresses, distortion, etc.) proves to be too long and costly due to the multiparametric aspect of welding. In order to explore high-dimensional parametric spaces, with cheaper calculations, it seems to be appropriate to use model reduction approaches. In this work, in an a posteriori way, a non-intrusive strategy is developed to construct computational vademecum dedicated to parametric studies of welding. In an offline phase, a snapshots database is pre-computed with an optimal choice of input parameters given by a “multi-grids” approach (in parameter space). To explore other parameter values, an interpolation method based on Grassmann manifolds is proposed to adapt both the space and time reduced bases derived from the SVD. This method seems more efficient than standard interpolation methods, especially in non-linear cases. In order to explore highdimensional parametric spaces, a tensor decomposition method (i.e. HOPGD) has also been studied. For the optimality aspect of the computational vademecum, we propose a convergence acceleration technique for HOPGD and a “sparse grids” approach which allows efficient sampling of the parameter space. Finally, computational vademecums of dimension up to 10 with controlled accuracy have been constructed for different types of welding parameters (materials, loading, geometry).

L’optimisation des traitements en radiothérapie vise à améliorer la précision de l’irradiation des cellules cancéreuses pour épargner le plus possible les organes environnants. Or la dose périphérique déposée dans les tissus les plus éloignés de la tumeur n’est actuellement pas calculée par les logiciels de planification de traitement, alors qu’elle peut être responsable de l’induction de cancers secondaires radio-induits. Parmi les différentes composantes, les neutrons produits par processus photo-nucléaires sont les particules secondaires pour lesquelles il y a un manque important de données dosimétriques. Une étude expérimentale et par simulation Monte Carlo de la production des neutrons secondaires en radiothérapie nous a conduit à développer un algorithme qui utilise la précision du calcul Monte Carlo pour l’estimation de la distribution 3D de la dose neutron délivrée au patient. Un tel outil permettra la création de bases de données dosimétriques pouvant être utilisées pour l’amélioration des modèles mathématiques « dose-risque » spécifiques à l’irradiation des organes périphériques à de faibles doses en radiothérapie. / Treatment optimization in radiotherapy aims at increasing the accuracy of cancer cell irradiation while saving the surrounding healthy organs. However, the peripheral dose deposited in healthy tissues far away from the tumour are currently not calculated by the treatment planning systems even if it can be responsible for radiation induced secondary cancers. Among the different components, neutrons produced through photo-nuclear processes are suffering from an important lack of dosimetric data. An experimental and Monte Carlo simulation study of the secondary neutron production in radiotherapy led us to develop an algorithm using the Monte Carlo calculation precision to estimate the 3D neutron dose delivered to the patient. Such a tool will allow the generation of dosimetric data bases ready to be used for the improvement of “dose-risk” mathematical models specific to the low dose irradiation to peripheral organs occurring in radiotherapy.

Les nouvelles technologies mécatroniques permettent de réduire fortement la consommation d'énergie et les émissions des véhicules individuels, en introduisant des ruptures indispensables pour une chaîne de traction électrifiée complémentaire ou alternative aux moteurs thermiques. Les assemblages en électronique de puissance utilisés dans les systèmes alterno-démarreurs emploient des alliages de brasure dont il s'agit de trouver des substituants, sans plomb, en accord avec les normes internationales. Cette thèse contribue à la caractérisation métallurgique et mécanique de deux joints brasés sans plomb innovants riches en étain. Ces joints sont produits industriellement par un procédé de brasage laser qui leur confère une microstructure de solidification très hétérogène, peu reproductible, multiphasée et qui présente un grand nombre de défauts. L'objectif de cette thèse est d'apporter une meilleure compréhension à la tenue mécanique de ces joints brasés au cours du vieillissement thermomécanique des assemblages. Les sollicitations thermiques engendrent des contraintes et des déformations plastiques à cause de la dilatation différentielle qui existe entre les différentes couches des matériaux brasés. Des lois de comportement isotropes ont été identifiées à partir d'une base expérimentale d'essais de traction sur des matériaux massifs. Ces lois, utilisées dans des simulations aux éléments finis, ont permis d'évaluer l'effet négatif du défaut de porosité inhérent au procédé de brasage. Des essais de vieillissement couplés à des observations de l'évolution de la microstructure ont permis de montrer l'influence de l'orientation des grains d'étain sur l'amorçage de fissure. Nous n'avons pas pu proposer de volume élémentaire représentatif du fait de la complexité de la structure. Une méthode inverse a été mise en oeuvre en parallèle de la conception d'un banc d'essai de flexion in-situ sous profilomètre afin de placer les premières briques permettant la caractérisation mécanique de joints brasés industriels. / The new mechatronic technologies can significantly reduce the energy consumption and gas emissions of personal cars, by introducing rupture innovations in electrified powertrains complementarily or alternatively to combustion engines. The power electronics assemblies used in starter-alternator systems use solder joints which need to be substituted with lead-free solder in agreements with international standards. This thesis contributes to the metallurgical and mechanical characterization of two tin-based lead-free solder joints. These joints are produced industrially with a Die Laser Soldering process which leads to heterogeneous solidification microstructures, poorly reproducible, multiphased, and with defects. The objective of this thesis is to provide a better understanding of the solder joints lifetime during thermomechanical aging. Thermal aging generates stresses and plastic deformation due to the mismatch in the coefficients of thermal expansion between the different layers of the assemblies. Isotropic constitutive laws were identified from an experimental database of tensile tests on bulk specimens. Those constitutive laws were used in finite element simulations in order to assess the negative effect of the solder joint porosity, inherent flaw traced back to the soldering process. Aging tests coupled with observations of the microstructure evolution have shown the influence of tin grains orientation on crack initiation. The heterogeneity of the microstructure prevents us from proposing a representative volume element of the materials. An inverse method has been implemented in parallel with the development of an in situ bending test bench under a profilometer in order to build the first steps for the mechanical characterization of industrial solder joints.

Une technique d'abstraction et de partage de structure pour une methode de démonstration automatique non expérimentée jusqu'à présent est proposée. On donne aussi une généralisation de la règle d'inférence pour le cas propositionnel. Une preuve est séparée en plan + validation, ce qui correspond à séparer la partie purement déductive de l'algorithme d'unification. Cette séparation est utilisée pour détecter les ensembles responsables des échecs de validation pour un retour arrière non aveugle

Cette thèse porte essentiellement sur l'étude des solutions stationnaires, en dimension 1 d'espace, d'unmodèle de champs de phase cristallin introduit par Elder en 2002. Ainsi, nous prouvons, par la méthode deréduction de Lyapunov-Schmidt et la technique des multiparamètres, l'existence de courbes de solutionsbifurquantes stationnaires lorsque le noyau de l'opérateur linéarisé, au voisinage de la solution triviale estde dimension 2. Une parenthèse est ouverte pour la comparaison de l'énergie de la solution bifurquantepar rapport à celle la solution triviale. Aussi, grâce au principe de la stabilité réduite, nous fournissonsdes ensembles précis de valeurs des paramètres de bifurcation pour lesquelles les solutions obtenues sontstables ou instables. Ces résultats théoriques sont corroborés par plusieurs tests numériques.Par ailleurs, dans le cas classique du noyau unidimensionel, nous établissons des diagrammes de phasespermettant de comprendre les différentes orientations de courbes de solutions non triviales au voisinage dechaque point de bifurcation. / This thesis is devoted to the study of stationary solutions of a Phase Field Crystal model, in one spacedimension, introduced by Elder in 2002. Thus, we prove by the Lyapunov-Schmidt method of reductionand the multiparameter technique, the existence of the curves of bifurcating stationary solutions whenthe kernel of the linearized operator near to trivial solution is of two dimension. A parenthesis is open forcomparing the energies of the bifurcating solution and the trivial solution. Also, thanks to the principle ofreduced stability, we provide specific sets of parameter values for wich the obtained solutions are stable orunstable. These theoretical results are confirmed by several numerical tests.Moreover, in the classical case of a one dimensional kernel, we establish the phase diagrams allowing tounderstand the different orientations of non-trivial solutions curves near to of each bifurcation point.

Dans le domaine automobile, les modules électroniques de puissance des produits mécatroniques voient leur puissance sans cesse s'accroître, tout en étant confinés dans des volumes de plus en plus réduits. Au cours de leur fonctionnement, les composants semi-conducteurs et leur assemblage subissent ainsi des contraintes électro-thermo-mécaniques sévères, susceptibles d'entraîner leur destruction et de provoquer la défaillance du produit. L'étude de la fiabilité et le calcul de la durée de vie de tels produits dépendent des températures de jonction calculées au niveau des puces des composants de puissances. De surcroît, le contexte d'applications embarquées requiert de maîtriser, outre les paramètres électriques et mécaniques, les paramètres thermiques tels que les températures de jonctions et les puissances dissipées au niveau des composants, qu'il est nécessaire de réguler et contrôler en temps réel afin d'assurer le bon fonctionnement du produit. L'objectif de cette thèse est ainsi de proposer une méthode d'identification de modèles réduits dans le but d'estimer le comportement thermique des modules électroniques de puissance, en se fondant uniquement sur les données d'entrées et les résultats issus d'une simulation numérique d'un modèle détaillé du système étudié. Dans cette thèse, une nouvelle méthode d'identification, nommée « Kernel Identification Method », est développée. Cette méthode a été validée sur une application industrielle traitant d'un problème thermique couplé solide/fluide dont le comportement est essentiellement régi par de la convection forcée. Une étude exploratoire portant sur l'identification de problèmes non linéaires où la convection naturelle joue le rôle dominant est ensuite proposée. A cet effet, deux méthodes d’identification non-paramétrique sont proposées : (i) une première méthode basée sur l’extension de la méthode Kernel Identification Method ; et (ii) une deuxième méthode basée sur la variante dite « Unscented » du filtre de Kalman. / In automotive applications, the thermal dissipation of power electronics modules in mechatronic products is constantly increasing, whereas these products are confined in increasingly reduced volumes. During their operation, the semiconductor components and their environment are then submitted to severe electro-thermo-mechanical stresses that could cause their damage and lead to the product failure. The reliability and lifetime prevision of such products depend on the temperature junction located at the chip of power components. Furthermore, in order to ensure the safe operation of embedded applications, it is essential to perform a real-time control of thermal parameters such as the junction temperatures and power dissipated on the power components, in addition to the electrical and mechanical parameters. The objective of this thesis is to develop an identification method aimed at producing reduced thermal models to estimate the thermal behaviour of power electronic modules. Designed in a non-intrusive framework, this method post-processes the input data and the results produced by the numerical simulation of a detailed of the system under study. In this thesis, a new identification method, called "Kernel Identification Method" is developed. It has been validated on an industrial application dealing with a thermally coupled solid / fluid problem mainly governed by forced convection. An exploratory study of nonlinear problems identification where the natural convection plays the dominant role is then proposed. To this end, two identification methods of nonparametric nature are proposed: (i) a method based on the extension of the Kernel Identification Method; and (ii) a second method based on the "unscented" variant of the Kalman filter.

Nous présentons dans cette thèse nos travaux sur la réduction d'ordre appliquée à des simulations d'aérothermie. Nous considérons le couplage entre les équations de Navier-Stokes et une équations d'énergie de type advection-diffusion. Les paramètres physiques considérés nous obligent à considéré l'introduction d'opérateurs de stabilisation de type SUPG ou GLS. Le but étant d'ajouter une diffusion numérique dans la direction du champs de convection, afin de supprimer les oscillations non-phyisques. Nous présentons également notre stratégie de résolution basée sur la méthode des bases réduite (RBM). Afin de retrouver une décomposition affine, essentielle pour l'application de la RBM, nous avons implémenté une version discrète de la méthode d'interpolation empirique (EIM). Cette variante permet de la construction d'approximation affine pour des opérateurs complexes. Nous utilisons notamment cette méthode pour la réduction des opérateurs de stabilisations. Cependant, la construction des bases EIM pour des problèmes non-linéaires implique un grand nombre de résolution éléments finis. Pour pallier à ce problème, nous mettons en oeuvre les récents développement de l'algorithme de coconstruction entre EIM et RBM (SER). / We present in this thesis our work on model order reduction for aerothermal simulations. We consider the coupling between the incompressible Navier-Stokes equations and an advection-diffusion equation for the temperature. Since the physical parameters induce high Reynolds and Peclet numbers, we have to introduce stabilization operators in the formulation to deal with the well known numerical stability issue. The chosen stabilization, applied to both fluid and heat equations, is the usual Streamline-Upwind/Petrov-Galerkin (SUPG) which add artificial diffusivity in the direction of the convection field. We also introduce our order reduction strategy for this model, based on the Reduced Basis Method (RBM). To recover an affine decomposition for this complex model, we implemented a discrete variation of the Empirical Interpolation Method (EIM) which is a discrete version of the original EIM. This variant allows building an approximated affine decomposition for complex operators such as in the case of SUPG. We also use this method for the non-linear operators induced by the shock capturing method. The construction of an EIM basis for non-linear operators involves a potentially huge number of non-linear FEM resolutions - depending on the size of the sampling. Even if this basis is built during an offline phase, we usually can not afford such expensive computational cost. We took advantage of the recent development of the Simultaneous EIM Reduced basis algorithm (SER) to tackle this issue.

Cette thèse s'inscrit dans le cadre de l'analyse statistique de données en grande dimension. Nous avons en effet aujourd'hui accès à un nombre toujours plus important d'information. L'enjeu majeur repose alors sur notre capacité à explorer de vastes quantités de données et à en inférer notamment les structures de dépendance. L'objet de cette thèse est d'étudier et d'apporter des garanties théoriques à certaines méthodes d'estimation de structures de dépendance de données en grande dimension.La première partie de la thèse est consacrée à l'étude de modèles parcimonieux et aux méthodes de type Lasso. Après avoir présenté les résultats importants sur ce sujet dans le chapitre 1, nous généralisons le cas gaussien à des modèles exponentiels généraux. La contribution majeure à cette partie est présentée dans le chapitre 2 et consiste en l'établissement d'inégalités oracles pour une procédure Group Lasso appliquée aux modèles linéaires généralisés. Ces résultats montrent les bonnes performances de cet estimateur sous certaines conditions sur le modèle et sont illustrés dans le cas du modèle Poissonien. Dans la deuxième partie de la thèse, nous revenons au modèle de régression linéaire, toujours en grande dimension mais l'hypothèse de parcimonie est cette fois remplacée par l'existence d'une structure de faible dimension sous-jacente aux données. Nous nous penchons dans cette partie plus particulièrement sur la méthode PLS qui cherche à trouver une décomposition optimale des prédicteurs étant donné un vecteur réponse. Nous rappelons les fondements de la méthode dans le chapitre 3. La contribution majeure à cette partie consiste en l'établissement pour la PLS d'une expression analytique explicite de la structure de dépendance liant les prédicteurs à la réponse. Les deux chapitres suivants illustrent la puissance de cette formule aux travers de nouveaux résultats théoriques sur la PLS . Dans une troisième et dernière partie, nous nous intéressons à la modélisation de structures au travers de graphes et plus particulièrement à la détection de communautés. Après avoir dressé un état de l'art du sujet, nous portons notre attention sur une méthode en particulier connue sous le nom de spectral clustering et qui permet de partitionner les noeuds d'un graphe en se basant sur une matrice de similarité. Nous proposons dans cette thèse une adaptation de cette méthode basée sur l'utilisation d'une pénalité de type l1. Nous illustrons notre méthode sur des simulations. / This thesis falls within the context of high-dimensional data analysis. Nowadays we have access to an increasing amount of information. The major challenge relies on our ability to explore a huge amount of data and to infer their dependency structures.The purpose of this thesis is to study and provide theoretical guarantees to some specific methods that aim at estimating dependency structures for high-dimensional data. The first part of the thesis is devoted to the study of sparse models through Lasso-type methods. In Chapter 1, we present the main results on this topic and then we generalize the Gaussian case to any distribution from the exponential family. The major contribution to this field is presented in Chapter 2 and consists in oracle inequalities for a Group Lasso procedure applied to generalized linear models. These results show that this estimator achieves good performances under some specific conditions on the model. We illustrate this part by considering the case of the Poisson model. The second part concerns linear regression in high dimension but the sparsity assumptions is replaced by a low dimensional structure underlying the data. We focus in particular on the PLS method that attempts to find an optimal decomposition of the predictors given a response. We recall the main idea in Chapter 3. The major contribution to this part consists in a new explicit analytical expression of the dependency structure that links the predictors to the response. The next two chapters illustrate the power of this formula by emphasising new theoretical results for PLS. The third and last part is dedicated to graphs modelling and especially to community detection. After presenting the main trends on this topic, we draw our attention to Spectral Clustering that allows to cluster nodes of a graph with respect to a similarity matrix. In this thesis, we suggest an alternative to this method by considering a $l_1$ penalty. We illustrate this method through simulations.

Dans ce mémoire nous avons développé des méthodes de réduction des systèmes hamiltoniens à port en dimension finie et infinie qui préservent leur structure. Dans la première partie, nous avons défini une représentation des systèmes hamiltoniens à port avec contraintes sous la forme d'équations différentielles algébriques (DEA) de type de système descripteur. De cette forme nous avons déduit une réalisation équilibrée du système hamiltonien à port exprimée sous forme de système descripteur contenant les mêmes systèmes d'équations de contrainte. Dans la deuxième partie, nous avons défini une classe de problèmes de commande LQG tels que le contrôleur dynamique LQG est passif et admet une réalisation hamiltonien à port. Deux méthodes de synthèse de commande passive LQG sont proposées et une de ces méthodes LQG nous a permis de définir une réalisation équilibrée LQG. Puis nous avons appliqué la méthode de contrainte de l'effort pour réduire le système hamiltonien à port et obtenir une commande LQG passive d'ordre réduit. Ce contrôleur LQG admettant une réalisation hamiltonienne, la structure hamiltonienne est préservée pour le système en boucle fermée par interconnexion de systèmes hamiltoniens à port. Dans la troisième partie, nous avons généralisé les résultats précédents aux systèmes hamiltoniens à ports linéaires de dimension infinie. Pour cela nous avons considéré une classe de systèmes hamiltoniens à ports de dimension infinie dont l'opérateur d'entrée est borné et un problème de commande LQG passif. Sous des conditions de nucléarité de l'opérateur de Hankel lié au problème LQG, nous définissons une réalisation équilibrée LQG passive du système et une approximation en dimension finie. Le contrôleur LQG passif d'ordre réduit obtenu par cette approximation admet une réalisation hamiltonienne à port et par conséquent la structure hamiltonienne et la passivité sont préservées en boucle fermée / In this thesis we have developed different structure preserving reduction methods for finite and infinite dimensional port Hamiltonian systems by using a balanced model reduction approach. In the first part we have defined a descriptor representation of port Hamiltonian systems with constraints. The balanced realization of the descriptor system has been used for reducing the port Hamiltonian descriptor system and conserving explicitly the constraint equations. In the second part, conditions have been derived on the weighting matrices of the LQG control problem such that the dynamical LQG controller is passive and has a port Hamiltonian realization. Two passive LQG control design methods have been suggested and one of them allows us to define a LQG balanced realization. Based on this realization, the effort constraint method has been used to reduce the LQG balanced port Hamiltonian system and obtain a reduced order passive LQG controller. In this way the closed-loop system is derived from the interconnection of 2 port Hamiltonian systems, hence the Hamiltonian structure has been preserved. In the third part, the proceeding results have been extended to a class of infinite dimensional port Hamiltonian system with bounded input operator. A passive LQG control design method for infinite dimensional port Hamiltonian system has been derived as by Control by Interconnection (CbI). Based on the balanced realization associated with this passive LQG control design, a finite dimensional approximation has been achieved and a reduced order passive LQG controller has been derived. As a consequence, the system in closed-loop with this reduced order LQG controller again admits a port Hamiltonian structure and satisfies the passivity

No description available.