Made available in DSpace on 2016-03-15T19:37:38Z (GMT). No. of bitstreams: 1 Glauco dos Santos Reis.pdf: 1334999 bytes, checksum: d2d72d3f95a449c19482f55f82b7f61e (MD5) Previous issue date: 2011-08-22 / Fundo Mackenzie de Pesquisa / A new image compression technique is proposed, based on the affine transformations (ATs) that define an iterated function system (IFS). Previous related research in the field has shown that an image may be approximated by iteratively subjecting a set of sub-regions to a group of ATs. In this case, the original image should be partitioned in regions, and each one of the active pixels are transformed by the AT. The new transformed set should be approximated to other image regions. This iterated execution to find ATs for the best set of areas might result in smaller storage space since the similar areas might be replaced by AT coefficients. Despite this advantage, the technique is computationally intensive, because both the sub-regions and the corresponding ATs that have to be searched for. Here, a new form of similarity is proposed, based on the successive points generated by the iteration of affine transformations. By understanding an AT as a discrete dynamical system, with each image point represented by an iteration of the AT, the method captures similarities between these points, namely, those with the same color in the image; by saving the starting point and the transformations coefficients, the points can be iterated back, to reconstruct the original image. This results in lighter computational effort, since the comparison is made point by point, instead of region by region. Experiments were made on a group of 10 images, representing a broad set of distinct features and resolutions. The proposed algorithm competes in terms of storage size, when compared to JPEG, mainly when the image size is small, and the number of colors are reduced, as currently happens for most images used in the Internet. Although the proposed method is faster than the traditional method for IFS compression, it is slower than common file formats like JPEG. / Uma nova técnica para compressão de imagens é proposta, baseada em conjuntos de transformações afins (affine transformations - ATs), normalmente conhecidos como sistemas de funções iteradas (iterated function system -IFS). Pesquisas anteriores mostraram que uma imagem poderia ser aproximada pela aplicação de um grupo de ATs em conjuntos de sub-regiões da imagem, de forma iterativa. Através deste processo, a imagem original seria subdividida em regiões e sobre a coordenada de cada ponto habilitado de cada região seria aplicada uma transformação afim. O resultado representaria um novo conjunto de pontos similares a outras regiões da imagem. A execução de forma iterada deste processo de identificação das ATs para o maior conjunto de regiões similares de uma determinada imagem permitiria uma redução no armazenamento, já que as regiões similares poderiam ser armazenadas como os coeficientes das transformações afins. Apesar desta vantagem em termos de compressão, a técnica é computacionalmente intensiva, pela busca exaustiva de sub-regiões e das ATs geradoras, de forma a proporcionar o melhor preenchimento em outras regiões da imagem. Esta pesquisa propõe uma nova forma de compressão baseada em ATs, utilizando a sequência de pontos gerada pela iteração das ATs. Entendendo uma AT como um sistema dinâmico em tempo discreto, cada novo ponto identificado é consequência direta da iteração da AT sobre o ponto anterior, permitindo a captura de similaridades nesta sequência de pontos. Através do salvamento dos coeficientes das ATs e das coordenadas iniciais, é possível a reconstrução da imagem pela iteração da AT a partir do ponto inicial. Isto pode resultar em menor esforço computacional, pois apenas comparações simples de pontos são necessárias, ao invés de comparações entre os pontos de regiões da imagem. Foram feitos experimentos em um conjunto de 10 classes de imagens, representando um espectro de diferentes características gerais e resoluções. O algoritmo proposto rivaliza em termos de armazenamento quando comparado ao formato JPEG, principalmente para imagens de pequeno tamanho e com número de cores reduzidas, como as utilizadas com frequência na Internet. Apesar de ser mais rápido para a compressão do que outros métodos baseados em IFS, ele é mais lento do que métodos clássicos como o JPEG.

Made available in DSpace on 2016-03-15T19:37:41Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-08-22 / Fundo Mackenzie de Pesquisa / A new image compression technique is proposed, based on the affine transformations (ATs) that define an iterated function system (IFS). Previous related research in the field has shown that an image may be approximated by iteratively subjecting a set of sub-regions to a group of ATs. In this case, the original image should be partitioned in regions, and each one of the active pixels are transformed by the AT. The new transformed set should be approximated to other image regions. This iterated execution to find ATs for the best set of areas might result in smaller storage space since the similar areas might be replaced by AT coefficients. Despite this advantage, the technique is computationally intensive, because both the sub-regions and the corresponding ATs that have to be searched for. Here, a new form of similarity is proposed, based on the successive points generated by the iteration of affine transformations. By understanding an AT as a discrete dynamical system, with each image point represented by an iteration of the AT, the method captures similarities between these points, namely, those with the same color in the image; by saving the starting point and the transformations coefficients, the points can be iterated back, to reconstruct the original image. This results in lighter computational effort, since the comparison is made point by point, instead of region by region. Experiments were made on a group of 10 images, representing a broad set of distinct features and resolutions. The proposed algorithm competes in terms of storage size, when compared to JPEG, mainly when the image size is small, and the number of colors are reduced, as currently happens for most images used in the Internet. Although the proposed method is faster than the traditional method for IFS compression, it is slower than common file formats like JPEG. / Uma nova técnica para compressão de imagens é proposta, baseada em conjuntos de transformações afins (affine transformations - ATs), normalmente conhecidos como sistemas de funções iteradas (iterated function system - IFS). Pesquisas anteriores mostraram que uma imagem poderia ser aproximada pela aplicação de um grupo de ATs em conjuntos de sub-regiões da imagem, de forma iterativa. Através deste processo, a imagem original seria subdividida em regiões e sobre a coordenada de cada ponto habilitado de cada região seria aplicada uma transformação afim. O resultado representaria um novo conjunto de pontos similares a outras regiões da imagem. A execução de forma iterada deste processo de identificação das ATs para o maior conjunto de regiões similares de uma determinada imagem permitiria uma redução no armazenamento, já que as regiões similares poderiam ser armazenadas como os coeficientes das transformações afins. Apesar desta vantagem em termos de compressão, a técnica é computacionalmente intensiva, pela busca exaustiva de sub-regiões e das ATs geradoras, de forma a proporcionar o melhor preenchimento em outras regiões da imagem. Esta pesquisa propõe uma nova forma de compressão baseada em ATs, utilizando a sequência de pontos gerada pela iteração das ATs. Entendendo uma AT como um sistema dinâmico em tempo discreto, cada novo ponto identificado é consequência direta da iteração da AT sobre o ponto anterior, permitindo a captura de similaridades nesta sequência de pontos. Através do salvamento dos coeficientes das ATs e das coordenadas iniciais, é possível a reconstrução da imagem pela iteração da AT a partir do ponto inicial. Isto pode resultar em menor esforço computacional, pois apenas comparações simples de pontos são necessárias, ao invés de comparações entre os pontos de regiões da imagem. Foram feitos experimentos em um conjunto de 10 classes de imagens, representando um espectro de diferentes características gerais e resoluções. O algoritmo proposto rivaliza em termos de armazenamento quando comparado ao formato JPEG, principalmente para imagens de pequeno tamanho e com número de cores reduzidas, como as utilizadas com frequência na Internet. Apesar de ser mais rápido para a compressão do que outros métodos baseados em IFS, ele é mais lento do que métodos clássicos como o JPEG.

[pt] A cidade do Rio de Janeiro apresenta relevo acidentado e clima tropical. Os processos intempéricos que ocorrem na litologia geram os solos residuais e coluvionares. Tendo em vista a limitação espacial de áreas planas, a ocupação antrópica se direciona as áreas de encosta, onde estes solos estão presentes. Ao longo dos anos tem-se estudado que a maioria dos movimentos de massa da cidade do Rio de Janeiro estão relacionados à perda de sucção mátrica do solo. O presente trabalho visa, portanto, a obtenção de parâmetros hidráulicos dos solos não-saturados de maneira simples, rápida e pouco onerosa a fim de viabilizar estudos da infiltração de água em taludes. Para isso, foram estudadas 6 áreas ao longo do Rio de Janeiro, onde a escolha se baseou.na rocha de origem formadora dos solos residuais. Os ensaios do trabalho utilizados foram o Ensaio de Infiltração Monitorada (EIM) e caracterização física, e para efeitos comparativos também foram executados alguns ensaios de Guelph, papel filtro e permeabilidade saturada triaxial. O modelo de interpretação não-saturado usado foi o modelo de van Genutchen-Maulem, e a obtenção de três dos cinco parâmetros foi feita através de uma análise inversa. A curva a ser retroanalisada no ensaio é a série temporal da sucção mátrica. / [en] Rio de Janeiro city is sited on a rugged relief and has a tropical climate. The meteoric processes that take place on its lithology generate the residual and transported soils. Accounting for its limited flat urban space, its habitants tend to live in steep slope areas where such soils are present. For a long time studies have taken place to characterize mass movements and their conclusions relate most of them to the loss of soils matric suction. Therefore the study aims to obtain the unsaturated soil parameters in a simple, rapid and low cost way, which may help future studies of water infiltration on slopes. And thus, 6 locations in Rio de Janeiro were choosen based on the criteria of soil formation, attending different types of gneissic bedrocks. The constitutive model used was the van Genuchten and the method to obtain three of its five parameters was by solving an inverse problem. The curve to be optimized comes from the monitored infiltration test which consists on the record of the matric suction over a constant head infiltration test.

[ES] Uno de los elementos más importantes en el sistema de control de un robot es su Modelo Cinemático Inverso (IKM, por sus siglas en inglés), el cual calcula las referencias de posición y velocidad requeridas para que dicho robot pueda seguir una trayectoria. Los métodos más comúnmente empleados para la síntesis del IKM de sistemas robotizados de cadena cinemática abierta dependen fuertemente de la geometría del robot, por lo que no son procedimientos sistemáticos que puedan ser aplicados uniformemente en todas las situaciones. Este proyecto presenta el desarrollo de un procedimiento sistemático para la síntesis del IKM completo de sistemas robotizados no redundantes de cadena cinemática abierta usando la teoría de Bases de Groebner, el cual no depende de la geometría del robot. Las entradas del procedimiento desarrollado son los parámetros de Denavit-Hartenberg del robot y el rango de movimiento de sus actuadores, mientras que la salida es el IKM sintetizado, listo para ser usado en el sistema de control del robot o en una simulación de su funcionamiento. El desempeño del procedimiento desarrollado fue demostrado sintetizando los IKMs de un manipulador PUMA y un hexápodo caminante. Los tiempos de ejecución de ambos IKMs son comparables con los requeridos por los modelos cinemáticos calculados por procedimientos tradicionales, y los errores de las referencias que ofrecen como salida son totalmente despreciables. Los IKMs sintetizados son completos, porque no sólo ofrecen las referencias de posición para todos los actuadores del robot, sino que también calculan las correspondientes referencias de velocidades y aceleraciones de dichos actuadores, por lo que el procedimiento desarrollado puede ser empleado en una amplia variedad de sistemas robotizados. / [CA] Un dels elements més importants en el sistema de control d'un robot és el seu Model Cinemàtic Invers (IKM, per les seues sigles en anglés), el qual calcula les referències de posició i velocitat requerides perquè aquest robot puga seguir una trajectòria. Els mètodes més comunament emprats per a la síntesi del IKM de sistemes robotitzats de cadena cinemàtica oberta depenen fortament de la geometria del robot analitzat, per la qual cosa no són procediments sistemàtics que puguen ser aplicats uniformement en totes les situacions. Aquest projecte presenta el desenvolupament d'un procediment sistemàtic per a la síntesi del IKM complet de sistemes robotitzats no redundants de cadena cinemàtica oberta usant la teoria de Bases de Groebner, el qual no depén de la geometria del robot. Les entrades del procediment desenvolupat són els paràmetres de Denavit-Hartenberg del robot i el rang de moviment dels seus actuadors, mentre que l'eixida és el IKM sintetitzat, llest per a ser usat en el sistema de control del robot o en una simulació del seu funcionament. L'acompliment del procediment desenvolupat va ser demostrat sintetitzant els IKMs d'un manipulador PUMA i un robot caminante. Els temps d'execució de tots dos IKMs són comparables amb els requerits pels models cinemàtics calculats per procediments tradicionals, i els errors de les referències que ofereixen com a eixida són totalment menyspreables. Els IKMs sintetitzats són complets, perquè no sols ofereixen les referències de posició per a tots els actuadors del robot, sinó que també calculen les corresponents referències de velocitats i acceleracions d'aquests actuadors, per la qual cosa el procediment desenvolupat pot ser emprat en una àmplia varietat de sistemes robotitzats. / [EN] One of the most important elements of a robot's control system is its Inverse Kinematic Model (IKM), which calculates the position and velocity references required by the robot's actuators to follow a trajectory. The methods that are commonly used to synthesize the IKM of open-chain robotic systems strongly depend on the geometry of the analyzed robot, so they are not systematic procedures that can be applied equally in all situations. This project presents the development of a systematic procedure to synthesize the complete IKM of non-redundant open-chain robotic systems using Groebner Basis theory, which does not depend on the robot's geometry. The inputs to the developed procedure are the robot's Denavit-Hartenberg parameters and the movement range of its actuators, while the output is the IKM, ready to be used in the robot's control system or in a simulation of its behavior. This procedure's performance was proved synthesizing the IKMs of a PUMA manipulator and a walking hexapod robot. The computation times of both IKMs are comparable to those required by the kinematic models calculated by traditional methods, while the errors of their computed references were absolutely negligible. The synthesized IKMs are complete in the sense that they not only supply the position reference for all the robot's actuators, but also the corresponding references for their velocities and accelerations, so the developed procedure can be used in a wide range of robotic systems. / Guzmán Giménez, J. (2022). Synthesis of the Complete Inverse Kinematic Model of Non-Redundant Open-Chain Robotic Systems using Groebner Basis Theory [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/181632 / TESIS

[pt] Tradicionalmente, os testes de formação em poços de petróleo buscam caracterizar o campo de permeabilidades a partir da interpretação dos transientes de pressão (PTA) nos períodos de fluxo e estática baseados em modelos isotérmicos de escoamento em meios porosos. Com o avanço da instrumentação dos testes, registros mais precisos de temperatura passaram a estar disponíveis e fomentaram a pesquisa baseada em modelos não isotérmicos que possibilitaram a análise a partir dos transientes de temperatura (TTA). Além da caracterização de parâmetros do reservatório como permeabilidade e porosidade com a interpretação dos transientes de temperatura, os dados de pressão obtidos a partir de um modelo não isotérmico representa de forma mais fidedigna o fenômeno físico sobretudo quando os testes são submetidos a maiores diferenciais de pressão. Este trabalho consiste no desenvolvimento de um simulador para teste de formação que considera a modelagem não isotérmica de reservatório unidimensional radial acoplado a um poço produtor e na utilização deste simulador, associado a métodos de otimização multivariável, para resolução do problema inverso da caracterização de parâmetros do reservatório. Alguns métodos de otimização foram testados e o algoritmo do Simplex de Nelder-Mead apresentou melhor eficácia. Foram estabelecidos três tipos de problemas e utilizados em três casos hipotéticos considerando inclusive a imposição artificial de ruídos nos sinais de pressão e temperatura utilizados para resolução do problema inverso. / [en] Traditionally, oil well formation tests aim to characterize the reservoir permeability field from pressure transient analysis (PTA) of drawdown and build up based on isothermal flow models in porous media. With the advancement of well test instrumentation, more accurate temperature records became available and have encouraged researches based on non-isothermal models that made possible the temperature transient analysis (TTA). In addition to the characterization of reservoir parameters such as permeability and porosity by TTA, the pressure data obtained from a non-isothermal model represent better the physical phenomenon, especially when the tests are subjected to greater drawdowns. This work consists in the development of a simulator for formation test that considers non-isothermal modeling of a unidimensional radial reservoir coupled to a production well and in the use of this simulator, associated with multivariable optimization methods, to solve the inverse problem of reservoir parameters characterization. Some optimization methods were tested and the Nelder-Mead Simplex algorithm presented better efficiency. Three types of problems were established and used in three hypothetical cases, including artificially imposed noise in pressure and temperature signals used to solve the inverse problem.

La tomografía de impedancia eléctrica (EIT) permite estimar la conductividad eléctrica interna de un cuerpo. Consiste en aplicar una corriente eléctrica sobre su frontera y medir el potencial eléctrico resultante mediante un arreglo de sensores. Es considerada como una potencial herramienta de diagnóstico médico, caracterizada principalmente por su portabilidad y relativo bajo costo. Si bien se encuentra aún en etapa de desarrollo, está comenzando a ser utilizada en centros de salud para la caracterización del aparato cardio-respiratorio y existe un creciente interés en su aplicación a las neurociencias. Por ejemplo, es posible utilizar la EIT para construir modelos virtuales de la cabeza más precisos mediante la estimación de la conductividad eléctrica de los principales tejidos de la cabeza como un conjunto de parámetros relativamente pequeño, modalidad denominada EIT paramétrico. También se puede utilizar la EIT para generar un mapa de la distribución de conductividad eléctrica interna de un objeto, llamado problema de reconstrucción en EIT. Los cambios de la conductividad eléctrica en la cabeza pueden estar asociados a la actividad neuronal, a focos epilépticos, a accidentes cerebro-vasculares o a tumores. Ambas modalidades de EIT requieren la resolución del problema directo (PD), que consiste en el cálculo de la distribución de potencial eléctrico en el objeto originada por la inyección de corriente sobre su superficie, suponiendo que la conductividad interna es conocida. La estimulación de corriente continua transcraneal (tDCS) es físicamente muy similar a la EIT, pero la corriente eléctrica es aplicada sobre el cuero cabelludo de modo de alterar la tasa de disparos de poblaciones de neuronas en una región de interés. Es una potencial alternativa al empleo de psicofármacos para tratar desórdenes como epilepsia o depresiones. En esta tesis se desarrollan y analizan nuevos métodos para distintos problemas de EIT, centrándose mayormente en aplicaciones a la cabeza humana, y de tDCS. En primer lugar, se describen soluciones analíticas y numéricas para el PD en EIT, estas últimas basadas en el método de los elementos finitos. Luego, se desarrolla un nuevo procedimiento para resolver el PD con bajo costo computacional basado en la formulación del PD en electroencefalografía (EEG). Se propone un nuevo método para determinar la forma de onda de la fuente de corriente que permite desafectar la actividad propia del cerebro con un bajo número de muestras temporales. En EIT paramétrico, se utiliza la cota de Cramér-Rao (CRB) para determinar pares de electrodos convenientes para la inyección de corriente y para analizar límites teóricos en la estimación de las conductividades del cráneo y del cuero cabelludo, modelizándolos como tejidos isótropos y anisótropos. A su vez, se propone el estimador de máxima verosimilitud (MLE) como herramienta para realizar las estimaciones. El MLE se aplica a mediciones simuladas y reales de EIT mostrando un desempeño muy cercano a los límites teóricos. Para el problema de reconstrucción en EIT se adapta el algoritmo sLORETA, muy utilizado en el problema de localización de fuentes de actividad neuronal en EEG. Además, se lo modifica levemente para incorporar la regularización espacial de Laplace. Por otro lado, se introduce la utilización de filtros espaciales adaptivos para localizar cambios de conductividad de pequeño tamaño y estimar su variación temporal. Los resultados muestran mejoras en sesgo y resolución, en comparación con algoritmos de reconstrucción típicos en EIT. Estas mejoras son potencialmente ventajosas en la detección de accidentes cerebro-vasculares y en la localización indirecta de fuentes de actividad neuronal. En tDCS, se desarrolla un nuevo algoritmo para la determinación de patrones de inyección de corriente basado en el principio de reciprocidad y que considera restricciones de seguridad y de hardware. Los resultados obtenidos a partir de simulaciones muestran que el desempeño de dicho algoritmo es comparable al desempeño de algoritmos de optimización tradicionales cuyas soluciones implicarían un equipamiento comparativamente más complejo y costoso. Los métodos desarrollados en la tesis son comparados con métodos pre-existentes y validados a través de simulaciones numéricas por computadora, mediciones sobre maquetas experimentales (ó fantomas) y, de acuerdo con las posibilidades experimentales y respetando los principios de la bioética, mediciones reales sobre humanos. / Electrical impedance tomography (EIT) is a technique to estimate the electrical conductivity of an object. It consists in the application of an electric current on its boundary and the measurement of the resulting electric potential with a sensor array. In clinical practise, it is considered as a potential diagnostic tool characterized by its portability and relatively low cost. While it is still in a development stage, it is starting to be used in health centers to characterize the cardio-respiratory system. In turn, there is an increasing interest of EIT in neuroscience. For example, EIT can be used to estimate the electrical conductivity of the main tissues of the head as a set of a relatively low number of parameters, which is known as bounded or parametric EIT. This is useful for several medical imaging techniques that require realistic and accurate virtual models of the head. EIT can also be used to generate a map of the internal distribution of the electrical conductivity, known as the reconstruction problem. Tracking conductivity changes inside the head is of great interest as they may be related to neuronal activity, epileptic foci, acute stroke, or tumors. Both modalities of EIT require the solution of the EIT forward problem (FP), i.e., the computation of the electric potential distribution due to current injection on the scalp assuming that the electrical conductivity is known. The transcranial direct current stimulation (tDCS) is another technique which is physically very similar to EIT. It consists in injecting a small electric current in a convenient way such that it stimulates specific neuronal populations, increasing or decreasing their firing rate. It is considered as an alternative to psychoactive drugs in the treatment of brain disorders such as epilepsy or depression. This thesis describes the development and analysis of new methods for EIT FP, parametric EIT, reconstruction in EIT, and tDCS, focusing primarily (although not exclusively) in applications to human head. We first describe analytical and numerical approaches for the EIT FP, where the numerical approach is based on the finite element method. Then, we develop a new procedure to solve the EIT FP based on the electroencephalography (EEG) FP formulation, which results in computational advantages. We propose a new method to determine the waveform of the electric current source such that the neuronal activity of the brain can be neglected with the smallest possible number of time samples. In parametric EIT, we use the Cramér-Rao bound (CRB) to determine convenient electrode pairs for the current injection and theoretical limits in the estimation of the electrical conductivity of the main tissues of the head, which we model as isotropic and anisotropic. We propose the maximum likelihood estimator (MLE) to estimate these conductivities and we test it with simulated and real EIT measurements, showing that the MLE performs close to the CRB. We adapt the sLORETA algorithm to the reconstruction problem in EIT. This algorithm is being widely used in the source localization problem in EEG. We also slightly modify it to include the Laplace smoothing prior in the solution. Likewise, we introduce the use of adaptive spatial filters in the localization of conductivity changes and the estimation of its time courses from EIT measurements. The results show improvements over typical EIT algorithms. These improvements may benefit the early detection of acute strokes and the localization of neuronal activity using EIT. In tDCS, we develop a new algorithm to determine convenient current injection patterns. It is based on the reciprocity principle and considers hardware and safety constraints. Our simulation results show that this method performs similarly to other commonly used algorithms that require more complex and costly equipments. The methods we develop and study in this thesis are compared with pre-existing methods and are validated through numerical simulations, measurements on phantoms and, according to the experimental possibilities and bioethical principles, humans.

This dissertation supplies the methodology of the measure (area) in the Earth model adopted for Geodesy. This model is the ellipsoid of revolution, in which the system of Cartesian coordinates, the curvilinear coordinate system and the polar coordinate system are described. The coordinate nature in the development of the surface measure calculation is discussed. The following demonstrations are illustrated: the ellipse equation, the eccentricity of the ellipse, the meridian section curvature radius equation, the meridian transversal section curvature radius equation and elliptic integral. It define algebraic geodesic line and geometrically. The juridical basis are the article 3º of Brazilian Federal Law 10.267/2001, which modify article 176 of the Brazilian Federal Law 6.015/1973 (Public Record Law) and adds to this article the paragraphs 3º and 4º, the paragraph 3º of article 225 of the Brazilian Law 6.015/1973 and the article 971 of the Código de Processo Civil (CPC), which require the coordinates of the corners of the real property on the Brazilian Geodetic System (SGB). The partitioning of the regular ellipsoid quadrilateral and the partitioning of the irregular ellipsoid quadrilateral located in the real property Pó de Serra is presented. To become this partitioning, it was used surface of the Lambert azimuthal equal-area projection, i. e., the curvilinear geodetic coordinates in plane coordinates has been transformed. The surface partitioning was determined using the method area equation of the Gauss trapezes connected with the equation of the straight line. The direct problem of the Lambert azimuthal equal-area projection and the inverse problem supply the methodology that become feasible the juridical exigence (articles 176 and 225 of Brazilian Federal Law 6.015/1973 and article 971 of the CPC). The methodology to the geodetic coordinates system with the purpose to calculate the partitioned areas of surface on the ellipsoid can be applied. The calculation of surface measure supplies the effective practice of the mencioned juridical basis. / O propósito deste trabalho é fornecer os fundamentos de cálculo de medida de superfície (área) no modelo de Terra adotado pela Geodésia. Esse modelo é o elipsóide de revolução ao qual se vincula o sistema de coordenadas cartesianas, o sistema de coordenadas curvilíneas e o sistema de coordenadas polares. Discute a natureza das coordenadas no desenvolvimento do cálculo da medida de superfície. Efetuam-se as seguintes demonstrações: equação da elipse, equação da excentricidade da elipse, equação do raio de curvatura da seção meridiana, equação do raio de curvatura da seção transversal meridiana e integral elíptica. Define linha geodésica algébrica e geometricamente. Apresentam-se os instrumentos legais que são o artigo 3º da Lei 10.267/2001, o qual altera o artigo 176, inciso II da Lei 6.015/1973 (Lei de Registros Públicos) e acrescenta a este artigo os parágrafos 3º e 4º, o parágrafo 3º do artigo 225 da Lei 6.015/1973 e o artigo 971 do Código de Processo Civil (CPC), os quais vinculam as coordenadas dos vértices do imóvel ao Sistema Geodésico Brasileiro (SGB). Efetuam-se a divisão do quadrilátero elipsóidico regular e também do quadrilátero elipsóidico irregular localizado na gleba Pó de Serra. Para se fazer esta divisão, usou-se a superfície da projeção azimutal equivalente de Lambert, ou seja, as coordenadas elipsóidicas curvilíneas foram transformadas em coordenadas planas desse sistema de projeção. A divisão destas superfícies foi efetuada pelo método da equação da área dos trapézios de Gauss em conjunto com a equação da reta. Os problemas direto e inverso da projeção azimutal equivalente de Lambert fornecem a metodologia que tornam exeqüíveis os dispositivos legais (artigos 176 e 225 da Lei 6.015/1973 e artigo 971 do CPC). A metodologia de cálculo proposto pode ser aplicada ao sistema de coordenadas geodésicas com a finalidade de calcular as áreas de uma divisão de superfície no elipsóide. Os fundamentos do cálculo de medida de superfície instrumentalizam o efetivo cumprimento dos dispositivos legais retrocitados.

[ES] El principal objetivo de la presente tesis es el desarrollo de una completa metodología para el modelado numérico del UHPFRC desde el material hasta el elemento estructural. Se pretende contribuir al avance del conocimiento del comportamiento mecánico del UHPFRC obteniendo como resultado un procedimiento para la modelización numérica que permita el modelado y diseño estructural que permitiría hacer que este material fuera competitivo para ser utilizado en el mercado de la construcción. En la metodología de modelado propuesta, se considera un comportamiento constitutivo del UHPFRC optimizado por medio de un procedimiento directo y fiable con el que se aprovechan las ventajas del material, resultando en un diseño estructural eficiente desde el punto de vista mecánico y económico. ¿Es necesario producir SH-UHPFRC para conseguir grandes propiedades mecánicas? ¿Es posible generar SS-UHPFRC de manera que queden reducidos los costos iniciales y se mantengan unas propiedades mecánicas y de durabilidad competitivas que comporten un diseño estructural efectivo? El desarrollo de UHPFRC con bajo endurecimiento por deformación y de SS-UHPFRC puede reducir sus propiedades mecánicas, pero si son adecuadamente estudiadas y controladas, éstos podrían ser optimizados. La tesis aborda algunas de estas cuestiones a través del estudio del comportamiento a tracción que va desde SH-UHPFRC hasta SS-UHPFRC. Se pretende llevar a cabo una propuesta de procedimiento fiable para caracterizar el comportamiento constitutivo a tracción y definir un modelo numérico de elementos finitos fiable para modelar con precisión la respuesta de probetas y elementos estructurales armados de UHPFRC. Para definir el procedimiento directo para caracterizar a tracción tanto SH-UHPFRC como SS-UHPFRC, se ha llevado a cabo una campaña experimental y numérica en la que se ha analizado el resultado de ensayar 227 probetas sin armadura fabricadas con UHPFRC con cantidades de fibras cortas y lisas de acero de 120-130kg/m3 y 160kg/m3, ensayadas a flexión a través del ensayo a cuatro puntos (4PBT). El desarrollo y la validación de dicho proceso se respaldan mediante un modelo no lineal de elementos finitos (NLFEM) fiable. La validación numérica llevada a cabo ha sido decisiva para que este procedimiento sea preciso, simple y fiable. Utilizando esta campaña experimental, se ha desarrollado una aplicación predictiva para estimar los parámetros que definen el comportamiento constitutivo a tracción del UHPFRC. Esta aplicación es simple y directa y evita la posible variabilidad producida por malas interpretaciones en la aplicación del proceso. Además, se ha llevado a cabo una segunda campaña experimental constituida por vigas de UHPFRC armadas a flexión con diferentes escalas: 36 vigas cortas con 130 y 160kg/m3 de fibras y dos vigas largas. Esta campaña experimental se ha modelado con el NLFEM aquí desarrollado teniendo en cuenta efectos importantes debidos a la interacción del UHPFRC con las barras de armado. También se han modelado con el NLFEM tirantes de UHPFRC armados de una campaña experimental de otra investigación. El modelo considera efectos debidos a la retracción, al 3D y comportamiento tensión stiffening que generan resultados muy precisos cuando se comparan con los resultados experimentales. Como resultado de la presente tesis doctoral, se ha obtenido un modelo de elementos finitos capaz de modelar con precisión elementos estructurales de UHPFRC armados. Los resultados no sólo demuestran la fiabilidad del NLFEM llevado a cabo sino también la coherencia del procedimiento desarrollado para caracterizar el comportamiento constitutivo a tracción del UHPFRC para los dos casos, tanto SH-UHPFRC como SS-UHPFRC, tanto en elementos estructurales armados a flexión como en elementos estructurales armados a tracción directa. Consecuentemente se ha propuesto una metodología completa y efectiva para el modelado numérico del UHPFRC / [CA] El principal objectiu de la present tesi es el desenvolupament d'una completa metodologia per al modelat numèric de l'UHPFRC des del nivell material fins arribar als elements estructurals. Es pretén contribuir a l'avanç del coneixement del comportament mecànic de l'UHPFRC per mitjà d'un procediment per al modelat numèric útil per al modelat i disseny estructural que permeta fer que aquest material siga competitiu al mercat de la construcció. En la metodologia de modelat proposta, es considera un comportament constitutiu de l'UHPFRC optimitzat per mitjà d'un procediment directe i fiable amb el qual s'aprofiten els avantatges del material, resultant en un disseny estructural eficient des del punt de vista mecànic i econòmic. És necessari produir SH-UHPFRC per a aconseguir grans propietats mecàniques? És possible generar SS-UHPFRC amb el qual queden reduïts els costs inicials mantenint unes propietats mecàniques i de durabilitat competitives que comporten un disseny estructural efectiu? El desenvolupament d'UHPFRC amb baix enduriment per deformació i de SS-UHPFRC pot reduir les seues propietats mecàniques però, si són adequadament estudiades i controlades, aquests podrien ser optimitzats. La tesi aborda algunes d'aquestes qüestions per mitjà de l'estudi del comportament a tracció de l'UHPFRC que va des de SH-UHPFRC fins SS-UHPFRC. Es pretén dur a terme una proposta de procediment fiable per a caracteritzar el comportament constitutiu a tracció i definir un model numèric d'elements finits fiable per a modelar amb precisió la resposta de provetes i elements estructurals armats d'UHPFRC. Per a definir el procediment directe per a caracteritzar a tracció tant SH-UHPFRC com SS-UHPFRC, s'ha dut a terme una campanya experimental i numèrica en la que s'ha analitzat el resultat d'assajar 227 provetes sense armadura fabricades amb UHPFRC amb quantitats de fibres curtes i llises d'acer de 120-130kg/m3 i 160kg/m3, assajades a flexió per mitjà de l'assaig a quatre punts (4PBT). El desenvolupament i la validació de l'esmentat procés són assegurats per mitjà d'un model no lineal d'elements finits (NLFEM) fiable. La validació numèrica duta a terme ha estat decisiva per a que aquest procediment siga precís, simple i fiable. Utilitzant aquesta campanya experimental, s'ha desenvolupat una aplicació predictiva per a estimar els paràmetres que defineixen el comportament constitutiu a tracció de l'UHPFRC. Aquesta aplicació és simple i directa i evita la possible variabilitat produïda per males interpretacions en l'aplicació del procés. A més a més, també s'ha dut a terme una segon campanya experimental constituïda per bigues d'UHPFRC armades a flexió amb diferents escales: 36 bigues curtes amb 130 i 160kg/m3 de fibres i dos bigues llargues de gran escala. Aquesta campanya s'ha modelat amb el NLFEM ací desenvolupat incloent efectes importants deguts a la interacció de l'UHPFRC amb les barres d'armat. Addicionalment, també s'han modelat amb el NLFEM tirants d'UHPFRC armats a tracció provinents d'una campanya experimental d'altra investigació. El model considera efectes deguts a la retracció, al 3D i comportament tensió stiffening que generen resultats molt precisos quan es comparen amb els resultats experimentals. Per tant, com a resultat de la present tesi doctoral, s'ha obtingut un model d'elements finits capaç de modelar amb precisió elements estructurals d'UHPFRC armats. Els resultats del model comparats amb els resultats experimentals no sols demostren la fiabilitat del NLFEM dut a terme sinó que també la coherència del procediment directe desenvolupat per a caracteritzar el comportament constitutiu a tracció de l'UHPFRC als dos casos, tant per a SH-UHPFRC com SS-UHPFRC, tant en elements estructurals armats a flexió com amb elements estructurals armats a tracció directa. Conseqüentment, s'ha proposat una metodologia completa i efectiva per al modelat numèric de l'UHPFRC des del niv / [EN] The main objective of the present PhD thesis is to develop a complete methodology for the numerical modelling of UHPFRC from the material level to structural elements. It intends to contribute to advanced knowledge of mechanical UHPFRC behaviour to lead to a numerically modelling proposal that is useful for structural modelling and design that allows options for this material to be competitive in the construction market. Optimised UHPFRC material constitutive behaviour, characterised by a direct reliable defined procedure, is considered in the proposed modelling methodology to take advantage of these properties, and to lead to an efficient structural design from the mechanical and economical points of view. Is it necessary to produce SH-UHPFRC to obtain excellent properties? Is it possible to develop SS-UHPFRC that leads to lower initial costs and to maintain competitive mechanical and durability properties that result in an effective structural design? The development of low strain-hardening and SS-UHPFRC would lead to reduce its mechanical properties, but they can be optimised if they are studied and controlled. The thesis addresses some of these questions by studying tensile UHPFRC behaviour to cover a wide range of tensile constitutive behaviours from SH-UHPFRC to SS-UHPFRC. It intends to propose a reliable tensile characterisation process and a reliable finite element model capable of accurately simulating the response of UHPFRC specimens and reinforced structural elements. An extensive experimental and numerical campaign with 227 unreinforced four-point bending test (4PBT) specimens with amounts of smooth-straight (13/0.20) steel fibres of 1.53-1.66% (120-130kg/m3) in volume and with 2.00% (160kg/m3), which represents SS-UHPFRC and SH-UHPFRC tensile behaviours, was carried out to set up a direct tensile characterisation procedure involving SS-UHPFRC and SH-UHPFRC. The direct procedure's development and validity are ensured by a reliable non-linear finite element model (NLFEM). Numerical validation was carried out and is decisive for performing the direct procedure to characterise the tensile behaviour of both SS and SH-UHPFRC herein developed accurately, simply and reliably. With the experimental programme herein, a predictive application for estimating tensile UHPFRC parameters was developed. The prediction offers reliable results. The application is simple and direct, and avoids variability in the characterisation procedure due to possible misinterpretations in its application. In addition, a second experimental programme, which includes reinforced concrete flexural beams on different scales, with 36 UHPFRC reinforced short beams with 130 and 160kg/m3 of steel fibres and two full-scale long beams, was carried out and modelled with the NLFEM herein developed including major effects due to the interaction between UHPFRC and reinforcement bars. Additionally, reinforced UHPFRC tensile bars from a recent experimental campaign performed by other researchers were modelled with the NLFEM. The model considers shrinkage effects, tension stiffening behaviour and 3D effects due to the particularities of the test, which provide very accurate results compared to those obtained with the experimental tests. As a result of this PhD thesis, an accurate NLFEM was obtained to model reinforced UHPFRC structural elements. The results of the model compared to the experimental ones demonstrate not only the reliability of the developed NLFEM, but also the coherence of the developed direct procedure to characterise tensile UHPFRC behaviour in both strain-softening and strain-hardening in reinforced flexural and direct tensile structural elements. Consequently, a complete and effective methodology for numerical UHPFRC modelling from the material level to structural elements is proposed. / Mezquida Alcaraz, EJ. (2021). Numerical Modelling of UHPFRC: from the Material to the Structural Element [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/167017 / TESIS