Um ambiente para provimento de dados multimídia sobre uma rede de computadores, apresenta vários limitantes, sendo o principal deles, a taxa de transmissão de dados na entrega de vídeo. Para contornar os problemas oriundos da precariedade dos protocolos TCP/IP e Ethernet para a transmissão de mídia contínua, nota-se o aparecimento de várias tecnologias que possibilitam o uso de um sistema de armazenamento remoto de vídeo e sua apresentação local com razoável qualidade sem a utilização de sincronismo durante o processo, através de técnicas de streaming de vídeo. Este trabalho procura avaliar como podem ser balanceados o desempenho do servidor com o desempenho das tecnologias de rede disponíveis no mercado (Ethernet, Switched-Ethernet, Fast Ethernet e FDDI) e a distribuição e apresentação de vídeos utilizando técnicas de downloading e streaming, de modo que o usuário possa ter uma idéia de como especificar seu ambiente à partir de um determinado perfil de aplicação. Os testes realizados através das aplicações desenvolvidas mostram que é perfeitamente possível a implementação de sistema de distribuição de vídeo via tecnologias padrão de rede utilizadas correntemente. A utilização das técnicas de downloading de vídeo, torna-se inviável para a distribuição de grandes arquivos ou em ambientes onde a quantidade de usuários é grande, devido ao tempo de transmissão do arquivo as estações. O trabalho quantifica estas observações e abre caminho para que avaliações mais finas de performance possam ser feitas. / Environments providing infrastructure for distribution of multimedia over computer networks have various limitations. One of the main problems is the video delivery. The tests made in this project have shown that it is possible to implement a video distribution system using standard network technologies. To avoid the problems which arise from the unsuitability of TCP/IP and Ethernet protocols for continuous media transmission, various technologies have been created. With these technologies, it is possible to store and provide video for remote access with reasonable quality without synchronization control during this process, using streaming video techniques. The use of video downloading techniques is not appropriated when we are dealing with large files or in a heavily loaded network due to transmission delays. This work evaluates how to balance the performance of the server in relation to the performance of the network technologies commercially available (Ethernet, Switched-Ethernet, Fast Ethernet and FDDI). It also evaluates the video distribution and presentation using downloading and streaming techniques. The results will help users to specify their network environments for specific types of applications. The work quantifies these observations and opens perspectives to do more focused evaluations of performance.

Este trabalho aborda a utilização da técnica de mapeamento por cores no contexto da Visualização Científica. É apresentada uma revisão bibliográfica sobre percepção visual de cores e um estudo de abordagens que buscam apoiar o usuário no processo de geração de visualizações. A abordagem de visualização baseada em regras, que prevê a utilização de regras heurísticas que embutem conhecimentos sobre percepção visual de cores e informações relativas aos dados e aos objetivos do usuário ao gerar a visualização, é discutida. Nessa abordagem, as regras restringem o conjunto de mapeamentos gerados para uma visualização, de forma a garantir resultados mais efetivos, sendo que essa abordagem foi implementada na forma de um módulo de apoio à geração de tabelas de cores. Esse módulo restringe o número de cores que podem compor uma tabela e o comportamento das mesmas ao longo da tabela, a partir das informações obtidas sobre a freqüência espacial, a natureza dos dados, e a tarefa de visualização, segundo uma taxonomia baseada em conhecimentos sobre percepção visual de cores proposta na literatura. Alguns resultados obtidos com a aplicação das diferentes tabelas de cores geradas pelo módulo são apresentados. / This work is concerned with the application of color mapping in the context of Scientific Visualization. It contains a study of color perception issues and a review of the visualization design process and of approaches discussed in the literature for supporting the users in the task of generating effective visualizations. The rule-based visualization approach, that relies on visual perception and information about the nature of the dataset and the user goals when generating visualizations is discussed. The mies restrict the set of attribute mappings available for a particular visualization to ensure the generation of effective visualizations. In this work, this approach was implemented for the particular case of the color mapping technique, in the form of a module to support the generation of color lookup tables. It restricts the set of colors in a table and their behavior according to information obtained about the data frequency distribution, data type and visualization task, according to a taxonomy based on color perception proposed in the literature.

Neste trabalho apresentamos uma análise Bayesiana para modelos de sobrevivência e de contagem com pontos de mudança, assumindo diferentes densidades a priori e métodos computacionais para obter as inferências a posteriori de interesse. Em particular, destacamos o método de Laplace e métodos de simulação de Monte Cano em cadeias de Markov. Além disso introduzimos um critério de seleção de modelos Bayesiano. Ilustramos a metodologia proposta em alguns exemplos numéricos. / In this work we present a Bayesian analysis for survival and counting models with change-points, assuming different prior densities and computational methods to obtain the posterior summaries of interest. In special, we consider Laplace\'s method and Monte Cano Markov chain methods. We also introduce some Bayesian criteria to discriminate the proposed models. We illustrate the proposed methodology with some numerical examples.

Este trabalho propõe um modelo estocástico em conjunto com conceitos de análise de confiabilidade. Nestes modelos, a afluência que atinge o reservatório durante uma cheia é considerada como uma carga, e a capacidade do reservatório para amortecer esta cheia é considerada como uma resistência que o reservatório oferece à sua propagação. Aqui, a carga e a resistência são modeladas como processo do tipo difusão, e utili7a-se a fórmula de Itô para calcular o volume de espera associado a um determinado risco de falha A inferência dos parâmetros do modelo é feita por meio de inferência bayesiana usando-se o algoritmo de simulação de Monte Carlo em cadeias de Markov. Os estimadores de máxima verossimilhança são usados para comparação. O método foi aplicado para um conjunto de dados utilizando-se nove anos de vazões afluentes diárias em período de cheia que chegam à usina de Xavantes. O volume de espera foi calculado pelo método proposto, usando-se descarga de referência constante, e comparado com os volumes obtidos por outros métodos existentes. O método da curva volume x duração deixa um volume de espera constante durante todo o período chuvoso, usando-se somente 83,6% da capacidade do reservatório. O método proposto faz uma alocação dinâmica do volume de espera, utilizando-se 96.5% e 95.3% da capacidade do reservatório quando a abordagem bayesiana e o método de máxima verossimilhança são adotados, respectivamente. Dentre os métodos propostos, o método bayesiano mostrou-se mais vantajoso em relação ao desperdício de energia devido à utilinção da capacidade do reservatório. O método das trajetórias críticas necessita de séries com um comprimento significativo de vazões diárias, e na prática só pode ser aplicado com séries sintéticas de vazões. / This work proposes a stochastic model together with the concepts of reliability analysis. In these models, the inflow that reaches the reservoir during the flood is considered as a load, and the capacity of the reservoir for deaden this flood is considered as a resistance that the reservoir offers to its spreading. Here, the load and the resistance are modelled like a diffusion process, and it is used the 11(3 formula to calculate the waiting volume associate with a fali risk. The inference of the parameter of the model is done by Bayesian inference using the MCMC. The estimates of the maximum likelihood are used to compare. The method was applied together with the date record of mine year of daily streamflow during the period of the flood that come to Xavantes Power Station. The wait volume was calculated by the proposed method, using the discharge of the constant reference, and comparing with the volumes obtained through other existing methods. The curve volume x duration, leave a constant wait volume during the whole wet period, using onty 83.6% of the reservoir capacity. The method proposed does a dinamic allocation of the wait volume, using 96.5% and 95.3% of the capacity from the reservoir when the Bayesian approach and the maximum likelihood method are adopted, respectively. Within the proposed methods, the Bayesian method showed to be with more advantageons in relation to the waste of the energy due to the urilization of the reservoir capacity. The method of the critical trajectories need some series with the significant lenght of the daily discharge, in practive this only can applied with synthetic streamflow series.

PARA sistematizar os testes e contornar as restrições de tempo e custo a ele associadas, diversas técnicas, critérios e ferramentas têm sido desenvolvidas. Além disso, visando ao estabelecimento de uma estratégia de teste que apresente baixo custo de aplicação e alta eficácia em revelar a presença de erros, estudos teóricos e empíricos vêm sendo conduzidos pela comunidade de teste. Os critérios de teste, Análise de Mutantes e Mutação de Interface, apresentam problemas de custo relacionados ao grande número de mutantes gerados e equivalentes, sendo de fundamental importância o desenvolvimento de abordagens que viabilizem a sua aplicação prática. O presente trabalho está inserido nesse contexto e tem como objetivo analisar os operadores de mutação implementados nas ferramentas Proteum e PROTEUM/IM, que apoiam a aplicação dos critérios Análise de Mutantes e Mutação de Interface, respectivamente, levando em consideração não só o número de mutantes gerados mas também o esforço requerido na identificação e eliminação de mutantes equivalentes e mutantes que morrem facilmente. Tal análise permitiu a determinação de heurísticas para eliminação de mutantes equivalentes e o estabelecimento de estratégias incrementais para aplicação dos operadores de mutação, reduzindo com isso o custo do teste em nível de unidade e de integração sem comprometer sua qualidade e contribuindo para a evolução dessas ferramentas para a sua aplicação em ambientes industriais de produção de software. / TO systematize testing and to outline the constraints of time and cost associated to testing activity, several techniques, criteria and tools have been developed. Besides, aiming at establishing testing strategies of low cost and high effectiveness in revealing the presence of errors, theoretical and empirical studies have been carried out by the testing community. Testing criteria such as, Mutation Analysis and Interface Mutation, present cost problems related to the large number of mutants and equivalency, being of fundamental importance the development of approaches to make possible their practical application. In this context, the present work aims at analyzing the mutant operators implemented in the Proteum and PROTEUM/IM tools, that support the application of the Mutation Analysis and Interface Mutation, respectively, considering not only the number of generated mutants but also the effort required in the identification and elimination of equivalent mutants and mutants that die easily. Such analysis allowed the determination of heuristics for elimination of equivalent mutants and the development of incremental strategies to apply mutant operators, reducing the cost of unit and integration testing without compromising quality. This work might also contribute to the evolution of these testing tools and to their application in software production industrial environments.

A otimização linear tem sido objeto de estudo desde a publicação do método simplex em 1947, o qual vem sendo utilizado na prática com relativa eficiência. Com isso, inúmeras variantes deste método surgiram na tentativa de se obter métodos mais eficientes, além de várias implementações objetivando a resolução de problemas de grande porte. Os problemas de otimização linear canalizados e esparsos, objeto principal deste trabalho, são problemas de grande interesse prático, pois representam vários problemas reais, como por exemplo, problemas da programação da produção, problemas de mistura e muitos outros. O método dual simplex canalizado com busca linear por partes é um método do tipo simplex especializado para os problemas de otimização linear canalizados e será detalhado neste trabalho. Experiências computacionais foram realizadas para algumas classes de problemas de otimização linear com o objetivo de analisar o desempenho deste método, o qual foi implementado com algumas heurísticas de pivoteamento e formas de atualização da matriz básica para tentar manter a esparsidade presente e reduzir o tempo de resolução dos problemas. / Linear optimization has been studied since 1947 when the simplex method was published by George Dantzig, and ií is still successlully used in practice. A number of varianls to the simplex method have been proposed trying to obtain better efficiency. In addition, various implementations have been proposed to deal with large scale problems. Two-side constraints and sparse linear optimization problems, the main object of this work, are of great interest in practice, since they represent a number of real problems, such as, production planning problems. mix problems and others. This work presents a simplex-typed method, named two-side constraint dual simplex method with piecewise linear search. This method was implemented together with some heuristics to handle sparsity and run to solve a set of linear optimization problems in order to analyse their computational performance.

Neste trabalho abordamos o problema de classificação de conjuntos singulares sob o ponto de vista métrico. Como resultado principal, apresentamos um teorema de classificação de germes de curvas complexas, munidos da métrica euclidina induzida, módulo homeomorfismos bi-Lipschitz. A estratégia usada para a obtenção deste resultado foi o estudo do contato de arcos reais convenientes nessas curvas. / In this work we approach the problem of classification of singular sets under the metric viewpoint. As the main result, we present a theorem of classification of germs of complex curves, equipped with the induced Euclidean metric, module bi-Lipschitz homeomorphisms. The used strategy for the attainment of this result was the study of the contact of convenient real arcs in these curves.

Sistemas baseados na captura de experiências ao vivo têm sido investigados em diversos contextos. O presente trabalho teve como objetivo investigar mecanismos para a captura de informação multimídia em ambientes de reuniões de modo a permitir a geração de documentos hipermídia associados na World Wide Web. O foco do trabalho é na captura e no acesso à informação multimídia associada a reuniões distribuídas síncronas. A investigação resultou no levantamento de requisitos necessários para a construção de uma ferramenta instrumentada para capturar informação multimídia associada; no levantamento das limitações existentes para a implementação da ferramenta; na modelagem e na implementação de uma ferramenta, eMeet/InCA, que atende aos requisitos levantados, consideradas as limitações identificadas. / Computing systems based on the capture of live experiences have been investigated in several contexts. This work aimed at investigating mechanisms for capturing multimédia information in meeting environments so as to allow the generation of multimédia enhanced hyperdocuments in the World Wide Web. The focus of the work has been in the capture and access of multimédia information associated to synchronous distributed meetings. The results include: investigation of the requirements demanded from an application instrumented to automatically capture multimédia information in the distributed meetings domain; investigation of the current limitations imposed when such an application is implemented; modeling and implementation of the eMeet/InCA application that, given the limitations discussed, attend the requirements.

Muitas de nossas experiências cotidianas são apoiadas pela troca de informações a. qual pode ser capturada de modo a suportar a geração automática de hiperdocumentos que correspondem às experiências capturadas. O Projeto eClass do Geórgia Institute of Technology utiliza computação ubíqua para a captura de informações em ambientes de sala de aula a fim de permitir a produção automática de documentos hipermídia que refletem o conteúdo capturado. Ambientes como os do Projeto eClass permitem a autoria automática de ligações liipertexto a partir da interação do usuário com o ambiente ubíquo. Serviços de criação automática de ligações entre repositórios Web podem explorar técnica, de Recuperação de Informação, como demonstram trabalhos que veem sendo desenvolvidos pelo grupo de pesquisa no qual este trabalho está inserido. No entanto, tais técnicas normalmente permitem a identificação de ligações que não deveriam ser geradas (ligações imprecisas), ao mesmo tempo que não permitem identificar todas as ligações que deveriam ter sido geradas (ligações relevantes). Esses fatos motivaram o trabalho apresentado, que tem como objetivo aprimorar a precisão dos resultados obtidos pelos serviços de criação automática de ligações e. consequentemente, aproximar as ligações criadas àquelas esperadas pelos usuários. Para alcançar esse objetivo. foram utilizadas abordagens de Recuperação de Informação e de Sistemas Hipermídia Abertos para armazenamento das ligações criadas. Através das investigações, foi possível a verificação e a seleção de informações que representam melhor o conteúdo das coleções de informações manipuladas no sentido de prover ligações mais precisas. Como resultado, foram definidos procedimentos, que deram origem a um serviço configurável de criação automática de ligações. / Many everyday experiences aro based on lhe exchange of information which can be captured to support the automatic generation of multimédia hyperdocument.s corresponding to those experientes. The eClass Project, developed at. the Geórgia Inslitute of Technology, exploit s ubiquitous computing technologies to capture information in classrooms towards allowing the automatic generation of hypermedia documents corresponding to live lectures. Such environments allow the automatic generation of hypertext. links from the interaction between users and their ubiquitous computing environments. When the documents generated are made available in the Web, there is a, demand for services that support. the automatic indentification of hypertext links among the documents themselves or among those documents and other web-based material; such services can make use of Information Retrieval techniques. However. Information Retrieval techniques usually lead to the identification of relationships that should not have been generated (generating non-relevant links) at the same time that fail to identify ali relevant relationships (poor recall). The aim of this work is to build upon automatic linking services in order to further investigate information retrieval techniques towards improving the quality of the relationships identified. The investigations have used a collection of documents from online Brazilian Newspapers and t.he Cvstic Fibrosis Collection. The relationships identified have been used to generate links among t.he repositories investigated, while the links have been stored in an open hypermedia. linkbase to allow their use by any applications. The positive results of the investigations have defined the requirenients for a configurable automatic linking service made available as a contribuition of this work.

O Paraguai Oriental está localizado numa área que geologicamente representa a borda oeste da Bacia do Paraná. Os sedimentos e a estratigrafia são muito similares aos do lado brasileiro da bacia, principalmente os da região sul do Paraguai Oriental. Tal como ocorre com o lado brasileiro, a área pesquisada experimentou a sua individualização, como bacia. a partir do Pré-Cambriano Superior ao Eopaleozóico, intervalo representado pelo Grupo Itapucumi, da Região Norte, de provável idade cambriana. A seguir, depositaram-se os sedimentos dos grupos Caacupé e Itacurubi, que representam uma exceção dentro da bacia do Paraná, pois não são encontrados depósitos correlacionáveis no lado brasileiro. Estragraficamente, seguem-se-lhes os sedimentos que constituem o Grupo Cerro Cora e as formações San Miguel e Independênca. As condições desérticas afetaram também a área estudada, imprimindo as suas características quando da deposição da Foemação Misiones. O magmatismo wealdeniano, qua afetou a Bacia do Paraná, está representado no Paraguai Oriental pela Formação Alto Paraná. Constata-se, pelo acima mencionado, que existem muitas semelhanças geológicas entre a área estudada (Paraguai Oriental) e o lado brasileiro daBAcia do Paraná. Porém, talvez o fato de situar-se na borda da bacia propiciou uma maior intensidade tectônica, exemplificada pelas sucessivas reativações do Arco Central Paragauio, qua bordeja o lado oeste da região e foi o responsável pela diferença geológica observada entre as regiões Norte e Sul da área estudada. / Eastern Paraguay is situated in an area which, in geological terms, represents the western border of the Paraná Basin. The sediments and stratigraphy are very similar to those from the Brazilian side of the basin, principally those from the Southern region of Eastern Paraguay. Similarly to the Brazilian side the investigated area underwent individualization as basin from the Upper Precambrian to the Eopalaeozoic, on an interval represented by the Itapucumi Group of the Northern Region, probably of Cambrian age. Following this, the sediments of the Caacupé and Itacurubi group were deposited, which represent an exception in the Paraná Basin, as no correlationable deposits are found on the Brazilian side. They are followed in the stratigraphy by the sediments which compose the Cerro Corá Group and the San Miguel and Independencia formations. Desert conditions also affected the investigated region, imprinting their characteristics during the deposition of the Misiones Formation. The wealdenian magmatism, which affected the Paraná Basin in Eastern Paraguay is represented by the Alto Paraná Formation. It can be established from the above mentioned that there are many geological similarities between the investigated region (Eastern Paraguay) and the Brazilian side of the Paraná Basin. However, perhaps due to its position at the margin of the basin, it was submitted to a large amount of tectonic activity, exemplified by the successive reactivations of the Central Paraguaian Arch, which borders the western side of the region and was responsible for the geological difference observed between the North and South regions of the investigated area.