La génération contrôlée et à haut débit de gouttes de volume caractéristique un nanolitre dans des canaux microfluidiques permet le suivi simultané de réactions dans des centaines de microréacteurs. En particulier, l'encapsulation d'une cellule par goutte ouvre la voie de l'étude de populations hétérogènes d'organismes biologiques au niveau de la cellule unique. Cette thèse décrit, dans une première partie, le développement d'un microsystème dédié à la mesure haut débit de l'expression de gênes d'intérêt de cellules individuelles isolées dans des gouttes, par la méthode de transcription inverse suivie d'une réaction de polymérisation en chaîne en temps réel. Dans une deuxième partie, la technologie de gouttes est mise à profit pour une étude fondamentale originale des transferts de masse entre une phase dispersée et une phase porteuse. Nous illustrons ce chapitre par deux applications de l'extraction liquide-liquide dans des microgouttes : la première concerne l'extraction du zinc sous forme ionique, la deuxième présente les premières étapes de la purification de l'ARN. Enfin, la dernière partie constitue une ouverture sur les applications potentielles de la génération d'émulsions micrométriques complexes pour la vectorisation de médicaments ou de vaccins par phagocytose.

Les applications temps réel modernes deviennent plus exigeantes en termes de ressources et de débit amenant la conception d'architectures multiprocesseurs. Ces systèmes, des équipements embarqués au calculateur haute performance, sont, pour des raisons d'autonomie et de fiabilité, confrontés des problèmes cruciaux de consommation d'énergie. Pour ces raisons, cette thèse propose de nouvelles techniques d'optimisation de la consommation d'énergie dans l'ordonnancement de systèmes multiprocesseur. La premiére contribution est un algorithme d'ordonnancement hiérarchique á deux niveaux qui autorise la migration restreinte des tâches. Cet algorithme vise á réduire la sous-optimalité de l'algorithme global EDF. La deuxiéme contribution de cette thèse est une technique de gestion dynamique de la consommation nommée Assertive Dynamic Power Management (AsDPM). Cette technique, qui régit le contrôle d'admission des tâches, vise á exploiter de manière optimale les modes repos des processeurs dans le but de réduire le nombre de processeurs actifs. La troisiéme contribution propose une nouvelle technique, nommée Deterministic Stretch-to-Fit (DSF), permettant d'exploiter le DVFS des processeurs. Les gains énergétiques observés s'approchent des solutions déjà existantes tout en offrant une complexité plus réduite. Ces techniques ont une efficacité variable selon les applications, amenant á définir une approche plus générique de gestion de la consommation appelée Hybrid Power Management (HyPowMan). Cette approche sélectionne, en cours d'exécution, la technique qui répond le mieux aux exigences énergie/performance.

Nous proposons dans cette thèse, différents outils de réglage de tension et de gestion de la puissance réactive en fonction des conditions de raccordement des éoliennes au réseau électrique. Trois cas figure sont étudiés : raccordement direct sur un poste source de distribution, raccordement des éoliennes réparties dans un réseau de distribution et raccordement d'un ensemble de parcs éoliens au réseau de transport.Un algorithme de réglage basé sur l'asservissement de la puissance réactive est proposé pour le raccordement direct d'un parc sur un poste source. Un réglage coordonné de tension en présence de régleur en charge est proposé (D-RCT) pour le raccordement des éoliennes reparties dans un réseau de distribution. On propose aussi une version plus décentralisée du réglage coordonné (D2-RCT) qui pourrait être implantée sous forme de système multi-agents intelligents (SMA). Un system de control multi-niveaux est proposé pour le raccordement d'un ensemble de parcs éoliens au réseau de transport. Il permet de répondre de manière optimale à une demande puissance réactive envoyée par le gestionnaire du réseau de transport. Les différents types de réglages proposés sont basés sur des algorithmes d'optimisation multi-objectifs. Afin de valider en temps réel le bon fonctionnement des stratégies de réglages développées ainsi que leurs modes de communication, une implantation expérimentale sous simulateur temps réel RT-Lab a été effectuée. Enfin, les résultats des simulations montrent l'amélioration de l'intégration de la production décentralisée dans les réseaux électriques

Depuis quelques années, le domaine de l'automobile connaît de grands changements afin d'améliorer la sécurité, le confort ou réduire la consommation. Aujourd'hui, de multiples composants automobiles informatisés sont développés et intégrés. Cependant, ces composants doivent garantir une certaine sûreté de fonctionnement et des composants peu critiques défaillants ne doivent pas engendrer de défaillances, par propagation, sur des composants critiques. Une isolation des composants est donc nécessaire. Notre travail porte sur la robustesse temporelle des systèmes temps réel embarqués. Le domaine automobile est relativement standardisé et un des standards émergents, le standard AUTOSAR OS, spécifie l'organisation des systèmes informatiques embarqués afin de faciliter le développement de systèmes multiconcepteurs, de permettre la réutilisation de composants sur étagères et d'accroître la flexibilité de tout le processus de développement. Nous nous intéressons plus particulièrement au mécanisme de protection temporelle proposé par ce standard qui permet d'isoler temporellement chaque fonction de l'application en détectant une erreur avant qu'une défaillance plus importante ne se produise. Nous proposons dans ce mémoire des techniques de configuration de ce mécanisme par rapport à certains modèles d'application et aux garanties demandées par le concepteur. Une étude de cas réalisée sur une plateforme matérielle d'exécution et sur le système d'exploitation temps réel Trampoline complète l'étude.

Dans le contexte automobile actuel, étroitement lié à la volonté de réduire les émissions de CO2 dans l'atmosphère, les véhicules hybrides demeurent un passage obligé à court et moyen terme. Un véhicule hybride possède deux sources d'énergie pour assurer sa propulsion : en général un moteur thermique constitue la principale source d'énergie, tandis qu'un moteur électrique représente la source secondaire. La capacité d'un véhicule hybride à consommer moins de carburant, et à rejeter moins de CO2, provient de la présence du moteur électrique. Celui-ci peut être utilisé soit conjointement avec le moteur thermique, soit seul, aucun carburant n'étant alors consommé. La présence de ces deux sources d'énergie impose au système global d'être régi par une stratégie de contrôle déterminant la répartition du couple entre les deux moteurs en fonction de l'état de charge de la batterie. Cette répartition peut être déterminée pour être optimale vis-à-vis de critères tels que la consommation de carburant, les émissions de polluants, etc. L'objectif de la thèse est de développer des méthodes d'optimisation de la répartition de couple entre les deux moteurs d'un véhicule hybride, dans l'objectif de minimiser les émissions de CO2. Une première étape a consisté à développer des modèles représentatifs d'une architecture type adaptés aux types d'optimisation réalisée. Les algorithmes d'optimisation diffèrent selon qu'ils soient capables de traiter des problèmes hors-ligne, ou temps-réel. Parmi les algorithmes d'optimisation hors-ligne étudiés, la programmation dynamique a été utilisée pour déterminer le dimensionnement optimal des éléments principaux d'une architecture hybride, et en déterminer le gain théorique par rapport à une motorisation traditionnelle. Par ailleurs, un algorithme de tir original nommé SCOP a été développé, celui-ci permettant de traiter des problèmes de commande optimale avec contraintes sur l'état, tout en multipliant les performances par 50 par rapport à la méthode de programmation dynamique. Une stratégie de contrôle temps-réel, basée sur l'Equivalent Consumption Minimization Strategy (ECMS) utilisant le principe de Pontryagin, a été développée et implémentée sur un prototype de véhicule hybride, une Smart équipée d'un alterno-démarreur. Les résultats obtenus démontrent de l'action de la stratégie pour la réduction de la consommation de carburant et des émissions de CO2.

En synthèse d'images, les scènes tridimensionnelles animées sont de plus en plus riches etdétaillées. Mais elles sont actuellement limitées dans les variations de leur échelle d'observation. Par exemple, créer des modèles permettant une ballade interactive passant continûment d'un atome à une galaxie pose de sérieux problèmes. L'objectif de cette thèse est d'y apporter une solution dans le cadre d'une visualisation temps-réel sur un matériel informatique standard. Tout d'abord, nous montrons pourquoi la modélisation multi-échelle procédurale est particulièrement bien adaptée pour résoudre ce problème. Plus précisément, nous utilisons la modélisation par complexification qui décrit un modèle par une représentation grossière et par un ensemble de fonctions qui lui ajoutent localement des détails jusqu'à satisfaire la précision requise par des critères perceptuels. Nous introduisons une nouveau formalisme basé sur le langage C++ capable de décrire un large éventail de modèles 3D animés sur de grandes variations d'échelle. Nous proposons un outil générique qui implémente ce formalisme appelé DynamicGraph. Cet outil offre d'une part une interface graphique dédiée et d'autre part un algorithme de rendu temps-réel qui évalue effcacement la visibilité et de la précision requise. Nous illustrons par différentes études de cas le potentiel de cette approche.

L'émergence des périphériques de capture numériques ont permis le dé- veloppement de l'acquisition 3D pour numériser les propriétés d'un objet réel : sa forme et son apparence. Ce processus fournit une représentation dense et précise d'objets réels et permet de s'abstraire d'un processus de simulation physique coûteux pour modéliser un objet. Ainsi, les problématiques ont évolué et portent non plus uniquement sur la modélisation des caractéristiques d'un objet réel mais sur les traitements de données issues de l'acquisition pour intégrer une copie de la réalité dans un processus de synthèse d'images. Dans ces travaux de thèse, nous proposons de nouvelles représentations pour des fonctions d'apparence issues de l'acquisition dont le but est de dénir un ensemble de modèles multi-échelles, de faible complexité en taille, capable d'être visualisé en temps réel sur le matériel graphique actuel.

Le problème abordé ici concerne l'indexation de données multimédia par la recherche d'extraits pertinents. Nos travaux se focalisent sur l'analyse de séquences vidéo afin d'y détecter des événements prédéfinis. La recherche de ces événements étant contextuelle, nous proposons une architecture et des outils génériques et rapides pour la mise en oeuvre de systèmes d'indexation spécifiques. Nous insistons notamment sur les problèmes suivants : la segmentation temporelle des données, la séparation du fond et des objets, la structuration du fond, le suivi des objets (rigides ou non, avec ou sans apprentissage) et l'analyse des données audio. Afin de résoudre ces différents problèmes, les outils génériques que nous proposons sont basés sur des analyses semi-locales, des approches multirésolution, des modèles de Markov cachées et la méthode des contours actifs. L'architecture et les outils introduits ici ont été validés au travers de plusieurs applications.

Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérifica- tion des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous dé- crivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibili- tés d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous pré- sentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents para- mètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentale- ment les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches.

La plupart des constructeurs de systèmes d'imagerie par résonance magnétique (IRM) proposent un large choix d'applications de post-traitement sur les données IRM reconstruites a posteriori, mais très peu de ces applications peuvent être exécutées en temps réel pendant l'examen. Mises à part certaines solutions dédiées à l'IRM fonctionnelle permettant des expériences relativement simples ainsi que d'autres solutions pour l'IRM interventionnelle produisant des scans anatomiques pendant un acte de chirurgie, aucun outil n'a été développé pour l'IRM pondérée en diffusion (IRMd). Cependant, comme les examens d'IRMd sont extrêmement sensibles à des perturbations du système hardware ou à des perturbations provoquées par le sujet et qui induisent des données corrompues, il peut être intéressant d'investiguer la possibilité de reconstruire les données d'IRMd directement lors de l'examen. Cette thèse est dédiée à ce projet innovant. La contribution majeure de cette thèse a consisté en des solutions de débruitage des données d'IRMd en temps réel. En effet, le signal pondéré en diffusion peut être corrompu par un niveau élevé de bruit qui n'est plus gaussien, mais ricien ou chi non centré. Après avoir réalisé un état de l'art détaillé de la littérature sur le bruit en IRM, nous avons étendu l'estimateur linéaire qui minimise l'erreur quadratique moyenne (LMMSE) et nous l'avons adapté à notre cadre de temps réel réalisé avec un filtre de Kalman. Nous avons comparé les performances de cette solution à celles d'un filtrage gaussien standard, difficile à implémenter car il nécessite une modification de la chaîne de reconstruction pour y être inséré immédiatement après la démodulation du signal acquis dans l'espace de Fourier. Nous avons aussi développé un filtre de Kalman parallèle qui permet d'appréhender toute distribution de bruit et nous avons montré que ses performances étaient comparables à celles de notre méthode précédente utilisant un filtre de Kalman non parallèle. Enfin, nous avons investigué la faisabilité de réaliser une tractographie en temps-réel pour déterminer la connectivité structurelle en direct, pendant l'examen. Nous espérons que ce panel de développements méthodologiques permettra d'améliorer et d'accélérer le diagnostic en cas d'urgence pour vérifier l'état des faisceaux de fibres de la substance blanche.