Cette thèse s'inscrit dans le cadre des énergies renouvelables au sein du programme HARVEST du laboratoire LEGI, qui consiste à développer un concept d'hydrolienne de type Darrieus. L'hydrolienne peut être équipée d'un dispositif appelé carénage afin de transformer une portion plus grande de l'énergie cinétique contenue dans le courant d'eau en électricité. Les travaux présentés se sont focalisés sur ces systèmes de carénage, autour de trois axes : l'explication du principe de fonctionnement hydrodynamique du carénage, la quantification des performances de l'hydrolienne carénée et la mise en évidence des grandeurs géométriques clés du carénage permettant d'améliorer ou d'optimiser la performance du système. Toutes les études ont été réalisées à l'aide des calculs RANS 2D et des données expérimentales mises à disposition et, comparées aux résultats obtenus pour une hydrolienne non-carénée.

La période de réionisation est une transition dans l'histoire de l'Univers qui change sont état d'ionisation. Les progrès en calcul intensif permettent maintenant de modéliser l'évolution du phénomène. D'habitude, les analyses se concentrent sur l'évolution de propriétés globales dans les simulations. Différemment, j'ai mis au point une nouvelle technique d'analyse de simulations qui permet d'appréhender le phémomène global de manière locale. Elle s'appuie sur l'extraction d'un arbre de fusion de régions HII pour caractériser le processus de réionisation. La technique a été appliqué dans plusieurs simulations où différents modèles de sources ont été considérés pour étudier leur impact sur la chrono-morphologie du processus. Dans un second temps, l'arbre a permis de caractériser l'histoire de réionisation passée de galaxies de types Voie Lactée. Enfin, la technique a été appliquée dans des simulations du Groupe Local pour quantifier l'histoire de réionisation de MW et M31.

L'aboutissement aux Commandes de Vol Électriques (CDVE) des avions civils actuels s'est fait par étapes, après une longue maturation des différentes technologies mises en place. La prochaine étape est l'utilisation de communications intégralement numériques et d'actionneurs intelligents. Cette thèse propose de nouvelles architectures, en rupture avec l'état de l'art, avec de nouvelles répartitions des fonctions intelligentes entre l'avionique centrale (calculateurs de commandes de vols) et l'avionique déportée (électroniques locales des actionneurs) dont l'avantage est d'exiger moins de ressources par rapport aux architectures conventionnelles tout en satisfaisant les mêmes exigences de sécurité et de disponibilité ainsi que les exigences croissantes en fiabilité opérationnelle de la part des compagnies aériennes. La sûreté de fonctionnement et la robustesse des nouvelles architectures proposées ont été validées respectivement sous OCAS/Altarica et Matlab/Simulink.

Le besoin d'améliorer la capacité des réseaux sans-fil, pour la transmission de données et les applications multimédia des systèmes de communications numériques, a amené à s'intéresser aux techniques de communication MIMO (Multiple Input Multiple Output) pour augmenter le débit et la qualité des transmissions. Les systèmes MIMO se servent de réseaux d'antennes, à la fois à l'émission et à la réception d'une communication radio et ainsi exploitent la dimension spatiale pour la transmission de l'information. Les performances expérimentales d'un système de communication peuvent être évaluées en utilisant un simulateur matériel du canal de propagation. Cette thèse a pour objectif la conception et la réalisation de la partie numérique d'un simulateur matériel pour les canaux de propagation MIMO, pour les réseaux UMTS et WLAN. La simulation matérielle du canal radio assure la vitesse de traitement nécessaire. D'autres avantages de la simulation matérielle sont l'évaluation des performances en temps réel et la comparaison de divers systèmes de radiocommunication dans un canal de propagation variant dans le temps, dans les mêmes conditions de test. L'étude de faisabilité a permis d'établir deux approches, l'une pour les environnements indoor, l'autre pour les environnements outdoor. Les architectures numériques proposées ont été étudiées et implémentées dans un composant programmable FPGA. L'évaluation des performances et de la complexité montre l'intérêt de ces architectures. Ce travail a été réalisé dans le cadre du projet PRIR SIMPAA 2, avec le soutien de la Région Bretagne.

De nombreux travaux ont montré que, à l'origine des limitations de l'interaction bureautique, il y a un manque à la fois d'espace moteur et d'espace visuel.Cette thèse explore des moyens pour optimiser l'usage de ces espaces.D'une part, à partir du constat que l'on contrôle la position et l'orientation d'un objet par un geste naturel, cette thèse étudie les bénéfices que peut offrir une souris dotée d'un capteur de rotation. Cette < souris rotative > permet à l'utilisateur de maîtriser avec aisance trois variables continues d'une tâche informatique. Un état de l'art présente des aspects perceptifs et moteurs des actions en question et les particularités ergonomiques et techniques d'un tel dispositif. Deux techniques d'interaction - visant à faciliter des tâches métier récurrentes - sont proposées :le réglage < quasi-intégral > et la < palette satellitaire >. Par ailleurs, une évaluation expérimentale compare la performance d'une souris rotative avec celle d'une souris traditionnelle.D'autre part, ce travail se penche sur les questions de la visualisation de documents dans le contexte des bibliothèques numériques. D'abord, il examine l'apport et la faisabilité technique de l'utilisation d'un dispositif d'affichage immersif pour la navigation dans un catalogue de titres virtuel. Puis, afin de faciliter l'inspection massive d'un lot de pages numérisées, il avance des techniques de visualisation zoomables et multi-focales. Ces dernières permettent, dans une recherche d'anomalies, de saisir vite les caractéristiques visuelles de quelques centaines de pages. Et cela grâce à un va-et-vient entre la vue d'ensemble et la navigation panoramique des détails.

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémique et prouvons ensuite que ce dernier est globalement asymptotiquement stable. La plupart des variables et paramètres de modèles mathématiques étant inconnus, nous proposons, dans notre travail, des méthodes de calibration par les observateurs :la méthode du Moving Horizon State Estimation ou MHSE et celle de l'observateur grand gain. Une application de ces deux méthodes sera faite sur le modèle de MacDonald.

Ces dernières années, les systèmes de communication sans fil utilisant plusieurs antennes en émission et en réception, couramment appelés systèmes MIMO, sont apparus comme une solution très prometteuse pour améliorer le débit et la fiabilité des transmissions de données. Dans le but de répartir l'information sur les différentes antennes d'émission, une multitude de codes temps-espace a été proposée dans la littérature. Parmi ces schémas de codage, les codes temps-espace en treillis (STTCs), basés sur des modulations codées en treillis dans un contexte multi-antennaire, se sont distingués comme offrant un très bon gain de codage. Des critères ont été élaborés pour analyser les performances des STTCs. Cependant, pour identifier les codes offrant les meilleures performances, il est nécessaire d'appliquer ces critères sur la totalité des codes. Cette recherche exhaustive nécessite un temps important de calcul, en particulier lorsque le nombre d'antennes d'émission, le nombre d'états du codeur ou encore la complexité de la modulation augmentent. Le but de cette thèse est de proposer des solutions rapides et efficaces pour construire les meilleurs STTCs sans avoir recours à une recherche exhaustive. Dans un premier temps, une nouvelle méthode de construction des STTCs $2^n$-PSK équilibrés est présentée. L'avantage de cette classe de codes est de contenir l'ensemble des STTCS offrant les meilleures performances. Il suffit alors d'analyser seulement les STTCs $2^n$-PSK équilibrés pour trouver les meilleurs STTCs. Une deuxième méthode appelée 'coset partitioning' est ensuite présentée. Exploitant une approche en cosets du set partitioning proposé par Ungerboeck, elle permet de générer de manière optimale les STTCs $2^n$2n-PSK les plus performants. Ainsi, les meilleurs STTCs 4-PSK de 2 à 8 antennes d'émission et les meilleurs STTCs 8-PSK de 2 à 6 antennes d'émission sont proposés. Par la suite, nous nous intéressons à la génération des STTCs $2^{2n}$-QAM. Basée sur la décomposition de la distance euclidienne entre deux mots de code, une méthode permettant la génération des meilleurs STTCs $2^{2n}$-QAM est décrite. Ainsi, grâce à l'efficacité de cette méthode, pour la première fois, des STTCs 16-QAM avec 3 et 4 antennes et des STTCs 64-QAM avec 2 et 3 antennes d'émission sont construits. Par ailleurs, les performances de tous les nouveaux codes proposés durant ces travaux de thèse sont évaluées par simulation en présence de canaux lents ou rapides de Rayleigh et en prenant en référence les meilleurs codes correspondants jusqu'alors publiés (lorsqu'ils existent).

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.

Les études présentées dans ce mémoire portent sur la simulation numérique et l'analyse physique des milieux granulaires immergés dans un fluide. Des développements numériques ont été réalisés pour coupler la méthode Lattice Boltzmann pour la dynamique du fluide avec la méthode Contact Dynamics en 2D et avec la méthode Molecular Dynamics en 3D pour la dynamique des grains. Ces outils numériques ont été utilisés pour étudier l'initiation des avalanches sur un plan incliné en fonction de la compacité initiale et de l'angle d'inclinaison en 3D. Les résultats sont en bon accord quantitatif avec les expériences et ont permis de mettre en évidence la stabilisation de la pente granulaire par une pression négative du fluide interstitielle induite par la dilatance, et l'évolution spatiotemporelle des grandeurs telles que la compacité et la déformation de cisaillement. Ces évolutions dans la phase de fluage qui précède la rupture de pente ont pu être mises à l'échelle par un modèle théorique incorporant la loi de Darcy et l'effet de la dilatance sur l'angle de frottement interne. L'analyse de la texture granulaire a révélé la distortion du réseau des contacts pendant le fluage et la saturation de l'anisotropie comme un critère de rupture. La propagation des avalanches granulaires a été étudiée dans une configuration 2D pour deux géométries différentes : 1) l'effondrement et l'étalement d'une colonne sous son propre poids, 2) l'étalement d'une pente sous l'effet d'une énergie cinétique injectée. Nous avons en particulier montré que la distance et la durée d'étalement obéissent à des lois de puissance en fonction du rapport d'aspect initial ou de l'énergie injectée. Le fluide exerce deux effets contradictoires : réduire les temps de relaxation et lubrifier les contacts. Ces effets ont été analysés dans le régime visqueux en fonction des conditions initiales et la viscosité du fluide.

L'objectif principal de cette thèse est consacré à l'étude de la dynamique et la rhéologie d'une suspension de particules denses qui se comportent comme des fluides complexes. La premier partie de cette thèse est consacrée à l'étude de la déformation, le comportement dynamique et la rhéologie d'une suspension de vésicule (un modèle simple pour les globules rouges) sous l'action d'un écoulement externe appliqué (cisaillement simple et Poiseuille confiné) dans la limite de faible nombre de Reynolds. L'étude basée sur des simulations numériques en utilisant la méthode des intégrales de frontière. Cette étude est inspirée par le comportement des globules rouges dans le système microvasculaire. Notre étude est ensuite consacrée aux effets du confinement et du nombre capillaire sur la forme, le comportement dynamique et la viscosité effective d'une suspension de vésicules. Nous avons montré que pour des membranes rigides (nombre capillaire petit), on peut observer en plus de la forme parachute et pantoufle, les formes suivantes : (i) forme d'oscillation centrée, (ii) forme d'oscillation décentrée et (iii) la forme cacahuète. Egalement, nous avons examiné l'influence du contraste de viscosité sur la dynamique et la rhéologie d'une vésicule. Nous avons montré qu'il existe une phase de "coexistence" entre la forme pantoufle et la forme parachute. Dans la deuxième partie de cette thèse, nous avons proposé un modèle analytique et une étude numérique pour étudier les propriétés dynamiques et rhéologiques d'une suspension de particules rigides sous écoulement de Poiseuille confiné. Le débit, la dissipation et la viscosité apparente sont étudiés en fonction de la structure des plaques dans le canal. Egalement, l'étude numérique d'une suspension de particules sphériques (formes des chaînes de particules) est en accord qualitatif avec le modèle analytique qui considère les longues plaques. Cette étude numérique est basée sur une méthode de la dynamique des particules du fluide, où les particules sont représentées par un champ scalaire ayant une viscosité élevée à l'intérieur.