Trabalho de investigação desenvolvido na Thammasat University / Tese de Doutoramento. Engenharia Mecânica (Manufacturing, Product Development and Automobile Engineering). Faculdade de Engenharia. Universidade do Porto. 2013

Estruturas de dados (EDs) permitem operações de acesso e de modificação; operações de acesso apenas consultam um ou mais campos de uma ED, enquanto operações de modificação podem alterar os campos da estrutura. Dizemos que, ao realizar uma operação de modificação, criamos uma nova versão da ED. Uma ED é parcialmente persistente se permite apenas operações de acesso a versões anteriores e modificação apenas na versão mais nova, e totalmente persistente se também permite operações de modificação em todas as versões. Esta dissertação apresenta a descrição e implementação de uma versão total ou parcialmente persistente de várias estruturas: pilhas, filas, deques e árvores rubro-negras. Também são discutidas técnicas gerais para tornar persistentes certas classes de estruturas de dados. Por fim, é apresentada uma solução ao problema de localização de ponto, que usa uma árvore de busca binária persistente. / Data structures (DSs) allow access and update operations; access operations only allow accessing the value of one or more fields of the DS, while update operations allow modifying the fields of the structure. We say that, whenever an update operation is done, a new version of the DS is created. A DS is partially persistent if it allows access operations to previous versions of the structure and update operations only on the newest version, and totally persistent if it also allows update operations on all versions. This dissertation presents the description and implementation of totally or partially persistent versions of several data structures: stacks, queues, deques, and red-black trees. General techniques to make certain classes of DSs persistent are also discussed. At last, a solution to the point location problem, using a persistent binary search tree, is presented.

As principais causas da redução da produtividade agrícola são os eventos climáticos, e a variável meteorológica de grande importância para a produção agrícola é a precipitação. Alguns dos problemas das bases de dados meteorológicos são a descontinuidade e dados faltantes. Nesse sentido, os dados de precipitação em ponto de grade (Gridpoint), são uma excelente fonte de informações em pesquisas climatológicas. Para superar os problemas de dados faltantes e construir um banco de dados completos é necessário um processo de imputação. Portanto, o objetivo do trabalho foi comparar metodologias de imputação, utilizou abordagens univariada e múltipla, e comparou o desempenho em termos de imputação em diferentes cenários de dados faltantes e utilizou a raiz do erro quadrático médio (RMSE) como métrica. Para séries de precipitação diária que tinham dados faltantes foi realizado a imputação pelo método imputação múltipla por equações encadeadas (MICE), utilizando a informação de mês, ano e precipitação em ponto de grade. Foram utilizados quatro modelos, nos quais a precipitação diária dependia de: mês; mês e ano; precipitação em ponto de grade; mês, ano e precipitação diária em ponto de grade. Utilizou-se a raiz do erro quadrático médio (RMSE) como métrica e para verificar as imputações, analisou-se a semelhança entre os dados observados e os dados imputados pelo Teste de Kolmogorov-Smirnov e pelos gráficos da média e variância das imputações. O modelo com o maior número de variáveis foi escolhido para imputar os dados faltantes das séries de precipitação diária. Nesse trabalho, o uso de dados de precipitação em ponto de grade mostrou ser na imputação de dados de séries de precipitação diária. Para uma série de precipitação diária completa, concentra-se na comparação e avaliação de métodos de imputação nas abordagens univariada e múltipla, para dados de precipitação diária. Na abordagem univariada, utilizou-se diferentes configurações filtro de Kalman, Média Móvel Ponderada e Decomposição Sazonal. Na abordagem múltipla, utilizou-se o método MICE, com diferentes modelos. Os dados faltantes foram estimados em uma série de precipitação diária, em que os dados faltantes foram gerados de maneira aleatória e em trechos e utilizou-se a raiz do erro quadrático médio (RMSE) como métrica. Os resultados identificaram que o método de Filtro de Kalman forneceu os menores valores de RMSE, para todos os cenários de dados faltantes. A aplicação do algoritmo Filtro de Kalman produziu melhores estimativas para os valores diários de precipitação. O Filtro de Kalman pode ser uma importante metodologia para imputação de dados de precipitação diária, garantido uma série temporal completa para análises de vários setores, dentre eles a agricultura. / The main causes of the reduction of agricultural productivity are the climatic events, and the meteorological variable of great importance for the agricultural production is precipitation. Some of the problems of meteorological databases are discontinuity and missing data. In this sense, grid point precipitation (Gridpoint) data is an excellent source of information in climatological research. To overcome missing data problems and build a continuous database, an imputation process is required. Therefore, this work has the objective of comparing two imputation methodologies, using the MICE method and the Kalman filter, and comparing the performance in terms of imputation in different scenarios of missing data, using root mean square error (RMSE) as metric. For series of daily precipitation that had missing data, imputation was carried out by the multiple imputation method by chain equations (MICE), using the information of month, year and precipitation in grid point. Four models were used, in which the daily precipitation depended on: month; month and year; precipitation in grid point; month, year and daily precipitation in grid point. The root mean squared error (RMSE) was used as a metric and to verify imputations, the similarity between the observed data and the data imputed by the Kolmogorov-Smirnov test and the mean and variance imputation graphs were analyzed. The model with the largest number of variables was chosen to impute missing data from the daily precipitation series. In this work, precipitation data in grid point showed the importance and advantages of their use as information in imputation of daily precipitation series data. For a complete daily precipitation series, it focuses on the comparison and evaluation of imputation methods in the univariate and multiple approaches for daily precipitation data. In the univariate approach, we used different Kalman filter configurations, Weighted Moving Average, and Seasonal Decomposition. In the multiple approach, the MICE method was used, with different models. The missing data were estimated in a series of daily precipitation, in which the missing data were generated randomly and in sections, and the root mean square error (RMSE) was used as a metric. The results identified that the Kalman Filter method provided the lowest RMSE values for all missing data scenarios. The application of the Kalman filter algorithm produced better estimates for the daily values of precipitation. The Kalman Filter can be an important methodology for imputation of daily precipitation data, ensuring a complete time series for analysis of several sectors, among them agriculture.

[pt] A presente dissertação é um estudo sobre o conceito do ponto de vista interno, elaborado e aplicado ao direito por H. L. A. Hart no livro O Conceito de Direito. Para tanto, é analisado a relação desse conceito com outros tópicos da teoria hartiana, como: a crítica às teorias baseadas em sanções, a existência de regras sociais, a norma de reconhecimento e a ideia de obrigação jurídica. Com isso, o objetivo é analisar o conceito do ponto de vista interno não de forma isolada, mas relacionada com o contexto geral da obra de Hart. / [en] This dissertation is a study on the concept of the internal point of view, which was applied to the law by H. L. A. Hart in his book The Concept of Law. Therefore, it is analyzed the relationship of this concept with other topic in Hart´s theory, such as: a critique of sanction-centered theories of law, the existence of social rules, the rule of recognition and the idea of legal obligation. Thus, the objective is to analyze the concept of the internal point of view not in isolation, but related to the general context of the Hart´s work.

Thesis (Ph. D.)--University of Cambridge. / Includes bibliographical references (p. 197-211).

Thesis (Ph. D.)--University of Cambridge. / Includes bibliographical references (p. 197-211).

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-02-18Bitstream added on 2014-06-13T20:16:07Z : No. of bitstreams: 1 000753998.pdf: 885291 bytes, checksum: e06a634b31c2012fc0b6d5e72ec13aa3 (MD5) / Este trabalho é espelhado no livro “Teoria do Índice” [1] de Daciberg Lima Gonçalves e José Carlos de Souza Kiihl, publicado em 1983 no 14o Colóquio Brasileiro de Matemática pelo IMPA. Para a leitura deste trabalho é necessário uma familiaridade prévia com Topologia Algébrica, na qual indicamos [2] e [3] para consulta. Inicialmente apresentaremos alguns pré-requisitos algébricos e topológicos necessários para o desenvolvimento do trabalho e a seguir estudaremos: pontos fixos de aplicações contínuas de X em X, em que X é um espaço topológico; Grau de Brouwer de aplicações contínuas de Sn em Sn (ou respectivamente (Bn+1; Sn) em (Bn+1; Sn)); Grau Local de uma aplicação contínua f de V em Sn em torno de um ponto Q 2 Sn, em que V Sn é um aberto e f1(Q) é um compacto e Índices dos Pontos Fixos de uma aplicação contínua de V em Sn, em que V Rn é um aberto / This work is based on the book titled “Teoria do Índice” [1] by Daciberg Lima Gonçalves and José Carlos de Souza Kiihl , published in 1983 in the 14o Brazilian Math Colloquium held by IMPA . In order to perform the reading of this work, a basic acquaintance from the algebraic topology is needed, on which we can indicate the following [2] and [3] references. Firstly, for the development of the work, some previous necessary algebraic and topological requirements are shown and the next topics will be studied: fixed points of continuous maps from X to X, where X is a topological space, Brouwer’s degree of continuous maps from Sn to Sn ( or respectively (Bn+1; Sn) to (Bn+1; Sn)), Local Degree of continuous maps from V to Sn around a point Q 2 Sn, where V Sn is an open set and f1(Q) is a compact set and Fixed Points Index of continuous maps from V to Sn, where V Rn is an open set

Orientadora: Cyntia Graziella Guizelim Simões Girotto / Banca: Amanda Valiengo / Banca: Cláudia Valderramas / Banca: Elieuza Aparecida de Lima / Banca: Stela Miller / Resumo: A tese ora apresentada trata da literatura infantil e do trabalho modelado como ferramenta de ensino do argumento narrativo e de desenvolvimento da imaginação nas crianças com base nas formulações da Teoria Histórico-Cultural. Segundo essa teoria, experiências educacionais ligadas à arte e às ciências se revelam primordiais na infância, uma vez que representam experiências que promovem novas elaborações e capacitam à criação. Nessa perspectiva, é possível questionar: como a literatura infantil pode motivar o processo de desenvolvimento da imaginação em crianças do primeiro ano do Ensino Fundamental. Interligada a essa, outra questão se apresenta: como o trabalho modelado pode ser utilizado com crianças do primeiro ano do Ensino Fundamental como ferramenta de ensino do argumento narrativo oportunizando experiências enriquecedoras com textos literários de modo que as crianças possam se apropriar da cultura e reelaborá-la, sendo essa reelaboração uma manifestação dos processos de desenvolvimento da imaginação? O objetivo geral foi estabelecer relações sob a ótica da Teoria Histórico-Cultural entre o processo de desenvolvimento do argumento narrativo por meio do trabalho modelado a partir da transmissão vocal (BAJARD, 2007) de contos e fábulas da literatura infantil e o desenvolvimento da imaginação em crianças de uma turma de primeiro ano do Ensino Fundamental. Os objetivos específicos, a partir do geral, se configuram como objetivos-meio. Deste ponto de vista busquei: a) compre... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The thesis presented here deals with children's literature and work modeled as a teaching tool for the narrative argument and development of the imagination in children based on the formulations of Historical-Cultural Theory. According to this theory, educational experiences linked to art and science are primordial in childhood, since they represent experiences that promote new elaborations and enable creation. From this perspective, it is possible to question: how children's literature can motivate the process of imagination development in first-year primary school children. Linked to this, another question arises: how the modeling work can be used with elementary school children as a teaching tool of the narrative argument by providing enriching experiences with literary texts so that the children can appropriate the culture and re-elaborate it, being this re-elaboration a manifestation of the processes of developing the imagination? The general objective was to establish relations from the point of view of the Historical-Cultural Theory between the process of development of the narrative argument through work modeled from the vocal transmission (BAJARD, 2007) of stories and fables of children's literature and the development of the imagination in children of a first year class of Elementary School. The specific objectives, from the general, are configured as medium-goals. From this point of view I sought: a) to understand the creative manifestation of the imagination and t... (Complete abstract click electronic access below) / Doutor

Orientador: Reginaldo José Donatelli / Resumo: As aves de rapina diurnas são aves predadoras que estão inseridas em três Ordens: Falconiformes, Cathartiformes e Accipitriformes. Com a expansão de áreas urbanas tais aves têm se especializado a utilizar essas paisagens e muitas espécies estabelecem populações. Assim, os objetivos desse estudo foram: 1. Conhecer a taxocenose de rapinantes urbanos; 2. Sugerir uma adequação ao método de pontos de contagem para sua utilização em levantamentos de rapinantes em áreas urbanas e; 3. Verificar se existe sazonalidade e qual o horário de maior atividade de cada espécie no ambiente urbano. O estudo foi realizado no município de Pirajuí/SP, onde foi utilizada a metodologia de pontos de contagem. Entre outubro de 2014 a setembro de 2016 foram realizados levantamentos mensais onde foram amostrados quatro pontos de contagem na zona urbana durante quatro horas cada, sempre durante as primeiras horas da manhã. Foram realizadas também rotas de carro em áreas rurais para complementar a lista de espécies. Foram analisados: riqueza, número de contatos e frequência de ocorrência, horário em que cada espécie é mais frequente, sazonalidade e similaridade com outros estudos. Em geral, foram registradas 23 espécies de aves de rapina, destas, 19 foram registradas dentro da área urbana e 4 espécies nas áreas rurais. Em relação ao número de contatos, foram feitos 2555 contatos com as aves de rapinas durante o estudo, sendo que o número de contatos dos cathartídeos representou aproximadamente 60% de todo... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Diurnal birds of prey are predatory birds and are placed in three orders: Falconiformes, Cathartiformes and Accipitriformes. With the expansion of urban areas, these birds have adapted to use these landscapes and many species establish populations. Thus, the objective of this study was: 1. To know the taxocenoses of urban raptors; 2. Suggest an adaptation to the method of points counts for its use in raptor surveys in urban areas and; 3. Check for seasonality and what time of greatest activity for each species in the urban environment. The study was carried out in the city of Pirajuí, state of São Paulo, where the methodology of points counts was adopted. Between October 2014 and September 2016, monthly surveys were carried out, where four points counts were sampled in the urban area for four hours each, always during the first hours of the morning. Car routes were also carried out in rural areas to complement the list of species. We analyzed: richness, number of contacts and frequency of occurrence, time at which each species is more frequent, seasonality and similarity with other studies. In general, 23 species of birds of prey were registered, of these, 19 were recorded within the urban area and 4 species in rural areas. In relation to the number of contacts, 2555 contacts were made with the birds of prey during the study, and the number of cathartídeos contacts represented approximately 60% of all the contacts. Most Falconiformes show greater activity in the first hour af... (Complete abstract click electronic access below) / Mestre

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-02-16T11:31:58Z No. of bitstreams: 1 2015_RaydelLorenzoReinaldo.pdf: 4159588 bytes, checksum: 193a1e581d0d4b6fe1e9cc2032438a08 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-02-18T19:42:04Z (GMT) No. of bitstreams: 1 2015_RaydelLorenzoReinaldo.pdf: 4159588 bytes, checksum: 193a1e581d0d4b6fe1e9cc2032438a08 (MD5) / Made available in DSpace on 2016-02-18T19:42:04Z (GMT). No. of bitstreams: 1 2015_RaydelLorenzoReinaldo.pdf: 4159588 bytes, checksum: 193a1e581d0d4b6fe1e9cc2032438a08 (MD5) / A capacidade de carga de uma fundação sobre estacas é governada pelas propriedades iniciais e o estado do solo ao redor da estaca depois da instalação desta. As estacas de deslocamento, durante sua instalação, modificam as tensões e a densidade do solo e, portanto o seu estado. No entanto, esta mudança das propriedades e do estado do solo ainda não é bem conhecida. Neste trabalho utilizou-se o método numérico chamado Método do Ponto Material para simular o processo de instalação de estacas. Para isto foi primeiramente estudado e validado o código NairnMPM que se baseia nesse método numérico. Algumas implementações precisaram ser realizadas no código para simular materiais com comportamento mais parecido com o solo. Foram implementados e validados os modelos constitutivos Cam Clay modificado e Subloading Cam Clay. Para a validação do código numérico e dos modelos implementados no caso da cravação de estacas foram realizados várias simulações. Na primeira delas, o processo de cravação de uma estaca em condições não drenadas foi simulado e comparado com o método de trajetória de deformações superficiais (SSPM), posteriormente foi realizada a simulação de um ensaio a escala reduzida da cravação de uma estaca em areia seca. Além destes, foi realizada a simulação de um ensaio em centrífuga da cravação de uma estaca em areia seca. De forma geral, as validações realizadas mostram a capacidade da ferramenta numérica de simular o processo de cravação da estaca e as variações de tensões que surgem no contorno desta. No final, foi realizada uma análise paramétrica do processo de cravação de estacas e obtiveram-se conclusões sobre os fatores que mais influenciam neste processo. Por fim, conclui-se que as análises do processo de instalação de estacas podem levar a projetos otimizados, uma vez que estas análises conseguem capturar fenômenos que não são observados quando as análises partem da estaca já introduzida no solo. / The bearing capacity of a deep foundation is controlled by the initial properties of the soil and the state of the soil after the installation of the pile. During its installation, displacement piles modified the stresses and the density of the soil. As a consequence, the state of the soil is modified as well. However, the way in which the properties and the state of the soil are modified is still not well known. This problem involves complex boundary conditions avoiding the development of analytical solutions. Numerical methods are a useful alternative to face this problem. In this work, the Material Point Method was the numerical method used for the simulations of the pile installation. Simulations were made using the NairnMPM code, which is based on the Material Point Method. The code was firstly validated using benchmarks available on literature. In order to simulate the behavior of soil, the Modified Cam Clay model and the Subloading Cam Clay model were implemented and validated. To validate the numerical code and the implemented constitutive models for the case of pile installation, some simulations were done. In the first one, a pile drive in undrained conditions was simulated and compared to the Shallow Strain Path Method. After that, a small scale pile drive test in dry sand was simulated. In addition, a pile drive centrifuge test in dry sand was simulated. In general, the validations show the capacity of the numerical tool to simulate the pile drive process and the stress variations that arise in the pile boundary. A parametric analysis of the pile drive was done and some conclusions about the factors affecting this processes were obtained. Finally, it was concluded that the analysis of the pile installation may lead to optimizing projects since this analysis captures features that cannot be observed when the analysis began with the pile introduced in the soil.