Nesse trabalho, aplicando métodos da Topologia Algébrica, nós obtivemos novas versões do teorema de equilíbrio de Nash. Nós definimos um conceito de equilíbrio local para jogos não cooperativos, o chamado equilíbrio local fraco, e demonstramos sua existência quando os espaços de estratégia são variedades diferenciáveis e as funções payoff são continuamente diferenciáveis. Nós demonstramos a ineficiência do equilíbrio local fraco no sentido de Pareto / In this work, applying methods of Algebraic Topology, we obtain new versions of the Nash equilibrium theorem. We define a concept of local equilibrium for non-cooperative games, the socalled weak local equilibrium, and we prove its existence when the spaces of strategies are differentiable manifolds and the payoff functions are continuously differentiable. We prove the ineffciency of weak local equilibrium in the Pareto sense

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2014. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-06-03T14:52:24Z No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-07-02T14:11:07Z (GMT) No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Made available in DSpace on 2014-07-02T14:11:07Z (GMT). No. of bitstreams: 1 2014_RicardoLimaAlves.pdf: 788566 bytes, checksum: 5c890ae865c0d1000f7b682e6325eafc (MD5) / Neste trabalho, utilizaremos o Grau Topológico de Leray-Schauder, um Teorema de Índice de Ponto Fixo em cone, um Teorema de sub-supersolução e o método de blow-up para provar um resultado de Multiplicidade Global de Soluções Positivas para uma classe de sistemas elípticos semilineares de equações diferenciais parciais. ______________________________________________________________________________ ABSTRACT / In this work we use the Leray-Schauder Topological degree, a Fixed Point Index theorem in cones, a sub-supersolution theorem and the blow-up method to prove a global result of Multiplicity of Positive Solutions for a class of semilinear elliptic systems of partial di erential equations.

Nesse trabalho, aplicando métodos da Topologia Algébrica, nós obtivemos novas versões do teorema de equilíbrio de Nash. Nós definimos um conceito de equilíbrio local para jogos não cooperativos, o chamado equilíbrio local fraco, e demonstramos sua existência quando os espaços de estratégia são variedades diferenciáveis e as funções payoff são continuamente diferenciáveis. Nós demonstramos a ineficiência do equilíbrio local fraco no sentido de Pareto / In this work, applying methods of Algebraic Topology, we obtain new versions of the Nash equilibrium theorem. We define a concept of local equilibrium for non-cooperative games, the socalled weak local equilibrium, and we prove its existence when the spaces of strategies are differentiable manifolds and the payoff functions are continuously differentiable. We prove the ineffciency of weak local equilibrium in the Pareto sense

Submitted by Renata Lopes (renatasil82@gmail.com) on 2015-12-01T11:18:53Z No. of bitstreams: 1 vitorfreitasesouza.pdf: 4838221 bytes, checksum: 593f759949de45c0b044f62ba94f9a1a (MD5) / Made available in DSpace on 2015-12-01T11:18:53Z (GMT). No. of bitstreams: 1 vitorfreitasesouza.pdf: 4838221 bytes, checksum: 593f759949de45c0b044f62ba94f9a1a (MD5) Previous issue date: 2015-02-27 / A concepção de workflows científicos é uma abordagem amplamente utilizada no contexto de e-Science e experimentação científica. Existem muitas pesquisas voltadas para o gerenciamento e execução de experimentos baseados em workflows. No entanto, experimentos complexos envolvem interações entre pesquisadores geograficamente distribuídos, demandando utilização de grandes volumes de dados, serviços e recursos computacionais distribuídos. Este cenário categoriza um ecossistema de experimentação científica. Para conduzir experimentos neste contexto, cientistas precisam de uma arquitetura flexível, extensível e escalável. Durante o processo de experimentação, informações valiosas podem ser perdidas e oportunidades de reutilização de recursos e serviços desperdiçadas, caso a arquitetura de ecossistema para e-Science não considere estes aspectos. Com o objetivo de tratar a flexibilidade, a extensibilidade e a escalabilidade de plataformas de ecossistemas, este trabalho apresenta uma arquitetura orientada a serviços apoiada por uma rede ponto a ponto, desenvolvida para tratar as etapas do ciclo de vida de um experimento científico. Este trabalho apresenta como contribuições uma arquitetura para ecossistemas de software científico, a implementação desta arquitetura, bem como a sua avaliação. / The conception of scientific workflows is a widely used approach in the context of e- Science and scientific experimentation. There are many researches about the management and execution of experiments based on workflows. However, scientific experiments involve complex interactions between geographically distributed researchers, requiring the usage of large amount of data, services and distributed computing resources. This scenario categorizes a scientific experimentation ecosystem. In order to carry out experiments in this context researchers need an architecture for e-Science that supports flexibility, extensibility and scalability. During the experimentation process, valuable information can be unexploited and reusing opportunities of resources and services could be lost if the ecosystem architecture for e-Science does not consider previous mentioned requirements. In order to address the flexibility, extensibility and scalability of ecosystems platforms, this dissertation presents a service-oriented architecture supported by a peer-to-peer network. It was developed to support life-cycle stages of a scientific experiment. This work also presents, as contributions, an architecture to support experiments execution of scientific software ecosystems, the implementation of this architecture, as well as its evaluation.

In this work we introduce a peer-to-peer approach for in-flight entertainment video on-demand systems. Such applications are traditional ways for the airline to improve profit from its operation and attract customers. We outline how a peer-to-peer system should be organized to address this specific application and reduce operational costs for the airline. Furthermore, we discuss in details the problem of content discovery that rises in such environment and propose two feasible solutions. These solutions are analyzed in the terms of network bandwidth demand and amount of data transmitted over the network infrastructure. Our conclusions show that the content location problem can be solved without significant use of bandwidth, and ultimately the peer-to-peer paradigm is a worth-taking and feasible path for the next in-flight entertainment system generations.

A soldagem a ponto por resistência é o processo de união de partes mais comum utilizado na indústria automobilística. Vários métodos de representação de pontos de solda estão disponíveis, e este trabalho se propõe comparar dois métodos de modelagem de pontos de solda através de um estudo de correlação, em termos da força máxima suportada pela junta soldada, entre os resultados de testes virtuais e de laboratório. Estes métodos de representação dos pontos de solda são os elementos de viga e os elementos sólidos. Os testes utilizados neste estudo de correlação carregam o corpo de provas sob ação de forças de cisalhamento e normal aplicadas diretamente no ponto de solda. E para completar este estudo de correlação, o entendimento dos modos e critérios de falha de juntas soldadas também é necessário. Os modelos de elementos finitos dos corpos de prova gerados para serem testados sob condições de cisalhamento e de força normal são detalhados pela apresentação dos tipos de materiais, elementos, formulações de contato e carregamento utilizados. Estes modelos foram analisados pelo LS-DYNA, que é um código de elementos finitos de propósito geral para análise de respostas dinâmicas provenientes de grandes deformações de estruturas. Da mesma forma, os testes físicos e os corpos de prova utilizados são detalhados, e os resultados provenientes dos testes são comparados aos obtidos nas simulações. Dos resultados obtidos, a melhor correlação se deu com a utilização do elemento sólido para representar o ponto de solda, com diferenças entre os resultados físicos e virtuais em torno de 4%. Uma representação simples do ponto de solda é indicada no caso de modelos completos e para aplicações na indústria, alguns fatores, tais como a modelagem da ZTA, podem ser suprimidos. Uma breve descrição do processo de soldagem a ponto, alguns tópicos da análise de elementos finitos não-linear e algumas características do LS-DYNA, além das conclusões e recomendações para trabalhos posteriores, completam este estudo. / Resistance spot welding is the most common jointing process of parts used in automotive industry. Several methods to represent spot welds are available, and the purpose of this work is to compare two different methods of spot weld modeling through a correlation study, taking into consideration the maximum force withstood by the welded joint, between virtual and lab test results. These spot weld representation methods are beam and solid elements. The tests used in this correlation study load the specimens under pure shear and pure normal forces. And in order to complete this correlation study, the understanding of the failure modes and criteria is also necessary. The specimens finite element models generated to be tested under purê shear and normal conditions are detailed by the presentation of materials, elements contact formulations and loading types used. These models were analyzed by the LS-DYNA, which is general purpose finite element code for analyzing the large deformation dynamic response of structures. As well, the physical tests and used specimens are detailed, and the results from the tests are compared to the results obtained in the simulations. Taking the obtained results, the best correlation was found using solid elements to represent the spot weld, due to differences between the physical and the virtual results about 4%. A simple representation of the spot weld is indicated in case of a complete model, and for the industry application, some factors such as the HAZ, may be suppressed. A brief description of the spot welding process, some topics of the non-liner finite element analysis and some features of the LS-DYNA, and also the conclusions and recommendations for future works, complete this study.

Estimativas sobre alterações climáticas globais têm aumentando a demanda por estudos sobre propriedades dos solos relativamente secos e limitações impostas à absorção de água pelas plantas em condições de escassez hídrica. Neste estudo, fatores que influenciam a retenção da água no solo e o murchamento de plantas foram avaliados com base no conceito de equilíbrio da água no solo. Objetivou-se com este estudo: (i) avaliar a confiabilidade de medições do conteúdo de água no solo sob altas sucções matriciais em câmaras de pressão, usando como referência a técnica de ponto de orvalho (ii) avaliar as interações entre espécies de plantas e solos com diferentes classes texturais no ponto de murcha permanente (iii) investigar as relações entre equilíbrio hidráulico da água no solo e murchamento de plantas a partir do conceito de corte hidráulico. Para tanto, um experimento para avaliar a influência dos tipos de solos e espécies de plantas, no ponto de murcha permanente foi conduzido em casa de vegetação da Escola Superior de Agricultura \"Luiz de Queiroz\" da Universidade de São Paulo, Piracicaba, São Paulo. Avaliou-se o murchamento de plantas de girassol (Helianthus annuus L.), milho (Zea mays L.) e soja (Glycine max L.). Os solos utilizados no estudo foram coletados na camada superficial (0-10 cm) em quatro áreas, selecionadas com o objetivo de obter classes texturais contrastantes, localizadas no município de Piracicaba, São Paulo, Brasil. Sub-amostras foram utilizadas para determinação da distribuição do tamanho de partículas e atributos químicos. Amostras indeformadas foram coletadas para a determinação da curva de retenção da água no solo pela técnica de câmaras de pressão. Adicionalmente, amostras deformadas foram utilizadas para determinação das características de retenção da água no solo pela técnica do ponto de orvalho em altos valores de sucções matriciais. Os dados de retenção de água no solo foram ajustados a modelos empíricos para estimativas da sucção matricial e conteúdo de água relacionada à água em equilíbrio hidráulico (água residual). Foram observadas similaridades nas determinações das características de retenção da água no solo entre as técnicas de câmaras de pressão e ponto de orvalho, sugerindo a boa drenagem das amostras de solo em câmaras de pressão. Interações significativas foram observadas entre os tipos de solos e espécies de plantas no ponto de murcha permanente, indicando que o movimento de água no contínuo solo-planta-atmosfera foi dependente de resistências relacionadas tanto ao solo quanto às plantas. Ou seja, tanto à capacidade do solo em transportar água até raízes, quanto à habilidade das plantas em absorver a água transportada, assim como, aos processos de regulação de água que ocorrem nas plantas. A abordagem baseada no conteúdo de água residual para o intervalo de sucções matriciais de 0 a 15.000 hPa não foi adequada para ilustrar a condição de equilíbrio hidráulico da água no solo, definidos pelo corte hidráulico, e relações com as sucções matriciais em ocorre o murchamento de plantas. / Estimates about climate changes have increased the demand for studies of the properties of relatively dry soil and limitations on the plants water uptake in conditions of water scarcity. In this study, factors influencing the soil water retention and wilting plants were evaluated based on the concept of soil water equilibrium. The objectives of this study were: (i) to evaluate the reliability measurements of the soil water retention on pressure plate apparatus at high matric suctions using as reference the dew point meter (ii) to evaluate the interactions between soil types and plant species at permanent wilting point (iii) investigate the relationship between the hydraulic equilibrium of soil water and the plant wilting based on the hydraulic cut-off concept. A pot experiment to evaluate the effect of plant and soil types at permanent wilting point was carried out in a greenhouse at the Agricultural\'s College \"Luiz de Queiroz\" from University of São Paulo in Piracicaba, São Paulo, Brazil. Soil samples were collected at the topsoil (0-10 cm) from four different locations around the city of Piracicaba, São Paulo, Brazil. Subsamples were taken to determine the particle size distribution and chemical analysis. To determine soil water retention curve 30 soil samples were collected with undisturbed soil cores. The soils were selected to have a range of texture and organic carbon content. The wilting was evaluated using plants of sunflower (Helianthus annuus L.), maize (Zea mays L.) and soybean (Glycine max L.). The soil water retention data were fitted to the empirical models for estimating the matric suction and water content related soil water at hydraulic equilibrium (residual water content). Similar soil water content were observed for measurements at pressure plate apparatus and dew point meter, suggesting good drainage of the soil samples in pressure plate apparatus for the dry range of soil water retention curve. Significant interactions were observed between soil types and plant species at permanent wilting point, indicating that the water movement in the soil-plant-atmosphere continuum was dependent of resistances related to soil and the plants properties. The approach based on the residual water content for the matric suctions from 0 to 15,000 hPa was not adequate to illustrate the hydraulic equilibrium of the soil water defined by the cut-hydraulic and relations with the matric suction at wilting plants.

A crescente exigência do setor automotivo por maior produtividade com redução de custos, aliada aos novos materiais que compõe as carrocerias e seus revestimentos, levou ao estudo da correlação da resistência dinâmica, força de expansão térmica e indentação, com a formação do ponto de solda, a fim de qualificar e controlar a soldagem por resistência a ponto. Para o estudo ter validade prática a qualificação da solda, os parâmetros de soldagem e corpos de prova foram definidos conforme norma AWS-SAE D8-9M 2002. Os corpos de prova para os ensaios foram retirados das chapas que compõe uma carroceria veicular. O cabeçote de soldagem foi projetado e construído seguindo os padrões de máquinas industriais. Os instrumentos de medição foram desenvolvidos especificamente para atender as condições industriais da soldagem por resistência. Os ensaios simularam as variações de parâmetros e produção dos pontos de solda conforme ocorre na indústria automobilística. As análises foram realizadas através da comparação gráfica e matemática do comportamento das grandezas medidas com a qualificação dimensional do ponto. A correlação, apresentada, distingue chapas de espessuras diferentes, materiais de revestimento, variação de parâmetros, erros de posicionamento (ponto torto), expulsão de material (flash), variações na formação do ponto (undersize) e o mais importante, desgaste dos eletrodos. Esta correlação permite criar um sistema de qualificação e controle do ponto de solda. / The growing demand from the automotive sector for greater productivity, reduced costs, combined with new materials that make up their bodies and coats, led to the study of the correlation of the dynamic resistance, thermal force expansion and indentation, with the formation of the spot weld, in order to qualify and control the resistance spot welding. For the study to be valid practicing the qualification of spot weld, welding parameters and specimens were define according AWS - 9M SAE D8 2002 standard. The specimens for testing were removed from the sheets that make up a vehicle body. The welding head was designed and built according the standards of industrial machinery. Measuring instruments were developed specifically to meet the conditions of industrial resistance welding. The tests simulated the variations of parameters and production of welding spots as occurs in automotive industry. The analyzes were performed through the graphical comparison and mathematical behavior of measured quantities with dimensional spot qualification. The correlation presented distinguishes sheets of different thicknesses, coating materials, variation of parameters, positioning errors (crooked point), expulsion of material (flash), variations in spot formation (undersize) and most important, wear of the electrodes. This correlation allows to create a system of qualification and control of the spot welding.

A soldagem a ponto por resistência é o processo de união de partes mais comum utilizado na indústria automobilística. Vários métodos de representação de pontos de solda estão disponíveis, e este trabalho se propõe comparar dois métodos de modelagem de pontos de solda através de um estudo de correlação, em termos da força máxima suportada pela junta soldada, entre os resultados de testes virtuais e de laboratório. Estes métodos de representação dos pontos de solda são os elementos de viga e os elementos sólidos. Os testes utilizados neste estudo de correlação carregam o corpo de provas sob ação de forças de cisalhamento e normal aplicadas diretamente no ponto de solda. E para completar este estudo de correlação, o entendimento dos modos e critérios de falha de juntas soldadas também é necessário. Os modelos de elementos finitos dos corpos de prova gerados para serem testados sob condições de cisalhamento e de força normal são detalhados pela apresentação dos tipos de materiais, elementos, formulações de contato e carregamento utilizados. Estes modelos foram analisados pelo LS-DYNA, que é um código de elementos finitos de propósito geral para análise de respostas dinâmicas provenientes de grandes deformações de estruturas. Da mesma forma, os testes físicos e os corpos de prova utilizados são detalhados, e os resultados provenientes dos testes são comparados aos obtidos nas simulações. Dos resultados obtidos, a melhor correlação se deu com a utilização do elemento sólido para representar o ponto de solda, com diferenças entre os resultados físicos e virtuais em torno de 4%. Uma representação simples do ponto de solda é indicada no caso de modelos completos e para aplicações na indústria, alguns fatores, tais como a modelagem da ZTA, podem ser suprimidos. Uma breve descrição do processo de soldagem a ponto, alguns tópicos da análise de elementos finitos não-linear e algumas características do LS-DYNA, além das conclusões e recomendações para trabalhos posteriores, completam este estudo. / Resistance spot welding is the most common jointing process of parts used in automotive industry. Several methods to represent spot welds are available, and the purpose of this work is to compare two different methods of spot weld modeling through a correlation study, taking into consideration the maximum force withstood by the welded joint, between virtual and lab test results. These spot weld representation methods are beam and solid elements. The tests used in this correlation study load the specimens under pure shear and pure normal forces. And in order to complete this correlation study, the understanding of the failure modes and criteria is also necessary. The specimens finite element models generated to be tested under purê shear and normal conditions are detailed by the presentation of materials, elements contact formulations and loading types used. These models were analyzed by the LS-DYNA, which is general purpose finite element code for analyzing the large deformation dynamic response of structures. As well, the physical tests and used specimens are detailed, and the results from the tests are compared to the results obtained in the simulations. Taking the obtained results, the best correlation was found using solid elements to represent the spot weld, due to differences between the physical and the virtual results about 4%. A simple representation of the spot weld is indicated in case of a complete model, and for the industry application, some factors such as the HAZ, may be suppressed. A brief description of the spot welding process, some topics of the non-liner finite element analysis and some features of the LS-DYNA, and also the conclusions and recommendations for future works, complete this study.

A crescente exigência do setor automotivo por maior produtividade com redução de custos, aliada aos novos materiais que compõe as carrocerias e seus revestimentos, levou ao estudo da correlação da resistência dinâmica, força de expansão térmica e indentação, com a formação do ponto de solda, a fim de qualificar e controlar a soldagem por resistência a ponto. Para o estudo ter validade prática a qualificação da solda, os parâmetros de soldagem e corpos de prova foram definidos conforme norma AWS-SAE D8-9M 2002. Os corpos de prova para os ensaios foram retirados das chapas que compõe uma carroceria veicular. O cabeçote de soldagem foi projetado e construído seguindo os padrões de máquinas industriais. Os instrumentos de medição foram desenvolvidos especificamente para atender as condições industriais da soldagem por resistência. Os ensaios simularam as variações de parâmetros e produção dos pontos de solda conforme ocorre na indústria automobilística. As análises foram realizadas através da comparação gráfica e matemática do comportamento das grandezas medidas com a qualificação dimensional do ponto. A correlação, apresentada, distingue chapas de espessuras diferentes, materiais de revestimento, variação de parâmetros, erros de posicionamento (ponto torto), expulsão de material (flash), variações na formação do ponto (undersize) e o mais importante, desgaste dos eletrodos. Esta correlação permite criar um sistema de qualificação e controle do ponto de solda. / The growing demand from the automotive sector for greater productivity, reduced costs, combined with new materials that make up their bodies and coats, led to the study of the correlation of the dynamic resistance, thermal force expansion and indentation, with the formation of the spot weld, in order to qualify and control the resistance spot welding. For the study to be valid practicing the qualification of spot weld, welding parameters and specimens were define according AWS - 9M SAE D8 2002 standard. The specimens for testing were removed from the sheets that make up a vehicle body. The welding head was designed and built according the standards of industrial machinery. Measuring instruments were developed specifically to meet the conditions of industrial resistance welding. The tests simulated the variations of parameters and production of welding spots as occurs in automotive industry. The analyzes were performed through the graphical comparison and mathematical behavior of measured quantities with dimensional spot qualification. The correlation presented distinguishes sheets of different thicknesses, coating materials, variation of parameters, positioning errors (crooked point), expulsion of material (flash), variations in spot formation (undersize) and most important, wear of the electrodes. This correlation allows to create a system of qualification and control of the spot welding.