• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 665
  • 191
  • 75
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 962
  • 353
  • 283
  • 190
  • 149
  • 103
  • 94
  • 91
  • 89
  • 89
  • 86
  • 86
  • 83
  • 82
  • 70
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
431

Inscription du récit dans le milieu en résolution de problèmes de mathématiques : études des contraintes didactiques, des apports et des limites dans la construction de raisonnement / Appending story and story building in mathematical problems' environment : consideration of didactical constraints, study of contributions and limitations to reasoning activity

Moulin, Marianne 10 July 2014 (has links)
Dans le cadre de notre thèse en didactique des mathématiques, nous explorons la pertinence du récit en tant que mode de pensée et support potentiel à la construction de raisonnement. Nous soutenons l'hypothèse que lors d'une activité de résolution de problèmes de mathématiques, la construction d'un récit visant à répondre à une situation problématique peut être un élément déclencheur, producteur et structurant du raisonnement. En nous appuyant sur différents travaux qui ont souligné les fonctions heuristiques et structurantes du récit, nous avons caractérisé au plan théorique et mis à l'épreuve expérimentalement un milieu didactique permettant d'envisager une co-construction entre récit et raisonnement. La situation de résolution de problèmes que nous proposons, construite autour d'un jeu, amène les élèves à produire des récits descriptifs (basés sur des parties effectivement réalisées) et des récits d'anticipation (basés sur des parties imaginaires). Nos résultats mettent en évidence que le récit enrichit le milieu didactique au sens proposé par Hersant (2010), en particulier au travers de l'acte de construction par les élèves. Celui-ci soutient l'établissement du raisonnement et sa justification mathématique. C'est en produisant différents types de récits que les élèves, tout en prenant en charge les contraintes mathématiques de la situation, s'affranchissent du monde sensible et s'engagent dans une véritable activité de preuve mathématique (production d'exemples, de contre-exemples, de conjectures, d'argumentations, etc.) / Our thesis in mathematics education explores the relevance of story building as a pattern of thought and potential support for the construction of reasoning. We assume that establishing a narrative in order to answer a problematic situation is both a trigger and processing aid. Our main hypothesis is that the narrative act offers structured guidelines for the process of reasoning during problem solving activity. Several studies have indeed highlighted the heuristics and structuring functions of narrative. Relying on these studies we first characterized theoretically and then tested experimentally a didactical environment. We shaped the characteristics of this environment with the objective of ensuring a joint development between narrative and reasoning. The situation of problem solving we offer is built around a game. To address problematic situations, students produced descriptive (based on games actually made) and anticipated (based on imaginary games) narratives. In both case, the construction of a narrative is a powerful asset. Our results demonstrate that the story enriches, within the meaning of Hersant (2010), the educational environment. The act of narration supports the student’s mathematical reasoning and justification. While producing different types of stories, students embrace the mathematical constraints of the situations and step back from the sensible world. No more restrained by material thinking, the students are more inclined to mathematical approach. Therefore, they develop or enhance their mathematical proving skills (example and counter-example arguments, mathematical conjectures and demonstrations, etc.)
432

Selective vehicle routing problems in collaborative urban transport networks / Problèmes de tournées sélectives dans les réseaux collaboratifs de transport urbain

Ben Said, Asma 09 April 2019 (has links)
Le but de ce travail de thèse réside dans la planification de la distribution urbaine des marchandises dans un système de transport collaboratif. Cette collaboration consiste à échanger les demandes de transport entre transporteurs afin d'améliorer l'efficacité de leurs opérations. Cela revient à minimiser la distance parcourue par les camions et à maximiser le profit collecté des clients, notamment en recourant à des variantes du problème de tournées de véhicules plus adaptées au contexte collaboratif. Le problème opérationnel sous-jacent est donc le problème de tournées de véhicules sélectives dans lequel le service de tous les clients n'est pas obligatoire par contre un "profit" est collecté lors du service d'un client. Dans cette thèse, nous traitons le problème de tournées de véhicules sélectives avec contraintes de temps et de capacité (Capacitated Team Orienteering Problem - CTOP). Nous proposons une métaheuristique qui alterne entre deux espaces de recherche. Des procédures de découpage optimal et de concaténation permettent de passer d'un espace à un autre. D'autre part, en considérant des demandes de collecte et de livraison, nous traitons deux variantes sélectives du problème de collecte et de livraison (Pickup and Delivery Problem - PDP) : le PDP avec fenêtres de temps et demandes obligatoires (PDPTWPR) et le PDPTWPR avec demandes groupées. La première variante consiste à choisir parmi les demandes de transport optionnelles quelles demandes à servir en plus des demandes obligatoires. Nous développons des métaheuristiques pour traiter les cas mono-objectif et multi-objectif du problème. Le PDPTWPR avec demandes groupées prend en considération les demandes de transport qui doivent être servies par un même transporteur. Finalement, nous considérons la variante sélective dans laquelle les marchandises sont distribuées d'un même dépôt vers les clients (Capacitated Profitable Tour Problem - CPTP). L'objectif est de maximiser la différence entre le coût et le profit. Pour résoudre ce problème, nous proposons un algorithme de résolution exacte basé sur la programmation linéaire en nombres entiers à laquelle nous ajoutons plusieurs inégalités valides spécifiques à ce problème. Des expérimentations ont été conduites sur plusieurs classes d'instances afin de montrer l'efficacité de nos approches. / The goal of this thesis is to plan urban freight distribution in a collaborative logistic system. The collaboration consists in exchanging transportation requests between carriers to increase the efficiency of their operations. More precisely, when solving variants of the wellknown vehicle's routing problems in collaborative context, less kilometers can be driven and higher prices can be collected. The underlying operational problem is therefore the selective vehicle routing problem in which not all customers can be served, but a "profit" is gained for each served one. In this thesis, we firstly address the Capacitated Team Orienteering Problem (CTOP), a selective variant of the VRP in which capacity and travel time limitations are imposed to vehicles. We propose a variable space search metaheuristic that alternates between two different search spaces to solve CTOP. Then, we consider pickup and delivery requests to study two variants of the selective pickup and delivery problem: the PDP with Time Windows and Reserved requests (PDPTWPR) and the Clustered PDPTWPR. The first aims to choose suitable selective requests to be transported in addition to reserved ones. Metaheuristics are proposed to deal with the single-objective and the multi-objective sides of the problem. The second takes into consideration groups of requests that must be served by only one carrier. Finally, we consider the Capacitated Profitable Tour Problem (CPTP) in which goods need to be distributed from the depot to customers. We propose an exact method based on Integer Linear Programming to solve this problem. A set of cuts specific to CPTP is proposed in order to speed up the solution process. Experiments were conducted on a variety of instances of different sizes to demonstrate the effectiveness of our solution methods.
433

Résolution des problèmes arithmétiques : rôle intermédiaire des situations de changement d'état par rapport à celle de type ensembliste et temporel / Solving arithmetic word problems : the intermediate status of some situations for favoring transfer

Mengue Metoule, Evelyne 19 December 2014 (has links)
Cette thèse porte sur l’influence des facteurs sémantiques dans la résolution de problèmes additifs isomorphes, et sur les différences de difficulté en résultant. Les contextes statiques favorisent la stratégie basée sur la recherche de la valeur de la partie complémentaire et ceux de type temporel favorisent l’analogie entre éléments homologues. L’objectif est de : (i) montrer que les situations de transformation d’états sont intermédiaires entre les situations statiques et temporelles, (ii) faire appliquer à des contextes statiques la procédure favorisée par le contexte temporel et inversement. Les expériences sont réalisées auprès d’élèves de CM1/CM2. La première atteste du statut intermédiaire des situations de transformation d’état, leur conférant un rôle pivot potentiel pour certaines acquisitions. Les problèmes de transvasement favorisent moins la solution fondée sur le complément que les énoncés de type ensembliste et moins la solution fondée sur la comparaison que ceux de type temporel. Dans la seconde expérience, deux conditions d’apprentissage sont testées : l’une par instruction écrite, l’autre par intervention pédagogique orale. Cette dernière favorise nettement la stratégie par différence-comparaison pour des problèmes d’effectifs, et celle par différence-complément pour les problèmes d’âges. L’effet de généralisation est plus marqué dans le groupe qui a appris la stratégie par différence-comparaison. Dans l’apprentissage écrit, la stratégie différence-comparaison est transférée aux problèmes d’effectifs et généralisée aux problèmes non appris ; la stratégie différence-complément n’est pas transférée aux contextes inhabituels. / This thesis examines semantic factors in additive problem solving and the related differences in difficulties. The problems studied can be solved by two strategies: the complementation strategy, based on a step by step procedure; and the matching procedure, based on the analogy between homologous elements. The two objectives of this work are: (i) to show that change problems are intermediate between combination problems with frequency contexts and combination problems with age contexts; (ii) to transfer to age problems the complementation procedure usually applied to frequency problems, and transfer to frequency problems the matching strategy usually applied to age problem. The experiments were conducted with children of 4th and 5th grades. The first experiment demonstrates that the change situations are intermediate between frequency and age problems. less often solved by a complementation strategy than frequency problems and less often solved by a matching strategy than age problems. In the second experiment, two teaching situations were tested. The first consisted in giving written instruction, in order to transfer the matching strategy to frequency problems, and to transfer the complementation procedure to age problems the transfer was observed for the matching strategy but not for the complementation strategy. The second teaching method consisted in oral lessons in class, the goal bieing similar: a massive effect of transfer of both procedures was observed as well as a generalization effect to problems with other contexts.
434

Optimisation de l'analyse de la matière organique à l'aide d'un nouveau spectromètre de masse basé sur le CosmOrbitrap dans un contexte de future mission spatiale / Analyses of organic matter with a new mass spectrometer based on CosmOrbitrap in the framework of a new space mission

Selliez-Vandernotte, Laura 19 October 2018 (has links)
La spectrométrie de masse joue un rôle clef dans l’exploration spatiale, notamment dans la caractérisation de la matière organique présente sur de nombreux objets du Système Solaire. Dans ce manuscrit, l’accent est particulièrement mis sur Titan, présentant une chimie organique complexe initiée dans son ionosphère et se répercutant jusqu’à sa surface. Les spectromètres de masse embarqués à bord de la mission Cassini-Huygens ont permis de nombreuses détections de composés organiques. Cependant, les limites instrumentales d’un point de vue analytique poussent la communauté scientifique à se pencher sur de nouvelles techniques de spectrométrie de masse dites à haute résolution (HRMS).Mon travail de thèse s’est inscrit dans le développement d’un nouveau type d’analyseur en masse basé sur la technologie Orbitrap, instrumentation HRMS de laboratoire, pour une application spatiale. Ce projet se nomme CosmOrbitrap. L’objectif s’est ainsi concentré sur les possibilités d’analyse de la matière organique avec une configuration instrumentale simple et compacte couplant directement l’analyseur CosmOrbitrap à une ionisation par ablation laser (LAb-CosmOrbitrap), dans un contexte de future mission spatiale. L’identification univoque de composés organiques purs ou formant des mélanges complexes, la démonstration des performances en termes de résolution, de précision en masse et d’étude des rapports isotopiques mais également l’influence de la pression sur la résolution en masse obtenue sur des composés organiques sont détaillées dans ce manuscrit. L’analyse de la matière brute d’analogues d’aérosols de Titan synthétisés en laboratoire (tholins) montre un cas d’étude concret sur les capacités du LAb-CosmOrbitrap à permettre une analyse chimique profonde des échantillons représentatifs d’un environnement d’intérêt exobiologique. / Mass spectrometry is a key tool in space exploration, for the analysis of organic matter of many Solar System bodies. In this dissertation, we mainly focus on Titan. This amazing object in the Solar System shows a very rich organic chemistry from the ionosphere to the surface. Mass spectrometers aboard the Cassini-Huygens spacecraft have allowed the detection of many organic compounds. However, instrumental limits in terms of analytical performances lead scientists to develop new high resolution mass spectrometry techniques (HRMS).My PhD is rooted to the development of a new high resolution mass analyzer based on the Orbitrap technology, for a space application. This project is named CosmOrbitrap. The efficiency of a simple and compact instrumental version of CosmOrbitrap coupled with a laser ablation ionization process (LAb-CosmOrbitrap) is demonstrated on organic matter analyses in the framework of a future space mission. Univocal identification of pure organics compounds and complex organic mixtures, analytical performances such as mass resolving power, mass accuracy and isotopic abundances determination as well as the impact of the pressure on the mass resolution of organics are part of this dissertation. The study of laboratory analogs of Titan aerosols (named tholins) shows capabilities of the LAb-CosmOrbitrap to provide a deep chemical analysis of exobiological environment.
435

Nouvelles techniques pour l'instanciation et la production des preuves dans SMT / New techniques for instantiation and proof production in SMT solving

Barbosa, Haniel 05 September 2017 (has links)
Des nombreuses applications de méthodes formelles se fondent sur les solveurs SMT pour valider automatiquement les conditions à vérifier et fournissent des certificats de leurs résultats. Nous visons à la fois à améliorer l'efficacité des solveurs SMT et à accroître leur fiabilité. Notre première contribution est un cadre uniforme pour le raisonnement avec des formules quantifiées dans les solveurs SMT, dans lequel généralement diverses techniques d'instanciation sont utilisées. Nous montrons que les principales techniques d'instanciation peuvent être jetées dans ce cadre. Le cadre repose sur le problème de l'E-ground (dis)unification. Nous présentons une procédure de décision pour résoudre ce problème en pratique: Fermeture de congruence avec variables libres (CCFV}). Nous mesurons l'impact de CCFV dans les solveurs SMT veriT et CVC4. Nous montrons que nos implémentations présentent des améliorations par rapport aux approches à la fine pointe de la technologie. Notre deuxième contribution est un cadre pour le traitement des formules tout en produisant des preuves détaillées. Les principaux composants de notre cadre de production de preuve sont un algorithme de récurrence contextuelle générique et un ensemble extensible de règles d'inférence. Avec des structures de données appropriées, la génération des preuves ne crée que des frais généraux linéaires et les vérifications peuvent être vérifiées en temps linéaire. Nous avons également mis en œuvre l'approche en veriT. Cela nous a permis de simplifier considérablement la base du code tout en augmentant le nombre de problèmes pour lesquels des preuves détaillées peuvent être produites / In many formal methods applications it is common to rely on SMT solvers to automatically discharge conditions that need to be checked and provide certificates of their results. In this thesis we aim both to improve their efficiency of and to increase their reliability. Our first contribution is a uniform framework for reasoning with quantified formulas in SMT solvers, in which generally various instantiation techniques are employed. We show that the major instantiation techniques can be all cast in this unifying framework. Its basis is the problem of E-ground (dis)unification, a variation of the classic rigid E-unification problem. We introduce a decision procedure to solve this problem in practice: Congruence Closure with Free Variables (CCFV). We measure the impact of optimizations and instantiation techniques based on CCFV in the SMT solvers veriT and CVC4, showing that our implementations exhibit improvements over state-of-the-art approaches in several benchmark libraries stemming from real world applications. Our second contribution is a framework for processing formulas while producing detailed proofs. The main components of our proof producing framework are a generic contextual recursion algorithm and an extensible set of inference rules. With suitable data structures, proof generation creates only a linear-time overhead, and proofs can be checked in linear time. We also implemented the approach in veriT. This allowed us to dramatically simplify the code base while increasing the number of problems for which detailed proofs can be produced
436

Acquisition IRM optimisée en vue du dépistage du cancer du sein / Optimized MRI acquisition for breast cancer screening

Delbany, Maya 11 March 2019 (has links)
L’imagerie pondérée en diffusion (DWI) représente un outil prometteur pour augmenter la spécificité de l’IRM mammaire en vue du dépistage du cancer du sein. L’épaisseur de coupe pour une acquisition ayant un rapport signal sur bruit suffisant et couvrant les seins dans un temps compatible avec un examen clinique, reste égale ou supérieur à 3 mm, limitant la possibilité de dépistage. Dans ce travail, une méthode DWI isotrope a été développée pour obtenir des images haute résolution isotropes (1x1x1 mm3) couvrant entièrement les seins. Ces images sont obtenues en combinant : (i) une séquence à train de lecture segmenté (rs-EPI) qui correspond à plusieurs segments de lecture EPI avec écho navigation, permettant d’obtenir de hautes résolutions dans le plan, (ii) une stratégie de super-résolution (SR) consistant à acquérir trois jeux de données avec des coupes épaisses (3 mm) et des décalages de 1 mm dans le sens de coupe entre chaque acquisition et (iii) une méthode de reconstruction dédiée pour obtenir des données isotropes 1x1x1 mm3. Plusieurs schémas de reconstruction basés sur différentes régularisations ont été étudiés. La SR proposée a été comparée aux acquisitions natives de 1x1x1 mm3 sans algorithme SR sur huit sujets sains et des fantômes synthétiques. Pour valider la méthode SR, nous avons utilisé plusieurs méthodes : des simulations Monte-Carlo, des mesures de SNR et des métriques de netteté et enfin le coefficient de diffusion apparent (ADC). Ces validations ont aussi été confirmées par des mesures expérimentales sur fantômes contenant des objets de dimensions et diffusion calibrées. Un nouveau protocole de recherche clinique est proposé pour évaluer l’efficacité de la séquence de diffusion à haute résolution sur le dépistage d’un cancer mammaire, dans le but de remplacer la séquence de perfusion avec injection de produit de contraste utilisée en IRM mammaire. / Diffusion-weighted imaging (DWI) is a promising tool to increase the specificity of MRI for breast cancer screening. However, the field of view covering the breasts makes the DWI at high resolution difficult and the images obtained have low signal-to-noise ratios (SNR). The current DWI techniques are limited by the spatial resolution, mainly a slice thickness greater than or equal to 3 mm. In this work, an isotropic DWI method was developed to obtain high resolution isotropic images (1x1x1 mm3) covering the entire breast. These images are obtained by combining: (i) a readout-segmented DW-EPI sequence (rs-EPI), with several segments of k-space and echo navigator providing high in-plane resolution, (ii) a super-resolution (SR) strategy, which consists of acquiring three datasets with thick slices (3 mm) and 1mm-shifts in the slice direction, (iii) and combining them into a 1x1x1 mm3 dataset using a dedicated reconstruction. Several SR reconstruction schemes were investigated, based on different regularizations. The proposed SR strategy was compared to native 1x1x1 mm3 acquisitions (i.e. with 1 mm slice thickness) on eight healthy subjects, and synthetics phantoms. To validate the SR method, we used several methods: Monte Carlo simulations, SNR measurements and sharpness metrics, the apparent diffusion coefficient (ADC) values in normal breast tissue and breast diffusion/resolution phantom were also compared. A new clinical research protocol is proposed to evaluate the effectiveness of the high resolution diffusion sequence on breast cancer screening. The aim of this protocol is to replace the contrast-enhanced perfusion by the diffusion sequence for screening.
437

Synthèse et caractérisation physico-chimique de nouveaux phosphates de magnésium : (A¹₂ ou B²)Mg₂M³(PO₄)₃ (A = Na, Ag ; B = Ca, Pb, Sr, Ba ; M = Fe, In) / Synthesis and physicochemical characterization of new magnesium phosphates : (A¹₂ ou B²)Mg₂M³(PO₄)₃ (A = Na, Ag ; B = Ca, Pb, Sr, Ba ; M = Fe, In)

Ould Saleck, Ahmed 29 November 2018 (has links)
Ce travail de thèse s’inscrit dans le cadre de la contribution au programme de valorisation des matériaux phosphatés et plus particulièrement, les phosphates de type alluaudite ou α-CrPO₄. Ces composés se distinguent par leurs propriétés physico-chimiques aussi variées qu’importantes et sont très convoités dans plusieurs domaines d’applications comme la catalyse et l’électrochimie.Nous avons pu isoler onze nouveaux phosphates et déterminer leur structure par la diffraction des rayons X sur monocristal.Le phosphate PbMg₃(HPO₄)(PO₄)₂ a été préparé par la méthode hydrothermale. Sa structure cristalline a été résolue dans le système monoclinique I2/m.La substitution d’un cation Mg²⁺ par un fer trivalent (Fe³) dans le composé PbMg₃(HPO₄)(PO₄)₂ a permis d’isoler cinq nouveaux composés par voie solide. Quatre phosphates de formule MMg₂Fe(PO₄)₃ (M = Ba, Sr, Pb, Ca) s’apparentent à deux types structuraux différents. Les composés contenant Sr et Ba sont de type α-CrPO₄ et cristallisent dans une maille orthorhombique de groupe d’espace Imma. Quant à ceux contenant Ca ou Pb, leur structure s’affine dans le groupe d’espace P21/n du système monoclinique. Le cinquième phosphate est de formule Ca₂MgFe₂(PO₄)₄ cristallisant dans le système monoclinique avec un groupe d’espace Pbca.Enfin, nous avons synthétisé cinq nouveaux phosphates à base de Mg, de Fe et d’élément monovalents : NaMg₃(HPO₄)2(PO₄), Na₂Mg₂Fe(PO₄)₃, Ag₁,₆₇Mg₂,₃₃Fe₀,₈₉(PO₄)₃, Na₁,₈₅Mg₁,₈₅In₁,₁₅(PO₄)₃ et Ag₁,₆₉Mg₁,₆₉In₁,₃₁(PO₄)₃, en utilisant aussi bien la méthode hydrothermale que la synthèse par voie solide. Ces phosphates cristallisent dans le système monoclinique de groupe d’espace C2/c et s’apparentent au type structural alluaudite. La poudre cristalline des phases stoechiométriques A₂Mg₂Fe(PO₄)₃ (A = Na, Ag) a été synthétisée par voie solide et caractérisée par la diffraction de rayons X sur poudre. L’étude de la conductivité en fonction de la température de ces deux composés conduit à σ = 0,12x10⁻⁴ S.cm⁻¹ pour Na₂Mg₂Fe(PO₄)₃ et à σ = 4x10⁻³ S.cm⁻¹ pour Ag₂Mg₂Fe(PO₄)₃ à 500°C. / This study is a part of contribution to the investigation program aiming to elaborate and to characterize new phosphate-based materials, particularly, with the alluaudite and/or α- CrPO₄ type structure. These compounds are characterized by their wide physico-chemical properties that they can exhibit in several fields of application such as catalysis and electrochemistry.We have isolated and determined the structure of eleven new phosphates by means of single crystal X-ray diffraction.The phosphate PbMg₃(HPO₄)(PO₄)₂ was synthesized by hydrothermal method. Its structure was resolved in monoclinic system with space group I2/m.The substitution of one cation Mg²⁺ by Fe³⁺ has allowed us to isolate five new compounds using solid-state diffusion method. Four compounds of general formula MMg₂Fe(PO₄)₃ (M = Ba, Sr, Pb, Ca) exhibit two different structural types. The Sr or Ba based compounds are related to the α-CrPO₄ type structure and crystallize with the space group Imma of the orthorhombic system. Besides, the Ca or Pb based phosphates crystallize with the P21/n space group of the monoclinic system. The fifth phase, namely Ca₂MgFe₂(PO₄)₄, crystallizes in orthorhombic system with a Pbca space group.Finally, we have succeeded to synthesize five new Mg, Fe and monovalent elements based phosphates, namely NaMg₃(HPO₄)₂(PO₄), Na₂Mg₂Fe(PO₄)₃, Ag₁,₆₇Mg₂,₃₃Fe₀,₈₉(PO₄)₃, Na₁,₈₅Mg₁,₈₅In₁,₁₅(PO₄)₃ and Ag₁,₆₉Mg₁,₆₉In₁,₃₁(PO₄)₃, using both the hydrothermal and the solid-state diffusion methods. All these phosphates crystallize in the monoclinic system with C2/c space group and are similar to the alluaudite type structural. The powder of stoichiometric compounds A₂Mg₂Fe(PO₄)₃ (A = Na, Ag) were synthesized by solid-state method and characterized by X-Ray powder diffraction. Conductivity’s studies by impedance spectroscopic method have allowed determining values for Na₂Mg₂Fe(PO₄)₃ (σ = 0.12.10⁻⁴ S.cm⁻¹ at 500°C) and for Ag₂Mg₂Fe(PO₄)₃ (σ = 4.10⁻³ S.cm⁻¹ at 500°C) due to cations migration in the channels of the structure.
438

Méthode non-additive intervalliste de super-résolution d'images, dans un contexte semi-aveugle / A non-additive interval-valued super-resolution image method, in a semi-blind context

Graba, Farès 17 April 2015 (has links)
La super-résolution est une technique de traitement d'images qui consiste en la reconstruction d'une image hautement résolue à partir d'une ou plusieurs images bassement résolues.Cette technique est apparue dans les années 1980 pour tenter d'augmenter artificiellement la résolution des images et donc de pallier, de façon algorithmique, les limites physiques des capteurs d'images.Comme beaucoup des techniques de reconstruction en traitement d'images, la super-résolution est connue pour être un problème mal posé dont la résolution numérique est mal conditionnée. Ce mauvais conditionnement rend la qualité des images hautement résolues reconstruites très sensible au choix du modèle d'acquisition des images, et particulièrement à la modélisation de la réponse impulsionnelle de l'imageur.Dans le panorama des méthodes de super-résolution que nous dressons, nous montrons qu'aucune des méthodes proposées par la littérature ne permet de modéliser proprement le fait que la réponse impulsionnelle d'un imageur est, au mieux, connue de façon imprécise. Au mieux l'écart existant entre modèle et réalité est modélisé par une variable aléatoire, alors que ce biais est systématique.Nous proposons de modéliser l'imprécision de la connaissance de la réponse impulsionnelle par un ensemble convexe de réponses impulsionnelles. L'utilisation d'un tel modèle remet en question les techniques de résolution. Nous proposons d'adapter une des techniques classiques les plus populaires, connue sous le nom de rétro-projection itérative, à cette représentation imprécise.L'image super-résolue reconstruite est de nature intervalliste, c'est à dire que la valeur associée à chaque pixel est un intervalle réel. Cette reconstruction s'avère robuste à la modélisation de la réponse impulsionnelle ainsi qu'à d'autres défauts. Il s'avère aussi que la largeur des intervalles obtenus permet de quantifier l'erreur de reconstruction. / Super-resolution is an image processing technique that involves reconstructing a high resolution image based on one or several low resolution images. This technique appeared in the 1980's in an attempt to artificially increase image resolution and therefore to overcome, algorithmically, the physical limits of an imager.Like many reconstruction problems in image processing, super-resolution is known as an ill-posed problem whose numerical resolution is ill-conditioned. This ill-conditioning makes high resolution image reconstruction qualityvery sensitive to the choice of image acquisition model, particularly to the model of the imager Point Spread Function (PSF).In the panorama of super-resolution methods that we draw, we show that none of the methods proposed in the relevant literature allows properly modeling the fact that the imager PSF is, at best, imprecisely known. At best the deviation between model and reality is considered as being a random variable, while it is not: the bias is systematic.We propose to model scant knowledge on the imager's PSF by a convex set of PSFs. The use of such a model challenges the classical inversion methods. We propose to adapt one of the most popular super-resolution methods, known under the name of "iterative back-projection", to this imprecise representation. The super-resolved image reconstructed by the proposed method is interval-valued, i.e. the value associated to each pixel is a real interval. This reconstruction turns out to be robust to the PSF model and to some other errors. It also turns out that the width of the obtained intervals quantifies the reconstruction error.
439

De l'Europe du Sud-est à la Région Mer Noire : une Süd-Ost Politik pour la Commission européenne? De l'endiguement de l'Union Soviétique à l'élargissement de l'Union européenne / From a South-Eastern Europe to the Black Sea area : A Süd-Ost Politik for the European Commission? From the Soviet Union endiguement to the European Union enlargement

Roger, Ludwig 19 June 2014 (has links)
Réinscrivant le processus d’intégration européenne dans une Histoire de la Guerre froide et post-Guerre froide et plus généralement dans une histoire européenne plus longue que le seul XXe siècle, cette thèse explore l’histoire des relations de la Commission européenne avec la périphérie sud-orientale du continent. La longue période chronologique étudiée permets de mettre en exergue les « forces profondes » qui se tiennent derrières les actions de l’exécutif de la CEE/UE dans une région critique pour l’Europe. Pour se faire, nous nous sommes basés sur les archives de la Commission européenne, du Conseil, du Département d’État américain, des Ministères des affaires étrangères français et britannique, de la bibliothèque de Cluj-Napoca en Roumanie et d’entretiens.Divisée en quatre parties, chacune se centrant sur une période chronologique, ce travail analyse l’action de la Commission face aux changements qui ont bouleversé l’Europe du Sud-est entre 1960 et 2010. L’adaptation constante de la politique de la Commission, de la « doctrine de l’Association » à la Synergie de la Mer Noire, nous ont amené à développer l’idée d’une Süd-ost politik qui se met en place dès le début des années 1960. Cependant, contrairement à l’Ostpolitik de Bonn, il ne s’agit pas pour Bruxelles d’aller vers les États communistes du Sud-est européen ou l’Union soviétique, mais plutôt de lutter contre leur influence. La Süd-Ost politik communautaire est clairement anticommuniste et antirusse.La Communauté fait barrage à Moscou en étendant le modèle de la démocratie libérale capitaliste dans la zone autour des Détroits. La situation stratégique d’Athènes, d’Ankara et plus tard de Tbilissi ou Kiev n’est pas oubliée par Bruxelles. Ainsi, la Commission s’inscrit dans une plus longue histoire, son action fait écho à la lutte entre Paris, Londres et Saint-Pétersbourg pour le contrôle des Détroits, aux tentatives des États de la région de copier les modèles nationaux d’Europe de l’Ouest et à la politique orientale des Puissances occidentales après 1918.Cependant, la Commission doit ménager des État membres qui lui rappellent sans cesse que ces actions doivent rester limitées aux traités. L’Avis sur la Grèce en 1976 marque le point culminant de ce débat entre Conseil et Commission. Parallèlement, au cours des années 1970, Bruxelles veille à ne pas laisser émerger dans sa périphérie des organisations qui pourraient la concurrencer. Il en sera ainsi de la Conférence pour la coopération et la sécurité en Europe et de son volet méditerranéen mais aussi de la Coopération Balkanique.Si la chute de l’Union soviétique fait naitre des hésitations sur la conduite à suivre vis-à-vis de l’Europe du Sud-est et sa nouvelle extension vers le Caucase et dans les anciennes républiques soviétiques. Bien vite la Commission revient à sa politique d’extension du modèle européen. Cependant, le centre des préoccupations communautaire n’est plus la Grèce ou la Turquie. Avec l’effondrement de l’Empire soviétique, le champ d’action de la Communauté -devenue Union- s’est élargi à l’ensemble de la Région Mer Noire.Pourtant, la non résolution du problème de Chypre, l’instabilité financière de la Grèce, les crises politiques turques, le maintien hors de Schengen de la Roumanie et de la Bulgarie sont des exemples des difficultés rencontrées par la Communauté dans la région.La guerre en Géorgie et l’annexion de la Crimée par la Russie à la suite de la révolution à Kiev illustrent que le processus « doux » d’inoculation des valeurs du Traité de Rome ne va pas de soi du moment que celui-ci rencontre une opposition « dure ». Nous achevons notre réflexion en nous posant la question de la capacité de l’Union et de la Commission à absorber à terme l’ensemble de la Mer Noire ce qui mettrait la Mésopotamie et l’Asie centrale en contact direct avec le processus d’intégration européenne.Il s’agit maintenant de savoir si la Mer Noire deviendra un " lac Européen". / Fitting the European integration process into the history of the Cold War and post-Cold War and more generally in European history longer than the “short” twentieth century, this thesis explores the history of relations between the European Commission and the South-Eastern outskirts of the continent. The long period studied allows to highlight the "deep forces" that stand behind the actions of the executive of the EEC / EU in such a critical region for Europe. To do so, we relied on the archives of the European Commission, the Council, the U.S. State Department, the British and French Ministries of Foreign Affairs, the library of Cluj-Napoca University in Romania and interviews.Divided into four parts, each focusing on a period of time, this work analyses the actions of the Commission to address the changes that have transformed the region between 1960 and 2010. The continuous adaptation of the policy of the Commission, from the "doctrine of Association” to the Black Sea Synergy, led us to develop the idea of a Süd-ost politik that was already designed in the early 1960s. However, unlike the Ostpolitik of Bonn, Brussels did not go toward the communist states of South-Eastern Europe or the Soviet Union, but rather prevent their influence. The Community’ Süd-Ost politik was clearly anti-communist and anti-Russian.This is the main continuity: the European Community had to block Moscow by extending the model of capitalist liberal democracy in the area around the Straits. The particular strategic situation of Athens, Ankara and later Tbilisi or Kiev is never forgotten by Brussels. In this, the Commission is part of a longer history, its action echoes the struggle between Paris, London and St. Petersburg for the control of the Turkish Straits, attempts by states in the region to copy Western European domestic models and the Eastern policy of the Western powers after the First World War.However, the Commission had to deal with the Member States that constantly reminded Brussels that its actions should remain within the framework of the Treaties. The Opinion on Greece in 1976 marks the culmination of the debate between the Council and Commission. Meanwhile, during the 1970s, the EEC executive carefully took care to stop the emergence of organizations in its periphery that could compete with the Community. This will be the Conference for Security and Cooperation in Europe and its Mediterranean component but also the Balkan Cooperation.In 1991, when the Soviet Union collapsed, the Commission was uncertain of what to do with South Eastern Europe and its new extension to the Caucasus and the former Soviet republics. The Commission quickly returned to its systematic policy of extending the European model. However, the centre of community concerns was not Greece or Turkey. With the collapse of the Soviet Empire, the scope of the Community –became Union- expanded to the entire Black Sea region.However, the failure to resolve the Cyprus problem, the financial instability of Greece that threatens the entire euro zone, political crises in Turkey, the decision to keep out of Schengen space Romania and Bulgaria are examples of the difficulties faced by the Community in the region.The war in Georgia and the annexation of Crimea by Russia following the revolution in Kiev illustrate that the “soft” inoculation process of the values of the Rome Treaty does not come by itself as long as it meets a “hard” opposition.We conclude our discussion by asking the question of the capacity of the Union and its Commission to absorb eventually the whole Black Sea basin, which would put Mesopotamia and Central Asia in direct contact with the European integration process.The question is now whether the Black Sea will eventually become a “European lake
440

Spectroscopie Infrarouge et Raman à très haute résolution de la molécule d’éthylène. / Infrared and Raman spectroscopy at very high resolution of the ethylene molecule

Alkadrou, Abdulsamee 08 December 2016 (has links)
La spectroscopie est un outil puissant et non-destructif permettant, d’après les spectres, de remonter à des grandeurs physiques importantes telles que la concentration, la température, la pression, … du gaz en question.Les travaux présentés dans ce manuscrit sont consacrés à l’analyse des spectres infrarouges et Raman à très haute résolution de l’éthylène pour des applications atmosphériques et planétologiques.Cette thèse a été effectuée au sein du Groupe de Spectrométrie Moléculaire et Atmosphérique (GSMA) de l’Université de Reims Champagne- Ardenne. En collaboration avec l’équipe (SMPCA) au sein du laboratoire Interdisciplinaire Carnot de Bourgogne (ICB) à Dijon, l’équipe (CQP) au sien du service de Chimie Quantique et Photophysique à Bruxelles, l’Instituto de Estructura de la Materia (CSIC) à Madrid et les membres de la ligne AILES du centre de rayonnement synchrotron SOLEIL à Saint-Aubin.Cette thèse est structurée en 4 chapitres. Le premier chapitre est consacré sur les généralités de la molécule étudiée. Le second chapitre présente l’aspect théorique de la spectroscopie. Le troisième chapitre portant sur l’explication du modèle théorique qui nous avons utilisé pour effectuer l’analyse et le traitement des spectres. Dans le quatrième chapitre, nous présentons les résultats de l’analyse du spectre de la molécule de l’éthylène en différentes régions spectral.Ces résultats alimenteront des bases de données internationales telles que HITRAN (L. Rothmann) et GEISA (M. Rotger et le CNES) mais aussi peuvent servir de données modèle pour la start-up AEROVIA initiée par G. Durry, directeur de notre laboratoire. Avec ces données, nous alimenterons également la base de données européenne VAMDC. / The spectroscopy is a powerful analytical technique capable of providing Important Information physical quantities such as concentration, temperature, pressure, ... and other questions about gas.The work presented in this manuscript is devoted to analysis of high resolution infrared and Raman spectroscopy of the ethylene for atmospheric, astrophysical and planetological applications.The work described in this thesis was performed within the "Groupe de Spectrométrie Moléculaire et Atmosphérique" (GSMA) in the university of Reims Champagne-Ardenne in Reims. In national collaboration with the team (SMPCA) In collaboration in the laboratory "Interdisciplinaire Carnot de Bourgogne" (ICB) in Dijon, the team (CQP) in the service de "chimie quantique et photophysique" in Brussels. l’Instituto de Estructura de la Materia (CSIC) in Madrid and the members of the line AILES of the Synchrotron SOLEIL in Saint-Aubin.The thesis is structured into 4 main chapters. The first chapter deals with the generality of molecule studied. The second chapter represents the theoretical aspects of the spectroscopy. The third chapter dealing with the explanation of the theoretical model that we used for the analysis and processing of spectra. In the fourth chapter, we present the results of the analysis of the spectrum of the molecule of ethylene in different spectral regions.These results will feed the international databases such as HITRAN (L. Rothmann) and GEISA (Mr. Rotger and CNES), and it can also serve as a data for modeling the start-up AEROVIA initiated by G. Durry, the director of the laboratory. with these data, we can also feed the European database VAMDC.

Page generated in 0.086 seconds