391 |
Transport optimal semi-discret et applications en optique anidolique / Semi-discrete optimal transport and applications in non-imaging opticsMeyron, Jocelyn 16 October 2018 (has links)
Dans cette thèse, nous nous intéressons à la résolution de nombreux problèmes d’optique anidolique. Plus précisément, il s’agit de construire des composants optiques qui satisfont des contraintes d’illumination à savoir que l’on veut que la lumière réfléchie(ou réfractée) par ce composant corresponde à une distribution fixée en avance. Comme applications, nous pouvons citer la conception de phares de voitures ou de caustiques. Nous montrons que ces problèmes de conception de composants optiques peuvent être vus comme des problèmes de transport optimal et nous expliquons en quoi cette formulation permet d’étudier l’existence et la régularité des solutions. Nous montrons aussi comment, en utilisant des outils de géométrie algorithmique, nous pouvons utiliser une méthode numérique efficace, la méthode de Newton amortie, pour résoudre tous ces problèmes. Nous obtenons un algorithme générique capable de construire efficacement un composant optique qui réfléchit (ou réfracte)une distribution de lumière prescrite. Nous montrons aussi la convergence de l’algorithme de Newton pour résoudre le problème de transport optimal dans le cas où le support de la mesure source est une union finie de simplexes. Nous décrivons également la relation commune qui existe entre huit différents problèmes de conception de composants optiques et montrons qu’ils peuvent tous être vus comme des équations de Monge-Ampère discrètes. Nous appliquons aussi la méthode de Newton à de nombreux problèmes de conception de composants optiques sur différents exemples simulés ainsi que sur des prototypes physiques. Enfin, nous nous intéressons à un problème apparaissant en transport optimal numérique à savoir le choix du point initial. Nous développons trois méthodes simples pour trouver de “bons” points initiaux qui peuvent être ensuite utilisés comme point de départ dans des algorithmes de résolution de transport optimal. / In this thesis, we are interested in solving many inverse problems arising inoptics. More precisely, we are interested in designing optical components such as mirrors andlenses that satisfy some light conservation constraints meaning that we want to control thereflected (or refracted) light in order match a prescribed intensity. This has applications incar headlight design or caustic design for example. We show that optical component designproblems can be recast as optimal transport ones for different cost functions and we explainhow this allows to study the existence and the regularity of the solutions of such problems. Wealso show how, using computational geometry, we can use an efficient numerical method namelythe damped Newton’s algorithm to solve all these problems. We will end up with a singlegeneric algorithm able to efficiently build an optical component with a prescribed reflected(or refracted) illumination. We show the convergence of the Newton’s algorithm to solve theoptimal transport problem when the source measure is supported on a finite union of simplices.We then describe the common relation between eight optical component design problemsand show that they can all be seen as discrete Monge-Ampère equations. We also apply theNewton’s method to optical component design and show numerous simulated and fabricatedexamples. Finally, we look at a problem arising in computational optimal transport namelythe choice of the initial weights. We develop three simple procedures to find “good” initialweights which can be used as a starting point in computational optimal transport algorithms.
|
392 |
Delaunay triangulations of a family of symmetric hyperbolic surfaces in practice / Triangulations de Delaunay d'une famille de surfaces hyperboliques symétriques en pratiqueIordanov, Iordan 12 March 2019 (has links)
La surface de Bolza est la surface hyperbolique orientable compacte la plus symétrique de genre 2. Pour tout genre supérieur à 2, il existe une surface orientable compacte construite de manière similaire à la surface de Bolza et ayant le même type de symétries. Nous appelons ces surfaces des surfaces hyperboliques symétriques. Cette thèse porte sur le calcul des triangulations de Delaunay (TD) de surfaces hyperboliques symétriques. Les TD de surfaces compactes peuvent être considérées comme des TD périodiques de leur revêtement universel (dans notre cas, le plan hyperbolique). Une TD est pour nous un complexe simplicial. Cependant, les ensembles de points ne définissent pas tous une décomposition simpliciale d'une surface hyperbolique symétrique. Dans la littérature, un algorithme a été proposé pour traiter ce problème avec l'utilisation de points factices : initialement une TD de la surface est construite avec un ensemble de points connu, puis des points d'entrée sont insérés avec le célèbre algorithme incrémental de Bowyer, et enfin les points factices sont supprimés, si la triangulation reste toujours un complexe simplicial. Pour la surface de Bolza, les points factices sont spécifiés. L'algorithme existant calcule une DT de la surface de Bolza comme une DT périodique du plan hyperbolique, ce qui nécessite de travailler dans un sous-ensemble approprié du plan hyperbolique. Nous étudions les propriétés des TD de la surface de Bolza définies par des ensembles de points contenants l'ensemble proposé de points factices, et nous décrivons en détail une implémentation de l'algorithme incrémentiel pour cette surface. Nous commençons par définir un représentant canonique unique qui est contenu dans un sous-ensemble borné du plan hyperbolique pour chaque face d'une TD de la surface. Nous donnons une structure de données pour représenter une TD de la surface de Bolza via les représentants canoniques de ses faces. Nous détaillons les étapes de la construction d'une telle triangulation et les opérations supplémentaires qui permettent de localiser les points et de retirer des sommets. Nous présentons également les résultats sur le degré algébrique des prédicats nécessaires pour toutes les opérations. Nous fournissons une implémentation entièrement dynamique pour la surface de Bolza, en offrant l'insertion de nouveaux points, la suppression des sommets existants, la localisation des points, et la construction d'objets duaux. Notre implémentation est basée sur la bibliothèque CGAL (Computational Geometry Algorithms Library), et est actuellement en cours de révision pour être intégrée dans la bibliothèque. L'intégration de notre code dans CGAL nécessite que tous les objets que nous introduisons soient compatibles avec le cadre existant et conformes aux standards adoptés par la bibliothèque. Nous donnons une description détaillée des classes utilisées pour représenter et traiter les triangulations hyperboliques périodiques et les objets associés. Des analyses comparatives et des tests sont effectués pour évaluer notre implémentation, et une application simple est donnée sous la forme d'une démonstration CGAL. Nous discutons une extension de notre implémentation à des surfaces hyperboliques symétriques de genre supérieur à 2. Nous proposons trois méthodes pour engendrer des ensembles de points factices pour chaque surface et présentons les avantages et les inconvénients de chaque méthode. Nous définissons un représentant canonique contenu dans un sous-ensemble borné du plan hyperbolique pour chaque face d'une TD de la surface. Nous décrivons une structure de données pour représenter une telle triangulation via les représentants canoniques de ses faces, et donnons des algorithmes pour l'initialisation de la triangulation. Enfin, nous discutons une implémentation préliminaire dans laquelle nous examinons les difficultés d'avoir des prédicats exacts efficaces pour la construction de TD de surfaces hyperboliques symétriques / The Bolza surface is the most symmetric compact orientable hyperbolic surface of genus 2. For any genus higher than 2, there exists one compact orientable surface constructed in a similar way as the Bolza surface having the same kind of symmetry. We refer to this family of surfaces as symmetric hyperbolic surfaces. This thesis deals with the computation of Delaunay triangulations of symmetric hyperbolic surfaces. Delaunay triangulations of compact surfaces can be seen as periodic Delaunay triangulations of their universal cover (in our case, the hyperbolic plane). A Delaunay triangulation is for us a simplicial complex. However, not all sets of points define a simplicial decomposition of a symmetric hyperbolic surface. In the literature, an algorithm has been proposed to deal with this issue by using so-called dummy points: initially a triangulation of the surface is constructed with a set of dummy points that defines a Delaunay triangulation of the surface, then input points are inserted with the well-known incremental algorithm by Bowyer, and finally the dummy points are removed, if the triangulation remains a simplicial complex after their removal. For the Bolza surface, the set of dummy points to initialize the triangulation is given. The existing algorithm computes a triangulation of the Bolza surface as a periodic triangulation of the hyperbolic plane and requires to identify a suitable subset of the hyperbolic plane in which to work. We study the properties of Delaunay triangulations of the Bolza surface defined by sets of points containing the proposed set of dummy points, and we describe in detail an implementation of the incremental algorithm for it. We begin by identifying a subset of the hyperbolic plane that contains at least one representative for each face of a Delaunay triangulation of the surface, which enables us to define a unique canonical representative in the hyperbolic plane for each face on the surface. We give a data structure to represent a Delaunay triangulation of the Bolza surface via the canonical representatives of its faces in the hyperbolic plane. We detail the construction of such a triangulation and additional operations that enable the location of points and the removal of vertices. We also report results on the algebraic degree of predicates needed for all operations. We provide a fully dynamic implementation for the Bolza surface, supporting insertion of new points, removal of existing vertices, point location, and construction of dual objects. Our implementation is based on CGAL, the Computational Geometry Algorithms Library, and is currently under revision for integration in the library. To incorporate our code into CGAL, all the objects that we introduce must be compatible with the existing framework and comply with the standards adopted by the library. We give a detailed description of the classes used to represent and handle periodic hyperbolic triangulations and related objects. Benchmarks and tests are performed to evaluate our implementation, and a simple application is given in the form of a CGAL demo. We discuss an extension of our implementation to symmetric hyperbolic surfaces of genus higher than 2. We propose three methods to generate sets of dummy points for each surface and present the advantages and shortcomings of each method. We identify a suitable subset of the hyperbolic plane that contains at least one representative for each face of a Delaunay triangulation of the surface, and we define a canonical representative in the hyperbolic plane for each face on the surface. We describe a data structure to represent such a triangulation via the canonical representatives of its faces, and give algorithms for the initialization of the triangulation with dummy points. Finally, we discuss a preliminary implementation in which we examine the difficulties of having efficient exact predicates for the construction of Delaunay triangulations of symmetric hyperbolic surfaces
|
393 |
Intégration de connaissances anatomiques a priori dans des modèles géométriques / Integration of anatomic a priori knowledge into geometric modelsHassan, Sahar 20 June 2011 (has links)
L'imagerie médicale est une ressource de données principale pour différents types d'applications. Bien que les images concrétisent beaucoup d'informations sur le cas étudié, toutes les connaissances a priori du médecin restent implicites. Elles jouent cependant un rôle très important dans l'interprétation et l'utilisation des images médicales. Dans cette thèse, des connaissances anatomiques a priori sont intégrées dans deux applications médicales. Nous proposons d'abord une chaîne de traitement automatique qui détecte, quantifie et localise des anévrismes dans un arbre vasculaire segmenté. Des lignes de centre des vaisseaux sont extraites et permettent la détection et la quantification automatique des anévrismes. Pour les localiser, une mise en correspondance est faite entre l'arbre vasculaire du patient et un arbre vasculaire sain. Les connaissances a priori sont fournies sous la forme d'un graphe. Dans le contexte de l'identification des sous-parties d'un organe représenté sous forme de maillage, nous proposons l'utilisation d'une ontologie anatomique, que nous enrichissons avec toutes les informations nécessaires pour accomplir la tâche de segmentation de maillages. Nous proposons ensuite un nouvel algorithme pour cette tâche, qui profite de toutes les connaissances a priori disponibles dans l'ontologie. / Medical imaging is a principal data source for different applications. Even though medical images represent a lot of knowledge concerning the studied case, all the a priori knowledge known by the specialist remains implicit. Nevertheless this a priori knowledge has a major role in the interpretation and the use of the images. In this thesis, anatomical a priori knowledge is integrated in two medical applications. First, an automatic processing pipeline is proposed in order to detect, quantify and localize aneurysms on a segmented cerebrovascular tree. Centerlines of blood vessels are extracted and then used to automatically detect aneurysms and quantify them. To localize aneurysm, a matching is made between the cerebrovascular tree of the patient and a healthy one. The a priori knowledge, in this case, is represented by a graph. In the context of identifying sub-parts of an organ represented by a mesh, we propose the use of an anatomical ontology. This ontology is first enhanced by all information necessary to achieve the task of mesh segmenting. A new algorithm using this ontology to accomplish the segmentation task is then proposed.
|
394 |
A l'intersection de la combinatoire des mots et de la géométrie discrète : palindromes, symétries et pavages / At the intersection of combinatorics on words and discrete geometry : palindromes, symmetries and tilingsBlondin Massé, Alexandre 02 December 2011 (has links)
Dans cette thèse, différents problèmes de la combinatoire des mots et de géométrie discrète sont considérés. Nous étudions d'abord l'occurrence des palindromes dans les codages de rotations, une famille de mots incluant entre autres les mots sturmiens et les suites de Rote. En particulier, nous démontrons que ces mots sont pleins, c'est-à-dire qu'ils réalisent la complexité palindromique maximale. Ensuite, nous étudions une nouvelle famille de mots, appelés mots pseudostandards généralisés, qui sont générés à l'aide d'un opérateur appelé clôture pseudopalindromique itérée. Nous présentons entre autres une généralisation d'une formule décrite par Justin qui permet de générer de façon linéaire et optimale un mot pseudostandard généralisé. L'objet central, le f-palindrome ou pseudopalindrome est un indicateur des symétries présentes dans les objets géométriques. Dans les derniers chapitres, nous nous concentrons davantage sur des problèmes de nature géométrique. Plus précisément, nous don-nons la solution à deux conjectures de Provençal concernant les pavages par translation, en exploitant la présence de palindromes et de périodicité locale dans les mots de contour. À la fin de plusieurs chapitres, différents problèmes ouverts et conjectures sont brièvement présentés. / In this thesis, we explore different problems at the intersection of combinatorics on words and discrete geometry. First, we study the occurrences of palindromes in codings of rotations, a family of words including the famous Sturmian words and Rote sequences. In particular, we show that these words are full, i.e. they realize the maximal palindromic complexity. Next, we consider a new family of words called generalized pseudostandard words, which are generated by an operator called iterated pseudopalindromic closure. We present a generalization of a formula described by Justin which allows one to generate in linear (thus optimal) time a generalized pseudostandard word. The central object, the f-palindrome or pseudopalindrome, is an indicator of the symmetries in geometric objects. In the last chapters, we focus on geometric problems. More precisely, we solve two conjectures of Provençal about tilings by translation, by exploiting the presence of palindromes and local periodicity in boundary words. At the end of many chapters, different open problems and conjectures are briefly presented.
|
395 |
Reconstruction Volumique de Résultats de Simulation à Base Chimère / Volumetric Reconstruction of Chimera Simulation ResultsHuynh, Minh Duc 09 July 2012 (has links)
La simulation numérique des écoulements est une étape essentielle de la conception des turbines à gaz équipant les hélicoptères. La recherche permanente de la performance a conduit à des géométries de turbines très complexes et il devient de plus en plus difficile de modéliser des grilles de simulation qui épousent parfaitement la CAO des moteurs. La technique chimère permet de s’affranchir des contraintes de recollement parfait des différentes grilles en autorisant leur chevauchement. Cependant elle soulève de nouveaux problèmes lors de la phase de post-traitement, lorsqu’il s’agit d’exploiter les résultats de simulation afin de faire de nouveaux calculs ou de les visualiser, parce que les outils usuels ne sont pas adaptés à ces configurations particulières. Dans le cadre des deux premiers projets du programme MOSART du pôle de compétitivité Aerospace Valley, respectivement MACAO et OSMOSES, nous avons travaillé en collaboration avec l’entreprise Turbomeca à la conception d’une méthode de reconstruction volumique afin de traiter les résultats de simulations à base chimère. Nous avons ainsi proposé une méthode innovante permettant de reconstruire une partition de l’espace de simulation exempte de chevauchement entre grilles. La nouvelle partition conserve le maximum de propriétés des grilles d’origine et assure en tout point la conformité aux bords. La complexité théorique est linéaire avec la taille des grilles d’origine et nous permet d’obtenir des temps de traitement de l’ordre de la seconde pour des grilles de plusieurs centaines de milliers de mailles. Le principal intérêt de ce travail est de rendre exploitables les résultats de simulations à base chimère par les outils de post-traitement, qu’il s’agisse d’outils maison ou des nombreux logiciels commerciaux ou OpenSource disponibles, condition indispensable pour l’adoption de la méthode chimère par les bureaux d’études. / Computationnal fluid dynamics is an essential step in gas turbine modelling. Continuous optimization of turbines has led to sophisticated geometries, which raises severe issues for the design of adapted simulation grids. The chimera technique aims at relaxing geometry matching constraints by allowing grids overlap. However, post-processing of simulation results performed over chimera grids raises new issues because usual tools are not tuned for this particular geometricconfigurations. In the framework of the MOSART programme of the world competitiveness cluster Aerospace Valley, we have been working in collaboration with Turbomeca in order to develop a technique for the volumetric reconstruction of chimerasimulation results. We propose an innovative method that allows us to build a collection of non-overlapping grids while preserving the main properties of the former simulation grids and featuring boundary conforming property everywhere.The theorical complexity of our algorithms has proved to be linear in the size of the former grids and leads to computation times of a few seconds for grids of hundreds of thousands of cells. The main impact of this work leads in the possibility of using any post-processing tool, including a large number of OpenSource solutions, for post-processing chimera simulation results, which is a mandatory condition for the wide acceptance of this method by industry actors.
|
396 |
Invariants Topologiques d'Arrangements de droites / Topological invariants of line arrangementsGuerville, Benoît 06 December 2013 (has links)
Cette thèse est le point d’intersection entre deux facettes de l’étude des arrangements de droites : la combinatoire et la topologie. Dans une première partie nous avons étudié l’inclusion de la variété bord dans le complémentaire d’un arrangement. Nous avons ainsi généralisé le résultat d’E. Hironaka au cas de tous les arrangements complexes. Pour contourner les problèmes provenant des arrangements non réels, nous avons étudié le diagramme de câblage, dit wiring diagram, qui code la monodromie de tresses sous forme de tresse singulière. Pour pouvoir l'utiliser, nous avons implémenté un programme sur Sage permettant de calculer ce diagramme en fonction des équations de l’arrangement. Cela nous a permis de d’obtenir deux descriptions explicites de l’application induite par l’inclusion de la variété bord dans le complémentaire sur les groupes fondamentaux. Nous obtenons ainsi deux nouvelles présentations du groupe fondamental du complémentaire d’un arrangement. L’une d’entre elle généralise le théorème de R. Randell au cas des arrangements complexes. Pour continuer ces travaux, nous avons étudié l’application induite par l’inclusion sur le premier groupe d’homologie. Nous obtenons deux descriptions simples de cette application. En s’inspirant des travaux de J.I. Cogolludo, nous décrivons une décomposition canonique du premier groupe d’homologie de la variété bord comme produit de la 1-homologie et de la 2-cohomologie du complémentaire, ainsi qu'un isomorphisme entre la 2-cohomologie du complémentaire et la 1-homologie du graphe d’incidence. Dans la seconde partie de notre travail nous nous sommes intéressés à l’étude des caractères du groupe fondamental du complémentaire. Nous partons des résultats obtenus par E. Artal sur le calcul de la profondeur d’un caractère. Cette profondeur peut être décomposée en un terme projectif et un terme quasi-projectif. Un algorithme pour calculer la partie projective a été donné par A. Libgober. Les travaux de E. Artal concernent la partie quasi-projective. Il a obtenu une méthode pour la calculer en fonction de l’image de certains cycles particuliers du complémentaire par le caractère. En utilisant les résultats obtenus dans la première partie, nous avons obtenu un algorithme complet permettant le calcul de la profondeur quasi-projective d’un caractère. A travers l’étude de cet algorithme, nous avons obtenu une condition combinatoire pour admettre une profondeur quasi-projective potentiellement non combinatoire. Nous avons ainsi défini la notion de caractère inner-cyclic . Cette notion nous a permis de formuler des conditions fortes sur la combinatoire pour qu’un arrangement n’ait que des caractères de profondeur quasi-projective nulle. Enfin pour diminuer le nombre d’exemples à considérer nous avons introduit la notion de combinatoire première. Si une combinatoire ne l’est pas, alors les variétés caractéristiques de ses réalisations sont définies par celles d’un arrangement avec moins de droites. En parallèle à cette étude, nous avons observé que la composition de l’application induite par l’inclusion sur le premier groupe d’homologie avec un caractère nous fournit un invariant topologique de l'arrangement obtenu en désingularisant les points multiples (blow-up). De plus, nous montrons que cet invariant n’est pas de nature combinatoire. Il nous a ainsi permis de découvrir deux nouvelles nc-paires de Zariski. / This thesis is the intersection point between the two facets of the study of line arrangements: combinatorics and topology. In the first part, we study the inclusion of the boundary manifold in the complement of an arrangement. We generalize the results of E. Hironaka to the case of any complex line arrangement. To get around the problems due to the case of non complexified real arrangement, we study the braided wiring diagram. We develop a Sage program to compute it from the equation of the complex line arrangement. This diagram allows to give two explicit descriptions of the map induced by the inclusion on the fundamental groups. From theses descriptions, we obtain two new presentations of the fundamental group of the complement. One of them is a generalization of the R. Randell Theorem to any complex line arrangement. In the next step of this work, we study the map induced by the inclusion on the first homology group. Then we obtain two simple descriptions of this map. Inspired by ideas of J.I. Cogolludo, we give a canonical description of the homology of the boundary manifold as the product of the 1-homology with the 2-cohomology of the complement. Finally, we obtain an isomorphism between the 2-cohomology of the complement with the 1-homology of the incidence graph of the arrangement. In the second part, we are interested by the study of character on the group of the complement. We start from the results of E. Artal on the computation of the depth of a character. This depth can be decomposed into a projective term and a quasi-projective term, vanishing for characters that ramify along all the lines. An algorithm to compute the projective part is given by A. Libgober. E. Artal focuses on the quasi-projective part and gives a method to compute it from the image by the character of certain cycles of the complement. We use our results on the inclusion map of the boundary manifold to determine these cycles explicitly. Combined with the work of E. Artal we obtain an algorithm to compute the quasi-projective depth of any character. From the study of this algorithm, we obtain a strong combinatorial condition on characters to admit a quasi-projective depth potentially not determined by the combinatorics. With this property, we define the inner-cyclic characters. From their study, we observe a strong condition on the combinatorics of an arrangement to have only characters with null quasi-projective depth. Related to this, in order to reduce the number of computations, we introduce the notion of prime combinatorics. If a combinatorics is not prime, then the characteristics varieties of its realizations are completely determined by realization of a prime combinatorics with less line. In parallel, we observe that the composition of the map induced by the inclusion with specific characters provide topological invariants of the blow-up of arrangements. We show that the invariant captures more than combinatorial information. Thereby, we detect two new examples of nc-Zariski pairs.
|
397 |
Étude topologique du flot horocyclique : le cas des surfaces géométriquement infinies / Topological study of the horocycle flow : the case of geometrically infinite surfacesBellis, Alexandre 22 May 2018 (has links)
On étudie le comportement topologique du flot horocyclique sur des surfaces hyperboliques géométriquement infinies. Cette étude est intimement liée à celle du flot géodésique sur ces surfaces. Le premier chapitre commence par introduire les objets de géométrie hyperbolique que nous utiliserons. Il présente ensuite une classe de surfaces, les flûtes hyperboliques, qui couvrent une grande partie de la complexité des surfaces géométriquement infinies. Enfin, il aborde la notion de finesse asymptotique d'une demi-géodésique, qui donne la limite inférieure du rayon d'injectivité de la surface le long de la demi-géodésique. Le deuxième chapitre est consacré aux propriétés classiques du flot horocyclique sur lesquelles nous baserons nos preuves. Le troisième chapitre concerne l'étude de l'intersection entre l'adhérence de l'orbite horocyclique issue d'un vecteur u d'une surface hyperbolique et la demi orbite géodésique issue de ce même vecteur. Nous montrons que si la finesse asymptotique de la demi-orbite géodésique issue de u est finie et si u n'est pas périodique pour le flot horocyclique, cette intersection contient une infinité divergente de points. Par ailleurs, si la finesse asymptotique est nulle, alors cette intersection est égale à toute la demi-orbite géodésique positive. Nous montrons cependant que même si la finesse asymptotique n'est pas nulle, la demi-orbite géodésique peut tout de même être contenue dans cette intersection. Le quatrième chapitre étudie les liens entre une orbite horocyclique issue d'un vecteur u et la feuille fortement stable associée. Nous commençons par montrer que les adhérences de ces deux ensembles coïncident toujours. Cependant, cette propriété ne s'étend pas aux ensembles eux-mêmes et nous donnons ensuite une condition suffisante pour que qu'ils ne coïncident pas. Nous montrons qu'alors la feuille fortement stable est une union d'une quantité non dénombrable d'orbites horocycliques. / We study the topological behavior of the horocycle flow on geometrically infinite hyperbolic surfaces. This study and that of the geodesic flow are deeply interwoven. The first chapter introduces the basic objects of hyperbolic geometry that we will use. Next, it presents a class of surfaces, the hyperbolic flutes, which carries most of the complexity of geometrically infinite surfaces. Then, it details the notion of asymptotic thinness for a half-geodesic, which determines the size of the most thin parts that this half-geodesic crosses. The second chapter focuses on the classical properties of the horocycle flow on which we will base our proofs. The third chapter presents the study of the intersection between the closure of a horocyclic orbit stemming from a vector u on a hyperbolic surface and the positive half-geodesic stemming from the same vector. We show that if the asymptotic thinness of the half-orbit stemming from u is finite and if u is not periodic for the horocycle flow, then this intersection contains an unbounded sequence of points. Moreover, if the asymptotic thinness is zero, then all the halfgeodesic orbit is included in the intersection. However, we also prove that the half-geodesic orbit can be included in the intersection and even if the asymptotic thinness is not zero. The fourth chapter studies the links between a horocyclic orbit starting from a vector u and the strong stable manifold associated to u. We first show that the closure of these two sets are always the same. However, we then give a sufficient condition for these two sets to be different and we prove that in this case, the strong stable manifold is a reunion of an uncountable number of horocyclic orbits.
|
398 |
The neuro-cognitive representation of word meaning resolved in space and time / La représentation neuro-cognitive du sens du mot résolu dans l'espace et dans le tempsBorghesani, Valentina 28 February 2017 (has links)
L'une des capacités humaines fondamentales est la capacité d'interpréter des symboles. Malgré plusieurs décennies de travaux en neuropsychologique et neuroimagerie sur le substrat cognitif et neuronal des représentations sémantiques, de nombreuses questions restent sans réponse. Les présents travaux de thèse tentent de démêler l'un de ces mystères: les substrats neuronaux des différentes composantes du mot sont-ils dissociables? Ce travail comporte deux composantes principales : l'une théorique et l'autre empirique. Dans la première partie, nous passons en revue les différentes positions théoriques concernant les corrélats cognitifs et neuraux des représentations sémantiques. De plus, nous proposons une distinction opérationnelle entre les dimensions moto-perceptives (c'est-à-dire les attributs des objets auxquels les mots se réfèrent perçus par les sens) et conceptuelles (c'est-à-dire l'information construite par l'intégration des multiples caractéristiques perceptives). Dans la deuxième partie, nous présentons les résultats des études menées afin d'étudier l'automaticité de la récupération, l'organisation topographique et la dynamique temporelle des dimensions moto-perceptives et conceptuelles de la signification des mots. Tout en contribuant à notre compréhension de la manière dont le sens des mots est codé dans le cerveau, les travaux présentés dans cette thèse ont des implications méthodologiques et théoriques importantes. En particulier, ils soulignent l'importance d'une intégration fructueuse entre les théories cognitives et les méthodes statistiques avancées afin d'éclairer les mystères entourant les représentations sémantiques. / One of the core human abilities is that of interpreting symbols. Notwithstanding decades of neuropsychological and neuroimaging work on the cognitive and neural substrate of semantic representations, many questions are left unanswered. The research in this dissertation attempts to unravel one of them: are the neural substrates of different components of concrete word meaning dissociated? In the first part, I review the different theoretical positions and empirical findings on the cognitive and neural correlates of semantic representations. Crucially, I propose an operational distinction between motor-perceptual dimensions (i.e., those attributes of the objects referred to by the words that are perceived through the senses) and conceptual ones (i.e., the information that is built via a complex integration of multiple perceptual features). In the second part, I present the results of the studies I conducted in order to investigate the automaticity of retrieval, topographical organization, and temporal dynamics of motor-perceptual and conceptual dimensions of word meaning. The results suggest that the neural substrates of different components of symbol meaning can be dissociated in terms of localization and of the feature of the signal encoding them, while sharing a similar temporal evolution.
|
399 |
Investigando os efeitos do contrato didático em uma sala de aula de Matemática: O caso da circunferência e do círculoSilva, Tony Regy Ferreira da 18 March 2016 (has links)
Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2016-05-11T12:29:55Z
No. of bitstreams: 1
PDF - Tony Regy Ferreira da Silva.pdf: 2709218 bytes, checksum: ddcad943abee7fbdd891fd0a7cb4187c (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2016-07-21T20:46:38Z (GMT) No. of bitstreams: 1
PDF - Tony Regy Ferreira da Silva.pdf: 2709218 bytes, checksum: ddcad943abee7fbdd891fd0a7cb4187c (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2016-07-21T20:46:51Z (GMT) No. of bitstreams: 1
PDF - Tony Regy Ferreira da Silva.pdf: 2709218 bytes, checksum: ddcad943abee7fbdd891fd0a7cb4187c (MD5) / Made available in DSpace on 2016-07-21T20:46:51Z (GMT). No. of bitstreams: 1
PDF - Tony Regy Ferreira da Silva.pdf: 2709218 bytes, checksum: ddcad943abee7fbdd891fd0a7cb4187c (MD5)
Previous issue date: 2016-03-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Cette recherche visait à analyser les effets du contrat didactique discuté par Guy Brousseau dans une classe de mathématiques de l'école élémentaire de la teneur en géométrie. Ce concept, étudié par le chercheur, présente les clauses de la relation pédagogique, qui sont le plus souvent sous-entendus, ils régulent les attentes et les comportements entre l'enseignant et l'élève par rapport à connaître la cible. Donc, d'abord, nous avons mené une étude sur les situations d'enseignement, nous discutons des concepts de contrat didactique, leurs transgressions et renégociations, nous concentrons notre discussion sur les effets de contrat didactique et caractéristiques alors présents de la connaissance mathématique, dans notre cas, les cercles et cercles. Pour cela, nous suivons notre méthodologie, qui effectuait l'observation des classes, lorsque nous suivons l'approche d'un professeur de mathématiques avec leurs élèves sur les connaissances en jeu. Nous avons analysé les données recueillies en vérifiant l'existence d'effets du contrat didactique. Dans un second temps, nous avons analysé les données recueillies en vérifiant l'existence d'effets du contrat didactique. Grâce à notre base théorique et les données recueillies au cours de la recherche, nous avons trouvé de résultats qui indiquent la nécessité d'une réflexion sur les relations établies dans l'Accord didactique et ses effets dans la salle de classe. Nous notons également que sa prévalence est restée à des situations impliquant la géométrie. Nous identifions les éléments qui nous montrent l'apparition d'effets de la conformité avec les règles de comportement régies par le contrat didactique. / This research aimed to analyze the effects of the Didactic Contract discussed by Guy Brousseau in a mathematics classroom of elementary school in the geometry content. This concept, studied by the researcher, presents the clauses in the teaching relationship, which most often are implied, they regulate the expectations and behavior between teacher and student in relation to know the target. So, initially, we conducted a study of the teaching situations, we discuss the concepts of didactical contract, their transgressions and renegotiations, then we focus our discussion on the Didactic Contract effects and then present characteristics of mathematical knowledge, in our case, circles and circles. For this, we follow our methodology, which was conducting observation of classes, when we follow the approach of a math teacher with their students on the knowledge at stake. We analyzed the data collected by checking the existence of effects of the didactical contract. Through our theoretical foundation and the data collected during the research, we find results that indicate the need for reflection on the relations established in the Didactic Agreement and its effects in the classroom. We note also that its prevalence remained to situations involving geometry. We identify elements that show us the emergence of effects from compliance with the rules of behavior governed by the Didactic Contract. / Esta pesquisa teve por objetivo analisar os efeitos do Contrato Didático discutido por Guy Brousseau em uma sala de aula de matemática do Ensino Fundamental no conteúdo de geometria. Esse conceito, estudado pelo pesquisador, apresenta as cláusulas estabelecidas na relação didática, que na maioria das vezes são implícitas, elas regulam as expectativas, bem como o comportamento entre professor e aluno em relação ao saber visado. Assim, inicialmente, realizamos uma reflexão sobre as situações didáticas, buscamos discutir os conceitos do Contrato Didático, suas transgressões e renegociações, em seguida, focamos nossa discussão nos efeitos do Contrato Didático e depois apresentamos características do saber matemático, em nosso caso, circunferências e círculos. Para tanto, seguimos nossa metodologia, que teve a realização de observação das aulas, quando acompanhamos a abordagem de um professor de matemática com seus respectivos alunos diante do saber em jogo. Analisamos os dados coletados verificando a existência de efeitos do Contrato Didático. Através da nossa fundamentação teórica e dos dados coletados durante a realização da pesquisa, pudemos encontrar resultados que indicam a necessidade de reflexão sobre as relações estabelecidas no Contrato Didático e seus efeitos na sala de aula. Constatamos, ainda, que sua predominância se manteve diante das situações envolvendo a geometria. Identificamos elementos que nos comprovam o surgimento de efeitos a partir do cumprimento das regras de comportamento, regidas pelo Contrato Didático.
|
400 |
Généralisation du diagramme de Voronoï et placement de formes géométriques complexes dans un nuage de points. / Generalizing the Voronoi diagram and placing complex geometric shapes among a point-set.Iwaszko, Thomas 22 November 2012 (has links)
La géométrie algorithmique est une discipline en pleine expansion dont l'objet est la conception d'algorithmes résolvant des problèmes géométriques. De tels algorithmes sont très utiles notamment dans l'ingénierie, l'industrie et le multimédia. Pour être performant, il est fréquent qu'un algorithme géométrique utilise des structures de données spécialisées.Nous nous sommes intéressés à une telle structure : le diagramme de Voronoï et avons proposé une généralisation de celui-ci. Ladite généralisation résulte d'une extension du prédicat du disque vide (prédicat propre à toute région de Voronoï) à une union de disques. Nous avons analysé les régions basées sur le prédicat étendu et avons proposé des méthodes pour les calculer par ordinateur.Par ailleurs, nous nous sommes intéressés aux « problèmes de placement de formes », thème récurrent en géométrie algorithmique. Nous avons introduit un formalisme universel pour de tels problèmes et avons, pour la première fois, proposé une méthode de résolution générique, en ce sens qu'elle est apte à résoudre divers problèmes de placement suivant un même algorithme.Nos travaux présentent, d'une part, l'avantage d'élargir le champ d'application de structures de données basées sur Voronoï. D'autre part, ils facilitent de manière générale l'utilisation de la géométrie algorithmique, en unifiant définitions et algorithmes associés aux problèmes de placement de formes. / Computational geometry is an active branch of computer science whose goal is the design of efficient algorithms solving geometric problems. Such algorithms are useful in domains like engineering, industry and multimedia. In order to be efficient, algorithms often use special data structures.In this thesis we focused on such a structure: the Voronoi diagram. We proposed a new generalized diagram. We have proceeded by extending the empty disk predicate (satisfied by every Voronoi region) to an arbitrary union of disks. We have analyzed the new plane regions based on the extended predicate, and we designed algorithms for computing them.Then, we have considered another topic, which is related to the first one: shape placement problems. Such problems have been studied repeatedly by researchers in computational geometry. We introduced new notations along with a global framework for such problems. We proposed, for the first time a generic method, which is able to solve various placement problems using a single algorithm.Thus, our work extend the scope of Voronoi based data structures. It also simplifies the practical usage of placement techniques by unifying the associated definitions and algorithms.
|
Page generated in 0.0493 seconds