471 |
Conception et réalisation d'un service de stockage fiable et extensible pour un système réparti à objets persistantsKnaff, Alain 21 October 1996 (has links) (PDF)
Cette thèse décrit la conception et la mise en oeuvre d'un service de stockage fiable et extensible. Les travaux ont été faits dans le cadre de Sirac, un système réparti à objets persistants. L'objectif de Sirac est de fournir des services pour le support d'objets persistants répartis et pour la construction d'applications réparties. Les deux idées qui ont dirigé cette étude sont la souplesse des services offerts et la coopération entre les sous-systèmes. La souplesse, rendue possible par la conception modulaire du système, améliore les performances, étant donné que les applications doivent seulement payer le prix des services qu'elles utilisent. La coopération (par exemple entre le stockage et la pagination) permet aux différents modules de prendre des décisions en connaissance de cause. La thèse présente dans le second chapitre un état de l'art en trois parties. La première partie s'attache à étudier la manière dont un grand espace de stockage unique peut être présenté aux applications. La deuxième partie analyse la mise en oeuvre du stockage fiable en étudiant notamment différentes réalisations de l'atomicité. La troisième partie enfin montre comment ces deux aspects sont mariés dans les systèmes modernes. Dans le troisième chapitre, nous faisons un rapide tour d'horizon d'Arias et de ses différents sous-systèmes~: protection, cohérence, synchronisation et stockage. Au sein des différents services, nous distinguons d'un côté des modules génériques de bas niveau, et d'un autre côté des modules spécifiques aux applications. Les modules génériques mettent en oeuvre les mécanismes tandis que les modules spécifiques définissent la politique. Certains sous-systèmes sont toujours présents, comme la gestion de la cohérence et de la synchronisation, alors que d'autres, comme par exemple la gestion de la protection ou la gestion de la permanence, sont optionnels. Dans les quatrième et cinquième chapitres, nous nous concentrons sur le service de stockage. Le service générique de stockage est subdivisé en deux parties~: d'abord un gestionnaire de volume, qui assure la pérennité des données, et puis un service de journalisation, qui assure l'atomicité des transactions. Ce système a été mis en oeuvre au dessus d'AIX, et la coopération entre les différents modules s'appuie sur le mécanisme des streams. Les performances de notre système sont bonnes, et s'approchent des limites imposées par le matériel dans les cas favorables. Les projets futurs incluent la fourniture d'un vaste éventail de protocoles de journalisation spécifiques, le support de volumes dupliqués ainsi que l'optimisation du gestionnaire du volume.
|
472 |
TELA : Structure et algorithmes pour la traduction fondée sur la mémoirePlanas, Emmanuel 07 July 1998 (has links) (PDF)
Cette étude concerne les outils d'aide à la traduction fondée sur la mémoire (OTFM). La première partie offre un état de l'art de ces outils. Il est ensuite expliqué comment les OTFM de première génération, très utiles à l'industrie de la traduction, ne permettent toutefois pas de réaliser correctement certaines opérations basiques. On démontre alors que de ces faiblesses proviennent principalement du type de représentation des données, interne aux OTFM. Deux représentations complémentaires sont alors proposées : une représentation primaire fondée sur XML ou les données sont séquentielles, et une forme analytique composée d'un étagement de treillis liés : la structure "TELAM". Celle-ci permet d'éclater les données selon leur "nature" en autant de treillis. Cette seconde partie se termine par la présentation d'un modèle abstrait pour TELAM, appelé TELA. Une représentation objet d'une part et fondée sur le formalisme XML d'autre part, sont proposées pour TELA. La troisième partie propose des algorithmes pour manipuler les structures TELAM, et evalue leurs complexités statiques et dynamiques. La notion de similitude est proposée pour calculer les proximités de deux segments de traduction par le nombre d'opérations d'édition élementaires nécessaires pour passer de l'un à l'autre. Ces opérations s'appliquent sur chacun des étages des structures TELAM représentant chacun des segments. Deux algorithmes sont proposés à partir des travaux de Wagner et Fisher (1974) : l'algorithme X' pour évaluer la distance d'édition entre deux segments, et l'algorithme Y' pour donner l'une des suites d'opérations élementaires qui font passer de l'un à l'autre. On montre alors comment utiliser les structures TELAM et les algorithmes X' et Y' pour réaliser un nouveau système de traduction fondée sur la mémoire capable d'adapter et composer les unités de traduction. En outre, il devient alors possible de transférer les objets non textuels et la mise en forme depuis le segment d'entrée vers sa traduction.
|
473 |
Un modèle de contrôle d'accès générique et sa réalisation dans la mémoire virtuelle répartie unique AriasJensen, Christian Damsgaard 29 October 1999 (has links) (PDF)
Un système à mémoire virtuelle répartie unique permet l'utilisation des adresses virtuelles comme identificateurs globaux uniques. Il faut donc séparer la résolution des adresses et le contrôle d'accès, parce qu'une adresse virtuelle est potentiellement visible par toute application dans le système. Nous proposons un modèle de contrôle d'accès pour une mémoire virtuelle répartie unique qui se base sur le modèle à capacités cachées. Le modèle se base sur les notions suivantes : la capacité (un droit d'accès simple), le domaine de protection (définit le contexte de protection par l'ensemble des capacités disponibles dans le domaine) et l'appel de changement de domaine (qui permet d'appeler une procédure désignée dans un autre domaine de protection). Deux principes de base sont très importants pour le modèle : l'utilisation des capacités confinées et la délégation contrôlée à travers des interfaces de protection. Les interfaces de protection permettent une séparation entre la spécification de la protection et le code de l'application. L'évaluation de notre modèle indique qu'il permet de réaliser la plupart des modèles de contrôle d'accès existants y compris le modèle mandataire de Bell & LaPadula. Le modèle à capacités cachées a été réalisé dans Arias, une mémoire virtuelle répartie unique conçue et développée au sein du projet SIRAC. Les expériences avec cette réalisation montrent que la séparation entre la spécification de la protection et le code de l'application facilite la réutilisation logicielle et l'évolution de l'application. L'efficacité d'un appel de changement de domaine correspond à celui d'un appel RPC standard.
|
474 |
Mémoire, oubli et imaginaires urbains, étude de deux hauts-lieux de la mémoire communiste à Berlin-Est : le Palais de la République et le Musée de la StasiHocquet, Marie 29 September 2011 (has links) (PDF)
Berlin est une ville qui suscite un nombre impressionnant d'images liées à l'histoire du 20eme siècle. Rares sont les villes qui condensent autant d'empreintes dans lesquelles on peut lire les grands événements qui marquèrent l'Europe et le monde. Sur les ruines du siècle passé, Berlin tente aujourd'hui de s'ériger en capitale allemande, un centre du pouvoir politique et économique, la ville reflet d'une démocratie allemande qui se veut modeste et exemplaire. La chute du Mur est un événement qui, pour ses contemporains, a sans conteste débouché sur une rupture d'intelligibilité. Si elle ouvre de facto de nouvelles perspectives à venir, cette rupture d'intelligibilité n'en préfigure pas moins un rapport radicalement nouveau au passé. En Allemagne réunifiée, et plus particulièrement à Berlin, un vaste travail de réévaluation des passés s'est amorcé, ayant pour objectif de combler de sens la nouvelle donne née de l'événement 1989. Le traitement des hauts-lieux du communisme, qui s'effectue de concert avec un vaste travail sur le passé de la RDA, répond à de multiples exigences qui se déclinent en termes politiques, identitaires et économiques. Il importe à la fois de comprendre comment la construction de récits officiels du passé communiste s'inscrit dans une dynamique globale de constitution et 'inscription de récits nationaux de la nouvelle Allemagne dans l'espace urbain de la capitale, et de porter une attention particulière à la réception de ces reconstructions du passé au sein des "publics" berlinois. Comment des références communes à la RDA se construisent-elles? Et comment, en retour, des récits alternatifs de la ville et de ses passés viennent-ils s'opposer aux interprétations, parfois homogénéisantes, que propose le" Nouveau Berlin"?
|
475 |
Navigation de Robots Mobiles par Mémoire SensorielleCourbon, Jonathan 08 December 2009 (has links) (PDF)
Ce travail de thèse présente un système complet de navigation pour un robot mobile fondé sur une représentation de l'environnement par une mémoire sensorielle. L'objectif de ces travaux est de faire se déplacer un robot d'un lieu à un autre le long de chemins parcourus lors d'une phase d'apprentissage. La structuration de la mémoire sensorielle, constituée de données clés acquises lors de cette phase initiale, est tout d'abord décrite. Nous proposons ensuite des lois de commande permettant le suivi d'une route sensorielle, c'est-à-dire une séquence d'images clés à atteindre successivement et permettant d'aller de l'image correspondant à la localisation initiale du robot à une image cible. Ces lois de commande, basées sur le formalisme de la commande référencée capteurs, prennent en compte les contraintes de déplacement des véhicules considérés: robots à roues non-holonomes et robots aériens de type quadrirotor. Dans le cadre de capteurs visuels omnidirectionels ou grand-angle, nous présentons une approche efficace pour la localisation initiale du robot ainsi que les outils permettant l'estimation de l'état du véhicule nécessaire pour alimenter les lois de commande proposées. Le système complet de navigation a été mis en oeuvre avec une attention particulière portée sur la conception du système de gestion de la mémoire sensorielle. Des applications sur plusieurs types de véhicules et avec des caméras grand-angle ont permis de valider notre approche.
|
476 |
Évaluations automatiques des émotions et sentiments, mémoire sémantique et compréhension de texte : expérimentations et simulationsLeveau, Nicolas 11 July 2011 (has links) (PDF)
Dans cette thèse, nous soutenons l'hypothèse que les caractéristiques émotionnelles d'un énoncé sont contenues au sein de la représentation mentale de celui-ci, l'émergence émotionnelle s'opérant au cours de la lecture partir de la base de texte et des informations en mémoire sémantique. Les émotions dans le langage sont étudiées du point de vue des processus automatiques et stratégiques. Les caractéristiques dimensionnelles et catégorielles des émotions sont considérées. Pour ce qui est de la base de texte, les propriétés émotionnelles de termes publiées en français, anglais, espagnol, italien, allemand et finnois se sont révélées être très similaires, confortant l'intérêt de considérer la représentation mentale comme objet d'étude plutôt que le lexème. Aussi, dans EMOVAL, l'utilisation de ces normes pour caractériser des énoncés s'est révélée fructueuse. Pour ce qui est des connaissances, deux modèles connexionnistes de la représentation sémantique sont étudiés : l'analyse de la sémantique latente - LSA (Landauer & Dumais, 1997) comme modèle statistique, et le modèle Topic (Griffiths, Steyvers & Tennebaum, 2007) comme modèle probabiliste. Premièrement, l'existence de variables latentes émotionnellement différenciées a été mise en évidence grâce au modèle Topic. Deuxièmement, les relations sémantiques entre émotions, calculées à l'aide de LSA, se sont révélées significativement corrélées avec les jugements de similitudes entre termes émotionnels. Troisièmement, dans EMOSEM, les caractéristiques émotionnelles d'un corpus de textes ont pu être identifiées, tant du point de vue de leur appartenance à une émotion, que de l'intensité de l'expression de cette émotion.
|
477 |
Du scripturaire à l'indiciel : texte, photographie, documentMerzeau, Louise 15 January 1993 (has links) (PDF)
C'est avec l'apparition de la photographie que coïncident les premières fractures d'un ordre symbolique où se joue l'autorité médiologique du texte. Matrice et symptôme d'un paradigme indiciel qui modifie notre expérience de la présence, de la mémoire et de l'altérité, la photographie inaugure une nouvelle économie des traces, qui ne s'est pas seulement déployée en marge du scripturaire, mais aussi de l'intérieur.
|
478 |
La rédaction d' À la recherche du temps perdu ou l'illusion de la perteTanguy, Béatrix 07 July 2011 (has links) (PDF)
Notre travail a cherché ce qui pouvait distinguer l'oeuvre de la création. La création serait un temps singulier du sujet, quand l'oeuvre tenterait quant à elle de mettre à distance ce qui a surgi, laissant le sujet dans une vérité hors sens. Cette vérité du sujet le confronte à la question de la perte, point d'horreur de la castration pour lequel l'oeuvre tente, dans une mise au travail sans fin, de maintenir le sujet arrimé à la chaîne signifiante, dans laquelle le signifiant manquant se dérobe au sujet parlant : ce réel de l'objet non pas perdu, mais à retrouver. Nous avons tenté de cerner le temps du deuil sans fin, dont le premier acte se joue en 1903, à la mort d'Adrien Proust. Marcel, sur l'injonction de sa mère et au nom du père, donne le manuscrit de la Bible d'Amiens à la publication. Le livre est un trait d'union entre mère et fils et interroge ce qui, de n'être pas perdu, rend la séparation impossible. Deux ans plus tard, à la mort de sa mère, c'est dans un hôtel proche de Versailles (l'hôtel des Réservoirs) où il se réfugie sous le prétexte d'un déménagement, qu'isolé de tout, il annonce son renoncement à écrire. Il fait le choix d'un lieu sans mémoire, comme l'exprime sa correspondance. Paradoxalement, c'est le moment où, commençant à rédiger " sur les carnets ", il inaugure celui de 1908. Ce dernier et les autres restent aujourd'hui la trace de l'oeuvre inachevée. Ce qui n'est pas perdu se répète et engage l'être en position de signifiant. L'écriture de l'oeuvre imaginaire en témoigne : " moi je dis que la loi cruelle de l'art est que les êtres meurent et que nous-mêmes mourions en épuisant toutes les souffrances, pour que pousse l'herbe non de l'oubli, mais de la vie éternelle, l'herbe drue des oeuvres fécondes, sur laquelle les générations viendront faire gaiement, sans souci de ceux qui dorment en dessous, leur "déjeuner sur l'herbe" "1. Le principe de réalité viendrait recouvrir l'horreur de cette perte impossible et la construction de l'oeuvre serait, pour le sujet, une tentative de border ce qui hors d'elle, le contraint à disparaître. L'oeuvre écrite pour l'artiste nie la destruction du temps et se distingue du processus créatif pour le sujet, dont le désir est hors temps.
|
479 |
Calcul asymptotique lié à l'étude de certains processus stochastiquesHerrmann, Samuel 30 November 2009 (has links) (PDF)
Ce document de synthèse présente différents travaux de recherche centrés sur le comportement asymptotique de processus stochastiques. Ces travaux analysent des équations différentielles stochastiques ou des systèmes d'EDS dirigés par des mouvements browniens. Ils font effectivement appel au calcul asymptotique: dans les questions posées, il s'agit bien souvent de considérer la limite d'un paramètre du système dynamique. Cela peut être: le coefficient de diffusion qui tend vers $0$, le temps qui croît à l'infini, le nombre de particules dans un système de particules en interaction qui tend vers l'infini, le pas de temps d'une marche aléatoire qui tend vers $0$. Les techniques utilisées sont donc spécifiques à ces passages à la limite: grandes déviations, estimation d'intégrales par la méthode de Laplace, limite de McKean-Vlasov, propagation du chaos, critère de tension des lois de processus, décomposition spectrale des semi-groupes.
|
480 |
Implémentation de techniques de linéarisation et d'amélioration du rendement pour les amplificateurs de puissance RFCesari, Albert 19 September 2008 (has links) (PDF)
L'antagonisme entre la capacité d'émission d'informations haut débit (linéarité) et le rendement énergétique, dans le contexte des émetteurs radio, est l'axe des travaux de cette thèse. Nous proposons une architecture matérielle basé sur circuits FPGA1 pour l'implémentation de fonctionnalités de prédistorsion numérique (DPD) pour la linéarisation d'amplificateurs RF. Nous articulons nos approches à partir de la séparation entre les processus de prédistorsion et d'adaptation. Ainsi, nous pouvons proposer une structure matérielle -le BPC2 ou Cellule Basique de Predistorsion- bien adaptée pour l'implémentation du module de prédistorsion. Le module de prédistorsion basé sur BPC peut être reconfigurable au besoin, et, en plus, il reste indépendant de la méthodologie particulière de dérivation de la fonction de prédistorsion. Afin d'effectuer des validations, deux prototypes permettant de tester des stratégies de prédistorsion performantes et novatrices ont été mis en oeuvre. Dans un premier temps, nous avons implémenté un système DPD basé sur la théorie des systèmes hyperstables sur une plateforme mixte FPGA/DSP3. En complément des résultats expérimentaux, nous rentrons dans le détail des fonc- tions complémentaires à la prédistorsion et l'adaptation nécessaires pour produire la prédistorsion. Le deuxième prototype adresse la linéarisation et la compensation des e®ets mémoire de l'amplificateur RF. Nous présentons et validons expérimentalement une structure de prédistorsion du type NARMA4, implémentée au moyen d'un réseau de cellules BPC. Au passage, nous étudions la consommation de la prédistorsion et son impact sur le rendement. Si l'utilisation de la prédistorsion s'avére inévitable pour contrer les effets mémoire, nous proposons de dégrader la Classe de l'am- plificateur, dans le but d'obtenir un émetteur aussi linéaire mais plus performant énergétiquement. Finalement, au delà de la prédistorsion seule, nous proposons, analysons et va- lidons expérimentalement un sys tème de prédistorsion + commande dynamique de l'alimentation de l'amplificateur RF. La structure de traitement du signal numérique développée, permet de : 1/prédistordre le signal et 2/commander des modulateurs d'amplitude lents (par rapport à la largeur de bande de l'application cible, mais ayant de forts rendements de conversion). L'inclusion de capacités de pilotage de l'alimentation autour de la prédistorsion s'avère peu coûteuse et permet d'atteindre des rendements améliorés sans perte de linéarité.
|
Page generated in 0.0372 seconds