Le carcinome rénal à cellules claires (ccRCC) est la tumeur du rein la plus fréquente. Il se caractérise par une inactivation fréquente du gène suppresseur de tumeur VHL retrouvée dans 70% des tumeurs conduisant à une transcription des gènes cibles du facteur de transcription HIF dont le VEGF. Il s’agit d’une tumeur agressive métastatique chez 50% des patients. Le sunitinib, un inhibiteur des récepteurs tyrosine kinase anti-angiogénique, est actuellement le plus utilisé en 1ère ligne malgré 30% des patients qui progressent rapidement. L’avènement d’un nouvel anti-angiogénique ciblant MET (cabozantinib) et d’immunomodulateurs (anticorps anti-PD-1, nivolumab) rend cruciale la découverte de facteurs prédictifs de réponse au traitement. Dans une 1ére partie, nous avons étudié une série rétrospective de 98 ccRCC consécutifs pour lesquels nous souhaitions étudiés le statut VHL complet et le corréler à l’expression de PD-L1. De plus, alors que le pronostic est différent entre ccRCC métastatiques synchrones (d’emblée) et métachrones (à distance), leur phénotype n’avait jamais été comparé. Pour cela, nous avons effectué une analyse histologique des principaux facteurs pronostiques, immunohistochimique (CAIX, VEGF, PAR3, PD-1 et PD-L1) et moléculaire (statut complet VHL : délétion, mutation et méthylation du promoteur) corrélée à la survie spécifique. Nous avons démontré que le statut VHL non-inactivé (niVHL) était associé à la présence de métastases synchrones, une composante sarcomatoïde, un infiltrat lymphocytaire dense, une surexpression de VEGF, une expression de PD-L1 et à un mauvais pronostic. Nous avons aussi comparé les phénotypes des ccRCC métastatiques métachrones et synchrones. Ces derniers étaient associés à une  composante sarcomatoïde, une expression cytoplasmique de PAR-3, une surexpression de VEGFA, un statut niVHL et à un mauvais pronostic depuis le diagnostic des métastases. Dans une 2ème partie, nous avons étudié une série rétrospective de 90 ccRCC métastatiques consécutifs traités par sunitinib en première ligne afin d’identifier des facteurs prédictifs de réponse ou de résistance. Nous avons utilisé les mêmes techniques que précédemment avec en plus le statut MET (mutation en NGS et expression en IHC). Les patients ont été classés en résistants primaires, intermédiaires et longs répondeurs en fonction de la durée de leur réponse évaluée par des critères radiologiques (RECIST). Nous avons aussi caractérisé le profil génétique de 73 ccRCC de cette série par CGH array pour lesquels nous disposions de congélation. Les patients résistants primaires avaient plus souvent un mauvais pronostic (score de Heng), des métastases hépatiques, une infiltration de la graisse hilaire. Sur le plan cytogénétique, leurs tumeurs présentaient des altérations génétiques plus nombreuses tant au niveau des gains que des pertes. Parmi ces altérations récurrentes, étaient décrites les gains du 5p, 7p, 8q22.1-qter et la perte de la région 6q21-q25.3. Le modèle de Cox multivarié mettait en évidence 4 facteurs indépendants : le score de Heng, des métastases hépatiques, une infiltration de la graisse hilaire et le gain du 8q qui intégrés dans un nomogramme pronostique avaient un c-index de 0.74 et 0.77 pour la survie sans progression et la survie globale. En conclusion, notre étude a permis d’identifier un sous-type de ccRCC avec un statut niVHL de mauvais pronostic qu’il conviendrait d’étudier de manière plus approfondie sur le plan génomique. De plus, nous avons montré une différence de phénotype entre les ccRCC des patients métastatiques synchrones et métachrones alors que leur prise en charge est actuellement équivalente. Enfin nous avons mis en évidence un nomogramme pronostique dans les ccRCC métastatiques traités par sunitinib en 1ère line. Ce nomogramme s’il est confirmé par une étude prospective plus large pourrait avoir un impact clinique important dans la sélection des patients les plus à même de bénéficier des anti-angiogéniques. / Clear cell renal cell carcinoma (ccRCC) is the most common kidney cancer. It is characterized by frequent inactivation of the tumor suppressor gene VHL found in 70% of tumors leading to the transcription of HIF transcription factor target genes such as VEGF. This is an aggressive tumor with 50% of metastatic patients. Sunitinib, an inhibitor of receptor tyrosine kinase antiangiogenic, is currently the most used in 1st line despite 30% of patients who progress quickly. The advent of a new anti-angiogenic targeting MET (cabozantinib) and immunomodulators (anti-PD-1 antibody, nivolumab) makes crucial discovery of predictors of response to treatment. In the first part, we studied a retrospective study of 98 consecutive ccRCC. We assessed complete VHL status and correlated it with the expression of PD-L1. Moreover, while the prognosis is different between ccRCC synchronous metastatic and metachronous, their phenotype have never been compared. In this purpose, we performed an analysis of the main pathological prognostic factors, immunohistochemical markers (CAIX, VEGF, PAR3, PD-1 and PD-L1) and molecular (VHL status: deletion, mutation and promoter methylation) correlated with specific survival. We demonstrated that non-inactivated VHL tumors (niVHL) were associated with the presence of synchronous metastases, sarcomatoid component, a dense lymphocytic infiltrate, an overexpression of VEGF, an expression of PD-L1 and a poor prognosis. We also compared the phenotypes of metachronous and synchronous metastatic ccRCC. The first ones were associated with sarcomatoid component, cytoplasmic expression of PAR-3 overexpression VEGFA and niVHL status and a poor prognosis even from the diagnosis of metastases. In the second part, we studied a retrospective study of 90 consecutive metastatic ccRCC treated with first line sunitinib to identify predictors of response or resistance. We used the same techniques as above plus the MET status (mutation in Next-Generation sequencing and expression by IHC). Patients were classified as primary-refractory, intermediate and long-term responders depending on the duration of their response as assessed by radiological criteria (RECIST). We also characterized the genetic profile of 73 ccRCC of this series by CGH array for which we had frozen tumor. Primary refractory patients often had poor prognosis (Heng criteria), liver metastases, infiltration of the hilar fat. Cytogenetically, their tumors had many more genetic alterations, both gains as losses. These recurrent alterations were gains of 5p, 7p, 8q22.1-qter and loss of 6q21-q25.3 region. The multivariate Cox model highlighted four independent factors: the score of Heng, liver metastases, infiltration of the hilar fat and gain of 8q which integrated into a prognostic nomogram had a c-index of 0.74 for survival progression-free survival and 0.77 for overall survival. In conclusion, our study identified a subtype of ccRCC with a poor prognosis with niVHL status that should be explored at the genomic level. Furthermore, we showed a phenotype difference between ccRCC synchronous and metachronous metastatic patients whereas their care is currently the same. Finally we have identified a prognostic nomogram in metastatic ccRCC treated with sunitinib in the first line. This nomogram if confirmed by a larger prospective study could have a significant clinical impact in the selection of patients most likely to benefit from anti-angiogenic therapy.

La validation fonctionnelle d'un système matériel consiste a vérifier le système vis-a-vis de son fonctionnement attendu. Il existe deux façons de spécifier ce fonctionnement attendu. D'une part, la spécification peut être donnée sous forme d'une description fonctionnelle complète. D'autre part, l'expression de cette spécification peut être donnée sous forme d'un ensemble de propriétés temporelles critiques. Ces deux façons de spécifier les systèmes matériels ont donne lieu a deux problèmes de vérification. Notre domaine d'étude concerne les systèmes matériels numériques séquentiels synchrones. Le travail présente dans ce document développe une approche de vérification unifiée, fondée sur le modèle de machines d'états finis, pour résoudre les deux problèmes de vérification sur ces systèmes. Dans cette approche, tout probleme de vérification se ramène a définir une machine d'états finis sur laquelle la vérification sera réalisée. L'application du langage lustre et de l'outil de vérification Lesar associe a été étudiée dans le but de valider cette approche. Dans cette application, la resolution des deux problèmes de vérification se ramène a définir un programme lustre ayant une seule sortie. La vérification consiste a vérifier que cette sortie est la constante booléenne 1. Cette vérification est réalisée automatiquement par l'outil de vérification Lesar

Les réseaux de capteurs sans fil posent de nombreux défis de conception. Ils doivent en particulier capter les informations provenant de l'environnement, traiter les données acquises, recevoir et retransmettre celles-ci avec une durée de vie devant atteindre plusieurs dizaines d'années selon les applications, sans intervention extérieure. Il est donc nécessaire d'optimiser la consommation d'énergie à tous les niveaux. Ce travail propose de réduire la consommation d'énergie de la partie numérique d'un nœud de réseau grâce à l'utilisation de la logique asynchrone et de communications synchrones entre le logiciel le matériel. Par ailleurs, il est important de gérer dynamiquement la consommation en adaptant dynamiquement les tensions d'alimentation. Cet aspect est traité à l'échelle du système complet, au niveau matériel, grâce à la spécification d'un coprocesseur dédié, au niveau algorithmique et logiciel temps-réel ainsi qu'au niveau des interfaces de communication.

Ce travail se place dans le contexte de l'utilisation de machines à aimants permanents dans les véhicules hybrides ou électriques. Un modèle analytique, qui prend en compte les effets de la non linéarité du circuit magnétique, permet d'obtenir les pertes (Joule et fer) quel que soit le point de fonctionnement de la machine. Des cartes d'isorendement dans le plan couple-vitesse peuvent être tracées. Ce modèle a ensuite été utilisé pour étudier .des variantes d'une machine synchrone à aimants. Des comparaisons de consommation sur cycles de route ont été effectuées sur ces machines, ainsi que l'étude d'autres structures de rotor à aimants. Un second modèle a été développé pour répondre à un besoin de' conception. Il a servi pour une optimisation sous contraintes dans un objectif de réduction de coût et de volume.

Les travaux de cette thèse portent sur l'optimisation de gammes dans la conception des machines synchrones à concentration de flux. Dans un premier temps, un modèle de dimensionnement multi physique dédié à l'optimisation a été développé pour chaque machine retenue pour cette étude. Un modèle analytique pour la structure à bobinage reparti et un modèle semi-analytique à base de réseaux de réluctances pour la machine à bobinage sur dents. Dans un second temps, nous avons validé nos modèles par comparaison avec des essais expérimentaux. L'aspect gamme de notre étude nous a contraints à faire cette validation sur différentes machines et pour différents points de fonctionnement. Une première phase d'optimisation classique, réalisée grâce au couplage de nos modèles avec une méthode déterministe à base de gradient a montré la possibilité d'optimiser nos machines. Une démarche originale d'optimisation de gammes basée sur le partage des composants a été mise au point. Son application sur une série de machines a montré que la discrétisation optimale de tôles dans un diamètre donné est fonction de la vitesse des machines.

Ce travail s'intéresse à l'étude des machines synchrones à double excitation (MSDE) et au dimensionnement des machines synchrones à aimants permanents (MSAP) dans le cadre des applications de type véhicule hybride. Celle-ci se place dans le cadre général de la réduction des rejets de substances polluantes des véhicules. Le véhicule hybride, associé aux MSAP et aux MSDE constitue de ce point de vue une solution intéressante pour résoudre ces problèmes. Nous avons mis au point plusieurs modèles électromagnétiques analytiques (linéaires ou non) de MSAP basés sur la transformation de Park et sur l'utilisation de réseaux réluctants. Ceux-ci permettent de concilier précision, rapidité et simplicité. Nous avons dimensionné et réalisé une MSDE au laboratoire SATIE répondant à un cahier des charges de véhicule hybride fourni par le groupe PSA. Celle-ci a pu répondre aux contraintes des spécifications à la fois en terme d'encombrement et de performances.

De nombreux systèmes utilisent des convertisseurs électroniques de puissance fonctionnant en modulation de largeur d'impulsions (MLI) comme organe de réglage ou de commande. On peut en particulier citer les entraînements à vitesse variable, les alimentations à découpage ou les filtres actifs. L'objectif du travail est de contribuer à l'étude en temps discret du fonctionnement de ces systèmes lorsqu'ils sont munis d'une commande numérique dont la période d'échantillonnage est synchronisée sur la période de modulation de largeur d'impulsions. Pour cela nous avons développé une méthode originale qui consiste à écrire les équations différentielles qui décrivent la dynamique du système en remplaçant sur chaque période de modulation les fonctions binaires qui représentent les états successifs (ON ou OFF) des semi-conducteurs de puissance par un développement limité en série de Fourier. En introduisant de manière judicieuse dans les équations différentielles du système, des termes harmoniques des fonctions binaires qui décrivent les états des interrupteurs, cette manière de procéder nous a permis de décomposer l'étude en deux étapes : · dans une première étape en limitant le développement en série de Fourier des fonctions binaires décrivant les états des interrupteurs à leur premier terme (c'est-à-dire à leurs valeurs moyennes) nous avons construit un modèle discret d'ordre zéro qui rend compte de l'effet moyen de la découpe MLI, · dans une deuxième étape nous avons construit un modèle dynamique approché de l'écart existant entre le modèle d'ordre zéro et le modèle détaillé du système. Ce modèle fournit une bonne estimation des ondulations induites par la découpe MLI dans les grandeurs du système. Pour le cas des entraînements par moteurs synchrones à aimants permanents alimentés par onduleurs de tension nous avons ainsi pu mettre en évidence que l'étude de la stabilité des boucles des courants du moteur à partir du modèle d'ordre zéro reste valable en présence des ondulations dues à la MLI pour autant qu'on utilise une MLI symétrique avec rafraîchissement des références une fois par période. / Nowadays, a large number of systems are using Pulse Width Modulation (PWM) Power Electronic Converters as control part. These systems can, for example, be variable-speed drives, switching power supplies or active filters. The goal of this work is to contribute to the study of operation of this type of system when they are equipped with a digital control part of which the sampling period is synchronized on the modulation one. After having shown how the equations of these systems can be written down and indicated how their evolution in closed loop operation can be described by using iterative maps, we have tried to develop an approach which allows simplifying this study. The iterative map method has been used in order to take into account the “sequential “character of these systems, i.e. the fact that the control signals are sequences of events which correspond to the changes of the state of the converter semiconductor switches. Therefore we have developed an original method which consists in replacing on each modulation period, in the differential equations describing the system dynamics, the binary functions representing the successive ON or OFF states of the power semiconductors, by a limited Fourier series development of these functions. This method has allowed splitting the study of these systems into two steps: • in the first step a “zero order” model was built. This first model, which provides the average effect of the PWM pulse pattern, has been obtained by limiting the Fourier series development of the binary functions describing the states of the converter switches, to their first term, the one corresponding to their average values on the PWM period, • in the second step we have introduced an approached dynamic model characterising the error between the zero order model and the exact model of the system. This model was built by considering a well chosen number of harmonic terms of the binary functions describing the ON-OFF states of the switches in the differential equations of the system. By combining the error model and the zero order model we have been able to estimate in which measure the ripples induced by the PWM modulation affect the results of the system stability study made by using the zero order model. For the case of Permanent Magnets Synchronous Motors fed by Voltage Source Inverters we have shown that the study of the stability of the motor currents loops made with the zero order model remains valid in the presence of ripples induced by the PWM, as long as a symmetrical modulation is used, with references which are refreshed one time on each switching period.

La mise en place d'un nouveau canal d'alimentation électrique incorporant un générateur à aimants permanents PMG (Permanent Magnet Generator) en remplacement de l'actuel canal de génération hydraulique est l'un des sujets de recherche en cours dans le secteur aéronautique. Le choix de cette solution est motivé par de nombreux avantages : réduction de masse, meilleure disponibilité du réseau hydraulique et maintenance plus aisée. Cependant, l'utilisation d'un PMG en tant que générateur électrique au sein d'un avion implique de nouvelles problématiques, notamment en ce qui concerne la sûreté de fonctionnement lors de défaillances internes au PMG. En effet, tant que le rotor est en rotation, la présence d'une excitation permanente due aux aimants entretient la présence du défaut même si le stator n'est plus alimenté, ce qui complexifie la mise en sécurité du PMG. Il est ainsi nécessaire de connaître précisément l'état de santé du PMG afin d'assurer une bonne continuité de service en évitant d'ordonner la mise en sécurité du PMG sur des défaillances externes au générateur. C'est pourquoi les travaux de cette thèse portent sur la détection des courts-circuits inter-spires dans les PMG, ces défauts ayant été identifiés comme les plus critiques pour ce type de machine. Compte tenu du contexte aéronautique, il a été choisi de travailler sur les méthodes de détection basées sur l'estimation de paramètres via un modèle mathématique de la machine en utilisant le Filtre de Kalman Etendu (FKE). En effet, s'il est correctement paramétré, le FKE permet d'obtenir une bonne dynamique de détection et s'avère être très robuste aux variations du réseau électrique (vitesse, déséquilibre, ...), critère important pour garantir un canal de génération fiable. Deux types de modèle mathématique sont présentés pour la construction d'un indicateur de défaut utilisant les estimations fournies par le FKE. Le premier est basé sur une représentation saine du PMG où l'indicateur de défaut est construit à partir de l'estimation de certains paramètres de la machine (résistance, inductance, constante de fem ou pulsation électrique). Le second modèle utilise une formulation d'un PMG défaillant qui permet d'estimer le pourcentage de spires en court-circuit. Après avoir comparé et validé expérimentalement le comportement des différents indicateurs sur un banc de test à puissance réduite, la mise en place d'un indicateur de court-circuit inter-spires au sein d'un réseau électrique aéronautique et son interaction avec les protections existantes sur avion sont étudiées dans la dernière partie de ce mémoire.

L'objet de ce travail est la validation expérimentale de modèles numériques de turboalternateurs par éléments finis bidimensionnels et tridimensionnels. Cette validation concerne des régimes permanents et des régimes transitoires, tels que des courts-circuits triphasés à vide et des faux-couplages sur le réseau à 180° et à 120°. Un alternateur et son banc d'essai ont été construits. En parallèle, des modèles numériques 2D et 3D de la partie droite et des extrémités de l'alternateur d'essai ont été conçus. La comparaison des résultats obtenus par simulation numérique 2D et par calcul analytique, avec les résultats des essais de courts-circuits triphasés et de faux-couplages sur le réseau a confirmé la validité du calcul par éléments finis 2D pour l'étude des régimes transitoires des alternateurs. Par ailleurs, des relevés d'induction effectués aux extrémités de l'alternateur d'essai ont été analysés et comparés aux calculs par éléments finis 3D. Le modèle numérique 3D donne satisfaction pour les régimes permanents à vide. En outre, les limitations actuelles du calcul 3D sont apparues pour les simulations des régimes transitoires. Enfin, les résultats des essais de faux-couplages de l'alternateur sur le réseau sont présentés et analysés.

Les travaux de cette thèse portent sur l'optimisation de gammes dans laconception des machines synchrones à concentration de flux. Dans un premier temps, unmodèle de dimensionnement multi physique dédié à l'optimisation a été développé pourchaque machine retenue pour cette étude. Un modèle analytique pour la structure à bobinagereparti et un modèle semi-analytique à base de réseaux de réluctances pour la machineà bobinage sur dents. Dans un second temps, nous avons validé nos modèles par comparaisonavec des essais expérimentaux. L'aspect gamme de notre étude nous a contraints à fairecette validation sur différentes machines et pour différents points de fonctionnement. Unepremière phase d'optimisation classique, réalisée grâce au couplage de nos modèles avec uneméthode déterministe à base de gradient a montré la possibilité d'optimiser nos machines.Une démarche originale d'optimisation de gammes basée sur le partage des composants aété mise au point. Son application sur une série de machines a montré que la discrétisationoptimale de tôles dans un diamètre donné est fonction de la vitesse des machines.