Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-19T13:42:19Z No. of bitstreams: 1 ALÂNNIO BARBOSA NÓBREGA - DISSERTAÇÃO PPGMAT 2008..pdf: 544710 bytes, checksum: 3a29bbca0618e68075cdfc926fdc6a64 (MD5) / Made available in DSpace on 2018-07-19T13:42:19Z (GMT). No. of bitstreams: 1 ALÂNNIO BARBOSA NÓBREGA - DISSERTAÇÃO PPGMAT 2008..pdf: 544710 bytes, checksum: 3a29bbca0618e68075cdfc926fdc6a64 (MD5) Previous issue date: 2008-01 / Neste trabalho, estudamos um devido a Kryszewi e Szulkin, o qual completa o bem conhecido resultado devido a Rabinowitz, no sentido que, é possivel considerar uma decomposição do tipoX=Y⊕Z comY eZ tendo dimensão infinita. Usando o Teorema do Linking Generalizado acima, iremos provar a existência de solução nãotrivial para dois sistemas de equações de Poisson acopladas com crescimento crítico em domínios não-limitados. / In this work, we study a Generalized LinkingT heorem due Kryszewi and Szulkin, which complets a well know result due Rabinowitz, in the sense that, it is possible to consider a decomposition of the typeX=Y⊕Z, withY andZ have infinite dimensional. Using the above Generalized Linking Theorem, we prove the existence of nontrivial solutions to two systems of coupled Poisson equations with critical growth in unbounded domains.

Made available in DSpace on 2016-06-02T19:53:31Z (GMT). No. of bitstreams: 1 LUGO_Pedro_2013.pdf: 2147400 bytes, checksum: a0c7948826b7f243c447b99fd96c3388 (MD5) Previous issue date: 2013-09-12 / Financiadora de Estudos e Projetos / This research studies the hybrid flowshop scheduling problem. In this production configuration, we have a set of jobs that has to be processed in a set of stages. At every stage we have a set of parallel machines available to process the jobs. All jobs have to be processed following the same production flow, from the first to the last stage. Every job has to be processed on one machine at each stage and each machine can process at most one job at a time. Some constraints commonly found in real production systems as unrelated parallel machines, limited buffers, sequence-dependent setup times (both anticipatory and non-anticipatory), machine eligibility, transportation times and release times for machines are also taken into account. The optimization criterion is the makespan, whose minimization is related to the efficient use of production resources. A mixed integer programming model is proposed and solved by the commercial solver CPLEX. The computational evaluation results indicate that the model is suitable just to solve instances up to nine jobs and five stages. Therefore, to solve larger instances (50-100 jobs), several heuristics and an iterated local search (ILS) algorithm are proposed and evaluated computationally. The results indicate that the ILS is able to obtain good quality solutions in short computation times. / Este trabalho estuda o problema de programação da produção em sistemas Flowshop híbrido. Nesta configuração de produção há um conjunto de tarefas que deve ser processado em um conjunto de estações, nas quais um determinado número de máquinas paralelas encontra-se disponível para o processamento das tarefas. Todas as tarefas devem ser processadas seguindo o mesmo fluxo de produção, desde a primeira até a última estação. Cada tarefa deve ser processada em uma máquina de cada estação e cada máquina pode processar, no máximo, uma tarefa por vez. Algumas restrições comumente encontradas em sistemas de produção reais, como máquinas paralelas não relacionadas, buffers limitados, tempos de preparação dependentes da sequência (antecipatórios e não antecipatórios), elegibilidade de máquinas, tempos de transporte e tempos de liberação das máquinas, também são consideradas. O critério de otimização é o makespan, cuja minimização está diretamente relacionada com a utilização eficiente dos recursos de produção. Um modelo de programação inteira mista é proposto e resolvido através do solver comercial CPLEX. Os resultados da avaliação computacional indicam que o modelo é viável somente para resolver instâncias de até nove tarefas e cinco estações. Desta forma, para resolver instâncias de maior tamanho (50-100 tarefas), várias heurísticas e uma meta-heurística de busca local iterada (ILS, Iterated Local Search) são propostas e avaliadas computacionalmente. Os resultados indicam que o ILS é capaz de obter soluções de boa qualidade em curtos tempos computacionais.

Orientadores: Alberto Vazquez Saa, Orlando Luis Goulart Peres / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-24T13:09:57Z (GMT). No. of bitstreams: 1 Oliveira_ClaitonPimentelde_D.pdf: 6246469 bytes, checksum: 74e9bd5e915848a1681572fd38bcf297 (MD5) Previous issue date: 2014 / Resumo: Matéria, ao se acumular ao redor de um objeto compacto (e.g., um buraco negro), se configura naturalmente na forma de um disco grosso (toro) em rotação. A matéria do disco pode ser considerada como um fluido, e suas estruturas de equilíbrio hidrodinâmico podem ser obtidas a partir das equações básicas da hidrodinâmica. Nesse trabalho apresento uma extensa revisão da teoria básica de discos grossos de acreção, no âmbito das teorias clássica e relativística, incluindo uma análise da chamada órbita circular marginalmente estável. Formulo o problema incluindo a autointeração gravitacional do toro, caso em que o problema das estruturas de equilíbrio se torna um problema de fronteira livre, o que dificulta a obtenção das soluções. Reviso os métodos e técnicas numéricas já utilizadas ao se atacar esse problema e desenvolvo um código numérico próprio, chamado BLATOS, que gera soluções autogravitantes de toros ao redor de buracos negros. Desenvolvo ainda uma metodologia para se aplicar o método nodal dos elementos espectrais a domínios não limitados. O desenvolvimento desse novo tipo de elemento, os chamados elementos infinitos, gera uma extensão natural a elementos não limitados com bordas curvas assintóticas. Aplico as soluções numéricas obtidas no estudo da instabilidade runaway, mostrando como a identificação da situação de instabilidade pode ser feita a partir dessas soluções. A partir do código numérico é possível alterar o perfil de rotação e a razão das massas toro/buraco negro, de forma a se realizar um estudo do espaço de soluções / Abstract: Matter, accumulating around a compact object (e.g., a black hole), appears naturally in the form of a thick disk (torus) in rotation. The material of the disk can be considered as a fluid, and its hydrodynamic equilibrium structures can be obtained from the basic equations of hydrodynamics. In this work I present an extensive review of the basic theory of thick accretion disks, in the framework of the classical and relativistic theories, including an analysis of the so called marginally stable circular orbit. I formulate the problem including the torus self gravitational interaction, in which case the equilibrium structures problem becomes a free boundary problem, making it difficult getting the solutions. I revise the methods and numerical techniques used to attack this problem and I develop a numeric code, named BLATOS, that generates autogravitating tori solutions around black holes. Further, I develop a methodology for applying the nodal spectral element method to unbounded domains. The development of this new type of element, the so called infinite element, generates a natural extension to unbounded elements with asymptotic curved edges. I apply the resulting numerical solutions in the study of runaway instability, showing how the identification of the instability can be done from these solutions. The rotation law and the torus/black hole mass ratio can be changed from the numerical code in order to conduct a study of the solution space / Doutorado / Física / Doutor em Ciências

Este trabalho está voltado para o estudo de uma classe de funções contínuas e limitadas f : [0; \'INFINITO\') \'SETA\' X para as quais existe \'omega\' \'> OU =\' 0 tal que \'lim IND. t\' \'SETA\' \'INFINITO\' (f(t + \'omega\') - f(t)) = 0. No decorrer do trabalho, chamaremos estas funções de S-assintoticamente \'omega\'-periódicas. Nós discutiremos propriedades qualitativas para estas funções e algumas relações entre este tipo de funções e a classe de funções assintoticamente \'omega\'-periódicas. Também estudaremos a existência de soluções fracas S-assintoticamente \'omega\'-periódicas para uma classe de primeira ordem de um problema de Cauchy abstrato bem como para algumas classes de equações diferenciais funcionais parciais neutras com retardo não limitado. Algumas aplicações para equações diferenciais parciais serão consideradas / This work is devoted to the study of the class of continuous and bounded functions f : [0 \'INFINIT\') \'ARROW\' X for which there exists \'omega\' > 0 such that \'limt IND.t \'ARROW\' \'INFINIT\'(f(t + \'omega\'!) - f(t)) = 0 (in the sequel called S-asymptotically !-periodic functions). We discuss qualitative properties and establish some relationships between this type of functions and the class of asymptotically \'omega\'-periodic functions. We also study the existence of S-asymptotically \'omega\'-periodic mild solutions for a first-order abstract Cauchy problem in Banach spaces and for some classes of abstract neutral functional differential equations with infinite delay. Furthermore, applications to partial differential equations are given

Prover segurança às informações trafegadas nos mais diversos tipos de redes é algo essencial. Entretanto, redes altamente dependentes de dispositivos com recursos limitados (como sensores, tokens e smart cards) apresentam um desafio importante: a reduzida disponibilidade de memória e energia destes dispositivos, bem como sua baixa capacidade de processamento, dificultam a utilização de diversos algoritmos criptográficos considerados seguros atualmente. Este é o caso não apenas de cifras simétricas, que proveem confidencialidade aos dados, mas também de MACs (Message Authentication Code, ou Código de Autenticação de Mensagem), que garantem sua integridade e autenticidade. De fato, algumas propostas recentes de cifras de bloco dedicadas a plataformas limitadas (e.g., o Curupira-2) proveem segurança e desempenho em um nível mais adequado a este tipo de cenário do que soluções tradicionais. Seguindo uma linha semelhante, o presente trabalho concentra-se no projeto e análise MACs leves e seguros voltados a cenários com recursos limitados, com foco especial em redes de sensores sem fio (RSSF). Marvin é o nome do algoritmo de MAC proposto neste trabalho. Marvin adota a estrutura Alred, que reutiliza porções de código de uma cifra de bloco subjacente e, assim, introduz um reduzido impacto em termos de ocupação de memória. Este algoritmo apresenta uma estrutura bastante flexível e é altamente paralelizável, permitindo diversas otimizações em função dos recursos disponíveis na plataforma alvo. Como vantagem adicional, Marvin pode ser usado tanto em cenários que necessitam apenas da autenticação de mensagens quanto em esquemas de AEAD (Authenticated- Encryption with Associated Data, ou Encriptação Autenticada com Dados Associados), que aliam encriptação e autenticação. O esquema de AEAD proposto neste trabalho, denominado LetterSoup, explora as características da estrutura do Mar vin e adota uma cifra de bloco operando no modo LFSRC (Linear Feedback Shift Register Counter, ou Contador-Registrador de Deslocamento Linear com Retroalimentação). Além da especificação de ambos os algoritmos, este documento apresenta uma análise detalhada da segurança e desempenho dos mesmos em alguns cenários representativos. / Security is an important concern in any modern network. However, networks that are highly dependent on constrained devices (such as sensors, tokens and smart cards) impose a difficult challenge: their reduced availability of memory, processing power and (specially) energy hinders the deployment of many modern cryptographic algorithms known to be secure. This inconvenience affects not only the deployment of symmetric ciphers, which provide data confidentiality, but also Message Authentication Codes (MACs), used to attest the messages integrity and authenticity. Due to the existence of dedicated block ciphers whose performance and security are adequate for use in resource-constrained scenarios (e.g., the Curupira-2), the focus of this document is on the design and analysis of message authentication algorithms. Our goal is to develop a secure and lightweight solution for deployment on resource constrained scenarios, with especial focus on Wireless Sensor Networks (WSNs). Marvin is the name of the MAC algorithm proposed in this document. Marvin adopts the Alred structure, allowing it to reuse parts of an underlying block cipher machinery; as a result, Marvins implementation builds on the ciphers efficiency and introduces little impact in terms of memory occupation. Moreover, this algorithm presents a flexible and highly parallelizable structure, allowing many implementation optimizations depending on the resources available on the target platform. Marvin can be used not only as an authentication-only function, but also in an Authenticated- Encryption with Associated Data (AEAD) scheme, combining authentication and encryption. In this document, we define a new AEAD proposal called LetterSoup, which is based on the LFSRC (Linear Feedback Shift Register Counter) mode of operation and builds on Marvin. Together with the specification of both algorithms, we provide a detailed security analysis and evaluate their performance in some representative scenarios.

Prover segurança às informações trafegadas nos mais diversos tipos de redes é algo essencial. Entretanto, redes altamente dependentes de dispositivos com recursos limitados (como sensores, tokens e smart cards) apresentam um desafio importante: a reduzida disponibilidade de memória e energia destes dispositivos, bem como sua baixa capacidade de processamento, dificultam a utilização de diversos algoritmos criptográficos considerados seguros atualmente. Este é o caso não apenas de cifras simétricas, que proveem confidencialidade aos dados, mas também de MACs (Message Authentication Code, ou Código de Autenticação de Mensagem), que garantem sua integridade e autenticidade. De fato, algumas propostas recentes de cifras de bloco dedicadas a plataformas limitadas (e.g., o Curupira-2) proveem segurança e desempenho em um nível mais adequado a este tipo de cenário do que soluções tradicionais. Seguindo uma linha semelhante, o presente trabalho concentra-se no projeto e análise MACs leves e seguros voltados a cenários com recursos limitados, com foco especial em redes de sensores sem fio (RSSF). Marvin é o nome do algoritmo de MAC proposto neste trabalho. Marvin adota a estrutura Alred, que reutiliza porções de código de uma cifra de bloco subjacente e, assim, introduz um reduzido impacto em termos de ocupação de memória. Este algoritmo apresenta uma estrutura bastante flexível e é altamente paralelizável, permitindo diversas otimizações em função dos recursos disponíveis na plataforma alvo. Como vantagem adicional, Marvin pode ser usado tanto em cenários que necessitam apenas da autenticação de mensagens quanto em esquemas de AEAD (Authenticated- Encryption with Associated Data, ou Encriptação Autenticada com Dados Associados), que aliam encriptação e autenticação. O esquema de AEAD proposto neste trabalho, denominado LetterSoup, explora as características da estrutura do Mar vin e adota uma cifra de bloco operando no modo LFSRC (Linear Feedback Shift Register Counter, ou Contador-Registrador de Deslocamento Linear com Retroalimentação). Além da especificação de ambos os algoritmos, este documento apresenta uma análise detalhada da segurança e desempenho dos mesmos em alguns cenários representativos. / Security is an important concern in any modern network. However, networks that are highly dependent on constrained devices (such as sensors, tokens and smart cards) impose a difficult challenge: their reduced availability of memory, processing power and (specially) energy hinders the deployment of many modern cryptographic algorithms known to be secure. This inconvenience affects not only the deployment of symmetric ciphers, which provide data confidentiality, but also Message Authentication Codes (MACs), used to attest the messages integrity and authenticity. Due to the existence of dedicated block ciphers whose performance and security are adequate for use in resource-constrained scenarios (e.g., the Curupira-2), the focus of this document is on the design and analysis of message authentication algorithms. Our goal is to develop a secure and lightweight solution for deployment on resource constrained scenarios, with especial focus on Wireless Sensor Networks (WSNs). Marvin is the name of the MAC algorithm proposed in this document. Marvin adopts the Alred structure, allowing it to reuse parts of an underlying block cipher machinery; as a result, Marvins implementation builds on the ciphers efficiency and introduces little impact in terms of memory occupation. Moreover, this algorithm presents a flexible and highly parallelizable structure, allowing many implementation optimizations depending on the resources available on the target platform. Marvin can be used not only as an authentication-only function, but also in an Authenticated- Encryption with Associated Data (AEAD) scheme, combining authentication and encryption. In this document, we define a new AEAD proposal called LetterSoup, which is based on the LFSRC (Linear Feedback Shift Register Counter) mode of operation and builds on Marvin. Together with the specification of both algorithms, we provide a detailed security analysis and evaluate their performance in some representative scenarios.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-05T19:06:39Z No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) / Made available in DSpace on 2018-07-05T19:06:39Z (GMT). No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) Previous issue date: 2004-10-22 / Neste trabalho estudamos a existência de soluções positivas para a seguinte classe de problemas −∆u+λu=Q(x)|u|p−2u em Ω, onde Ω é um domínio não limitado do RN. Usando métodos variacionais e argumentos desenvolvidos por P. L. Lions [14], Strauss [16], Willem [18] e Benci & Cerami [4], mostramos a existência de soluções positivas quando Ω = RN ou Ω um domínio exterior. / In this work, we are studying the existence of positive solutions for the following class of problem: −∆u+λu=Q(x)|u|p−2u em Ω, where Ω is a unbounded domain inRN. Using variational methods and arguments developed by P. L. Lions [14], Strauss [16], Willem [18] and Benci& Cerami [4], let us show the existence of positive solutions whenΩ=RN andΩ is an exterior domain.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-06-27T20:42:50Z No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:46Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:52Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Made available in DSpace on 2017-07-03T18:01:59Z (GMT). No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) Previous issue date: 2016-12-20 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / In this thesis, we present a priori estimates for solutions of a mean-field game (MFG) defined over a bounded domain Ω ⊂ ℝd. We propose an application of these results to a model of capital and wealth accumulation. In Chapter 1, an introduction to mean-field games is presented. We also put forward some of the motivation from Economics and discuss previous developments in the theory of differential games. These comments aim at indicating the connection between mean-field games theory, its applications and the realm of Mathematical Analysis. In Chapter 2, we present an optimal control problem. Here, the agents are supposed to be undistinguishable, rational and intelligent. Undistinguishable means that every agent is governed by the same stochastic differential equation. Rational means that all efforts of the agent is to maximize a payoff functional. Intelligent means that they are able to solve an optimal control problem. Once we describe this (stochastic) optimal control problem, we produce a heuristic derivation of the mean-field games system, which is summarized in a Verification Theorem; this gives rise to the Hamilton-Jacobi equation (HJ). After that, we obtain the Fokker-Plank equation (FP). Finally, we present a representation formula for the solutions to the (HJ) equation, together with some regularity results. In Chapter 3, a specific optimal control problem is described and the associated MFG is presented. This MFG is prescribed in a bounded domain Ω ⊂ ℝd, which introduces substantialadditional challenges from the mathematical view point. This is due to estimates for the solutionsat the boundary in Lp. The rest of the chapter puts forward two well known tips of estimates: theso-called Hopf-Lax formula and the First Order Estimate. In Chapter 4, the wealth and capital accumulation mean-field game model is presented. The relevance of studying MFG in a bounded domain then becomes clear. In light of the results obtained in Chapter 3, we close Chapter 4 with the Hopf-Lax formula, and the First Order estimates. Three appendices close this thesis. They gather elementary material on Stochastic Calculus and Functional Analysis. / Nesta dissertação são apresentadas algumas estimativas a priori para soluções de sistemas mean-field games (MFG), definidos em domínios limitados Ω ⊂ ℝd. Tais estimativas são aplicadas em um modelo mean-field específico, que descreve o acúmulo de riqueza e capital. No Capítulo 1, é apresentada uma breve introdução histórica sobre os mean-field games. Nesta introdução, exploramos sua relação com a teoria dos jogos, cujos alicerces foram construídos por economistas e matemáticos ao longo do século XX. O objetivo do capítulo é transmitir. No Capítulo 2, apresentamos um problema de controle ótimo em que cada agente é suposto ser indistinguível, racional e inteligente. Indistinguível no sentido de que cada um é governado pela mesma equação diferencial estocástica. Racional no sentido de que todos os esforços do agente são no sentido de maximizar um funcional de recompensa e, inteligente no sentido de que são capazes de resolver um problema de controle ótimo. Descreve-se este problema de controle ótimo, e apresenta-se a derivação heurística dos mean-field games; obtém-se através de um Teorema de Verificação, a equação de Hamilton-Jacobi (HJ) associada, e em seguida, obtémse a equação de Fokker-Planck. De posse destas equações, apresentamos alguns resultados preliminares, como uma fórmula de representação para soluções da equação de HJ e alguns resultados de regularidade. No Capítulo 3, descreve-se um problema específico de controle ótimo e apresenta-se a respectiva derivação heurística culminando na descrição de um MFG com condições não periódicas na fronteira; esta abordagem é original na literatura de MFG. O restante do capítulo é dedicado à exposição de dois tipos bem conhecidos de estimativas: a fórmula de Hopf-Lax e estimativa de Primeira Ordem. Uma observação relevante, é a de que o trabalho em obter-se estimativas a priori é aumentado substancialmente neste caso, devido ao fato de lidarmos com estimativas para os termos de fronteira com normas em Lp. ao leitor, as origens da Teoria Econômica contemporânea, que surgem à partir da utilização da Matemática na formulação e resolução de problemas econômicos. Tal abordagem é motivada principalmente pelo rigor e clareza da Matemática em tais circunstâncias. No Capítulo 4, apresenta-se o modelo de jogo do tipo mean-field de acúmulo de capital e riqueza, o que deixa claro a relevância do estudo dos MFG em um domínio limitado. À luz dos resultados obtidos no Capítulo 3, encerramos o Capítulo 4 com as estimativas do tipo Hopf-Lax e de Primeira Ordem. Três apêndices encerram o texto desta dissertação de mestrado; estes reúnem material elementar sobre Cálculo Estocástico e Análise Funcional.

Este trabalho está voltado para o estudo de uma classe de funções contínuas e limitadas f : [0; \'INFINITO\') \'SETA\' X para as quais existe \'omega\' \'> OU =\' 0 tal que \'lim IND. t\' \'SETA\' \'INFINITO\' (f(t + \'omega\') - f(t)) = 0. No decorrer do trabalho, chamaremos estas funções de S-assintoticamente \'omega\'-periódicas. Nós discutiremos propriedades qualitativas para estas funções e algumas relações entre este tipo de funções e a classe de funções assintoticamente \'omega\'-periódicas. Também estudaremos a existência de soluções fracas S-assintoticamente \'omega\'-periódicas para uma classe de primeira ordem de um problema de Cauchy abstrato bem como para algumas classes de equações diferenciais funcionais parciais neutras com retardo não limitado. Algumas aplicações para equações diferenciais parciais serão consideradas / This work is devoted to the study of the class of continuous and bounded functions f : [0 \'INFINIT\') \'ARROW\' X for which there exists \'omega\' > 0 such that \'limt IND.t \'ARROW\' \'INFINIT\'(f(t + \'omega\'!) - f(t)) = 0 (in the sequel called S-asymptotically !-periodic functions). We discuss qualitative properties and establish some relationships between this type of functions and the class of asymptotically \'omega\'-periodic functions. We also study the existence of S-asymptotically \'omega\'-periodic mild solutions for a first-order abstract Cauchy problem in Banach spaces and for some classes of abstract neutral functional differential equations with infinite delay. Furthermore, applications to partial differential equations are given

Submitted by CLAYTON EDUARDO LENTE DA SILVA null (claedu@gmail.com) on 2016-06-02T17:41:44Z No. of bitstreams: 1 TeseFinalClayton.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-06-06T16:37:20Z (GMT) No. of bitstreams: 1 silva_cel_dr_sjrp.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) / Made available in DSpace on 2016-06-06T16:37:20Z (GMT). No. of bitstreams: 1 silva_cel_dr_sjrp.pdf: 1339813 bytes, checksum: 78fb3fb4fd37414af7b1a14dd1d3a122 (MD5) Previous issue date: 2016-05-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta tese estudamos sistemas dinâmicos não suaves autônomos e não autônomos. Consideramos inicialmente sistemas quadráticos positivamente limitados autônomos planares e damos condições sobre os campos para que o sistema de Filippov correspondente seja limitado. Também estudamos uma classe de sistemas quadráticos e provamos que, sob algumas restrições nos coeficientes da parte linear, os sistemas de Filippov relacionados são limitados. Em seguida, consideramos sistemas não autônomos e damos condições para a existência de soluções periódicas de uma classe de equações diferenciais ordinárias não autônomas. Por fim, consideramos equações diferenciais ordinárias não autônomas de segunda ordem genéricas, relacionadas a sistemas não suaves e não autônomos, estudamos o conceito de solução destas equações e damos condições analíticas que são satisfeitas por soluções típicas, como as soluções deslizantes, por exemplo. A unicidade de soluções para estas equações também é estudada. / In this thesis we study autonomous and non-autonomous non-smooth dynamical systems. We initially consider planar autonomous positively bounded quadratic systems. We give conditions on the vector fields for that the correspondent Filippov system be bounded. We also study a class of quadratic systems and we prove that, under some restrictions on the coefficients of linear part, the related Filippov systems are bounded. We then consider non-autonomous systems and we give conditions for the existence of periodic solutions of a certain class of non-autonomous ordinary differential equations. Finally we consider generic non-autonomous second order differential equations and we study the concept of solution of these equations and determine analytical conditions that are satisfied by typical solutions, sliding solutions for instance. Moreover, the uniqueness of solutions for these equations is studied.