Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O uso de técnicas com o funcional de Tikhonov em processamento de imagens tem sido amplamente usado nos últimos anos. A ideia básica nesse processo é modificar uma imagem inicial via equação de convolução e encontrar um parâmetro que minimize esse funcional afim de obter uma aproximação da imagem original. Porém, um problema típico neste método consiste na seleção do parâmetro de regularização adequado para o compromisso entre a acurácia e a estabilidade da solução. Um método desenvolvido por pesquisadores do IPRJ e UFRJ, atuantes na área de problemas inversos, consiste em minimizar um funcional de resíduos através do parâmetro de regularização de Tikhonov. Uma estratégia que emprega a busca iterativa deste parâmetro visando obter um valor mínimo para o funcional na iteração seguinte foi adotada recentemente em um algoritmo serial de restauração. Porém, o custo computacional é um fator problema encontrado ao empregar o método iterativo de busca. Com esta abordagem, neste trabalho é feita uma implementação em linguagem C++ que emprega técnicas de computação paralela usando MPI (Message Passing Interface) para a estratégia de minimização do funcional com o método de busca iterativa, reduzindo assim, o tempo de execução requerido pelo algoritmo. Uma versão modificada do método de Jacobi é considerada em duas versões do algoritmo, uma serial e outra em paralelo. Este algoritmo é adequado para implementação paralela por não possuir dependências de dados como de Gauss-Seidel que também é mostrado a convergir. Como indicador de desempenho para avaliação do algoritmo de restauração, além das medidas tradicionais, uma nova métrica que se baseia em critérios subjetivos denominada IWMSE (Information Weighted Mean Square Error) é empregada. Essas métricas foram introduzidas no programa serial de processamento de imagens e permitem fazer a análise da restauração a cada passo de iteração. Os resultados obtidos através das duas versões possibilitou verificar a aceleração e a eficiência da implementação paralela. A método de paralelismo apresentou resultados satisfatórios em um menor tempo de processamento e com desempenho aceitável. / The use of techniques with the functional of Tikhonov in image processing has been widely used in recent years. The basic idea in this process is to modify an initial image using a convolution equation and to find a parameter which minimizes the function in order to obtain an aproximation of the original image. However, a typical problem in this method consists in the choice of the regularization parameter in the appropriate compromise between accuracy and stability of the solution. A method developed by researchers of IPRJ and UFRJ, operating in the area of inverse problems, consists on minimizing a functional of residues through a functional parameter Tikhonovs regularization. A strategy that uses the iterative search of this parameter aiming at to get a minimum value for the functional in the following iteration was adopted recently in a serial algorithm of restoration. However, the computational cost is a factor problem found when using the iterative search. With this approach, an implementation in C++ language was made using techniques of parallel computation using MPI (Message Passing Interface) for the in the choice of the regularization parameter in the appropriate compromise between accuracy and stability of the soluton with the method of iterative search, thus reducing, the time of execution required for the algorithm. A modified version of the Jacobi method is considered to be two versions of the algorithm, one serial and one parallel. This algorithm is adequate for parallel implementation because it has no data dependencies such as the Gauss-Seidel method is also shown to converge. As indicating of performance for evaluation of the restoration algorithm, in addition to the traditional measures, new metric that is based on subjective criteria called IWMSE (InformationWeighted Mean Square Error) is used. These metrics were introduced in the program of image processing and allow to make the analysis of the restoration to each step of iteration. The results obtained using the two possible versions verify the efficiency of acceleration and the parallel implementation. The method of parallelism achieved satisfactory results in a shorter processing time and with acceptable performance.

Estudamos a série de Mayer de um gás de Yukawa em duas dimensões. Introduzimos brevemente a noção de série de Mayer de um gás não-ideal através do uso de expansões em clusters e apresentamos motivações pelas quais o seu uso pode apresentar dificuldades. Introduzimos um formalismo algébrico que servirá de ferramenta alternativa para o estudo da convergência dessa série através do método dos majorantes via equações diferenciais parciais. Uma vez que o gás de Yukawa não é regular na origem, é preciso regulariza-lo para utilizar o método dos majorantes. Acredita-se que esta série (não regularizada) apresenta divergência do coeficiente de ordem 2k no regime de temperatura (recíproca) > k:= 8(2k-1)/2k por conta do colapso dos multipolos neutros contido nos clusters dessa ordem, e que neste regime, a retirada desses termos é suficiente para garantir a convergência da série remanescente. Por fim, estudamos a convergência da série de Mayer para um gás de Yukawa bidimensional quando a regularizacão é removida no intervalo < 16/3 e apresentamos uma extensão desse resultado para o regime < 6. Mostramos que haverá de fato divergência do coeficiente de ordem 2 da série, que pode ser regularizado enquanto < 6, garantindo a convergência da série com termo 2 omitido. / We study the Mayer series for the bidimensional Yukawa gas. We briefly introduce the notion of a Mayer series of a non-ideal gas using cluster expansions and present some motivations on the dificulties this formalism may present. An algebraic formalism is introduced in order to develop an alternative tool to study this series using a majorant method via partial diferential equations. As the Yukawa gas is not regular at the origin, it should be regularized for the majorant method to be applicable. It is believed that the non-regularized Yukawa series presents divergence on its coeficients of order 2k when the inverse temperature > k := 8(2k - 1)/2k due to the collapse of neutral multipoles belonging to clusters of this order and if we omit these coficients, the convergence is obtained. Finally we study the convergence of the Mayer series of a bidimensional Yukawa gas when the regularization is removed when < 16/3 and we extend these results to < 6. Its is shown explicitly that the coeficient of order 2 diverges but can be regularized if < 6, assuring the convergence of the remaining series when the coeficient of order 2 is omitted.

Esta tese apresenta o desenvolvimento de uma técnica de processamento numérico capaz de reconstruir o sinal da temperatura do processo original a partir do sinal distorcido, atrasado e ruidoso, medido através de uma sonda intrusiva. Uma técnica de regularização foi adotada para contornar o mau condicionamento do modelo numérico inverso da equação de transdução para obter o sinal do processo, que considera o acúmulo térmico e as transferências de calor convectivo e radiativo entre o meio e o sensor térmico. O método dos mínimos quadrados simplificado foi implementado como técnica de regularização, por ser um método rápido e possuir um código computacional pequeno, permitindo, obter os dados em tempo real e desenvolver um sensor térmico inteligente. Testes numéricos demonstraram as discrepâncias introduzidas pela inércia térmica, convecção e radiação, bem como a extrema sensibilidade da presença de ruídos quando o problema inverso é resolvido. Testes experimentais foram conduzidos para validar o algoritmo de reconstrução sob condições práticas com sinais obtidos por um termopar encapsulado / This thesis presents the development of a numerical processing technique capable of reconstructing the original process temperature signal from distorted, late and noisy measured signal obtained from an intrusive probe. A regularization technique was adopted to palliate the ill conditioning of the inverse numerical model of the transduction equation to obtain the process signal, which considers thermal accumulation and convective and radiative heat transfers between the medium and the thermal sensor. The simplified least square method was implemented as the regularization technique, because it is a fast method and results in a small computational code, which produces on-line information and allow the development an intelligent temperature sensor. Numerical tests demonstrated the discrepancies introduced by thermal inertia, convection and radiation, as well as the extreme sensitivities to the presence of noise when solving the inverse problem. Experimental tests were carried out to validate the reconstruction algorithm under realistic experimental conditions with the signals obtained by the sheathed thermocouple

nÃo hà / A urbanizaÃÃo brasileira ocorre num ritmo muito acelerado e vem se caracterizando por uma concentraÃÃo cada vez maior da populaÃÃo nas Ãreas metropolitanas. No entanto, grande parte deste crescimento populacional nÃo veio acompanhado de infraestrutura urbana, serviÃos, desenvolvimento econÃmico, resultando no agravamento dos problemas sociais e habitacionais. Em resposta a tal problemÃtica e em decorrÃncia da intensa mobilizaÃÃo popular, o Estado desenvolveu polÃticas, planos, projetos urbanos e um vasto arcabouÃo legal, buscando inverter a lÃgica do crescimento desigual. Ocorre que a legislaÃÃo, por ser muitas vezes complexa, descolada da realidade e sem a devida regulamentaÃÃo, gera a exclusÃo e possui baixa eficÃcia, contribuindo para a manutenÃÃo da irregularidade e/ou informalidade urbana. Ressalta-se que a regulamentaÃÃo dos instrumentos urbanÃsticos faz-se especialmente necessÃria quando se trata da populaÃÃo de baixa renda, que poderà ser contemplada na definiÃÃo das zonas especiais de interesse social â ZEIS, que permitem o estabelecimento de um padrÃo urbanÃstico prÃprio para cada assentamento, agregando qualidade ambiental e requalificaÃÃo do espaÃo habitado. Assim, o presente trabalho pretende analisar os elementos formadores do desenho urbano considerados essenciais na regulamentaÃÃo de uma zona especial de interesse social, a partir da anÃlise do estudo de caso da ZEIS de ocupaÃÃo do Pici, localizada no municÃpio de Fortaleza/CE. Espera-se que este estudo contribua para o debate urbano relacionado à regulamentaÃÃo das ZEIS, com a geraÃÃo de dados, alÃm de ser de relevÃncia prÃtica, podendo ser considerado pelos ÃrgÃos governamentais e pela sociedade em geral, de forma a garantir a qualidade tÃcnica, funcional e espacial do assentamento, com elevaÃÃo da qualidade de vida da populaÃÃo envolvida. / The Brazilian urbanization occurs in a very fast pace and has been characterized by an increasing concentration of population in metropolitan areas. However, much of the population growth did not come accompanied by urban infrastructure, services, economic development, resulting in increased social problems and housing. In response to this problem and as a result of intense popular mobilization, the state has developed policies, plans, urban design and a broad legal framework, seeking to reverse the logic of uneven growth. It happens that the legislation, as it often complex, detached from reality and without proper regulation, generates exclusion and has low efficiency, contributing to the maintenance of irregularity and / or urban informality. It is noteworthy that the regulation of urban instruments becomes especially necessary when it comes to the low-income population, which may be included in the definition of special areas of social concern - ZEIS, allowing the establishment of a standard suitable for every urban settlement , adding quality and environmental upgrading of the living space. Thus, this study aims to examine the formative elements of urban design regulations considered essential in a special area of social interest, based on the analysis of case study ZEIS occupation Pici, located in Fortaleza / CE. It is hoped that this study contributes to the debate related to the regulation of urban ZEIS with data generation, besides being of practical relevance, may be considered by government and by society in general, to ensure technical quality, functional and spatial settlement with raising the quality of life of the population involved.

A aplicação da análise inversa é objeto de estudo nos mais diversos campos da ciência e da engenharia. A motivação para o tratamento de tais problemas se deve ao fato de que em muitas aplicações dessas áreas do conhecimento, há a necessidade da identificação de parâmetros físicos e geométricos a partir de dados do domínio medidos experimentalmente, já que tais parâmetros de entrada são desconhecidos para uma análise direta do problema. Neste tipo de análise o problema principal está na quantidade e qualidade dos dados experimentais obtidos, que são na maioria das vezes insuficientes para garantir que o sistema gerado apresente solução única, gerando com isto um problema essencialmente mal-posto. Assim, de forma geral o emprego confiável da análise inversa implica na utilização de ferramentas eficientes de aquisição de dados experimentais aliada a técnicas numéricas de regularização que buscam a minimização da função objetiva gerada por algum método numérico, como por exemplo, o método dos elementos de contorno (MEC). Sendo assim, o presente trabalho tem por objetivo apresentar uma formulação para resolução de problemas inversos de valor de contorno e estimativa dos parâmetros do modelo coesivo, através de medidas de campos de deslocamentos, em sólidos bidimensionais com domínio formado por multi-regiões via (MEC), utilizando-se de técnicas tais como: mínimos quadrados, regularização de Tikhonov, decomposição em valor singular (SVD) e filtro de Tikhonov, para regularização do problema. Além disto, são apresentados alguns exemplos de aplicação da formulação desenvolvida. / The application of inverse analysis is nowadays subject of research of many fields in engineering and science. The motivation to consider this problem is due to the fact that in many applications of these knowledge areas, physical and geometric parameters, that are not directly known, can be identified using domain data measured experimentally. In this kind of analysis the main problem is the quantity and the quality of the obtained experimental data, which, many times, are not sufficient to guarantee that the generated system of equations has only one solution, leading therefore to an ill-posed problem. Thus, in general the reliable use of the inverse analysis requires using efficient tools for experimental data acquisition together with the numerical techniques of regularization needed to impose the minimization of the objective function written by using any numerical method, as the boundary element method (BEM) for instance. In this context, the objective of the present work is to derive a formulation for resolution of boundary-value inverse problems and to estimate the material parameters of the cohesive model, by using measured displacements fields, in multi-region two-dimensional solid by BEM, using techniques such as: least squares, Tikhonov regularization, singular value decomposition (SVD) and Tikhonov filtering, for the problem regularization. Some application examples are presented using the developed formulation to illustrate its performance.

Orientadora: Profa. Dra. Rosana Denaldi / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Planejamento e Gestão do Território, 2017. / O objetivo da pesquisa é realizar uma análise crítica do programa Papel Passado, instituído em 2003. Este é o primeiro programa nacional criado com a finalidade de atuar no tema da irregularidade fundiária. Os objetivos específicos são: identificar os resultados alcançados (em termos quantitativos, de estágios da regularização fundiária, legados do programa) e refletir sobre os entraves que ajudam a explicar as dificuldades identificadas no desenvolvimento do programa. Tendo em vista atender a estes objetivos o estudo estrutura-se a partir de quatro questões. A primeira trata da apresentação das origens da irregularidade fundiária no país. A segunda refere-se ao histórico das políticas públicas sobre o tema nos três níveis de governo, desde as primeiras experiências até o período recente. A terceira problematiza os entraves usuais da implementação da regularização fundiária. A quarta trata do programa Papel Passado. É apresentada uma visão panorâmica do programa e um estudo aprofundado da sua implementação no estado de São Paulo. Para este fim, são analisados todos os contratos de repasse firmados pelos municípios paulistas, bem como são realizadas entrevistas com gestores municipais e técnicos da CAIXA. Entre os resultados, ressaltamos a longa duração do desenvolvimento de todas as etapas (incluindo aquelas não destinadas a executar as ações de regularização), um número relevante de contratos cancelados e que tiveram que reduzir suas metas iniciais para serem concluídos, bem como que o programa contribuiu para apoiar especialmente os estágios iniciais do processo de regularização. Entretanto, identificamos a continuidade de um número relevante de processos após o encerramento dos contratos, além de uma contribuição do programa para o aprimoramento da política local de regularização fundiária. Constatamos ainda três grupos de questões que corroboram para entender as dificuldades no desenvolvimento do programa, que se relacionam à capacidade administrativa municipal, ao desenho do programa e aos procedimentos de contratação e execução dos contratos na CAIXA, além da própria complexidade da natureza da regularização fundiária. / The research aims to provide a critical analysis of the program Papel Passado. This is the first national program created with the finality of facing the land regularization problem in Brazil. Our specific goals are: to identify the results (in quantitative terms, phases of regularization reached, legacies, among others) and to discuss the barriers that can explain the identified difficulties to the development of the program. Attending these objectives the thesis is structured by four issues. The first is related to the origin of the irregular settlements. The second treats of the historic of public policies on land regularization in Brazil, in the three levels of government, since the early experiences until today. The third is aimed to highlight the usual barriers of the land regularization policies. The fourth is about the program Papel Passado. It is presented an overview on the program and an in depth study on its implementation in São Paulo state. This study is supported by the analysis of all the process of the contracts established with the municipalities of São Paulo and as well as by interviews conducted with public managers and technicians who work in the bank (CAIXA) that supervises the development of the contracts. Between the results we highlight the long duration of all the contract phases (including the ones that are not related with the land regularization itself), a relevant quantity of cancelled contracts and contracts that had to reduce its initial objectives to be concluded. Besides, we identify that the program contributed to support specially the early phases of the land regularization process. However, through the interviews we realized that a relevant number of regularization process that started with the program had continuity before the end of the contracts, furthermore the program contributed to the improvement of the local land regularization policies. We also presented a discussion about three groups of issues that can help to understand the difficulties in the development of the program: the limits of management capacity of the municipalities, the design of the program and the procedures required to contract and to implement the contracts with the CAIXA, besides the own complexity of the land regularization nature.

O objetivo desta dissertação é examinar o instituto da regularização fundiária urbana de interesse social como alternativa apta a contribuir para que a Administração Pública cumpra com os objetivos da política urbana no sentido de garantir o pleno desenvolvimento das funções sociais da cidade e da propriedade urbana, sem deixar de destacar as problemáticas que envolvem a adoção do mecanismo. Para tanto, o trabalho parte da conceituação da expressão adotada, tendo como referência principalmente a Lei federal de Parcelamento do Solo Lei n° 6.766/1979, o Estatuto da Cidade Lei federal n° 10.257/2001; e a Lei do Programa Minha Casa, Minha Vida Lei federal n° 11.977/2009, bem como os fundamentos jurídicos que justificam sua aplicação. Para compreender alguns aspectos da relação entre o Estado e o surgimento e aplicação do instituto objeto do trabalho, recebe relevo a abordagem histórica acerca da proliferação do acesso irregular ao solo urbano, bem como a forma de organização interfederativa pós Constituição Federal de 1988, tanto para regular quanto para executar medidas abrangidas no objeto do estudo. A compreensão da amplitude do instituto é reforçada por meio da apresentação do extenso rol de instrumentos jurídicos encontrados no ordenamento jurídico, considerando a amplitude conceitual adotada. Com relação à escassez de recursos públicos para a implementação do instituto, o trabalho identifica arranjos contratuais que podem contribuir para a viabilização de investimentos a serem aplicados em projetos de regularização fundiária urbana de interesse social. Por fim, a pesquisa aponta problemáticas internas e externas que podem ser extraídas do instituto, analisando criticamente os aspectos que envolvem a sua necessidade, utilidade e efetividade. / This dissertation intends to analyze an urban policy instrument called the Urban Social Interest Land Regularization in Brazil as an alternative tool to be used by government to achieve urban policy goals so as to ensure the full development of the social functions of the city and urban property. For this proposal, the essay begins with the definition of the expression based on three federal legislations and the constitutional basis for its use: Law n° 6.766/1979; Law n° 10.257/2001; and Law n° 11.977/2009. To understand the relationship between the State and the instrument, the research investigates the historical approach on the proliferation of irregular access to urban land, as well as the federative organization form post-1988, both for regulatory and enforcement activity covered in the object of study. Understanding the magnitude of the institute is reinforced through the presentation of the long list of legal instruments found in the legal system. Regarding the scarcity of public resources for the implementation of the institute, the work identifies contractual arrangements that can contribute to the viability of investments to be invested in projects of Urban Social Interest Land Regularization in Brazil. Finally, the study identifies internal and external problems that can be extracted from the institute, critically analyzing the aspects involving its need, usefulness and effectiveness.

Submitted by Fabielle Cheuczuk (fabielle.cheuczuk@unioeste.br) on 2018-03-13T17:16:00Z No. of bitstreams: 2 ANDREI PAGNONCELLI - USUCAPIÃO EXTRAJUDICIAL.pdf: 1034677 bytes, checksum: a32efb3f0726272bf504b62b839a2b79 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-13T17:16:00Z (GMT). No. of bitstreams: 2 ANDREI PAGNONCELLI - USUCAPIÃO EXTRAJUDICIAL.pdf: 1034677 bytes, checksum: a32efb3f0726272bf504b62b839a2b79 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-12-04 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Extrajudicial usucapion is a recent legislative change aimed at the lessening of the jurisdiction of courts in order to contribute to the relief of the judiciary. Although extremely useful, it is not being widely applied. All the procedures of usucapion existing in Brazilian’s law are capable of being postulated through extrajudicial usucapion, because the Civil Procedure Code instituted a new procedural rite that will be analyzed by the registrar of real estate, without removing such possibility from the Judiciary Power, thus being the choice between one or the other an option of the originator of the request. The need for procedures that are citizen-friendlier and also contribute to the withdrawal of non-contentious cases of the Judiciary, makes the Legislative Power turn its attention with more persistence, since the benefit is double: to the citizen and to the Judiciary. In addition to the lessening of the jurisdiction, this paper brings the analysis focused on the requirements of usucapion. It concerns about the historical aspects of the ownership and origin of the term. It also analyzes the main possessory theories of Savigny and Ihering, as well as the contemporary possessory theories of Silvio Perozzi, Raymond Saleilles, and Antonio Hemandez Gil. This paper analyzes the elements of possession in order to understand the legislation’s reasons for possessory protection. It concerns about the juridical nature of possession, concluding that it is a fact, not a right. It also concerns about the right of property, seeking to understand its concepts, the purpose of protection and the social function of property. It makes an analysis of the characteristics of the property right over the subjects and the object of the property right. It analyzes the registry system to understand why Brazil has adopted the system of property acquisition derived from the Roman Law. Afterwards, it enters the study of usucapion, possession requirements ad usucapionem, the existing modalities, the requirement demands of each modality, to later analyze the institute of indirect judicial expropriation, or also known as private expropriation. Finally, it deals with lessening of the jurisdiction of courts, entering into the main topic that is extrajudicial usucapion. It deals with all the facilitating elements and the elements that make it difficult to apply this institute. With regard to the practical aspect, it deals with the requirements of the author's attorney-file, the requirements for the notarial certificate, and the requirements that involve the registrar's analysis of the property. At the end of the study, we concluded that extrajudicial misappropriation is an extremely valuable measure for land regularization, with great importance for social development and the application of public policies. In addition, ensuring a correct decision that gives the author the right without having to seek a decision by a magistrate makes the measure even more useful as it will help to unburden the Judiciary. It is a research carried out by the inductive methodology, with bibliographic procedure and documentary technique. / A usucapião extrajudicial é uma recente alteração legislativa voltada a desjudicialização, com finalidade de contribuir com o alívio do poder judiciário. Apesar de extremamente útil, não está tendo ampla aplicabilidade. Todas as modalidades de usucapião existentes no direito brasileiro são capazes de serem postuladas por meio da usucapião extrajudicial, pois o Código de Processo Civil instituiu um novo rito processual que será analisado pelo registrador de imóveis, sem retirar do Poder Judiciário tal possibilidade, sendo uma opção de escolha para o autor do pedido entre um ou outro. A necessidade de procedimentos que facilitem ao cidadão e ainda contribuam para a retirada de processos não contenciosos do Poder Judiciário, faz com que o Poder Legislativo volte a atenção com maior afinco, pois o benefício é duplo: ao cidadão e ao Poder Judiciário. Além da desjudicialização, este trabalho traz a análise voltada aos requisitos da usucapião. Trata dos aspectos históricos da posse e origem do termo. Também faz uma análise sobre as teorias possessórias principais de Savigny e de Ihering, bem como as teorias possessórias contemporâneas de Silvio Perozzi, Raymond Saleilles e Antonio Hemandez Gil. Analisa os elementos da posse buscando compreender os motivos da proteção possessória na legislação. Trata da natureza jurídica da posse, chegando a conclusão de que é um fato, e não um direito. Trata do direito de propriedade, buscando compreender seus conceitos, a finalidade da proteção e a função social da propriedade. Faz uma análise das características do direito de propriedade sobre os sujeitos e o objeto do direito de propriedade. Analisa o sistema registral para compreender a razão pela qual o Brasil adotou o sistema de aquisição de propriedade derivada do Direito Romano. Após, adentra ao estudo da usucapião, requisitos da posse ad usucapionem, as modalidades existentes, os requisitos que cada modalidade exige, para em seguida analisar o instituto da desapropriação judicial indireta, ou também conhecida como desapropriação privada. Por fim, trata da desjudicialização, adentrando no tema principal do trabalho que é a usucapião extrajudicial. Trata de todos elementos facilitadores e os elementos que dificultam a aplicação deste instituto. Quanto ao aspecto prático, trata dos requisitos da minuta de incumbência do advogado do autor, dos requisitos necessários para a ata notarial realizada pelo tabelião de notas, e dos requisitos que envolvem a análise do pedido pelo registrador de imóveis. Ao final de todo estudo, pudemos concluir que a usucapião extrajudicial é uma medida extremamente valorosa para a regularização fundiária, tendo muita importância ao desenvolvimento social e a aplicação das políticas públicas. Além disso, a garantia de uma decisão correta que dê o direito ao autor sem ter que procurar uma decisão feita por um magistrado, torna a medida ainda mais útil, pois ajudará desafogar o Poder Judiciário. Trata-se de pesquisa realizada pela metodologia indutiva, com procedimento bibliográfico e técnica documental.

O problema de reconstrucão digital de imagens (Image Inpainting) possui diversas abordagens para sua resolução. Uma possibilidade consiste na sua modelagem como um problema de otimizacão contínua (lasso). Na presente dissertacão aplica-se o método do gradiente espectral projetado a esse problema. Desenvolve-se inteiramente a modelagem do problema assim como a implementacão computacional do método de otimização que o resolve. Resultados computacionais demonstram a qualidade do método para um conjunto de imagens digitais / The image inpainting problem has several resolution approaches. One possibility consists in its modeling as a continuous optimization problem. In the present dissertation we apply the spectral projected gradient method to this problem. We develop the whole modeling of the problem as well as the computational implementation of the optimization method to solve it. Computational results show the quality of the method for a set of digital images

Nesta tese estudamos um dos principais problemas na teoria qualitativa das equações diferenciais planares: o problema de determinar a bacia de atração de um ponto de equilíbrio. Damos uma prova rigorosa de que para sistemas lineares por partes de costura com duas zonas no plano, definidas por matrizes Hurwitz o único ponto de equilíbrio na reta de separação é globalmente assintoticamente estável. Por outro lado, provamos que nesta classe de sistemas, podemos ter um ponto de equilíbrio instável na origem quando uma curva poligonal separa as zonas, levando a um resultado contra-intuitivo do comportamento dinâmico de sistemas lineares por partes no plano. Além disso, estudamos os ciclos limites em perturbações suaves por partes de centros Hamiltonianos. Neste cenário, é comum adaptar resultados clássicos de sistemas suaves, como funções de Melnikov, para sistemas não-suaves. No entanto, existe pouca justificativa para este procedimento na literatura. Ao utilizar o método de regularização damos uma prova que suporta o uso de funções de Melnikov diretamente do problema não-suave original. / In this thesis we study one of the main problems in the qualitative theory of planar differential equations: the problem of determining the basin of attraction of an equilibrium point. We give a rigorous proof that for planar sewing piecewise linear systems with two zones, defined by Hurwitz matrices the unique equilibrium point in the separation straight line is globally asymptotically stable. On the other hand, we prove that sewing piecewise linear systems with two zones in the plane, defined by Hurwitz matrices can have one unstable equilibrium point at the origin allowing a broken line to separate the zones, leading to counterintuitive dynamical behaviors of simple piecewise linear systems in the plane. Furthermore, we study limit cycles in piecewise smooth perturbations of Hamiltonians centers. In this setting it is common to adapt classical results for smooth systems, like Melnikov functions, to non-smooth ones. However, there is little justification for this procedure in the literature. By using the regularization method we give a proof that supports the use of Melnikov functions directly from the original non-smooth problem.