No description available.

This thesis consists of three parts, each of independent interest, yet tied together by the problem of matching with mismatches. In the first chapter, we present a motivated exposition of a new randomized algorithm for indexed matching with mismatches which, for constant error (substitution) rates, locates a substring of length m within a string of length n faster than existing algorithms by a factor of O(m/ log(n)). The second chapter turns from this theoretical problem to an entirely practical concern: delta compression of executable code. In contrast to earlier work which has either generated very large deltas when applied to executable code, or has generated small deltas by utilizing platform and processor-specific knowledge, we present a naïve approach — that is, one which does not rely upon any external knowledge — which nevertheless constructs deltas of size comparable to those produced by a platformspecific approach. In the course of this construction, we utilize the result from the first chapter, although it is of primary utility only when producing deltas between very similar executables. The third chapter lies between the horn and ivory gates, being both highly interesting from a theoretical viewpoint and of great practical value. Using the algorithm for matching with mismatches from the first chapter, combined with error correcting codes, we give a practical algorithm for “universal” delta compression (often called “feedback-free file synchronization”) which can operate in the presence of multiple indels and a large number of substitutions.

Made available in DSpace on 2014-06-11T19:27:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-08-31Bitstream added on 2014-06-13T20:35:12Z : No. of bitstreams: 1 thomaz_dv_me_prud.pdf: 533928 bytes, checksum: dedbbd2d4b546fad0cc5523740496b61 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho propõe um método de extração de contornos de telhados convexos de edifícios a partir de dados de um Modelo Digital de Superfície normalizado (MDSn). A modelagem do contorno se dará através do modelo de snake balloon, onde um funcional de energia dependente de muitas variáveis será otimizado através do algoritmo de Programação Dinâmica (PD). O MDSn se mostra atrativo na aplicação de extração de contornos de telhados de edifícios, pois permite separar as regiões de edifícios da maioria das outras regiões, principalmente as mais baixas. O modelo de snake balloon pode ser interpretado como uma curva poligonal fechada que se deforma sob a ação de forças internas e externas agindo sobre o modelo. O método proposto neste trabalho utiliza algumas características apresentadas pelo MDSn para desenvolver uma estratégia de solução do problema de otimização. Uma dessas características está ligada ao fato de que os contornos de telhados de edifícios no MDSn estão associados com grandes desníveis e os pontos representativos do contorno apresentam-se sobre o edifício. Assim, para dar início ao processo de extração, bastaria colocar um único ponto semente sobre o telhado. Tal ponto se expandiria, tornando-se uma curva poligonal fechada. Até que a curva encontre o limite do telhado são necessárias várias etapas... / This work proposes a method for building convex-roof contours extraction from data of a normalized Digital Surface Model (nDSM). The contour modeling will be made by the snake balloon model, where an energy functional depending on many variables will be optimized through the Dynamic Programming algorithm (DP). The nDSM proves to be attractive in the application of building roof contour extraction, as it allows separating buildings regions from mostly other regions, especially the lowest ones. The snake balloon model can be interpreted as an polygonal closed curve that deforms under the action of internal and external forces acting on the model. The method proposed in this work uses some of the features presented by nDSM in order to develop a strategy to solve an optimization problem. One of these characteristics is related to the fact that building roof contours in a nDSM are associated with large elevation differences and representative points of the contour are presented over the building. So, to start the extraction process, it would be enough to place a single seed point on the roof. The point would expand and become a polygonal closed curve. Until the curve find the edge of the roof, several expansion stages are required... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-26Bitstream added on 2014-06-13T20:35:13Z : No. of bitstreams: 1 garcia_lm_me_prud.pdf: 1906128 bytes, checksum: 64b495d9df86af5176ab0d42da0461ad (MD5) / A Exponencial-Logarítmica (EL(p; )) é uma distribuição para modelos de sobrevivência com taxa de falha decrescente. Esta distribuição pode ser usada para estudar os tempos de vida de organismos, materiais, dispositivos, etc, em ciências biológicas e na engenharia. Neste trabalho foram utilizadas as abordagens Clássica e Bayesiana para inferir sobre os parâmetros do modelo com conjunto de dados completos e censurados. A abordagem Bayesiana requer a seleção de distribuições a priori para os parâmetros do modelo. No caso onde há informação dos dados, foram escolhidas distribuições a priori não-informativas. Por outro lado, quando há poucos dados e/ou são dados censurados, torna-se necessária uma priori informativa obtida a partir das informações de um especialista. Neste trabalho propôs-se uma priori informativa elicitada através de informações de especialistas e derivada da aproximação de Laplace. Portanto, a análise Bayesiana foi realizada considerando os dois tipos de distribuição a priori: informativa e não-informativa. As distribuições a priori não-informativas usadas foram: priori de Jeffreys (Jeffreys (1967)), priori de Referência (Berger and Bernardo (1992)), priori de Máxima Informação dos Dados (Zellner (1977)) e priori derivada da função Cópula (Achcar et al. (2010)). Estas distribuições a priori também foram comparadas com outras distribuições a priori comuns, tais como Beta, Gama e Uniforme. A fim de avaliar o desempenho das distribuições a priori, foi apresentado um estudo comparativo utilizando dados simulados a partir da distribuição EL(p; ) e um conjunto de dados reais introduzido por Lawless (1982). Utilizou-se o algoritmo MCMC para obter uma amostra de valores da posteriori conjunta, a fim de extrair características das distribuições posteriores marginais, tais como médias a posteriori, moda e intervalos de credibilidade / The Exponential-Logarithmic, denoted by EL(p; ), is a lifetime distribution with decreasing failure rate. This distribution can be used to study the lengths of organisms, devices, materials, etc., in the biological and engineering sciences. In this dissertation we use classical and Bayesian approaches to make inferences for the parameters of the model under complete and censored data set. Bayesian approach requires the selection of prior distributions for all parameters of the model. In this case, we will seek to choose a noninformative prior that provides best estimation when there is absence of information or with large data set and uncensored data. On the other hand, when there is few data to use or presence of censored data, an informative prior obtained from the expert’s information is necessary. We propose an informative prior elicited from the expert’s opinion and derived though Laplace’s approximation. Thus, we carry out the Bayesian estimation by considering the two types of prior distributions. Different noninformative prior distributions are used as Jeffreys (Jeffreys (1967)), Reference (Berger and Bernardo (1992)), maximal data information prior (Zellner (1977)) and prior derived from copula function (Achcar et al. (2010)). These priors are also compared with other common priors such as beta, gamma, and uniform distributions. A comparative study to evaluate the performance of the prior distributions through simulated data from the EL(p; ) distribution and a practical data set introduced by Lawless (1982) presented. We also need to appeal to the MCMC algorithm to obtain a sample of values of and from the joint posterior in order to extract characteristics of marginal posterior distributions such as Bayes estimator, mode and credible intervals

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-04-03Bitstream added on 2014-06-13T19:06:50Z : No. of bitstreams: 1 marques_lf_me_prud.pdf: 689241 bytes, checksum: 1fa93b7fd9d4d54d548af00d96f74e9f (MD5) / Este trabalho consiste em apresentar um estudo de um resultado publicado recentemente, relacionado ao comportamento de zeros de polinômios perturbados. Utilizando os métodos numéricos para a solução de equações diferenciais ordinárias, os métodos (K, L) de Brown e os métodos de Radau (Radau I e Radau II), exemplificamos tal resultado, mostrando a sua validade para alguns polinômios característicos dos métodos citados. Além disso, obtivemos uma extensão deste resultado para uma classe de polinômios palindrômicos, estabelecendo o comportamento de seus zeros em relação ao disco unitário / This work presents a study of a result published recently, related to the behavior of zeros of perturbed polynomials. Through numerical methods for the solution of ordinary differential equations, Brown (K, L) methods and Radau methods ( Radau I and Radau II), we exemplify this result, showing its validity for some characteristic polynomials of the mentioned methods. Furthermore, we obtained an extension of this result to a class of palindromic polynomials, establishing the behavior their zeros of polynomials with respect to the unit disk

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-06Bitstream added on 2014-06-13T20:35:14Z : No. of bitstreams: 1 niiyama_ca_me_prud.pdf: 2194202 bytes, checksum: 1d4085451f5927aafb1646af4b09ac61 (MD5) / Na literatura existem varias distribuições de probabilidade utilizadas em confiabilida e analise de sobrevivência. Entre as famílias de distribuições utilizadas para este fim é a mais popular e a distribuição de Weibull cuja fução de risco apresenta formas: constante, crescente e decrescente. No entanto, quando a função de risco e do tipo unimodal ou em forma de banheira, a Weibull distribui c~ao n~ao e apropriada. Assim, nos ultimos anos, t em sido propostas novas distribui c~oes que acomodam as v arias formas que a fun c~ao de risco pode tomar e consequentemente, para se ajustar a um maior n umero de problemas pr aticos. Carrasco et al. (2008) prop os uma nova distribui c~ao chamada Weibull Modi cada Generalizada, denotada por WMG, sua fun c~ao de risco pode assumir muitas formas, tais como constante, crescente, decrescente, unimodal e banheira. A distribui c~ao Weibull Modi cada Generalizada proposta por Carrasco, Ortega e Cordeiro (2008) foi amplamente estudada no contexto de infer encia cl assica, por em n~ao existem ainda trabalhos desenvolvidos na literatura sob o enfoque Bayesiano. O objetivo deste trabalho foi realizar uma compara c~ao entre os m etodos de estima c~ao cl assico e Bayesiano para a distribui c~ao Weibull Modi cada Generalizada. Tal distribui c~ao ainda tem como sub-modelos as distribui c~oes Exponencial, Exponencial Generalizada, Weibull, Weibull Modi cada, Weibull Exponenciada e valor extremo. Foram realizados estudos sobre as propriedades da distribui c~aoWeibull Modi cada Generalizada e simula c~oes para comparar o desempenho dos estimadores de m axima verossimilhan ca e Bayesiano. Uma abordagem Cl assica e Bayesiana para a esta distribui c~ao foi proposta e exempli cada, modelando conjunto de dados de sobreviv encia e de con abilidade / In the literature there are various probability distributions to model lifetimes of equipment or individual problems in survival analysis. Among the families of distributions used for this purpose, the most popular is the Weibull distribution whose hazard function presents constant, increasing and decreasing forms. However, when the hazard function is the type unimodal or bathtub shaped, the Weibull distribution is not appropriated. Thus, in recent years, there have been proposed new distributions that t the various forms that the hazard function can take and consequently to t a greater number of practical problems. Carrasco et al. (2008) has proposed a new distribution called Generalized Modi ed Weibull, denoted by GMW, whose hazard function can take many forms such as constant, increasing, decreasing, unimodal and bathtub. The Generalized Modi ed Weibull distribution proposed by Carrasco, Ortega e Cordeiro (2008) was most studied in the context of classical inference. However, no studies were found under the Bayesian approach. The aim of this work was to do a comparison of estimation methods for classical and Bayesian Generalized Modi ed Weibull distribution. The Generelized Modi ed Weibull distribuition has a function of risk that can be increasing, decreasing, unimodal and bathtub shaped and has as sub-models Exponential distributions, Exponentiated Exponential, Weibull, Modi ed Weibull, Exponentiated Weibull and extreme value. It was performed the properties of Generalized Modi ed Weibull distribution and a simulation study to compare the performance of maximum likelihood estimator and Bayesian estimator. Classical and Bayesian approach to this distribution was proposed and exempli ed, modeling data sets of survival and reliability

Orientador: Vanessa Avansini Botta Pirani / Banca: José Roberto Nogueira / Banca: Luciano Barbanti / Resumo: Neste trabalho estudamos as propriedades de algumas classes de polinômios que satisfazem uma relação de recorrência de três termos como, por exemplo, os ortogonais, que já foram muito bem explorados, e os para-ortogonais, cuja nomenclatura tem relação com as deficiências em suas propriedades de ortogonalidade. Foram apresentados resultados sobre o comportamento dos zeros de tais de polinômios, além de alguns exemplos como aplicações / Abstract: In this work we studied the properties of some classes of polynomials wich satisfy a three term recurrence relation as, for example, the orthogonals, that has already been well explored, and the para-orthogonals, whose name is related to the de ciences in their properties of ortogonality. Results about the behavior of the zeros of these polynomials was shown, besides some examples as aplications / Mestre

Orientador: Messias Meneguette Junior / Banca: Gilcilene Sanchez de Paulo / Banca: Afonso Paiva Neto / Resumo: Atualmente, devido ao grande avanço tecnológico o uso dos métodos de partículas vêm ganhando espaço nas simulações de escoamento de fluido. O primeiro método de partículas a ser desenvolvido foi o Smoothed Particle Hydrodynamics (SPH) que se mostrou bastante eficiente para problemas de escoamento compressível, mas ineficiente para escoamento incompressível. Desta forma, surgiu algumas estratégias para resolver problemas de escoamento incompressível como o Incompressible Smoothed Particle Hydrodynamics (ISPH) e o Moving Particle Semi-Implicit (MPS); em ambos os métodos a pressão é atualizada por um equação de Poisson. Portanto para obter uma boa aproximação das equações de Navier-Stokes é necessário antes ter uma boa aproximação da equação de Poisson. Neste trabalho são abordados os métodos de partículas Smoothed Particle Hydrodynamics (SPH) e Moving Particle Semi-Implicit (MPS). A discretização dos operadores diferenciais por esses métodos é feita por meio da aproximação do núcleo e também por partículas. Um estudo comparativo entre discretização foram efetuadas. Afim de saber se os parâmetros utilizados na literatura dos métodos de partículas SPH e MPS dão uma boa solução para equação de Poisson foram realizados vários testes variando os parâmetros com e sem o tratamento de fronteira. Neste trabalho também foi proposta uma estratégia para resolver o problema de oscilação na solução da equação de advecção com descontinuidade nas condições iniciais e os resultados foram bem satisfatório / Abstract: Currently, due to the technological advances the use of particle methods is gaining ground in the simulations of fluid flow. The first particle method to be developed was the Smoothed Particle Hydrodynamics (SPH) that was very efficient for compressible flow problems, but inefficient for incompressible ones. Thus, there was some strategy to solve incompressible flow problems as the incompressible Smoothed Particle Hydrodynamics (ISPH) and the Moving Particle Semi-Implicit (MPS); in both methods the pressure is updated by a Poisson equation. For an approximation of the Navier-Stokes equations it is first needed a good approximation for the Poisson equation. This paper discusses the following particles methods: Smoothed Particle Hydrodynamics (SPH) and Moving Particle Semi-Implicit (MPS). The discretization of differential operators by these methods is done through the approximation of the kernel and also by particles. A comparative study of different discretizations were made. In order to know if the parameters used in the literature for the SPH and MPS methods provide a good solution for Poisson equation, have been performed several tests by varying the parameters with and without the borders treatment. This work also proposed a strategy to solve the oscillation problem in advection equation with discontinuity in the initial conditions and the results were very satisfactory / Mestre

Orientador: Marcos Tadeu de Oliveira Pimenta / Banca: Messias Meneguette Júnior / Banca: Michele de Oliveira Alves / Resumo: Neste trabalho mostra-se a existência de solução de variação limitada para um problema envolvendo o operador 1− Laplaciano em um domínio exterior com condição de fronteira de Dirichlet. Para isso, será usada uma versão do Teorema do Passo da Montanha adequada a funcionais localmente lipschitzianos. As dificuldades na implementação de métodos variacionais no espaço das funções de variação limitada são múltiplas, entre elas, a falta de reflexividade, dificuldade de se usar condições de compacidade como a de Palais-Smale e ainda a falta de regularidade do funcional energia. / Abstract: In this work we prove existence of bounded variation solution for a problem involving the 1-Laplacian operator in an exterior domain with Dirichlet boundary condition. For this, a version of the Mountain Pass Theorem to locally Lipschitz functionals is used. There are many difficulties in implementing variational methods in the space of limited variation functions, among them, lack of reflexivity, difficulty in using compactness conditions such as Palais-Smale and the lack of regularity of the functional energy. / Mestre

Orientador: Gilcilene Sanchez de Paulo / Banca: Analice Costacurta Brandi / Banca: Jorge Peixinho / Resumo: O presente trabalho de mestrado consiste em apresentar uma modelagem para escoamentos isotérmicos viscoelásticos em que a viscosidade varia de acordo com a pressão e estudos numéricos para alguns problemas bidimensionais, como escoamentos entre placas paralelas e expansão planar 1:4. Para este trabalho é utilizado o modelo viscoelástico Oldroyd-B e uma modelagem linear da viscosidade com relação a pressão. O método numérico desenvolvido é baseado no método da projeção para desacoplar velocidade e pressão nas equações de Navier-Stokes e depois calcula os tensores pela equação constitutiva com a informação da viscosidade variando com a pressão. As equações são discretizadas em uma malha deslocada pelo método de diferenças finitas. Os resultados numéricos são obtidos das simulações de escoamentos em um canal e expansão planar 1:4 bidimensional, cujo foco é destacar algumas diferenças entre o modelo Oldroyd-B Standard e o modelo Oldroyd-B sob influência da viscosidade que varia linearmente com a pressão. Este trabalho de mestrado também tem por objetivo resolver problemas, com fluidos viscoelásticos, em que haja regiões com variações da pressão e estudar estes resultados numéricos comparando-os com o modelo Oldroyd-B Standard. / Abstract: The present master's work consists in presenting a model for viscoelastic isothermal flows with pressure-dependent viscosity and numerical studies for some two-dimensional problems, such as channel flow and planar expansion 1:4. In this work will be considered the Oldroyd-B viscoelastic model and a linear modeling viscosity with a linear relationship between viscosity and pressure. The numerical method developed is based on the projection method to decouple velocity and pressure in the Navier-Stokes equations and then calculates the tensor from the constitutive equation taking account the pressure-dependent viscosity. The equations are discretized on a staggered grid by using the finite diference method. The numerical results are obtained for two problems: two-dimensional channel and planar expansion 1:4 flows, whose focus is to highlight some diferences between the standard Oldroyd-B model and the Oldroyd-B model under the influence of viscosity that varies linearly with pressure. This master's work aims to solve problems of viscoelastic fluids in which there exist regions where pressure varies and to study these numerical results comparing them with the standard Oldroyd-B model. / Mestre