O objetivo principal deste trabalho é apresentar um estudo sobre o Teorema de Borsuk-Ulam para forma espacial esférica homotópica. Em nosso trabalho consideramos X uma n-forma espacial esférica homotópica a qual admite uma ação livre de Zp, com p> 2 primo e f : X → Rk uma função contínua e, mostramos que sob determinada relação entre os números n e k, o conjunto A(f) dos pontos de coincidência de f é não vazio / The main objective of this work is to present a study about the Borsuk- Ulam Theorem for homotopic spherical space. In our work we consider X be a n-dimensional homotopic spherical space form which admits a free action of Zp, with p> 2 prime and f : X → Rk be a continuous map and we show that, under certain relations between the numbers n and k, the set A(f) is not empty

Sistemas de informações geográficas permitem armazenar, manipular e armazenar, manipular e analisar dados espaciais e aspectos descritivos desses dados. A análise de dados espaciais pode ser realizada por meio de técnicas de extração de regras de associação, ou seja, regras que descrevem relacionamentos entre os dados. Porém, a mineração de regras de associação não considera as relações topológicas existentes entre dados georreferenciados. Para solucionar esse problema, Koperski and Han (1995) e Malerba et al. (2001) propuseram um processo de extração de regras integrado ao algoritmo de mineração e utilizavam predicados lógicos para representar as regras. Como alternativa a essa solução, este trabalho propõe pré-processar os dados referenciados para encontrar relações topológicas em separado e aplicar um algoritmo de mineração de regras de associação disponí?vel pela comunidade acadêmica. As regras geradas devem apresentar características descritivas dos dados e relações topológicas. Para atingir esse objetivo foi especificado um processo de extração de regras em dados georreferenciados e implementado um módulo de pré-processamento que extrai relações topológicas. O módulo foi avaliado por meio de um estudo de caso utilizando o sistema de informação geográfica da cidade de Jaboticabal, no contexto de planejamento urbano. As regras encontradas foram analisadas por um especialista utilizando as medidas de suporte e confiança. Além disso, uma análise sobre o tempo de processamento e consumo de memória para encontrar as relações topológicas foi realizada, mostrando que é possível extrair padrões utilizando o processo e o módulo proposto neste trabalho. / Geographic information systems are used to store, manipulate, and analyze spatial data and its descriptive aspects. Spatial data analysis can be done by searching association rules that describe relationships between the data. However, georeferenced data present topological relations unknown to traditional mining association rule algorithms. To solve this problem, Koperski and Han (1995) and Malerba et al. (2001) proposed a topological relation extraction process integrated to a mining association rule algorithm. This process requires all data to be translated as logical predicates. As an alternative to this solution, this work proposes to break down this process by pre-processing the georeferenced data to find topological relations, then executing traditional mining association rule algorithms. The resulting rules must present descriptive characteristics of the data and topological relations. To reach this objective, a process of rule extraction in georeferenced data was specified, in addition to a pre-processing module implementation. This module was evaluated by using a case study that uses a geographic information system of the city of Jaboticabal, in the context of urban planning. The generated rules were analyzed by a specialist using the measures of support and confidence. In addition, an analysis regarding the processing time and memory consumption was provided to find the topological relations, which shows that it is possible to extract the patterns with the proposed process and module.

O estudo da distribuição de pragas em espaço e tempo em sistemas agrícolas fornece informação importante sobre os mecanismos de dispersão das espécies e sua interação com fatores ambientais. Esse tipo de estudos também é de muita ajuda no desenvolvimento de planos de amostragem, na otimização de programas de manejo integrado de pragas e no planejamento de experimentos. O objetivo deste trabalho foi comparar vários modelos hierárquicos na modelagem da variação espaço-temporal da infestação da broca do café visando produzir mapas de risco da infestação que descrevam adequadamente o processo de infestação. Foram usadas diferentes combinações de efeitos aleatórios representando variabilidade não estruturada, com diferentes escolhas de distribuições a priori para os parâmetros e os hiperparâmetros dos modelos. Foram também usados diferentes esquemas de vizinhança para representar a correlação espacial dos dados. O ajuste dos modelos foi feito usando métodos MCMC. A estatística deviance e funções de perda quadrática foram usadas para a comparação entre modelos. Os resultados são apresentados como uma seqüência de mapas de risco de infestação. / Study of agricultural pests distribution in space and time provides important information about the species dispersion mechanisms and its interaction with environmental factors. It also helps the development of sampling plans, the integrated pest management and planning of experiments. The aim of this work was to compare several hierarchical models in modelling the spatio-temporal variation of the coffee berry borer infestation in order to produce risk maps. Different combinations of random effects representing spatially structured and unstructured variability were used, with different prior distributions for the parameters and hyperparameters. Also different neighbourhood schemes were used to represent the spatial correlation of the data. The model fitting was done using MCMC methods and deviance and squared loss function were used for the comparison between models. The results are presented as a sequence of risk maps.

Esta dissertação de mestrado realizou uma etnografia com membros de uma Associação de Moradores localizada em um bairro de ocupação irregular chamado Parque Recanto Cocaia. O referido bairro se situa no distrito do Grajaú, Zona Sul da cidade de São Paulo. Parte do distrito pertence à área de proteção ambiental, pois se assenta em um manancial urbano, característica que confere especificidades com relação às problemáticas das ocupações urbanas irregulares. O ponto de partida da pesquisa foi investigar os processos de construção de demandas para o bairro, bem como as estratégias para dar visibilidade às mesmas junto ao Estado, tornando-as, assim, reivindicações. A problemática de fundo desta pesquisa visou por em pauta a manutenção e reprodução de um espaço em que a ocupação urbana é restrita, pois se trata de área de manancial. O aprofundamento etnográfico na Associação de Moradores revelou que o processo de construção de reivindicações leva seus membros a participar de múltiplas esferas de atuação política. Eles atuam em movimentos sociais, em Conselhos Gestores Municipais de Saúde e são lideranças comunitárias em seu bairro. Assim, argumento que a produção de vínculos com atores políticos de outros bairros do Grajaú, de alguns distritos próximos e com gestores públicos dos Conselhos Gestores, leva ao fortalecimento de suas atuações políticas. Isso ocorre porque tais vínculos decorrem de uma prática cuja ênfase está nas relações desenvolvidas nas esferas de atuação política. / This masters degree dissertation develops an ethnography with the members of a Homeowners association located in an irregular occupation neighborhood called Parque Recanto Cocaia. The referred neighborhood is situated in the district of Grajaú, in the South zone of the city of São Paulo. Part of the district belongs to the environmental protection area, since it is located on an urban fountainhead, a characteristic that confers specificities regarding the problematics of irregular urban occupations. The starting point for the research was to investigate the demand construction processes for the neighborhood, as well as the strategies to provide visibility of these alongside the State, thus turning them into claims. The backdrop problematic of this research sought to bring to the agenda the maintenance and reproduction of a space where urban occupation is restricted, since it is a fountainhead area. The ethnographic deepening into the Homeowners Association revealed that the claim elaboration process leads its members to participate in several spheres of political action. They take part in social movements, Municipal Health Management Boards and are community leaders in their neighborhood. Thus, I argument that the production of bonds with public actors from other neighborhoods in Grajaú, from some close districts and with public managers from Managing Boards, leads to the strengthening of their political actions. This occurs because such bonds result from a practice whose emphasis is in the relationships developed in the spheres of political action.

Submitted by Verena Pereira (verenagoncalves@uefs.br) on 2018-11-14T23:32:15Z No. of bitstreams: 1 Disserta??o - Dados Astron?micos_Uma proposta de implementa??o para banco de dados - VERSAO DIGITAL.pdf: 12472772 bytes, checksum: 7819133722c393f66647cb47f14700c6 (MD5) / Made available in DSpace on 2018-11-14T23:32:15Z (GMT). No. of bitstreams: 1 Disserta??o - Dados Astron?micos_Uma proposta de implementa??o para banco de dados - VERSAO DIGITAL.pdf: 12472772 bytes, checksum: 7819133722c393f66647cb47f14700c6 (MD5) Previous issue date: 2018-06-21 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / With the advent of computing, the way of doing science has changed circumstantially, revolutionizing scientific research. In astronomy, telescopes now equipped with increasingly modern sensors, produce data quantities never seen before, making it impossible to exhaust all the capacity to extract knowledge from the data produced, thus presenting conditions of reuse by their peers or other purposes. The value of this data to Science lies in its unexplored potential. In this sense, this work shares the philosophy of Virtual Observatories, regarding the reuse of old data. Therefore, this dissertation is about the implementation of procedures and computational techniques that allow to organize and search for images from telescopes. Images that were found were of the exclusive period. With this, studies were developed on data structure, computational tools, algorithms and programming languages that could contribute to the development and resolution of the research problem under analysis / Com advento da Computa??o, a forma de fazer Ci?ncia mudou circunstancialmente, revolucionando a pesquisa cient?fica. Na Astronomia, os telesc?pios agora equipados com sensorescada vez mais modernos, produzem quantidades de dados nunca vista antes, tornando imposs?vel exaurir toda ? capacidade de extra??o de conhecimento dos dados produzidos, apresentando assim, condi??es de reutiliza??o pelos seus pares ou outras finalidades. O valor desses dados para a Ci?ncia est? no seu potencial n?o explorado. Nesse sentido, esse trabalho compartilha da filosofia dos Observat?rios Virtuais,no que tange ? reutiliza??o de dados antigos. Para tanto, essa disserta??o versa sobre a implementa??o de procedimentos e t?cnicas computacionais que permitem organizar e buscar imagens oriundas de telesc?pios. Imagens que se encontram foram do per?odo de exclusividade. Com isso, foram desenvolvidos estudos sobre estrutura de dados, ferramentas computacionais, algoritmos e linguagens de programa??o que pudessem contribuir com o desenvolvimento e resolu??o do problema de pesquisa em an?lise

O objetivo desta tese de mestrado é apresentar e analisar os resultados de cargas térmicas e distribuição de temperatura obtidos a partir da simulação numérica do comportamento térmico do satélite ITASAT (satélite universitário) para os casos críticos de vôo. O ITASAT será o primeiro satélite brasileiro de serviços desenvolvido por universidades. O programa está sendo coordenado pelo Instituto Tecnológico de Aeronáutica (ITA) em conjunto com outras universidades do país, com apoio do Instituto Nacional de Pesquisas Espaciais (INPE) e financiado pela Agência Espacial Brasileira (AEB). Para cumprir esse objetivo, foi utilizada a ferramenta computacional SINDA (System Improved Numerical Differencing Analyser), um software comercial de análise térmica que possui facilidade para aplicações espaciais. Durante a órbita, o satélite sofrerá a influência de cargas térmicas externas (radiação solar, albedo e radiação terrestre), e parâmetros como o tipo de órbita e atitude tem influência direta sobre a intensidade dessas cargas. Associando as cargas térmicas externas às dissipações internas dos equipamentos que compõem o satélite, foi possível obter a distribuição de temperatura prevista para vôo. A geometria utilizada partiu de uma proposta inicial do modelo de satélite, a qual estará sujeita a alterações com o desenvolvimento do projeto. Como os equipamentos que irão compor o ITASAT ainda não foram definidos, neste trabalho o modelo foi implementado com equipamentos de características térmicas, e de potências dissipadas idênticas aos utilizados no satélite de coleta de dados SCD-1 do INPE, lançado em 1993. Este estudo é parte do projeto de controle térmico do satélite ITASAT, e garantirá que as temperaturas limites aceitáveis, máximas e mínimas, para todos os equipamentos possam ser obedecidas, fornecendo assim informações iniciais para a fase de testes que o modelo de vôo do ITASAT será submetido posteriormente. Os resultados apresentados são fisicamente coerentes para satélites em baixa órbita (LEO).

This thesis consists of an extensive study of the Weak Stability Boundary (WSB) concept in low-energy Earth-to-Moon mission design within the mathematical structure provided by the Planar Circular Restricted Three-Body Problem (PCR3BP). By employing the patched three-body approach to approximate the Sun-Earth-Moon-spacecraft system, we examine and characterize the construction of Earth-to-Moon transfer orbits. Then, we focus on the final portion of the transfer trajectories, investigating the WSB algorithmic definition proposed by E. Belbruno. We perform a dynamical characterization of the WSB associated sets generated in the lunar sphere of influence by two implementations of this algorithmic definition, namely, considering the Moon as a punctual mass and as a body with finite radius. In addition, the associated sets are analysed according to relevant criteria established on three-body problem elements in order to clarify their possible applicability in external and internal transfers and to verify the consistency of the algorithmic construction procedure. Finally, we extract the boundary of stability and investigate the structure of the boundary set by characterizing specific stable-unstable transitions. This study identifies various vulnerable aspects of the algorithmic definition concerning the adequate detection of stability regions for ballistic lunar capture, and indicates required corrections to the algorithmic construction.

A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira técnica é o model checking baseado no uso da ferramenta UPPAAL. O UPPAAL adota a modelagem do sistema em autômatos temporizados e permite a verificação de propriedades especificadas em um subconjunto da linguagem CTL (Computational Tree Logic). A segunda técnica consiste especificação e aplicação de testes a partir de modelos de estados, considerando mais especificamente a metodologia CoFI (Conformance and Fault Injection). São utilizados como estudo de caso dois produtos de software espacial. Um dos produtos foi desenvolvido com o uso do model checking, enquanto o outro foi desenvolvido de acordo com as práticas atualmente aplicadas pelo grupo de computador de bordo do Departamento de Eletrônica Aeroespacial do INPE (Instituto Nacional de Pesquisas Espaciais). Ambos os produtos de software foram testados utilizando a metodologia CoFI. Cada produto consiste de uma implementação de dois serviços especificados na norma europeia PUS (Packet Utilization Standard). Estes serviços representam funcionalidades oferecidas por um computador de gerenciamento de bordo de satélites. As principais conclusões obtidas são que a metodologia CoFI contribui para o aprimoramento dos processos de verificação atualmente em uso no INPE, e que, o model checking associado à geração manual do código não implica na ausência de erros, porém ajuda a reduzir o número, mas não a criticidade de erros quando comparado com as práticas atualmente em uso.

Nos últimos anos tem sido constante a busca por novos materiais que possam ser utilizados em propelentes. Buscam-se, entre outras características, materiais mais energéticos, de maior estabilidade térmica e/ou química, menos agressivos ao meio ambiente, de menor custo, de mais fácil manuseio, e que permitam um melhor desempenho de foguetes, mísseis e explosivos. O polímero metil azoteto de glicidila (GAP) corresponde a essa expectativa. A presença de grupos azoteto torna o produto energético, com calor de formação positivo, +975 kJ/kg a 293K. Isto é importante porque o desempenho energético do propelente é proporcional a entalpia de formação dos reagentes. Este trabalho tem como objetivo permitir que nosso país esteja na vanguarda da pesquisa de novos propelentes, buscando possuir capacidade de produção, caracterização e aplicação do GAP em novas formulações. Marca a nossa entrada na pesquisa de componentes para propelentes energéticos. Processos de síntese foram realizados utilizando três diferentes catalisadores em três diferentes proporções e os produtos obtidos foram caracterizados por análise volumétrica (índice de hidroxila) e instrumental (infravermelho e análise térmica). Da amostra que utilizou a relação monômero/catalisador SnCl4 na proporção 20:1, foi repetido o processo de síntese por mais cinco vezes e cada um destes produtos foi submetido às mesmas análises citadas para assegurar que as propriedades eram repetitivas. O GAP obtido foi utilizado em processos de obtenção de poliuretanos com isocianatos, TDI e IPDI, e os corpos de prova resultantes testados para avaliação de propriedades mecânicas. De acordo com as análises efetuadas, podemos afirmar que os processos de obtenção e caracterização do GAP foram atingidos plenamente e que o GAP obtido tem características semelhantes ao produto produzido no exterior.

A inserção do Brasil no competitivo mercado espacial se tornou possível após o domínio do desenvolvimento da tecnologia de foguetes de sondagem alcançada nas décadas de 1970 e 1980, com o projeto Sonda IV. Entretanto, os foguetes de sondagem não permitiam a inserção de satélites em órbita, o que levou o país ao desenvolvimento do Veículo Lançador de Satélite (VLS-1). O Brasil é detentor da melhor localização geográfica para lançamentos comerciais equatoriais, dada a economia de energia alcançada durante os lançamentos. Para atingir plena autonomia na área espacial um país precisa ser detentor de tecnologia na área de produção e lançamento de lançadores, satélites e ter seu campo de lançamento. Assim, este trabalho tem por objetivo o estudo sobre os meios de solo, voltado à fase final de integração no campo de lançamento, para a montagem de veículos de médio e grande porte, englobando a forma de montagem dos mesmos, pré-dimensionamento de prédios e instalações. Explana-se a logística no que se refere a transporte, armazenagem e suprimentos, usada durante a campanha de lançamento para o veículo. Discorre-se sobre o Centro de Lançamento de Alcântara e os veículos de médio e grande porte do Programa Nacional de Atividades Espaciais (PNAE). Aborda-se sobre a interação entre as edificações, para que se possa atingir o sucesso da missão, incluindo requisitos mínimos de segurança durante o lançamento. Comenta-se sobre planejamento e coordenação de campanhas de lançamento de veículo de médio e grande porte. E, finaliza-se, com a apresentação das considerações finais, expondo sugestão para futuros trabalhos e as contribuições deste estudo.