Pour la prédiction de l'anisotropie mécanique induite par la microstructure du métal ainsi que le suivi de l'évolution de la texture cristallographique lors de la simulation des procédés de mise en forme, nous utilisons le couplage de la méthode EF à un modèle polycristallin. Pour ce type de couplage, le polycristal est souvent modélisé par sa texture discrétisée, qui est habituellement considérée à chaque point d'intégration du maillage, générant ainsi des temps de calcul très élévés. Afin de diminuer le temps de calcul de ce type d'approche, nous utilisons dans ce travail le concept des particules Lagrangiennes. Les particules Lagrangiennes permettent de subdiviser le volume étudié en cellules. Au lieu de considérer une texture par point d'intégration, la texture est distribuée sur les points d'intégration d'une même cellule. Ainsi, sur chaque point d'intégration du maillage, seule une partie de la texture est considérée, diminuant par conséquent le nombre total de textures placées dans le maillage et le temps de calcul. De plus, lors des simulations des procédés de mise en forme en grandes déformations, le remaillage est souvent nécessaire. L'introduction de particules Lagrangiennes dans le maillage permet de transporter les variables microstructurales, alors que certaines ne peuvent l'être par les méthodes de transport classiques. Cette méthode basée sur le concept des particules Lagrangiennes a été validée à l'aide des expériences suivantes: compressions uniaxiales d'éprouvettes issues d'un acier brut de solidification présentant une texture marquée dans sa zone colonnaire induite par le procédé de solidification, et compressions sur génératrice d'un alliage d'alumium, présentant une texture marquée induite par le filage. La méthode mise en place dans ce travail est présentée dans le cadre général de la simulation de procédés de mise en forme en grandes déformations, où les variables microstructurales du matériau évoluent et déterminent la loi de comportement de celui-ci.

Dans cette thèse et dans le but d'améliorer le ratio temps/précision des calculs de simulation numérique, nous explorons les techniques multi-échelles pour la résolution des équations de la cinétique des réacteurs. Nous choisissons de nous focaliser sur l'approximation mixte duale de la diffusion et sur les méthodes quasi-statiques. Nous introduisons une dépendance spatiale dans la fonction d'amplitude qui ne dépend que de la variable temps dans le contexte quasi-statique standard. Avec cette nouvelle factorisation, nous développons deux problèmes mixtes duaux qui peuvent être résolus avec le solveur MINOS du CEA. Un algorithme est implémenté, effectuant la résolution des ces problèmes définis sur des échelles différentes (en temps et espace). Nous nommons cette approche : la méthode Quasi-Statique Locale. Nous présentons ici cette approche multi-échelle et sa mise en \oe uvre. Les détails propres aux traitements de l'amplitude et de la forme sont développés et justifiés. Les résultats et performances, comparés à MINOS, sont étudiés. Ils illustrent l'amélioration du ratio temps/précision pour les calculs de cinétique. De plus, nous ouvrons de nouvelles possibilités pour paralléliser les calculs avec MINOS. Pour la suite, nous introduisons aussi quelques pistes d'amélioration avec les échelles adaptatives.

Thesis--George Washington University. / Includes bibliographical references (p. 98-101).

Thesis--George Washington University. / Includes bibliographical references (p. 98-101).

L'analyse musculo-squelettique est un outil de plus en plus utilisé dans les domaines d'application tels que l'ergonomie, la rééducation ou le sport. Cette analyse permet une estimation des efforts articulaires et des tensions musculaires mises en jeu au cours du mouvement. Les modèles et méthodes que cette analyse exploite conduisent à des résultats de plus en plus réalistes. Cela a pour conséquence de limiter les performances de ces logiciels : le temps de calcul augmente et il est nécessaire de mettre en place des protocoles ainsi que qu’un post-traitement des données long et complexe pour adapter les modèles au sujet. Enfin, de tels logiciels nécessitent une expertise importante des utilisateurs pour être pleinement opérationnels. Ces différents points limitent dans la plupart des cas l'utilisation de ces logiciels au domaine de la recherche.Dans l'objectif de démocratiser l'utilisation des analyses musculo-squelettiques, cette thèse propose des contributions permettant d’améliorer les performances de telles analyses en conservant un bon niveau de précision, ainsi que des contributions permettant une calibration spécifique au sujet des modèles facile à mettre en œuvre. Tout d'abord, dans un souci de maîtrise complète des outils de l’analyse du mouvement, cette thèse développe une approche globale sur l'ensemble des étapes qui la constitue : les étapes de cinématique, de dynamique et d'estimation des efforts musculaires. Pour chacune de ces étapes, des méthodes de résolution en temps rapide ont été proposées. Une méthode de résolution de la question de la répartition des efforts musculaires utilisant une base de données pré-calculée est notamment largement développée. De plus, un processus complet de calibration utilisant uniquement le matériel disponible dans une salle d'analyse de mouvement classique a été développé, où les données utilisées sont issues de capture de mouvement ainsi que de plateformes de force. / Musculoskeletal analysis becomes popular in applications fields such as ergonomics, rehabilitation or sports. This analysis enables an estimation of joint reaction forces and muscles tensions generated during motion. Models and methods used in such an analysis give more and more accurate results. As a consequence, performances of software are limited: computation time increases, and experimental protocols and associated post-process are long and tedious to define subject-specific models. Finally, such software need a high expertise level to be driven properly.In order to democratize the use of musculoskeletal analysis for a wide range of users, this thesis proposes contributions enabling better performances of such analyses and preserving accuracy, as well as contributions enabling an easy subject-specific model calibration. Firstly, in order to control the whole analysis process, the thesis is developed in a global approach of all the analysis steps: kinematics, dynamics and muscle forces estimation. For all of these steps, quick analysis methods have been proposed. Particularly, a quick muscle force sharing problem resolution method has been proposed, based on interpolated data. Moreover, a complete calibration process, based on classical motion analysis tools available in a biomechanical lab has been developed, based on motion capture and force platform data.

Aujourd’hui, les matériaux composites sont très largement utilisés, notamment dans la réalisation de structures aéronautiques, grâce à leurs nombreux avantages fonctionnels. Leurs caractéristiques mécaniques spécifiques (propriétés/masse volumique) nettement supérieures à d’autres matériaux plus classiques, tels que l’acier ou l’aluminium et la réalisation de formes complexes, font de ces matériaux des candidats très compétitifs dans de nombreux secteurs au-delà de l’aéronautique. Toutefois, ces matériaux présentent à différentes échelles d’observation des sources de variabilité caractéristiques à chacune d’entre elles. Le procédé de fabrication des pièces ainsi que les propriétés des constituants élémentaires en sont les principaux responsables. Trois niveaux (ou échelles) d’observation sont usuellement considérés dans les matériaux composites : l’échelle microscopique (fibres et matrice), l’échelle mésoscopique (pli) et enfin l’échelle macroscopique (stratification de plis). Les sources de variabilité se propagent à travers les échelles et génèrent finalement des comportements mécaniques dispersés à l’échelle de la structure. La prise en considération de cette variabilité s’avère alors pertinente pour le concepteur, désireux d’obtenir un indicateur de la fiabilité du matériau ou de la structure composite qu’il conçoit. Pour cela, il est nécessaire de transférer à moindre coût de calcul cette variabilité dès l’échelle microscopique et jusqu’à l’échelle de la structure. La construction de lois de distribution des propriétés mécaniques équivalentes en fonction de la variabilité présente à chaque échelle est alors indispensable. L’objectif de ce travail de recherche a été d’élaborer des distributions du comportement homogénéisé du matériau à l’échelle des fibres et de la matrice en fonction de la variabilité existante à cette échelle. La réduction du temps de calcul nécessaire à leur obtention a été également visée. À partir d’une observation microscopique réalisée sur une coupe d’un CMO, la variabilité morphologique du milieu hétérogène a été caractérisée et six types différents de motifs d’arrangements de fibres regroupés en cellules ont ainsi été identifiés. Des cellules virtuelles, physiquement raisonnables, ont été générées et proposées pour établir des lois de distribution du comportement équivalent par type de cellule, en fonction des paramètres variables pertinents retenus à cette échelle. En ce qui concerne la réduction du temps de calcul nécessaire à l’élaboration de ces lois de distribution, une démarche reposant sur l’utilisation des réseaux de neurones a été proposée. Cette démarche a été illustrée sur une cellule de type 6 et pour un nombre de 1000 calculs EF de référence, afin d’apprécier la qualité de l’approximation ainsi que la diminution du temps de calcul. La réduction du temps de calcul s’est avérée significative. Le gain du temps a été d’environ 95 %. / Nowadays, composite materials are very widely used, notably in the domain of aeronautical structures, thanks to their numerous functional benefits. Their specific mechanical properties (properties/density) far superior to those of conventional materials, such as steel or aluminum and the realization of complex shapes, make these materials perfect candidates in many areas beyond aviation. However, these materials present at different observation scales sources of variability peculiar to each one. The manufacturing process and the properties of the elementary constituents are in fact the principal cause of these sources of variability. Three levels (or scales) of observation are usually considered regarding composite materials: the microscopic scale (fibers and matrix), the mesoscopic scale (ply) and finally the macroscopic scale (laminate material). The sources of variability propagate trough the scales and finally generate dispersed mechanical behaviors at the structure scale. Taking into consideration these sources is proved to be a relevant work by the designer, which in turn will allow him to calculate an indicator of the composite structure reliability that he is conceiving. To be able to do the latter work, it is necessary to transfer this variability at a lower computational cost from the microscopic level up to the structure scale. The construction of equivalent mechanical properties distributions according to the variability present at each scale is then essential. The objective of this research work was to build statistical distributions of the homogenized behavior of the material at the scale of fibers and matrix, according to the existing variability at this scale. Minimizing the computation time required for obtaining these distributions was another important objective. From a microscopic observation made on a section of a CMO, the morphological variability of the heterogeneous medium has been characterized and six different types of arrangements patterns of fibers grouped into cells have then been identified. Physically reasonable virtual cells have been developed and suggested, in order to build the equivalent behavior distribution by cell type, according to the relevant variables selected at this scale. Now, in order to minimize the computing time required for the creation of these distributions, an approach based on neural networks was proposed. This approach was used for a type 6 cell and for a number of 1000 FE calculations, in order to evaluate the quality of the approximation as well as the reduction of computation time. Hence, the reduction of the computation time was significant, at an approximate rate of 95 %.

Cette thèse porte sur l’étude d’une méthode de type Galerkin discontinu en domaine temporel (GDDT), afin de résoudre numériquement les équations de Maxwell instationnaires sur des maillages hybrides tétraédriques/hexaédriques en 3D (triangulaires/quadrangulaires en 2D) et non-conformes, que l’on note méthode GDDT-PpQk. Comme dans différents travaux déjà réalisés sur plusieurs méthodes hybrides (par exemple des combinaisons entre des méthodes Volumes Finis et Différences Finies, Éléments Finis et Différences Finies, etc.), notre objectif principal est de mailler des objets ayant une géométrie complexe à l’aide de tétraèdres, pour obtenir une précision optimale, et de mailler le reste du domaine (le vide environnant) à l’aide d’hexaèdres impliquant un gain en terme de mémoire et de temps de calcul. Dans la méthode GDDT considérée, nous utilisons des schémas de discrétisation spatiale basés sur une interpolation polynomiale nodale, d’ordre arbitraire, pour approximer le champ électromagnétique. Nous utilisons un flux centré pour approcher les intégrales de surface et un schéma d’intégration en temps de type saute-mouton d’ordre deux ou d’ordre quatre. Après avoir introduit le contexte historique et physique des équations de Maxwell, nous présentons les étapes détaillées de la méthode GDDT-PpQk. Nous réalisons ensuite une analyse de stabilité L2 théorique, en montrant que cette méthode conserve une énergie discrète et en exhibant une condition suffisante de stabilité de type CFL sur le pas de temps, ainsi que l’analyse de convergence en h (théorique également), conduisant à un estimateur d’erreur a-priori. Ensuite, nous menons une étude numérique complète en 2D (ondes TMz), pour différents cas tests, des maillages hybrides et non-conformes, et pour des milieux de propagation homogènes ou hétérogènes. Nous faisons enfin de même pour la mise en oeuvre en 3D, avec des simulations réalistes, comme par exemple la propagation d’une onde électromagnétique dans un modèle hétérogène de tête humaine. Nous montrons alors la cohérence entre les résultats mathématiques et numériques de cette méthode GDDT-PpQk, ainsi que ses apports en termes de précision et de temps de calcul. / This thesis is concerned with the study of a Discontinuous Galerkin Time-Domain method (DGTD), for the numerical resolution of the unsteady Maxwell equations on hybrid tetrahedral/hexahedral in 3D (triangular/quadrangular in 2D) and non-conforming meshes, denoted by DGTD-PpQk method. Like in several studies on various hybrid time domain methods (such as a combination of Finite Volume with Finite Difference methods, or Finite Element with Finite Difference, etc.), our general objective is to mesh objects with complex geometry by tetrahedra for high precision and mesh the surrounding space by square elements for simplicity and speed. In the discretization scheme of the DGTD method considered here, the electromagnetic field components are approximated by a high order nodal polynomial, using a centered approximation for the surface integrals. Time integration of the associated semi-discrete equations is achieved by a second or fourth order Leap-Frog scheme. After introducing the historical and physical context of Maxwell equations, we present the details of the DGTD-PpQk method. We prove the L2 stability of this method by establishing the conservation of a discrete analog of the electromagnetic energy and a sufficient CFL-like stability condition is exhibited. The theoritical convergence of the scheme is also studied, this leads to a-priori error estimate that takes into account the hybrid nature of the mesh. Afterward, we perform a complete numerical study in 2D (TMz waves), for several test problems, on hybrid and non-conforming meshes, and for homogeneous or heterogeneous media. We do the same for the 3D implementation, with more realistic simulations, for example the propagation in a heterogeneous human head model. We show the consistency between the mathematical and numerical results of this DGTD-PpQk method, and its contribution in terms of accuracy and CPU time.

Tout comportement défectueux d’un système temps-réel critique, comme celui utilisé dans le réseau avionique ou le secteur nucléaire, peut mettre en danger des vies. Par conséquent, la vérification et validation de ces systèmes est indispensable avant leurs déploiements. En fait, les autorités de sécurité demandent d’assurer des garanties déterministes. Dans cette thèse, nous nous intéressons à obtenir des garanties temporelles, en particulier nous avons besoin de prouver que le temps de réponse de bout-en-bout de chaque flux présent dans le réseau est borné. Ce sujet a été abordé durant de nombreuses années et plusieurs approches ont été développées. Après une brève comparaison entre les différentes approches existantes, une semble être un bon candidat. Elle s’appelle l’approche par trajectoire; cette méthode utilise les résultats établis par la théorie de l'ordonnancement afin de calculer une limite supérieure. En réalité, la surestimation de la borne calculée peut entrainer la rejection de certification du réseau. Ainsi une première partie du travail consiste à détecter les sources de pessimisme de l’approche adoptée. Dans le cadre d’un ordonnancement FIFO, les termes ajoutant du pessimisme à la borne calculée ont été identifiés. Cependant, comme les autres méthodes, l’approche par trajectoire souffre du problème de passage à l’échelle. En fait, l’approche doit être appliquée sur un réseau composé d’une centaine de commutateur et d’un nombre de flux qui dépasse les milliers. Ainsi, il est important qu’elle soit en mesure d'offrir des résultats dans un délai acceptable. La première étape consiste à identifier, dans le cas d’un ordonnancement FIFO, les termes conduisant à un temps de calcul important. L'analyse montre que la complexité du calcul est due à un processus récursif et itératif. Ensuite, en se basant toujours sur l’approche par trajectoire, nous proposons de calculer une limite supérieure dans un intervalle de temps réduit et sans perte significative de précision. C'est ce qu'on appelle l'approche par trajectoire scalable. Un outil a été développé permettant de comparer les résultats obtenus par l’approche par trajectoire et notre proposition. Après application sur un réseau de taille réduite (composé de 10 commutateurs), les résultats de simulations montrent que la durée totale nécessaire pour calculer les bornes des milles flux a été réduite de plusieurs jours à une dizaine de secondes. / In critical real-time systems, any faulty behavior may endanger lives. Hence, system verification and validation is essential before their deployment. In fact, safety authorities ask to ensure deterministic guarantees. In this thesis, we are interested in offering temporal guarantees; in particular we need to prove that the end-to-end response time of every flow present in the network is bounded. This subject has been addressed for many years and several approaches have been developed. After a brief comparison between the existing approaches, the Trajectory Approach sounded like a good candidate due to the tightness of its offered bound. This method uses results established by the scheduling theory to derive an upper bound. The reasons leading to a pessimistic upper bound are investigated. Moreover, since the method must be applied on large networks, it is important to be able to give results in an acceptable time frame. Hence, a study of the method’s scalability was carried out. Analysis shows that the complexity of the computation is due to a recursive and iterative processes. As the number of flows and switches increase, the total runtime required to compute the upper bound of every flow present in the network understudy grows rapidly. While based on the concept of the Trajectory Approach, we propose to compute an upper bound in a reduced time frame and without significant loss in its precision. It is called the Scalable Trajectory Approach. After applying it to a network, simulation results show that the total runtime was reduced from several days to a dozen seconds.

Cette thèse porte sur l'étude d'une méthode de type Galerkin discontinu en domaine temporel (GDDT), afin de résoudre numériquement les équations de Maxwell instationnaires sur des maillages hybrides tétraédriques/hexaédriques en 3D (triangulaires/quadrangulaires en 2D) et non-conformes, que l'on note méthode GDDT-PpQk. Comme dans différents travaux déjà réalisés sur plusieurs méthodes hybrides (par exemple des combinaisons entre des méthodes Volumes Finis et Différences Finies, Éléments Finis et Différences Finies, etc.), notre objectif principal est de mailler des objets ayant une géométrie complexe à l'aide de tétraèdres, pour obtenir une précision optimale, et de mailler le reste du domaine (le vide environnant) à l'aide d'hexaèdres impliquant un gain en terme de mémoire et de temps de calcul. Dans la méthode GDDT considérée, nous utilisons des schémas de discrétisation spatiale basés sur une interpolation polynomiale nodale, d'ordre arbitraire, pour approximer le champ électromagnétique. Nous utilisons un flux centré pour approcher les intégrales de surface et un schéma d'intégration en temps de type saute-mouton d'ordre deux ou d'ordre quatre. Après avoir introduit le contexte historique et physique des équations de Maxwell, nous présentons les étapes détaillées de la méthode GDDT-PpQk. Nous réalisons ensuite une analyse de stabilité L2 théorique, en montrant que cette méthode conserve une énergie discrète et en exhibant une condition suffisante de stabilité de type CFL sur le pas de temps, ainsi que l'analyse de convergence en h (théorique également), conduisant à un estimateur d'erreur a-priori. Ensuite, nous menons une étude numérique complète en 2D (ondes TMz), pour différents cas tests, des maillages hybrides et non-conformes, et pour des milieux de propagation homogènes ou hétérogènes. Nous faisons enfin de même pour la mise en oeuvre en 3D, avec des simulations réalistes, comme par exemple la propagation d'une onde électromagnétique dans un modèle hétérogène de tête humaine. Nous montrons alors la cohérence entre les résultats mathématiques et numériques de cette méthode GDDT-PpQk, ainsi que ses apports en termes de précision et de temps de calcul.

L'exportation et la mutualisation des industries de fabrication des circuits intégrés impliquent de nombreuses interrogations concernant l'intégrité des circuits fabriqués. On se retrouve alors confronté au problème d'insertion d'une fonctionnalité dissimulée pouvant agir de façon cachée : on parle de Cheval de Troie Matériel (CTM). En raison de la complexité d'un circuit intégré, repérer ce genre de modification se révèle particulièrement difficile. Le travail proposé dans ce manuscrit s'oriente vers une technique de détection non destructrice de CTM. L’approche consiste à utiliser les temps de calculs internes du système étudié comme canal permettant de détecter des CTM. Dans ces travaux, un modèle décrivant les temps de calcul est défini. Il prend notamment en compte deux paramètres importants que sont les conditions expérimentales et les variations de procédés.Des attaques en faute par glitchs d’horloge basée sur la violation de contraintes temporelles permettent de mesurer des temps de calcul internes. Des cartes fiables sont utilisées pour servir de référence. Après avoir validé la pertinence de ce canal d’étude concernant l’obtention d’informations sur le comportement interne du circuit cible, on procède à des détections expérimentales de CTM insérés à deux niveaux d’abstraction (niveau RTL et après l'étape de placement/routage). Des traitements avec prise en compte des variations de procédés permettent d'identifier si les cartes testées sont infectées par un CTM. / The globalization of integrated circuits fabrication involves several questions about the integrity of the fabricated circuits. Malicious modifications called Hardware Trojans (HT) can be introduced during the circuit production process. Due to the complexity of an integrated circuit, it is really difficult to find this kind of alterations.This work focuses on a non-destructive method of HT detection. We use the paths delays of the studied design as a channel to detect HT. A model to describe paths delays is defined. It takes into account two important parameters which are the experimental conditions and the process variations.Faults attacks by clock glitches based on timing constraints violations have been performed to measure data paths delays. Reliable circuits are used for reference. After validating the relevance of this channel to get information on the internal behavior of the targeted design, experimental detections of HT inserted on two different abstraction levels (RTL and after place and route) were achieved. Process variations are taken into consideration in the studies to detect if the tested circuits are infected.