Différents résultats de complexité sont présentés pour les communications et le calcul sur des machines à mémoire distribuée. Les topologies concernées sont le réseau linéaire, l'anneau, la grille, l'hypercube et le réseau complet. Un réseau systolique est présenté pour l'algorithme de diagonalisation de Jordan. Une étude sur l'accélération et une étude de l'allocation des données sont formulées dans le contexte des mémoires distribuées

Les assemblages d'accéléromètres sont utilisés entre autres en biomécanique afin d'estimer le champ des accélérations d'un corps rigide et, de là, les variables cinématiques décrivant les déplacements dudit corps rigide. On remarque toutefois que le progrès de cette technologie a été limité par celui des gyroscopes micro-usinés, lesquels sont plus précis que les assemblages d'accéléromètres dans la plupart des applications. Le but des recherches décrites dans cette thèse est d'améliorer la précision des estimés de vitesse angulaire produits par les assemblages d'accéléromètres. Les développements proposés portent sur deux aspects : une classe d'architectures mécaniques d'accéléromètres est proposée ayant pour but de réduire la sensibilité des capteurs aux accélérations transverses, des algorithmes robustes étant également proposés afin d'estimer la vitesse angulaire à partir de certaines ou de toutes les composantes du champ d'accélération du corps rigide. La classe d'accéléromètres proposée est inspirée des architectures de machines à cinématique parallèle (MCP) en assimilant la masse d'épreuve et le support d'un accéléromètre à l'organe terminal et à la base d'une MCP, respectivement. Une caractéristique commune aux MCP proposées ici est que leurs organes terminaux et leurs bases sont reliées par n+1 chaînes cinématiques simples, n = 1, 2, 3 étant leurs nombres de directions sensibles respectifs. Pour cette raison, on appelle accéléromètres simpliciaux multiaxiaux les capteurs résultant de ces MCP. Une version microusinée de l'accéléromètre simplicial biaxial est conçue, fabriquée et testée. En outre, la théorie permettant l'estimation de la vitesse angulaire d'un corps rigide à partir de mesures d'accélérations est réexaminée. De cette révision, quatre algorithmes permettant l'estimation de la vitesse angulaire à partir de mesures d'accélération centripète sont proposés. Enfin, un algorithme permettant l'estimation de la vitesse angulaire d'un corps rigide à partir de mesures d'accélérations centripète et tangentielle et reposant sur le filtrage de Kalman est proposé.

Cette thèse constitue une étude théorique et numérique sur l'accélération d'ions à haute énergie dans l'expansion d'un plasma créé par laser. Les faisceaux d'ions émis en face arrière d'une cible irradiée présentent des caractéristiques (laminarité, faible divergence, largeur des spectres) qui les distinguent de ceux provenant de la face avant. Ces caractéristiques ouvrent la voie à de nombreuses applications telles que la protonthérapie ou la radiographie de protons. L'accélération des ions s'effectue via un champ électrostatique auto-consistant résultant de la séparation de charges entre les ions et les électrons chauds. La première partie du mémoire présente le modèle théorique fluide ainsi que le code de simulation hybride décrivant l'expansion du plasma. La modélisation numérique d'une récente expérience de sondage du champ d'expansion par faisceaux de protons permet de valider le modèle exposé. L'influence d'un gradient initial de densité sur l'efficacité de l'accélération est abordée dans le seconde partie. Nous établissons un modèle qui retrace la dynamique du plasma et plus particulièrement le déferlement du flot ionique. Les réseaux de courbes qui prévoient une nette dégradation de l'énergie maximale des protons pour de grandes longueurs de gradient sont en accord avec les résultats expérimentaux. L'hypothèse d'un équilibre de Boltzmann électronique, supposé dans le modèle guide, est remise en cause dans la troisième partie où les électrons suivent une description cinétique. La nouvelle version du code permet d'évaluer l'écart à la loi de Boltzmann, qui ne modifie pas cependant de manière significative l'énergie maximale acquise par les ions.

Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notamment<br />les systèmes paramétrés et les programmes récursifs parallèles. Nous présen\-tons un cadre<br />uniforme pour la vérification algorithmique de ces systèmes. Ce cadre est basé sur la <br />représentation des ensembles de configurations par des automates de mots ou d'arbres, et la<br />représentation des relations de transition des systèmes par des règles de réécritures de mots<br />ou de termes. Le problème de la vérification est ensuite réduit au calcul des ensembles des<br />accessibles dans ce cadre. Les contributions de cette thèse sont les suivantes:<br /><br />1- Définition d'une technique d'accélération générale. Nous proposons une méthode basée sur <br />des techniques d'extrapolation sur les automates, et nous étudions la puissance de cette approche.<br />2- Techniques de model-checking régulier pour la vérification des réseaux paramétrés avec des <br />topologies linéaires et arborescentes. En particulier, nous considérons les réseaux modélisés <br />par des systèmes de réécriture comprenant des semi-commutations, c-à-d. des règles de la forme ab -> ba,<br />et nous exhibons une classe de langages qui est effectivement fermée par ces systèmes.<br />3- Modélisation et vérification des programmes récursifs parallèles. Dans un premier temps, <br />nous étudions les modèles PRS qui sont plus généraux que les systèmes à pile, les réseaux de Petri,<br />et les systèmes PA; et nous proposons des algorithmes qui calculent les ensembles des accessibles <br />de (sous-classes de) PRS en considérant différentes sémantiques. <br /><br />Dans une autre approche, nous considérons des modèles basés sur des automates à pile communicants<br />et des systèmes de réécritures à-la CCS, et nous proposons des méthodes de vérification de ces modèles<br />basées sur le calcul d'abstractions des langages des chemins d'exécutions. Nous proposons un cadre<br />algébrique générique permettant le calcul de ces abstractions.

Cette étude expérimentale concerne la généation de faisceaux d'électrons aux propriétés inédites. Ces faisceaux d'électrons sont issus de l'interaction d'une impulsion laser ultra-intense et brêve avec un jet de gaz. Jusqu'à récemment, les faisceaux d'électrons ainsi produits avaient une divergence importante et un spectre très large. Un tournant important de cette discipline a été franchi lorsqu'un faisceau d'électrons faiblement divergent (10 mrad) et, par dessus tout, dont le spectre est piqué à haute énergie (170 MeV) a été observé durant cette thèse, en utilisant un nouveau spectromètre monotir à électrons. Une étude paramétrique de l'interaction a permis de suivre l'évolution des propriétés du faisceau d'électrons.<br />Des expériences ont ensuite été menées pour approfondir la caractérisation de ce faisceau. L'observation du spectre de rayonnement de transition généré par les électrons à une interface montre que le faisceau d'électrons interagit avec l'impulsion laser pendant l'accélération. Des oscillations radiales du faisceau d'électrons autour de l'axe laser, qualifiées d'oscillations bétatroniques, ont aussi été visualisées sur les spectres électroniques.<br />Un tel spectre quasi-monoénergétique est essentiel pour de nombreuses applications. Afin de justifier l'intérêt d'un tel faisceau, plusieurs expériences d'applications sont présentées : la radiographie gamma submillimétrique d'objets denses, un profil de dose du faisceau d'électron comparable aux performances actuelles des sources de photons pour la radiothérapie, un profil temporel très bref utile en radiolyse de l'eau et la génération d'une source de rayons X faiblement divergente.

Cette thèse s'inscrit dans le cadre de la vérification formelle de systèmes informatiques. Plus exactement nous nous intéressons au calcul de l'ensemble d'accessibilité d'automates étendus par des variables à domaines infinis. Bien que cet ensemble ne soit pas récursif en général, des techniques à base d'accélération permettent de le calculer en pratique. Cependant ces méthodes sont encore mal connues. Nous nous intéressons à l'étude de l'accélération, des points de vue théorique, algorithmique et implantation logicielle.

Cette thèse porte sur la caractérisation numérique et la modélisation stochastique de l'accélération du fluide pour l'écoulement en canal à grand nombre de Reynolds. La motivation concerne l'observation et l'analyse des effets de l'intermittence liés aux interactions à longue portée à travers le canal. Dans la première partie, l'accélération est étudiée par simulation numérique directe pour trois différents nombres de Reynolds (180, 590 et 1000). La lognormalité de la norme de l'accélération est observée quelle que soit la distance à la paroi. Un profil universel de la norme de l'accélération est également recherché par analyse dimensionnelle. La seconde partie présente une modélisation stochastique de l'accélération basée sur la décomposition norme/orientation. Le modèle stochastique pour la norme s'appuie sur un processus de fragmentation afin de représenter les interactions à longue portée à travers le canal. Pour l'orientation, l'évolution vers l'isotropie lorsque la distance à la paroi augmente (observée par la DNS) est reproduite grâce à un modèle de marche aléatoire sur une sphère. Ces modèles ont été appliqués à l'approche LES-SSAM (Stochastic Subgrid Acceleration Model) introduite par Sabel'nikov, Chtab et Gorokhovski. Nos calculs montrent que les estimations de la vitesse moyenne, du spectre d'énergie, des contraintes de l'écoulement et de la non-gaussianité des statistiques de l'accélération peuvent être améliorées de façon significative par rapport à la LES classique. L'intérêt de l'approche LES-SSAM, donnant un accès vers la structure intermittente de sous-maille, est illustré dans la dernière partie, par l'étude du transport de particules inertielles ponctuelles par l'écoulement de canal. Cette étude commence par l'analyse par DNS de l'influence des structures de paroi sur la dynamique des particules

La thèse s'articule autour du thème des FPGA embarqués(eFPGAs). Ce manuscrit analyse les solutions existantes actuellement et discute les challenges et opportunités de ces technologies; une analyse en profondeur des échecs des tentatives passées est également donnée. Sur la base des solutions existantes dans la littérature, une structure de eFPGA à topologie de type grille est proposée, décrite en langage VHDL RTL. Cette solution comporte également les outils de programmation associés. Sur la base de cette proposition, des explorations sont menées quant à la pertinence des solutions proposées au sens de métriques d'actualité tells que densité logique, performance et consommation. Une des contributions notables de cette thèse repose sur la proposition d'une architecture de switch unifiée éliminant les blocs de connexions ainsi que l'interconnexion locale typique des FPGA actuels(telles que ceux modélisables dans le logiciel VPR) tout en autorisant une bonne routabilité. Toutes les expérimentations ont été menées sur une technologie CMOS 65nm faible puissance du fondeur STMicroelectronics, qui permet de fait d'obtenir des évaluations pertinentes. Une seconde contribution notable repose sur l'exploration de l'intégration de eFPGA dans un contexte système sur puce (SoC). Cette approche repose sur l'adjonction d'un eFPGA au sein d'un système intégré, au côté d'un processeur de type LEON3, la programmation s'effectuant sur la base d'une approche de type ESL. Deux explorations sont ainsi déclinées, comme unité intégrée au sein du processeur et comme coprocesseur. Les résultats présentés permettent ainsi d'analyser sous plusieurs angles les compromis possibles ainsi que les perspectives et limitations de ce type d'approches. Finalement, un cas d'étude est également présenté quant à l'intégration de mémoires de type magnétique (MRAM) au sein-même de l'architecture du eFPGA.

Ce travail de recherche est réalisé dans le cadre d'une collaboration internationale entre l'Université Technique de Cluj-Napoca en Roumanie et l'Ecole Centrale de Lille en France. Cette thèse a comme premier objectif, de réduire l’ondulation de couple d’une machine triphasée 6/8 à réluctance variable grâce aux paramètres de contrôle dans le mode de fonctionnement moteur et générateur. Par conséquent, un modèle analytique a été développé et mis en œuvre dans un environnement de calcul numérique. Un outil d'optimisation permettant de trouver les meilleurs paramètres de contrôle a été utilisé. Toutefois, le processus d’optimisation est très lent.En conséquence, une stratégie pour réduire le temps du processus d'optimisation sans abaisser la précision des résultats est proposée. Une stratégie de ‘mapping’ est utilisée entre un modèle grossier mais rapide et un modèle fin mais lent. Un travail est mené sur le choix du modèle grossier, dans le cadre d’un modèle fournissant des valeurs en fonction du temps. Deux stratégies de ‘mapping’ ont été utilisées dans cette thèse : l’‘Output Space Mapping Proportional’(OSMP) et le Manifold Mapping (MM). Ces deux stratégies sont utilisées pour déterminer les paramètres de contrôle optimaux. Le problème d’optimisation est ensuite complété en ajoutant des variables géométriques au processus d’optimisation du contrôle. Les outils développés sont ensuite utilisés dans le cadre du dimensionnement par optimisation d’un alterno-démarreur automobile. Finalement, des expériences et des essais sur un prototype de Machine à RV sont menés afin de valider les résultats du processus d'optimisation en mode moteur et générateur. / The switched reluctance machine has a simple construction making it cheaper in execution but one of the drawbacks of this machine is the torque ripple. This thesis had as first target, the usage of an optimization tool to calculate the best control parameters to correct this major drawback in motor and generator operation modes. Hence, an analytical model that takes into account the machine geometry and that is able to be simulated in both operation modes by adjusting the commutation angles was provided and implemented in a calculation environment. The second target of this work is to investigate a method to reduce the optimization time without lowering the accuracy of the results. The strategy used in the optimization process is known in literature as the space mapping technique, more precisely for this thesis output space mapping proportional and manifold mapping were studied. After testing them on a mathematical model it was possible to continue the investigation on defining the optimal control parameters of a three-phases 6/8 SR machine prototype, being able that further to use this strategy in a much complicated process, i.e. defining the right geometry and control of a SR machine to be used in automotive integrated starter alternator systems. The final target of the thesis was to conduct experiments and tests on the existing prototype in order to partially validate the results of the optimization process.

Les travaux présentés dans ce mémoire de thèse s’inscrivent dans le projet ANR BARPPRO réalisé dans le cadre de la réglementation française des PPRT pour les sites industriels classés SEVESO. L’objet est de proposer un outil pour le dimensionnement des barrières physiques de protection face à une déflagration de gaz. Une étude paramétrique à petite échelle est menée pour étudier l’effet protecteur d’une barrière physique. Un dispositif d’accélération de flamme a été conçu pour générer une vitesse de flamme sonique. Cela a permis de réaliser à petite échelle l’étude de l’impact de l’obstruction sur la vitesse de flamme et sur les paramètres de l’onde de pression. Ces résultats ont été confrontés aux modèles de la littérature. L’onde de pression incidente ainsi générée sert de donnée d’entrée et de référence dans l’étude de la barrière. Plusieurs paramètres de l’onde de pression sont étudiés : le temps d’arrivée, la surpression maximale et l’impulsion positive. L’influence de la hauteur du mur et de sa position par rapport à la source d’amorçage est traitée pour deux formes de barrière (droite et cylindrique) et pour deux mélanges hydrogène/air (stoechiométrique et de richesse 0.65). / This thesis is a part ANR BARPPRO project in the framework of the French regulation PPRTs for industrial Seveso sites. The goal of the present work is to provide a tool for the sizing of protective physical barriers against a gas explosion. A parametric study at small scale is conducted to investigate the protective effect of a physical barrier. For that purpose, a cylindrical device was developed to accelerate the flame gradually until reaching sonic flame speeds by increasing the obstruction inside the device. This has also led to the realization of a small-scale study about the impact of the obstruction on the flame speed and on the pressure wave’s characteristics. These results are compared with those obtained with models from the literature. The pressure wave generated by the acceleration device is used as input and reference in the barriers’ parametrical study. Several parameters of the pressure wave are considered: the arrival time, the maximum overpressure and the positive pulse. The influence of the wall height and position relative to the ignition source is processed for two barrier’s shapes (straight and cylindrical) and two hydrogen / air mixtures (stoichiometric and with an equivalence ratio of 0.65).