Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques. / We propose an interactive querying approach for program analysis and comprehension tasks. In our approach, an analyst uses a set of basic filters (linguistic, structural, quantitative, and user selection) to define complex queries. These queries are built following an interactive and iterative process where basic filters are selected and executed, and their results displayed, changed, and combined using predefined operators. We evaluated our querying approach by implementing recent state-of-the-art contributions on feature location and design defect detection. Our results show that, in addition to be generic; our approach helps improving existing solutions implemented by fully-automated tools.

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques. / We propose an interactive querying approach for program analysis and comprehension tasks. In our approach, an analyst uses a set of basic filters (linguistic, structural, quantitative, and user selection) to define complex queries. These queries are built following an interactive and iterative process where basic filters are selected and executed, and their results displayed, changed, and combined using predefined operators. We evaluated our querying approach by implementing recent state-of-the-art contributions on feature location and design defect detection. Our results show that, in addition to be generic; our approach helps improving existing solutions implemented by fully-automated tools.

Pour progresser dans la compréhension des mécanismes liés aux instabilités des cavités souterraines à partir de la réponse microsismique associée, l'effondrement provoqué d'une cavité saline (~ 200 m en diamètre), créée par dissolution, a été instrumentée sur un site d’exploitation de SOLVAY à Cerville-Buissoncourt (Lorraine, France). Pendant l’expérimentation un vaste ensemble des données a été enregistré (~ 50,000 fichiers d'événements) dont la majorité (80%) est constitué d’essaims microsismiques singuliers. Cette thèse présente une analyse et une interprétation détaillée de cette base de données microsismiques grâce à l’adaptation de méthodologies de traitement originales, dont les résultats améliorent notre compréhension sur la nature de la microsismicité liée aux processus de création et d’effondrement des cavités souterraines, ainsi que sur l’évaluation de l’aléa associé. Les résultats principaux obtenus sont les suivants : les événements microsismiques sont comparables à des petits séismes tectoniques ayant des magnitudes de moment variant entre -3 et 1. (ii) L’ensemble des événements microsismiques montre un mécanisme en cisaillement (double-couple) remarquablement stable et est associé à un régime en faille inverse d’orientation NO - SE, plongeant à environ 35°– 55°. Ce phénomène est probablement lié à la présence de fractures préexistantes sur le site. (iii) L'origine des essaims microsismiques est certainement due à l'incapacité du système à créer des fractures de grandes dimensions capables de libérer des contraintes très importantes. Cela est probablement lié aux propriétés mécaniques du toit de la cavité. (iv) Les périodes d’effondrements du toit de la cavité sont associées à une dynamique de forçage systématique et montrent une réponse microsismique particulière, qui peut-être décrite par des lois statistiques. Les travaux de recherche de cette thèse confirment également, que la surveillance microsismique peut être un outil puissant pour étudier les processus d’instabilité des cavités souterraines, même avec un nombre réduit de capteurs si des outils d’analyse adaptés sont utilisés / In order to improve our understanding of hazardous underground cavities and its microseismic response, the development and collapse of a ~ 200 m wide salt solution mining cavity was monitored at Cerville-Buissoncourt in the Lorraine basin in NE France. The majority of the obtained dataset (~80%) was constituted of numerous unusual microseismic swarming events (~50.000 event files). This thesis presents innovative methods able to treat this specific microseismic data set, whose results provide new and fundamental insights into the principal characteristics of caving and collapsing related microseismicity and hazard assessment of excavated underground formations. The principal results are as follows: (i) the individual microseismic events are comparable to small natural tectonic earthquakes with moment magnitudes Mw ranging from around -3 to 1. (ii) Source mechanisms for most microseismic events are remarkable stable and demonstrate a predominant thrust faulting (double-couple) regime with faults similarly oriented NW-SE, dipping 35°-55° , what might be related to the presence of systematically arranged pre-existing fractures. (iii) The origin of microseismic swarming is suggested in the incapacity to sustain larger strains and to release larger stresses, what seems to be related to the mechanical constitution of the rock strata overlying the cavity (i.e. low strength materials). (iv) Caving and collapsing periods at the cavity roof are associated with systematic, self- reinforcing dynamics and have a distinct microseismic response, clearly observable from statistical analysis, which can be precisely described by empirical laws. The performed analysis and interpretation of the microseismicity at Cerville-Buissoncourt has shown that microseismic monitoring is a useful tool to constrain the mechanical and dynamical characteristics of an evolving and collapsing hazardous underground cavity