No description available.

Textiles have always been one of the essential materials for people and have a great variety of uses such as in clothing, agriculture, medical, automotive and aerospace applications. The sort of properties needed for any type of fabric basically depend on the structure of the fibre surface. Of many geometric attributes that can be used to describe the surface appearance of a fibre, yarn, or fabric sample, one of the more common is lustre. Mohair and wool fibre surface structure have been studied using optical microscopy and Atomic Force Microscopy (AFM). Optical microscopy was also used to take fibre diameter measurements. Another technique, goniophotometry, was used to make quantitative lustre measurements of mohair and wool fibres. The surface structure of mohair has got a faint pattern of scales where the scales are generally unpronounced or flat and relatively long. Wool has got a scaly surface structure where the scales overlap leading to interlocking of fibres. The scale configuration on the surface of mohair and wool fibres also differs. A qualitative connection between fibre lustre and the fibre surface structure was found. Because of its smooth surface relative to that of wool, mohair reflects a greater amount of incident light specularly whereas wool reflects most of the incident light diffusely. In general, mohair fibres have a higher lustre than wool due to its less prominent cuticle structure found on its surface. Furthermore, mohair fibres with the smallest diameters give an even higher lustre.

Th. univ.--Sci.--Paris 11-Orsay, 1994. / Bibliogr. p. 145-149. Résumé en anglais et en français.

Les neurones biologiques communiquent par le biais d’impulsions électriques, appelées spikes, et les fonctions cérébrales émergent notamment de la coordination entre les réceptions et émissions de ces spikes. Par ailleurs, il est largement admis que la fonction de chaque neurone dépend de sa morphologie. Les dendrites conditionnent l’intégration spatio-temporelle des spikes reçus et influent sur les temps d’occurrence des spikes émis. Elles sont donc fondamentales pour l’étude in silico des mécanismes de coordination, et en particulier pour l’étude des assemblées de neurones. Les modèles de neurones existants prenant en compte les dendrites, sont généralement des modèles mathématiques détaillés, souvent à base d’équations différentielles, dont la simulation nécessite des ressources de calculs importantes. De plus, leur complexité intrinsèque rend difficile l’analyse et les preuves sur ces modèles. Dans cette thèse, nous proposons un modèle de neurone intégrant des dendrites d’une manière abstraite. Dans l’objectif d’ouvrir la porte aux méthodes formelles, nous établissons une définition rigoureuse du cadre de modélisation et mettons en évidence des propriétés algébriques remarquables de l’intégration dendritique. Nous avons notamment démontré qu’il est possible de réduire la structure d’un neurone en préservant sa fonction d’entrée/sortie. Nous avons ainsi révélé des classes d’équivalence dont nous savons déterminer un représentant canonique. En s’appuyant sur la théorie des catégories et par des morphismes de neurones judicieusement définis, nous avons ensuite analysé plus finement ces classes d’équivalence. Un résultat surprenant découle de ces propriétés : un simple ajout de délais dans les modèles informatiques de neurones permet de prendre en compte une intégration dendritique abstraite, sans représenter explicitement la structure arborescente des dendrites. À la racine de l’arborescence dendritique, la modélisation du soma contient inévitablement une équation différentielle lorsque l’on souhaite préserver l’essence du fonctionnement biologique. Ceci impose de combiner une vision analytique avec la vision algébrique. Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking. Globalement, nous apportons dans cette thèse un premier pas encourageant vers une formalisation complète des neurones, avec des propriétés remarquables sur l’intégration dendritique. / Biological neurons communicate by means of electrical impulses, called spikes. Brain functions emerge notably from reception and emission coordination between those spikes. Furthermore, it is widely accepted that the function of each neuron depends on its morphology. In particular, dendrites perform the spatio-temporal integration of received spikes and affect the occurrence of emitted spikes. Dendrites are therefore fundamental for in silico studies of coordination mechanisms, and especially for the study of so-called neuron assemblies. Most of existing neuron models taking into account dendrites are detailed mathematical models, usually based on differential equations, whose simulations require significant computing resources. Moreover, their intrinsic complexity makes difficult the analysis and proofs on such models. In this thesis, we propose an abstract neuron model integrating dendrites. In order to pave the way to formal methods, we establish a rigorous definition of the modeling framework and highlight remarkable algebraic properties of dendritic integration. In particular, we have demonstrated that it is possible to reduce a neuron structure while preserving its input/output function. We have thus revealed equivalence classes with a canonical representative. Based on category theory and thanks to properly defined neuron morphisms, we then analyzed these equivalence classes in more details. A surprising result derives from these properties: simply adding delays in neuron computational models is sufficient to represent an abstract dendritic integration, without explicit tree structure representation of dendrites. At the root of the dendritic tree, soma modeling inevitably contains a differential equation in order to preserve the biological functioning essence. This requires combining an analytical vision with the algebraic vision. Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking. All in all, we bring in this thesis an encouraging first step towards a complete neuron formalization, with remarkable properties on dendritic integration.

L'architecture massivement parallèle étudiée dans cette thèse tente d'associer un fonctionnement de type mimd a des unités de calcul de petite taille, contrairement a ce qui se fait traditionnellement, afin de rendre possible la réalisation de machines de très grande échelle. Elle se situe dans la continuité des machines de type réseau cellulaire étudiées au sein du groupe circuits du LGI (asynchrones, topologie en grille 2d, communication par passage de message) mais dans une optique non dédiée. Cette vocation généraliste pose le probleme du dimensionnement relatif des éléments (processeur, routeur, mémoire) qui doit concilier économie et fonctionnalité. A la lumière d'une approche expérimentale par simulations, le mécanisme de transfert de message parallèle utilise jusqu'alors apparait comme surdimensionne et trop exigeant d'un point de vue connectique. Des solutions plus réalistes (wormhole multiplexe, bus intra-chip) sont présentées et montrées comme suffisamment puissantes. L'étude d'un certain nombre de programmes d'exemples a permis d'une part d'améliorer de façon significative le jeu d'instructions et de valider un ensemble de primitives de communication simples, d'autre part de montrer que l'implémentation d'algorithmes de natures très variées était possible

To explore the feasibility of processing Compact Muon Solenoid (CMS) analysis jobs across the wide area network, the FIU CMS Tier-3 center and the Florida CMS Tier-2 center designed a remote data access strategy. A Kerberized Lustre test bed was installed at the Tier-2 with the design to provide storage resources to private-facing worker nodes at the Tier-3. However, the Kerberos security layer is not capable of authenticating resources behind a private network. As a remedy, an xrootd server on a public-facing node at the Tier-3 was installed to export the file system to the private-facing worker nodes. We report the performance of CMS analysis jobs processed by the Tier-3 worker nodes accessing data from a Kerberized Lustre file. The processing performance of this configuration is benchmarked against a direct connection to the Lustre file system, and separately, where the xrootd server is near the Lustre file system.

O trabalho aqui proposto consiste na realização de uma leitura de O Lustre, de Clarice Lispector, publicado em 1946 e uma de suas obras menos estudadas pela crítica. O segundo romance da autora narra a história de Virgínia, moça do campo que cresce no casarão da família, localizado nas terras de Granja Quieta. Após atingir a idade adulta, a personagem parte para a cidade grande. Nosso foco está em estudar aspectos da configuração de Virgínia que persistem e são retomados, ao longo do enredo, por meio de sonhos, devaneios e lembranças, com especial atenção para os traços do passado que retornam e permanecem, com alterações, no presente. Nessa direção, quando a estrutura do texto permitir, aspectos teóricos da psicanálise, analogicamente, serão de grande valia para sua interpretação. Além disso, outras questões importantes e recorrentes na obra de Clarice Lispector serão abordadas, tais como a morte, a infância, o desejo e, no que diz respeito à estrutura da narrativa, o modo como o narrador muitas vezes assume o ponto de vista da personagem, confundindo-se com ela. / This research aims to analyse O lustre, by Clarice Lispector, published in 1946 and one of her works less studied by critics. The authors second novel tells the story of Virginia a countryside girl who grows up in the family mansion, located in the grounds of Granja Quieta. After reaching adulthood, the character part to the big city. Our focus is on studying aspects of Virginias configuration that persist and are retaken along the plot, through dreams, daydreams and memories, with special attention to the traces of the past that return and remain, with changes, in the present. In this direction, when the structure of the text permits, theoretical aspects of psychoanalysis, by analogy, will be of great value for its interpretation. In addition, other important and recurring issues in the Clarice Lispectors work will be addressed, such as death, childhood, desire and, concerning the narrative structure, the way the narrator often takes the point of view of character, confusing himself with her.

O trabalho aqui proposto consiste na realização de uma leitura de O Lustre, de Clarice Lispector, publicado em 1946 e uma de suas obras menos estudadas pela crítica. O segundo romance da autora narra a história de Virgínia, moça do campo que cresce no casarão da família, localizado nas terras de Granja Quieta. Após atingir a idade adulta, a personagem parte para a cidade grande. Nosso foco está em estudar aspectos da configuração de Virgínia que persistem e são retomados, ao longo do enredo, por meio de sonhos, devaneios e lembranças, com especial atenção para os traços do passado que retornam e permanecem, com alterações, no presente. Nessa direção, quando a estrutura do texto permitir, aspectos teóricos da psicanálise, analogicamente, serão de grande valia para sua interpretação. Além disso, outras questões importantes e recorrentes na obra de Clarice Lispector serão abordadas, tais como a morte, a infância, o desejo e, no que diz respeito à estrutura da narrativa, o modo como o narrador muitas vezes assume o ponto de vista da personagem, confundindo-se com ela. / This research aims to analyse O lustre, by Clarice Lispector, published in 1946 and one of her works less studied by critics. The authors second novel tells the story of Virginia a countryside girl who grows up in the family mansion, located in the grounds of Granja Quieta. After reaching adulthood, the character part to the big city. Our focus is on studying aspects of Virginias configuration that persist and are retaken along the plot, through dreams, daydreams and memories, with special attention to the traces of the past that return and remain, with changes, in the present. In this direction, when the structure of the text permits, theoretical aspects of psychoanalysis, by analogy, will be of great value for its interpretation. In addition, other important and recurring issues in the Clarice Lispectors work will be addressed, such as death, childhood, desire and, concerning the narrative structure, the way the narrator often takes the point of view of character, confusing himself with her.

Ce travail porte sur le test fonctionnel, basé sur les spécifications et complètement automatisé des logiciels synchrones. Nous proposons une extension des techniques de test proposées par l'outil Lutess afin de prendre en compte des logiciels qui comportent des entrées/sorties numériques. La génération de données de test est abordée en s'appuyant sur les techniques de programmation par contraintes.<br /><br />Nous avons redéfini les méthodes de guidage de la génération afin de les adapter à ce nouveau contexte numérique. Ainsi, nous proposons, en plus de la génération aléatoire respectant les propriétés invariantes de l'environnement, le guidage du test basé sur des probabilités conditionnelles ou sur des propriétés de sûreté. Des connaissances partielles sur le logiciel, que nous appelons hypothèses de test, peuvent être intégrées dans le processus de génération et contribuer à l'amélioration du pouvoir de détection de fautes du guidage par propriétés de sûreté. Enfin, nous permettons l'utilisation conjointe de plusieurs techniques de guidage dans une même spécification.<br /><br />Une implémentation de ces méthodes de test a été réalisée dans une nouvelle version de l'outil, que nous appelons Lutess V2. L'applicabilité de ces méthodes dans un contexte plus réaliste a été évaluée sur une étude de cas significative d'un contrôleur de niveau d'eau dans une chaudière.

Ce travail porte sur le test structurel des programmes réactifs synchrones érits en Lustre et sur la définition de critères de couverture pour assurer ce test structurel. Lustre est un langage réactif synchrone flot de données, largement utilisé pour la spécification et la programmation des applications critiques dans des domaines comme l'aéronautique, l'énergie ou les transports. L'application à Lustre des critères de couverture usuels basés sur le flot de contrôle (couverture des instructions, couverture des branches,...) n'est pas significative. <br /><br />Nous avons, en conséquence, défini une hiérarchie de critères adaptés au paradigme flot de données synchrone. Les critères permettent de mesurer la couverture des chemins dans un réseau d'opérateurs. Un réseau d'opérateurs est une modélisation graphique des flots de données dans un programme Lustre. Les critères sont basés sur le calcul symbolique des conditions d'activation de ces chemins. <br /><br />Un outil nommé Lustructu, a été réalisé pour mesurer la couverture atteinte par un jeu de tests selon ces critères. Lustructu analyse le programme sous test et calcule les chemins et leurs conditions d'activation. L'évaluation de la couverture par Lustructu est non-intrusive (pas d'instrumentation du code). L'applicabilité et la pertinence des critères ont été évaluées sur une étude de cas significative issue du secteur de l'aéronautique.