Made available in DSpace on 2018-08-01T22:30:13Z (GMT). No. of bitstreams: 1 tese_6989_versão corrigida fim 04.12 (1)20141126-135619.pdf: 359869 bytes, checksum: b43cba556ffafa14d0bc67e9e2ba0b10 (MD5) Previous issue date: 2013-11-08 / O objetivo central desta dissertação é apresentar o Teorema de Gorenstein para singularidades de curvas algébricas planas. Consideramos os dois casos: primeiramente o caso local onde a singularidade da curva tem apenas um ramo e depois o caso em que a singularidade tem vários ramos. O caso local é quando a equação local é dada por uma série irredutível em k[[X; Y ]] e o caso semi-local e quando a equação local e dada por um produto de séries irredutíveis não associadas duas a duas. Uma equação local dada por uma tal série de potências f é chamada curva plana algebróide. Associados a uma curva plana algebróide estão o seu anel local O = O(f), o fecho inteiro ~O de O em seu anel total de frações e o ideal condutor de ~O em O. Podemos dizer que estes dados codi-cam as informações algébrico/geométricas da curva algebróide (f). O Teorema de Gorenstein, demonstrado por D. Gorenstein em [Go] a-rma que em ambos os casos (local e semi-local), a codimensão (como k-espacos vetoriais) do ideal condutor no anel O e igual a codimensão do anel O em ~O. Isto nos fornece uma certa simetria que e reetida nosemigrupo associado a curva algebróide (f). Assim estudamos também esta simetria de semigrupos dos naturais e a relacionamos com a simetria do anel O no caso local.

Made available in DSpace on 2018-08-01T22:30:14Z (GMT). No. of bitstreams: 1 tese_8190_Dissertação final Euclésio 11-11-2014.pdf: 1160455 bytes, checksum: 1b1efe2b2b0859f5be6c5321e104cf88 (MD5) Previous issue date: 2014-10-16 / O Teorema Central do Limite (CLT) ´e um dos mais celebres resultados da teoria da probabilidade. Informalmente, O CLT assegura que, sob condições bem gerais, médias amostrais de variáveis aleatórias, devidamente normalizadas em média e variância, convergem em distribuição para uma gaussiana 0-1 quando o tamanho da amostra tende a infinito. Em particular, este teorema nos diz que, sob grande escala, fenômenos aleatórios em sua ação coletiva exibe comportamento de regularidade não aleatório. O CLT integra uma família de resultados em probabilidade que denominamos teoremas limites que busca descrever o comportamento assintótico de sequências de variáveis aleatórias. Existem alguns métodos efetivos para provas rigorosas de teoremas limites de somas de variáveis aleatórias, por exemplo [2, 3, 6]. Dentre estes o método de Lyapunov, denominado métodos das funções carácterísticas, se destaca pela sua simplicidade e aplicabilidade em uma grande diversidade de problemas em teoremas limites para soma de variáveis aleatórias independentes. A função característica de uma variável aleatória X avaliada no número real t é por definição, a esperança da exponencial da função itX. Ou ainda, sendo F a função distribuição de X, de um ponto de vista da análise a função característica nada mais é do que transformada de Fourier-Stieltjes de F. Outro ponto relevante em teoremas limites são as distribuições infinitamente divisíveis que é a classe das possíveis leis limite. Estas incluem, por exemplo, a distribuição gaussiana, de Poisson e as degeneradas. O objetivo principal desta dissertação é estudar a classe das distribuições infinitamente divisíveis bem como os correspondentes teoremas limites. Em particular, considerar além do caso clássico do teorema central do limite, o teorema de Poisson para eventos raros. Subsidiando este objetivo, faremos um estudo detalhado de funções características e apresentaremos algumas aplicações de teoremas limites. O referencial bibliográfico para elaboração da dissertação inclui os livros [1, 4, 5, 7].

Orientador: Jose Mario Martinez / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T01:06:27Z (GMT). No. of bitstreams: 1 Bielschowsky_RobertoHugo_D.pdf: 5956930 bytes, checksum: 49d1d2e75a72890d87aecbedd953965e (MD5) Previous issue date: 1997 / Resumo: Abordamos, nesta tese, o problema de obter pontos de mínimo local de funções diferenciáveis, definidas no lRn e sujeitas a restrições. Nosso ponto de partida reside numa aposta em algoritmos que têm muito em comum com algoritmos de pontos factíveis, tais como, por exemplo, o GRG e o Gradiente Projetado, porém relaxando de forma dinâmica as restrições de igualdade h(x) = 0. Ou seja, relaxaremos a condição h(x(k)) = 0, característica dos iterandos gerados em métodos de pontos factíveis, para uma na forma ||h(x(k))|| = O(||gp(x(k))||).gp(x) representa a projeção ortogonal do gradiente V¿(x), no espaço tangente às restrições N(h'(x)). No capítulo 1 situamos nossa abordagem. No capítulo 2 formulamos um algoritmo desenvolvendo-a para restrições de igualdade apenas, e que denominaremos de CDR (Controle Dinâmico das Restrições). Pensando em problemas de grande porte não estruturados formulamos uma versão adequada a tratar de forma inexata todos os subproblemas lineares envolvidos. Vale dizer, sem fatorações de matrizes. Ainda no segundo capítulo desenvolvemos uma teoria de convergência global para o método, e no terceiro uma teoria de convergência local. No quarto capítulo apresentamos os resultados de alguns testes preliminares com o algoritmo, realizados em colaboração com Francisco M. Gomes. No quinto capítulo e no apêndice tratamos de possíveis extensões de CDR, visando incluir também restrições de desigualdade. / Abstract: Not informed. / Doutorado / Doutor em Matemática Aplicada

Orientador: João Bosco Prolla / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T18:23:23Z (GMT). No. of bitstreams: 1 Kashimoto_MarciaSayuri_D.pdf: 1141358 bytes, checksum: e370a842d5f1431400f7887ca9c40661 (MD5) Previous issue date: 1998 / Resumo: Nesta tese, são abordados três problemas em Teoria da Aproximação, os quais estão distribuídos em três capítulos. O primeiro capítulo trata da densidade uniforme de determinados subconjuntos do espaço das funções contínuas definidas num grupo de Hausdorff compacto e com valores num espaço de Banach. A aproximação é feita utilizando-se a convolução. O segundo capítulo aborda uma versão do Teorema de Stone-Weierstrass para espaços ponderados de funções vetoriais contínuas num espaço de Hausdorff completamente regular. A prova é baseada na construção de uma partição da unidade conveniente. Como conseqüência, obtemos uma caracterização do fecho de módulos e subconjuntos dos espaços ponderados. O terceiro capítulo trata da localização da distância de um portador semicontínuo superiormente e nulo no infinito a subconjuntos do espaço das funções vetoriais contínuas e nulas no infinito, definidas num espaço localmente compacto. Obtemos como conseqüência, resultados aplicáveis à teoria de melhor aproximação simultânea / Abstract: In this thesis we study three problems about Approximation Theory. These problems are distributed in three chapters. The first chapter treats uniform density of adeterminated subsets of space of vector-valued continuous functions defined in a compact Hausdorff group. The approximation is done through convolution. The second chapter treats a Stone-Weierstrass Theorem version for weighted spaces of vector-valued continuous functions defined in a completely regular Hausdorff space. The proof is based in the construc­tion of a convenient partition of unit. As a result, we get a characterization of the closure of modules and subsets of weighted spaces. The third chapter treats a localization formula for the distance of an upper semicontinuous car­rier that vanishes at infinity from a subset of the space of all vector-valued continuous functions that vanish at infinity in a locally compact Hausdorff space. As an application, some results in best simultaneous approximation are obtained / Doutorado / Doutor em Matemática

Orientador: Jose Mario Martinez / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-26T03:15:42Z (GMT). No. of bitstreams: 1 Pilotta_ElvioAngel_D.pdf: 3939443 bytes, checksum: 1c19786cda4ad43e405851398d5d1a07 (MD5) Previous issue date: 2000 / Resumo: Nesta tese apresentamos métodos numéricos para problemas de minimização com restrições. O Capítulo 1 está baseado no artigo "Validation of an Augmented Lagrangian algorithm with a Gauss-Newton Hessian approximation using a set of Hard-Spheres Problems", de Krejié, Martínez, Mello e Pilotta. O Capítulo 2 está baseado no artigo "Inexact-Restoration algorithm for constrained optimization" , de Martínez e Pilotta, onde é considerado um novo método de tipo restauração inexata para um problema de minimização com restrições gerais. O Capítulo 3 estábaseado no artigo "Spectral Gradient method for linearly constrained optimization" , de Martínez, Pilotta e Raydan, onde é considerado um novo método para um problema de minimização com restrições lineares e canalizações usando gradiente espectral precondicionado e penalização exponencial. O Capítulo 4 está baseado no artigo "A limited-memory multipoint secant method for bound constrained optimization", de Burdakov, Martínez e Pilotta, onde é considerado um novo método para um problema de minimização com canalizações usando uma estratégia de restrições ativas e um método secante simétrico multipoint com memória limitada para resolver um subproblema quadrático em cada face / Abstract: We present numerical methods for constrained minimization problems. Chapter 1 is based on the paper "Validation of an Augmented Lagrangian algorithm with a Gauss-Newton Hessian approximation using a set of Hard-Spheres Problems", by Krejié, Martínez, Mello and Pilotta. Chapter 2 is based on the paper "InexactRestoration algorithm for constrained optimization" , by Martínez and Pilotta, where we introduce an inexact-restoration method for solving a general constrained minimization problem. Chapter 3 is based on the paper "Spectral Gradient method for linearly constrained optimization", by Martínez, Pilotta, and Raydan, where we introduce a new method for this problem which uses exponential penalization. Chapter 4 is based on the paper " A limited-memory multipoint secant method for bound constrained optimization", by Burdakov, Martínez and Pilotta, where we introduce a new method for bound constrained optimization that uses active set methods for solving a quadratic subproblem in each face / Doutorado / Doutor em Matemática Aplicada

Orientadores: Ivan de Araujo Simões Filho, Jesse Carvalho Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-26T15:19:33Z (GMT). No. of bitstreams: 1 Vanzeler_FranciscoJocleanAlves_M.pdf: 5979791 bytes, checksum: bdcf42ac30bd9b5de4f83039d6bc75a8 (MD5) Previous issue date: 1999 / Resumo: Este trabalho calcula os parâmetros elásticos e a densidade de um meio fraturado a partir da inversão dos coeficientes de reflexão de ondas planas qP entre dois meios anisotrópicos com pelo menos um plano de simetria paralelo a interface. O meio fraturado é modelado por um meio anisotrópico equivalente através da formulação de Hudson, neste caso um reservatório isotrópico com fraturas verticais é equivalente a um meio transversalmente isotrópico com eixo de simetria horizontal (Tlli). Sobre o reservatório, três tipos de rocha são considerados para a modelagem direta: 1) Folhelho lsotrópico; 2) Folhelho tranversalmente isotrópico com eixo de simetria vertical (TIV); 3) Folhelho com Fraturas verticais ou meio ortorrômbico. Os coeficientes de reflexão usados neste trabalho são calculados de forma exata. Conjuntos de dados sintéticos para múltiplos azimutes e ângulos de incidência, contaminados por ruído gaussiano, foram gerados para cada modelo considerado. Dois algoritmos de otimização global foram utilizados para inversão: Os algoritmos Genético (AG) e Evolução Diferencial (ED), que estimam os parâmetros do modelo através da minimização da norma 12do resíduo entre o coeficientes de reflexão "observado" e o calculado. Foi fornecido os valores dos parâmetros elásticos do meio superior exceto no caso onde a velocidade da onda cisalhante (Vs) do meio superior foi invertida. Cada parâmetro varia dentro dos limites observados durante a propagação de ondas sísmicas em rochas sedimentares. A inversão foi satisfatória nos três modelos estudados. Três azimutes (0°, 45° e 9Oj foram considerados na geometria de aquisição. Para o modelo 1,a incidência mínima para inversão foi de trinta e quatro graus (AG e ED). Para os modelos II e III, a incidência mínima para inversão foi de cinqüenta graus (AG). O ED inverteu o caso que inclui Vs do meio superior do modelo I com incidência mínima de quarenta e quatro graus. Esta abordagem mostra o potencial da análise AVO azimutal de ondas qP para caracterizar a anisotropia associada a meios fraturados / Abstract: In this work. we extract the elastic stifIDess and mass density from an multiazimutal qP-wave reflectioncoeficients at an interface separating two anisotropic media with monoclinic simmetry with at least one of its planes of simmetry parallel to the interface. This objective was reach by forward and inverse modeling. We calculate the qPwave reflection for three models (1. TI.Ill) of anisotropic equivalent medium: 1) isotropic mediumabove a TIH medium; 2) TIV medium above a TIH medium; and 3) orthorhombic medium above a TIH medium. The TIH medium is equivalent an isotropic fractured medium withequivalent elastic stiffness and mass density calculeted by the Hudson formulation. The reflection coeficients used was on its exact form and was generated for models I. n and m in multi-azimutaVincidenceangle s and contaminated by gaussian noise. In the inverse modeling we work with GA and with DE algoritms to calculate the inversion parameter (5 elastic stiffness and mass density for bottom media and Vs of upper isotropic media) by minimization of 12norm of difference between the "true" and sinthetic reflection coeficient. Weassume that we knwon the parameter of the upper media of the three models. except Vs for model one in especial case of inversion of upper media. The parameter to be determined by inverse modeling are parametrized in model space for values that is in acording with the value of the observed velocity of propagation of elastic waves in the earthcrust. and the resolution of measure, and constraints of elastic estability of the solid media. The GA and DE algoritms reached good inversion to the three models with at least three azimutal angles (0°,45° and 9Oj and incidence angles of 34° for model I, and 50° inverted only by GA for models 11and m; and the especial case take by DE tbat need at least 44° to invert the model I with the Vs of the upper media. From this resuhs we can see the potential to determine from qP-wave the elastic parameter of ftactured media and contribute to improve the use of azimutal AVO analises / Mestrado / Mestre em Engenharia de Petróleo

Orientador: Herve Jean François Guiol / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-27T13:18:35Z (GMT). No. of bitstreams: 1 Freire_MarceloVentura_M.pdf: 2175208 bytes, checksum: 56aa0943d3dcc28ab161f7039668dac1 (MD5) Previous issue date: 2000 / Resumo: Esse trabalho estuda o fenômeno de localização do passeio aleatório S = (Sn; n ¿ Z) simples simétrico unidimensional quando da presença de um potencial aleatório dado pela interação aleatória Y = (Yn;n ¿ Z) e {-1,1}Z com o meio onde passeio se desenvolve e pelo parâmetro e ¿ [0,8] que mede a força desta interação e também confronta os casos dos passeios com e sem potencial aleatório. / Abstract: This work addresses the exponential localization of the symmetric simple random walk S = (Sn; n ¿ Z) with random potential given by the random interaction Y = (Yn;n ¿ Z) e {-1,1}Z with the environment in which the random walk flows and by the parameter e ¿ [0,8] which measures the strength of this interaction and, at last, the random walk with and without the interaction with the environment are compared. / Mestrado / Mestre em Estatística

Orientador: Reginaldo Guirardello / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-28T22:45:04Z (GMT). No. of bitstreams: 1 Pissinatto_LucileneBeatriz_M.pdf: 2748990 bytes, checksum: 6d466001eb5fd7ba0fc5a7aec4d05338 (MD5) Previous issue date: 2001 / Resumo: O desenvolvimento adequado do layout de uma planta química é muito importante por motivos de economia, operação e segurança. A otimização global da planta deve incluir a otimização do posicionamento dos componentes e o comprimento e distribuição da tubulação, satisfazendo as restrições de segurança. O objetivo deste trabalho foi o desenvolvimento de modelos matemáticos mais eficientes, do ponto de vista computacional, para realizar a otimização do posicionamento dos componentes do layout de plantas químicas, através da formulação do problema em programação mista, inteira e linear (MILP), resolvendo-se com o auxílio do pacote comercial de otimização, GAMS/CPLEX. Um modelo mais eficiente implica em menor tempo de cálculo e resultados satisfatórios. Para testar os modelos foram propostos três casos de estudo, com diferentes números de componentes: uma unidade petroquímica (6 componentes); uma unidade de polimerização (7 componentes) e uma planta de recuperação de mercúrio a partir de efluentes eletrolíticos (9 componentes). O tempo computacional para resolver cada caso está intimamente ligado ao número de componentes, ou seja, quanto maior o número, tanto maior o tempo gasto para sua resolução. Os modelos testados variaram de caso para caso, isto é, com a adição de algumas restrições lógicas e/ou substituição de outras restrições relacionadas aos bocais e tubos, o tempo computacional diminuiu para a unidade petroquímica e para a planta de recuperação de mercúrio, no entanto, o modelo original (existente na literatura) apresentou melhores resultados para a planta de polimerização. Portanto, verificou-se que os modelos propostos são melhores em algumas situações, mas não em outras, dependendo do caso de estudo e das condições envolvidas (número de variáveis, número de iterações e nós inspecionados pelo algoritmo B&B, etc.) / Abstract: The adequate development of the layout of a chemical plant is very important because of economic, operational and safety reasons. The overall optimization of the plant must inc1ude the optimization of the placement of the components and the length and distribution of the pipes, satisfying safety constraints. The objective of this work was the development of more efficient mathematical models to accomplish the optimization of the placement of the components of the layout of chemical plants, through the formulation of the problem as mixed integer linear programming (MILP), solved with the aid of a commercial optimization package, GAMS/CPLEX. A more efficient model implies in smaller time of calculation and satisfactory results. To test the models, three case studies were proposed, with different numbers of components: a petrochemical unit (6 components); a suspension polymerization plant (7 components) and a recovery of mercury from the effluents of electrolytic plant (9 components). The computational time to solve each case is intimately linked to the number of components, in other words, as larger the number, so much larger the time spent for its resolution. The tested models showed mixed results, that is, with the addition of some logical constraints or substitution of other constraints related to the nozz1es and pipes, the computational time decreased for the petrochemical unit and for the plant of mercury recovery, but the original model (existent in the literature) presented better results for the suspension polymerization plant. Therefore, it was verified that the proposed models are better in some situations, but not in others, depending on the case study and of the involved conditions (number of variables, number of iterations and nodes inspected by the algorithm B&B, etc.) / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Orientadores: Marko Antonio Rojas Medar, Mario Duran Toro / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T17:45:04Z (GMT). No. of bitstreams: 1 Cabrales_RobertoCarlos_D.pdf: 5170211 bytes, checksum: db848279a41dc57e3812aca09a5b3966 (MD5) Previous issue date: 2007 / Resumo: O estudo dos processos de solidificação de metais e ligas é um dos problemas mais complexos da engenharia, tanto do ponto de vista teórico como tecnológico A complexa natureza dos fenômenos físicos envolvidos fazem impossível a obtenção de soluções de forma simples. Por isto, temos que usar sofisticados modelos matemáticos formados por sistemas de equações diferenciais em derivadas parciais de evolução e não lineares. No presente trabalho estamos preocupados dos aspectos computacionais da solidificação de ligas binárias: apresentamos um algoritmo numérico que está baseado no método dos volumes finitos em malhas colocalizadas e o método de Euler implícito para o avanço no tempo. Diversos problemas documentados na literatura são usados para verificar a implementação dos algoritmos. Também, apresentamos simulações numéricas que caracterizam e verificam numericamente a formação de canais de convecção / Abstract: The study of metals solidification processes and alloys is a very complex problem in engineering, from the theoretical point of view and from the technological point of view. By the complex nature of the physical phenomena involved it is impossible to find solutions of simple nature. So, we have to use sophisticated mathematical models consisting of non-linear time dependent partial differential equations. In this work we are concerned with the computational aspect of the solidification of binary alloys: we present a numerical algorithm based in the finite volume method in co-located grids and the implicit Euler method for time advancing. Several problems documented in the literature are used to verify the implementation of the algorithms. Second, we present numerical simulations characterizing and validating the freckles formation / Doutorado / Doutor em Matemática Aplicada

Orientador : Antonio Miguel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-01T12:11:38Z (GMT). No. of bitstreams: 1 Orlandi_FlavioFrancisco_D.pdf: 18966448 bytes, checksum: f359fb0969555a50d1e3270b04e23c45 (MD5) Previous issue date: 2002 / Doutorado