Cette thèse a pour objectif de quantifier l'aléa rocheux de type chute de blocs sur une galerie pare-blocs et ainsi pouvoir intégrer cette structure dans un système de détection et d'alerte de l'activité d'un versant rocheux. Pour ce type de problème, les méthodes inverses peuvent permettre une caractérisation (identification et localisation) de l'effort subi par la structure. Ces méthodes sont largement utilisées pour des structures de type poutre et plaques sous charges dynamiques inconnues. Pour résoudre ce genre de problème, l'une des approches les plus utilisées est de créer les fonctions de transfert entre des points d'impact et de mesure sur la structure expérimentalement ou numériquement, de mesurer les réponses, et de trouver la force par déconvolution du signal. Il est connu que ce type de problème est « mal posé ». Afin d'obtenir une solution stable ayant un sens physique, il faut généralement avoir recours à la régularisation soit par filtrage du bruit, soit par des méthodes de régularisation classique, telle que celle de Tikhonov. Le problème de caractérisation des impacts sur une structure devient plus complexe lorsque la localisation du point d'impact est inconnu. Pour résoudre ce problème, on peut utiliser une approche basée sur la minimisation d'une fonctionnelle représentant l'erreur entre les réponses mesurées et estimées en plusieurs points formant un quadrillage sur la structure. Dans le cas d'une structure en situation réelle avec des conditions aux limites complexes, Il est préférable d'opter pour une approche expérimentale. Une série d'essai sur des structures simples de type poutre et plaque permet de contrôler les paramètres influants sur la qualité de reconstruction de l'effort. Afin de recréer les caractéristiques de la structure et son comportement, une application de la démarche sur une dalle en béton armé s'avère la plus appropriée. En utilisant les fonctions de transfert obtenues expérimentalement et validées numériquement, la localisation des efforts et l'identification de leurs historiques devient possible. Cette étude ouvre les perspectives d'étendre l'application des méthodes inverses à la caractérisation des efforts de type souffle générés par une avalanche ou par une explosion.

Les systèmes pair-à-pair (P2P) sont aujourd'hui très populaires. Leur utilisation va de la messagerie instantanée au partage de fichiers, en passant par la sauvegarde et le stockage distribué ou encore le streaming video. Parmi les protocoles P2P, les protocoles basés sur le "gossip" sont une famille de protocoles qui a fait l'objet de nombreux travaux de recherche durant la dernière décennie. Les raisons de l'engouement pour les protocoles basés sur le "gossip" sont qu'ils sont considérés robustes, faciles à mettre en oeuvre et qu'ils ont des propriétés de passage à l'échelle intéressantes. Ce sont donc des candidats intéressants dès lors qu'il s'agit de réaliser des systèmes distribués dynamiques à large échelle. Cette thèse considère deux problématiques rencontrées lorsque l'on déploie des protocoles basé sur le "gossip" dans un environnement réel comme l'Internet. La première problématique est la prise en compte des pare-feux (NAT) dans le cadre des protocoles d'échantillonnage basés sur le "gossip". Ces protocoles font l'hypothèse que, a tout moment, chaque noeud est capable de communiquer avec n'importe quel noeud du réseau. Cette hypothèse est fausse dès lors que certains noeuds utilisent des NAT. Nous présentons Nylon, un protocole d'échantillonnage qui fonctionne malgré la présence de NAT. Nylon introduit un faible surcoût pour gérer les NAT et partage équitablement ce surcoût entre les noeuds possédant un NAT et les autres noeuds. La deuxième problématique que nous étudions est la possibilité de limiter la dissémination de messages de type "spam" dans les protocoles de dissémination basés sur le "gossip". Ces protocoles sont en effet des vecteurs idéaux pour diffuser les messages de type "spam" du fait qu'il n'y a pas d'autorité de contrôle permettant de filtrer les messages basés sur leur contenu. Nous proposons FireSpam, un protocole de dissémination basé sur le "gossip" qui permet de limiter la diffusion des messages de type "spam". FireSpam fonctionne par filtrage décentralisé (chaque noeud participe au filtrage). Par ailleurs, il fonctionne malgré la présence d'une fraction de noeuds malicieux (aussi appelés "Byzantins") et malgré la présence de noeuds dits "rationnels" (aussi appelés "égoïstes"). Ces derniers sont prêts à dévier du protocole s'ils ont un intérêt à le faire.

Le Pare-blocs Structurellement Dissipant (PSD) est un type de galerie pare-blocs innovant. Il se compose d'une dalle en béton armé reposant sur des appuis fusibles métalliques. Contrairement aux galeries pare-blocs traditionnelles, le PSD utilise directement le mouvement de la dalle, et la déformation de la dalle et des appuis, pour dissiper l'énergie d'impact de blocs rocheux. Le but de cette thèse est de contribuer à améliorer l'analyse et le dimensionnement du PSD sous les impacts rocheux. L'analyse structurelle du PSD nécessite des analyses d'impact appropriées. Un algorithme d'impact est donc développé, qui permet de traiter les impacts unilatéraux entre un projectile rigide et une structure déformable. Cet algorithme est ensuite mis en œuvre dans un code de calculs par éléments finis. Validé par plusieurs tests, ce développement fournit un outil de calcul pour le PSD permettant de prendre en compte les effets de vitesse du comportement des matériaux. Cet outil est utilisé pour modéliser le PSD sous différentes conditions d'impact. D'abord, les essais d'impact sur une maquette PSD à l'échelle 1/3 sont modélisés pour connaître la faisabilité de la modélisation structurelle. Une corrélation satisfaisante entre les résultats numériques et expérimentaux permet de réaliser plusieurs séries d'études paramétriques avec le même modèle aux éléments finis pour mettre en évidence l'influence de la masse et de la vitesse des blocs rocheux, de la position de point d'impact sur la dalle, de l'épaisseur de la dalle, du type de béton et du pourcentage d'armatures de la dalle. Enfin, des calculs à l'échelle de la structure sont effectués. Toutes ces études montrent la robustesse du concept PSD, ainsi que ses optimisations possibles, particulièrement pour améliorer sa résistance vis-à-vis du poinçonnement.

En région montagneuse, les infrastructures et les voies de communications sont soumises à de nombreux risques naturels dont les phénomènes d'origine gravitaire. Au-delà du danger pour les usagers, les conséquences des interruptions du trafic deviennent problématiques d'un point de vue économique et il devient indispensable de sécuriser les itinéraires. La mise en place d'écrans de filets pare-pierres est une des solutions possibles pour la protection contre les éboulements rocheux. Cette thèse porte sur l'étude des écrans souples ou filets métalliques de protection contre les chutes de blocs et plus précisément sur l'écran développé par l'entreprise GTS. Le filet constitutif de ces écrans se différencie par rapport aux systèmes conventionnels par un comportement orthotrope, dû à un maillage spécifique. Dans cette étude nous caractérisons le comportement de ces écrans de filets sous des chargements statiques et dynamiques de type impact par une approche couplant l'expérimentation et la modélisation numérique. L'étude procède pas à pas, les divers constituants sont évalués de façon quasi-statique, en laboratoire, et également in-situ pour reproduire les conditions réelles d'utilisation, en particulier l'aspect dynamique. Une attention particulière concernant les dissipateurs d'énergie, qui représentent l'élément centrale de ce type de structure, nous a permis de mettre au point un élément fusible robuste et fiable. Une campagne d'essais en grandeur réel sur les écrans de filets étudiés a permis de valider deux classes énergétiques (3000 kJ et 5000 kJ) selon les recommandations européennes. Les données recueillis lors des expérimentations ont permis de calibrer et valider différentes modélisations numériques de type éléments finis et éléments discrets. La pertinence de la modélisation a été évaluée au niveau des différentes échelles étudiées, échelle d'une maille, échelle d'une nappe, échelle du dissipateur d'énergie et échelle de la structure entière. Les performances et les limites des deux approches, MEF (méthode des éléments finis) et MED (méthodes des éléments discrets) ont été évaluées pour ce qui est de nos modélisations.

La sécurité des services informatiques d'aujourd'hui dépend significativement de la bonne configuration des systèmes qui sont de plus en plus distribués. Au même temps, la gestion des configurations de sécurité est encore fortement basée sur des activités humaines, qui sont coûteuses et sujettes à erreurs. Au cours de la dernière décennie, il a été reporté à plusieurs reprises qu'une partie significative des incidents de sécurité et des pertes de données a été causée par des configurations incorrectes des systèmes. Pour résoudre ce problème, plusieurs techniques ont été proposées pour automatiser les tâches de gestion des configurations. Beaucoup d'entre elles mettent l'accent sur les phases de planification et de mise en œuvre, où les exigences et les politiques de sécurité abstraites sont conçues, harmonisées et transformées dans des configurations concrètes. Ces techniques nécessitent souvent d'opérer sur des politiques formelles ou très structurées qui se prêtent à un raisonnement automatisé, mais qui sont rarement disponibles dans la pratique. Cependant, moins d'attention a été consacrée aux phases de gestion de suivi et de changement des configurations, qui complètent les étapes précédentes en détectant et en corrigeant les erreurs afin d'assurer que les changements de configuration n'exposent pas le système à des menaces de sécurité. Les objectifs et les contributions de cette thèse se concentrent sur ce deuxième point de vue, de façon pragmatique sur la base des configurations de sécurité concrètes. En particulier, nous proposons trois contributions visant à analyser et à vérifier des configurations de sécurité

Ce travail de thèse s'intéresse au comportement mécanique des merlons pare-blocs à technologie cellulaire. Ces ouvrages de génie civil sont construits en surélévation et placés sur la trajectoire potentielle des blocs rocheux, en amont des zones à protéger. Le caractère cellulaire est offert par l'utilisation de gabions (géocellule) alliant une enveloppe grillagée et un matériau de remplissage granulaire de type pierres concassées, mélange de sable et de déchiquetas de pneus ou encore ballast. L'absence de méthodes de dimensionnement relatives à ce type de structure a conduit à la création du projet de recherche ANR REMPARe alliant expérimentations et modélisations numériques multi-échelles. Dans le cadre de ce projet et dans la continuité des précédents travaux, deux dispositifs expérimentaux ont été développés, l'un permettant d'étudier le comportement d'une structure à échelle réduite constituée d'un assemblage de cellules, l'autre permettant d'étudier le comportement de merlons à échelle réelle. Il apparait que le comportement des structures est conditionné par les matériaux mis en œuvre et par les conditions aux limites. L'efficacité des structures est évaluée à travers leur capacité à dissiper l'énergie d'impact en concentrant les dégradations au parement et en réduisant les déformations et les contraintes transmises à la partie arrière. Les résultats des expérimentations fournissent une base données pour le calage et la validation de modèles numérique développés en parallèle. Le retour d'expérience permet d'élaborer des prescriptions pour la construction, le suivi et la maintenance de ces ouvrages.

This dissertation reports on the findings of a qualitative, exploratory, descriptive and contextual study into the health beliefs and practices of urban Pares, living in Moshi, Kilimanjaro Region, in Tanzania. The study utilised aspects of the transcultural nursing framework. Semi-structured interviews were used for data gathering with a sample of nine urban Pare informants. Data were analysed thematically. The major findings indicate that health beliefs arise from magico-religious, holistic and scientific paradigms. It was also found that beliefs and behaviour patterns are changing. These findings are discussed in terms of the two major themes, namely, multiple world views and change and continuity. Recommendations arising from the findings are made which may assist health workers to provide culturally congruent care. / Health Studies / (M.A. (Health Studies))

Notre thèse stipule qu'au vu de l'ampleur des agissements malveillants dans l'Internet, les logiciels d'extrémité doivent être surveillés. Pour limiter le nombre de points de surveillance, nous proposons de surveiller les logiciels depuis un point d'interconnexion. Nous avons dans ce but conçu Luth, un outil permettant de composer et de paralléliser un ensemble d'inspecteurs de points d'interconnexion (appelés MI) qui implémentent des mini IDS, IPS ou pare-feux, tout en vérifiant la correction et l'optimalité de ces derniers, à l'aide d'un langage de configuration et des algorithmes associés. Nous utilisons ensuite cet outil pour surveiller des logiciels d'extrémité permettant l'observation de trafic malveillant. Premièrement, après avoir démontré la nécessité de surveiller des pots de miels collecteurs de logiciels malveillants en concevant une attaque originale, nous montrons comment nous configurons Luth pour bloquer les attaques précédemment créées tout en laissant passer les attaques émulées par le pot de miel. Dans un second temps, nous utilisons Luth pour implémenter un bac-à-sable permettant d'analyser dynamiquement et aussi sûrement que voulu, les communications réseaux des logiciels malveillants. Nous montrons comment les informations obtenues par cette analyse permettent de regrouper ces logiciels et ainsi de limiter le nombre de binaires à analyser manuellement. Ensuite nous montrons comment nous générons automatiquement des signatures permettant la détection de ces virus depuis un point d'interconnexion / Our Ph.D states that given the magnitude of malicious behavior in the Internet, end-host software must be monitored. To limit the number of monitoring points, we propose to monitor the software from an interconnection point, i.e. a midpoint. We have designed for this purpose Luth, a tool to compose and parallelize a set of midpoint inspectors (MI) that implement mini IDS, IPS or firewall-s, while checking the correction and optimality of the resulting inspection tree, using a configuration language, its interpreter and associated algorithms. We then configure this tool to monitor some end-host software used to observe malicious traffic. First, we demonstrate why malware downloading honeypots must be monitored by designing an original attack. Then, we show how we configure Luth to block these attacks while accepting the intrusions emulated by the honeypot. In a second step, we use Luth to implement a sandbox that analyzes dynamically and as safely as wanted malware's network communications. We show how the information obtained by this analysis enables us to cluster the analyzed malware and therefore limit the number of malware to analyze manually. Finally, we show how we automatically generate signatures from this analysis to detect those malware from a midpoint device

Ce travail de thèse s'intéresse au comportement mécanique des merlons pare-blocs à technologie cellulaire. Ces ouvrages de génie civil sont construits en surélévation et placés sur la trajectoire potentielle des blocs rocheux, en amont des zones à protéger. Le caractère cellulaire est offert par l'utilisation de gabions (géocellule) alliant une enveloppe grillagée et un matériau de remplissage granulaire de type pierres concassées, mélange de sable et de déchiquetas de pneus ou encore ballast. L'absence de méthodes de dimensionnement relatives à ce type de structure a conduit à la création du projet de recherche ANR REMPARe alliant expérimentations et modélisations numériques multi-échelles. Dans le cadre de ce projet et dans la continuité des précédents travaux, deux dispositifs expérimentaux ont été développés, l'un permettant d'étudier le comportement d'une structure à échelle réduite constituée d'un assemblage de cellules, l'autre permettant d'étudier le comportement de merlons à échelle réelle. Il apparait que le comportement des structures est conditionné par les matériaux mis en œuvre et par les conditions aux limites. L'efficacité des structures est évaluée à travers leur capacité à dissiper l'énergie d'impact en concentrant les dégradations au parement et en réduisant les déformations et les contraintes transmises à la partie arrière. Les résultats des expérimentations fournissent une base données pour le calage et la validation de modèles numérique développés en parallèle. Le retour d'expérience permet d'élaborer des prescriptions pour la construction, le suivi et la maintenance de ces ouvrages. / This study focuses on the mechanical behavior of cellular rockfall protection structures. These engineering structures are constructed in elevation and placed on the potential trajectory of falling boulders, upslope areas to be protected. The cellular character is provided by the use of gabions (geocell) combining a mesh and different types of granular filling materials : crushed stones, mixture of sand and shredded tires or ballast. The lack of design methods for this type of structure has led to the creation of the research project ANR REMPARe, combining multi-scale experiments and numerical modeling. As part of this project and in the following of previous works, two experimental devices were developed, one to study the behavior of a small-scale structure consisting of an assembly of cells, the other to study the behavior of full-scale structures. It appears that the behavior of structures is conditioned by the materials used and the boundary conditions. The effectiveness of the structures is assessed through their ability to dissipate the impact energy by concentrating the damage in the front part and reducing the stresses and strains transmitted to the back part. The experimental results provide a database for calibration and validation of numerical models developed in parallel. The feedback allows to establish requirements for construction, monitoring and maintenance of these structures.

No description available.