Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Depuis plusieurs années, le LIDAR est utilisé en géologie pour acquérir la géométrie des affleurements sous forme de nuages de points et de surfaces. L'objectif de cette thèse consiste à développer des techniques visant à automatiser le traitement de ces données et notamment l'interprétation de structures géologiques sur affleurements numériques. Ces travaux s'insèrent dans un projet de recherche plus important financé par ENI qui a pour objectif de concevoir des méthodologies pour intégrer des données d'affleurements aux modèles géologiques. La problématique de cette thèse se focalise sur l'extraction d'objets géologiques (ie, traces de fractures ou de limites stratigraphiques) à partir de modèles numériques 3D d'affleurements. L'idée fondamentale consiste à considérer ces entités géologiques comme des lignes de ravins (ie, des lignes de forte concavité). Ce problème fait référence à la détection de lignes caractéristiques en informatique graphique. Dans un premier temps, nous proposons une méthode reposant sur les propriétés différentielles de troisième ordre de la surface (ie, dérivées de courbures). Un traitement est intégré afin de prendre en compte une connaissance a priori pour n'extraire que les objets orientés selon une direction particulière. Du fait du caractère rugueux et erratique des géométries d'affleurements, plusieurs limites apparaissent et mettent en défaut ce genre d'approche. Ainsi, dans un second temps, nous présentons deux algorithmes alternatifs afin de détecter de manière pertinente les objets géologiques ciblés. Ceux-ci prennent le contre-pied des techniques existantes en s'appuyant sur un marquage de sommets, établi depuis des propriétés différentielles de second ordre, suivi d'une opération de squelettisation. Nous validons, dans une dernière partie, l'ensemble des méthodes développées et proposons diverses applications afin de souligner la généricité des approches. / For a few years now, the LIDAR technology has been employed in geology to capture outcrop geometries as point clouds and surfaces. The objective of this thesis is to develop solutions aiming at processing these data automatically and particularly interpreting geological structures on numerical outcrops. This work is funded by ENI-Agip and fits into a larger project which is devoted to creating methodologies to integrate outcrop data into geological models. The problematic of this thesis focuses on the extraction of geological objects (ie, fractures and stratigraphic limit traces) depicted as polylines from numerical outcrop data. The fundamental idea therefore considers these geological entities as ravine lines (ie, lines with high concavity). This problem belongs to the large domain of feature line detection in computer graphics. We propose an approach based on third-order differential properties of the surface (ie, curvature derivatives). An a priori knowledge is integrated to constrain the detection in order to extract the geological structures oriented in a particular direction.The outcrop rugosity and erratic body geometries however raise several limits of this kind of method. We present two alternative algorithms to detect targeted geological objects in a pertinent way. These algorithms rely on a vertex labeling which is executed according to second-order differential properties and followed by a skeletonization process overcoming traditional approaches of feature detection. We finally present a different context of application than the detection of geological structures to validate the proposed approaches and emphasize their genericity.

Cette thèse est consacrée à l'étude d'existence de solutions pour certains problèmes d'évolution. Il s'agit de processus de rafle perturbés associés d'une part à des ensembles prox-réguliers et d'autre part à des ensembles sous-lisses. Les ensembles sont supposés évoluer de façon lipschitzienne ou absolument continue. / This dissertation is devoted to the study of the existence of solutions for some evolution problems. The study is concerned with perturbed sweeping processes associated on the one hand with prox-regular sets and the other hand with subsmooth sets. It is assumed that the sets move either in a Lipschitz way or in an absolutely continuous way.

L'île de Taiwan résulte de la collision active entre les plaques Eurasienne et Philippine. Ce travail de thèse porte sur la détection et la mesure des déformations tectoniques inter-sismiques engendrées par cette collision. Pour réaliser ce travail, l'interférométrie radar différentielle, et plus précisément la méthode des réflecteurs permanents, a été choisie pour l'étude de Taiwan. Cette méthode repose sur l'analyse d'une série d'images radar acquises à différentes dates sur une même zone. Au final, une carte des déplacements moyens du sol est obtenue, ainsi qu'une série temporelle des déplacements du sol consistant en une mesure par date (la référence étant la date la plus ancienne). Les résultats obtenus présentent une densité de point et une qualité de mesure très riche pour le suivi et l'analyse des déformations tectoniques. Après un état de l'art sur l'interférométrie radar et la mesure des déplacements, abordant tour à tour le principe, les méthodes et les limites de cette mesure, le potentiel de son application à Taiwan est détaillé. Cette méthode est ensuite appliquée, avec des données ALOS PALSAR, à trois zones clés de l'orogène taiwanais : (1) la Vallée Longitudinale, à l'Est de l'île ; située entre la Chaîne Centrale et la Chaîne Côtière, le raccourcissement horizontal à travers la vallée est d'environ 3 cm/an. Grâce à la carte des déplacements moyens entre 2007 et 2010, la faille inverse de la Vallée Longitudinale a pu être localisée avec une grande précision (entre 50 et 100 mètres), améliorant grandement les précédentes cartes. Le taux de glissement inter-sismique a ainsi été estimé (entre 1 et 3,2 cm/an) et sa variation spatiale analysée. Les résultats obtenus ont été comparés avec les données GPS avec succès. (2) la péninsule de Hengchun, au Sud de l'île ; il s'agit des déformations les plus récentes observables à Taiwan. La péninsule, située au sommet du prisme d'accrétion actuel, la structure tectonique majeure est la faille inverse de Hengchun. A partir de la carte des déplacements du sol obtenue, la trace de la faille de Hengchun a été mise en évidence, de même que son glissement inter-sismique (environ 1 cm/an). (3) le front de déformation, à l'Ouest de l'île ; il s'agit d'une étude préliminaire des déformations affectant la Plaine Côtière. Plusieurs types de déformations ont pu être observés entre 1995 et 2010 : le soulèvement de l'anticlinal de Tainan, la subsidence de la plaine de Pingtung, l'activité de la faille de Fengshan et la subsidence près de la rivière Choshui / Pas de résumé en anglais

Ce projet porte sur l’étude de plusieurs plantes d’intérêt de la Lorraine afin d’extraire par voie sèche et d’analyser des substances bioactives pour une valorisation de la flore locale. Un procédé de broyage et de tamisage de matériel végétal en de fines particules est utilisé afin de concentrer les composés bioactifs dans les poudres résultantes. Les poudres présentent des tailles de particules allant de 20 µm à 500 µm. Les propriétés phytochimiques de chaque classe granulométrique sont comparées à celle des parties de plantes non tamisées. Ces activités sont liées aux métabolites secondaires notamment les polyphénols et les dérivés terpéniques, qui sont caractérisés et quantifiés par des analyses LC-MS et GC-MS. Au cours de ce travail ont été développés : - la validation d’une nouvelle technique de séparation différentielle en fonction de la granulométrie des poudres par comparaison avec des extraits de plantes non tamisées ; - le dosage des différents constituants chimiques par des méthodes spectrométriques (UV/Visible), la caractérisation par des techniques analytiques telles que la LC-MS et GC-MS ; - l’évaluation du potentiel antioxydant/anti-radicalaire et anti-acétylcholinestérase réalisée par voie chimique in vitro en fonction des classes granulométriques. Cette étude démontre l’intérêt que présente ce nouveau procédé d’extraction différentiel des composés bioactifs issue de matrices végétales. Un enrichissement en produits actifs est observé au niveau de certaines classes granulométriques. Au niveau des activités antioxydantes pour toutes les plantes et de l’activité anti-acétylcholinestérase dans le cas du saule blanc, on observe des variations significatives en fonction de la taille de particules des échantillons des poudres superfines. L’étude de l’activité anti-acétylcholinestérase a été complétée par une modélisation in silico afin de mettre en évidence l’interaction entre les composés et les sites actifs de l’enzyme acétylcholinestérase / This project focuses on the study of 12 plants coming from Lorraine region. The study aims to improve the exploitation of local flora using a dry extraction process. A milling and a sieving process up to fine particles of plant material is used to concentrate the bioactive compounds in the resulting powders. The powders were classified according to the particle size which were ranging from 20 µm to 500 µm. The phytochemical properties of each particle size fraction are compared to non-sieved plant parts. These activities are linked to secondary metabolites including polyphenols and terpene derivatives, which are characterized and quantified by LC-MS and GC-MS analyses. It was developed in this work a new validation technique of differential separation depending on the particle size of the powders compared with extracts of non-sieved plant parts. The quantification of chemical compound classes was done by UV-Visible methods and their identification was conducted using LC-PDA/MS and GC-MS characterization technics. The evaluations of the antioxidant activity and anti-acetylcholinesterase activity is carried out in vitro according to the particle sizes. This study demonstrates the usefulness of this new differential extraction process of bioactive compounds from vegetal matrices. The Enhancing of the concentration of the active products is observed according to the particle sizes. In silico modeling study of anti-acetylcholinesterase activity is employed to highlight the interactions between the active sites and some anticipated active compounds in the extract

Ce travail de thèse traite de la problématique d’estimation des défauts et de l’étathybride pour une classe de systèmes linéaires à commutations. L’objectif est de développerune méthode afin de synthétiser un observateur et un estimateur dédiésrespectivement à l’estimation de l’état hybride et des défauts. Après la présentationd’un état de l’art sur les techniques d’estimation, de stabilité et de diagnosticpour les systèmes linéaires à commutations, la thèse est scindée en deux parties.La première partie propose une méthode d’estimation de l’état continu et desdéfauts dans le cas où l’état discret du système est connu. En se basant sur unetransformation de coordonnées qui découple un sous-ensemble de l’état du systèmedes défauts, nous avons synthétisé dans un premier temps un observateur hybridepour estimer l’état continu du système, et dans un second temps, un estimateurpermettant la reconstruction des défauts. L’estimateur de défauts proposé dépendde la dérivée de la sortie du système. Pour cette raison, un différenciateur robusteet exact basé sur des techniques des modes glissants est utilisé. Dans la secondepartie de ce mémoire, l’état discret du système est supposé inconnu. Une approchebasée sur des méthodes algébriques est proposée afin d’estimer les instants decommutation entre les différents sous-systèmes. Par la suite, l’estimation de l’étathybride (état continu et état discret) et des défauts est considérée dans le cas oùl’état discret du système est inconnu. Ce dernier est reconstruit en se basant surles instant de commutation estimé et sur une séquence de commutation connue.L’état continu du système est estimé en se basant sur une méthode de placementde pôles permettant d’améliorer les performances de la phase transitoire. Enfin, enexploitant des résultats trouvés dans la première partie, l’estimation des défautsest considérée en estimant la sortie du système avec un différenciateur algébrique.Ce différenciateur donne des résultats plus intéressants vis-à-vis du bruit par rapportau différenciateur basé sur les techniques des modes glissants utilisé dans lapremière partie. / This work deals with the problem of estimation of fault and hybrid state for a classof switched linear systems. The objective is to develop a method to synthesize anobserver and an estimator dedicated respectively to the estimation of the hybridstate and the faults. After presenting a state of the art for estimation, stabilityand diagnostic techniques for switched linear systems, the report is divided intotwo parts. The first part proposes a method for estimating the continuous stateand the faults in the case where the discrete state of the system is known. Basedon a coordinate transformation which decouples a subset of the state of the systemof faults, we first synthesized a hybrid observer to estimate the continuous stateof the system and, in a second step, an estimator allowing the reconstructionof faults. The proposed fault estimator depends on the derivative of the systemoutput. For this reason, a robust and accurate differentiator based on sliding modetechniques is used. In the second part of this paper, the discrete state of the systemis assumed unknown. An algebraic approach is proposed to estimate the switchingtimes between the different subsystems. Thereafter, the estimation of the hybridstate (continuous and discrete state) and of the faults is considered in the casewhere the discrete state of the system is unknown. The latter is reconstructedfrom the estimated switching times and on a known switching sequence. Thecontinuous state of the system is estimated using a pole placement method allowingimprove the performances of the transient phase. Finally, by exploiting the resultsfound in the first part, the estimation of the faults is considered by estimatingthe output of the system with an algebraic differentiator. This differentiator givesmore interesting results at the noise compared to the differentiator based on thesliding mode techniques used in the first part.

Les bases de fonctions sont des outils indispensables de la géométrie numérique puisqu'ils permettent de représenter des fonctions comme des vecteurs, c'est à dire d'appliquer les outils de l'algèbre linéaire à l'analyse fonctionnelle. Dans cette thèse, nous présentons plusieurs constructions de bases de fonctions sur des surfaces pour la géométrie numérique. Nous commençons par présenter les bases de fonctions usuelles des éléments finis et du calcul extérieur discret, leur théorie et leurs limites. Nous étudions ensuite le Laplacien et sa discrétisation, ce qui nous permettra de construire une base de fonctions particulière~: les fonctions propres de l'opérateur de Laplace-Beltrami, ou harmoniques variétés. Celles-ci permettent de généraliser la transformée de Fourier et le filtrage spectral aux fonctions définies sur des surfaces. Nous présentons ensuite des applications de cette base de fonction à la géométrie numérique. En particulier, nous montrons qu'une fois calculée, cette base de fonction permet de filtrer la géométrie en temps interactif. Pour pouvoir définir des bases de fonctions de façon plus indépendante du maillage de la surface, nous nous intéressons ensuite aux paramétrisations globales, et en particulier aux champs de directions à symétries qui permettent de les définir. Ainsi, dans la dernière partie, nous étudions ces champs de directions à symétries, et en particulier leur géométrie et leur topologie. Nous donnons alors des outils pour les construire, les manipuler et les visualiser / Function bases are fundamental objects in geometry processing as they allow to represent functions as vectors, that is to apply tools from linear algebra to functional analysis. In this thesis, we present various constructions of useful functions bases for geometry processing. We start by presenting usual function bases, their theory and limits. We then study the Laplacian operator and its discretization, and use it to define a particular function basis: Laplacian eigenfunctions or Manifold harmonics. The Manifold Hamonics form a function basis that allows to generalize the Fourier transform and spectral filtering on a surface. We present some applications and extensions of this basis for geometry processing. To define function bases in a mesh-independant manner, we need to build a global parameterization, and especially the direction fields required to define them. Thus, in the last part of this thesis we study N-symmetry direction fields on surfaces, and in particular their geometry and topology. We then give tools to build, edit, control and visualize them

L’apparition de P. falciparum résistants aux CTAs est un problème majeur en Asie du Sud-Est. Il est nécessaire de rechercher des molécules présentant des mécanismes d’actions nouveaux. Une cible d’intérêt est l’apicoplaste, un organite de Plasmodium issu d’une endosymbiose avec une algue rouge. Les algues rouges pourraient présenter une source privilégiée de nouvelles molécules antipaludiques ciblant notamment les voies de biosynthèse apicoplastique. Cette thèse porte sur l’identification de ces métabolites secondaires bioactifs via le développement d’une nouvelle stratégie analytique. Un programme informatique nommé Plasmodesma a été créé et permet l’analyse différentielle de manière automatique de spectres RMN 2D 1H-1H et 1H-13C. Les molécules actives peuvent ensuite être isolées et identifiées par HPLC-SPE-RMN. L’activité antipaludique mise en évidence dans les algues rouges étudiées serait due à la présence de molécules de classes chimiques différentes dont des stérols. / Malaria is responsible for 445 000 deaths in 2016. The emergence and the spread of resistant P. falciparum to artemisinin-based combinations is a major health problem in South-East Asia. Research must continue to find compounds with a novel mechanism of action. The apicoplast is an interesting target. It is a Plasmodium organelle derived from a secondary endosymbiosis with a red alga. Red algae could be a special source of new antiplasmodial compounds targeting the isoprenoid biosynthesis pathway in the apicoplast. This thesis focuses on bioactive secondary metabolites identification via a new analytical strategy. A computer program called Plasmodesma was created and achieves an automatic differential analysis of 1H-1H and 1H-13C 2D NMR spectra. Bioactive compounds are isolated and identified by hyphenated HPLC-SPE-NMR. The presence of different classes of compounds including sterols could explain the antiplasmodial activity in studied the red algae species.

Le développement de la société de l'information et de la monnaie virtuelle, a soulevé de nouveaux problèmes aux communautés de la sécurité et du circuit intégré, faisant devenir la cryptologie un outil incontournable permettant de répondre aux exigences sécuritaires telles que l'identification, l'authentification ou la confidentialité. L'intégration des primitives cryptographiques dans différents dispositifs électroniques est largement répandue aujourd'hui dans le domaine des communications, des services financiers, des services gouvernementaux ou de la PayTV. Au premier rang de ces dispositifs, figure la carte à puce. D'après un rapport publié en août 2010, IMS Research prévoit que le marché de la carte à puce atteindra les 5.8 milliards d'unités vendues en fin d'année. La grande majorité est utilisée dans les télécommunications (carte SIM) et les services bancaires. La carte à puce incorpore un circuit intégré qui peut être, soit un processeur dédié aux calculs cryptographiques, soit seulement de la mémoire non-volatile ou les deux. Ces circuits intégrés manipulent et contiennent donc des secrets comme les clefs secrètes ou privées utilisées par les algorithmes de cryptographie symétriques ou asymétriques. Ces clefs doivent donc, rester absolument confidentielles et intègres afin de garantir la chaîne de sécurité. Par conséquent la robustesse des cartes à puces aux attaques cryptographiques est cruciale. En effet, les attaques sur les circuits intégrés sont aujourd'hui très performantes. Elles peuvent être classées selon trois grandes familles : invasives, semi-invasives et non-invasives. 1- Les attaques invasives sont des attaques menées en général par des experts et requièrent du matériel spécifique. 2- Les attaques semi-invasives, famille d'attaques récemment introduite par l'équipe de Ross Anderson, dont le principe est de décapsuler le package contenant le circuit, afin de se positionner le plus proche possible de la surface, sans pour autant en détériorer les fonctionnalités. 3- Les attaques non-invasives ne nécessitent aucune préparation préalable du dispositif soumis aux attaques. Elles consistent à espionner les phénomènes physiques engendrés par la manipulation des données et notamment les clefs secrètes. Les attaques non-invasives peuvent être considérées comme les plus dangereuses, dans la mesure où ce type d'attaque peut être réalisé sans contact avec le circuit. En effet, pendant l'utilisation d'appareils électroniques, les circuits qui les composent sont soumis à des variations de courant et de tension. Ces variations génèrent des ondes électromagnétiques qui se propagent dans le voisinage du circuit. Ces émanations présentent une corrélation avec des informations censées être stockées dans la puce de façon sécurisée (exemple: la clef secrète d'une carte bancaire utilisée pour l'authentification). Plusieurs attaques dites par canaux auxiliaires, et basées sur ces fuites électromagnétiques ont été publiées par la communauté scientifique ces dernières années. Cette thèse a pour objectifs: (a) comprendre les différentes sources des émanations électromagnétiques des circuits intégrés, et de proposer un flot d'attaque électromagnétique localisée et en champ proche afin de tester la robustesse d'un circuit cryptographique contre les attaques et analyses utilisant le canal électromagnétique, et (b) proposer des contre-mesures afin de contrecarrer ces attaques par analyse de champ électromagnétique. Afin d'atteindre ces objectifs, nous présentons, dans un premier temps, une technique efficace nommée WGMSI (Weighted Global Magnitude Squared Incoherence) pour localiser les positions, au-dessus du circuit cryptographique, qui génèrent les émanations électromagnétiques les plus dépendantes des données secrètes. Dans un deuxième temps la WGMSI est utilisée aussi pour améliorer la stabilité et la convergence des différentes attaques électromagnétiques proposées dans la littérature. La suite de la thèse décrit les différentes contre-mesures aux attaques par canaux auxiliaires. En effet, face à ces techniques d'attaques évoluées, il est primordial, de rendre les fonctions cryptographiques implantées dans les circuits intégrés pour la sécurité (confidentialité, authentification, intégrité ... ), inattaquables en un temps raisonnable et ceci même en manipulant des sous-clefs dans des chiffrements par blocs. Pour cela, on se focalisera principalement aux contre-mesures basées sur des logiques différentielles et dynamiques. Ces contre-mesures sont dites par conception, puisqu'elles se situent au niveau des portes logiques qui sont considérées comme les éléments de base pour la conception d'un circuit intégré. Ceci permet une certaine indépendance des algorithmes cryptographiques vis à vis de l'architecture ou de la technologie considérées. Parmi les différentes logiques différentielles et dynamiques, on s'intéressera plus spécifiquement à la logique STTL (Secure Triple Track logic) qui peut être considérée comme une amélioration de la logique double rail, dans la mesure où un troisième rail est ajouté afin de contrecarrer la faiblesse principale de la logique double rail, à savoir l'évaluation anticipée. Enfin, nous présenterons un flot d'implémentation sur FPGA de la logique STTL prouvée robuste aux attaques par analyse de courant, et nous implémenterons un prototype de DES STTL afin de tester sa robustesse aux attaques électromagnétiques localisées en champ proche. / The integration of cryptographic primitives in different electronic devices is widely used today incommunications, financial services, government services or PayTV.Foremost among these devices include the smart card. According to a report published in August 2010, IMS Research forecasts that the smart card market will reach 5.8 billion units sold in this year. The vast majority is used in telecommunications (SIM) and banking.The smart card incorporates an integrated circuit which can be a dedicated processor for cryptographic calculations. Therefore, these integrated circuits contain secrets such as secret or private keys used by the symmetric or asymmetric cryptographic algorithms. These keys must remain absolutely confidential to ensure the safety chain.Therefore the robustness of smart cards against attacks is crucial. These attacks can be classifiedinto three main categories: invasive, semi-invasive and non-invasive.Non-invasive attacks can be considered the most dangerous, since this kind of attack can be achieved without any contact with the circuit.Indeed, while using electronic circuits that compose them are subjected to variations in current and voltage. These variations generate an electromagnetic radiation propagating in the vicinity of the circuit.These radiations are correlated with secret information (eg a secret key used for authentication). Several attacks based on these leakages were published by the scientific community.This thesis aims to: (a) understand the different sources of electromagnetic emanations of integrated circuits, and propose a localized near field attack to test the robustness of a cryptographic circuit and (b) propose counter-measures to these attacks.

La spectrométrie laser d'absorption différentielle est une technique bien connue pour la détection à distance d'espèces chimiques dans l'atmosphère. À ce titre, la bande III qui s'étend entre 8 et 12 µm est une région particulièrement intéressante, car les bandes d'absorption de nombreuses espèces chimiques y sont intenses et se recouvrent peu entre elles. Afin de détecter ces espèces à distance dans la bande III, il est nécessaire de disposer de sources dont le rayonnement est fin spectralement, largement accordable, et énergétique. Les sources basées sur l'optique non linéaire du second ordre constituent la seule technologie capable de répondre à ces besoins. Dans ce travail de thèse, nous présenterons des résultats expérimentaux portant sur deux architectures de sources paramétriques permettant d'émettre un rayonnement dans la bande III adapté à la spectrométrie différentielle en configuration lidar. La première architecture consiste à émettre un faisceau directement dans la bande III grâce au pompage de cristaux non linéaire par des sources laser à 2 µm. La seconde architecture, consiste à amplifier les ondes signal et complémentaire issues d'un OPO à 2 µm, avant de les convertir dans la bande III par différence de fréquences. Ces sources sont basées sur l'association de technologies émergentes et sont susceptibles d'offrir des solutions viables au manque de sources émettant dans la bande III. / Laser spectrometry by differential absorption is a well-known technique for standoff detection of chemical species in the atmosphere. The longwave infrared region (LWIR), ranging from 8 to 12 µm is particularly interesting because the absorption bands of many chemical species are intense and non-overlapping. In order to detect those species in the LWIR, there is a need for sources that are spectrally narrow, widely tunable, and delivers high energies. The sources based on second order nonlinear optics are the only technology able to meet those requirements. In this work, we will present the experimental results on two parametric architectures that allows emission in the LWIR for lidar measurements. The first one consists in emitting a beam directly in the LWIR by pumping nonlinear crystals with 2 µm pump lasers. The second architecture consists in amplifying the signal and idler beams coming from a 2 µm OPO, before converting them into the LWIR by difference frequency generation. Those sources are based on the association of new technologies and have the potential to offer a viable solution to a lack of sources emitting in the LWIR.