Introduction sur les mémoires. Les bulles magnétiques et leurs fonctions logiques. Réalisations et applications des mémoires à bulles magnétiques. Les organisations de la mémoire à bulles magnétiques. Comparaison des performances des différentes organisations de mémoires à bulles magnétiques.

L'objectif de ce travail a été de proposer une méthode de détection de défaut sur le système d'injection directe à haute pression (le système Common Rail) mis en place sur les véhicules Diesel. L'importance de l'implémentation d'une procédure de détection de défauts a été mise en évidence grâce à la description des enjeux (baisse de la consommation, diminution des émissions polluantes et sonores, augmentation des performances) et des contraintes liées au Common Rail (haute pression, haute fréquence, lubrification par le gasoil, usinage de haute précision, respect des normes EURO, ...) mais aussi à travers un listing des pannes pouvant survenir sur le Common Rail. Un état de l'art sur les différentes méthodes de diagnostic des systèmes a permis de dégager une méthode de détection de défaut répondant aux performances attendues (détection du défaut naissant, rapidité de détection, isolation et caractérisation des défauts détectés ainsi que minimiser les fausses alarmes et les mauvaises détections). Après une étude approfondie (propriétés,<br />formulations séquentielles et étude de sensibilité) de la méthode de détection choisie (observateurs<br />à mémoire finie) et une modélisation du comportement des différents organes du Common Rail, l'algorithme de détection a été testé sur trois modélisations différentes du système Common Rail.<br />De plus, la comparaison entre l'observateur à mémoire finie et un observateur de Luenberger et un<br />filtre de Kalman ont permis d'apprécier le degré de robustesse des résidus. Dans l'ensemble, les résultats obtenus permettent de conclure sur la bonne détection des défauts actionneurs et capteurs.

La traduction assistée par ordinateur a connu un grand essor dans les années 1990 avec l'arrivée des environnements à mémoires de traduction. Ces systèmes exploitent la redondance des textes techniques produits et traduits dans l'industrie, en proposant aux traducteurs de réutiliser des traductions archivées et d'accroître ainsi leur productivité. Ces mémoires utilisent, sans analyse, des segments de textes (le plus souvent des phrases entières) dont le découpage et l'alignement sont garantis par le traducteur.<br /><br />Pourtant ces mémoires recèlent des gisements d'information importants au niveau sous-phrastique dont les utilisateurs ne peuvent pas bénéficier. Le formalisme TransTree permet de représenter des correspondances sous-segmentales enchassées bilingues. Ces correspondances complexes (les amphigrammes) forment une structure arborescente exprimable en XML. Une transformation de surface conduit à une visualisation dynamique mettant en évidence les différents niveaux de correspondance entre sous-segments.<br /><br />TransTree s'accompagne d'une méthode générale de construction par voie statistique, fondée sur les arbres binaires de sécabilité. Cette méthode permet d'établir des amphigrammes à partir des correspondances entre mots typographiques. Il est possible d'abstraire des patrons de traduction (amphigrammes génériques) par classification des exemples rencontrés dans le corpus.<br /><br />Quelques expérimentations ont été effectuées pour valider le pouvoir d'expression du formalisme, explorer différentes options de construction et esquisser un algorithme de reconstitution d'un segment cible à partir d'un segment source inconnu avec la connaissance extraite des mémoires de traduction.

Ce travail de thèse s'intéresse à l'étude des processus de conception de produits dans le cadre de projets d'innovation. L'approche proposée se focalise sur les connaissances associées aux processus de décision, identifiées comme critiques dans ces projets.<br />Les contributions de ce travail de recherche sont centrées sur la compréhension des mécanismes de décision et le support à leur bon déroulement. En premier lieu, un modèle de processus de décision, appelé INDIGO est proposé. Il a pour objectif de représenter l'ensemble des informations associées aux processus de décision, regroupées en un modèle unique, multi-vues. Il s'agit de la vue structure de la décision (les éléments d'information de l'espace de décision), de la vue processus de décision (les activités de décision), de la vue organisation de la décision (les acteurs impliqués dans la décision). Un Système de Gestion des Connaissances, appelé MEYDIAM est ensuite proposé. Il est fondé sur la proposition d'une nouvelle approche de Gestion des Connaissances. Il permet la création et la réutilisation de connaissances liées à la décision par l'utilisation d'informations structurées par le modèle INDIGO. MEYDIAM est principalement constitué dune mémoire de projet. Cet outil, au moyen d'interfaces appelées objets de connaissances, permet de capturer, au fil de l'eau les informations associées aux processus de décision et de les<br />réutiliser. Les contributions ont été validées via une maquette informatique testée dans le cadre des projets d'innovation du groupe PSA PEUGEOT CITROËN.

Qu'il s'agisse de téléphones portables ou de serveurs web, d'applets ou de paquets réseau, les systèmes matériels et logiciels sont contraints par des limitations sur les ressources telles que la mémoire, l'utilisation du disque ou les connexions au réseau. En particulier, il est nécessaire de contrôler l'allocation et la désallocation des ressources ainsi que le respect de protocoles, afin de prévenir les dépassements de capacité ou d'autres formes d'attaque ou d'accidents. Ce aspect, pourtant central dans la conception d'applications mobiles et communicantes, est ignoré par la majorité des algèbres de processus. Afin de contribuer à résoudre ce problème, nous avons étudié la notion de ressources. Nous avons formalisé cette notion dans le contexte de calculs conçus autour de la mobilité de sites, tels que les Mobile Ambients, ou de la mobilité de noms, comme le pi-calcul. Nous avons ainsi mis en évidence les mécanismes d'allocation et de désallocation de ressources et dégagé des méthodes pour prendre en compte les ressources et de les réutiliser intelligemment. De plus, les systèmes de types que nous avons conçus permettent de garantir statiquement qu'un système, au cours de son exécution, ne nécessitera pas plus de ressources qu'il n'est autorisé à en utiliser.

Cette thèse est centrée sur la modélisation de l'exécution d'une application parallèle par un graphe de flot de données. Ce graphe, qui relie les tâches aux données partagées, est construit de manière dynamique. Cette construction, indépendante de l'ordonnancement des tâches effectué, permet de définir la sémantique des accès aux données et de controler la consommation mémoire de toute exécution. Nous étudions dans une première partie les algorithmes permettant la construction et la gestion d'un tel graphe de flot de données dans un environnement distribué. Un point crucial de ces algorithmes est la détection de terminaison des accès des tâches sur les données partagées. Nous proposons un algorithme réactif réalisant cette détection. L'implantation de cet algorithme est au centre de l'implantation distribuée de l'interface de programmation parallèle Athapascan-1. Cette interface permet la description du parallélisme d'une application par création de tâches asynchrones. La sémantique (de type lexicographique) de cette interface est également définie à partir du graphe de flot de données. Nous montrons dans une deuxième partie que la connaissance du flot de données d'une application permet de controler de manière théorique la durée et, surtout, la consommation mémoire de toute exécution. Ce controle est effectué à partir d'un ordonnancement séquentiel implicite des tâches. Nous proposons, implantons dans Athapascan-1 et évaluons deux algorithmes d'ordonnancement distribués permettant de limiter le volume de mémoire requis par toute exécution. Ces expérimentations permettent de valider les résultats théoriques obtenus.

Ce travail de thèse présente une étude expérimentale, par magnétométrie Squid à basses températures, des propriétés de dynamique lente hors équilibre de différents systèmes magnétiques désordonnés et/ou frustrés. Dans une première partie, des verres de spin sont étudiés en tant que systèmes magnétiques désordonnés et frustrés modèles pour l'étude du vieillissement. L'accent est mis sur les phénomènes de rajeunissement et de mémoire qui apparaissent dans ces systèmes, lorsqu'ils sont soumis à des variations de température pendant leur vieillissement. Ce comportement original des verres de spin, qui les distingue notamment des matériaux vitreux plus conventionnels (verres structuraux, polymères, ...) est étudié en détail dans des échantillons d'anisotropies différentes. Une diminution de la sensibilité du vieillissement aux variations de température est observée lorsque l'anisotropie augmente et met en relief l'importance de ce paramètre pour comprendre les propriétés hors équilibre de ces systèmes. La deuxième partie de ce travail est consacrée au vieillissement de ferromagnétiques désordonnés. L'observation d'effet de rajeunissement et de mémoire dans ces systèmes est difficile à concilier avec l'idée que leur vieillissement peut être a priori bien décrit en termes de croissance de domaines. Une interprétation alternative en termes de dynamique de reconformations hiérarchiques des parois de domaines piégées par le désordre local est proposée et permet d'expliquer les observations expérimentales. Enfin, dans une dernière partie, la dynamique lente hors équilibre de systèmes antiferromagnétiques géométriquement frustrés (spins d'Heisenberg sur des réseaux kagome et pyrochlore) est étudiée dans le but de tester les effets respectifs du désordre et de la frustration sur les propriétés hors équilibre. Si le vieillissement isotherme de ces systèmes peut être bien décrit par les mêmes lois d'échelle que celles utilisés dans les verres de spin, une très faible sensibilité du vieillissement aux variations de température est observée dans ces systèmes sans désordre.

A travers cette thèse, nous envisageons de distinguer expérimentalement les différents stades intervenant dans le micro-développement de la fatigue à travers le concept de criticalité auto-organisée (SOC). Nous démontrons que le processus d'endommagement par fatigue appartient à cette classe de systèmes et la théorie de la SOC est utilisée pour construire des indicateurs du régime dissipatif du matériau. Ces indicateurs sont construits à partir de l'étude de la structure statistique multi-échelle des signaux acoustiques intermittents générés par le chargement cyclique d'une éprouvette. L'originalité de la démarche tient dans l'interprétation des statistiques à travers le cadre de la SOC qui permet la comparaison avec de nombreux phénomènes naturels. Cette thèse a permis de révéler différents régimes dissipatifs dans la fatigue des alliages à mémoire de formes au moyen d'enregistrements acoustiques et de montrer que chacun de ces régimes est décrit par une structure temps-énergie spécifique illustrée à travers le concept de SOC et les distributions en loi puissance associées. Enfin, une analyse multi-échelle est menée pour souligner qu'une même dynamique critique peut s'appliquer de l'échelle des tremblements de terre à l'échelle microscopique d'une éprouvette.

Le thème de nos travaux porte sur la statistique des processus à longue mémoire, pour lesquels nous proposons et validons des outils statistiques issus de l'analyse par ondelettes. Ces dernières années ces méthodes pour estimer le paramètre de mémoire sont devenues très populaires. Cependant, les résultats théoriques validant rigoureusement les estimateurs pour les modèles semi paramétriques classiques à longue mémoire sont récents (cf. les articles de E. Moulines, F. Roueff et M. Taqqu depuis 2007). Les résultats que nous proposons dans cette thèse s'inscrivent directement dans le prolongement de ces travaux. Nous avons proposé une procédure de test pour détecter des ruptures sur la densité spectrale généralisée. Dans le domaine des ondelettes, le test devient un test de ruptures sur la variance des coefficients d'ondelettes. Nous avons ensuite développé un algorithme de calcul rapide de la matrice de covariance des coefficients d'ondelettes. Deux applications de cet algorithme sont proposées , d'une part pour l'estimation de d et d'autre part pour améliorer le test proposé dans le chapitre précédent. Pour finir, nous avons étudié les estimateurs robustes robustes du paramètre de mémoire d dans le domaine des ondelettes. en se basant sur trois estimateurs de la variance des coefficients d'ondelettes à une échelle. La contribution majeure de ce chapitre est le théorème central limite obtenu pour les trois estimateurs de d dans le cadre des processus gaussiens M(d).

Cette thèse est consacrée à l'utilisation des ondelettes dans deux domaines à savoir la construction de bases sur l'intervalle et l'estimation du paramètre de longue mémoire par transformée (discrète) d'ondelettes. Dans un premier volet Nous présentons des constructions générales d'analyses multirésolution orthogonales (par une méthode directe) et biorthogonale sur l'intervalle (par la méthode d'intégration et de dérivation) .Comme applications, on étudie les espaces de Sobolev $H^{s}([0,1])$ et $H^{s}_{0}([0,1])$ pour $s\in\mathbb{N}$ . Le second volet est consacré à l'estimation du paramètre de longues ondelettes (non issues d'une analyse multirésolution) dans un cadre semi paramétrique. Les processus stationnaires à longue mémoire considérés sont du type gaussien puis linéaire. Pour chaque type de processus, on construit un estimateur adaptatif vérifiant un théorème limite central à vitesse de convergence au sens du minimax (à un logarithme prés). Les qualités statistiques de ces estimateurs (robustesses et consistances) sont vérifiées par des simulations et enfin un test d'adéquation est établi (considéré comme un test de longue mémoire dans le cas linéaire).