UPThèses

Un système temps réel critique nécessite une validation temporelle utilisant un test d'ordonnançabilité avant sa mise en oeuvre. Cette thèse traite le problème d'ordonnancement des taches à offset (transactions) sur une architecture monoprocesseur, en priorités fixes et en priorités dynamiques. Les méthodes existantes pour un test exact ont une complexité exponentielle et seules existent des méthodes approchées, donc pessimistes, qui sont pseudo-polynomiales. En priorités fixes nous proposons des méthodes pseudo-polynomiales, basées sur l'analyse de temps de réponse qui sont moins pessimistes que les méthodes existantes. Nous présentons quelques propriétés (accumulativité monotonique, dominance de tâches) rendant exacte les méthodes d'analyse approchées pour certains cas de systèmes, et optimisant le temps de calcul. En priorités dynamiques, nous proposons un test d'ordonnançabilité exact avec une complexité pseudopolynomiale. Ce test est basé sur l'analyse de la demande processeur. Les qualités des résultats de nos méthodes sont confirmées par des évaluations expérimentales.

Les chimères Bcr-Abl sont dues à une translocation réciproque entre les chromosomes 9 et 22, entrainant la fusion des gènes bcr et abl. La seule différence structurale entre p190bcr﷓abl, associé avec la Leucémie Aigue Lymphoblastique, et p210bcr-abl, responsable de la Leucémie Myéloïde Chronique, réside dans le domaine DH/PH présent uniquement dans p210bcr-abl. Nous avons montré précédemment que Rac1 était activée dans les cellules exprimant p190bcr-abl et p210bcr-abl alors que RhoA n'est activé que dans les cellules exprimant p210bcr-abl (Harnois et al., Oncogene, 2003). Les cellules Ba/F3 parentales ne sont pas spontanément mobiles contrairement aux cellules Ba/F3p210 and Ba/F3p190. Les cellules exprimant p210bcr-abl présentent des mouvements amoeboïdes typiques alors que les cellules exprimant p190bcr-abl utilisent une mobilité de type roulement (rolling-type). Les résultats obtenus en utilisant des mutants des domaines GEF de Vav ou p210bcr-abl nous ont permis de proposer un modèle dans lequel Vav, en complexe avec Bcr-Abl, est responsable à travers l'activation de Rac1 du déclenchement de la motilité des cellules exprimant Bcr-Abl. Le GEF de p210bcr-abl, spécifique de l'activation de RhoA, est indispensable pour la formation des mouvements amoeboïdes dans les cellules Ba/F3, mais ne joue pas de rôle dans le déclenchement de la mobilité spontanée de ces cellules (Daubon et al., Oncogene, 2008). Nous avons ensuite caractérisé une voie passant par Rac1/PAK1/LIMK1/cofiline1 dans laquelle chaque élément est essentiel pour le déclenchement de la motilité dite rolling-type. Nous avons montré que la voie classique RhoA/ROCK/MLC était seulement partiellement impliquée dans l'induction de la motilité amoeboïde dans les cellules Ba/F3p210. De façon surprenante, nous avons trouvé que RhoA et ROCK1 induisent l'activation de l'isoforme ADF/destrine de la famille des " Actin Depolymerizing Factors ", à travers la régulation négative de la LIMK2 au niveau transcriptionnel mais aussi par une dégradation protéasome-dépendante. Cette voie de signalisation originale permet une meilleure caractérisation des mécanismes moléculaires menant aux mouvements amoeboïdes en 3 dimensions.

Les problèmes de sélection de modèles se posent couramment dans un grand nombre de domaines applicatifs tels que la compression de données ou le traitement du signal et de l'image. Un des outils les plus utilisés pour résoudre ces problèmes se présente sous la forme d'une quantité réelle à minimiser appelée critère d'information ou critère entropique pénalisé. La principale motivation de ce travail de thèse est de justifier l'utilisation d'un tel critère face à un problème de sélection de modèles typiquement issu d'un contexte de traitement du signal. La justification attendue se doit, elle, d'avoir un solide fondement mathématique. Nous abordons aussi le problème classique de la détermination de l'ordre d'une autorégression. La régression gaussienne, permettant de détecter les harmoniques principales d'un signal bruité, est également abordée. Pour ces problèmes, nous donnons un critère dont l'utilisation est justifiée par la minimisation du coût résultant de l'estimation obtenue. Les chaînes de Markov multiples modèlisent la plupart des signaux discrets, comme les séquences de lettres ou les niveaux de gris d'une image. Nous nous intéressons au problème de la détermination de l'ordre d'une telle chaîne. Dans la continuité de ce problème nous considérons celui, a priori éloigné, de l'estimation d' une densité par un histogramme. Dans ces deux domaines, nous justifions l' utilisation d' un critère par des notions de codage auxquelles nous appliquons une forme simple du principe de " Minimum description Length ". Nous nous efforçons également, à travers ces différents domaines d'application, de présenter des méthodes alternatives d' utilisation des critères d' information. Ces méthodes, dites comparatives, présentent une complexité d' utilisation moindre que les méthodes rencontrées habituellement, tout en permettant une description précise du modèle.

Partant du paradoxe que les récits brefs médiévaux sont hantés par la répétition (au lieu d'aller au plus court), cette recherche décrit et analyse le rôle narratif, stylistique et symbolique des procédures répétitives dans un genre éphémère (le récit bref français en vers, né au XIIe siècle, est abandonné au XIVe au profit de la nouvelle en prose). En usant d'un appareil conceptuel rhétorique, linguistique, sémiotique, philosophique, on distingue les diverses réalisations de la répétition, leurs effets de sens spécifiques dans le cadre de la brièveté narrative, leurs valeurs respectives dans le système de pensée médiéval en regard de l'évolution du sentiment du temps. L'analyse stylistique s'applique à un ample corpus constitué de cinq genres narratifs brefs en vers (fables, lais, fabliaux, miracles, dits narratifs), pour clarifier la conception médiévale de la brevitas (en interrogeant les manuels scolaires médio-latins et les pratiques d'écriture) ; pour identifier des traits de style signifiants et discriminants, au niveau de la variante, de l'œuvre, du genre, ou d'un type de personnage ; pour préciser l'évolution esthétique de chaque genre. Trois paradoxes se dégagent : répéter permet d'abréger ; l'écho médiéval n'est pas une déperdition sonore mais une persistance et un prolongement ; la répétition n'est pas une, mais se partage en deux modes sémio-stylistiques (verticalité et horizontalité). Le développement des procédures horizontales, dans la première moitié du XIIIe siècle, accompagne l'essor de la subjectivité littéraire et l'élaboration d'une esthétique du contretemps, qui n'est pas sans rapport avec la transformation concrète des rythmes de vie.

À partir de questionnaires et entretiens semi-directifs, cette thèse se propose d'analyser le profil linguistique, les représentations culturelles et identitaires des jeunes Burkinabè lettrés. 453 élèves-maîtres des ENEP de Loumbila, Fada N'gourma, Bobo-Dioulasso, Ouahigouya et Gaoua ont pris part à cette étude. Ces jeunes lettrés (hommes et femmes), âgés de 19 à 33 ans, et de niveaux d'études variés (BEPC, 2nde, 1ère, terminale, études universitaires) ont été retenus comme échantillon de l'ensemble des jeunes lettrés du pays. Dans son développement, cette thèse dresse un panorama inédit sur le vécu langagier, le développement psycholangagier et les représentations culturelles et identitaires de ceux qui auront en charge d'assurer l'éducation de base au Burkina. S'appuyant sur cet échantillon, ce travail livre la perception de la vitalité actuelle, future et légitime du français et des langues nationales du Burkina. Cette thèse livre aussi une analyse du degré d'engagement de ces jeunes futurs pédagogues pour promouvoir l'éducation de base à l'école en langue française et dans leur langue maternelle au Burkina Faso, pays d'Afrique francophone subsaharienne.

Ce projet porte sur la caractérisation de l'alliage d'aluminium aéronautique 2024 en propagation de fissure de fatigue dans une solution saline. Le premier objectif est la caractérisation des synergies entre le chargement cyclique, la métallurgie et la corrosion, et l'analyse de leur influence sur la fissuration en fatigue en immersion permanente en solution saline. Les interactions complexes entre le chargement mécanique, la métallurgie et la corrosion, contrôlées par le temps de mise en charge, sont discutées dans le cadre d'une compétition entre la passivation de la pointe de fissure et la fragilisation par l'hydrogène, assistée par la dissolution anodique. Le deuxième objectif est l'étude de la différence entre une exposition permanente et une exposition séquentielle à la solution saline lors de la fissuration en fatigue. Sous certaines conditions, une nette accélération de la fissuration est observée lors d'une immersion séquentielle par rapport à une immersion permanente, ce qui peut conduire à des durées de vie estimées supérieures aux durées de vie réelles des structures soumises à une exposition séquentielle à la corrosion saline. Pour les deux premiers objectifs, la contribution possible d'un dommage de type corrosion sous contrainte est évaluée, en terme de vitesses de propagation, en fonction du chargement mécanique et de l'environnement. Le dernier objectif traite de la possibilité d'appliquer les résultats obtenus ici pour le 2024 à d'autres alliages d'aluminium.

La Décharge à Barrière Diélectrique (DBD) employée ici consiste en une décharge électrique établie dans l'air à pression atmosphérique à la surface d'un isolant. Cette décharge ionise l'air ambiant environnant, et les espèces chargées générées soumises à la force de Coulomb induisent, par transfert de quantité de mouvement, un écoulement appelé vent électrique. Récemment, la capacité de ce type de dispositif à contrôler un écoulement subsonique autour de profils aérodynamiques a été mise en évidence. La DBD employée dans ce sens est appelée actionneur plasma. Ces actionneurs peuvent modifier les écoulements de couche limite en proche paroi par l'intermédiaire du vent électrique. Le but de la thèse est d'améliorer les performances aérodynamiques d'une aile, soit en augmentant sa portance, soit en réduisant sa traînée ou bien encore en retardant le décrochage du profil. Le travail réalisé se divise en deux grandes parties. La première partie a consisté à développer puis optimiser une décharge à barrière diélectrique afin de mieux comprendre son fonctionnement. Pour cela, une étude paramétrique a été effectuée, en faisant varier les grandeurs électriques, physiques et géométriques. Des mesures électriques et mécaniques ont été réalisées, puis des grandeurs électromécaniques comme le rendement par exemple ont été estimées et comparées. Ces différentes études ont permis de définir un ensemble de paramètres permettant d'obtenir une DBD optimum en termes de génération de vent électrique et de fiabilité. La seconde partie a consisté à intégrer l'actionneur plasma optimisé sur un profil symétrique NACA 0015, et de tester son efficacité dans un écoulement d'air allant jusqu'à 40 m/s. Pour cela, des mesures Particle Image Velocimetry (PIV) de l'écoulement autour du profil et des pesées aérodynamiques ont été réalisées sans, puis avec contrôle. L'influence de différents paramètres (fréquence et intensité de l'excitation, mode en fonctionnement) a été étudiée. Il a été mis en évidence une modification de l'écoulement sous les effets du contrôle qui favorise soit le processus de recollement de la couche limite ou soit le décollement. L'efficacité des actions continue et instationnaire de l'actionneur a été comparée. Modulée par une fréquence adimensionnelle F+, le mode instationnaire présente des résultats équivalent voire supérieur au mode continu tout en réduisant la consommation spécifique de la DBD.

Ce mémoire porte sur l'étude des champs de déplacements expérimentaux dans les plaques élastiques fissurées, chargées en mode I. L'extraction des déplacements expérimentaux est réalisée à partir d'une méthode d'extraction de phase à une seule image. La première partie de ce mémoire, concerne l'étude des champs de déplacements entourant la pointe de fissure pour des fissures stationnaires. La méthode des grilles est utilisée pour déterminer les champs de déplacements dans le plan sur la surface libre. Parallèlement aux essais expérimentaux, une modélisation par éléments finis est réalisée pour valider les conditions aux limites numériques et les formulations empiriques proposées. Ces formulations caractérisent les déplacements dans le plan et les gradients de déplacements nécessaires au calcul de l'intégrale J. La seconde partie de ce mémoire porte sur l'étude des effets 3D et transitoires par confrontation de la formulation théorique et des résultats expérimentaux des déplacements hors-plan. L'accès aux déplacements hors-plan absolus par interférométrie de Michelson n'est pas direct, l'utilisation d'un photomultiplicateur et la soustraction d'un relief initial est nécessaire. La zone de décrochement évoluant avec la vitesse de propagation (V) nous incite à développer une formulation empirique du déplacement minimisée par rapport aux données expérimentales.

Ce travail examine la flexibilité de l'intégration multi-sensorielle dans ses aspects spatiaux et temporels. Dans un premier temps, nous nous intéressons à l'intégration des informations visuelles et proprioceptives dans la localisation d'une position. La performance est étudiée dans une tâche de reproduction passive d'une position spatiale (Exp. 1) en croisant trois modalités d'encodage et de reproduction (visuelle, proprioceptive, visuo-proprioceptive). Dans un second temps, nous nous intéressons à l'intégration des informations visuelles et auditives au cours du temps. La performance est étudiée dans une double tâche de temps de réaction de choix visuoauditive. Deux tâches visuo-manuelle et auditivo-manuelle et une double tâche visuo- et auditivo-manuelle sont proposées en manipulant l'ordre de présentation des stimuli (Exp. 2), en introduisant une amorce sur l'ordre de présentation des stimuli (Exp. 3) et en recourant à une population d'experts en "Counter strike" (Exp. 4). Les principaux résultats ont montré que la similarité et la richesse bimodale des phases d'encodage et de reproduction sont optimales pour la local isation d'une position (Exp. 1). L'intégration visuo-auditive au cours du temps est influencée par les différences individuelles, en partie par la fiabilité de la modalité sensorielle et l'ordre de présentation des stimuli, et par l'expertise individuelle (Exp. 2, 3, 4). L'ensemble de ce travail met en évidence une flexibilité des processus d'intégration multi-sensorielle en fonction de multiples facteurs dont les uns agissent aussi bien sur l'intégration des informations spatiales que sur l'intégration des informations au cours du temps.

Ce travail concerne l'étude de la production d'hydrogène par vaporeformage catalytique du bioéthanol brut pour mettre en évidence l'effet des impuretés de l'alcool brut sur les performances catalytiques. Les performances du catalyseur Rh/MgAl2O4/Al2O3 en vaporeformage de l'éthanol en présence ou non de différentes impuretés ont été évaluées. La nature de l'impureté joue un rôle promoteur ou entraîne la chute de l'activité catalytique. L'effet promoteur peut être expliqué par un blocage des sites responsables de la formation de C2H4 tandis que la désactivation semble au dépôt de coke. Par la suite les travaux ont porté sur l'amélioration de la formulation, et un catalyseur (RhNi/Y-Al) actif, sélectif et stable pour la production d'hydrogène à partir du bioéthanol brut a été mis au point. L'incorporation d'un oxyde de terre rare à l'alumine et l'ajout d'une deuxième phase métallique a permis d'améliorer les propriétés acido-basiques du support, permettant de limiter la production de coke lors du vaporeformage du bioéthanol brut.