O principal objetivo deste trabalho é estudar diversas aplicações de combinatória infinita em espaços de funções contínuas, definidas em espaços compactos Hausdorff. Usando combinatória infinita para uma álgebra de Boole, por meio da dualidade de Stone, obtemos um espaço compacto Hausdorff. Com certas propriedades na álgebra de Boole é possível analisar propriedades analíticas no espaço de funções contínuas definidas em tal espaço. Especificamente, analisamos a propriedade de Grothendieck. Também analisamos a relação entre o espaço de funções contínuas e o espaço compacto Hausdorff sobre o qual é definido. Apresentamos um resultado que permite obter diversos resultados conhecidos de uma maneira uniforme (só usando fatos de topologia e teoria de conjuntos), dotando o espaço de funções contínuas de uma ordem peculiar. Finalmente, estudamos um pouco de jogos topológicos mediante diversos exemplos. / The main purpose of this work is to study some infinite combinatorics applications in spaces of continuous functions, defined in Hausdorff compact spaces. Using infinite combinatorics in Boolean algebras, through Stone duality, we obtain a compact Hausdorff space. With certain properties in Boolean algebras it is possible to analyze analytic properties in the space of continuous functions defined in such space. Specifically, we analyze the Grothendieck property. We also analyze the relationship between the space of continuous functions and the compact Hausdorff space on which it is defined. We present a result that allows to obtain several known results in a uniform way (only using facts of topology and set theory), giving the space of continuous functions a peculiar order. Finally, we study some topological games through several examples.

Made available in DSpace on 2016-04-04T18:22:00Z (GMT). No. of bitstreams: 1 Adelita Araujo de Souza.pdf: 14274914 bytes, checksum: c505da3a5b145d8614745d83a468c03d (MD5) Previous issue date: 2012-02-16 / This research makes a consideration on urban and socio-spatial phenomena in the Iguassu border, where there are the cities formed in Argentine, Brazilian and Paraguayan territories. In this regard, it uses the border concept adopted by geography and the urban phenomenon adopted by urban planner Bernardo Secchi. For this investigation, we highlight the 70s as the time frame, period represented by the construction of Itaipu Binacional Power Plant, which promoted a global plan for housing, structuring the road system and articulating the urban grid plan concerning Brazilian and Paraguayan cities. This analysis has been carried out pointing political, economical and social aspects which involved the construction of the dam, as well as urban and architectural projects deployed by the company which eventually contributed to the current processes of urban expansion and interaction between these cities. First of all, we analyzed the natural logics which set up the urban relations over time such as commercial and touristic links, mobility and urban structure, immigration and territorialization processes, cultural and identity changes, for then reflecting on documents and projects dated of the construction of the dam, which reveal the interest of both Brazilian and Paraguayan military governments. The analysis of the urban projects shows that the adopted party was conceived to the population control and surveillance, besides of organizing socio-cultural hierarchies, while that, to the military class, urban projects were observed the same oriented for socialization, enhancement of public space and environment. Finally, it was concluded that the immediate consequences led to segregation, urban grid plan fraying and overcrowded cities culminating in social and identity conflicts. / Esta pesquisa realiza uma reflex?o sobre os fen?menos urbanos e s?cio-espaciais na fronteira do Igua?u, onde se encontram as cidades formadas nos territ?rios da Argentina, Brasil e Paraguai. Para isso, utiliza o conceito de fronteira adotado pela geografia e o conceito de fen?meno urbano adotado pelo urbanista Bernardo Secchi. Para a investiga??o, delineamos a d?cada de 1970 como o recorte temporal, per?odo representado pela constru??o da Usina de Itaipu Binacional, que promoveu um plano global de urbaniza??o para as cidades paraguaias e brasileiras, se baseado principalmente na constru??o de conjuntos habitacionais e na estrutura??o do sistema vi?rio, articulando as malhas urbanas das cidades da zona de fronteira. A an?lise ? realizada pontuando os aspectos pol?ticos, econ?micos e sociais que envolveram a constru??o da usina, bem como dos projetos urbanos e arquitet?nicos implantados pela empresa que, por fim, contribu?ram para os processos atuais de expans?o urbana e intera??o entre estas cidades. Analisamos primeiramente as l?gicas naturais que configuraram as rela??es urbanas ao longo do tempo, como v?nculos comerciais e tur?sticos, mobilidade e estrutura urbana, imigra??o e processos de territorializa??o, trocas culturais e identit?rias para, em seguida, refletir sobre os documentos e projetos da ?poca da constru??o da usina que revelam os interesses dos governos militares do Brasil e do Paraguai. A an?lise dos projetos urbanos demonstra que o partido adotado foi concebido para o controle e a vigil?ncia da popula??o, al?m de organizar hierarquias sociais e culturais, ao mesmo tempo em que, para a classe militar, observam-se projetos urbanos orientados para a socializa??o, a valoriza??o do espa?o p?blico e do meio ambiente. Finalmente, concluiu-se que as conseq??ncias imediatas conduziram ? segrega??o, ao esgar?amento da malha urbana e ao incha?o das cidades, culminando em conflitos sociais e identit?rios.

Nos últimos anos, váarios pesquisadores tais como: A. Bodin, A. Dimca, A. Durfee, A. Jacquemard, A. Menegon Neto, A. Némethi, A. Pichon, A. Verjovsky, A. Zaharia, D. Siersma, H. A. Hamm, D. Massey, H. Aguilar-Cabrera, H. H. Vui, J. Cisneros, J. Seade, J. Snoussi, L. D. Tráng, L. Paunescu, L. R. Dias, M. A. S. Ruas, M. Oka, M. Tibar, N. Dutertre, R. N. Araújo dos Santos, S. A. Broughton, T. Gaffney, Y. Chen, entre outros, têm apresentado generalizações dos Teoremas de fibrações de Milnor no ambiente real e complexo (e do Teorema de Kurdyka-Orro-Simon, ver por exemplo [Di, KOS]), visando um melhor entendimento de propriedades topológicas locais e globais das singularidades. Nesta direção de pesquisa esses autores tem utilizado várias ferramentas e técnicas de diversas áreas da matemática. O que mostra a riqueza e a complexidade destes estudos e acrescenta, em nossa modesta opinião, um aspecto que é ao mesmo tempo interessante e desafiador. Neste trabalho, mostraremos como estender as fibrações de Milnor em esferas no caso local e global, real e complexo, para uma aplicação C2-semi-algébrica F = (f1, . . . , fp) : RN → Rp e uma variedade W ⊂ RN semi-algébrica com possível singularidade. Com tal objetivo, introduziremos as condições de Milnor (a) e (b) generalizadas\" e mostraremos como adaptar a técnica da decomposição open book superior com binding singular, introduzida em [AT, ACT1]. Nossos resultados sugerem que tal estrutura de fibração pode ser um caso particular de algum Teorema estrutural mais geral. Além do mais, considerando π : Rp → Rp-1 a projeção canônica na meta, mostraremos que se F satisfaz tais condições, então G = π o F : RN → Rp-1 também satisfaz e, consequentemente, G também induz em W uma fibração suave localmente trivial. Concluiremos mostrando que após as projeções as fibras destes fibrados são homotopicamente equivalentes e, em seguida, apresentando algumas fórmulas que relacionam a característica de Euler do \"link relativo\" W ∩ F-1 (0) com a característica de Euler das fibras. / In the last years, several researchers such as: A. Bodin, A. Dimca, A. Durfee, A. Jacquemard, A. Menegon Neto, A. Némethi, A. Pichon, A. Verjovsky, A. Zaharia, D. Siersma, H. A. Hamm, D. Massey, H. Aguilar-Cabrera, H. H. Vui, J. Cisneros, J. Seade, J. Snoussi, L. D. Trang, L. Paunescu, L. R. Dias, M. A. S. Ruas, M. Oka, M. Tibar, N. Dutertre, R. N. Araújo dos Santos, S. A. Broughton, T. Gaffney, Y. Chen, and others, have proven generalizations of Milnor fibrationss Theorems in the real and complex settings (and Kurdyka-Orro-Simons Theorem, see e.g. [Di, KOS]), aiming a better understanding of the local and global topological properties of singularity. In this research branch, these authors have used many different tools and techniques from several areas of Mathematics. This shows the richness and complexities of these studies and adds, in our modest opinion, an aspect that is simultaneously interesting and challenging. In this work, we introduce the generalized Milnors conditions (a) and (b) to show an extension of the Milnor fibration Theorems on spheres in the local and global cases, in the real and complex setting. For this, we consider a C2-semi-algebraic mapping F = (f1, . . . , fp) : RN → Rp , a possible singular semi-algebraic variety W ⊂ RN, and we show how to adapt the technique of Higher open book decomposition with singular binding, introduced by [AT, ACT1], to prove such extension. Our results suggest that such fibration structure may be a particular case of a more general fibration structure. Furthermore, considering : Rp Rp-1 the canonical projection on the target space, we show that if F satisfies the generalized Milnors conditions (a) and (b), then G = π o F : RN → Rp-1 also satisfies these conditions and, hence G also induces on W a smooth locally trivial fibration. Finally, we show that after the projections on the target space, the fibers of these fiber bundles are homotopically equivalent. We conclude by proving some formulae connecting the Euler characteristic of \"relative link\" W ∩ F-1 (0) with the Euler characteristic of the fibers. Key words and phrases: generalized open book decomposition, fibration structure on semi-algebraic sets, topology of singularity, real and complex Milnors fibrations and, local and global fibration.

O principal objetivo desse trabalho é observar como o compositor italiano Luigi Dallapiccola trabalha, cria e manipula o material musical, as séries e seus desdobramentos, na composição da ópera Il Prigioniero. Por se tratar de uma obra conduzida por um percurso dramático, a análise também envolve, quando necessário, aspectos narrativos, dramatúrgicos, cenográficos e, consequentemente, psicológicos - ao abordar os personagens e suas interações na história. Durante a pesquisa, foram revelados processos composicionais idiossincráticos na maneira como Dallapiccola trabalha o serialismo, em particular, quando o compositor deriva coleções octatônicas de séries dodecafônicas, criando complexos harmônicos e melódicos, inter-relacionando materiais de natureza aparentemente antagônicas. A fim de demonstrar com a maior clareza possível a diversidade de materiais e técnicas utilizadas na criação da ópera, diferentes ferramentas analíticas foram aplicadas, muitas vezes de maneira complementar, durante as análises musicais. O trabalho está dividido em três capítulos sequenciais, além da introdução e das conclusões finais: o primeiro capítulo, introduz, de modo geral, a obra e o desenvolvimento técnico do compositor durante sua vida profissional; o segundo capítulo, aborda a construção dos materiais que alicerçam a composição da ópera; e o terceiro capítulo, expõe a maneira como o compositor cria e desenvolve a composição dramático-musical da ópera. / The main goal of this work is observing how the Italian composer Luigi Dallapiccola works, creates and manipulates the musical material, the series and its unfolding, in the composition of the opera \"Il Prigioniero\". Because it is a dramatic work, the analysis also involves, when necessary, narrative, dramaturgical, scenographic and, consequently, psychological aspects - in approaching the characters and their interactions in history. During the research, idiosyncratic compositional processes were revealed in the way Dallapiccola works serialism when the composer derives octatonic collections from dodecaphonic series, creating harmonic and melodic complexes, interrelating antagonistic materials. To demonstrate as clearly as possible, the diversity of materials and techniques used in the creation of the opera, different analytical tools were applied, often in a complementary way, during the musical analyzes. The work is separated into three sequential chapters, in addition to the introduction and final conclusions: the first chapter introduces, in a general way, the work and technical development of the composer during his professional life; The second chapter deals with the construction of the materials that sustain the composition of the opera; And the third chapter, exposes the way the composer creates and develops the dramatic-musical composition of opera.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

Os centros de operação de sistemas elétricos de potência (SEP) exigem que uma vasta quantidade de informações esteja disponível para o controle e supervisão dos SEP. Em uma operação segura dos SEP é de suma importância que o processo de estimação de estado (EE) seja confiável. Visando este propósito, neste trabalho: i) propõe-se o desenvolvimento de um programa computacional que permita avaliar e aumentar a confiabilidade de um SEP em termos de qualidade e redundância das medidas disponíveis. Este programa fundamenta-se na fatoração da matriz Jacobiana transposta (\'H POT.t\') para realização da análise e restauração de observabilidade, e identificação de medidas críticas e conjuntos críticos de medidas. Para estimação de estado, é utilizado o algoritmo desacoplado rápido versão BX, e para a detecção e identificação de erros grosseiros, utiliza-se o teste dos resíduos normalizados; ii) propõe-se uma metodologia e um algoritmo para análise de observabilidade e identificação de ilhas observáveis, usando conceitos de caminhos de grafo e a fatoração triangular da matriz \'H POT. t\'. Para comprovar a eficiência das metodologias propostas, vários testes foram realizados, utilizando o sistema de 6, 14, 30 e 118 barras do IEEE. / The operating center requires much information in order to control and supervise the power systems. In a secure power systems operation it is important that the state estimation process be reliable. For that purpose, in this work: i) a computer program to evaluate and increment the reliability of power system in terms of redundancy and measurements availability is developed. That program is based on the \'H POT.t\' matrix factorization with the purpose of observability analysis and restoration; critical measurements and critical sets identification. The version BX of the fast decoupled algorithm for state estimation is used. Gross errors detection and identification is made through the normalized residue test; ii) using of path graph concepts a methodology and algorithm for network observability analysis and observable island identification is developed. To implement that algorithm, the triangular factorization of the transpose Jacobian matrix is used. To prove the efficiency of the proposed methodology, several tests were performed using the system of 6, 14, 30 and 118 buses from IEEE.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-04-12T13:49:50Z No. of bitstreams: 1 Deborah Luisa Detânico Vieira_.pdf: 1504339 bytes, checksum: 49a2adc770aff79d216c818e22dea099 (MD5) / Made available in DSpace on 2018-04-12T13:49:50Z (GMT). No. of bitstreams: 1 Deborah Luisa Detânico Vieira_.pdf: 1504339 bytes, checksum: 49a2adc770aff79d216c818e22dea099 (MD5) Previous issue date: 2017-05-17 / Nenhuma / Com a crescente demanda de serviços de voz e, principalmente, dados móveis se fez necessário o desenvolvimento das tecnologias de quarta geração (4G). O padrão Long Term Evolution (LTE), desenvolvido pela Third Generation Partnership Project (3GPP), foi escolhido pela International Telecommunications Union (ITU) como tecnologia para atender os requisitos da quarta geração de serviços móveis. Para as operadoras inserirem esta nova tecnologia em suas redes existentes, se faz necessário um estudo meticuloso de planejamento, muito embora, na prática, este planejamento seja desenvolvido de forma empírica. O problema de planejamento de redes é conhecido e bem estudado no ramo da computação, conhecido como problema de recobrimento de conjuntos e classificado, pela sua complexidade, como NP-difícil. Dadas as características diferenciadas da arquitetura da rede do LTE, este trabalho busca resolver o problema de planejamento de redes de quarta geração (4G), utilizando uma modelagem matemática aplicada a uma metaheurística híbrida, composta de Algoritmo Genético e Busca Tabu. Almejase resolver o problema de cobertura de uma determinada região, cobrindo a maior área possível com o menor número possível de Base Stations (BS), visando ao planejamento com maior assertividade e redução do custo de implantação da rede 4G. / With the constantly demand of voice services and mostly in mobile data, there was the need the development of the mobile services of fourth generation (4G). The pattern Long Term Evolution, developed by the Third Generation Partnership Project (3GPP) was chosen by the International Telecommunications Union (ITU) as technology to attend the requirements of the fourth generation of mobile services. For the mobile operators introduce and apply this new generation in their own existing networks, they need to do an extensive research and planning, even if, in practical means, it is applied using the empirical way. The network planning problem is widely known and studied in computing area as set-covering problem ans classified as NPhard. Due the unique characteristics of network architecture of LTE, this work aims to solve the mobile’s fourth generation planning problem using a mathematics modelling apply to a hybrid metaheuristics, composed with Genetic Algorithm and Tabu Search. It aims solve the coverage problem of a specific region, covering the largest area possible with the fewest number of Base Sations (BS) possible, seeking the best compliance and cost reduction of the LTE network deployment.

Made available in DSpace on 2016-04-27T16:57:50Z (GMT). No. of bitstreams: 1 EDM - Michaela C Schon.pdf: 1931458 bytes, checksum: 5cde0886ff87d5dafb588e52ab96ed50 (MD5) Previous issue date: 2006-11-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This paper aimed the realization of a study concerning the philosophical epistemology of the concept of number, in which it still makes sense to ask: What is number? In this perspective, we have assumed as problematic the philosophical duality of the conceptualizations of numbers, according to Axiomatic (proposed by Peano) e by the Set Theory and Logics (proposed by Russell), being the Conceptualization of Number the problem of this research, concerning the possibility of introducing an ultimate definition to this concept. The focus of this research is in the polemics that exists about the number introduced by Russell (1872-1970) contrary to Piano s (1858-1932), taking as a basis Otte s criticism, introduced in the article: B. Russell Introduction to Mathematical Philosophy , 2001. The research was developed using, as a reference, the sense of Complementarity, as well as using proper qualitative methodological research procedures. As a conclusion, we are able to claim that numbers are: on one hand, characteristics of certain classes and, on the other hand, operative concepts. This way, the existence of polemics between philosophers like Frege and Russell, who have favored predicative aspects, that is, they define number in terms of cardinality and, others like Grassmann, Dedekind and Peano who have highlighted the ordinal numbers, justify Otto s proposition of complementarity between the approaches. The possibility of having cognitive and didactical consequences on the teaching in the use of one or another approach of conceptualization of the number or both, as Otte intends, makes this study a contribution to Mathematical Education / Este trabalho objetivou realizar um estudo sobre a epistemologia filosófica do conceito de número, na qual ainda faz sentido o questionamento: O que é número? Nesta perspectiva, assumiu-se como problemática a dualidade filosófica das conceituações de número, sustentadas pela Axiomática (proposta por Peano) e pela Teoria dos Conjuntos e Lógica (proposta por Russell), sendo o problema de pesquisa a Conceituação de Número frente a essa dualidade e à possibilidade de ser apresentada uma definição em definitivo ao conceito de número. O foco da presente pesquisa está na polêmica existente entre a concepção de número apresentada por Russell (1872-1970) contraposta à de Peano (1858-1932), tomando-se por base as críticas de Otte, apresentadas no artigo: B. Russell Introduction to Mathematical Philosophy , de 2001. A pesquisa desenvolveu-se tendo por referência a noção de Complementaridade, tendo sido utilizados procedimentos metodológicos adequados às pesquisas qualitativas. Como conclusão pode-se afirmar que os números são: por um lado, características de certas classes e, por outro, conceitos operativos. Deste modo, a existência da polêmica entre filósofos como Frege e Russell, que favoreceram os aspectos predicativos, isto é, definem os números em termos de cardinalidade e, outros como Grassmann, Dedekind e Peano que destacam os números ordinais, justifica a proposição de Otte da complementaridade entre as abordagens. A possibilidade de existirem conseqüências cognitivas e didáticas na utilização no ensino de uma ou outra abordagem da conceituação de número ou de ambas como pretende Otte torna, este estudo, uma contribuição para a Educação Matemática

Neste trabalho estudamos dinâmica Hamiltoniana em $\\mathbb{R}^4$ restrita a níveis de energia próximos a níveis críticos. Mais precisamente, consideramos uma função Hamiltoniana $H: \\mathbb{R}^4 \\to \\mathbb{R}$ que possui um ponto de equilíbrio do tipo sela-centro $p_c \\in H^{-1}(0)$ e assumimos que $p_c$ pertence a um conjunto singular estritamente convexo $S_0 \\subset H^{-1}(0)$. Então, mostramos que os níveis de energia $H^{-1}(E)$, com $E>0$ suficientemente pequeno, contêm uma $3$-bola fechada $S_E$ próxima a $S_0$ que admite um sistema de seções transversais $F_E$, chamado folheação $2-3$. $F_E$ é uma folheação singular de $S_E$ com conjunto singular formado por duas órbitas periódicas $P_{2,E}\\subset \\partial S_E$ e $P_{3,E}\\subset S_E\\setminus \\partial S_E$. A órbita $P_{2,E}$ é hiperbólica dentro do nível de energia $H^{-1}(E)$, pertence à variedade central do sela-centro $p_c$, tem índice de Conley-Zehnder $2$ e é o limite assintótico de dois planos rígidos de $F_E$ que, unidos com $P_{2,E}$, constituem a $2$-esfera $\\partial S_E$. A órbita $P_{3,E}$ tem índice de Conley-Zehnder $3$ e é o limite assintótico de uma família a um parâmetro de planos de $F_E$ contida em $S_E\\setminus \\partial S_E$. Um cilindro rígido conectando as órbitas $P_{3,E}$ e $P_{2,E}$ completa a folheação $F_E$. Uma vez que $F_E$ é um sistema de seções transversais, todas as suas folhas regulares são transversais ao fluxo Hamiltoniano de $H$. Como consequência da existência de uma tal folheação em $S_E$, concluímos que a órbita hiperbólica $P_{2,E}$ admite pelo menos uma órbita homoclínica contida em $S_E \\setminus \\partial S_E$. / In this work we study Hamiltonian dynamics in $\\mathbb R ^4$ restricted to energy levels close to critical levels. More precisely, we consider a Hamiltonian function $H:\\mathbb R ^4 \\to \\mathbb R$ containing a saddle-center equilibrium point $p_c \\in H^ -1 (0)$ and we assume that $p_c$ lies on a strictly convex singular set $S_0 \\subset H^ -1 (0)$. Then we prove that the energy levels $H^ -1 (E)$, with $E>0$ sufficiently small, contain a closed $3$-ball $S_E$ near $S_0$ admitting a system of transverse sections $F_E$, called a $2-3$ foliation. $F_E$ is a singular foliation of $S_E$ and its singular set consists of two periodic orbits $P_{2,E}\\subset \\partial S_E$ and $P_{3,E}\\subset S_E\\setminus \\partial S_E$. The orbit $P_{2,E}$ is hyperbolic inside the energy level $H^ -1 (E)$, lies on the center manifold of the saddle-center $p_c$, has Conley-Zehnder index $2$ and is the asymptotic limit of two rigid planes of $F_E$, which compose the $2$-sphere $S_E$ together with $P_{2,E}$. The orbit $P_{3,E}$ has Conley-Zehnder index $3$ and is the asymptotic limit of a one parameter family of planes of $F_E$ contained in $S_E \\setminus \\partial S_E$. A rigid cylinder connecting the orbits $P_{3,E}$ and $P_{2,E}$ completes the foliation $F_E$. Since $F_E$ is a system of transverse sections, all its regular leaves are transverse to the Hamiltonian flow of $H$. As a consequence of the existence of such foliation in $S_E$, we conclude that the hyperbolic orbit $P_{2,E}$ admits at least one homoclinic orbit contained in $S_E\\setminus \\partial S_E$.

Neste trabalho estudamos dinâmica Hamiltoniana em $\\mathbb{R}^4$ restrita a níveis de energia próximos a níveis críticos. Mais precisamente, consideramos uma função Hamiltoniana $H: \\mathbb{R}^4 \\to \\mathbb{R}$ que possui um ponto de equilíbrio do tipo sela-centro $p_c \\in H^{-1}(0)$ e assumimos que $p_c$ pertence a um conjunto singular estritamente convexo $S_0 \\subset H^{-1}(0)$. Então, mostramos que os níveis de energia $H^{-1}(E)$, com $E>0$ suficientemente pequeno, contêm uma $3$-bola fechada $S_E$ próxima a $S_0$ que admite um sistema de seções transversais $F_E$, chamado folheação $2-3$. $F_E$ é uma folheação singular de $S_E$ com conjunto singular formado por duas órbitas periódicas $P_{2,E}\\subset \\partial S_E$ e $P_{3,E}\\subset S_E\\setminus \\partial S_E$. A órbita $P_{2,E}$ é hiperbólica dentro do nível de energia $H^{-1}(E)$, pertence à variedade central do sela-centro $p_c$, tem índice de Conley-Zehnder $2$ e é o limite assintótico de dois planos rígidos de $F_E$ que, unidos com $P_{2,E}$, constituem a $2$-esfera $\\partial S_E$. A órbita $P_{3,E}$ tem índice de Conley-Zehnder $3$ e é o limite assintótico de uma família a um parâmetro de planos de $F_E$ contida em $S_E\\setminus \\partial S_E$. Um cilindro rígido conectando as órbitas $P_{3,E}$ e $P_{2,E}$ completa a folheação $F_E$. Uma vez que $F_E$ é um sistema de seções transversais, todas as suas folhas regulares são transversais ao fluxo Hamiltoniano de $H$. Como consequência da existência de uma tal folheação em $S_E$, concluímos que a órbita hiperbólica $P_{2,E}$ admite pelo menos uma órbita homoclínica contida em $S_E \\setminus \\partial S_E$. / In this work we study Hamiltonian dynamics in $\\mathbb R ^4$ restricted to energy levels close to critical levels. More precisely, we consider a Hamiltonian function $H:\\mathbb R ^4 \\to \\mathbb R$ containing a saddle-center equilibrium point $p_c \\in H^ -1 (0)$ and we assume that $p_c$ lies on a strictly convex singular set $S_0 \\subset H^ -1 (0)$. Then we prove that the energy levels $H^ -1 (E)$, with $E>0$ sufficiently small, contain a closed $3$-ball $S_E$ near $S_0$ admitting a system of transverse sections $F_E$, called a $2-3$ foliation. $F_E$ is a singular foliation of $S_E$ and its singular set consists of two periodic orbits $P_{2,E}\\subset \\partial S_E$ and $P_{3,E}\\subset S_E\\setminus \\partial S_E$. The orbit $P_{2,E}$ is hyperbolic inside the energy level $H^ -1 (E)$, lies on the center manifold of the saddle-center $p_c$, has Conley-Zehnder index $2$ and is the asymptotic limit of two rigid planes of $F_E$, which compose the $2$-sphere $S_E$ together with $P_{2,E}$. The orbit $P_{3,E}$ has Conley-Zehnder index $3$ and is the asymptotic limit of a one parameter family of planes of $F_E$ contained in $S_E \\setminus \\partial S_E$. A rigid cylinder connecting the orbits $P_{3,E}$ and $P_{2,E}$ completes the foliation $F_E$. Since $F_E$ is a system of transverse sections, all its regular leaves are transverse to the Hamiltonian flow of $H$. As a consequence of the existence of such foliation in $S_E$, we conclude that the hyperbolic orbit $P_{2,E}$ admits at least one homoclinic orbit contained in $S_E\\setminus \\partial S_E$.