Th.--Géogr.--Paris 7, 1987.

La dernière décennie a vu l'exploitation d’application d’inspection automatique dans plusieurs domaines grâce à l’avancé des capteurs de vision et des méthodes d’analyse de texture et de segmentation d’images. Cependant, la nature difficile des images de chaussées (fortement texturée), la petite taille des défauts (fissures) conduisent au constat que l’inspection dans ce domaine est réalisée manuellement. Chaque année, en France, des opérateurs doivent visualiser des milliers de kilomètres d'images de route pour y relever des dégradations. Cette façon de faire est couteuse, lente et a un résultat plutôt subjectif. L’objectif de ce travail de thèse est de développer une méthode permettant la détection et la classification des fissures automatiquement sur ces images de chaussées. Le coeur de la thèse est une nouvelle méthode de segmentation, la Free Form Anisotropy (FFA). D'une part, elle permet de prendre en compte simultanément les attributs concernant la forme et l’intensité des pixels d’une fissure pour la détection. D’autre part, une nouvelle modélisation est utilisée en recherchant des chemins minima dans des graphes (images) afin de trouver la forme de la fissure dès qu'elle est présente dans l’image. Après la segmentation, l’extraction et la classification de défauts sont réalisées par une transformée de Hough et par le calcul de l’orientation locale des pixels. Les résultats expérimentaux ont été obtenus à partir de plusieurs bases d’images et compares avec des méthodes existantes. / These last decades have seen application of automatic inspection in many fields thanks to advanced vision sensors and image analysis methods. However, the difficult nature of pavement images, the small size of defects (cracks) lead to the fact that inspection in this area is done mostly manually. Each year in France, operator must view images of thousands kilometers of roads to detect these degradations. This method is expensive, slow and has a rather subjective result. The objective of this thesis is to develop a method for the detection and the classification of cracks on these pavement images automatically. In this thesis, a new method of segmentation has been developed: the Free Form Anisotropy (FFA). On one hand, this method allows to take into account both the features concerning form and intensity of cracks, for the detection. On the other hand, a new model is used to search minimum paths in graphs (images). This minimum path follows crack form when crack is present. After segmentation, extraction and classification of defects are performed by the Standard Hough Transform and by calculating local orientation of pixels. Experimental results have been obtained from different image databases and compared with other existing methods.

The NASA Mars Science Laboratory (MSL) rover, Curiosity, began exploring Gale crater, Mars in August, 2012 with the primary goal of assessing the past and present habitability of the martian surface. To meet this goal, Curiosity is equipped with an advanced suite of scientific instruments capable of investigating the geology, geochemistry, and atmospheric conditions on Mars. Among these instruments is the CheMin (Chemistry and Mineralogy) X-ray diffractometer whose function is to identify mineral phases present in sediments and rocks by means of X-ray diffraction (XRD). Characterizing the mineralogical make-up of a rock unit is an important step in determining its geologic history. Primary igneous minerals, such as feldspar, olivine, and pyroxene, give information about parental magmas - their composition, temperature, depth and so on. Secondary alteration minerals, like jarosite or akaganeite, point to distinct weathering or diagenetic processes. As such, understanding the mineral occurrence and abundance in Gale crater provides the MSL team with a robust foundation from which to make geologic interpretations. This dissertation details the methods used to determine the chemical composition of selected mineral phases based solely on XRD patterns from CheMin. Curiosity is equipped with instruments capable of measuring bulk composition of a sample [e.g., APXS (Alpha Particle X-ray Spectrometer)] but has no instrument capable of measuring the composition of a single phase in a multi-phase sample. Therefore, we developed crystal chemical algorithms and calibrations based on refined unit-cell parameters in order to predict mineral phase compositions. We have calculated algorithms for plagioclase, alkali feldspar, Mg-Fe-Ca clinopyroxene, Mg-Fe orthopyroxene, Mg-Fe olivine, Fe-oxide spinel, and alunite-jarosite group minerals. Furthermore, we use the estimated compositions of crystalline material in conjunction with bulk sample chemistry from APXS to estimate of the composition of the X-ray amorphous material present in each of the samples analyzed by CheMin in Gale crater.

Les dormants ferroviaires sont des éléments importants de la structure des chemins de fer. Ils constituent le lien de transfert entre les rails et le sol. Conventionnellement, les dormants nord-américains sont faits avec des madriers de bois. Depuis plusieurs années, différents matériaux ont été utilisés dans le but de trouver un choix alternatif. L’acier, le béton renforcé d’armature d’acier ou bien les matériaux composites ont tous été des matériaux qui ont été proposés dans le passé. Avec le temps, tous ces matériaux se détériorent et doivent être remplacés. L’objectif principal de cette étude est de trouver une solution alternative économique et durable composée de béton et de polymères renforcés de fibres de verre, de carbone ou de basalte (PRFV, PRFC, PRFB). Cette étude comprend deux volets principaux. Le premier volet porte sur les essais expérimentaux de 19 spécimens pour un total de 32 essais. La longueur totale des spécimens testés est de 2590 mm et ceux-ci ont une section transversale ayant une forme trapézoïdale avec une hauteur varient longitudinalement entre 190.5 mm et 241 mm. Ces spécimens sont testés en flexion quatre points aux extrémités, là où l’assise du rail se situe, ainsi qu’au centre. Dans les deux cas, les essais sont faits sous un chargement représentant en un premier temps l’application d’un moment positif et en un deuxième temps d’un moment négatif. Le second volet porte sur la l’analyse des résultats obtenus lors des essais. Dans cette section, le réseau de fissuration, la flèche, la déformation des barres ainsi que la déformation du béton sont analysés plus en détail. Ensuite une comparaison entre les résultats expérimentaux et les prédictions théoriques est effectuée. Cette comparaison traite de la validation des résistances obtenues en fonction des différentes normes nord-américaines ainsi que selon les exigences minimales des lignes directrices établie par l’American Railway Engineering and Maintenance-of-Way Association (AREMA). Les résultats de cette étude profiteront aux compagnies propriétaires de réseau ferroviaire ainsi qu’aux fabricants d’éléments structuraux préfabriqués en béton armé. De plus, cette étude permettra le développement de réseaux ferroviaires plus durables pouvant accueillir des trains se déplaçant à de plus grandes vitesses et pouvant supporter de plus grandes charges lors du transport.

Dès nos premiers cours en ethnographie traditionnelle, nous avons appris qu'i l y a, au Québec, une culture d'héritage français, mais originale. Depuis ce temps, beaucoup d'autres personnes, souvent moins doctes, nous ont répété la même chose. C'est devenu un leitmotiv national Mais un leitmotiv a parfois le défaut de s'imposer par la répétition sans fournir d'explication. Ici, bien des exemples sont venus l'appuyer. Les librairies s’étalent recueils de contes et de légendes, les disquaires ont un très grand choix de chansons d'autrefois et les spécialistes de l'architecture ou de l'outil nous présentent des volumes illustré s avec soin. L'intéressé qui prend connaissance de tout cela sait ce que cette culture a produit, parfois comment elle le produit, rarement pourquoi. Percevant la thèse de doctorat comme un exercice intellectuel d'abord, nous avons voulu profiter de l'occasion pour faire une exploration dans cette région mal connue du pourquoi. Et nous avons choisi comme sujet de cette expérience un produit esthético-religieux de notre culture, la croix de chemin. Nous allons essayer d'expliquer de quelle manière ce produit s'inscrit dans la culture dont il est issu. Traditionnellement, les étudiants en ethnographie consacrent quelques paragraphes de l'introduction à l'exposition de leur méthode. D'une part, nous avons constaté que plusieurs y présentent des techniques méthodologiques, sans identifie r précisément la méthode qu'ils ont utilisée. D'autre part, quand le lecteur s'attache à découvrir, déductivement, quelle a été cette méthode, il lui apparaît que la majorité des ethnographes ou folkloristes font de la description ou de la comparaison. Parce que nous n'avons pas vu de thèse où l'on exposait clairement une méthodologie reposant sur l'analyse interprétative, celle que nous utilisons, nous avons consacré le premier chapitre a la présentation de cette méthode. Que la croix de chemin soit l'expression d'un trait culturel répandu dans tout le Québec est un fait sinon connu, du moins reconnu de tout le monde. Cependant, peu de gens saurait en expliquer l'origine avec justesse. Et il est important de connaître le caractère de l'objet dont on veut parler. C'est pourquoi un historique s'est imposé. Et même s' l se devait d'être succinct, parce qu'il ne s'agit-là que d'une dimension complémentaire au sujet, il était nécessaire qu'il couvre l'ensemble des grands mouvements évolutifs de l'objet. Il est facile de prétendre à l'analyse, mais il est difficile d'y arriver. Et cette difficulté réside en deux points, celui de trouver la base de cette analyse pour le sujet choisi, et celui d'adapter une méthode â l'objectif visé. La solution au premier problème nous est apparue en identifiant la nature de l'objet comme esthético-religieuse. Les deux aspects qu'il semblait nécessaire d'analyser se dévoilaient: religion et esthétique. A l'étude, il s'est avéré que la seconde était subordonnée â la première pour l'essentiel. Un phénomène religieux peut se définir comme étant un ensemble de croyances qui caractérisent les rapports entre l'homme et un être perçu comme divin. Dans le concret, ce concept se traduit par la perception que l'homme se fait de la divinité, et par les rites auxquels il se livre pour entrer en relation avec cette divinité . Notre travail d'analyse consistait donc à découvrir cette perception et ces rites. Nous ne nous sommes pas laissé obnubiler par notre sujet au point de croire qu'il contenait l'essence de la religion des Québécois. Les choix de chemin, comme phénomène, ne sont qu'une pratique ou un rit e élaboré dans une attitude religieuse. Et i l y a un très grand nombre d'autres rite s et pratiques de nature souvent différente. Mais, parce qu'il procède précisément de l'attitude religieuse, ce rit e ne peut pas ne pas la traduire, du moins en partie. Dans un esprit plus prudent qu'innovateur, nous avons abordé la croix par le biais des cinq questions qui nous font habituellement connaître un objet: qui? quand? où? comment? pourquoi? Les réponses se sont regroupées par affinités, et nous les avons ordonnées selon deux chapitres parce qu'elles exprimaient soit un comportement religieux , soit l'objet lui-même dans sa forme. C'est en effet dans l'exercice de son comportement religieux qu'un individu fabrique et érige une croix de chemin et qu'i l y pose des gestes rituels. Qu'est-ce qui le motive à accomplir ce geste si commun que l'on compte une croix pour deux mille personnes dans une population de six millions? Est-ce que, dans ce geste de portée sociale, il est possible de percevoir les sentiments religieux intimes qui en forment la base? Et pourquoi cet objet devient-i l l'occasion de prières nombreuses et variées par la suite? Après avoir posé ces questions S ceux-là mêmes qui sont au coeur de telle s actions, nous avons tenté d'analyser et d'interpréter le phénomène qui s'était livré de lui-même. Pour les fins de la démonstration rationnelle, i l a été nécessaire de présenter élément par élément les composantes d'un phénomène très intimement unifié. Ainsi, nous avons d'abord exploré le comportement religieux tel qu'il peut être perçu â travers la motivation des gens qui érigent les croix, â travers les raisons qui incitent d'autres gens à faire de ces croix un lieu de pratiques, et 5 travers l'image que ces croix ont laissée dans l'esprit de ceux qui ont été les spectateurs de ce phénomène, en regard de celle des acteurs. Ensuite, nous avons étudié les rapports qui pouvaient exister entre la forme que l'on donne à l'objet et l'idée qu'en a celui qui le fabrique, ou celui qui en fait un lieu de prière. L'analyse a le désavantage de faire ressortir isolément les principaux trait s de caractère du sujet, et de le faire en des temps éloignés l'un de l'autre, de sorte que le portrait d'ensemble est difficile à voir. C'est pourquoi nous tenterons de rassembler toutes ces parties et de les agencer dans une conclusion qui ne retiendra que les points forts dans leurs relations de dépendance. / Québec Université Laval, Bibliothèque 2012

Soit G = (V, E) un graphe simple fini. Soit (a, b) un couple d’entiers positifs. On note par τ(G) le nombre de sommets d’un chemin d’ordre maximum dans G. Une partition (A,B) de V(G) est une (a,b)−partition si τ(⟨A⟩) ≤ a et τ(⟨B⟩) ≤ b. Si G possède une (a, b)−partition pour tout couple d’entiers positifs satisfaisant τ(G) = a+b, on dit que G est τ−partitionnable. La conjecture de partitionnement des chemins, connue sous le nom anglais de Path Partition Conjecture, cherche à établir que tout graphe est τ−partitionnable. Elle a été énoncée par Lovász et Mihók en 1981 et depuis, de nombreux chercheurs ont tenté de démontrer cette conjecture et plusieurs y sont parvenus pour certaines classes de graphes. Le présent mémoire rend compte du statut de la conjecture, en ce qui concerne les graphes non-orientés et ceux orientés. / Let G = (V,E) be a finite simple graph. We denote the number of vertices in a longest path in G by τ(G). A partition (A,B) of V is called an (a,b)−partition if τ(⟨A⟩) ≤ a and τ(⟨B⟩) ≤ b. If G can be (a,b)−partitioned for every pair of positive integers (a, b) satisfying a + b = τ (G), we say that G is τ −partitionable. The following conjecture, called The Path Partition Conjecture, has been stated by Lovász and Mihók in 1981 : every graph is τ−partitionable. Since that, many researchers prove that this conjecture is true for several classes of graphs and digraphs. This study summarizes the different results about the Path Partition conjecture.

.

Soit G = (V, E) un graphe simple fini. Soit (a, b) un couple d’entiers positifs. On note par τ(G) le nombre de sommets d’un chemin d’ordre maximum dans G. Une partition (A,B) de V(G) est une (a,b)−partition si τ(⟨A⟩) ≤ a et τ(⟨B⟩) ≤ b. Si G possède une (a, b)−partition pour tout couple d’entiers positifs satisfaisant τ(G) = a+b, on dit que G est τ−partitionnable. La conjecture de partitionnement des chemins, connue sous le nom anglais de Path Partition Conjecture, cherche à établir que tout graphe est τ−partitionnable. Elle a été énoncée par Lovász et Mihók en 1981 et depuis, de nombreux chercheurs ont tenté de démontrer cette conjecture et plusieurs y sont parvenus pour certaines classes de graphes. Le présent mémoire rend compte du statut de la conjecture, en ce qui concerne les graphes non-orientés et ceux orientés. / Let G = (V,E) be a finite simple graph. We denote the number of vertices in a longest path in G by τ(G). A partition (A,B) of V is called an (a,b)−partition if τ(⟨A⟩) ≤ a and τ(⟨B⟩) ≤ b. If G can be (a,b)−partitioned for every pair of positive integers (a, b) satisfying a + b = τ (G), we say that G is τ −partitionable. The following conjecture, called The Path Partition Conjecture, has been stated by Lovász and Mihók in 1981 : every graph is τ−partitionable. Since that, many researchers prove that this conjecture is true for several classes of graphs and digraphs. This study summarizes the different results about the Path Partition conjecture.

Dans cette thèse nous nous proposons de donner certaines applications et généralisations de la théorie des chemins rugueux contrôlé, qu’on peut résumer en trois thèmes : - Obtention d’une « bonne » notions de draps rugueux ce qui permet la construction d’une intégrale plane diriger par des bruit très irrégulier et obtenir une formule de changement de variable pour un drap Brownien fractionnaire ou plus généralement un drap Gaussien.- Construction de solution local et global pour une large classe d’équations aux dérivée partielle dispersive présentant des modulation irrégulière en utilisant l’intégrale de Young non linéaire et la notion de chemin contrôlé. - Interprétation rigoureuse de l’équation de quantisation stochastique en dimension 3 et la construction d’une solution local pour cette dernière en utilisant le notion de distribution contrôlé. / In this thesis we propose to give some applications and generalizations of the theory of controlled rough paths, which can be summarized under three headings :- Getting a "good" notions of rough sheet which allows the construction of two dimensional integral driven by an irregular noise andobtain a change of variable formula for the fractional Brownian sheet or more generally a Gaussian sheet.- Construction of local and global solution for a large class of dispersive equations with an irregular modulation in the dispersion term using the nonlinear Young integral and the notion of controlled path.- Rigourous Interpretation of the stochastic quantization equation in the 3 dimensional torus and the construction of a local solution for this equation using the notion of controlled distribution.

Les problématiques de sécurité sont aujourd’hui un facteur différentiateur clé dans le secteur aéronautique. Bien que certains systèmes d’assistance aux hélicoptères existent et qu’une partie de la connaissance associée aux situations d’urgence ait pu être identifiée, reste que les travaux antérieurs se limitent pour la plupart à une autonomie de bas niveau. Ainsi la génération d’un plan de vol sous fortes contraintes de temps représente à ce jour une voie d’exploration nouvelle, et un défi technologique essentiel pour l’hélicoptère de demain. A cet égard, AIRBUS HELICOPTERS accorde un fort intérêt à la conception d’un système décisionnel capable de générer des plans de vols en temps réel. L’enjeu de l’intelligence répartie au travers de systèmes décisionnels distribués constitue un axe de recherche fort, et un des contributeurs clés pour un positionnement leader d’AIRBUS HELICOPTERS sur la thématique sécurité. Aujourd’hui, l’étude des systèmes décisionnels embarqués dans les engins volants constitue un défi majeur pour divers groupes de travail académiques et industriels. En effet, la résolution de ce défi fait appel généralement à différentes compétences afin de maîtriser plusieurs aspects du système recouvrant les domaines d’acquisition, d’analyse et de traitement de données. Et ce dans le but de prendre des décisions en temps-réel en prenant en considération plusieurs paramètres contextuels et environnementaux. Les défis scientifiques à contourner dans la présente thèse s’articulent sur deux axes majeurs. Dans un premier temps, il faut proposer une approche complète pour une planification en temps réel d’un plan de vol d’hélicoptères. Permettant à cette dernière de faire face à d’éventuels événements dynamiques tel que l’apparition de nouveaux obstacles ou un changement de mission. Ensuite, nous nous intéressons à une implantation embarquée de la solution proposée sur une architecture hétérogène haute performance. / Security issues are today a key-differentiator in the aviation sector. Indeed, it comes to ensure the safety of expensive equipments but above all to save human lives. In this context, it is necessary to offer an important level of autonomy to helicopters. Although some studies have been carried out in this area, the dynamic generation of a sequence of maneuvers under hard time constraints in an unknown environment still represents a major challenge for many academic and industrial working groups. AIRBUS HELICOPTERS as a leader of helicopters manufacturing, looks forward to integrate an assistance system for mission re-planning in the next generation of aircrafts.The work conducted in this PhD thesis falls within a collaboration between AIRBUS HELICOPTERS and UNIVERSITE DE VALENCIENNES ET DU HAINAUTCAMBRESIS. One of the main purposes of this work is efficient flight plan generation. Indeed, for intelligent assistant systems we need to generate a new path planning inorder to face emergency events such as an equipment failure or adverse weather conditions. The second major objective of this work is the deployment of mission planning tasks onto a high performance architecture CPU/FPGA in order to meet real-time requirements for the dynamic optimization process. In the present work, we first studied efficient flight plan generation. Indeed, we developed efficient and effective algorithms for helicopter path planning. Then, in order to obtain a real-time system, we resolved the problem of scheduling optimization on a heterogeneous architecture CPU / FPGA by proposing several scheduling methods including exact approaches and heuristics.