Este trabalho apresenta um ambiente integrado para simulação de escoamentos bidimensionais incompressíveis com superfícies livres, denominado Freeflow-2D. Este sistema é compostos por quatro módulos: um modelador de moldes e escoamentos - Modflow- 2D, um simulador de escoamentos - Simflow-2D, um visualizador de escoamentos - Visflow- 2D e um reiniciador de escoamentos - Resimflow-2D. A comunicação entre os módulos do sistema é feita por arquivos. O Freeflow-2D implementa o método GENSMAC e foi baseado na estrutura de dados do Freeflow-3D. Os objetos geométricos (fluidos, contêineres, injetores e ejetores) são representados pela estrutura de dados B-Rep (Boundary Representation). Alguns resultados de simulação utilizando este sistema são apresentados e comparados com os do sistema Freeflow. / This work presents an integrated environment for the simulation of the two-dimensional incompressible flows with free surfaces, named Freeflow-2D. This system consist of four modules: a geometric model module - Modflow-2D, a simulation module - Simflow- 2D, a visualization module - Visflow-2D and a restart module - Resimflow-2D. The communication between the modules is made by means of files. The Freeflow-2D employed the GENSMAC method and was based in the data structure of the Freeflow-3D. The geometric objects (fiuids, containers, inflows and outflows) are represented by a B-Rep (Boundary Representation) data structure. Some results of the simulation using this system are presented and compared to the results of the Freeflow system.

Os avatars, ou ferramentas de análise de desempenho de sistemas distribuídos baseadas em tecnologias de realidade virtual, surgem como novas ferramentas de monitoramento e visualização gráfica do comportamento dos sistemas paralelos e distribuídos. Neles o formato de arquivo utilizado é o SDDF (Self-Defining Data Format) que vem se tornando padrão de armazenamento entre as ferramentas baseadas nesta tecnologia. A finalidade desde trabalho é investigar e desenvolver um sistema de captura e rastreamento das operações no formato ODBC (Open Database Connectivity), que ocorrem no ambiente intranet e disponibilizar tais dados no formato especifico, o SDDF possibilitando a visualização em avatars. / The avatars or analyzer of performance toolkits appear as new tools to monitoring and graphics visualization for parallel and distributed systems. They are based on virtual reality technologies. Where, their file formats are SDDF (Self-Defining Data Format), which are becoming a storage standard among these technology-based tools. In this work have been investigated and developed a system that provides the capture and the rastering of aze ODBC (Open Database Connectivity), and these operations occur on intranet environment. The system aini is to disponibilize the collected of information in the SDDF specified formar, becoming able their visualiza tion on avatars.

Independentemente do tipo de manutenção conduzida - conetiva, preventiva, adaptativa ou evolutiva, as atividades de teste de regressão são necessárias para testar as modificações realizadas e as eventuais novas funcionalidades de um programa, e, principalmente, para testar se as funcionalidades já existentes não foram afetadas adversamente pelas modificações. Visando a aplicar o teste de regressão de uma maneira sistemática a um baixo custo e com eficácia, muitas técnicas têm sido propostas na literatura. Essas diversas técnicas são divididas em duas abordagens: retest-all e seletiva. A abordagem retest-ali utili7a todo o conjunto de casos de teste disponível para testar as modificações, enquanto que a abordagem seletiva utiliza um subconjunto dos casos de teste disponíveis para testar as modificações. As técnicas baseadas na abordagem seletiva têm sido muito estudadas, pois visam a diminuir os esforços despendidos no teste de regressão reduzindo o número de casos de teste a serem reexecutados. Diante da diversidade das técnicas seletivas, fazem-se necessários estudos empíricos para avaliar e comparar a aplicação dessas técnicas. Assim, este trabalho visa a aplicar e avaliar empiricamente duas técnicas de teste de regressão que têm se mostrado promissoras: a Técnica baseada em Modificação (Wong et ai., 1997a) e a Técnica baseada em Mutação Seletiva (Wong et 1997b). Para auxiliar nessa avaliação, um framework, proposto por Rothennel e Harrold (1996), é utilizado. Com a realização desses experimentos, espera-se contribuir para o estabelecimento de estratégias de teste de regressão efetivas e de baixo custo. / Independently of the type of maintenance carried out - corrective, preventive, adaptative or perfective, regression testing activities are necessary to test the modifications and the new eventual features, and, mainly, to test if the features existent were not adversely affected by the modifications. Aiming at carrying out the regression testing systematically, with low cost and effecliveness many techniques have been proposed in the literature. The,se techniques are divided into two approaches: retest-all and selective. The rete,st-all approach uses the complete test case set available; meanwhile, the selective approach selects a subset to cany out the regression testing. Many re,searchers have studied the techniques based on the selective approach, since they aim at reducing the efforts during the regression testing reducing the test case set to be reexecuted. As there are several techniques based on selective approach, empirical studies are necessary to evaluate and compare these techniques. Thus, this work aims at evaluating and comparing the application of two pronising regression testing techniques: Tedmique based on Modification and Technique based on Selective Mutation. A fiamework, proposed by Rothennel and Harrold, is used to evaluate these techniques. The accomplislunent of these studies contributes towards the establislunent of effective and low cost regression testing strategies.

Sejam X um campo de vetores linear hiperbólico em Rn, de índice n (ou 0), U um aberto de Rn contendo a origem e f: U → Rn um Cr-difeomorfismo local, r ≥ 1, que manda órbitas de X em U em órbitas de X em Rn, preservando a orientação. Escrevendo U0 = U - , seja U0/ X a variedade diferenciável obtida ao identificar cada órbita de X em U a um ponto. Neste trabalho estudamos a aplicação induzida por f, f : U0 / X → Rn0 / X. Fazemos ainda um estudo mais detalhado para o caso em que n = 2. Esta dissertação é baseada no artigo [1] de C. Camacho e A. Lins Neto. / Let X be a hyperbolic linear vector field on Rn, with index n (or O), U be an open set in Rn containing the origin and f: U → Rn a Cr-diffeomorphism, r ≥ 1, such that f maps orbits of X in U to orbits of X in Rn and preserves the orientation. Denote U0 = U and let U0 / X be the differentiable manifold obtained by identifying each orbit of X in U to a point. In this work we study the map induced by f, f : U0 / X → Rn0 / X. We also study with more detail the case n = 2. This dissertation is based on the paper [1] by C. Camacho and A. Lins Neto.

Este trabalho apresenta o Método para Projeto de Hiperdocumentos para Ensino, ou EHDM (Educational Hyperdocuments Design Method), que proporciona uma abordagem sistemática para apoiar o projeto e desenvolvimento de aplicações hipennídia para ensino. O método utiliza o modelo proposto por Michener e a técnica de mapeamento conceitual para modelar o domínio de conhecimento do hiperdocumento. As três fases que compõem o método modelagem conceitual hierárquica, projeto navegacional de contextos e construção e teste são apresentadas. Uma ferramenta denominada Educational Hyperdocuments Development Tool (EHDT) foi desenvolvida para auxiliar o desenvolvimento de hiperdocumentos para ensino destinados ao sistema SASHE. Essa ferramenta utiliza o EHDM como base metodológica. O EHDT fornece mecanismos para facilitar laços de realimentação rápidos entre as fases do método e para apoiar abordagens de projeto bottom-up e top-down. / This works presents the Educational Hyperdocuments Design Method, or EHDM, which provides a systematic approach to support the design and development of educational hypermedia applications. It uses Michener\'s model and the technique of concept mapping for modeling the knowledge domain. The three phases that comprise the method hierarchical conceptual modeling, contextual navigational design and construction and test are presented. The Educational Hyperdocuments Development Tool (EHDT) was implemented to assist the development of educational hyperdocuments for the system SASHE. This tool uses the EHDM as methodological base. It also provides mechanisrns that to facilitate fast feedback loops between the method phases and support bottom-up and top-down approaches.

Aplicações de Processamento de Língua Natural (PLN), como revisores ortográficos, gramaticais e tradutores, geralmente precisam consultar extensos dicionários contendo, por exemplo, informações morfossintáticas de várias centenas de milhares de palavras de uma língua. Autômatos finitos, largamente utilizados na construção de eficientes analisadores léxicos para compiladores, apresentam-se como ótimos candidatos para o problema de representação desse tipo de léxico de língua natural. Este trabalho investigou os métodos de codificação de léxicos utilizando autômatos finitos, as técnicas de minimização de autômatos determinísticos acíclicos e as estruturas de dados necessárias para uma representação compacta, resultando em um sistema computacional eficiente e versátil de representação de grandes léxicos de língua natural. Um léxico de mais de 430.000 palavras da língua portuguesa pode ser convertido em um autômato de menos de 220Kb, em menos de 5 minutos usando um computador doméstico. / Natural Language Processing (NLP) applications, such as speller and grammar checkers and translation systems, need to search very larga dictionaries which contab.\' morphosyntactical and/or semantic information of severa] hundreds of thousand words of a given language. Finite Automata are often used in efficient scanners for compilers and are also good candidates for representing dictionaries. This work has investigated methods for representing dictionaries using finite automata, techniques for minimizing acyclic deterministic finite automaton, and adequate data structures for a compact representation. The resulting system is able to represent a dictionary of 430,000 Brazilian Portuguese words in a 220Kb automaton, by using a standard home computer and spending less than five minutes.

Redes Neurais Artificiais (RNAs) têm proporcionado uma solução eficiente para uma grande variedade de problemas práticos. Infelizmente, a seleção dos parâmetros ideais para o processo de aprendizado, bem como a escolha da topologia adequada, não são tarefas triviais Geralmente, o processo de escolha do número de parâmetros livres é informal, e as redes são treinadas com diferentes topologias e complexidades até que a de melhor desempenho seja encontrada. Este procedimento nem sempre produz redes de tamanho mínimo, o que em muitos casos inviabiliza a implementação. Nesta dissertação é apresentado um estudo comparativo de diversas técnicas de Pruning, as quais têm como objetivo minimizar a complexidade da rede, sem degradar sua capacidade de generalização. Um grande número de experimentos foi realizado, utilizando diversas técnicas previamente selecionadas. Uma análise dos resultados obtidos é também apresentada, indicando o comportamento das técnicas de Pruning em geral, e identificando as de melhor desempenho. / Artificial Neural Networks offer an efficient solution to a wide variety of practical problems. However, choosing an appropriate topology for an Artificial Neural Network is a difficult task. Generally, the process of choosing the number of free parameters is informal and networks are trained with different complexities and topologies until the one with the best performance be selected. This procedure usually does not generate minimal size networks, which can make their implementation unfeasible. In the present work, a comparative study of Pruning techniques is presented. Such techniques are used to improve the complexity of networks, reducing their size without considerably degrading their generalization ability. A large number of experiments was performed with a set of previously selected techniques. The results were analyzed in order to study the behavior of the Pruning techniques in general, as well as identifying those which provide the best performance.

Este trabalho contribui com questões relativas à integração das tecnologias de Hipermídia e Trabalho Cooperativo Suportado por Computador (Computer Supported Cooperative Work - CSCW), explorando a utilização de hiperdocumentos estruturados no suporte a sessões de trabalho cooperativo. São apresentados conceitos da área de Sistemas Hipermídia Distribuídos e a evolução das linguagens de especificação de hiperdocumentos até a XML (Extensible Markup Language). A área de CSCW é apresentada, com ênfase nas principais funcionalidades encontradas nas aplicações dessa área. Essa pesquisa motivou a proposta da metodologia CSCW-SH (CSCW design based on Structured Hypermedia) a qual, visando auxiliar a construção de aplicações de CSCW, explora hiperdocumentos estruturados para capturar o conteúdo das sessões de trabalho. Essa metodologia foi utilizada para orientar o projeto e a implementação do DocConf, um ambiente de apoio ao trabalho cooperativo ,que, por implementar funcionalidades CSCW como componentes, configura-se como um ambiente extensível e aberto. Para ilustrar a utilização do DocConf, o trabalho apresenta a integração do DocConf ao StudyConf, o qual é um ambiente que apoia a navegação e discussão de hiperdocumentos didáticos. / The work here reported contributes with the issues related to the integration of the Hypermedia and Computer Supported Cooperative Work (CSCW) technologies, exploiting the use of structured hyperdocuments in order to support cooperative working sessions. The background work presented includes concepts from Hypermedia Systems, with focus on markup languages including XML (Extensible Markup Language), and Computer Supported Cooperative Work, with focus on the main functionalities of CSCW applications. This research has motivated the proposal of CSCW-SH (CSCW design based on Structured Hypermedia): a methodology that, aimed at guiding the development of CSCW applications, exploits structured hyperdocuments as a tool to capture session contents. CSCW-SH was used to guide the project and implementation of the DocConf environment that, by implementing CSCW functionalities as components, is an open and extensible environment. The use of DocConf is illustrated by presenting its integration with the StudyConf environment, which supports cooperative discussion sessions associated with user navigation over didactic hyperdocuments.

Este trabalho consiste no desenvolvimento de uma unidade de controle, cuja função é gerenciar vários elementos de processamento que compõem uma arquitetura computacional classificada como arranjo sistólico, com o propósito de solucionar problemas que envolvam sistemas lineares. A partir de uma formulação matemática de alto nível de abstração, estabeleceu-se uma sequência de operações que possibilitou a codificação do modelo matemático em linguagem VHDL. Foram empregadas metodologias e ferramentas avançadas para o projeto de hardware que aceleraram o ciclo de desenvolvimento do projeto, e para a implementação utilizaram-se dispositivos reprogramáveis FPGAs (Field Programmable Gate Arrays). São apresentados resultados numéricos na forma de diagrama de tempo que evidencia o sincronismo da técnica de Pipeline, indicando que a abordagem e a metodologia adotada é viável e eficiente para a solução do problema. / This work presents the development of a unit controller for a computer arquitecture composed of processing elements, which are connected in a ring topology, implementing a systolic array. It has the purpose of solving linear systems using an iterative solution technique. The unit controller was built based on a mathematical formulation which allowed the translation of the mathematical model into a VHDL language. Advanced methodologies and tools for hardware project were employed to accelerate the product development cycle and to implement reprogrammable devices on FPGAs (Field Programmable (iate Arrays). Numerical results are presented using timing diagrams that verify the synchronization of the Pipeline technique showing the feasibility and efficiency of the approach employed and the methodology used for solving the problem.

Nesta dissertação apresentamos com bastante detalhes e exemplos a noção de entropia topológica e razão de crescimento exponencial, bem como relações entre estes conceitos. Baseados nestas noções é definida a entropia de um nó e apresentadas algumas propriedades deste invariante. / In this work we present the notion of topological entropy and the exponential growth rate as well as the relations between these concepts with many details and examples. Based on these notions the entropy of a knot is defined and some properties of this invariant are presented.