Ce travail est consacré au développement des méthodes particulaires pour la résolution des équations de Navier-Stokes incompressibles en dimension 3. L'évaluation des formules de Biot-Savart ayant un coût de calcul prohibitif en dimension trois, on utilise un couplage grille-particules. On applique alors cette technique à la simulation et au contrôle de sillages produits par un cylindre. La première partie est consacrée à la méthode numérique proprement dite. On commence par présenter le modèle lagrangien et la méthode utilisée pour calculer le champ de vitesse, qui est la clef de voûte du schéma. On décrit ensuite, au chapitre 2 comment sont calculées les couches limites. Enfin, on présente au chapitre 3 l'algorithme à pas fractionnaire utilisé, ainsi que les méthodes de transfert entre jeux de particules et grilles sous-jacentes, et le calcul de la diffusion. Le code est alors validé par des simulations d'anneaux tourbillonnaires qui se propulsent sur un obstacle cylindrique, pour des nombres de Reynolds modérés (entre 400 et 2000).La seconde partie utilise la méthode numérique décrite précédemment, en l'appliquant dans un premier temps à la simulation des sillages turbulents qui se développent derrière un cylindre circulaire (chapitre 4), puis au contrôle de ces écoulements au chapitre 4.Il est connu que les solutions bidimensionnelles sont instables pour des nombres de Reynolds suffisamment élevés. Les instabilités tridimensionnelles sont identifiée grâce à leur profil spectral. Elles ont un effet important sur les forces de traînée et sur la fréquence propre de l'écoulement.Le chapitre 5, relatif au contrôle, se propose de mettre en évidence plusieurs phénomènes. On considère un contrôle en boucle ouverte, réalisé par une rotation à pulsation et amplitude constante. On étudie des rotations basse et haute fréquences. Le coefficient de traînée est alors diminué de 43% par le contrôle à haute fréquence, pour un nombre de Reynolds de 550. De plus, on montre que l'écoulement turbulent revient à un état bidimensionnel si l'amplitude de rotation est suffisamment élevée.

L'objectif de ce travail de thèse était d'examiner la possibilité de réaliser une croissance des structure tri-périodiques par décomposition d'une phase gazeuse dans un champ d'interférences 3D. La croissance directe de l'oxyde de chrome Cr2O3 organisée de façon tri-périodique a été prouvée. Celle-ci a lieu par décomposition photolytique du chlorure de chromyle CrO2Cl2. De plus, comme cette décomposition a été réalisée sur un substrat monocristallin de TiO2, il a été trouvé que la structuration de Cr2O3présentait des relations d'orientations cristallographiques par rapport à celle du substrat. Le processus commence par une croissance épitaxiale de l'oxyde CrO2 de structure cristalline isomorphe de celle du rutile TiO2. L'oxyde se décompose ensuite partiellement en Cr2O3, lui-même cristallographiquement orienté par rapport à CrO2. Puis une croissance de la phase Cr2O3 se poursuit selon les modulations de densité d'énergie électromagnétique du réseau d'interférences. Ce manuscrit contient aussi un rappel de la théorie du réseau d'interférences, la description du montage expérimental et la vérification de la stabilité et de sa résolution par photopolymérisation d'hybrides organo-minéraux. Une étude sur l'influence des différents paramètres de la photopolymérisation de ces hybrides est également présentée.

Nous proposons une méthodologie de conception pour les systèmes de commande tolérants aux fautes en partant d'un modèle de base exhaustif pour le système complexe à superviser. En pratique, la modélisation exhaustive est réalisée grâce à un automate hybride enrichi par des paramètres quantifiant les défaillances possibles. Ceci permet de modéliser les défaillances partielles. Dans la phase hors ligne, ce système complexe est transformé en un système discret abstrait et exploitable selon des techniques dédiées. Un superviseur est alors construit selon les objectifs de fonctionnement.Lors du fonctionnement du système, l'occurrence d'une défaillance se traduit par l'invalidation de plusieurs comportements dans le modèle abstrait et l'introduction d'incertitudes. Par la suite, les modules de diagnostic et d'identification (qui ne rentrent pas dans l'objet de notre thèse) réduisent de façon progressive le modèle hybride au cours du temps. Afin de pouvoir mettre à jour le modèle discret abstrait, on a développé des algorithmes de calcul d'atteignabilité, de vérification et de génération de régions stabilisées.Pour pouvoir superviser un tel système, l'utilisation de méthodologies d'abstraction est nécessaire afin de transformer le modèle bas niveau exhaustif en un modèle discret approprié. Nous réalisons cette abstraction en proposant des algorithmes qui tiennent compte du contexte d'utilisation (objectifs, contraintes...). Lorsqu'une défaillance est détectée, la reconfiguration est déclenchée en essayant, au fur et à mesure de l'enrichissement du modèle abstrait, de réduire le fonctionnement du système défaillant dans un des schémas prédéfinis

Nous nous proposons dans cette thèse de répondre à l'enjeu de l'authentification avec l'opérateur réseau dans le contexte particulier des réseaux véhiculaires; contexte marqué par une forte dynamique des nœuds, une connectivité intermittente et une diversité des modèles et des enjeux de sécurité suivant la typologie des services. Nous nous intéressons en particulier aux réseaux véhiculaires s'appuyant sur une technologie de type WLAN "Wireless Local Area Network" (i.e. portée de transmission maximale de l'ordre de 1000 m) dont les coûts de déploiement sont réputés moindres. Notre réponse à l'enjeu posé dans ce contexte s'articule autour de 4 contributions. Dans la première et plus importante contribution, nous proposons et analysons des architectures et des protocoles pour l'authentification dans les réseaux véhiculaires. Ces architectures et protocoles implémentent divers mécanismes susceptibles d'assurer au-delà de l'authentification mutuelle et de la délivrance des lettres de créance, la sécurité des données d'authentification, l'intimité numérique des utilisateurs, l'interdiction d'accès aux protocoles et services de la couche 3 (i.e. couche réseau) avant l'achèvement du processus d'authentification, la disponibilité de l'authentification et le respect des contraintes temps réel. La traduction concrète de ces implémentations est faite au travers d'une part, d'une extension de l'authentification TLS appelée AUCRED, qui assure sur la base des certificats à clé publique ECC, l'authentification mutuelle entre le serveur d'authentification et les véhicules, mais aussi la délivrance des certificats volatiles anonymes à ces derniers, et d'autre part, du protocole EGEMO qui assure au niveau de la couche 2, l'acheminement géographique multisauts du protocole EAP, lui-même transporteur du protocole AUCRED. A l'aune de l'analyse des protocoles précédents, nous introduisons à travers une deuxième contribution, une approche d'optimisation du transport de l'authentification visant à réduire le nombre de paquets générés dans le réseau lors du processus d'authentification, en particulier dans les scénarios de forte densité de véhicules. Compte tenu du rôle particulier de l'authentification, considérée comme un service précédant et conditionnant l'accès aux ressources et aux autres services du réseau opéré, et en réponse à la mise en concurrence de ce service avec d'autres services des réseaux DSRC ("Dedicated Short Range Communications", ensemble de standards dédiés aux communications véhiculaires), nous proposons au travers d'une troisième contribution, une méthode de priorisation du service d'authentification utilisant la diversité des canaux radio DSRC. Afin de maintenir des niveaux élevés de performance de l'authentification dans les scénarios de forte densité de véhicules, et ce, sans accroître la complexité matérielle des nœuds du réseau (e.g. une seule interface radio par nœud), nous proposons au travers d'une quatrième contribution, une approche de distribution ou de délégation de la fonction d'authentification.

Les systèmes hybrides EnR/H2 sont une solution innovante au problème du stockage des énergies renouvelables. Ces systèmes comprennent : une ou plusieurs sources renouvelables d'énergie ; un électrolyseur pour produire de l'hydrogène et de l'oxygène lorsque la source renouvelable fournit un excédent d'énergie ; à l'inverse, lorsque la demande excède la capacité de la source renouvelable, une pile à combustible consomme les gaz afin de fournir le complément d'énergie nécessaire. Afin de développer ces solutions dans le futur : il est nécessaire de constituer un ensemble de références architecturales correspondant aux applications cibles pour les systèmes hybrides EnR/H2 ; et de posséder un instrument décisionnel permettant le dimensionnement optimum des sous-systèmes selon plusieurs critères (efficacité énergétique du système ou coût du kWh). Un code numérique de dimensionnement sous langage MATLAB®, baptisé ORIENTE, a donc été développé dans le cadre des travaux de recherches qui s'inscrivent dans le projet ANR PEPITE (ANR-07-PANH-012). Les différents partenaires de ce projet sont la société HELION, l'Université De Corse, le CEA, l'INPT - LAPLACE et ARMINES. Les applications concernées par ce code, sont l'électrification de sites isolés, la gestion énergétique de micro-réseaux électriques et l'écrêtage de pointes de puissance sur un réseau électrique. La première application sera traitée via un démonstrateur qui sera installé à Cadarache début 2011, sur le site du CEA, celle-ci concerne l'alimentation d'un pylône météorologique. Cette application est labellisée par les pôles de compétitivité CAPENERGIES et TENERRDIS. La 2ème application concerne l'étude d'un micro-réseau sur le site de MAFATE (îlet de la Réunion). Cette étudie est en partenariat avec l'ARER. La dernière application, nommée projet MYRTE a été traitée à travers une plateforme technologique sur le site de Vignola (près d'Ajaccio) pour des modes de contrôle-commande répondant à de l'écrêtage de pointe et à du lissage de la production photovoltaïque. Cette plateforme est financée par la région, l'Etat et l'Europe (FEDER). Cette application a fait l'objet d'une labellisation par CAPENERGIES.

Les contributions que nous avons choisi de présenter dans ce mémoire ont trait en général à la commande, à la stabilité et à l'observation des systèmes dynamiques hybrides. Ce mémoire retrace le cheminement de mes recherches sur les dix dernières années au CRAN au sein du projet systèmes dynamiques hybrides et complexes mais également aux travers de projets et collaborations locales (CPER : projet SC2), nationales (GdR SDH, AS 192, ANR ArHyCo) et européennes (Hycon). L'extension du principe du minimum et l'établissement de conditions nécessaires pour la résolution d'un problème de commande optimale pour les SDH ont permis de soulever et de mettre en évidence des difficultés liées à la résolution de ce type de problème. Deux freins principaux à la mise en oeuvre d'algorithmes généraux efficaces ont été identifiés et proviennent d'une part, de l'explosion combinatoire engendrée par la dynamique discrète couplée aux dynamiques continues et d'autre part, de l'existence de trajectoires singulières conduisant nécessairement à des solutions sous optimales. Une discussion sur les méthodes de résolution directes et indirectes montre que même dans des situations simplifiées, l'existence de trajectoires singulières pose un réel problème et les algorithmes utilisant le principe du minimum sont inadaptés sans traitement particulier pour gérer ces situations. Nous montrons sur un exemple qu'il peut être préférable d'utiliser des méthodes directes sous une formulation de tirs multiples. Pour la classe des systèmes affines commutés qui représente une classe de systèmes technologiques très répandus, les points de fonctionnement rendent particulièrement évident le rôle joué par les trajectoires singulières. On constate qu'elles correspondent aux solutions optimales au sens de Fillipov du système commuté. Nous avons proposé une méthode permettant d'effectuer la synthèse de ces trajectoires optimales pour des critères de type temps optimal ou quadratique en temps infini applicable sur des systèmes de dimension faible et en général inférieure ou égale à 3. Une seconde méthode de synthèse à base de commande prédictive utilise les degrés de liberté sur la commande autour du point de fonctionnement pour poursuivre un cycle particulier défini par un critère. L' algorithme rapide d'optimisation des solutions tient compte des discontinuités issues des instants de commutations et utilise les fonctions de sensibilité vis à vis de ces instants. La généralisation aux SDH du calcul des fonctions de sensibilité lorsque le système hybride est le siège de discontinuités de champs et de saut sur l'état, est un résultat utile qui permet d'utiliser des outils nécessitant une différentiation. Le calcul rapide des cycles limites et l'étude de leur stabilité est une première application possible, l'optimisation est très clairement la cible principale. L'étude et l'analyse du comportement asymptotique des systèmes linéaires commutés via la formulation d'un principe d'invariance de Lasalle nous amène à un constat similaire à celui fait sur la commande optimale : Le comportement asymptotique est identique à celui que l'on obtient en considérant les solutions de Fillipov du système commuté. Nous avons montré en considérant plusieurs hypothèses sur les lois de commutation que la séparation est opérée si on restreint la loi de commutation en considérant par exemple des hypothèses fortes de temps d'activation minimum sur les modes. Ces résultats d'analyse sont primordiaux dans la compréhension de la complexité de la dynamique issue de la commutation. La synthèse d'observateurs commutés pour la classe des systèmes linéaires commutés que nous avons proposée, et l'identification algébrique des lois ne permettant pas d'observer le système ont été déduites du principe d'invariance mentionné à l'item précédent. La mise en évidence de la décroissance de la vitesse de convergence de l'erreur d'observation en fonction de la vitesse de commutation est une conséquence de cette caractérisation algébrique. Les travaux réalisés ont permis de soulever de très nombreux problèmes spécifiques à la classe des systèmes commutés (Robustesse vis à vis d'incertitudes paramétriques, extension au cas discret et échantillonné, synthèse de lois préservant l'observabilité, vitesse de convergence de l'observateur, ...) et de dégager des pistes de recherche concernant leur résolution.

L'approche qui a été développée dans l'équipe imXgam du CPPM est de combiner sur un unique support rotatif les modules de détection de la caméra pour petit animal ClearPET avec un détecteur de rayons X à comptage de photons dans le but d'acquérir simultanément des images anatomiques (TDM) et fonctionnelles (TEP) du même champ de vue. L'étude préliminaire du système hybride ClearPET/XPAD3 menée en simulation avec Gate a permis d'implémenter une nouvelle géométrie de détection TEP à 21 détecteurs phoswich, de fixer les grandes lignes de l'assemblage TEP/TDM, ainsi que d'étudier et de solutionner les difficultés liées au régime de fonctionnement bimodal. Pour finir, l'outil de simulation a également permis d'imaginer comment un tel système pourrait judicieusement exploiter la corrélation spatiale et temporelle des informations anatomo-fonctionnelles. Du point de vue de l'instrumentation, ce projet a vu la mise en oeuvre du système hybride simultané ClearPET/XPAD3. Une fois les deux systèmes TEP et TDM opérationnels individuellement, il a été démontré, d'une part que le ClearPET est parfaitement capable d'opérer en régime de fonctionnement simultané moyennant un blindage approprié de ses modules de détection, et d'autre part que la nouvelle génération de caméra à pixels hybrides XPAD3-S/Si s'avère très prometteuse compte tenu de la bonne qualité des premières images reconstruites. Finalement, la preuve de concept d'une acquisition TEP/TDM simultanée avec une source de positons scellée et un tube à rayons X a pu être concrètement démontrée.

Si l'interet et l'efficacite des methodes d'analyse statique par interpretation abstraite pour la verification des programmes critiques embarques ne sont plus a demontrer, il est maintenant necessaire d'obtenir des methodes les plus precises possibles. Si l'utilisation de domaines abstraits relationnels de plus en plus elabores permet de diminuer la surapproximation dont souffre les domaines les plus simples, les analyses actuelles souffrent toujours d'une mauvais prise en compte des entrees du programme. Ces entrees sont fournies par un capteur qui mesure une grandeur physique, et sont generalement surapproximees par un intervalle. Une piste d'etude recente pour mieux gerer ces entrees continues consiste a etudier, outre le programme lui-meme, l'environnement physique dans lequel il est execute. On obtient ainsi un systeme plus complexe comprenant une dynamique discrete (le programme) et une dynamique continue (l'environnement). L'etude de tels systemes hybrides repose actuellement essentiellement sur des extensions des automates a etats finis et des algebres de processus introduisant une dynamique continue. L'analyse de ces systemes par des techniques de model-checking souffre encore d'une explosion combinatoire excluant leur utilisation pour les logiciels embarques critiques les plus gros. La premiere contribution de cette these est une extension des langages de programmation imperatifs permettant de d´ecrire a la fois le programme, l'environnement exterieur et les interactions entre le programme et l'environnement. L'environnement physique est d´ecrit par un ensemble d'equations differentielles representant chacune un mode continu, et les interactions entre le programme et l'exterieur sont modelises par deux mots cles representant les capteurs et actionneurs. Nous donnons a l'ensemble (programme plus environnement physique) une semantique denotationnelle qui reste tres proche de celle definie pour les langages imperatifs classiques. La difficulte majeure dans la construction de cette semantique a ete de definir une semantique pour la partie continue : les solutions des equations diff´erentielles sont exprimees comme le plus petit point fixe d'un operateur monotone dans un CPO, et nous montrons que les iterees de Kleene convergent vers ce point fixe. La seconde contribution est une methode d'analyse statique par interpretation abstraite de ces systemes hybrides. Cette methode fonctionne en deux temps. Tout d'abord, sous certaines restrictions portant sur le programme a analyser, on construit un recouvrement de l'espace des variables d'entree via une analyse par intervalle couplee a une analyse d'atteignabilite en avant. On obtient ainsi une abstraction de l'impact qu'a le programme sur l'evolution continue : l'espace d'entree du programme est d´coupe en zones dans lesquelles on est sur qu'un actionneur sera active. Dans un deuxieme temps, nous utilisons ce recouvrement et une methode d'integration garantie des equations differentielles pour obtenir une surapproximation de l'evolution continue. Un analyseur prototype implementant ces techniques a ete developpe et les tests sur les exemples classiques de systemes hybrides montrent de bons resultats. Enfin, la troisieme contribution de cette these est une nouvelle methode d'integration garantie nommee GRKLib. Contrairement aux methodes existantes, GRKLib se fonde sur un schema d'integration numerique non garantie (nous avons choisi un schema de Runge-Kutta d'ordre 4, mais n'importe quelle autre convient) et nous calculons, en utilisant l'arithmetique d'intervalles, l'erreur globale commise lors de l'integration numerique. Cette erreur s'exprime comme la somme de trois termes : l'erreur sur un pas, la propagation de l'erreur et l'erreur due aux nombres flottants. Chaque terme est calcule separement et des techniques avancees permettent de les reduire et de controler au mieux le pas d'integration pour limiter l'accroissement de l'erreur globale. Une librairie C++ implementant ces concepts a ete developpee, et les resultats presentes dans cette these sont prometteurs.

L'augmentation de la demande d'énergie à bord des véhicules et les besoins en machines de traction pour les véhicules hybrides incite à étudier d'autres structures de machines que l'alternateur à griffes. Ici, une structure à double excitation parallèle innovante à été étudiée pour le besoin alternateur. L'introduction des aimants apporte un surplus considérable de puissance, ceci a été mis en évidence en comparant cette structure à une machine à pôles saillants bobinés classique, la puissance a été carrément doublée. Le cahier des charges (3,2 kW) pour cette étude a été atteint sans difficultés. Le principe de double excitation choisi permet le contrôle du flux, et donc du débit avec un simple pont redresseur à diodes. L'étude théorique et expérimentale a montré l'efficacité de la désexcitation par le courant rotor et sans risque de démagnétisation des aimants. La comparaison expérimentale et à iso-encombrement avec une structure à griffes à aimants interpolaires montre la suprématie de cette dernière, en puissance grâce à sa bobine d'excitation globale permettant plus d'ampères tours, et en rendement en faibles puissances grâce à son défluxage total et local. Néanmoins, pour les fortes puissances, la machine à double excitation, de part sa structure bidimensionnelle, ayant moins de pertes fer, à plus de rendement. Une étude plus poussée pourra montrer le positionnement de cette structure pour les applications moteur dans les véhicules hybrides. Une petite comparaison de performances avec la machine à griffes a montré que cette dernière n'est pas automatiquement la meilleure.

La recherche scientifique est dans une période de transition. Les vagues de découvertes dont la plupart ont un fort impact potentiel économique et social ont été accompagnées par l'émergence de nouveaux modes de production de la science. Cependant, même si la recherche est une activité stratégique, elle demeure largement méconnue et les transformations récentes de la production scientifique accentuent le flou qui entoure cette activité. A une opposition simple entre science appliquée et science fondamentale, se substitue toute une gamme de catégories conçues pour rendre compte de la diversité et de l'imbrication des activités dans lesquelles chercheurs et ingénieurs sont engagés. Au-delà du modèle de la recherche académique et de celui de l'innovation, plusieurs modes de coopération et de fertilisation croisée entre la recherche universitaire et l'entreprise se conjuguent. Les modèles polaires sont la recherche universitaire et l'innovation dans l'industrie. Dans le premier modèle, la société délègue aux chercheurs la mission d'accroître le stock de connaissances disponibles et accessibles par tous. Au sein de la communauté académique, les modalités d'organisation, et plus particulièrement les règles de fonctionnement (Merton 1973; Dasgupta and David 1994) permettent une autorégulation des chercheurs. La compétition entre les chercheurs et la lutte pour la priorité des découvertes impose la divulgation des connaissances produites, ce qui permet de stimuler l'effort des scientifiques, de récompenser les meilleurs et de valider les connaissances produites. Sans contrôler le contenu de la recherche, la société peut intervenir par la seule fixation des règles pour s'assurer de la productivité et de la qualité du travail de recherche. Le second modèle est conçu pour gérer des projets destinés à concevoir de nouveaux produits, de nouveaux services et de nouveaux procédés de fabrication. Les chercheurs sont dans ce cas à l'écoute des utilisateurs de la technologie ou du service qui seuls valideront les développements effectués. Le projet d'innovation n'a d'autres ambitions que de les satisfaire. L'organisation de la recherche doit permettre ces liaisons avec l'environnement et doit rendre possible les réorientations nécessaires. Comme le remarquent Callon et al. (Callon, Larédo et al. 1995), ces deux modèles s'opposent terme à terme. Le premier s'inscrit dans une logique de l'autonomie de la communauté scientifique, le second est profondément ancré dans l'entreprise. Le premier requiert la divulgation de connaissances codifiées, publiées sous forme d'articles ou de livres, le second privilégie les savoirs tacites et locaux incorporés dans des dispositifs techniques destinés à être commercialisés. Cette opposition des principes de gestion des deux modèles d'organisation de la production scientifique et technique laisse la place à de nombreux modes d'organisation hybride qui permettent les transferts scientifiques et techniques. Les formes hybrides d'organisation permettent de mieux comprendre comment le développement conjoint d'innovations s'opère. Cependant, pour mieux saisir les mécanismes d'innovation que mobilisent différentes organisations (entreprises, laboratoires publics, ...), il est indispensable d'avoir une représentation adaptée de l'innovation.