Durante a década de 90 diversos trabalhos surgiram com o objetivo de investigar a localização de estados quânticos. No contexto da eletrodinâmica quântica de cavidades é possível localizar estados não clássicos de um dado campo externo aplicado ao sistema, uma cavidade preenchida com um material não linear inicialmente preparada no estado de vácuo. Baseado em tal cenário, propomos uma técnica de localização de estados vibracionais de um íon armadilhado. Para isso, considera-se um íon armadilhado em um potencial confinante cujos graus de liberdade vibracionais e os níveis eletrônicos do íon são acoplados por meio de um laser. Uma vez gerada a interação, faz-se uso da técnica de engenharia de reservatórios a fim de obtermos uma equação mestra na qual haja uma dinâmica emissiva e absortiva, ambas artificiais, promovidas por liouvillianos engenheirados, obtidos utilizando o sistema auxiliar (níveis internos do íon). Decorre-se disso uma dinâmica efetiva, já que a emissão espontânea é sempre presente. Sob um certo regime de parâmetros, a competição entre os liouvillianos leva o sistema de interesse para um estado vibracional estacionário caracterizando a localização. A técnica apresentada é mais geral pois mesmo partindo-se de um estado de máxima mistura, a localização é atingida com alta fidelidade em relação ao estado vibracional almejado. O papel exercido pela engenharia de interações para o sucesso da localização é o principal fator motivador deste trabalho. / In the 90s several works arose in order to investigate the localization of quantum states. In the context of quantum electrodynamics of cavities, it is possible to find non-classical states of a given external field applied to the system employing, for instance, a cavity (initially prepared in the vacuum states) filled with a non-linear material. In such scenario, we propose a trapped ion vibrational state localization technique. Consider a trapped ion confined in a potential whose vibrational and electronic degrees of freedom are coupled through two laser fields. Once such interaction is generated, we make use of the reservoir engineering technique in order to obtain a master equation in which there is an artificial dynamics of emission and absorption promoted by engineerined liouvillians obtained by using an auxiliary system (internal ion levels) within an effective dynamics, since the spontaneous emission is always present. Under a certain set of parameters, competition among liouvillians takes the system of interest to a vibrational steady-state featuring localization. The presented technique is interesting because the steady-state is achieved with high fidelity with respect to the desired vibrational state even when starting with highly mixed states. The role presented by the engineered interactions is fundamental for a successful localization and it is the primary motivation of this work.

Um dos problemas mais relevantes em organizações de grande porte é a escolha de locais para instalação de plantas industriais, centros de distribuição ou mesmo pontos comerciais. Esse problema logístico é uma decisão estratégica que pode causar um impacto significativo no custo total do produto comercializado. Existem na literatura diversos trabalhos que abordam esse problema. Assim, o objetivo desse trabalho é analisar o problema da localização de instalações proposto por diferentes autores e definir um modelo que seja o mais adequado possível ao mercado de distribuição de combustíveis no Brasil. Para isso, foi realizada uma análise do fluxo de refino e distribuição praticado neste segmento e da formação do respectivo custo de transporte. Foram consideradas restrições como capacidade de estoque, gama de produtos ofertados e níveis da hierarquia de distribuição. A partir dessa análise, foi definido um modelo matemático aplicado à redução dos custos de frete considerando-se a carga tributária. O modelo matemático foi implementado, em linguagem C, e permite simular o problema. Foram aplicadas técnicas de computação paralela visando reduzir o tempo de execução do algoritmo. Os resultados obtidos com o modelo Single Uncapacited Facility Location Problem (SUFLP) simulado nas duas versões do programa, sequencial e paralela, demonstram ganhos de até 5% em economia de custos e redução do tempo de execução em mais de 50%. / One of the most relevant problems at large organizations is the choice of locations for estabilishing facilities, distribution centers or retail stores. This logistics issue is an strategic decision which may cause signicant impact at the eective cost of the product. There are several papers tackling this issue. The objective of this dissertation is to analyze the Facility Location Problem previously developed by other authors and to dene the most applicable model to the fuel distribution industry in Brazil. It started from the analyzis of the upstream and downstream ow in practice at this segment and from the respective transportation cost formation. Some constraints were considered like stock capacity, multicommodity oer and distribution hierarchy levels so it could be possible to dene a mathematical model applied to freight economy considering the incident taxes. The dissertation also has the objective of creating a program using the C language which could simulate the problem. It were applied parallel computing techniques to reduce runtime of the algorithm. The results obtained from the Single Uncapacited Facility Location Problem (SUFLP) executed in both program versions, sequential and parallel, demonstrate up to 5% of eective costs gain and reduction of more than 50% in execution time.

Submitted by Joana Azevedo (joanad@id.uff.br) on 2017-09-19T18:51:18Z No. of bitstreams: 1 Dissert Ronaldo Granha.pdf: 2400866 bytes, checksum: 2d361aa70f8f0bce35251a9e27d08ce6 (MD5) / Approved for entry into archive by Biblioteca da Escola de Engenharia (bee@ndc.uff.br) on 2017-09-20T12:37:32Z (GMT) No. of bitstreams: 1 Dissert Ronaldo Granha.pdf: 2400866 bytes, checksum: 2d361aa70f8f0bce35251a9e27d08ce6 (MD5) / Made available in DSpace on 2017-09-20T12:37:32Z (GMT). No. of bitstreams: 1 Dissert Ronaldo Granha.pdf: 2400866 bytes, checksum: 2d361aa70f8f0bce35251a9e27d08ce6 (MD5) Previous issue date: 2017-06-24 / O presente estudo investiga o processo de escolha da localização de pontos físicos de atendimento aos beneficiários de seguros de uma organização-alvo, quando da ocorrência de sinistros. O seu propósito é o de identificar um conjunto otimizado de dimensões, critérios, indicadores e aspectos de performance a considerar necessários e suficientes para o apoio à tomada de decisão efetiva sobre a localização de pontos físicos serviços para o atendimento pós-venda. Foi adotado o método de pesquisa qualitativa, baseado em um estudo de caso, compreendendo pesquisas teórica e empírica. A pesquisa teórica envolveu a seleção e a análise de trabalhos acadêmicos sobre o tema, publicados entre 2006 e 2016, com o objetivo de identificar e descrever as dimensões e critérios aplicáveis. A pesquisa empírica foi desenvolvida por meio da identificação e tratamento dos critérios de escolha de pontos de atendimento em uso no mundo real por uma organização-alvo. Como resultado destas pesquisas, foram identificadas e detalhadas as dimensões: estratégica, financeira, público-alvo, ambiente interno, ambiente de negócios, qualidade, acessibilidade e sustentabilidade e seus respectivos critérios de aplicação. Os indicadores e aspectos a considerar correspondentes foram definidos por profissionais do mercado segurador, consultados pelo pesquisador, os quais analisaram as dimensões identificadas. O resultado final do estudo compreendeu um conjunto otimizado de dimensões, indicadores e aspectos, contribuindo, assim, para o incremento da efetividade da tomada de decisão sobre localização de pontos de atendimento pós-venda de seguradoras. / The present study investigates the process of choosing the location of physical points of service to the insurance beneficiaries of a target organization, when the occurrence of claims. Its purpose is to identify an optimized set of dimensions, criteria, indicators and performance aspects to consider necessary and sufficient to support effective decision making on the location of physical points for after-sales service. The qualitative research method was adopted based on a case study, comprising theoretical and empirical research. The theoretical research involved the selection and analysis of academic papers on the subject, published between 2006 and 2016, in order to identify and describe the applicable dimensions and criteria. Empirical research was developed through the identification and treatment of the criteria for choosing service points in real-world use by a target organization. As a result of these surveys, the following dimensions were identified and detailed: strategic, financial, target audience, internal environment, business environment, quality, accessibility and sustainability; And their respective application criteria. The indicators and corresponding aspects to consider were defined by insurance market professionals consulted by the researcher, who analyzed the identified dimensions. The final result of the study comprised an optimized set of dimensions, indicators and aspects, thus contributing to an increase of the effectiveness of decision-making on the location of after-sales service points for insurance companies.

O presente trabalho teve como objetivo definir o rearranjo espacial da capacidade estática de armazenamento de soja no estado do Mato Grosso a partir de um modelo matemático de localização, visando à minimização dos custos logísticos envolvidos no escoamento da produção do grão aos armazéns e desses aos principais portos brasileiros. O instrumental utilizado para tanto foi a programação inteira-mista, considerando que o mercado em questão atua em concorrência perfeita, com oferta (produção) e demanda (exportação) fixas e ausência de diferença tecnológica e de economia de escala nas atividades de armazenamento e transporte. Foi adotado como premissa básica que o transporte dos locais armazenadores aos portos se dará apenas pela logística intermodal (rodo-ferro/hidroviário). Foram elaborados quatro cenários para tal análise, que incorporaram alterações na demanda, na economia de escala dos custos de construção dos armazéns graneleiros e mudanças na seleção dos armazéns para atendimento às exportações. Para todas essas simulações foi considerada a ausência de armazéns graneleiros no Mato Grosso, para comparação dos resultados com a situação da rede armazenadora existente. Os resultados obtidos sinalizaram que há uma tendência para ampliação da capacidade estática de armazenamento, principalmente nas mesorregiões Norte e Nordeste mato-grossenses, em torno de 1,4 milhões de toneladas. As microrregiões de Alto Paraguai (Centro-Sul), Alto Araguaia (Sudeste), Nova Lacerda e Tangará da Serra (Sudoeste) possuem uma defasagem na capacidade de estocagem atual, mostrando-se assim como locais potenciais para receber investimentos na ampliação. Portanto, pode-se concluir que o modelo desenvolvido atendeu ao objetivo do problema que foi de identificar os locais e dimensionar a capacidade de armazenamento para o Mato Grosso, mostrando assim, quais são as regiões que necessitam ampliar seu sistema armazenador. Dessa forma, a expansão planejada do sistema de armazenamento pode contribuir para minimizar as perdas no escoamento da produção, uma vez que o estado está muito distante dos portos. Assim, uma logística intermodal (mais competitiva) integrada com um sistema de armazenamento planejado pode diminuir o custo total envolvido para escoar a produção de soja mato-grossense até os portos. / The current study aimed to define the spatial rearrangement of the static capacity of soybean storage in the state of Mato Grosso, making use of a mathematical model of location, seeking for the reduction of logistic costs involved in transporting the grains production to warehouses and from there to the mains harbors in Brazil. The method used for that purpose was the mixed-integer programming, considering that the market under study is under perfect competition, with fixed supply (production) and demand (exportation) and the absence of a technological difference and of economies of scale in the activities of stocking and transporting. It was adopted as basic premise that the transporting from warehouses to harbors will be done through inter modal logistics (road-railway / waterway). Four scenarios were developed for such analysis, which incorporate changes in demand, economies of scale on costs of building grain warehouses and a change in the choice of the warehouses to meet the demand for exportation. In all of these simulations it was considered the absence of warehouses in Mato Grosso for comparing the results to the system of the existing network of storage. The results obtained signal that there is a tendency to expand the static capacity of storage, specially in the regions of the North or Northeast of Mato Grosso, to 1.4 million tons roughly. The regions of Alto Paraguai (Center-South), Alto Araguaia (Southeast), Nova Lacerda and Tangará da Serra (Southwest) have a current gap in the capacity of storage, showing that they are potential places to receive investments for expansion. Therefore, it can be concluded that the model developed reached the objective of the problem, which was to identify places and to delineate the capacity of storage for the state of Mato Grosso, presenting this way the regions to expand their stocking system. The planned expansion of the system can contribute to minimizing the losses in transporting the production, once the state is located far from the harbors. Thus, an inter modal logistic (more competitive) integrated to a planned system of storage can reduce the total cost involved to transport the soybean production to the harbors.

A complexidade dos sistemas de distribuição é uma característica intrínseca dos mesmos, isso dificulta a aplicação de ferramentas convencionais para localização de faltas, cuja eficiência é determinante para melhoria dos índices de qualidade de energia e serviços prestados por concessionárias de energia. Este trabalho tem o objetivo de apresentar uma abordagem alternativa para a localização de faltas em alimentadores de distribuição aéreos com topologia radial. A proposta consiste no desenvolvimento de um algoritmo de auxílio à decisão para técnicas convencionais de localização de faltas, capaz de reduzir o problema da múltipla estimação. Esta proposta se dá num contexto onde é vislumbrado uma infraestrutura de Smart Grids consolidada. A ferramenta consiste em um pré-processamento de sinais analógicos e extração de parâmetros para posterior uso da técnica DAMICORE (do inglês Data Mining of Code Repositories) a fim de encontrar relações entre os eventos, agrupando aqueles que forem similares, de modo a auxiliar na localização de faltas. O sistema utilizado para a simulação de curtos-circuitos foi o alimentador-teste IEEE 34 barras em que os testes preliminares do algoritmo para este sistema resultaram em uma redução considerável para a múltipla estimação. / The complexity of distribution systems is an intrinsic characteristic from them, making it difficult to apply conventional fault locating methods, whose efficiency is decisive for the improvement of power quality and service indexes provided by the utilities. This work aims to present an alternative approach for fault location in aerial distribution feeders with radial topology. The tool consists of the development of a decision aid algorithm for conventional fault location techniques capable of reducing the multiple estimation problem. This proposal takes place in a context where a Smart Grids-based infrastructure is envisaged. This tool consists of a pre-processing of analog signals and feature extraction for later use of the DAMICORE (Data Mining of Code Repositories) technique to find connections between events, forming groups of similar events, and helping the Fault Location. The system used to simulate short circuits was the IEEE 34 Node Test Feeder and, for this system, the algorithm responded with a significant reduction of multiple estimations.

Os atuais paradigmas dos sistemas elétricos de distribuição buscam melhorias contínuas sob inúmeros aspectos, com destaque para a segurança e a qualidade do fornecimento, as quais constituem metas a serem sempre alcançadas pelas concessionárias do setor. Refletindo-se sobre as ocorrências que degradam simultaneamente ambos os aspectos, constata-se que as faltas fase-terra de alta impedância possuem um destaque diferenciado, pois, em diversas situações, as magnitudes envolvidas com as mesmas são incapazes de sensibilizar os dispositivos relacionados com a proteção do sistema. Assim sendo, os objetivos principais desta tese consistiram em desenvolver ferramentas matemáticas e computacionais dedicadas à identificação, classificação e localização de faltas fase-terra de alta impedância, assim como a estimação de suas prováveis resistências. Mais especificamente, desenvolveu-se a técnica de decomposição em componentes ortogonais para formas de onda de tensão e de corrente, propondo ainda uma metodologia para ajuste estrutural e paramétrico de sistemas fuzzy com a finalidade de integrar as variáveis advindas de tal decomposição. Resultados de simulações baseadas na modelagem de um alimentador real de distribuição são apresentados para demonstrar a eficiência das técnicas desenvolvidas. / The current paradigms of power distribution systems highlight their continuous improvement on several aspects, which safety and supply quality constitute goals to be always reached by the distribution companies. Taking into account the occurrences that degrade both aspects simultaneously, it is verified that the phase-ground faults with high impedance have a differentiated prominence, therefore, in several situations, their magnitudes are unable to sensitize the devices involved with the protection of the system. Thus, the main objectives of this thesis have consisted of developing mathematical and computational tools dedicated to the identification, classification and location of phase-ground faults with high impedance, as well as to estimate their probable resistances. More specifically, it has been developed the decomposition technique in orthogonal components for voltage and current waveforms, as well as proposed a methodology for structural and parametric adjustment of systems fuzzy in order to integrate all variables from such decomposition. Simulation results based on modeling of real distribution feeder are presented to demonstrate the efficiency of the developed techniques.

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-06-22T15:27:44Z No. of bitstreams: 1 Tese- Éfren Lopes de Souza.pdf: 7677745 bytes, checksum: 8fe25c4dfc5ccdc0ef44afb8837bd0e0 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-24T19:29:19Z (GMT) No. of bitstreams: 1 Tese- Éfren Lopes de Souza.pdf: 7677745 bytes, checksum: 8fe25c4dfc5ccdc0ef44afb8837bd0e0 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-24T20:11:47Z (GMT) No. of bitstreams: 1 Tese- Éfren Lopes de Souza.pdf: 7677745 bytes, checksum: 8fe25c4dfc5ccdc0ef44afb8837bd0e0 (MD5) / Made available in DSpace on 2015-06-24T20:11:47Z (GMT). No. of bitstreams: 1 Tese- Éfren Lopes de Souza.pdf: 7677745 bytes, checksum: 8fe25c4dfc5ccdc0ef44afb8837bd0e0 (MD5) Previous issue date: 2014-03-28 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Target tracking in Wireless Sensor Networks (WSNs) is an application in which the nodes cooperate to estimate the position of one or more objects of interest. In this context, the contributions of this work are fourfold. First, a survey the state-of-the-art about target tracking algorithms, in which we identified three formulations of tracking problem, and we classified them according to their characteristics. Furthermore, we divided the target tracking process in components to make the general understanding easier. Second, we propose and evaluate the PRATIQUE algorithm for tracking animals in forests. In this case, the nodes are organized into a grid to make feasible the use of sensor nodes in this kind of area in such a way that each cell of the grid is a region that can be occupied by the target. The algorithm estimates the cell where the target is, and uses predictions and hybrid clustering to reduce the communication cost and ensure the tracking accuracy. The results of the simulations show that prediction errors are approximately one cell. The third contribution is the TATI algorithm, this algorithm guides a tracker to approach the target. The sensor network is organized into faces to make the cooperation among the nodes easier, and reduce the path between the tracker and the target. The results show that energy consumption is reduced by 15%, and the tracker stays about 10m closer to the target, compared to the baseline. The fourth contribution is a scheme for performing localization and tracking tasks simultaneously in such a way that errors of range-based localization algorithms are reduced. This algorithm takes advantage of the messages sent to track the target to filter the noise in the distance estimation, reducing localization errors while tracking. The results show that the localization errors can be reduced by up to 70%. / Rastreamento de alvos em Redes de Sensores Sem Fio (RSSFs) é um tipo de aplicação em que os nós cooperam para estimar a posição de um ou mais objetos de interesse. Nesse contexto, este trabalho possui quatro contribuições. A primeira contribuição é um levantamento bibliográfico do estado-da-arte, em que identificamos três diferentes formulações de rastreamento e as classificamos de acordo com suas características. Além disso, dividimos o processo de rastreamento em componentes para facilitar o entendimento geral. A segunda contribuição é a elaboração e avaliação do algoritmo PRATIQUE para rastrear animais em florestas. Nesse caso, os nós são organizados em grade para viabilizar a utilização dos nós sensores nesse tipo de área, de forma que cada célula da grade é uma região que pode ser ocupada pelo alvo. O algoritmo estima a célula em que o alvo está, e usa previsão e um esquema híbrido de agrupamento para reduzir o custo de comunicação e garantir a precisão do rastreamento. Os resultados das simulações mostram que os erros de previsão são de aproximadamente uma célula. A terceira contribuição é o algoritmo TATI, esse algoritmo guia um objeto que visa alcançar o alvo. A rede é estruturada em faces para facilitar a cooperação entre os nós e reduzir o caminho entre o objeto guiado e o alvo. Os resultados mostram que o consumo de energia é reduzido em 15% e o objeto guiado fica cerca de 10m mais próximo do alvo, se comparado com a abordagem relacionada. A quarta contribuição é um esquema para executar as tarefas de localização e rastreamento simultaneamente para reduzir os erros dos algoritmos de localização baseados em alcance. As mensagens enviadas para rastrear o alvo são aproveitadas para filtrar os ruídos presentes nas estimativas de distância, reduzindo o erro de localização enquanto o rastreamento ocorre. Os resultados mostram que os erros de localização podem ser reduzidos em até 70%.

Depuração é a tarefa de localizar e corrigir defeitos em um programa. Apesar do esforço de pesquisa em depuração, especialmente nos últimos anos, ela ainda é realizada da mesma forma desde a década de 60, quando os primeiros depuradores simbólicos foram introduzidos. Localização de defeitos baseada em cobertura (LDC) é uma técnica de depuração promissora devido ao seu baixo custo de execução. LDC identifica os elementos mais suspeitos de um programa ao classificar linhas, métodos, classes e pacotes com maior valor de suspeição. Recentemente, ferramentas de visualização têm sido propostas para representar os valores de suspeição dos elementos de um programa. Entretanto, nenhuma delas foi introduzida em ambientes industriais e a utilização de depuradores simbólicos ainda é predominante. Nesta dissertação, foi avaliada a eficácia, a eficiência e a usabilidade de duas ferramentas de depuração, chamadas CodeForest e Jaguar, em ambientes reais. Jaguar apresenta os trechos mais suspeitos de um programa em uma lista ordenada por seus valores de suspeição. A CodeForest recebe informações de classes, métodos e blocos (conjunto de instruções executadas em sequência) suspeitos para construir uma floresta de cactus tridimensional representando o programa inspecionado. Na CodeForest, as classes são representadas como cactus, os métodos como galhos e os blocos como espinhos de um galho. Em ambas as ferramentas, os elementos do programa recebem cores que variam de acordo com o seu valor de suspeição. A questão básica respondida ao término deste trabalho é se as informações da depuração quando exibidas em uma metáfora visual melhoram a eficácia, a eficiência e a usabilidade na localização de defeitos. A eficácia e a eficiência foram avaliadas, respectivamente, pela capacidade da ferramenta direcionar o desenvolvedor ao método ou linha do defeito e o tempo necessário para localizá-los. A usabilidade das ferramentas foi avaliada por meio de um questionário baseado no modelo TAM (Technology Acceptance Model). Os resultados obtidos demonstram que a Jaguar foi mais eficaz, eficiente e com maior grau de usabilidade do que a CodeForest; entretanto, o tamanho do efeito estatístico é insignificante para a eficácia e eficiência e baixo para a usabilidade / Debugging is the task of locating and fixing defects in a program. Despite the research effort in debugging, especially in recent years, this task is still carried out in the same way since the 60s when the first symbolic debuggers were introduced. Spectrum-Based Fault Localization (SFL) is a promising debugging technique due to it is relative low execution cost. SFL pinpoints the most suspicious program elements by ranking lines, methods, classes and packages with greater suspicious values. Recently, visualization techniques have been proposed to represent the suspicious values of program elements. However, none of them have been introduced at industrial settings and the use of symbolic debuggers is still prevalent. This dissertation assessed the effectiveness, efficiency and usability of two debugging tools, called and CodeForest and Jaguar, in real environments. Jaguar presents the most suspicious elements of a program in a list sorted by suspicious values. CodeForest receives lists of suspicious classes, methods and blocks (set of statements executed in sequence) to build a three-dimensional cacti forest representing the program inspected. In CodeForest, classes are represented as cacti, methods as branches and blocks as thorns of a branch. In both tools, the program elements receive colors that vary according to the suspicious values. The basic question answered at the end of this research is whether debugging information when displayed as a visual metaphor improve the effectiveness, efficiency and usability during fault localization. The effectiveness and efficiency were assessed, respectively, by the tool\'s ability to direct the developer to the faulty method or line and the time spent to locate them. The tools\' usability was evaluated using the Technology Acceptance Model (TAM). The results show that Jaguar is more effective, efficient and presented greater usability than CodeForest; however, the statistical effect size is insignificant for effectiveness and efficiency and low for usability

Um dos grandes avanços na área da computação nas últimas décadas refere-se aos sistemas distribuídos. O uso de tais sistemas tem crescido vertiginosamente nos últimos anos. Com o surgimento e uso de tecnologias de redes sem-fio, os sistemas ganharam mobilidade e dinamismo. Pessoas podem entrar ou sair de seus locais de trabalho, de entretenimento ou mesmo de suas casas com seus computadores móveis; redes podem ser formadas ou extintas conforme a dinâmica de um grupo de pessoas; e novos serviços podem ser disponibilizados ou interrompidos. Em sistemas como tais, um sistema de localização de serviços automático é fundamental para acompanhar as contínuas modificações na rede. A localização de serviços permite que, em uma rede de endereçamento estático ou dinâmico, dispositivos e serviços possam ser encontrados de modo completamente automático. A presente dissertação propõe um sistema de localização lógica (endereçamento) de serviços e dispositivos em uma rede local ou geograficamente distribuída, indo ao encontro às necessidades de controle de sistemas distribuídos dinâmicos, contribuindo ao mesmo tempo com questões de usabilidade e configuração automática de redes. O sistema, também, busca resolver questões relacionadas ao uso dos serviços entre redes protegidas por firewalls ou que utilizam configurações de NAT. / In the last decades, one of the most important progresses in computation is related to the distributed systems. The usage of these systems has increased a lot, in the last years. Due the emergence of wireless technologies, systems have acquired mobility and dynamism. People can enter or leave places, such as home, workplaces and entertainment spots, caring their mobile computers; networks can be formed or extinguished in accordance with the people dynamism; and new services can be available or interrupted. At these systems, a service location system is needed to keep track of the unceasing modifications in the network. The service location enables that services and devices can be found, at dynamic or static networks. This master thesis proposes a system for location of the logical addresses of services and devices at local or wide area networks. This work contributes to issues related to distributed systems control, usability and automatic network configuration. This system also solves questions related to service usage between networks using firewalls or NAT. Besides that, other points related to network interconnections in distributed systems, for example, using the Internet, are raised and solved.

Este trabalho tem como objetivo principal estudar módulos irredutíveis sobre as álgebras de Kac-Moody afim, conforme [7]. Em particular, a técnica de localização foi aplicada aos módulos de Verma imaginários sobre a álgebra de Lie afim A(1)1, com o objetivo de obter novos módulos irredutíveis sobre essa álgebra. Conforme [8] e [6], é o mesmo que aplicar a técnica de localização à primeira realização de campos livres de A(1)1 .Para cumprir o objetivo, introduzimos as álgebras de Kac-Moody, tendo como foco principal as álgebras de Kac-Moody do tipo afim, conforme [14]. Em seguida, definimos os módulos de Verma,destacando os módulos de Verma imaginários sobre a álgebra de Lie afim A(1)1, conforme [8]. / The main purpose of this work is to study the irreducible modules of affine Kac-Moody algebras,according to [7].In particular, the localization technique was applied to the imaginary Verma modules of affine Lie algebra A(1)1, with the purpose to obtain new irreducible modules of this algebra. According to[8] and [6], it is the same as to apply the localization technique to the first realization of free fields of A(1)1.To achieve the purpose, we introduced the Kac-Moody algebras, having the main focus the af-fine Kac-Moody algebras, according to [14]. Following, we defined the Verma modules, highlighting imaginary Verma modules of affine Lie algebra A(1)1, according to [8].