Cette thèse traite de la modélisation, l'illumination et le rendu temps-réel de milieux participants à l'aide du GPU. Dans une première partie, nous commençons par développer une méthode de rendu de nappes de brouillard hétérogènes pour des scènes en extérieur. Le brouillard est modélisé horizontalement dans une base 2D de fonctions de Haar ou de fonctions B-Spline linéaires ou quadratiques, dont les coefficients peuvent être chargés depuis une textit{fogmap}, soit une carte de densité en niveaux de gris. Afin de donner au brouillard son épaisseur verticale, celui-ci est doté d'un coefficient d'atténuation en fonction de l'altitude, utilisé pour paramétrer la rapidité avec laquelle la densité diminue avec la distance au milieu selon l'axe Y. Afin de préparer le rendu temps-réel, nous appliquons une transformée en ondelettes sur la carte de densité du brouillard, afin d'en extraire une approximation grossière (base de fonctions B-Spline) et une série de couches de détails (bases d'ondelettes B-Spline), classés par fréquence.%Les détails sont ainsi classés selon leur fréquence et, additionnées, permettent de retrouver la carte de densité d'origine. Chacune de ces bases de fonctions 2D s'apparente à une grille de coefficients. Lors du rendu sur GPU, chacune de ces grilles est traversée pas à pas, case par case, depuis l'observateur jusqu'à la plus proche surface solide. Grâce à notre séparation des différentes fréquences de détails lors des pré-calculs, nous pouvons optimiser le rendu en ne visualisant que les détails les plus contributifs visuellement en avortant notre parcours de grille à une distance variable selon la fréquence. Nous présentons ensuite d'autres travaux concernant ce même type de brouillard : l'utilisation de la transformée en ondelettes pour représenter sa densité via une grille non-uniforme, la génération automatique de cartes de densité et son animation à base de fractales, et enfin un début d'illumination temps-réel du brouillard en simple diffusion. Dans une seconde partie, nous nous intéressons à la modélisation, l'illumination en simple diffusion et au rendu temps-réel de fumée (sans simulation physique) sur GPU. Notre méthode s'inspire des Light Propagation Volumes (volume de propagation de lumière), une technique à l'origine uniquement destinée à la propagation de la lumière indirecte de manière complètement diffuse, après un premier rebond sur la géométrie. Nous l'adaptons pour l'éclairage direct, et l'illumination des surfaces et milieux participants en simple diffusion. Le milieu est fourni sous forme d'un ensemble de bases radiales (blobs), puis est transformé en un ensemble de voxels, ainsi que les surfaces solides, de manière à disposer d'une représentation commune. Par analogie aux LPV, nous introduisons un Occlusion Propagation Volume, dont nous nous servons, pour calculer l'intégrale de la densité optique entre chaque source et chaque autre cellule contenant soit un voxel du milieu, soit un voxel issu d'une surface. Cette étape est intégrée à la boucle de rendu, ce qui permet d'animer le milieu participant ainsi que les sources de lumière sans contrainte particulière. Nous simulons tous types d'ombres : dues au milieu ou aux surfaces, projetées sur le milieu ou les surfaces

Cette thèse traite de modélisation des systèmes complexes. Dans ce cadre, l'approche est basée sur les Modèles Structurés en Second Ordre (MSSO). Afin d'utiliser cette classe de modèles, les propriétés telles que l'atteignabilité, l'observabilité et les grammiens, bien connues pour les réalisations d'états, sont étendues aux MSSO.Lors de la co-simulation d'un système, des éléments de natures différentes (physiques et logicielles) sont intégrés et la simulation est effectuée en temps réel. Or, les modèles d'ordre élevés sont couteux en temps de calcul, ce qui rend difficile ce type de simulation. Ainsi, des méthodes de réduction de modèle sont explorées. En particulier, de nouvelles méthodes, permettant de préserver la structure des modèles avec une bonne erreur d'approximation sont présentées.Ces développements sont appliqués à la co-simulation de modèles véhicules sous forme de MSSO. Le modèle créé est un modèle par blocs, complexe et non-linéaire. Afin d'appliquer les méthodes de réduction de modèle il est nécessaire de le linéariser. La structure par blocs permet de linéariser l'ensemble du modèle ou de ne linéariser que certaines sous parties du modèle.Ensuite, l'identification des paramètres est effectuée pour chaque sous-systèmes du véhicule. Une méthode d'interconnexion est ensuite proposée pour créer une représentation monobloc du modèle afin de réduire ce dernier. Au final, des essais en co-simulation de la partie arrière du véhicule sous forme de modèle interconnectée avec la partie avant du véhicule physiquement présente sur un banc de test, valide notre approche pour effectuer de la co-simulation temps réel avec matériel.x

Les objectifs concernant la part des énergies renouvelables dans la production d'électricité sont de 20 % en 2020 en UE. L'éolien offshore principalement ainsi que les ressources hydroliennes et les panneaux photovoltaïques, vont contribuer à cet objectif. Les améliorations récentes dans le domaine de l'électronique de puissance amènent à repenser les architectures électrotechniques des fermes éoliennes de plus en plus éloignées du continent et présentant des puissances de plus en plus importantes. Plusieurs topologies électrotechniques de fermes éoliennes offshore sont comparées afin de définir la plus intéressante d'un point de vue faisabilité, efficacité et fiabilité. La solution de connexion retenue est entièrement en DC car elle présente des pertes diminuées et des convertisseurs DC-DC avec transformateurs haute-fréquence apportant un gain d'encombrement comparé à une topologie classique en AC. La topologie DC est alors modélisée avec une attention particulière portée aux convertisseurs DC-DC Full-Bridge, cœur technologique de la ferme. Un contrôle du convertisseur par entrelacement des commandes du convertisseur est explicité afin de réduire la taille du filtre en sortie. Deux expérimentations à échelle réelle (2 MW) et réduite (4 kW) permettent de valider le modèle, les pertes et les contrôles implantés sur le convertisseur. Les protections qui peuvent être mises en place pour un réseau de distribution DC sont aussi étudiées avec une proposition de disjoncteur statique DC. Une connexion entre un simulateur temps réel et le banc d'essai 4 kW est réalisée afin de comparer le comportement des convertisseurs de la ferme sur des échelles de temps importantes. Différents contrôles sont testés, et plus particulièrement ceux permettant de valider la capacité de la ferme à rester connectée au réseau pendant les défauts AC. L'ensemble des théories développées sur le cas d'étude éolien offshore sont étendues à des fermes solaires de fortes puissances afin de mettre en évidence les analogies entre ces deux énergies renouvelables.

Ce mémoire de maîtrise a pour but d'observer, en temps réel, l'influence de facteurs syntaxiques et sémantiques sur l'accord sujet-verbe. Afin d'avoir un regard sur les processus d'accord, nous avons examiné les temps d'écriture du verbe, et les pauses avant le verbe, avant la flexion verbale et après le verbe. Une analyse des erreurs produites a aussi été effectuée. Trente-deux participants ont écrit à l'ordinateur des phrases dictées. L'écran était soit un syntagme prépositionnel, soit une subordonnée relative. La force sémantique entre l'écran et le verbe variait également selon les phrases. Les résultats des analyses statistiques multiniveaux montrent une influence de la configuration syntaxique de l'écran sur les processus d'accord sujet-verbe. Lorsque l'écran est un syntagme prépositionnel, les pauses avant la flexion verbale, après le verbe et les temps d'écriture du verbe sont plus longs que lorsque l'écran est une subordonnée relative. Par contre, aucun effet sémantique n'a été observé dans l'analyse des temps et des pauses. Les résultats sur les erreurs non corrigées indiquent un effet de la force sémantique entre l'écran et le verbe. Les résultats de l'analyse chronométrique, qui appuient les résultats sur les erreurs d'attraction observés dans la très grande majorité des études, permettent de mettre en relief l'influence respective des aspects syntaxiques et sémantiques sur les processus d'accord sujet-verbe. Par ailleurs, ce travail légitime l'observation des pauses et des temps d'écriture comme une méthode complémentaire pertinente à l'étude de l'accord verbal. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : accord sujet-verbe, écriture en temps réel, syntaxe, sémantique, processus cognitifs.

La multiplication des plate-formes embarquées disponibles sur le marché rend de plus en plus complexe le choix d'une plate-forme pour un produit. L'arrivée des architectures multi-processeurs augmente encore plus ce phénomène. Dans le contexte industriel actuel, il est nécessaire de disposer d'une méthodologie et des outils associés permettant d'évaluer rapidement ces plate-formes et celles qui apparaitront dans le futur sur le marché afin de faire des premiers choix tôt dans le cycle de conception des produits. Précédemment, il était nécessaire d'attendre l'arrivée sur le marché des plate-formes de test afin d'exécuter sur ces plate-formes des benchmarks et des applications afin d'évaluer leur performance et leur consommation. Nous proposons ici une méthodologie et les outils associés permettant de modéliser un système (logiciel et matériel) puis d'estimer ses performances et sa consommation d'énergie. Notre méthodologie s'appuie sur des modèles simples à mettre en œuvre utilisant uniquement des informations présentes dans les documents techniques des constructeurs. Autre avantage de notre approche, la simulation réalisée s'appuie sur du code exécutable généré automatiquement afin de s'exécuter en natif sur un ordinateur. Cela permet une exécution rapide des scénarios de test et offre la possibilité de faire de l'exploration d'architectures. Nous avons procédé à diverses validations en utilisant des applications variées (décodeur H.264, application radio, benchmarks classiques, ...) et en comparant les performances et la consommation estimée avec l'équivalent sur des plate-formes réelles (OMAP3/4, i.MX6, QorIQ, ...). Cela a permis d'évaluer l'erreur d'estimation de FORECAST (l'outil développé lors de cette thèse) et ainsi de s'assurer que le taux d'erreur reste dans des bornes admissibles c'est-à-dire inferieures à 20%. Nous avons d'un autre côté comparé notre approche avec celles développées dans deux autres projets OpenPEOPLE (ANR) et COMCAS (Catrene) afin de s'assurer que le rapport effort/précision de notre approche est intéressant.

L'intégration des énergies renouvelables a conduit à introduire la notion d'utilisation locale de ces nouvelles sources de production. Nous pouvons définir le paradigme de microréseau comme une agrégation de plusieurs sources d'énergie distribuée qui peuvent alimenter leurs charges locales. Ces microréseaux peuvent être îlotables pour garantir la continuité de service et l'alimentation des charges. Pour assurer la fiabilité du réseau, une stratégie de protection des générateurs et du microréseau lui-même a été proposée. Dans ce mémoire, les points communs et les différences entre les générateurs classiques et les générateurs connectés au réseau à l'aide de convertisseur d' d'électronique de puissance sont présentés. Ensuite, nous présentons la conception d'une source de tension à base d'une micro-turbine à gaz comme source d'énergie primaire contrôlable. Nous étudions les possibilités pour le générateur de demeurer connecté dans les conditions du creux de tension (fault-ride-through) tout en étant protégé contre les surintensités. Nous avons proposé deux solutions différentes permettant de limiter ces courants du générateur. De plus, pour assurer la continuité d'alimentation des charges en deux modes de fonctionnement, nous avons intégré un détecteur de l'ilotage basé sur le relais ROCOF dans le système de commande du générateur. Une validation expérimentale pour ces travaux a été réalisée en utilisant la simulation temps réel PHIL. Finalement, un plan de protection coordonnée valide dans les deux modes de fonctionnement et avec les différents types de source est présenté. Cette stratégie a été testée sur un exemple de microréseau simulé sur le simulateur temps réel

non disponible

Ce document donne une synthèse des travaux de recherche de l'auteur autour du thème instrumentation dans trois domaines applicatifs. Des techniques de traitement du signal associées à de la télémesure ont été mises en œuvre dans le domaine médical. Des études d'écoulements d'air à faibles nombres de Reynold sont ensuite présentées, en mettant l'accent sur l'acquisition et le traitement en temps réel des images PIV et de suivi de structure mis en place spécifiquement.<br /> Enfin, des méthodes optiques associées à des techniques de traitements d'images ont été utilisées dans le cadre d'étude de transfert de chaleur entre une pièce usinée et l'outil.

Cette thèse présente un schéma formel et efficace pour la vérification de systèmes temps-réel. Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques. La méthode utilise le raffinement itératif abstrait (IAR) pour le calcul d'abstractions finies. Etant donné un système de transitions et un ensemble fini de prédicats, la méthode détermine une abstraction booléenne dont les états correspondent à des ensembles de prédicats. La correction de l'abstraction par rapport au système d'origine est garantie en établissant un ensemble de conditions de vérification, issues de la procédure IAR. Ces conditions sont à démontrer à l'aide d'un prouveur de théorèmes. Les propriétés de sûreté et de vivacité sont ensuite vérifiées par rapport au modèle abstrait. La procédure IAR termine lorsque toutes les conditions sont vérifiées. Dans le cas contraire, une analyse plus fine détermine si le modèle abstrait doit être affiné en considérant davantage de prédicats. Nous identifions une classe de diagrammes de prédicats appelés PDT (Predicate Diagram for Timed system) qui décrivent l'abstraction et qui peuvent être utilisés pour la vérification de systèmes temporisés et paramétrés.

CE MEMOIRE EST CONSACRE A LA CONCEPTION D'UN SUPPORT DE COMMUNICATION SUR DE FONCTIONNEMENT, A TEMPS D'ACCES BORNE ET FAIBLE, POUR SYSTEMES DISTRIBUES DE SURVEILLANCE ET SECURITE. L'ANALYSE EFFECTUEE CONDUIT A UNE APPROCHE PAR DOUBLE DECOMPOSITION INTEGRANT LA VALIDATION PROGRESSIVE DES CHOIX: LA CONCEPTION EST MENEE PAR AFFINEMENTS SUCCESSIFS, CONJOINTEMENT SUR PLUSIEURS NIVEAUX D'ABSTRACTION AFIN DE PRENDRE EN COMPTE L'ENSEMBLE DES CONTRAINTES ET DE LEURS INTERACTIONS