Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2007. / Bibliogr. p. 161-171. Résumé en anglais et en français.

Thèse (M. Serv. soc.)--Université Laval, 2004. / Bibliogr.: f. 105-111. Publié aussi en version électronique.

Objectifs. Estimer la prévalence de l'infection tuberculeuse, décrire les facteurs de risque de l'infection et explorer l'observance au dépistage chez les utilisateurs de refuges pour itinérants de Montréal. Méthode. Cette étude est descriptive, transversale. La population visée est l'ensemble des utilisateurs de refuges pour itinérants de Montréal. Vingt-quatre séances de recrutement ont été tenues dans huit refuges ou centres de jour pour itinérants, entre mars 1996 et février 1997. La semaine de recrutement a été choisie aléatoirement. L'intradermoréaction de Mantoux (PPD positif si égal ou supérieur à 10 mm) et un questionnaire ont été utilisés. Conclusion. La prévalence de l'infection parmi les itinérants est élevée. En outre, la fréquence élevée de certains facteurs de risque, notamment les toxicomanies et l'infection par le VIH, augmente leur risque de développer la maladie. Cette étude démontre que l'administration du PPD, la lecture du résultat et l'obtention d'une radiographie pulmonaire sont possibles auprès de cette population. Nous croyons qu'un programme assurant la relance et le suivi devrait être développé pour permettre de traiter les personnes infectées."--Résumé abrégé par UMI.

Le sujet central de cette thèse est le développement d'une méthode dédiée à la preuve de structures de données sans verrou. La motivation première vient du constat que les programmes concurrents sont devenu monnaie courante. Ceci a été possible par l'apparition de nouvelles primitives de synchronisation dans les nouvelles architectures matérielles. La seconde motivation est la quête de logiciel prouvé et donc correct. La sûreté des logiciels est en effet devenue primordiale de par la diffusion des systèmes embarqués et enfouis. La méthode proposée est basée sur le raffinement et dédiée à la conception et la vérification d'algorithme non-bloquant, en particulier ceux sans verrou. La méthode a été formalisée et sa correction prouvée en Isabelle/HOL. Un outil a par ailleurs été développé afin de générer des obligations de preuves à destination des solveurs SMT et des prouveurs de théorèmes du premier ordre. Nous l'avons utilisé afin de vérifier certains de ces algorithmes. / The central topic of this thesis is the proof-based development of lock-free data-structure algorithms. First motivation comes from new computer architectures that come with new synchronisation features. Those features enable concurrent algorithms that do not use locks and are thus more efficient. The second motivation is the search for proved correct program. Nowadays embedded software are used everywhere included in systems where safety is central. We propose a refinement-based method for designing and verifying non-blocking, and in particular lock-free, implementations of data structures. The entire method has been formalised in Isabelle/HOL. An associated prototype tool generates verification conditions that can be solved by SMT solvers or automatic theorem provers for first-order logic, and we have used this approach to verify a number of such algorithms.

Pas de résumé en français / Pas de résumé en anglais

La réalisation du stockage d'énergie et le retour de l'approvisionnement en énergie est crucial pour plusieurs applications (VE, téléphones portables, ordinateurs portables). Des électrodes épaisses avec des matériaux inactifs minimisés dans la batterie globale peuvent améliorer la densité d'énergie des batteries lithium-ion. Spark Plasma Sintering est une technique de densification avancée qui a été utilisée pour préparer des électrodes épaisses en quelques minutes. L'approche de modèle est adoptée pour préparer des électrodes poreuses avec des tailles de pores et des morphologies interconnectées bien contrôlées. Ici, des particules de microsize de chlorure de sodium sont utilisées comme agent de gabarit pour créer des pores à l'intérieur des électrodes épaisses. Ces électrodes frittées sans liant sont auto-supportées, ce qui contribue à augmenter la densité énergétique des batteries lithium-ion. Les performances électrochimiques des batteries demi- et pleines révèlent une capacité surfacique spécifique remarquable (20 mA h cm-2), qui est 4 fois supérieure à celle des électrodes de 100 μm présentes dans les batteries Li-ion classiques (5 mAh cm) -2). L'étude morphologique 3D est réalisée par micro-tomodensitométrie pour obtenir des valeurs de tortuosité et des distributions de tailles de pores conduisant à une forte corrélation avec leurs propriétés électrochimiques. Ces résultats démontrent que le couplage entre le procédé de matriçage de sel et le frittage par plasma d'étincelles est également appliqué pour la fabrication d'électrodes épaisses en utilisant d'autres matériaux actifs et que différentes configurations de cellules sont également proposées / The achievement of energy storage and return of energy supply is crucial for several applications (EVs, cellphones, laptops). Thick electrodes with minimized inactive materials in the overall battery can improve the energy density of lithium ion batteries. Spark Plasma Sintering is an advanced densification technique has been used to prepare thick electrodes in minutes. The templating approach is adopted for preparing porous electrodes with interconnected well-controlled pore sizes and morphologies. Here, sodium chloride microsize particles are used as a templating agent to create pores inside the thick electrodes. These sintered binder-free electrodes are self-supported that helps to increase the energy density of lithium ion batteries. The electrochemical performances of half and full batteries reveal a remarkable specific areal capacity (20 mA h cm−2), which is 4 times higher than those of 100 μm thick electrodes present in conventional tape-casted Li–ion batteries (5 mA h cm−2). The 3D morphological study is carried out by micro computed tomography to obtain tortuosity values and pore size distributions leading to a strong correlation with their electrochemical properties. These results demonstrate that the coupling between the salt templating method and the spark plasma sintering is also applied for thick electrodes fabrication using other active materials and also different cell configurations are proposed

sans

sans

Le programme de recherche concernant les résonances moléculaires et le système 24Mg + 24Mg, réalisé au Tandem de Legnaro, a pour but l'étude des modes de désexcitation de la résonance reportée dans la littérature à ECM=45,7 MeV avec Jπ=36+ et Г = 170 keV. Le spectromètre de fragments PRISMA associé au détecteur γ CLARA a été utilisé afin d'obtenir l'alimentation ON et OFF résonance des voies inélastiques. J'ai démontré que le flux résonant est observé principalement dans les canaux inélastiques impliquant les membres 0+, 2+ et 4+ de la bande basée sur l'état fondamental de 24Mg. Ceci est en très bon accord avec les prédictions théoriques du modèle moléculaire de Uegaki et Abe. Seul 30 % du flux résonant a été observé dans les voies inélastiques et de transfert, du flux manquant a été étudié et recherché dans les voies de fusion/évaporation à l'aide du multidétecteur γ GASP utilisé pour la détection des γ issus des noyaux résiduels en coïncidence avec la boule de Si EUCLIDES pour la détection des particules légères chargées émises par le noyau composé. Un effet résonant faible a été mis en évidence dans un certain nombre de noyaux résiduels tels que 45Ti, 42Ca et 39K. J'ai également établi un lien entre le dinoyau prolate 48Cr formé par la réaction 24Mg + 24Mg et un noyau 48Cr juste après la transition de forme de Jacobi (de oblate à prolate). Toutefois, du flux manquant reste à découvrir. Je suggère de chercher ce flux dans la résonance géante dipolaire, qui après émission de particules pourrait alimenter des noyaux très déformés. Enfin, je propose de construire un nouveau détecteur de fragments pour rechercher les transitions électromagnétiques entre états résonants.

L'expérience ALICE (A Large Ion Collider Experiment) permettra l'étude des collisions produites par le LHC (Large Hadron Collider), futur collisionneur installé au CERN. Cette expérience est principalement dédiée à l'étude des collisions d'ions lourds. Plusieurs détecteurs concentriques entourant le vertex primaire participent à la trajectographie des particules dans ALICE. L'ensemble de détection le plus proche du point d'interaction est le trajectographe interne, ou ITS (Inner Tracking System). L'ITS est composé de 6 couches de détection cylindriques concentriques. Le SSD (Silicon Strip Detector) d'ALICE représente les deux couches externes de l'ITS. Le SSD est constitué de 1 698 modules de détection frontaux. La conception des modules SSD est étroitement liée à la grande multiplicité de particules produites par les collisions d'ions lourds. Ces modules se composent d'une partie sensible en silicium et de son électronique de lecture associée. La première étape de la caractérisation des modules SSD a consistée à tester en faisceau les quatre premiers modules prototypes. L'analyse de ces tests a permis de vérifier les performances des modules (rapport signal sur bruit, résolution spatiale...). Concernant la production, le protocole de test des modules a été décrit et l'analyse des données de ces tests a permis la caractérisation des modules produits. Le calibrage du banc de test a été évalué à l'aide de la détection de particules cosmiques. Enfin, une étude des corrélations entre pistes d'un même module a permis de mieux comprendre les caractéristiques du bruit de mode commun qui est un paramètre important qui influencera les performances du détecteur final