Cette thèse comprend deux parties. La première traite de la construction d'un ensemble aléeatoire qui a la propriété de régénération. Plus précisement, on construit des intervalles aléatoires issus des maxima locaux d'un processus de Poisson ponctuel. Ceux-ci sont utilisés pour recouvrir partiellement la semi--droite des réels positifs et on s'intéresse alors à l'ensemble résiduel $\Rs,$ des points qui n'ont pas été recouverts. On donne des critères intégrales pour déterminer si l'ensemble $\Rs$ a une mesure de Lebesgue non nulle, si il est discret ou encore si il est borné. On montre que l'ensemble $\Rs$ est régenératif et on caractérise le subordinateur associé via sa mesure potentiel. On donne des formules pour calculer quelques dimensions fractales pour $\Rs.$ La deuxième partie est constituée de quelques contributions à la théorie des processus de Markov auto--similaires positifs. Pour obtenir les résultats de cette partie on utilise amplement la transformation de Lamperti qui permet de rélier les processus de Markov auto--similaires positif aux processus de Lévy à valeurs dans $\re.$ On s' interesse d'abord, au comportement à l'infini d'un processus de Markov auto--similaire croissant. On détermine, sous certaines hypothèses, une fonction déterministe $f$ telle que la limite inférieure, lorsque $t$ tend vers l'infini, du quotient $X_t/f(t)$ est finie et non nulle avec probabilité $1.$ Un résultat analogue est obtenu pour déterminer le comportement près de 0 du processus $X$ issu de 0. Ensuite, on étudie les différentes manières de construire un processus de Markov auto--similaire $\widetilde(X)$ pour lequel 0 est un point régulier et récurrent. En premier lieu, on donne des conditions qui nous permettent d'assurer qu'un tel processus existe et d'expliciter sa résolvante. En second lieu, on fait une étude systématique de la mesure d'excursions d'Itô $\exc$ pour le processus $\widetilde(X)$. On donne en particulier une description à la Imhof de $\exc,$ on determine la loi sous $\exc$ de l'excursion normalisée et l'image sous retournement de temps de $\exc$. De plus, on construit et on décrit un processus qui est en dualité faible avec le processus $\widetilde(X).$ On obtient diverses estimations de la queue de probabilité de la loi d'une variable aléatoire fonctionnelle exponentielle d'un processus de Lévy.

Cabri-géomètre est un logiciel qui permet l'exploration de figures géométriques par manipulation directe des objets géométriques qui les constituent. Ce logiciel plonge l'utilisateur dans un micromonde intelligent et constitue ainsi un environnement d'apprentissage pour la géométrie. Les utilisateurs peuvent construire des figures géométriques, explorer le champ des animations et déformations de la construction, élaborer de nouveaux outils avec des macro-constructions, et spécialiser leur environnement pour des tâches spécifiques en y intégrant éventuellement leurs outils personnels. Le logiciel offre des possibilités de programmation par démonstration, mais les utilisateurs ont souvent besoin de manipuler la structure logique du programme construit pour le mettre au point et le maîtriser. Le choix d'une forme particulière pour présenter ce programme tient compte des spécificités du domaine de la géométrie dynamique et de la diversité des utilisateurs. Dans notre travail de prototypage, nous avons spécifié et implémenté un support textuel, mais laissé ouverte la possibilité de le compléter par un graphe. Le profil des utilisateurs a été pris en compte pour définir la forme de ce texte : en effet, la formalisation d'un langage de programmation sous-jacent aux constructions visuelles directes ne doit pas constituer une contrainte, et la familiarisation avec ce langage (moyen de communication entre l'utilisateur et le logiciel) doit se faire de façon inconsciente. Ces exigences ont abouti à l'intégration dans Cabri-II d'une vue textuelle des figures, équivalente à la vue graphique, dynamique autant que la figure (dans ce sens que le programme se construit en même temps que la figure), et où l'ubiquité des objets dans les vues synchrones permet un apprentissage implicite du langage de Cabri-programmation. La "qualité dynamique" de la géométrie dans la figure est traduite par la "qualité formelle" du langage induit, et les manipulations de l'interface sont transcrites en des animations du texte. La démarche consistant à partir d'une programmation visuelle pour l'expliciter en une programmation textuelle est nouvelle, pose des problèmes spécifiques intéressants, et pourrait assez rapidement être complétée, puis être appliquée avec profit à d'autres environnements analogues.

Les nouvelles technologies de l'information sont entrées au cœur de notre société et provoquent de profonds changements dans notre vie quotidienne, notamment dans le monde du travail. Or le métier d'enseignant n'a pas vraiment évolué, même si les méthodes éducatives changent, car toute tentative d'introduction de l'informatique se heurte à la méfiance des enseignants qui ont peur de perdre leur liberté de choix éducatifs. De plus, les avancées technologiques n'ont d'intérêt que si elles sont intégrées dans un processus global de conception d'applications éducatives. Nos recherches ont donc pour objectif principal de faciliter la tâche de l'enseignant dans la préparation de ses séquences pédagogiques. Nous définissons ainsi le support méthodologique d'un environnement informatique d'aide à la spécification des connaissances éducatives. Nous organisons alors nos travaux autour de trois axes. Tout d'abord, nous proposons la mise en place d'enseignements axés sur la notion de situations-problèmes au sens IUFM car elle met les apprenants en situation de projet tout en répondant aux objectifs pédagogiques fixés. Nous exposons ensuite la nécessité pour les enseignants de se reposer sur un processus de spécification formelle que nous définissons et pour lequel nous proposons un cycle de vie basé sur le prototypage rapide. Nous proposons aussi une ontologie de l'enseignement s'appuyant sur une architecture orientée-objet. Nous montrons enfin que l'utilisation de méta-outils CASE permet de développer un environnement ayant une assistance adaptée et suffisamment flexible pour permettre différentes façons de spécifier et différents points de vue et-ou formalismes de représentation sur une spécification. Le prototype développé couple le méta-outil CASE HARDY, qui fournit une interface diagrammatique supportant les étapes du processus de développement, et le générateur de système expert CLIPS qui assure la cohésion globale en terme de guidage et de flexibilité.

Le détecteur ATLAS conçu pour étudier la physique des particules, sera mis en service à partir de 2007 sur le Grand Collisionneur de Hadrons (LHC). Il sera dédié à la recherche du boson de HIGGS et à des études dans le cadre du modèle standard ou en dehors. Le calorimètre à tuiles scintillantes est un sous-ensemble du détecteur ATLAS. Les 10000 voies de lecture, composant ce calorimètre, sont constituées de photomultiplicateurs qui transforment la lumière en signal électrique. La reconstruction du passage des particules et l'énergie déposée dans le détecteur doivent être connues avec précision. Pour cela, chaque sous-ensemble dispose de plusieurs systèmes d'étalonnage. Le système utilisé par le calorimètre à tuiles scintillantes pour calibrer les photomultiplicateurs et l'électronique associée est un laser. Le système laser possède son propre système de calibration afin de connaître avec précision l'impulsion lumineuse transmise aux photomultiplicateurs du calorimètre, soit :<br> · quatre photodiodes qui reçoivent une fraction du faisceau laser,<br> · une source radioactive, passant devant les photodiodes dont l'énergie des particules alpha émises est monoénergétique,<br> · une injection de charge pour connaître la linéarité des préamplificateurs des photodiodes.<br> <br><br> Pour commander ce système laser, le prototype d'une carte électronique SLAMA a été développé et réalisé. Cette carte, qui s'insère dans un châssis VME, se compose de trois parties : la première est l'interface avec le logiciel via le bus VME, la deuxième met en forme les signaux analogiques provenant des photomultiplicateurs et des photodiodes et la troisième doit prendre en compte le temps de réponse du laser. Les signaux électroniques issus des entrées analogiques sont mis en forme par des discriminateurs à fraction constante. Ils ont pour particularité d'avoir une gigue sur le temps de réponse peu dépendante de l'amplitude du signal d'entrée. Le temps de réponse du laser est dépendant de l'amplitude de l'impulsion lumineuse. La carte SLAMA intègre une fonction dédiée à ce calcul, pour optimiser les calibrations pendant l'absence d'événements physiques. Elle est dotée de fonctions diverses réalisées à l'aide de composants numériques programmables FPGA et de circuits spécifiques :<br> · une interface avec le bus VME,<br> · un convertisseur temps-numérique TDC, ASIC développé au CERN,<br> · l'unité de calculs et d'ajustements du retard de déclenchement du laser,<br> · une logique de fonctionnement autonome. <br><br> Les tests préliminaires avant l'intégration complète dans le système ont été effectués en laboratoire. Ils permettent de confirmer la faisabilité de la fonction commande et contrôle du laser. Ils montrent également une grande souplesse de la carte, grâce à la possibilité de reconfiguration in-situ.

Ce travail de thèse s'est donné pour objectif d'étudier les effets sociaux que la perte d'emploi a pu provoquer sur le devenir des licenciés pour motif économique et de porter un regard renouvelé sur la sociologie du chômage. Pour cela, cette recherche s'est fondée sur une enquête de type monographique mariant entretiens qualitatifs et enquête par questionnaire auprès de 830 anciens salariés de Moulinex en Basse-Normandie, soit un tiers du personnel non repris par le groupe Seb. Les retombées sur la santé, le mode de vie, les relations sociales et le rapport à la politique sont interrogées depuis la fermeture définitive des cinq usines en septembre 2001 au travers du développement temporel d'une « carrière » de licencié. L'analyse du processus de recherche et de retour à l'emploi s'effectue au travers de la mise en lumière des inégalités héritées du passé professionnel des individus et qui se déploient dans la rencontre avec le marché du travail. Cette recherche se caractérise par l'importance accordée au sentiment d'attachement à l'entreprise et à l'expérience chez Moulinex.

Nous nous intéressons dans cette thèse à l'étude de systèmes couplés fluide-structure. Ces systèmes peuvent modéliser l'écoulement du sang dans un vaisseau large. La vitesse et la pression du sang sont alors décrites par les équations de Navier-Stokes incompressibles et le déplacement de la partie mobile de la frontière vérifie une équation des poutres/ plaques (selon la dimension du modèle). Dans la première partie, nous montrons l'existence de solutions fortes à deux systèmes (correspondant à un paramètre nul ou non) en deux ou trois dimensions. Plus précisément, nous prouvons l'alternative suivante. Nous avons soit l'existence globale pour des conditions initiales petites, soit l'existence locale pour des conditions initiales quelconques. Dans une seconde partie, nous étudions d'une part la contrôlabilité à zéro d'un système couplant les équations de Navier-Stokes à une équation différentielle ordinaire pour des conditions initiales petites en deux dimensions. D'autre part, nous montrons la stabilisation (pour tout taux de décroissance) d'un système couplant les équations de Navier-Stokes et deux équations des plaques par deux contrôles dans le cadre périodique pour des conditions initiales petites. Dans ce cas, les contrôles sont de dimension finie.

La théorie des matrices aléatoires présente un ensemble d'outils mathématiques efficaces pour l'étude de performances des systèmes de communications numériques. L'objectif de cette thèse est de développer des résultats analytique basés sur la théorie des matrices aléatoires pour étudier les fluctuations de quelques indices de performances pour les systèmes de communications sans fil. Nous étudions dans un premier temps, les fluctuations du rapport signal sur bruit (SINR), indice de performance mesuré à la sortie d'un récepteur linéaire de Wiener, récepteur minimisant l'erreur quadratique des symboles estimés (LMMSE) pour les transmissions par la technique CDMA. Basés sur la méthode REFORM, nous montrons le comportement gaussien asymptotique pour le SINR. L'étude du SINR permet la compréhension de comportements d'autres indices de performances comme l'erreur binaire et la probabilité de dépassement. Basés sur la nature gaussienne des entrées de la matrice canal, nous utilisons des outils mathématiques dédiés aux variables gaussiennes pour évaluer ces deux indices de performances. Des simulations montrent bien la pertinence de cette approche. Il est bien connu que l'information mutuelle entre le signal émis et le signal reçu augmente avec l'utilisation des techniques de transmission multi-antennes. Nous nous intéressons à l'étude des fluctuations de cette statistique pour un modèle séparable non centré, cas Rice. Nous développons des outils mathématiques basés sur la théorie des matrices aléatoires permettant de montrer la nature gaussienne des fluctuations de l'information mutuelle.

Le développement et l'amélioration du réseau Internet a permis de mettre un grand nombre de contenus télévisuels à disposition des utilisateurs. Afin de faciliter la navigation parmi ces vidéos, il est intéressant de développer des technologies pour indexer les personnes automatiquement. Les solutions actuelles proposent de construire l'index audio-visuel des personnes par combinaison des index audio et visuel obtenus de manière indépendante. Malheureusement, pour les émissions de télévision, il est difficile de détecter et de regrouper les personnes automatiquement à cause des nombreuses ambiguïtés dans l'audio, le visuel et leur association (interactivité des dialogues, variations de pose du visage, asynchronie entre la parole et l'apparence, etc). Les approches basées sur la fusion des index audio et visuel combinent les erreurs d'indexation issues de chaque modalité. Les travaux présentés dans ce rapport exploitent la complémentarité entre les informations audio et visuelle afin de palier aux faiblesses de chaque modalité. Ainsi, une modalité peut appuyer l'indexation d'une personne lorsque l'autre est jugée peu fiable. Nous proposons une procédure de correction mutuelle des erreurs d'indexation de chaque modalité. D'abord, les erreurs sont détectées automatiquement à l'aide d'indicateurs de présence de visage parlant. Puis, la modalité qui a échoué est corrigée grâce à un schéma automatique. Nous avons proposé en premier lieu un système initial d'indexation de visages parlants basé sur la détection et le regroupement du locuteur et du costume. Nous proposons une méthode de combinaison d'index basée sur la maximisation de la couverture globale des groupes de personnes. Ce système, évalué sur des émissions de plateaux, obtient une grande précision (90%), mais un faible rappel (seulement 55% des visages parlants sont détectés). Afin de détecter automatiquement la présence d'un visage parlant dans le processus de correction mutuelle, nous avons développé une nouvelle méthode de détection de mouvement des lèvres basée sur la mesure du degré de désordre de la direction des pixels autour de la région des lèvres. L'évaluation, réalisée sur le corpus de d'émission de plateaux, montre une amélioration significative de la détection des visages parlants comparé à l'état de l'art dans ce contexte. En particulier, notre méthode s'avère être plus robuste à un mouvement global du visage. Enfin, nous avons proposé deux schémas de correction. Le premier est basé sur une modification systématique de la modalité considérée a priori la moins fiable. Le second compare des scores de vérification de l'identité non supervisée afin de déterminer quelle modalité a échoué et la corriger. Les modèles non supervisés des personnes sont appris à partir des ensembles homogènes de visages parlants obtenus automatiquement par le système initial. Les deux méthodes de correction conduisent à une amélioration significative des performances (+2 à 5% de la F-mesure). Nous nous sommes également intéressé aux systèmes biométriques audio-visuels et particulièrement sur les techniques de fusion tardives pour la vérification d'identité. Nous avons proposé une méthode de fusion dépendante de la qualité du signal dans chaque modalité.

Cette thèse consiste d'une étude de la géométrie d'une certaine classe de groupes arithmétiques, à travers d'une action propre sur un espace contractile. Nous calculons explicitement leur homologie de groupe, et leur K-homologie équivariante. Plus précisément, considérons un corps de nombres quadratique imaginaire et son anneau d'entiers A. Les groupes de Bianchi sont les groupes SL_2(A) et PSL_2(A). Ces groupes agissent d'une manière naturelle sur l'espace hyperbolique à 3 dimensions. Ils constituent une clef pour l'étude d'une classe plus large de groupes, les groupes Kleiniens, étudiés depuis Poincaré. En fait, chaque groupe Kleinien arithmétique non-cocompact est commensurable avec un des groupes de Bianchi. L'auteur a implémenté à l'ordinateur, le calcul d'un domaine fondamental pour ces groupes. En calculant les stabilisateurs et identifications sur ce domaine fondamental, nous obtenons une structure explicite d'orbi-espace. Nous nous en servons pour étudier des aspects différents de la géométrie des groupes de Bianchi. D'abord, nous calculons l'homologie de groupe à coefficients entiers, à l'aide de la suite spectrale équivariante de Leray/Serre. Ensuite, nous calculons l'homologie de Bredon de groupes de Bianchi, de laquelle nous déduisons leur K-homologie équivariante. Par la conjecture de Baum/Connes, qui est vérifiée par nos groupes, nous obtenons la K-théorie des C*-algèbres réduites de nos groupes. Finalement, nous complexifions nos orbi-espaces, en complexifiant l'espace hyperbolique. Ceci nous permet de calculer la cohomologie d'orbi-espace de Chen/Ruan, qui est l'un des deux côtés de la conjecture de la résolution cohomologique crépante de Ruan.

Un contrôle moteur conventionnel se compose de deux niveaux de commande dénommés strates " groupe motopropulseur " et " moteur ". Historiquement, la conception de ce dispositif s'est organisée autour d'une logique organique, focalisée sur la composition matérielle de la chaîne de production de couple. Ceci explique que les moyens de développement soient, aujourd'hui encore, découplés et spécifiques à chaque type de motorisation, diesel ou essence. L'heure est désormais à la recherche d'une approche davantage fonctionnelle, et de chaînes de développement aussi génériques et mutualisées (en diesel, essence, voire hybride) que possibles, dans l'objectif de réduire les temps et coûts de développement. En effet, le besoin fonctionnel de la strate GMP est indépendant de l'architecture moteur, et, vue du GMP, la strate moteur n'est autre qu'un générateur de couple aux amplitudes et dynamiques diverses. Cette structuration ouvre la possibilité de traiter les spécificités Essence et Diesel au travers d'une gestion appropriée des dynamiques, dans le sens GMP vers moteur, et de la prise en compte de fonctions de contrainte transversales dans le sens moteur vers GMP. Dans ce contexte et à cette fin, cette thèse inventorie et explore différentes possibilités offertes par la théorie de la commande : commande hiérarchisée, commande optimale, commande prédictive, commande avec anticipation. In fine, la thèse met à disposition du projet une architecture de commande (articulation commande prédite / commande anticipée à l'interface des deux strates), et des outils pour son développement. Elle donne également quelques éléments permettant de jauger son intérêt et faisabilité de mise en œuvre.