La thèse « Arrêt cardiaque réfractaire aux traitements pharmacologiques: quelle solution proposer pour améliorer la circulation systémique et cérébrale? » a montré que l'amélioration de la fonction circulatoire peut être obtenue à plusieurs étapes de la prise en charge de l'arrêt cardiaque. La première étude du travail, sous la forme d'une étude expérimentale à double randomisation, a montré que l'assistance circulatoire type extracorporeal life support ECLS apporte un bénéfice sur la mortalité dans la prise en charge de l'arrêt cardiaque réfractaire chez le cochon, et que l'adrénaline administrée en intraveineux lors de la résuscitation prolongée n'améliore pas la survie des animaux. La deuxième étude a montré que la canulation pour l'ECLS peut être réalisée rapidement par voie percutanée à l'aide d'un repérage échographique et en utilisant des guides rigides en salle de cathétérisme cardiaque chez les patients en arrêt cardiaque réfractaire, permettant l'initiation de l'ECLS dans des centres dotés de salle de cathétérisme sans chirurgie cardiovasculaire. La troisième étude a retrouvé que l'état de choc et le pH artériel<7,11 sont des critères pronostiques identifiant les patients qui, après un arrêt cardiaque, présentent une reprise d'une circulation spontanée mais sont à risque de décéder d'insuffisance circulatoire réfractaire au traitement par catécholamines. La quatrième étude à montré que la stabilisation de la fonction circulatoire par l'ECLS peut être suivie par une meilleure récupération de la fonction ventriculaire gauche en modulant la postcharge, par un dispositif pulsatile diminuant le débit de l'ECLS lors de la systole cardiaque. Enfin, l'optimisation de la circulation cérébrale nécessite en plus de l'optimisation de la circulation systémique, le contrôle de l'interaction entre la pression en gaz carbonique et le débit sanguin cérébral qui est amélioré par une normalisation de la pression en gaz carbonique en stratégie pH-stat. Cette stratégie mesure la pression en gaz carbonique à la température réelle du patient au lieu de la température de référence 37° comme dans la stratégie alpha-stat. L’ensemble de ces résultats, pouvant être appliqués à différentes étapes de la prise en charge d'un patient présentant un arrêt cardiaque, pourraient permettre l'amélioration du pronostic des patients. / The doctoral dissertation « Cardiac arrest refractory to pharmacological treatments : what solution to propose to improve systemic and cerebral circulation ? » showed that circulatory function improvement can be achieved at several stages of the management of cardiac arrest patients. The first study of the dissertation, a double randomization experimental study, showed that extracorporeal life support - ECLS type circulatory assistance improves mortality in refractory cardiac arrest in pigs, and intravenous administration of epinephrine during prolonged resuscitation does not improve survival.The second study showed that cannulation for ECLS can be performed rapidly by the percutaneous technique using echography guidance and stiff wires in the catheterization laboratory in refractory cardiac arrest patients allowing for ECLS initiation in centres with catheterization laboratories but without cardiovascular surgery.The third study found that circulatory shock and arterial pH<7.11 are prognostic criteria identifying patients who, after a cardiac arrest, have return of spontaneous circulation but are at risk of death from circulatory failure refractory to catecholamine treatment.The fourth study showed that hemodynamic stabilization by ECLS can be followed by a better recovery of the left ventricular function by modulating afterload using a pulsatile device lowering ECLS output during systole.Finally, optimization of the cerebral circulation requires besides optimization of the systemic circulation, the control of the interaction between carbon dioxyde partial pressure and cerebral circulatory output, which is improved by normalizing carbon dioxyde partial pressure in pH-stat strategy. This strategy measures partial pressure of carbon dioxyde at the real temperature of the patients instead of the theoretical 37° reference temperature as in alpha-stat strategy.All these results can be applied at different stages of the management of cardiac arrest patients and may improve their prognosis.

Cette thèse porte sur l’optimisation du contrôle des Machines Synchrones à Réluctance Variable (MSRV) et en particulier sur la compensation des phénomènes vibratoires. Elle comprend trois points forts : le développement d’une méthode de minimisation des pulsations de couple et sa validation expérimentale, l’études des facteurs qui peuvent influencer la méthode et l’influence de cette méthode sur les autres performances de la MSRV.Tout d’abord, une méthode de contrôle permettant de compenser les ondulations de couple d’une MSRV existante a été développée. Premièrement, une équation analytique du couple est proposée et analysée afin d’exprimer la relation analytique harmonique entre le couple et les courants d’alimentation. La notion de « fonction de couple » est ensuite introduite. Une stratégie basée sur l’utilisation de cette fonction pour minimiser les ondulations du couple est présentée. Deux méthodes de réduction des ondulations de couple utilisant les différents harmoniques de la fonction de couple sont mises en évidence en. Elles ont été analysées et comparées pour répondre aux différents objectifs. Par la suite, la méthode a été validée par les résultats des simulations pour trois technologies de rotor de MSRV parmi les plus répandues. La méthode est aussi validée par la modélisation analytique et la simulation dynamique à l’aide du logiciel Matlab/Simulink ainsi que par les résultats d’expérimentation avec l’aide du banc d’essai.Ensuite, les facteurs qui peuvent influencer la méthode proposée pour réduire les ondulations de couple et les performances dynamiques ont analysés. Dans un premier temps, une amélioration sensible de l’aptitude au démarrage de la MSRV lorsque la compensation des ondulations de couple est mise en œuvre est mise en évidence. D’autre part la sensibilité de la méthode aux erreurs de mesure de position est évaluée afin de quantifier sa fiabilité dans le cas de l’utilisation d’estimateurs lors du contrôle sans capteur. Enfin, l’influence de la saturation sur la méthode proposée est aussi étudiée à l’aide d’une analyse par éléments finis du comportement magnétique de la MSRV.Finalement, l’influence de la méthode de compensation des ondulations de couple sur d’autres performances de la MSRV est analysée. Les courants optimaux ont plus harmoniques que les courants originaux. Par conséquent, les pertes dans le cuivre, dans le fer et dans les semi-conducteurs de l’onduleur sont modélisées analytiquement, calculées et comparées. Les conclusions montrent que les pertes dans le cuivre sont les plus sensibles à la compensation des harmoniques de couple tandis que les pertes dans le fer et dans l’onduleur sont faiblement affectées. D’autre part, la réduction des ondulations de couple peut changer le comportement vibro-acoustique de la MSRV. La dernière partie est consacrée à l’étude de la relation entre les ondulations de couple et le bruit. Une équation est proposée pour évaluer la variation du bruit produit par la compensation des ondulations de couple. Dans cette partie, les simulations dans Flux 2D sont effectuées pour calculer la variation du bruit. En outre, le logiciel professionnel Manatee réalisant l’analyse des vibrations et de l’acoustique est utilisé dans le but de conforter les résultats obtenus par la modélisation analytique. / This thesis aims to study the control and optimization of a synchronous reluctance machine for the purpose of improving the vibrational performance. The main works of the thesis can be classified into three parts: the proposed torque ripple reduction method, the factors which can influence the proposed method and the influence of the proposed method.At first, the torque ripple of synchronous reluctance machine is reduced by a control method. Firstly, a torque equation is proposed in order to present the relationship between torque ripple and the optimal currents. Then a new parameter, torque function, is put forward. Based on the torque function, the torque ripple reduction strategy is presented. Two different torque ripple minimizations are proposed by applying different torque function harmonics. They are analyzed and compared in order to define the optimal method. In order to test the proposed method further, the selected torque ripple minimization approach is applied to three SynRMs. The results of finite element simulations imply that the proposed method is effective to decrease the torque ripples of these three SynRMs. The proposed torque ripple reduction method is verified according to the models built in MATLAB/Simulink and the experiment results respectively.Then the factors which could influence the proposed torque ripple reduction method are analyzed. Firstly, torque function is a function of rotor position, current angle and saturation. Based on the model in Simulink, the influence of different starting position on the performance of the studied SynSR is analyzed. Besides, the estimated position errors produced by senserless control could also affect the toque ripple minimization by changing torque function. At last, the influence of saturation on the proposed torque ripple reduction method is introduced because the amplitudes of the optimal currents are increased.In addition, the influence of torque ripple reduction on the other perfomances of SynRM is analyzed. The optimal currents have more harmonics than the original sinusoidal currents. So three losses (copper losses, iron losses and inverter losses) are modeled, calculated, analyzed and compared. According to the results, the copper losses are the most sensible losses. The iron losses and the inverter losses are a little increased and the increased parts can be neglected. Besides, reducing torque ripple by adding stator currents could influence the vibro-acoustic of the studied SynRM. Thus this section aims to explain the relationship between torque ripple reduction and acoustic noise. An analytical equation is proposed in order to evaluate the variation of noise produced by torque ripple reduction. Simulations in Flux 2D have been performed in order to calculate the variation of noise resulted by torque ripple reduction. At last, the software Manatee which is professional in studying the vibration and noise is applied for the purpose of comparing the results with those of the finite element analysis.

Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utilisation des plusieurs horloges et le test d'intégration, permettant la mesure de couverture de systèmes de grande taille. Ces deux stratégies pourraient avoir un impact positif sur le test efficace des applications réelles. Des études de cas extraites du domaine de l'avionique sont employées pour démontrer l'applicabilité de ces méthodes et pour évaluer leur complexité.

Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité.<br />Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. <br /> Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. <br />Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de $n$ participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé $mpair$ qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées.

Le projet SpIn définit un modèle d'interface tridimensionnelle pour le travail coopératif synchrone. Il s'agit de recréer virtuellement les conditions d'une réunion, en augmentant (par rapport au monde réel) les possibilités des utilisateurs.<br />Dans les réunions de petits groupes médiatisées, nous avons constaté les limites des interfaces 2D habituelles, et des solutions utilisant la vidéo pour établir une coopération. Nos travaux portent sur une nouvelle organisation de l'espace de travail, en trois dimensions. Il a fallu pour cela développer un système d'interaction, des couches les plus basses aux primitives d'interaction de haut niveau, afin de créer un modèle cohérent et complet, permettant d'interagir sur les documents partagés de la réunion, et avec ses interlocuteurs. Ce modèle est composé de règles de conception qui concernent aussi bien les dispositifs d'entrée que de sortie, il est basé sur des évaluations et sur une analyse des problèmes de perception de l'utilisateur face à un environnement 3D virtuel.<br />A partir de la définition de ces méthodes d'interaction de base du modèle, nous construisons des primitives d'interaction de haut niveau comme les menus 3D. Nous décrivons également nos choix en matière de communication, en tenant compte des paramètres essentiels de la coopération dans une réunion. La représentation des acteurs, sous forme de clones 3D, et des documents se fait dans le même espace, permettant de créer une cohérence visuelle forte de la scène, qui aide les utilisateurs dans la compréhension et la réalisation de leur tâche. Les clones étant entièrement paramétrables, on les anime pour informer un utilisateur sur l'activité de ses interlocuteurs.<br />Cet ensemble, basé sur la synthèse d'image temps réel et une démarche d'évaluations, forme un outil permettant d'organiser des réunions entre personnes distantes, comme des réunions de bureau d'étude, de la télévente, de l'enseignement à distance, etc.

En aéronautique civile, les systèmes électriques qui composent l'avion sont de plus en plus nombreux, de par l'accroissement des fonctionnalités, des besoins des usagers (confort), mais aussi par le besoin d'améliorer les performances des actionneurs électromécaniques et hydrauliques, voire de les remplacer par du tout électrique. Ainsi, les systèmes d'électroniques de puissance sont les premiers dispositifs électriques que voient les actionneurs. Ces dispositifs sont interfacés avec les interfaces de pilotage par des systèmes de contrôles-commandes.<br />Les normes aéronautiques imposent que tous les dispositifs utilisés dans un avion répondent à des contraintes sévères quant à leur fiabilité et leur sécurité de fonctionnement. Dans le cas précis des convertisseurs statiques qui pilotent les actionneurs, on est confronté aux normes de fonctionnement des réseaux électriques, aux normes C.E.M., aux normes environnementales (au sens du contexte du dispositif), et aux normes liés aux systèmes de contrôle.<br />Le marché de l'aéronautique, bien que très spécifique, est très concurrentiel au niveau mondial. Les multiples objectifs de matériels très performants, très fiables, très sûrs, mais les moins chers possibles sont donc de véritables problématiques.<br />Dans le cadre des convertisseurs statiques, un moyen pour réduire les coûts est l'utilisation de DSP (Digital Signal Processors) pour maximiser l'intégration de la commande et pour réduire les coûts, mais ce composant n'est pas conçu pour le milieu aéronautique.<br />L'ensemble de cette étude porte sur la conception d'un nouveau type de radar marqué par plusieurs ruptures technologiques. Le prototype réalisé comporte un convertisseur statique piloté par un DSP, mais ayant des fonctionnalités qui vont largement au-delà du convertisseur basique d'électronique de puissance. L'aspect « système » est largement pris en compte. Le convertisseur mis en oeuvre est un dispositif autonome de pilotage de moteurs.

Dans le cadre de la motorisation électrique des véhicules dits « propres » (tels que les véhicules hybrides) où le cahier des charges est difficile à satisfaire, une dizaine d'équipes dans le monde prospectent des topologies de machines synchrones qui permettraient de combiner la souplesse de fonctionnement de la machine synchrone à excitation bobinée aux avantages de la machine synchrone à aimants permanents.<br />Parmi ces structures, nous trouvons la Machine Synchrone à Aimants Permanents à Concentration de Flux et à Double Excitation (MSAPConFDE) qui fait l'objet des travaux de recherche présentés dans cette thèse réalisée dans le cadre d'une coopération interuniversitaire entre le laboratoire SET de l'Université de Technologie de Belfort-Montbéliard et le laboratoire SATIE de l'Ecole Normale Supérieure de Cachan. On s'est intéressé, en premier lieu, à l'étude par la méthode des éléments finis de cette structure. Les modèles prennent en compte l'aspect tridimensionnel de la MSAPConFDE, l'anisotropie du feuilletage et la saturation magnétique. Ils ont permis d'approfondir la compréhension des phénomènes qui régissent le fonctionnement d'une telle structure et d'analyser les différents trajets de flux. En second lieu, des modèles analytiques, basés sur la méthode des schémas réluctants, ont été établis. Les trajets de flux tridimensionnels, la saturation magnétique et les différents trajets de fuites ont été pris en compte. Finalement, ces modèles ont été exploités dans une démarche de pré-dimensionnement optimal basée sur l'algorithme génétique. Les résultats obtenus nous encouragent à enrichir l'outil de pré-dimensionnement par de nouveaux modèles de machines synchrones et par différents algorithmes d'optimisation. Ceci permettra d'aboutir vers une plate-forme de logiciels pour le pré-dimensionnement optimal des machines synchrones pour un cahier des charges donné.

La programmation synchrone a ete proposee pour faciliter la conception et la programmation des systemes reactifs (systemes dont le role est de reagir continument a leur environnement physique, celui-ci etant incapable de se synchroniser avec le systeme). Ces systemes sont tres souvent repartis, que ce soit pour des raisons d'implantation physique, d'amelioration des performances ou de tolerance aux pannes. En outre, les travaux sur la compilation des langages synchrones ont conduit a utiliser une representation interne des programmes sous forme d'un automate d'etats fini : c'est le format OC. Ce travail porte donc sur la repartition automatique des programmes OC. La principale difficulte est d'assurer l'equivalence fonctionnelle et temporelle entre le programme centralise initial et le programme reparti, et de prouver cette equivalence, ce qui est indispensable dans le domaine du temps reel critique. Nous nous attachons egalement a minimiser localement la structure de controle de chaque programme reparti. Pour cela nous developpons un algorithme original de reduction des tests ``a la volee'' utilisant des techniques de bisimulation. D'autre part nous definissons completement l'environnement d'execution des programmes repartis. Ici notre principal souci est de fournir une solution la plus proche possible de l'execution centralisee. Enfin dans le but d'expliquer les desynchronisations introduites par la repartition, nous proposons une semantique originale du langage synchrone Lustre, semantique definie par des ordres partiels.

Afin de rendre les machines synchrones à aimants permanents plus attractives pour l'aéronautique (actionneurs de commande de vol, systèmes de freinage, train d'atterrissage ...), il peut être intéressant de réduire le nombre de modules d'électronique de puissance utilisés en les mutualisant. De nombreuses études ont été réalisées pour des systèmes composés de plusieurs machines asynchrones et principalement en traction ferroviaire, mais peu concernent les machines synchrones. Après avoir étudié différentes structures envisageables, les travaux développés lors de cette thèse présentent une étude originale d'un système composé de deux machines synchrones à aimants permanents connectées en parallèle sur un onduleur unique mutualisé. Ces machines ont des caractéristiques identiques ou proches et doivent être pilotées à la même vitesse. La structure de commande retenue lors de cette thèse est de type maître-esclave: seule une des deux machines est autopilotée (la machine maître), l'autre (la machine esclave) fonctionnant en boucle ouverte. Afin d'assurer la stabilité d'un tel système, le synchronisme des deux moteurs doit toujours être respecté. Une stratégie de commande, qui choisit quel est le moteur maître, en prenant en compte la variation des paramètres internes et externes du système, est alors instaurée. Dans ces conditions, les évolutions théoriques des différentes variables sont déterminées. Pour valider ces résultats, un processus expérimental est mis en place. Les nombreux résultats obtenus en simulation et expérimentalement permettent alors de confirmer les résultats théoriques: que ce soient les paramètres mécaniques ou électriques qui varient, la stabilité du système est toujours garantie. Le cas supplémentaire où les deux machines déplacent une charge mécanique commune avec une liaison mécanique rigide entre les deux machines, est finalement développé. Une autre stratégie de commande, dont la structure et les résultats sont également présentés dans cette thèse, est alors nécessaire.

Cette thèse propose des approches neuromimétiques d'identification et de commande avec des applications directes au Filtre Actif Parallèle (FAP) et au Moteur Synchrone à Aiment Permanent (MSAP). Une structure neuronale complète a été développée pour réaliser toutes les fonctionnalités d'un FAP pour compenser des harmoniques de courant. La phase instantanée et les composantes symétriques d'un système triphasé de tensions ou de courants ont été estimées avec une boucle à verrouillage de phase neuronale. L'identification des harmoniques de courant a été réalisée avec des réseaux de neurones de type Adaline opérant dans les différents repères. Plusieurs schémas de commande ont été développés pour réinjecter les courants de compensation à l'aide d'un onduleur. Ils sont basés sur des techniques neuromimétiques, sur la logique floue, ou sur leur association. Une approche neuronale a été développée pour commander une MSAP à distribution quelconque avec des contraintes prédéterminées réduisant les ondulations du couple. Elle consiste en des schémas de commande directe en couple ou en vitesse pour obtenir les courants statoriques optimaux qui donnent exactement le couple électromagnétique (ou la vitesse) désiré et qui réduisent au maximum les pertes par effet Joule. Ces commandes intègrent deux blocs neuronaux, l'un dédié au calcul des courants optimaux et l'autre pour assurer leur génération à travers un onduleur de tension. Toutes les approches neuromimétiques ont été validées par des tests de simulation et des essais expérimentaux. Des comparaisons avec les méthodes de commande classique démontrent des caractéristiques supérieures en termes de performance et de robustesse.