Des graphes de propriétés aux graphes de connaissances

Doctorant : Julian BRUYAT

Laboratoire INSA : LIRIS

École doctorale : ED512 : InfoMaths de Lyon

Les graphes de propriétés et les graphes RDF sont deux familles populaires de base de données graphe. Néanmoins, malgré le fait qu'elles soient toutes les deux basées sur la notion de graphe, ces deux familles ne sont pas interopérables. Les graphes de propriétés sont une famille d'implémentations de base de données très flexible, où des propriétés peuvent être rattachées aux noeuds et aux arcs du graphe. La seconde est un modèle standardisé de description de connaissances, reposant sur des vocabulaires partagés entre tous les graphes RDF. Dans cette thèse, nous définissons des méthodes pour permettre une interopérabilité sémantique entre graphes de propriétés et graphes RDF configurée à travers un « contexte » fourni par l'utilisateur. La première méthode est une méthode bas niveau, compatible avec n'importe quel graphe de propriétés. La seconde méthode est une méthode haut niveau, reposant sur la notion de schéma de graphe de propriétés, et pour laquelle la réversibilité de certains contextes est étudiée formellement. Enfin, pour faciliter l'écriture des « contextes » en RDF, et plus généralement de n'importe quel document RDF, nous proposons une méthode d’auto- complétion basée sur les vocabulaires de schémas RDF existants.

Proposition et mise en œuvre d'une topologie d'onduleur multifonctionnel à tension de bus régulée pour la traction électrique

Doctorant : Antoine SABRIE

Laboratoire INSA : Ampère

École doctorale : ED160 : EEA (Electronique, Electrotechnique, Automatique)

Dans le cadre de la traction électrique pour les véhicules routiers, il est indispensable de recourir à des onduleurs dont le rôle est de convertir l’énergie électrique entre une source de stockage continue de type batterie et la charge alternative que représente une machine électrique triphasée. Idéalement, cette conversion devrait se faire sans perte de tension. En pratique, il apparaît inévitablement une limitation de la tension avec laquelle un onduleur est capable d’alimenter une machine électrique. Pour bienanalyser cette limitation, nous avons proposé une modélisation fine des chutes de tension de l’onduleur afin de permettre une estimation analytique rapide et fidèle. Les résultats expérimentaux valident le modèle proposé dans la quasi-totalité de points de fonctionnement atteignable. Une solution utilisée industriellement pour palier à cette limitation de l’onduleur est d’ajouter un convertisseur DC - DC élévateur. L’inconvénient de cette solution est qu’elle introduit un deuxième étage pouvant impacter le rendement global et la fiabilité de la chaîne de traction. Ces dernières années, des architectures d’onduleur élévateur en un étage de conversion sont proposées dans la littérature. L’une de ces architectures est apparue et présente des avantages compétitifs par rapport à ses homologues. Il s’agit de l’onduleur à Split Source (SSI). Néanmoins, nous avons montré que ce convertisseur est incompatible à la traction électrique due principalement au manque de réversibilité et à une perte de degré de liberté pour le pilotage de la charge. Par la suite, nous avons proposé une nouvelle architecture triphasée et réversible basée sur le convertisseur SSI, appelée B-ASSI, qui est compatible à l’application visée. L’analyse et la modélisation du convertisseur B-ASSI sont réalisées. Une modulation pour son pilotage, ainsi qu’une stratégie de contrôle de sa tension de bus sont développées. Enfin, le B-ASSI est construit et testé expérimentalement par une preuve de concept de quelques 𝑘𝑘𝑘𝑘. Après avoir étudié les performances du B-ASSI vis-à-vis des architectures existantes, nous nous intéressons à la possibilité d’introduire une fonctionnalité d’abaissement de la tension d’alimentation du B-ASSI. Nous montrons que cela permet d’améliorer les formes d’ondes alimentant la machine, réduire les oscillations de couple utile, améliorer le rendement de la machine, et réduire la montée en températuredu convertisseur. Finalement, une extension du B-ASSI permettant l’abaissement de sa tension de bus est proposée et étudiée. Une première validation en simulation et expérimentale valident le principe de fonctionnement.

 

Étude du comportement thermomécanique des roulements à billes faiblement chargés

Doctorant : Lionel DARUL

Laboratoire INSA : LaMCoS

École doctorale :ED162 : MEGA de Lyon (Mécanique, Energétique, Génie civil, Acoustique)

Les roulements entraînent des pertes de puissance non négligeables. La chaleur générée se dissipe dans les différents éléments du système et impacte à nouveau les pertes de puissance. Ce couplage, entre pertes et thermique, doit donc être pris en compte afin d’avoir une prédiction satisfaisante du comportement du roulement. Cette étude s’intéresse à des conditions de fonctionnement particulières : vitesse de rotation modérée (produit N.d_m<10^6), charge appliquée faible (<5% de la charge statique du roulement) et lubrification par injection de faibles débits d’huile (≤15L/h ). Pour ces conditions, les travaux menés dans la littérature ne permettent pas une estimation et une compréhension satisfaisante du comportement thermomécanique du roulement.
Ces travaux de thèse développent un nouveau modèle thermomécanique de roulement à billes. La thermique est modélisée à l’aide de la méthodologie des réseaux thermiques. Les pertes de puissances sont modélisées à partir de considérations tribologiques. Les modèles développés sont comparés à des mesures expérimentales, réalisées sur un banc d’essai dédié. Ce dernier permet de mesurer le couple de pertes généré par un roulement, tout en contrôlant un certain nombre de paramètres (vitesse, débit, charge). Les températures des bagues du roulement sont également mesurées, afin de maîtriser le comportement thermique.
Il résulte de cette étude que, pour les conditions étudiées, les pertes de puissance dans les roulements à billes sont principalement dues à un phénomène de roulement hydrodynamique. La compréhension de ce phénomène permet notamment d’expliquer l’origine des pertes de puissance indépendantes de la charge, telles que définies dans le modèle de Harris. Concernant la thermique du roulement, l’étude met en avant l’importance de la température des billes, notamment sur les phases de démarrage. En conclusion, le modèle développé permet une prédiction des pertes de puissance à 5% d’erreur et une prédiction des températures des éléments du roulement à ±1-2°C.

De la transparence des graphes de connaissances à un cadre général pour la définition de mesures d'évaluation

Doctorante : Jennie ANDERSEN

Laboratoire INSA : LIRIS

École doctorale : ED512 Infomaths (Informatique et Mathématiques de Lyon)

De nombreux graphes de connaissances (KG) sont disponibles sur le Web, et il peut être difficile de décider avec lequel travailler. Au-delà de la pertinence du domaine et du contenu, l'utilisation de standards, l'identification des créateurs... peuvent également influencer ce choix. En effet, la mise à disposition de toujours plus de données s'accompagne d’attentes supplémentaires en termes de qualité et de transparence.
Pour aider les utilisateurs à choisir un KG plutôt qu'un autre, nous voulons fournir une estimation de la transparence des KG. Les informations liées à la transparence sont essentielles pour renforcer la confiance dans les données et favoriser leur réutilisation. Cependant, il n’existe pas de définition consensuelle de la transparence. Pour mieux la comprendre, nous explorons tout d'abord cette notion et ses concepts associés (accessibilité, vérifiabilité...). Face à l’absence d'exigences précises concernant la transparence, nous nous concentrons ensuite sur un concept proche, et proposons une mesure de « l’accountability » des KG. Nous utilisons notre mesure pour évaluer des centaines de KGs disponibles via des SPARQL endpoints. Enfin, nous comparons notre mesure avec d'autres mesures pour les KG sur la qualité des données et les principes FAIR.
Ces comparaisons mettent en évidence des spécificités et des points communs pour ces multiples mesures. Aussi, choisir la mesure appropriée pour évaluer les KG dans le cadre d'une tâche donnée n’est pas aisé, d’autant plus qu'elles sont décrites de manières variées. Puisque beaucoup reposent sur une structure hiérarchique, nous proposons de définir une base formelle pour décrire les mesures dans un cadre commun. Nous souhaitons ainsi faciliter leur compréhension, leur réutilisation, leur comparaison et leur partage en définissant des opérateurs permettant de les manipuler, soit pour en créer de nouvelles, soit pour les comparer. Nous prolongeons ce cadre en proposant une application web.

Méthode de détection et de diagnostic des attaques de blocage dans les systèmes manufacturiers flexibles incertains

Doctorant : Amaury BEAUDET

Laboratoire INSA : Ampère

École doctorale : ED160 : EEA

Les systèmes manufacturiers flexibles (FMSs en anglais) sont conçus avec l’objectif de pouvoir réaliser différentes recettes en parallèle en utilisant conjointement des ressources flexibles et un superviseur allouant ces ressources aux différentes recettes en cours. Par conception, un FMS évolue dans un environnement critique, en présence d’états d’allocation des ressources bloquants pour la réalisation des recettes, et incertain, en raison d’évènements imprévus conduisant à l’indisponibilités temporaire des ressources. Au sein des FMSs modernes, l’utilisation pour l’allocation des ressources de composants de contrôle hautement interconnectés entre eux et avec des réseaux internet ouverts a rendu ces systèmes vulnérables aux cyber-attaques. Aux origines de ces cyber- attaques, différents profils d’attaquant peuvent être distingués selon leurs objectifs, leurs origines, leurs compétences et leurs moyens.
Ainsi, bien qu’un FMS soit initialement construit pour faire face aux états de blocage et aux indisponibilités de ressources, un profil d’attaquant expert pourrait être capable de manipuler les décisions d’allocation et les disponibilités des ressources pour conduire ce FMS dans un état de blocage ciblé. A partir de cette observation, la problématique de recherche suivante émerge : Au sein du contexte incertain des FMSs, comment diagnostiquer correctement l’origine, naturelle ou malveillante, d’un état de blocage détecté et identifier le profil d’attaquant à l’origine de l’attaque ?
En réponse à cette problématique, nous proposons trois contributions principales. Premièrement, les attaques de blocage et les profils d’attaquant sont définis et modélisés dans un contexte certain afin de structurer le développement d’un module de diagnostic de ces derniers. Puis, ce module est étendu au contexte incertain des FMS au sein duquel l’indisponibilité des ressources est prise en compte et peut être manipulée par un attaquant. Enfin, ce module de diagnostic est implémenté sur une plateforme manufacturière expérimentale afin d’être évalué.

Di-electric liquid cooling for future 20 kV power modules

Doctorant : Lucas MOLINA BARROS

Laboratoire INSA : Ampère
École doctorale : ED160 : Électronique, Électrotechnique et Automatique

Cette thèse apporte une contribution à la résolution des problèmes d’encapsulation des semi-conducteurs haute tension. Cette innovation offre la possibilité de réduire considérablement la taille et la complexité des modules ´electroniques de puissance. Les structures d’encapsulation conventionnelles ont depuis longtemps été confrontées au compromis entre l’isolation électrique, qui exige des couches isolantes épaisses, et la performance thermique optimale, qui privilégie des couches minces à haute conductivité thermique. Ce travail présente un concept novateur visant à résoudre ce dilemme en utilisant un refroidissement direct par un liquide diélectrique et des dissipateurs thermiques en céramique. Avec une épaisseur d’AlN de 3 mm, le nouveau boîtier peut supporter encore des tensions plus élevées, jusqu’à 62 kV. Le refroidisseur atteint une résistivité thermique de 0.155 cm²K/W avec le Novec7500, et cette valeur est encore réduite à 0.114 cm²K/W avec de l’eau. Ces résultats permettent le refroidissement de dispositifs présentant des pertes de puissance allant jusqu’à 500W/cm².

Contributions to Wireless Sensor Networks for Air Quality Monitoring

Soutenance publique

Maître de conférences : Walid BECHKIT

Laboratoire INSA : CITI

Rapporteurs :

• Aline CARNEIRO VIANA, Directrice de recherche, INRIA
• Andrzej DUDA, Professeur, Grenoble INP – Ensimag
• Nathalie MITTON, Directrice de recherche, INRIA

Jury :

Civilité	Nom et Prénom	Grade/Qualité	Établissement
Mme	Aline CARNEIRO VIANA	Directrice de recherche, Rapportrice	INRIA- Saclay
M.	Andrzej DUDA	Professeur, Rapporteur	Grenoble INP – Ensimag
Mme	Nathalie MITTON	Directrice de recherche, Rapportrice	INRIA-Lille
M.	André-Luc BEYLOT	Professeur, Examinateur	Toulouse INP- ENSEEIHT
M.	Abdelmadjid BOUABDALLAH	Professeur, Examinateur	Université de Technologie de Compiègne
Mme	Isabelle GUERIN-LASSOUS	Professeur, Examinatrice	Université de Lyon 1
M.	Hervé RIVANO	Professeur, Examinateur	INSA-Lyon
M.	Mouloud KOUDIL	Professeur, invité	ESI-Alger

Shear-induced diffusion of road minerals within the tire tread: a solid flow modeling using a soft multibody approach

Doctorant : Kévin DAIGNE

Laboratoire : LaMCoS

École doctorale :  ED162 MEGA

Il peut être observé par des coupes longitudinales d'une bande de roulement que les minéraux de la route pénètrent à l'intérieur du pneumatique. L'objectif de ce travail est, pour une configuration expérimentale de référence, d'étudier expérimentalement et numériquement le processus menant à cette pénétration. Un modèle numérique pour étudier la pénétration des minéraux a été réalisé. Il consiste à cisailler une couche de minéraux déposée sur la surface d'un matériau composé de caoutchouc, modélisé comme un ensemble de corps discrets et déformables. Il a tout d'abord été montré que les phénomènes initiaux de pénétration des minéraux dans la matière, sont différents de ceux observés à plus long terme. Notamment, trois modes de pénétration ont pu être définis, que sont le labourage, l'abrasion et la fracturation. Ces modes modifient la vitesse à laquelle les minéraux pénètrent à l'intérieur du matériau. Lorsque les minéraux sont suffisamment incorporés au matériau, ils forment ce qui sera appelé une couche mixée. Les minéraux migrent de plus en plus profondément, du fait de contacts répétés entre agglomérats de minéraux, causés par leurs vitesses relatives (pilotées par le taux de cisaillement). Il est notamment montré que ces contacts conduisent à une évolution stochastique de la position d'un minéral. Si l'ensemble des minéraux est considéré, le comportement devient déterministe et suit une évolution proche de ce qui est attendu pour un processus diffusif. Ce dernier point permet ainsi d'utiliser les outils de la diffusion, notamment d'évaluer un coefficient de diffusion via la fluctuation de vitesse transverse et sa persistance. Il est ainsi montré que ces deux paramètres dépendent fortement de phénomènes plastiques locaux, qui dans le modèle actuel sont pilotés par la cohésion.

 

Similitude pour les vibrations et le rayonnement acoustique de plaques planes immergées : prise en compte du fluide lourd, des raidisseurs et de l'excitation par couche limite turbulente

Doctorant : Xavier PLOUSEAU-GUÉDÉ

Laboratoire INSA : LVA

École doctorale : ED162 : Mécanique, énergétique, génie civil, acoustique

Dans le secteur maritime, la maîtrise du bruit propre et du bruit rayonné des véhicules marins est un enjeu primordial. La caractérisation en amont de la réponse vibroacoustique de ces structures est nécessaire pour s'assurer une maîtrise des performances. Cependant, les structures développées dans ce secteur sont grandes, raidies, couplées à un fluide lourd et sont soumises à un écoulement turbulent, ce qui rend difficile, coûteux et chronophage de réaliser des expérimentations. Cette thèse étudie la possibilité de pallier ces contraintes en développant une approche basée sur la théorie des similitudes. Cette théorie permet de relier, par ce qu'on appelle des lois de similitude, deux systèmes et leurs réponses en fournissant les conditions dans lesquelles la réponse du système à taille réelle peut être prédite en évaluant la réponse d'un système à échelle réduite, dont les propriétés en termes de dimensions, de matériau, de fluide environnant et de chargement extérieur sont différentes. Plus particulièrement, ce projet de recherche s'intéresse au cas d'un panneau plan, raidi ou non raidi, chargé par un fluide lourd et excité par une couche limite turbulente. Le développement des lois de similitude fait apparaître des conditions à respecter afin d'obtenir une prédiction exacte de la réponse recherchée. Les lois et conditions de similitude sont tout d'abord étudiées et vérifiées numériquement. Ensuite, une campagne de mesures est réalisée afin de valider ces lois pour des panneaux excités par une couche limite turbulente en air. Une attention particulière est portée à l'estimation de la puissance acoustique rayonnée par les panneaux excités par une couche limite turbulente, en développant deux méthodes : l'une basée sur la matrice interspectrale vibratoire du panneau et l'autre à partir de la pression acoustique en champ proche et du principe d'holographie acoustique.

Deep brain unsupervised anomaly detection model based on multimodality imaging

Doctorante : Daria ZOTOVA

Laboratoire INSA : CREATIS

Ecole doctorale : ED160 EEA

L'épilepsie touche environ 65 millions de personnes dans le monde, nécessitant pour certains une intervention chirurgicale dépendante de la localisation précise de la zone épileptogène. Cette thèse vise à améliorer la détection des lésions épileptogènes via un système de diagnostic assisté par ordinateur (CAD), en utilisant des données neuroimagerie multimodales. Elle propose l'utilisation de réseaux siamois non supervisés avec des modèles SVM à classe unique pour identifier les anomalies dans les scans cérébraux, initialement testés sur des IRM T1 et FLAIR.
Une contribution majeure est le développement de méthodes pour générer des images PET synthétiques à partir de scans IRM T1, améliorant les capacités de détection du système CAD et abordant le défi des modalités manquantes en utilisant ces images synthétiques comme remplacement des données PET réelles. Cette approche permet une intégration multimodale efficace pour la détection de zones épileptogènes.
La première partie de la thèse examine les avancées dans l'apprentissage profond pour l'imagerie médicale et les stratégies d'intégration des données. La seconde partie détaille les expériences sur la synthèse PET et l'amélioration de la performance du modèle CAD avec l'intégration des données PET synthétiques. Ce travail avance le domaine de l'imagerie médicale dans la recherche sur l'épilepsie et propose des pistes pour améliorer la détection des lésions et les résultats chirurgicaux.