Description and compilation of ad-hoc arithmetic operators in the context of High-Level Synthesis

Doctorant : Luc FORGET

Laboratoire INSA : CITI
Ecole doctorale : ED512 : Infomaths

Les techniques de synthèse de haut niveau permettent aux programmeurs non spécialistes de générer des descriptions de circuits numériques. Cependant, les outils existants ne supportent qu'un petit nombre de formats numériques et un petit nombre d'opérateurs standards. Cette thèse présente plusieurs techniques pour rajouter le support de nouveaux formats et de nouveaux opérateurs. Dans un premier temps, l'étude se focalise sur ce qui est réalisable en se restreignant aux fonctionnalités de métaprogrammation du standard C++ supporté par les outils HLS. Une bibliothèque d'opérateurs élémentaires pour les formats IEEE-754 et posit est proposée. Elle sert de base à une étude de cas comparant le coût matériel de l'implémentation de ces deux formats. L'implémentation d'évaluateurs de fonctions mathématiques arbitraires se heurte aux limites de la première approche. Dans un second temps, l'étude se porte sur les possibilités offertes par la modification du flot de compilation HLS, avec comme objectif de supporter cette fonctionnalité. Une bibliothèque permettant au développeur de spécifier des opérateurs pour approximer des fonctions arbitraires en précision arbitraire est présentée. Deux approches pour l'interfaçage de cette bibliothèque avec les outils de HLS sont proposées, selon que l'on a ou pas accès aux sources des compilateurs HLS.

Étude de la criticité à amorçage de fissure de la liaison aube- disque de turbomachine sous chargement de fretting-fatigue

Doctorant : Alexis HINGUE

Laboratoire INSA : LaMCos
Ecole doctorale : ED162 Mécanique, Energétique, Génie Civil, Acoustique de Lyon

Cette thèse porte sur la prédiction de la durée de vie de l'attache aube-disque sous chargement de fretting-fatigue. L'étude est consacrée à l'influence de la composante LCF du chargement.

Une méthodologie d'identification \emph{in-situ} du coefficient de frottement pendant un essais de fatigue LCF à température ambiante sur éprouvette queue d'aronde a été mise en place. L'approche repose sur une méthode de recalage par éléments finis (FEMU), où les quantités d'intérêt sont les champs de déplacements en surface de l'éprouvette, mesurés par corrélation d'images numériques. La mise en donnée du problème numérique est définie par des hypothèses simplificatrices concernant les conditions aux limites. Les biais introduit par ces hypothèses sont quantifiés par l'utilisation d'essais virtuels.

Deuxièmement, des essais de traction cycliques ont été réalisés sur des éprouvettes queue d'aronde en Udimet 720 et instrumentées par corrélation d'images numériques. L'effort de traction est appliqué linéairement entre deux niveaux de charge. Trois grandeurs d'intérêt ont été considérées pour l'identification du coefficient de frottement moyen : les composantes horizontales et verticales du champ de déplacements et l'amplitude de glissement sur le cycle, mesurés en surface. Les essais ont mis en évidence une augmentation du coefficient de frottement au cours des cycles de chargement. L'essai est caractérisé par la transition d'un régime de glissement total à un régime de glissement partiel survenant au alentours du cycle 5~000. L'identification du coefficient de frottement en régime de glissement partiel n'est plus possible précisément car la sensibilité des champs de déplacements au coefficient de frottement devient très faible.

Enfin, des critères de fatigue classiques ont été implémentés et calculés pour des essais de traction sur éprouvettes queue d'aronde. La comparaison des prédictions des critères avec les observations expérimentales confirme la contribution prépondérante du cisaillement sur l'amorçage de fissure par rapport au terme de pression hydrostatique.

Generalization of 3D meso-structures for a micro-structural approach of soil behavior

Doctorant : Joao GONCALVES DE OLIVEIRA CHUEIRE

Laboratoire INSA : GEOMAS

Ecole doctorale : ED162 : Mécanique, Energétique, Génie Civil, Acoustique de Lyon

In the field of granular materials, a link between the microscopic variables (contact force and displacement) and macroscopic variables (stress and strain) requires the usage of structures of the mesoscopic scale. A well-known mesostructure is the so-called Loops, geometrical figures formed by grains in contact. These structures tessellate the material domain into elementary partitions that account for the physics of granular materials. However, the definition of Loops is restricted to 2D conditions. In this thesis, we propose a definition and a procedure to extend the notion of Loops to the three-dimensional case. A weighted Delaunay Tessellation is used to divide a 3D specimen into tetrahedra, which are later merged to create the sought structures. The merging criterion is defined consistently with the one used for creating Loops in 2D. As the 3D structures do not match the mathematical definition of Loops, they will henceforth be called Clusters. To test this extension , a series of 3D DEM triaxial tests were performed in the software LIGGGHTS. Then, an application was developed to analyze the properties of Clusters during the loading path. It is shown that the average void ratio and deformability of Clusters increase with their size.
Furthermore, it is observed that the number of dense Clusters increases during macroscopic volumetric contraction whereas the number of loose Clusters increases during dilation.
Later, a relation between force chains, shear bands and Clusters is established. Finally, Loops and Clusters characteristics are compared, validating Clusters as extensions of Loops in 3D conditions.

 

Soutenance publique

Maître de conférences : Jilles Steeve DIBANGOYE

Laboratoire INSA : CITI

Rapporteurs :

• M. François CHARPILLET, Directeur de Recherche (DR) INRIA Nancy Grand-Est
• M. Jérôme LANG, Directeur de Recherche (DR) CNRS Université Paris-Dauphine
• Mme Aurelie BEYNIER, Maître de Conférences (HDR) Sorbonne Université

Jury :

• M. François CHARPILLET, Directeur de Recherche (DR) INRIA Nancy Grand-Est,
• Rapporteur
• M. Jérôme LANG, Directeur de Recherche (DR) CNRS Université Paris-Dauphine,
• Rapporteur
• Mme Aurelie BEYNIER, Maître de Conférences (HDR) Sorbonne Université,
• Rapporteur
• M. Abdel-Illah MOUADDIB, Professeur Université de Caen Basse-Normandie,
• Examinateur
• M. Vincent ANDRIEU, Directeur de Recherche (DR) CNRS, Université de Lyon 1,
• Examinateur
• Mme Christine SOLNON, Professeur INSA de Lyon, Marraine

Aeroelastic Reduced-Order Modeling and Active Control of Flexible Aircraft

Doctorant : Hugo FOURNIER

Laboratoire INSA : Ampère

Ecole doctorale : ED160 : Electronique, Electrotechnique, Automatique

Cette thèse porte sur la modélisation aéroélastique d'un avion, et à son contrôle actif. En utilisant les surfaces de contrôle de l'avion de manière appropriée, il est possible de réduire les charges dues aux rafales de vents et à la turbulence. Cela permet de réduire la masse des structures responsables de maintenir l'intégrité de l'avion, et donc d'améliorer les performances du design global. L’utilisation d’un lidar, un senseur permettant de mesurer la vitesse du vent plusieurs dizaines de mètres à l’avant de l’avion, est envisagée pour améliorer les capacités de réduction de charges. De plus, les futurs avions devraient avoir des ailes plus allongées et flexibles, ce qui réduit la traînée mais crée des effets aéroélastique néfastes. Le flottement est une instabilité pouvant amener à une destruction de l'aile, à haute vitesse. Il peut être annulé ou au moins déplacé en dehors de l'enveloppe de vol grâce au contrôle actif des surfaces de contrôle. Ces deux techniques ont été développées dans la thèse au moyen de diverses techniques de design de contrôleurs, principalement basées sur la synthèse robuste H-infini et ses variantes. Des techniques dédiées pour modéliser la dynamique aéroélastique de l’avion ont été développées. Pour obtenir des modèles d’états d’ordres réduits, avec des contraintes sur les pôles. Pour ce faire, une méthodologie basée directement sur la réponse fréquentielle aéroélastique de l’avion est employée, par opposition aux techniques classiques basées sur des équations mêlant l'aérodynamique et la dynamique structurelle, qui amènent en général à des modèles d’ordre importants, inutilisables par les techniques modernes de synthèse de contrôleurs.

 

Spatio-temporal data analysis for dynamic phenomenon monitoring using mobile sensors

Doctorante : Ichrak MOKHTARI

Laboratoire INSA : CITI
Ecole doctorale : ED512 : Infomaths

La surveillance des panaches de pollution est cruciale dans les situations d'urgence en raison des effets potentiellement catastrophiques des polluants. Les panaches sont hautement dynamiques et se dispersent rapidement, nécessitant une réponse en temps réel et une cartographie précise de la dispersion pour atténuer les risques. Cette thèse se concentre sur le suivi de la pollution dynamique dans les situations d'urgence, avec trois axes principaux : 1) la prédiction spatio-temporelle de l'évolution du panache de pollution; 2) la planification de trajectoires optimales des drones pour l'améliooration de la cartographie de la pollution; 3) le développement d'un framework générique pour la surveillance des panaches de pollution en situation d'urgence. Dans cette optique, nous proposons dans un premier temps un modèle spatio-temporel basé sur l'apprentissage profond pour la prediction multipoint des concentrations de pollution, et au dessus, nous implémentons plusieurs techniques de quantification de l'incertitude pour avoir une mesure de fiabilité de ce dernier. De plus, nous examinons et identifions les principaux défis liés à la nature dynamique du phénomène étudié ainsi que son contexte d'urgence, et nous proposons une nouvelle approche systémique pour la surveillance de la pollution dynamique se basant sur la mesure aérienne, et combinant des approches d'apprentissage profond avec des techniques d'assimilation de données, tout en s'appuyant sur des stratégies de planification de trajectoires de drones adéquates. Nous étendons ensuite ce framework pour prendre en compte les problèmes de manque de données rencontrés grâce à une solution d'apprentissage par transfert basée sur un modèle physique. Enfin, nous abordons plus méticuleusement le problème de la planification optimale des trajectoires des drones dans le but d'améliorer la qualité de la cartographie de la pollution, avec une solution d'apprentissage par renforcement multi-agents.

Methodology for the development of Smart epoxy/LDH-EDDS coatings for corrosion protection of XC38 carbon steels

Doctorant : Gata Joseph AYEMI 

Laboratoire INSA : MATEIS
Ecole doctorale : ED34 : Matériaux de Lyon

Les hydroxydes doubles stratifiés (LDH) sont des candidats intéressants comme réservoirs d'inhibiteurs de corrosion pour la protection des métaux. En effet, ces espèces présentent une forte capacité à libérer l'inhibiteur contenu entre leurs lamelles d'hydroxyde, et sur la base du principe d'échange d'anions, elles permettent simultanément la capture d'espèces agressives telles que l'ion chlorure présent dans la solution. En raison de leurs propriétés susmentionnées, ils représentent des charges intéressantes qui peuvent être incorporées dans la matrice des revêtements époxy pour améliorer les propriétés de barrière. La conception d'un système intelligent d'inhibition de la corrosion, utilisant ce matériau, pourrait augmenter de manière significative la durabilité et l'efficacité du système revêtu en fournissant une protection active contre la corrosion.
L'objectif de cette thèse est d'étudier l'efficacité du système LDH Zn-Al comme réservoir intelligent d'acide éthylènediamine-N,N'-disuccinique (EDDS).    Le LDH [Zn2Al(OH)6]+[EDDS]4-0.25 2H2O (LDH-EDDS ) est ensuite incorporé dans une matrice de revêtement époxy pour une protection active contre la corrosion de l'acier au carbone XC38 en milieu chlorure de sodium. Le choix de l'EDDS non toxique et biodégradable comme inhibiteur vise à remplacer l'acide éthylènediamine-tétraacétique (EDTA), qui est nocif et difficilement biodégradable. La première partie des résultats, présente une méthodologie pour caractériser l'efficacité de la LDH-EDDS essentiellement basée sur des mesures électrochimiques. La deuxième partie des résultats est consacrée à la caractérisation de revêtements époxy contenant différentes quantités de LDH-EDDS afin de déterminer la teneur optimale nécessaire pour obtenir de meilleures propriétés de protection contre la corrosion. L'étude est menée en utilisant des techniques électrochimiques, telles que les courbes courant-potentiel, la spectroscopie d'impédance électrochimique globale et locale (EIS). Les données d'impédance du système revêtu obtenues par SIE sont interprétées en détail à l'aide d'une méthode graphique améliorée et de profils de distribution, de résistivité, de loi de puissance le long de l'épaisseur des revêtements. Ces résultats permettent une meilleure interprétation et compréhension des mécanismes se produisant aux interfaces revêtement/électrolyte et/ou substrat/revêtement. Des analyses complémentaires telles que des observations MEB, OCP-OES, etc sont menées pour proposer une interprétation des résultats.

Mots-clés : Inhibition de la corrosion, Acier au carbone, Revêtement époxy, LDH, EIS.

The future of Green Infrastructure: From climate data to informed hydrological performance

Doctorant : Vincent PONS

Laboratoire INSA : DEEP

Ecole doctorale : ED162 : Mécanique, Energétique, Génie Civil, Acoustique de Lyon

The 21st century presents numerous challenges to urban stormwater management, including the impacts of changes in both climate and city morphology. These challenges necessitate rethinking the stormwater management paradigm, particularly in the context of existing and ageing infrastructure. This thesis deals with green infrastructures (GI) considered as decentralized multifunctional infrastructures that utilize evapotranspiration and/or horizontal and vertical infiltration to achieve a hydrological function.
This study evaluates the potential of GI to manage day-to-day rainfall events, attenuate major events, and contribute to the management of extreme events in the context of climate change adaptation. It also aims to provide a framework and tools to realign current GI modelling and design methods with the principles of robust decision-making.
The 21st century presents numerous challenges to urban stormwater management, including the impacts of changes in both climate and city morphology. These challenges necessitate rethinking the stormwater management paradigm, particularly in the context of existing and ageing infrastructure. This thesis deals with green infrastructures (GI) considered as decentralized multifunctional infrastructures that utilize evapotranspiration and/or horizontal and vertical infiltration to achieve a hydrological function.
This study evaluates the potential of GI to manage day-to-day rainfall events, attenuate major events, and contribute to the management of extreme events in the context of climate change adaptation. It also aims to provide a framework and tools to realign current GI modelling and design methods with the principles of robust decision-making.
The thesis investigates how to use climate and hydrological present and future data with hydrological GI models to extract relevant information for decision-making under deep uncertainty. The results provide guidelines for i) designing experiments to calibrate reliable hydrological models and ii) using available climate projections together with weather generators for GI performance evaluation. The proposed framework HIDES demonstrates how future downscaled time series can be used to evaluate annual retention distribution and frequency of exceedance, while sampling extreme events allows for estimating both a probability of failure and an indication of the behaviour of GI under failure.
The thesis suggests rethinking the methods for implementing GI at the city scale. The study shows that system-based design outperforms site-scale design through modelling at the roof scale of a neighbourhood, and that lumping GI models at a neighbourhood scale may neglect interactions and fail to estimate performance. The thesis highlights the need to couple GI to achieve challenges in stormwater management.

Flocking models based on local communications : From theory to simulations

Doctorant : Alexandre BONNEFOND

Laboratoire INSA : CITI

Ecole doctorale : ED512 InfoMaths

Les flottes de robots aériens sont désormais utilisées pour de multiples applications telles que la livraison ou encore la surveillance. Cependant, contrôler un grand nombre de drones demeure un défi important. Dans cette thèse, nous étudions des stratégies de flocking, directement inspirées de la nature et reposant sur un modèle décentralisé où les entités concernées interagissent localement par le biais de communications. En analysant les performances de modèles de flocking existant dans des environnements très contraints (par des obstacles), nous identifions les potentielles limites de ces modèles et nous proposons de les adapter et pour les rendre plus robustes. Dans ces travaux, nous considérons les communications sans fil comme étant le seul moyen d’accéder aux informations des voisins, ainsi nous intégrons un modèle de communication réaliste au simulateur de flocking de Viragh et al.. L’analyse des contraintes de pression au sein des flockings nous conduit à développer un nouveau modèle introduisant des interactions asymétriques et capable de faire évoluer les agents (drones) dans des environnements très contraints sans générer de collisions, nommé APR (Asymmetric Pressure Regulation). Notre dernière contribution consiste en un algorithme de type leader- follower distribué permettant à tout agent follower de devenir un leader. Cela renforce considérablement la cohésion de la flotte et donc favorise le succès de missions consistant à traverser des environnements complexes comme des tunnels.

Modélisation et simulation de la captation des acides gras alimentaires à longue chaîne et de leur re-synthèse en triglycérides au sein des entérocytes

Doctorante : Julie ETIENNE

Laboratoire INSA : CarMeN (équipe DO-IT) / Inria (équipe Beagle)

Ecole doctorale : ED205 : Ecole doctorale interdisciplinaire sciences-santé

L’absorption des acides gras alimentaires est une étape clé de la santé cardio- métabolique. Toutefois, les mécanismes moléculaires de leur captation par les entérocytes, cellules absorptives de l’intestin, demeurent mal compris. Cette thèse propose une approche de modélisation des premières étapes de l’absorption intestinale des acides gras à longue chaîne.
Le premier chapitre recense les données quantitatives et les modèles mathématiques de la littérature en lien avec la captation intestinale des acides gras à longue chaîne, leur transport jusqu’au réticulum endoplasmique et leur ré-estérification en triglycérides.
Le second chapitre propose un modèle quantitatif et mécanistique de la captation intestinale des acides gras à longue chaîne, prenant en compte leur hydrophobie et leur sensibilité au pH. Ce système d’équations différentielles ordinaires retranscrit la diffusion passive et différents modules (transport actif, protéines de liaison aux acides gras (FABP), métabolisme intracellulaire), tour à tour retirés du système pour simuler un knockout de gène. Ce modèle a été ajusté sur neuf jeux de données expérimentales publiées. Les simulations montrent que le métabolisme intracellulaire est critique pour assurer une absorption totale à l’échelle des heures. Enlever FABP du système ralentit l’absorption de plusieurs centaines d’heures sans empêcher une absorption totale. A l’échelle de la seconde ou minute, le transport actif est requis pour ajuster le modèle aux données. Quantifier les flux montre que le modèle peut adopter deux dynamiques lors des ajustements. Dans la dynamique « physiologique », les acides gras sont captés puis métabolisés. Dans la dynamique « anormale », les acides gras entrent par transport actif et ressortent par diffusion passive.
Le troisième chapitre décrit une modélisation préliminaire de la ré-estérification des acides gras en triglycérides via la voie des 2-monoglycérides, considérée comme majoritaire dans les entérocytes.
Ensemble, ces résultats fondent les bases d’un modèle quantitatif de l’entérocyte pour le trafic des acides gras.