La problématique abordée dans ce travail est celle de la gestion mémoire automatique pour des programmes Java temps-réel embarqués. Dans des langages comme le C ou le C++, la mémoire est typiquement gérée explicitement par le programmeur, ce qui est la source de nombreuses erreurs d'exécution causées par des manipulations hasardeuses. Le coût de correction de telles erreurs est très important car ces erreurs sont rarement reproductibles et donc difficiles à appréhender. En Java la gestion mémoire est entièrement automatique, ce qui facilite considérablement le développement. Cependant, les techniques classiques de recyclage de la mémoire, typiquement basées sur l'utilisation d'un ramasse-miettes, sont souvent considérées comme inapplicables dans le contexte des applications temps-réel embarquées, car il est très difficile de prédire leur temps de réponse. Cette incompatibilité est un frein important à l'adoption de langages de haut niveau comme Java dans ce domaine.<br />Pour résoudre le problème de la prévisibilité du temps d'exécution des opérations mémoire, nous proposons une approche fondée sur l'utilisation d'un modèle mémoire en régions. Cette technique, en groupant physiquement les objets de durées de vie similaires dans des zones gérées d'un seul bloc, offre en effet un comportement temporel prévisible. Afin de décider du placement des objets dans les différentes régions, nous proposons un algorithme d'analyse statique qui calcule une approximation des relations de connexion entre les objets. Chaque structure de données est ainsi placée dans une région distincte. L'analyse renvoie également au programmeur des informations sur le comportement mémoire du programme, de façon à le guider vers un style de programmation propice à la gestion mémoire en régions, tout en pesant le moins possible sur le développement. <br />Nous avons implanté un gestionnaire mémoire automatique en régions dans la machine virtuelle JITS destinée aux systèmes embarqués à faibles ressources. Les résultats expérimentaux ont montré que notre approche permet dans la plupart des cas de recycler la mémoire de façon satisfaisante, tout en présentant un comportement temporel prévisible. Le cas échéant, l'analyse statique indique au développeur quels sont les points problématiques dans le code, afin de l'aider à améliorer son programme.

La transformation martensitique thermoélastique apparaissant dans les alliages à mémoire de forme (AMF) de type Nickel-Titane (NiTi) est un mécanisme de déformation conférant à ces matériaux des propriétés remarquables de plus en plus utilisées. Les forts phénomènes de localisation des déformations lors d'essais de traction superélastique remettent en cause l'utilisation de cet essai pour bâtir des lois de comportement, alors que d'autres essais comme la torsion et le cisaillement apparaissent comme plus homogènes.<br />Ce travail de thèse est dédié à l'analyse des mécanismes de déformation des AMF NiTi. Les comportements homogènes et localisés ont été étudiés en fonction des géométries d'échantillons, des types de sollicitations et des conditions d'essais. L'originalité de cette étude est d'utiliser deux méthodes de mesures de champs : (i) la corrélation d'images afin d'obtenir les champs cinématiques et d'observer les localisations de déformation ; (ii) la thermographie infrarouge pour mesurer les champs de température et analyser les phénomènes de changement de phase. Afin d'utiliser ces techniques simultanément, des outils de recalage spatial et temporel des données ainsi que des techniques d'estimation de sources de chaleur ont été développés. Lors d'essais superélastiques, cette étude a permis d'une part de mettre en évidence la présence de changement(s) de phase homogène en début de charge et de décharge, d'autre part de caractériser de manière quantitative les différentes morphologies de localisation. Les outils développés sont une première tentative pour disposer, à l'issue de ce travail, d'une DSC locale sous chargements mécaniques.

Résumé : Les Alliages à Mémoire de Forme (AMF) présentent un comportement très différent des matériaux habituels. Leurs propriétés exceptionnelles, comme l'effet mémoire et la superélasticité, sont étroitement associées aux caractéristiques de la transformation martensitique dans ces alliages. Les évolutions microstructurale associés à cette transformation jouent un rôle considérable sur la nature des propriétés macroscopiques observées. La caractérisation fine de ces évolutions constitue un enjeu important dans la compréhension des interactions entre microstructure et propriétés. Dans ce contexte, ce travail expérimental, réalisé sur un AMF superélastique de type CuAlBe, montre que les techniques de diffractions aux grands instruments permettent de réaliser des analyses microstructurales sur une très large gamme d'échelle. Cette approche d'analyses multiéchelles in-situ a permis d'obtenir plusieurs résultats marquants. A l'échelle macroscopique et grâce à la diffraction de neutron à l'ILL, la contribution associée à la présence de martensite stabilisée et celle liée à la déformation plastique a été déterminée au cours de cycles successifs. Une conséquence importante de cette détermination a été d'établir que dans les AMF, l'élargissement des raies de diffraction, observé au cours des chargements, a pour origine principale un mécanisme d'augmentation des hétérogénéités intragranulaires, un mécanisme directement lié à la transformation de phase. Les analyses réalisées aux échelles fines ont permis de mettre en évidence ce mécanisme particulier. Ainsi l'utilisation du microscope 3DXRD et de la microdiffraction Laue à l'ESRF, a montré que la transformation martensitique s'accompagne d'une rotation non négligeable du réseau cristallin de l'austénite à l'échelle du grain dans le polycristal et d'une fragmentation de l'austénite en plusieurs sous-domaines d'orientation différente. Ce mécanisme est largement réversible avec la transformation inverse.

La plupart des protocoles de stockage quantique de l'information reposent sur l'enregistrement d'un signal lumineux dans une superposition d'états de longue durée de vie. L'élément clé pour réaliser un tel enregistrement est un système atomique à 3 niveaux en Lambda, où deux sous-niveaux fondamentaux sont couplés optiquement à un même niveau supérieur. L'excitation optique est alors stockée dans une superposition des deux sous-niveaux fondamentaux. Les cristaux dopés aux ions de terre rare sont des candidats prometteurs pour ces applications, car ils présentent des durées de vie des cohérences optiques et hyperfines particulièrement longues. Cette thèse est consacrée à l'étude de l'ion thulium, un ion de terre rare non-Kramers, comme alternative aux ions Pr et Eu qui ont longtemps été considérés comme étant les seuls candidats possibles pour la réalisation d'une mémoire quantique. Grâce à son spin nucléaire 1/2, le thulium présente une structure de sous-niveaux Zeeman nucléaires particulièrement simple, dont l'espacement peut être aisément contrôlé à l'aide d'un champ magnétique externe. De plus, la longueur d'onde d'absorption du thulium à 793 nm est accessible aux lasers à semi-conducteurs qui peuvent être facilement stabilisés en dessous du kHz. Au cours de cette thèse, nous avons construit un système à 3 niveaux en Lambda dans le Tm:YAG. Nous avons également mis en oeuvre des processus cohérents permettant de manipuler optiquement un état de superposition de spin nucléaire, comme les échos Raman et le STIRAP. L'ensemble des résultats obtenus montrent que le thulium est un bon candidat pour la démonstration de certains protocoles de mémoire quantique.

L'évaluation de performances est primordiale pour la conception et le développement des systèmes informatiques. Ces derniers sont de plus en plus complexes et leur modèle sont de plus en plus gros. Pour résoudre ces modèles sur un calculateur, nous sommes confrontes a deux problèmes: la capacité mémoire et la rapidité avec laquelle on résout ces modèles. L'avènement des calculateurs parallèles constitue une bonne opportunité pour résoudre ces deux problèmes. Dans cette thèse, nous allons mettre en service le parallélisme pour résoudre les problèmes de l'évaluation de performance. Dans le cadre du calcul parallèle, nous abordons un probleme essentiel qui est le cout des communications dans les machines a mémoires distribuées. Une autre composante importante en parallélisme est le placement des données. Nous verrons l'impact de différents placements de données pour effectuer le produit vecteur-matrice qui constitue la brique de base des méthodes numériques itératives pour résoudre les modèles. Nous proposons des schémas itératives pour résoudre les problèmes markoviens. D'autre part, nous avons développe une parallélisation du solveur de modèles issus des réseaux d'automates stochastiques. En résolvant des problèmes de placement de taches et en réduisant le cout des communications, cette parallélisation nous permet de traiter des modèles de l'ordre de plusieurs millions d'états en un temps de calcul raisonnable

Nous étudions la mise en œuvre d'algorithmes parallèles sur des ordinateurs a mémoire distribuée. A travers plusieurs exemples issus de la programmation dynamique, de l'algèbre linéaire et du traitement d'images, nous exposons les problèmes lies a la programmation de ces machines: topologie d'interconnexion, stratégie d'allocation des données, équilibrage des calculs et minimisation du volume de communication inter-processeurs. Les exemples étudiés sont pour la plupart des algorithmes séquentiels couteux en temps de calcul et en place mémoire, et pour lesquels il est très intéressant d'avoir une parallélisation efficace. Nous avons choisi des problèmes dont l'implémentation sur des machines a mémoire distribuée n'est pas aisée, essentiellement a cause de la grande interdépendance entre les différentes taches composant les algorithmes

L'objet de cette étude est la conception d'une mémoire statique intégrée sur tranche (4.5 mbits). Cette mémoire réalisée à partir de cellules de 64kbits est tolérante aux défauts de fin de fabrication. Des éléments en réserve remplacent les éléments défectueux à l'aide des connexions du type grille flottante fets ou fusible et antifusible. Le travail de recherche a consisté:<br />-à étudier la faisabilité de cette mémoire<br />-à définir l'architecture d'une telle mémoire en tenant compte du rendement<br />-à définir une stratégie de test pour l'ensemble du circuit<br />-à étudier les dispositifs de connexion/déconnexion qui permettront de réaliser physiquement la mémoire finale -à développer des algorithmes de configuration qui détermineront les groupes de cellules en paquets de 256kbits. <br />Ce travail a été réalisé dans le cadre du projet Esprit-824. Un premier essai de fabrication a permis de caractériser les dispositifs de connexion. La mémoire de 4.5 mbits a été envoyée en fabrication fin 1987

Complexité en temps du calcul du produit matriciel sur la classe des réseaux rectangulaires. Algorithmes systoliques pour la multiplication de deux matrices. Détection en temps linéaire des carres d'un mot par des réseaux systoliques.

On décrit à travers un exemple simple un probleme de gestion des ressources décrites par l'utilisateur. Cet exemple permet de mettre en évidence deux caractéristiques peu habituelles dans les problèmes de gestion des ressources. On propose une technique de contrôle du parallélisme qui tient compte des caractéristiques citées. On considère un environnement reparti ou les accès à une ressource peuvent être demandés à partir des sites autres que celui où la ressource est implémentée. On décrit le fonctionnement de la proposition dans cet environnement ainsi qu'un ensemble d'outils suffisants pour la mettre en œuvre.

.