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.

O objetivo desta tese é estudar a geometria diferencial plana local de uma hipersuperfície regular M em R4, usando a teoria de singularidades. Esta geometria é obtida através do estudo do contato de M com retas, planos e hiperplanos. O contato com hiperplanos (respectivamente, retas e planos) é medido através das singularidades dos elementos da família de funções altura H : M x S3 → R (respectivamente, família de projeções P M x S3 → R3 e II : M x G(2,4) → R2), onde S3 é a esfera unitária em R4, e G(2,4) é a Grassmaniana de 2-planos em R4. Escrevendo M localmente na forma de Monge w = f(x,y,z) obtemos as condições sobre os coeficientes da expansão de Taylor de f para identificar as singularidades genéricas de Hu , Pu e nu. Estudamos as estruturas dos conjuntos em M de um dado tipo de singularidade, usando a aplicação Monge-Taylor e os teoremas de transversalidade de Thom. Além disso, mostramos que existe uma relação de dualidade entre certos estratos dos conjuntos de bifurcações de H e P, e deduzimos propriedades geométricas sobre estes conjuntos. Estudamos também o comportamento de P em um ponto umbílico plano parcial. A família II é de 4 parâmetros, portanto as singularidades genéricas que ocorrem são aquelas de codimensão ≤ 4. Precisamos então completar a tabela de singularidades dos germes R3, O → R2, O em [45]. Fizemos isso usando o programa \"Transversal\" feito por Neil Kirk [26]. Obtemos critérios geométricos para reconhecer as singularidades de codimensão ≤ 1 e para estabelecer quando II é um desdobramento versal de IIu. / We initiate in this thesis the study of the local flat geometry of smooth hypersurfaces M in R4 using singularity theory. This geometry is obtained by studying the contact of M with lines, planes and hyperplanes. The contact with hyperplanes (respectively, lines and planes) is measured by the singularities of the elements of the family of height functions H: M x S3 → R (respectively, projections to hyperplanes P : M x S3 → R3, and projections to planes II: M x G(2,4) → R2), where S3 is the unit sphere in R4, and G(2,4) is the Grassmanian of 2-planes in R4. We write locally M in Monge form w = f(x, y, z) and obtain the conditions on the coefflcients of the Taylor expansion of f for identifying the generic singularities of Hu, Pu and IIu. We study the local structures of the set of points in M of a given singularity type using the Monge-Taylor map and Thom\'s transversality theorems. We also show that there is a duality relation between some strata of the bifurcation sets of H and P, and deduce geometric properties about these sets. We study in more details the behaviour of P at a partial flat umbilic point. The family II is of 4 parameters, so the generic singularities that occur in IIu are of codimension ≤ 4. Therefore we need to complete the list of singularities of germs R2, O → R2, O given in [45]. We do this using \"Transversal\", a program elaborated by Neil Kirk [26]. We also obtain geometric criteria for recognizing the codimension ≤ 1 singularities of IIu and for establishing when II is a versal unfolding of IIu.

Nesta tese estudamos de maneira sistemática pares de germes de folheações determinadas por 1-formas diferenciais no plano, usando três diferentes técnicas: a teoria de singularidades, o método do blowing up polar e a redução formal. Usando a teoria de singularidades, apresentamos uma classificação suave e completa dos pares de germes de codimensão finita de folheações regulares ou da forma regular/singular-exata no plano e em variedades bidimensionais com bordo regular. Fizemos um estudo geométrico dos pares encontrados nas classificações e associamos invariantes à tais pares. Com o método do blowing up obtivemos um estudo topológico dos pares de folheações regular/singular e singular/singular com singularidades do tipo sela, nó ou foco. Usamos também o método da redução formal para estudar estes casos. Finalmente, estabelecemos um teorema de desingularização de pares de 1-formas diferenciais no plano, análogo aos teoremas de Seidenberg e Dumortier sobre a desingularização de 1-formas diferenciais no plano. / In this thesis we study in a systematic way pairs of germs of foliations defined by differential 1-forms in the plane using three different techniques: singularity theory, polar blowing up and formal reduction. Using singularity theory, we present a smooth and complete classification of pairs of germs of finite codimension of regular and regular/singular exact foliations in the plane and in 2- dimensional manifolds with regular boundary. We investigate the geometry of the classified pairs and associate invariants to them. With the blowing up method we obtain topological models of pairs of singular and regular/ singular foliations in the plane, when the singularity is of type saddle, node or focus. We also study theses cases using the formal reduction technique. Finally, we prove a desingularization theorem for pairs of germs of differential 1-forms in the plane, similar to Seidenberg and Dumortier\'s theorems for 1-form.

Este trabalho considera o problema de dimensionamento de lotes em um sistema de produção multiestágio, onde cada estágio é composto por máquinas paralelas com capacidades limitadas. O problema consiste em determinar um plano de produção que atenda a demanda dos itens finais e de seus componentes em cada período de um horizonte finito de planejamento. Um tempo de preparação é considerado para começar a produção em qualquer máquina e período. O objetivo é determinar um plano de produção que minimize os custos de produção, preparação e de estoque. O problema é formulado como um programa inteiro misto e um método heurístico básico é proposto. A partir deste método básico, algumas heurísticas variantes foram desenvolvidas sendo que, algumas incorporam estratégias de Busca Tabu. A análise computacional foi feita com milhares de exemplos gerados aleatoriamente. Para os exemplos de dimensões pequenas, as soluções heurísticas foram comparadas com as soluções ótimas obtidas pelo pacote CPLEX 4.0. Para os exemplos maiores, os resultados obtidos foram analisados considerando o limitante inferior obtido através da técnica da Relaxação Lagrangiana e do método do subgradiente. Uma proposta de resolução para um problema de dimensionamento e sequenciamento de lotes também é apresentado nesta tese. Este problema é uma extensão do problema de dimensionamento de lotes, pois integra o dimensionamento de lotes e o sequenciamento de itens nas máquinas e períodos. O objetivo consiste em determinar o quanto produzir dos itens, em cada período e máquina e, em que ordem estes itens devem ser produzidos. O procedimento de resolução é baseado no método básico proposto para o problema de dimensionamento de lotes. As seqüências de produção em cada máquina e período podem ser interpretadas como rotas do caixeiro viajante. No apêndice, uma notação matricial é introduzida, permitindo mostrar facilmente a equivalência entre formulações alternativas para o problema de dimensionamento de lotes multiestágio, bem como entre abordagens de solução. / This work addresses the lot-sizing problem in a multistage production system, each stage consisting of parallel machines with finite capacity. This problem lies in the determination of a production plan for the end items and their components in order to satisfy the demand in each period of a finite horizon. A setup time is considered to start production on any machine in a given period. The solution should minimize production, setup and invcntory costs. The problem is formulated as a mixed integer programming model and a basic heuristic method is proposed. From this basic method, a few heuristic approaches were developed, and some of them encompass a short-term memory tabu search. The computational analysis was done with thousands of examples randomly generated. For small instances, the heuristic solutions are compared with optimal solutions obtained by CPLEX 4.0. For larger instances, the quality of the solution is evaluated using a lower bound provided by Lagrangean relaxation. This work also presents an approach to lot sizing and scheduling. This problem is an extension of the lot sizing problem, since it integrates the lot sizing and scheduling of items on machines and periods. The goal is to determine the production plan for all items in each period and machine and in what order these items should be produced. The resolution procedure is based on the basic method for the lot sizing problem. The production sequences in each machine and period can be interpreted as a tour of the traveling salesman. In the appendix, a matrix notation is introduced, allowing to show the equivalence among alternative formulations for the multistage lot sizing problem easily, as well as among different approaches for this problem.

A frente da nappe Andrelândia está sotoposta à nappe Liberdade e cavalga as unidades metapsamíticas do Alóctone Serra da Bandeira, correlato ao Grupo Carancas, na região de Santana do Garambéu-MG. A litoestratigrafia da nappe Andrelândia, bem preservada na Serra de Cataguases e adjacências, compreende da base para o topo: rutilo-estaurolita-cianita-granada-muscovita-biotita xisto porfiroblástico (xisto Rio Capivari); granada-biotita-plagioclásio-quartzo xisto homogêneo (xisto Santo Antônio); rutilo-estaurolita-cianita-granada-biotita-muscovita-plagioclásio-quartzo xisto porfiroblástico com níveis granoblásticos, níveis ricos em muscovita e plagioclásio e lentes métricas de quartzitos (biotita xisto Cataguases), que grada para o topo para quartzito micáceo a muscovita-quartzo xisto (xisto Serra da Boa Vista). A foliação metamórfica principal \'S IND.2\' é desenvolvida essencialmente sob deformação não-coaxial, em fáceis anfibolito e com conspícua lineação mineral (cianita, muscovita, plagioclásio e rutilo) e de estiramento, orientadas preferencialmente para SW (213°/14°). Os indicadores cinemáticos, como sigmoides de quartzo, evidenciam transporte da placa superior para nordeste. A frente da nappe Andrelândia estrutura-se em escama de topo que cavalga sobre megadobramento recumbente e anisopaco, com comprimento de onda (\'lâmbda\') médio de 1000 m por 700 m de amplitude (\'alfa\'), orientado NW-SE, configurando sinformes nas Serras de Cataguases e Santana, separadas por uma antiforme isoclinal. Falhas de cavalgamento para NE e falha normal dúctil de baixo ângulo para W rompem a sinforma recumbente da Serra de Cataguases. O conjunto \'D IND.2\' e \'D IND.3\' é regionalmente deformado por dobramento normal, orientado SW e com dimensões de 1250m de \'lâmbda\'/2 por 250m de \'alfa\'. Estas dobras apresentam geometria cilíndrica, que indica o caráter recumbente do dobramento anterior. A megaestrutura define uma figura de interferência do tipo-2. O geotermômetro Zr in Rutilo sugere um padrão metamórfico invertido para a frente da nappe Andrelândia, com temperaturas de cerca de 702°C para o contato superior com a nappe Liberdade e cerca de 615°C para o contato inferior com o Alóctone Serra da Bandeira, quando comparadas em um horizonte de 10Kbar de pressão. O geotermobarômetro GASP indica condições de pico metamórfico pré-Sn em condições alta pressão, em torno de 649+/-48 °C e 10+/-0,9 kbar na parte central da área. Estudos isotópicos permitiram o estabelecimento da idade máxima de sedimentação para o xisto Santo Antônio em 648Ma, com populações criogenianas (690 e 807Ma) juvenis como contribuições mais expressivas, seguida por diversas populações meso a paleoproterozóicas, com destaque para contribuição juvenil de zircões de 1,5 Ga, exóticos ao cráton do São Francisco. O xisto Serra da Boa Vista apresenta maior população de zircões de 625Ma, com características de bacia tipo flysch, com sedimentação sin-orogênica. O magmatismo básico entre 790 Ma e 670 Ma, o metamorfismo de alta pressão dos segmentos subductados há ~645 Ma e a idade da colisão, situam a evolução do prisma acrescionário em 170 Ma, do Criogeniano médio ao Ediacarano inferior. Assim, os metawackes do xisto Santo Antônio devem representar uma bacia de ante-arco, desenvolvida sobre segmentos do prisma acrescionário de longa duração, 60 Ma, a partir do Criogeniano superior. A idade do metamorfismo de alta pressão do prisma acrescionário, registrada em detritos de zircão na bacia de ante-arco, o vulcanismo cálcio-alcalino juvenil e proximal, e a presença de prováveis olistolitos de rochas básicas, indicam, como a assinatura química dos sedimentos, a evolução da bacia de ante-arco durante um período tectonicamente ativo. / The Andrelândia nappe front is thrusted by Liberdade nappe front, and the entire system is thrusted over Serra da Bandeira Allochton, correlate of Carrancas Group, in the region Santana the Garambéu, southern Minas Gerais State. The lithostratigraphy of Andrelândia nappe, well preserved in Serra dos Cataguases and adjacency, comprehends, from base to top: rutile staurolite kyanite garnet muscovite biotite porfiroblastic schist (Xisto Rio Capivari); garnet-biotite-quartz-plagioclase homogeneous schist (Xisto Santo Antonio); rutile-estaurolita cianita-garnet-biotite-muscovite-plagioclásio-quartz porfiroblastic schist with constant quartzites and granoblastic schist layers (biotita Xisto Cataguases), which grades to a micaceous quartzite to the top (Xisto Serra da Boa Vista). The main structure is a \'S IND.2\' foliation, developed under non-coaxial deformation, with intense stretch mineral lineation (kyanite, muscovite, plagioclase and rutile) preferentially oriented to SW (213°/14°). The kinematic indicators show transport of the upper plate to the Northeast. The Zr in Rutile geothermometer suggested an inverted metamorphic pattern, with temperatures of around 702°C in the vicinity of the Liberdade nappe contact (upper), and about 615°C for the lower contact with the Serra da Bandeira Allochton, when compared in a 10Kbar horizon. The GASP geothermobarometer indicates peak metamorphism in high pressure conditions, with peak of 649 +/- 48°C and 10 +/- 0,9 Kbar in the central part of the area. Isotopic studies allowed the establishment of a maximum age for the sedimentation of Xisto Santo Antonio in about 648 My, with Criogenian juvenile populations (690 and 807 My) as more expressive sedimentary contribution, followed by older meso and Paleoproterozoic populations, with presence of juvenile zircons of 1,5 Gy, exotic to the São Francisco craton. The Serra da Boa Vista schist presents major population of zircons in 625 My, and may represent a flysch basin type, with sin orogenic sedimentation. The mafic magmatism around 790 My and the high pressure metamorphism after ~645 Ma constrained the age of the collision, with a 170 My of acrescionary prism evolution, from middle Criogenian to lower Ediacarian periods.