Search

Le but du projet présenté dans ce mémoire a été de réaliser un système de transfert de fichier multilatéral entre machines hétérogènes baptisé FTS-NTFTP, à base du système de communication SEMS SCS2, utilisant le protocole ECMA/72 pour le compte de la CEE. À terme l'objectif de la CEE est de pouvoir effectuer des transferts de fichiers entre les ordinateurs des différents constructeurs ayant retenu ce standard, interconnectés soit par son propre réseau à communication de paquet, ou part d'autres réseaux de même type (Transpac, Euronet, Luxpac, DCS,...). Nous allons d'abord exposer le protocole NIFTP dans son ensemble et le situer par rapport aux principaux standards de transferts de fichiers existants. Dans un second temps, nous décrirons les deux étapes de son implémentation sur machine SEMS en insistant sur la réalisation du module gestion du protocole qui a constitué la majeur partie de ma contribution au projet.

Ce mémoire a été réalisé dans le cadre du projet ESPRIT (European Strategic Program for Research and development in Information Technologies). L'objectif général est de mettre en place un réseau d'échange d'information entre les centres de recherches qui coopèrent au sein de la communauté Européenne avec une ouverture vers les grands réseaux extérieurs en particuliers américains. Ce réseau a comme support un environnement UNIX et il doit respecter les normes définies par l'ISO en matière d'interconnexion de systèmes ouverts. Dans les chapitres 4 et 5 de ce mémoire nous détaillerons la partie implémentation du protocole HDLC d'une part dans un coupleur programmable et d'autre part dans le noyau du système UNIX sur un mini 6.

Le travail présenté dans ce mémoire est une synthèse actuelle des phases de définition et de réalisation du « coupleur réseau FACTOR ». À cet effet, ce mémoire est structuré de la manière suivante. La première partie est consacrée à une présentation générale des réseaux locaux, leurs fonctionnalités, leurs domaines d'applications, le contexte de normalisation internationale en matière de réseaux locaux. La deuxième présente l'offre réseau de TELEMACANIQUE et le réseau FACTOR de la société APSIS. La troisième partie est une description du coupleur réseau FACTOR, ses fonctionnalités, son architecture matérielle et logicielle. La quatrième partie, avant de conclure, fait état des évolutions fonctionnelles possibles du produit FACTOR.

LOTOS (Language Of Temporal Ordering Specification) is a language forthe description of concurrent and communicating systems, standardized by ISOand CCITT to allow formal definition of telecommunication protocols andservices. LOTOS is based on algebraic abstract types to specify data structuresand on a process calculus, close to CSP and CCS, to express control structures. This thesis proposes a compiling technique which allows to translatea significant subset of LOTOS into both interpreted Petri nets (which may serve as a basis for executable code generation) and finite state automata (which allow formal validation of LOTOS programs, either by reduction andcomparison according to equivalence relations, or by evaluation of temporallogics formulas). The method is different from existing approaches, based on termrewriting, that directly build the state graph corresponding to a given LOTOSprogram. Conversely, translation is achieved by three successive steps(expansion, generation and simulation) dealing with intermediate semanticmodels (namely SUBLOTOS language and networks). It involves a static and global analysis of program behaviours. It can handledata structures, that have to be compiled by already known algorithms. These compiling principles are fully implemented in the software toolCAESAR. Its demonstrated performances confirm the interest of the approach, LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systemes paralleles communicants, normalise par l'ISO et le CCITT afin de permettre la definition formelle des protocoles et des servicesde telecommunications. Le langage utilise des types abstraits algebriques pourspecifier les donnees et un calcul de processus proche de CSP et CCS pourexprimer le controle. Cette these propose une technique de compilation permettant de traduire un sous-ensemble significatif de LOTOS vers un modele reseau de Petriinterprete (pouvant servir a produire du code executable) puis vers unmodele automate d'etats finis (permettant la verification formelle de programmesLOTOS soit par reduction ou comparaison modulo des relations d'equivalence, soitpar evaluation de formules de logiques temporelles). La methode employee differe des approches usuelles basees sur lareecriture de termes, qui construisent directement le graphe d'etatscorrespondant a un programme LOTOS. Ici au contraire la traduction est effectuee en trois etapes successives(expansion, generation et simulation) s'appuyant sur des modeles semantiquesintermediaires (le langage SUBLOTOS et le modele reseau). Elle met en oeuvreune analyse statique globale du comportement des programmes. Elle prend en compte les donnees, celles-ci devant etre compileesau moyen dalgorithmes deja existants. Ces principes de compilation ont ete entierement implementes dansle logiciel CAESAR. Les performances obtenues confirment l'interet de la methode.

Le développement de l'informatique pose de façon nouvelle le problème de l'adaptation des outils fournis par les ordinateurs aux désirs des utilisateurs. A la notion d'outil d'emploi souvent trop technique doit se substituer la notion de service ou application qui permet aux utilisateurs d'ignorer le mode de fonctionnement interne du système auquel ils accèdent. Le centre de calcul reparti: objectifs, présentation du centre de calcul reparti. Les langages de commande: langage de commande externe, langage de commande interne, interprétation des langages. Les protocoles: les voies logiques de communication, protocole ordinateur connecte, protocoles Cyclades., No abstract

Peut-on élaborer un protocole de traduction de la poésie ? Le présent article examine cette question à partir d’analyses contrastives de poèmes d’Emily Dickinson et de certaines de leurs traductions françaises. La tentative d’édification de règles globales dans le transcodage poétique se heurte à la résistance de la langue poétique à toute fixation sémantique, comme en atteste l’idiolecte dickinsonien, plurivoque, voire opaque, riche en néologismes, en jeux syntaxiques et référentiels. On peut toutefois mettre en oeuvre des stratégies ponctuelles pour rendre certains aspects du lexique et de la prosodie. Mais de tels procédés laissent de côté le socle figural de la langue poétique : la métaphore. Témoignant d’un rapport dialectique entre le sujet parlant – le « je » poétique – et le monde, entre les représentations propres à ce sujet et celles que les conventions socio-culturelles inscrivent dans des dénominations figées, la métaphore invite à redéfinir la notion de protocole de traduction poétique en termes de « dispositif dialogique » privilégiant la mise en tension du sens dans la traduction., Can a translation protocol be implemented for poetry? This paper scrutinizes this question from a set of contrastive analyses of poems by Emily Dickinson and some of their French translations. The attempt to set up global rules in the transcoding of poetry is thwarted by the nature of poetic language which resists semantic fixation, as evinced in Dickinson’s idiolect, plurivocal or even opaque, rich in neologisms, syntactic and referential games. However, specific strategies can be worked out to translate lexical and prosodic features. But such strategies don’t apply to the figural core of poetic language, namely metaphors. Testifying to a dialectic relationship between the speaker – the poetic persona – and the world, between the speaker’s representations and those shaped in fixed designations by socio-cultural conventions, metaphors invite us to redefine the notion of a translation protocol for poetry in terms of a “dialogical device” which puts forward semantic tension in the translation process.

Introduction : Le manque d’activité physique est actuellement devenu une priorité sanitaire car cela influence de nombreuses pathologies. L’actimétrie est un moyen d’objectivation de l’activité physique. Elle s’invite progressivement dans le quotidien de la population via des bracelets connectés comptant le nombre de pas, la dépense énergétique ou le temps de sommeil. Le nombre et les performances de ces outils est en augmentation, ouvrant de nouveaux horizons en matière de monitorage ou du suivi de l’activité. But : Création d’un protocole portant sur la validation d’un actimètre, le « Jawbone UP3® ». Objectifs: Primaire : Validation du podomètre du « Jawbone UP3® » chez l’adulte sain face au podomètre du « Senswear Armband Pro2® ». Secondaires : Validation de la mesure du temps de sommeil réalisée par le « Jawbone UP3® » face au « Senswear Armband Pro2® » ; Validation de la mesure de la dépense énergétique par le « Jawbone UP3® » face à un test de calorimétrie stable sur cycloergomètre ; Déterminer la durée minimale de port nécessaire afin d’obtenir des mesures représentatives de la semaine type du sujet, en ce qui concerne le nombre de pas par jour. Nombre de sujets nécessaires : 78 patients. Lieu de l’étude : HESAV et CHUV, département de l’Appareil locomoteur, Médecine du Sport Déroulement de l’étude : Après la visite de pré-inclusion, les sujets débuteront l’étude de 9 jours lors de la visite d’inclusion après avoir donné leur consentement écrit.

L’objectif de notre travail est de mettre en évidence la manière dont les protocoles sont employés dans les services de radiologie ainsi que les facteurs qui peuvent influencer leur utilisation. Pour réaliser notre recherche, nous avons effectué des entretiens dans les trois domaines de la radiologie, à savoir la radio-oncologie, la médecine nucléaire ainsi que le radiodiagnostic pour identifier les différentes pratiques. L’analyse des entretiens a permis de mettre en évidence le rôle et l’importance des protocoles pour les TRM quel que soit le domaine. Nous avons également pu évaluer l’influence du contexte sur la pratique du technicien. Les éléments principaux sont l’institution, les médecins radiologues et les patients. L’autonomie et la responsabilité des TRM sont deux sujets qui ont émergé au long de notre recherche et qui ont eux aussi leur poids sur la manière d’utiliser les protocoles en radiologie.