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.

Les changements climatiques affectent grandement le climat partout sur la planète, mais plus particulièrement dans les zones nordiques, là où le pergélisol dégèle tranquillement. Les chercheurs tentent donc de suivre ces changements dans les zones à l'aide de collecteurs échantillonnant et sauvegardant les données. Cependant, la récupération de ces données est très coûteuse en déplacement et en temps étant donné l'isolement des villages où ces collecteurs se situent. Les réseaux sans fil de nœuds de capteurs sont une solution à ce problème. L'idée est donc de faire parvenir ces données automatiquement aux chercheurs en utilisant des moyens de communication. En 2017, un premier réseau sans fil de nœuds de capteurs a été installé dans le village de Salluit, au nord du Québec en utilisant des stations de collecte déjà existantes. Celui-ci a connu plusieurs problèmes de transfert des données et de collecte depuis son déploiement. Dans ce mémoire, nous examinons ces problèmes. Leurs causes ont été difficiles à déterminer puisque la conception des nœuds de collectes ne permet pas un bon suivi de l'état des nœuds. Les causes des problèmes ont tout de même été déterminées, mais sans certitude, ce qui est en soi un problème. C'est donc ce dernier problème qui nous a menés à proposer une architecture différente permettant de mieux diagnostiquer les problèmes des nœuds de collecte. Cette architecture déplace différentes fonctions effectuées par le collecteur dans le réseau de Salluit vers l'interface sans fil pour permettre un diagnostic plus individualisé de l'interface sans fil et du collecteur. Ce mémoire commence donc par détailler le fonctionnement des réseaux de collecte de données. Par la suite, il présente les installations de Salluit et procède à une analyse des capacités énergétiques des nœuds de collecte du réseau. Ensuite, il propose une architecture permettant de répondre aux lacunes du réseau de Salluit. Puis, le mémoire détaille une implémentation du nœud de collecte de cette architecture proposée. / Climate change greatly affects the climate all over the planet, but especially in northern areas, where permafrost is slowly thawing. Researchers are therefore trying to track changes in these areas using sampling sensors and saving the data locally. However, retrieving this data is very costly in travel and time given the isolation of the villages where these sensors are located. Wireless networks of sensor nodes are a possible solution to this problem. The idea is therefore to send this data automatically to researchers at Université Laval. In 2017, a first wireless network of sensor nodes was installed in the village of Salluit, in Northern Quebec, using already existing collection stations. The installation experienced several data transfer and collection issues since its deployment. In this thesis, we examine these failures in connectivity. Their origins have been difficult to determine since the nodes does not allow good monitoring of their state. This led to some uncertainty in our determination of all causes of failure. For this reason, we also propose a new architecture to better diagnose any future problems of the sensor nodes. This architecture shifts various functions currently performed by the sensor in Salluit's network to the wireless interface to allow more individualized diagnosis of the wireless interface and the sensor. This thesis therefore begins by detailing the operation of data collection networks. It then presents the Salluit facilities and analyze the energy capacities of the network's collection nodes. Thereafter, it proposes an architecture able to respond to the shortcomings of the Salluit network. Then, the thesis details an implementation of the collection node of this proposed architecture.

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.