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.

Uma grande revolução tecnológica ocorreu nos últimos anos em diversas áreas relacionadas a ciência da computação. Um dos aspectos que mais influenciou esta revolução foi o armazenamento, o processamento e a análise de grandes quantidades de dados geradas por várias empresas e centros de pesquisas. Com isso, a incorporação de métodos e técnicas estatísticas para a aquisição de conhecimento de dados na área de Aprendizado de Máquina tem apresentado um grande crescimento. O propósito desse trabalho é investigar alguns algoritmos de Aprendizado de Máquina pertencente ao paradigma estatístico para a aquisição de conhecimento a partir de conjuntos de dados. Nessa investigação foram estudados os algoritmos estatísticos Naive Bayes, Auto Class, Auto Class Pro e K-Means. Dois estudos de casos (um conjunto de plantas iris e um conjunto de domicílios de clientes) foram realizados verificando, entre outros, o comportamento desses algoritmos, a relevância dos atributos dos conjuntos de dados e apresentando os clusters encontrados nas ferramentas de visualização. / A technological revolution has been happenning in the last few years in many areas related to computer science. One of the aspects that lias most influenced this revolution is the storage, processing and analysis of large quantities of data generated by vazious companies and research centers. All this has led to the incorporation of statistical methods and techniques for knowledge acquisition in the arca of Machine Learning has shown a large growth. The purpose of this work is to investigate some Machine Learning algorithms that belong to the statistical paradigm for knowledge acquisition from datasets. In this investigation, the statistical algorithms Naive Bayes, Auto Class, Auto Class Pro and K-Means were used. Two case studies (one with a set about iris plants and another with a set about client households) were raade to verify, among other things, the behavior of these algorithms and the relevance of the attributes in the datasets, and to present the clusters found, using visualization tools.

Inferência Bayesiana para pesquisa de mercado incluindo erros de resposta é estudado como uma mistura de duas distribuições de Bernoulli. Como a análise Bayesiana geralmente implica em cálculos complexos, o método de Monte Cano com dados ampliados é desenvolvido para obter os resumos marginais a posteriori. Variáveis latentes foram introduzidas para indicar qual componente da mistura gerou a informação com erro de classificação. Também, um procedimento Bayesiano baseado no conceito de \"p-value\" e na distância de variação total foi introduzida para medir o efeito do erro na distribuição marginal a posteriori. É também realizado, uma comparação entre o modelo misto proposto e o modelo exato introduzido por Gaba e VVinkler com o objetivo de verificar a eficiência da técnica aplicada. Uma ilustração com dados simulados é considerada / Bayesian Inference for market research including answer errors is studied as a mbcture of two Bernoulli distributions. Since a formal Bayesian analysis leads to intractable calculations, a Markov Chain Monte Cano method with data augmentation is developed to obtain the summary and marginal posteriors. Were introduced a latent variables that indicates which component of the mixture gives the information with classification errors. Also, a Bayesian procedure based on the Beyes p-value and the total variation distance to measure the effect of the errors on the marginal posterior distribution. R is also, accomplished a comparison between the proposed mixed model and the exact model introduced by Gaba and Winkler with the objective of verifying the efficiency of the applied technique. An illustration with simulated data is considered.

Apresentamos neste trabalho o uso de meta-análise sob um enfoque Bayesiano. Metaanálise se refere a métodos quantitativos que combinam resultados de estudos independentes para tirar conclusões gerais. Freqüentemente resultados de diferentes estudos são combinados de forma inadequada, resultando em uma análise inferencial não confiável. Métodos Bayesianos para meta-análise são preferíveis em vista do pequeno número de estudos que prevalecem em meta-análise. Para exemplificar o uso desta técnica, utilizamos alguns conjuntos de dados disponíveis na literatura e um conjunto de dados simulado. A análise Bayesiana foi possível devido a utilização de métodos de simulação de Monte Carlo via Cadeias de Markov. / This work is concerned with the use of meta-analysis from a Bayesian point of view. Meta-analysis is a quantitative method combining independent results to obtain global conclusions. Frequently different results are combined unapropriately leading to an unreliable inferential analysis. Bayesian methods for meta-analysis are preferred due to the small number of experiments which are caracteristc of this technique. Sets of data taken from the literature, were used to illustrate the use of the technique, and a simulation set. A Bayesian analysis is made possible through the use of Monte Cano simulation methods via Marcos\' Chains.

Neste trabalho estudamos esquemas numéricos para resolver as formulações de valor de fronteira e de valor inicial para uma frente em movimento. Nosso objetivo é motivar e apresentar esquemas baseados nas relações existentes entre frentes em propagação, equações de Hamilton-Jacobi e leis de conservação hiperbólicas. Quando uma frente inicial evolui no tempo através de uma das formulações hiperbólicas, podem surgir singularidades, cúspides e mudanças em sua topologia e assim faz-se necessário a compreensão das técnicas de discretização de leis de conservação hiperbólicas para a obtenção de esquemas numéricos capazes de tratar e descrever corretamente esses problemas na geometria da frente. A solução numérica das leis de conservação inclui o desenvolvimento de esquemas numéricos capazes de resolver choques, descontinuidades e escolher a solução entrópica entre as muitas soluções fracas existentes. Para isso, analisamos esquemas na forma conservativa com propriedades especiais, tais como, esquemas Upwind, Monótonos, TVD, Entropia, Limitante de fluxo e Limitante de inclinação. Esses esquemas são acompanhados com uma coleção de implementações. Essa teoria pode ser empregada para o rastreainento da interface de escoamentos multifsicos, e uma aplicação futura que estamos interessados é a determinação da fronteira de um domínio a partir de seus pontos interiores para aplicação no simulador de escoamentos multifásicos na área de mecânica de fluidos. / ln this work we study schemes for solving the boundary and initial value formulations of front motion. Our objective is to motivate and present schemes based on the link between evolving fronts, Hamilton-Jacobi equations and hyperbolic conservation laws. When a initial front evolves in time through the hyperbolic formulation, singularities and changes in its topology can ansa, thus making it necessany the comprehension of discretization technics of hyperbolic conservation laws for obtaining nuxnerical schemes capable of resolving shocks, descontinuities and selecting the entropy solution from ali the existent weak solutions. With this purpose in mmd, we analised conservative schemes with special properties, such as, TJpwind, Monotone, TVD, Entropy, Flux-Lim.iter and Siope-Limiter are analysed. These schemes are followed by a coilection of impleinented examples. This theory can be used for tracking the interface of multifase fiows. Future applications that we are interested in include the determination of the boundary of a domain from its interior points for application in a simulator of multifase fiows in the arca of fluid mechanics.

Esta dissertação aborda a solução de modelos de rede de filas para sistemas computacionais distribuídos, através de métodos analíticos e por simulação. Dessa forma, são discutidos detalhadamente os seguintes métodos analíticos: Análise de Valor Médio (AVM), Rede de Jackson, Método de Gordon e Newell, Redes BCMP, Decomposição Hierárquica, Limites de Desempenho e Processo Nascimento-e-Morte. Esses métodos são aplicados em diversos modelos que representam elementos fundamentais de um sistema computacional distribuído. Os modelos considerados abrangem elementos de um sistema computacional distribuído, incluindo servidores de arquivos, rede de comunicação e estações de trabalho. Além dos métodos analíticos, considera-se também a simulação, implementados no Ambiente ASiA, que gera programas de simulação orientados a evento. Os resultados obtidos tanto analiticamente, como por simulação, são apresentados, discutidos e comparados, constatando-se uma equivalência. Esses resultados mostram que os diversos métodos analíticos estudados podem ser empregados com êxito na solução de modelos práticos da área de sistemas computacionais distribuídos. / This MSc dissertation approaches the solution of queuing network models applied to distributed computing systems by means of analytical methods and simulation. The following analytical methods are detailed discussed: Mean-Value Analysis (MVA), Jacicson\'s Networks, Gordon and Newell\'s Method, BCMP Networlcs, Hierarchical Decomposition, Asymptotic Bounds, e Birth-Death Processes. These methods are applied to several models representing fundamental elements of a distributed computing system. The models considered comprise elements of a distributed computing system including file servers, communication network and workstations. Besides analytical methods, simulation is also considered by means of the ASiA, that is an environment generating event-oriented simulation programs. The results obtained both analytically and from simulation are presented, discussed and compared, showing to be equivalent. These results show that the several analytical methods studied can be successfifily used to solve practical models in the distributed computing systems area.

Este trabalho apresenta uma avaliação de desempenhq das plataformas de portabilidade PVM e MPI quando exeCutadas em um sistema computacional distribuído e na máquina paralela D3M SP2. Essa análise é feita através do desenvolvimento de vários algoritmos paralelos de ordenação. São utilizadas quatro implementações do MPI e do PVM: D3M MPI, D3M PVMe (ambas executadas no SP2); MPICH e PVM (ambas executadas no sistema computacional distribuído). Os algoritmos paralelos foram desenvolvidos e os resultados obtidos são usados para estabelecer uma comparação entre os diferentes ambientes e entre os diversos algoritmos de ordenação implementados. Os algoritmos seqüenciais foram também avaliados, permitindo analisar o \"speedup\" para a execução das aplicações paralelas implementadas em cada plataforma. Os resultados globais obtidos tornam possível verificar-se e demonstrar-se (para o ambiente particular considerado) que o PVM apresenta melhor desempenho em ambientes computacionais distribuídos e o MPI se comporta mais adequadamente em arquiteturas paralelas. / This work presents a performance evalualion of the portability platforms PVM and MPI when running on both a distributed computing system and a parallel architecture - the IBM SP2. The evaluation is performed on the implementation of a number of sorting parallel algorithms. Four implementalion of MPI and PVM are considered: the IBM MPI and the IBM PVMe (both running in the SP2); the MPICH and the PVM (both running in a distributed computing system). The parallel algorithms were developed and the results obtained are used to establish a comparison between the different environments and between the severa! sorting algorithms implemented. The sequential algorithms were also analysed allowing the speedup evalualion for the execufion in each environment. The global results obtained make possible to verify and to demonstrate (for the particular environment considered) that the PVM presents better performance in distributed computing environment and the MPI behaves more adequately in parallel architectures.