Let S31(?) be the bivariate C1-cubic spline space over a triangulated quadrangulation ?. In this paper, an explicit representation of a locally supported basis of S31(?) is given using the interpolation conditions at vertices.

This document serves as a reference for the beta version of our evaluation library ITL. First, it describes a library which gives an easy way for programmers to evaluate the 3D image and the normal vector corresponding to a parameter value which belongs to the unit square. The API functions which are described in this document let programmers make those evaluations without the need to understand the underlying CAD complica- tions. As a consequence, programmers can concentrate on their own scien- tific interests. Our second objective is to describe the input which is a set of parametric four-sided surfaces that have the structure required by some integral equation solvers.

We focus on the programming aspect of the treatment of digitized geometries for subsequent use in mesh-free and mesh-based numerical solvers. That perspective includes the description of our C/C++ implementations which use OpenGL for the visualization and MFC classes for the user interface. We report on our experience about implementing with the IGES interface which serves as input for storage of geometric information. For mesh-free numerical solvers, it is helpful to decompose the boundary of a given solid into a set of four-sided surfaces. Additionally, we will describe the treatment of diffeomorphisms on four-sided domains by using transfinite interpolations. In particular, Coons and Gordon patches are appropriate for dealing with such mappings when the equations of the delineating curves are explicitly known. On the other hand, we show the implementation of the mesh generation algorithms which invoke the Laplace-Beltrami operator. We start from coarse meshes which one refine according to generalized Delaunay techniques. Our software is also featured by its ability of treating assembly of solids in B-Rep scheme.

We focus on the programming aspect of the treatment of digitized geometries for subsequent use in mesh-free and mesh-based numerical solvers. That perspective includes the description of our C/C++ implementations which use OpenGL for the visualization and MFC classes for the user interface. We report on our experience about implementing with the IGES interface which serves as input for storage of geometric information. For mesh-free numerical solvers, it is helpful to decompose the boundary of a given solid into a set of four-sided surfaces. Additionally, we will describe the treatment of diffeomorphisms on four-sided domains by using transfinite interpolations. In particular, Coons and Gordon patches are appropriate for dealing with such mappings when the equations of the delineating curves are explicitly known. On the other hand, we show the implementation of the mesh generation algorithms which invoke the Laplace-Beltrami operator. We start from coarse meshes which one refine according to generalized Delaunay techniques. Our software is also featured by its ability of treating assembly of solids in B-Rep scheme.

nÃo hà / Esta dissertaÃÃo descreve quatro mÃtodos implementados para realizar uma quadrilaterizaÃÃo convexa do espaÃo bidimensional que pode conter linhas poligonais ou buracos. Dois destes mÃtodos, ponto mÃdio e ortoquad, utilizam de elementos guia, o baricentro de uma regiÃo ou o locus de cÃrculos mÃximos tangentes e internos a geometria, para produzir uma malha conforme o domÃnio. Os outros dois, triquad e quadrilaterizaÃÃo incremental, utilizam de uma triangulaÃÃo explÃcita e implÃcita combinando elementos aos pares para realizar a geraÃÃo da malha. Todas as tÃcnicas sÃo feitas por decomposiÃÃo de regiÃes o que garante uma quadrilaterizaÃÃo final, jà que o domÃnio à sempre segmentado a cada iteraÃÃo. Estas tÃcnicas sÃo comparadas por um critÃrio de geometria e topologia de forma a tornar evidentes suas vantagens e desvantagens assim como promover melhorias futuras. As tÃcnicas sÃo aplicadas a alguns exemplos, incluindo-se um reservatÃrio natural, a fim de exibir seu funcionamento em um ambiente real ou prÃximo do mesmo, conforme as amostras utilizadas. TambÃm se pretende apresentar ao longo deste trabalho os requisitos necessÃrios, segundo a experiÃncia deste autor com o tema, para o desenvolvimento de uma tÃcnica de geraÃÃo de malha quadrilateral / This work describes four methods implemented to achieve a convex quadrilaterization of the two- -dimensional space that may have polygonal lines or holes. Two of these methods, midpoint and ortoquad make use of guide elements, the centroid of a region or the locus of maximum tangent circles inside a geometry, to produce a mesh for the domain. The other two methods, triquad and incremental quadrilatezation use a implicit and explicit triangulation while combining elements in pairs to generate a mesh. All these methods are made through domain decomposition which assure quadrilaterization at the end, since the domain is always partitioned at each iteration. These techniques are compared by a criterion of geometry and topology in order to make clear its advantages and disadvantages and as means of promoting future improvements. The techniques are applied to some samples, including a natural reservoir, in order to view its operation in a real environment or near reality according to the sample used. Also it intends to present throughout this work the requirements, according to the experience with the theme of this author, to develop a technique for quadrilateral mesh generation

This document serves as a reference for the beta version of our evaluation library ITL. First, it describes a library which gives an easy way for programmers to evaluate the 3D image and the normal vector corresponding to a parameter value which belongs to the unit square. The API functions which are described in this document let programmers make those evaluations without the need to understand the underlying CAD complica- tions. As a consequence, programmers can concentrate on their own scien- tific interests. Our second objective is to describe the input which is a set of parametric four-sided surfaces that have the structure required by some integral equation solvers.

Among the presently known numerical solvers of integral equations, two main categories of approaches can be traced: mesh-free approaches, mesh-based approaches. We will propose some techniques to process geometric data so that they can be efficiently used in subsequent numerical treatments of integral equations. In order to prepare geometric information so that the above two approaches can be automatically applied, we need the following items: (1) Splitting a given surface into several four-sided patches, (2) Generating a diffeomorphism from the unit square to a foursided patch, (3) Generating a mesh M on a given surface, (4) Patching of a given triangulation. In order to have a splitting, we need to approximate the surfaces first by polygonal regions. We use afterwards quadrangulation techniques by removing quadrilaterals repeatedly. We will generate the diffeomorphisms by means of transfinite interpolations of Coons and Gordon types. The generation of a mesh M from a piecewise Riemannian surface will use some generalized Delaunay techniques in which the mesh size will be determined with the help of the Laplace-Beltrami operator. We will describe our experiences with the IGES format because of two reasons. First, most of our implementations have been done with it. Next, some of the proposed methodologies assume that the curve and surface representations are similar to those of IGES. Patching a mesh consists in approximating or interpolating it by a set of practical surfaces such as B-spline patches. That approach proves useful when we want to utilize a mesh-free integral equation solver but the input geometry is represented as a mesh.

Cette thèse se divise en deux parties. Nous nous intéressons dans un premier temps à des fragmentations d'arbres aléatoires, et aux arbres des coupes associés. Dans le cadre discret, les modèles étudiés sont des arbres de Galton-Watson, fragmentés en enlevant successivement des arêtes choisies au hasard. Nous étudions également leurs analogues continus, l'arbre brownien et les arbres stables, que l'on fragmente en supprimant des points donnés par des processus ponctuels de Poisson. L'arbre des coupes associé à l'un de ces processus, discret ou continu, décrit la généalogie des composantes connexes créées au fur et à mesure de la dislocation. Pour une fragmentation qui se concentre autour de nœuds de grand degré, nous montrons que l'arbre des coupes continu est la limite d'échelle des arbres des coupes discrets correspondants. Dans les cas brownien et stable, nous montrons également que l'on peut reconstruire l'arbre initial à partir de son arbre des coupes et d'un étiquetage bien choisi de ses points de branchement. Nous étudions ensuite un problème portant sur les cartes aléatoires, et plus précisément sur la quadrangulation uniforme infinie du plan (UIPQ). De récents résultats montrent que dans l'UIPQ, toutes les géodésiques infinies issues de la racine sont essentiellement similaires. Nous déterminons la quadrangulation limite obtenue en ré-enracinant l'UIPQ ''à l'infini'' sur de l'une de ces géodésiques. Cette étude se fait en découpant l'UIPQ le long de cette géodésique. Nous étudions les deux parties ainsi créées via une correspondance avec des arbres discrets, puis nous obtenons la limite souhaitée par recollement. / This PhD thesis is divided into two parts. First, we study some fragmentations of random trees and the associated cut-trees. The discrete models we are interested in are Galton-Watson trees, which are cut down by recursively removing random edges. We also consider their continuous counterparts, the Brownian and stable trees, which are fragmented by deleting the atoms of Poisson point processes. For these discrete and continuous models, the associated cut-tree describes the genealogy of the connected components which appear during the cutting procedure. We show that for a ''vertex-fragmentation'', in which the nodes having a large degree are more susceptible to be deleted, the continuous cut-tree is the scaling limit of the corresponding discrete cut-trees. In the Brownian and stable cases, we also give a transformation which rebuilds the initial tree from its cut-tree and a well chosen labeling of its branchpoints. The second part relates to random maps, and more precisely the uniform infinite quadrangulation of the plane (UIPQ). Recent results show that in the UIPQ, all infinite geodesic rays originating from the root are essentially similar. We identify the limit quadrangulation obtained by rerooting the UIPQ at a point ''at infinity'' on one of these geodesics. To do this, we split the UIPQ along this geodesic ray. Using a correspondence with discrete trees, we study the two sides, and obtain the desired limit by gluing them back together.

Among the presently known numerical solvers of integral equations, two main categories of approaches can be traced: mesh-free approaches, mesh-based approaches. We will propose some techniques to process geometric data so that they can be efficiently used in subsequent numerical treatments of integral equations. In order to prepare geometric information so that the above two approaches can be automatically applied, we need the following items: (1) Splitting a given surface into several four-sided patches, (2) Generating a diffeomorphism from the unit square to a foursided patch, (3) Generating a mesh M on a given surface, (4) Patching of a given triangulation. In order to have a splitting, we need to approximate the surfaces first by polygonal regions. We use afterwards quadrangulation techniques by removing quadrilaterals repeatedly. We will generate the diffeomorphisms by means of transfinite interpolations of Coons and Gordon types. The generation of a mesh M from a piecewise Riemannian surface will use some generalized Delaunay techniques in which the mesh size will be determined with the help of the Laplace-Beltrami operator. We will describe our experiences with the IGES format because of two reasons. First, most of our implementations have been done with it. Next, some of the proposed methodologies assume that the curve and surface representations are similar to those of IGES. Patching a mesh consists in approximating or interpolating it by a set of practical surfaces such as B-spline patches. That approach proves useful when we want to utilize a mesh-free integral equation solver but the input geometry is represented as a mesh.