Nesta dissertação, propomos um algoritmo dual para resolver o problema de roteamento de dados. Este problema pode ser formulado como um problema de multifluxo a critério convexo. Nosso algoritmo explora a decomposição por arcos do lagrangeano. No primeiro capitulo relembramos alguns conceitos, definições e propriedades da teoria dos grafos. No segundo capitulo apresentamos dois métodos para a resolução de problemas de fluxo de custo mínimo com função linear. No terceiro capitulo apresentamos o método do particionamento e o método da decomposição pela atribuição do recurso, que são utilizados para resolver problemas de multifluxo a critério linear. O quarto capitulo é dedicado a apresentação do método Dual para a resolução do problema de roteamento de dados, bem como a análise e apresentação dos resultados computacionais. Na última parte apresentamos a conclusão e perspectivas de trabalhos futuros. / In this thesis we propose a dual method for optimal routing in packetswitched network. The problem of finding optimal routes in a packet-switched network cari be formulated as a nonlinear multicommodity flow problem, In the first part, we recall some concepts, definitions and properties of graph theory. In the second part we present two methods for solving the minimal cost network flow problem. In the third part is devoted to presentation of primal algorithms for solving the linear multicommodity network flow problem. The fourth part deals with optimal routing in packet-switched network. We present in this section a dual method for optimal routing. Experimental results are presented and analysed in this section.

Neste trabalho apresentamos um conjunto completo de geradores dos grupos unitário e ortogonal de um espaço isotrópico sobre um anel local. / The purpose of this work is to present a complete set of generators of the unitary and orthogonal groups of an isotropic space over a local ring.

Esta dissertação apresenta o desenvolvimento de um método para o particionamento de conjuntos através de coloração em grafos. Uma aplicação deste método para a determinação de um horário escolar é igualmente apresentada. O programa computacional desenvolvido foi escrito em linguagem Pascal e testado utilizando-se um microcomputador IBM-PC compatível. Os resultados obtidos são de boa qualidade apesar do caráter não polinomial do problema estudado. / This thesis reports on the development of a method þr cluster analysis using graph colouring. An application of this method on the school timetabling problem is presented. The corresponding program ls written in Pascal and runs on a microcomputer IBM-PC compatible. The results obtained are high standard despite the non polynomial nature of the problem studied.

Nesta dissertação é apresentado um algoritmo de coloração em grafos para o projeto de células de manufatura em Tecnologia de Grupo. O algoritmo proposto computa as dissimilaridades entre as peças e estabelece uma partição de peças e máquinas por meio da construção e coloração de uma árvore de peso máximo em um número de cores igual ao número requerido de células. Este algoritmo permite a resolução eficiente de exemplos da literatura, apesar do caráter não polinomial do problema estudado. O programa correspondente foi escrito em Turbo-Pascal e está implantado em um microcomputador. / In this thesis a graph colouring algorithm is presented for cellular manufacturing design in Group Technology. The proposed algorithm computes dissimilarities between parts and establishes a partition of parts and machines through the construction and colouring of a maximum spanning tree in a number of colours equals to the desired number of cells. This algorithm allows us to solve efficiently some examples of the literature, despite the non-polynomial nature of the problems studied. The corresponding program is written in Turbo-Pascal and runs on a micro-computer.

Nesta dissertação é apresentado um método composto de duas fases para efetuar a seleção de máquinas e o carregamento dos produtos sobre as máquinas selecionadas. Na primeira fase é identificado um conjunto de soluções factíveis de um problema da mochila através de programação dinâmica ou de um procedimento heurístico. Na segunda fase, resolve-se um problema de atribuição usando o algoritmo de enumeração implícita ou o algoritmo guloso. O método proposto foi implementado em linguagem Turbo-Pascal 7.0. / In this thesis a two phase method is presented for selection of machines to be kept on the shop floor and assignment of parts to be manufactured to ttrese machines. In the first phase a set of feasible solutions to a knapsack problem is identified by dynamic programming or a heuristic procedure. In the second phase an assignment problem is solved by implicit enumeration technique or a greedy algorithm. The proposed method is wriuen in Turbo-Pascal 7.0.

Seja X um fibrado diferenciável com fibra típica o toro Tn sobre urna variedade compacta e conexa Mm. Como as órbitas compactas de urna ação localmente livre de Rn são toros, é natural perguntar se existe uma ação localmente livre de Rn em X com órbitas iguais as fibras. No artigo original [23], Nicolau Saldanha estudou este problema e apresentou condições necessárias e suficientes para a existência de uma tal ação. Ele também demonstrou que a desejada ação existe se X e M são orientáveis, n ≤ 2 e m ≤ 2 mas pode não existir se qualquer urna destas três hipóteses é retirada. Este artigo é o objeto do nosso estudo. Aqui, apresentamos urna detalhada exposição dos conteúdos deste artigo. / Let X be a smooth fibre bundle with typical fibre the torus Tn over a smooth compact connected manifold Mm. Since the compact orbits of an locally free action of Rn are tori it is natural to ask if there exists a smooth locally free action of Rn over X with orbits equal to the fibres. In the original paper [23], Nicolau Saldanha studied this problem and gave necessary and sufficient conditions for the existence of such an action. He also proved that the desired action exists if X and M are orientable, n ≤ 2 and m ≤ 2 but may not exist if any of this three conditions is dropped. This paper was the object of our study. Here, we make a detailed exposition of the contents of this paper.

O estudo de excitons livres é realizado de modo adequado por uma simples aproximação hidrogenóide, mas, quando estão ligados a imperfeições torna-se necessário uma aproximação matemática mais sofisticada. Neste trabalho, o sistema de três corpos éxciton-impureza é analisado pelo método das coordenadas hiperesféricas na aproximação adiabática, introduzindo este método em problemas de física do estado sólido. Entre os resultados obtidos estão valores precisos de energia de ligação para estados fundamentais e a predição de ressonâncias / The study of free excitons can be adequately performed through a simple hydrogenoide approximation, but, when they are linked to impurities a more sophisticated mathematical approach is required. In this work, the exciton-impurity three body systems is analyzed with the method of the hyperspheric coordinates in the adiabatic approach, introducing this method to solid state physical problems. Included in obtained results are precise values for the bonding energy for the ground state and the prediction of resonances

Uma análise do oscilador de Morse na presença de um campo de radiação periódico é apresentada no presente trabalho. São mostradas três técnicas distintas para a obtenção da evolução corporal deste sistema, a primeira consiste em expandir a função de onda diretamente na base do hamiltoniano não perturbado, cuja funções são conhecidas, a segunda é uma generalização deste método em que é incorporado na equação de Schrödinger informações a cerca da interação do campo de radiação com o oscilador, e na ultima apresentamos um método cuja solução possui um alto grau de analiticidade, onde um conjunto de equações recorrentes fornecem a evolução do sistema. Finalmente realizamos uma comparação da teoria quântica com a teoria clássica deste sistema, para o qual encontramos uma boa concordância na energia absorvida em função do tempo para determinados regimes / Not available

O planejamento da operação de sistemas hidrotérmicos mostra-se de grande interesse no Brasil, onde cerca de 90 % da energia elétrica é de geração hidráulica. Sendo assim, torna-se importante operar da melhor forma possível para minimizar o custo térmico e evitar vertimentos indesejados e outros tipos de perdas de energia hidroelétrica. Esta dissertação considera o problema de planejamento a longo prazo da operação de um sistema hidrotermico e sua formulação. Para se obter a solução de tal problema apresenta-se o Modelo Equivalente Certo (EC), que utiliza uma técnica de otimização determinística acoplada a um modelo de previsão de vazões com atualização em tempo real (base mensal). São realizadas comparações entre as soluções obtidas por esta abordagem e por Programação Dinâmica Estocástica (PDE), considerando-se várias usinas do Sistema Sudeste Brasileiro, individualmente, e simulando-se a operação destas usinas para períodos de 2 anos do histórico de vazões. Os resultados obtidos mostram que a abordagem proposta consegue tratar as incertezas das vazões, no horizonte de planejamento de longo prazo, com a mesma potencialidade da PDE. Além disso, o Modelo Equivalente Certo não exige simplificações, tais como o uso do reservatório equivalente, para tratar sistemas com múltiplas usinas. / The planning of operation of hydro-thermal power systems is of great interest in Brazil, where about 90 % of all eleetricity is hydraulic-generated. Therefore, it is important to run those power systems as efficiently as possible, minimizing thermal costa, avoiding undesirable water losses and other types of undesirable losses of hidro-electric energy. This work deals with the problem of long term operation planning of a hidro-thermal power system and its mathematical modeling. The Certainty Equivalent Model (CE) is introduced to get the solution of the problem. This approach uses a deterministic optimization technique compled with an inflow forecastting model in open-loop feedback framework in monthly basis. This work compares the solutions obtained by this approach and Stochastic Dynamic Progamming (SDP), considcring single plants of the Southeast Brazilian Power System and simulating the operation along period of 2 years under the historical inflow. Resulta obtained show that the proposed solution technique can handle uncertainty as effectively as SDP. Furthermore, it does not require modeling simplffication, such as composite reservoirs, to deal with multi-hydro plant systems.

Este trabalho propõe um processo de desenvolvimento de software orientado a objetos que utiliza a notação da Unified Modeling Language (UML). Para cada fase do ciclo de vida de um software são apresentados os diagramas que auxiliam na organização das informações referentes ao software a ser desenvolvido e as diretrizes de uso desses diagramas. O processo utiliza conceitos e princípios utilizados em alguns métodos orientado a objetos, como por exemplo, o Fusion, o Objectory e o TeamFusion. O processo introduz uma abordagem de teste que fornece diretrizes para a geração de modelos de teste ao longo do desenvolvimento do software. Para cada fase são identificadas técnicas e critérios de teste passíveis de aplicação, sendo que para cada fase indica-se um critério de teste visando a cobertura dos requisitos mínimos de teste para garantir que o produto desenvolvido seja confiável. Para ilustrar o emprego do processo foi realizado um estudo de caso com o Sistema de Apoio à Escrita - SAPES, para gerenciamento das informações relativas às publicações de um pesquisador. A partir de um modelo de requisitos é feita toda a modelagem do SAPES, desde a fase de engenharia de requisitos até a fase de implementação. Somente parte do sistema foi implementada. A abordagem de teste foi aplicada para produzir os modelos de teste que foram utilizados para avaliar a confiabilidade do software obtido com a utilização do processo. / This work proposes an object-oriented software development process that employs the UML notation. Diagrams and guidelines for their use are presented for the each phase of the software life cycle. This process is defined combining concepts used in some existing object-oriented methods, like Fusion, Objectory and TeamFusion. The process also introduces an approach for testing that provides guidelines for the generation of test models during software development. For each development phase we identify applicable test techniques and criteria. A test criterion that covers the minimum test requirements is recommended to obtain a reliable final product. To illustrate the process development we use a case study based on a system called SAPES (Sistema de Apoio à Escrita) that manages information on researcher\'s publications. Taking a requirements document as the starting point, the whole modeling of SAPES was developed, from Requirements Engineering to Implementation. The system was implemented partially. The test approach was applied to produce test models that allowed the evaluation of the final product reliability.