Esta dissertação de mestrado apresenta um estudo referente a métodos de Runge-Kutta Paralelos. Baseado em alguns artigos sobre o assunto, este trabalho, contém duas técnicas de construção de métodos Paralelos. Uma técnica é utilizar a Teoria das Diferenças Elementares, a outra é recorrer ao processo iterativo diagonal para resolvermos as equações implícitas do método de Runge-Kutta. Também apresentamos resultados numéricos, ou seja, implementamos os métodos construídos a partir de cada uma das técnicas. A linguagem utilizada foi a OCCAM, adequada para programação concorrente. Uma referência é o livro [Poutain, May, 87]. / This MSc dissertation presents a study on Paralel Runge-Kutta methods. It is based on some papers about the subject and contains two techniques for construction of Paralel methods. The first one uses the Elementary Differential Theory, while the second appeals to a Diagonal Iterated method for solving the implicit equations of the RK method. Numerical results corresponding to both techniques are included. The computer language used was OCCAM, which is adequated to concurrent programming,

Neste trabalho, estudamos o problema de determinar uma solução aproximada de um Sistema Linear Inconsistente, segundo a norma de Chebyshev. A partir de uma motivação em Engenharia Mecânica, denominada Planicidade de Superfícies, modelamos o problema, o qual é resolvido usando uma especialização do método Simplex. Propomos uma estrutura de dados, onde as colunas da matriz do \"Modelo Linearizado\" são geradas, ao invés de serem armazenadas, e apresentamos alguns estudos computacionais. Finalizando, fazemos a revisão do artigo \"Strict Chebyshev Approximation for General Systems of Linear Equations\" de J. P. Thiran e S. Thiry,1987. / This work studies a problem which consists in to determine a approximate solution of a Inconsistent Linear System according the Chebyshev norm. From a problem in Mechanic Engineering called Flatness of Surfaces, we model the problem, which is solved using a specialization Simplex method. Then we propose a information structure, where the columns of the matrix of the \"Linearized Model\" are generated not stored. After this we show some computational studies. Finishing, we make a revision on the \"Strict Chebyshev Approximation for General Systems of Linear Equations\" a paper of J.P. Thiran and S. Thiry, 1987.

Este trabalho faz parte do Projeto TABA. O TABA visa a construção de uma estação de trabalho configurável capaz de criar um ambiente adequado às necessidades de cada projeto de desenvolvimento de software. No contexto do Projeto TABA, um Ambiente de Desenvolvimento de Software (ADS) deve conter um conjunto integrado de métodos e ferramentas, que suportem as atividades de construção do produto, as atividades de planejamento e controle da qualidade e as atividades de gerência do processo de desenvolvimento. Para dar suporte gerencial automatizado, imprescindível principalmente quando é grande a complexidade do sistema a ser desenvolvido, não existem, porém, ambientes capazes de suportar as diferenças existentes entre as características próprias de cada domínio de aplicação. Esta tese apresenta uma solução para apoiar o gerente de projetos na configuração de uma estratégia gerencial adequada ao desenvolvimento de cada projeto, e que permite o acompanhamento e controle efetivos do projeto. Foi especificado um sistema com este objetivo, concebido como um conjunto de ferramentas integradas a uma base de conhecimentos, e desenvolvida uma das ferramentas que o implementa, um sistema de apoio à decisão baseado em conhecimento para o planejamento de recursos. / This work is part of the TABA Project. The main purpose of this project is the construction of a configurable workstation able to create an environment tailored to meet specific demands of each software development project. In the TABA Project context, a Software Development Environment (SDE) should contam n a set of integrated methods and tools, that support the construction activities, the quality planning and control activities and the development process management activities. In order to provide an automatized managerial support, indispensable mainly whenever the complexity of the system to be development is high, we need environments able to support the differences between the particular characteristics of each application domain. This work presents a solution to help the project manager in defining a managerial strategy tailored to a particular development project, and that allows the effective project monitor and control. A system was specified to meet this objective, conceived as a set of tools integrated with a knowledge base, and one of this tools was developded, a knowledge based support system for resources planning.

A disponibilização de técnicas efetivas para a Visualização Exploratória e Mineração Visual de conjuntos de dados volumosos e de alta dimensionalidade ainda representa um grande desafio para os pesquisadores. Apesar das muitas contribuições e dos avanços recentes, técnicas convencionais de visualização direta - em que cada elemento do conjunto de dados é mapeado em um elemento visual na tela - ainda são bastante limitadas nesse contexto. Neste trabalho técnicas de visualização exploratória foram revisitadas, e são enriquecidas com algumas estratégias que permitem gerar representações visuais mais efetivas para apoiar processos interativos de exploração de grandes conjuntos de dados de alta dimensionalidade. As técnicas introduzidas apresentam baixa complexidade computacional, de modo a não prejudicar ou inviabilizar a interação do usuário com as visualizações, na busca de padrões como agrupamentos e regiões de alta densidade nos dados, e podem ser caracterizadas como quatro contribuições distintas: (i) primeiramente, é apresentada uma nova técnica de visualização multi-dimensional, denominada VizJD, que projeta os dados em três dimensões espaciais e assim ameniza o efeito indesejado da excessiva sobreposição dos marcadores, típica de estratégias bidimensionais, como o RadViz e Star Coordinates, oferecendo uma alternativa de baixo custo para a projeção de dados multidimensionais no espaço 3D; (ii) técnicas de visualização direta, como Coordenadas Paralelas, RadViz e o próprio VizJD, são enriquecidas com informações de frequência e densidade computadas a partir dos dados, as quais são mapeadas visualmente buscando reduzir o efeito prejudicial de uma excessiva sobreposição dos marcadores, atenuar os efeitos indesejados da presença de ruído nos dados e ainda realçar a presença de padrões nos dados; (iii) é introduzido um procedimento interativo para apoiar a identificação de agrupamentos nos dados, o qual é apoiado nas visualizações enriquecidas com informação de frequência e densidade introduzidas anteriormente: (iv) finalmente, é apresentada uma estratégia simples para configurar a disposição dos atributos de dados mapeados na visualização, a qual resulta em visualizações de melhor qualidade e mais informativas no caso de dados de alta dimensionalidade. As propostas apresentadas são comparadas a trabalhos relacionados existentes na literatura, e avaliadas por meio de sua aplicação a vários conjuntos de dados reais e sintéticos, de vários tamanhos e dimensionalidades. Os resultados indicam que, apesar das estratégias propostas não eliminarem os problemas associados à oclusão e congestionamento visual na visualização de grandes conjuntos de dados, elas oferecem soluções efetivas e de baixo custo que ampliam a escalabilidade visual de técnicas tradicionais, viabilizando tarefas de exploração e mineração que seriam impossíveis, ou muito dificultadas, sem esses recursos. / The lack of effective techniques for Exploratory Visualization and Visual Mining of very large high-dimensional data sets still represents a major challenge to be addressed by researchers in the field. Despite the many contributions and recent advances, conventional direct visualization techniques - in which each item in the data set is individually mapped into a visual element in the screen - are still highly limited in this context. In this work we revisit direct exploratory visualization techniques, and propose several enhancements to support the creation of more effective visual representations to assist interactive exploration of large high-dimensional data sets. Four contributions are introduced: (i) first, a new multi-dimensional visualization technique that projects data in three spatial dimensions, called Viz3D, is presented; this technique reduces the excessive marker overlapping anc concentration that is typical of two-dimensional visualizations such as RadViz and Star Coordinates and offers a low cost 3D projection technique; (ii) direct visualization techniques, such as Parallel Coordinates, RadViz and VizJD itself, are enhanced with frequency and density information, computed from the data set and mapped into the data visual representations; the goals of this mapping are to reduce the harmful effeets of excessive marker overlapping, to reduce the artifaets due to the presence of noise in the data, and to highlight the presence of patterns in data; (iii) the visualizations enhanced with frequency and density information provide the basis for a new interactive approach to assist users in identifying and extracting cluslers in data sets; (iv) finallv, a new and simple strategy is introduced to configure the layout of multiple data attributes mapped into a visualization that results in better and more informative visualizations of high dimensional data. The proposed techniques are compared with related work from the literature, and illustrated with their application to several real and synthetic data sets of varying size and dimensionality. Results indicate that, although the new techniques do not completely eliminate the problems associated with occlusion and overlapping, they offer effective low cost solutions that increase the visual scalability of the techniques, enabling users to conduct visual exploration tasks that would not be possible otherwise.

Neste trabalho, uma nova técnica de reconstrução tridimensional é apresentada. Esta técnica oferece uma família de modelos, governada por um parâmetro chamado β, e que pode ser obtida a partir de um mesmo conjunto de seções planares. Este fato faz possível múltiplas opções para o problema da correspondência, tarefa difícil de ser realizada por outros métodos de reconstrução. Além da flexibilidade na conexão entre regiões de níveis consecutivos, o algoritmo produz LP-variedades e respeita a condição de reexemplificação. / In this work a new three-dimensional reconstruction technique is presented. This technique offers a family of modeis, governed by a parameter denoted β, that can be obtained from a sarne set of cross sections. This fact makes possible multiples choices for the correspondence problem, a difficult task to be performed by other reconstruction methods. Besides the fiexibility in the connection among regions of the adjacent slices, the algorithm produces PL-manifolds and respects the re-sampling condition.

Neste trabalho especificam-se os recursos lingüísticos e computacionais necessários à implementação de um realizador monosentencial para o português a partir de uma linguagem de representação semântica. Para desenvolver este gerador necessita-se de uma teoria lingüística que descreva os recursos da língua em questão, e também de um formalismo computacional que represente e manipule estes recursos lingüísticos em um ambiente computacional. Nesta dissertação, com o intuito de atender a estes requisitos, será proposto o uso de teorias lingüísticas baseadas em restrições e o uso de um sistema de geração baseado em unificação. A linguagem de representação semântica utilizada é a UNL (Universal Networking Language). Sendo assim, o gerador aqui proposto deverá converter, uma por vez, cada uma fins sentenças da UNL em orações gramaticalmente corretas do português. / This work has as its main goal to specify the linguistic and computational resources nerrssary for the implementation of a portuguese monosentencial generator from a semantic representation language. For the development of such a generator it is necessary that a linguistic theory describes Lhe resources of the language in question, and also a computational formalism that represents and manipulates these linguistic resources in a computational framework. Tu this dissertation we will show 1mw these requirements can be made firnctional, through the use of constraint-based linguistic theories, and the use of au unification-based generation system. UNL (Universal Nètworking Language) is the semantic representation language used in this work. Therefore, the generator proposed here should couvert ou a sentence by sentence basis from Lhe UNL into well-formed portuguese sentences.

UMA tendência no projeto de sistemas hipemiidia é o desenvolvimento de sistemas que sejam abertos, extensíveis e distribuídos entre diferentes usuários. Na última década vários sistemas hipermidia abertos foram apresentados na literatura. Nesse contexto, técnicas formais consistem de ferramentas muito úteis para especificação de aplicações hipermídia (e por conseguinte, de aplicações em sistemas hipermídia abertos) por possibilitar que determinada solução especificada seja precisa, não ambígua, independente de sua implementação e reutilizável. Além disso, modelos formais adequados podem oferecer abordagens sistemáticas e confiáveis para a análise e verificação de propriedades estruturais e dinâmicas dessas aplicações. Este projeto de mestrado tem como objetivo verificar a adequação do modelo formal XHMBS (eXtended Hypertext Model Based ou Statecharts) em relação à especificação de aplicações em sistemas hiperrnídia abertos e propor extensões a esse modelo para permitir a especificação de tais aplicações. / A TREND ofhypermedia system design is the deve!opment of open, extensible and distributed multiuser systems. Therefore, in the last years several Open Hypermedia System (OHS) architectures have beeu presented in ljterature. In this context, formal tecbniques become a very useful tool for specification of hypermedia applications (and OHS applications). Formal tecimiques allow that a certain specified solution be precise, non-ambiguous,reusable and independent of implementation. Additionally, adequate formal modeis can offer systematic and reliable approaches to analyze and verify structural and dynamic properties of this kind of applications. This work aims at verifying the adequacy of the formal model XHMBS (eXtended Hypertext Model Based on Statecharts) in relation to the specification of OHS applications and to extend the model in orde r to allow the specification of such applications.

Neste trabalho de mestrado foram desenvolvidas duas arquiteturas de controlador PID (Proporcional, Integral e Derivativo) digital para controle de motores CC. O controlador PID foi desenvolvido para ser integrado a um sistema mais complexo de gerenciamento de um robô. O controlador PID permite que se obtenha respostas mais rápidas e precisas do sistema a ser controlado, que, no caso deste trabalho, é um motor. Por ser relativamente simples de implementar e também por possuir parâmetros de fácil sintonia, o PID é o tipo de controle mais utilizado para esta classe de aplicação. Para o desenvolvimento do controlador foram utilizadas metodologias e ferramentas avançadas para projeto de hardware, tendo como alvo da implementação, os dispositivos reconfiguráveis FPGA (Field Programmable Gate Arrays). Os resultados de desempenho apresentados pelas arquiteturas e a flexibilidade de projeto proporcionados pela implementação em FPGAs indicam que a metodologia escolhida é adequada para esta aplicação / This work presents and describes two architectures of digital PID (Proportional, Integral and Derivative) controlle controller for the purppose of DC motor control. The goal is to integrate the PID controller to a a more complex robot control system. A PID controller provides a faster and more precise response from the controlled system, in this case, a DC motor. Because it is to implement and easy to tune, the PID controller is the widely used in this type applications. The process of developing such a controller was performed with the help of advanced metodology and tools for digital hardwar hardaware design using FPGAs (Field Programmable Gate Arrays). The achived hardaware performance nd the flexibility of the FPGAs show that the chosen methodology is adaquate for this application.

Este trabalho apresenta técnicas de compressão de dados com ênfase para aplicações em sensoreamento remoto medicina. Baseados em tais técnicas desenvolveu-se um sistema modular de compressão de imagens com a preocupação de que pudesse ser executado em múltiplas plataformas computacionais. / This work presents data compression techniques for remote sensing and medical applications. Using these techniques a modular compression system was developed for these kinds of images. This system was conceived to run in several different machines.

A importância de se ter gerenciamento em ambientes de rede computadores vem se tornando cada vez mais evidente, à medida em que esses ambientes se estendem aumentando as interconexões e o número de hosts. Este trabalho vem justamente de encontro a essa necessidade, desenvolvendo um sistema monitor gráfico para redes de computadores. O sistema apresenta uma interface gráfica baseada em janelas seguindo o padrão XWindow. Nas janelas são apresentados graficamente o desenho do mapa das redes, dentro do domínio de gerenciamento, e o desenho dos componentes de uma rede selecionada, proporcionando ao gerente uma visão espacial das redes. Os dados para a descoberta das redes são obtidos dinamicamente pelo sistema, sem a interação com o usuário, através do protocolo de gerenciamento SNMP e de alguns recursos de rede do sistema Unix. Adicionalmente, outras informações são obtidas, tais como: dados estatísticos sobre interfaces, tabela de roteamento, conexões ativas e informações sobre protocolos Internet por host. O sistema foi projetado para ser o núcleo de um sistema de gerenciamento de redes, o MultView, com recursos de multimídia. Dessa forma, a estrutura de dados armazenada para cada objeto possui um campo que guarda o posicionamento gráfico do objeto nos desenhos. Esse campo pode ser utilizado por funções de multimídia, como por exemplo a apresentação de imagens digitalizadas dos objetos selecionados ou uma foto do administrador de uma dada rede. Na implementação do sistema utilizou-se o pacote de domínio público 4BSD/ISODE SNMP, e o gerador de interfaces DevGuide e o toolkit XView na implementação da interface gráfica. / The management task in net work environments is becoming more and mre vital, as these environments grow, getting interconnected and increasing the number of hosts. This work presents a graphical monitor system for computers network management, which meets the requirements of such task. The monitor has a graphical interface which follows the XWindow standard. The windows present graphical information, such as the map of net works which are inside the management domain and the components of a given network, providing a spacial vision of the managed networks. The information used to discover the networks are dinamically obtained by the SNMP protocol and some Unix networking resources. Additionally, information such as routing table, active connections and Internet protocols information per host are provided. The system was designed to be kernel of a management system, the MultView, which incorporates multimedia resources. For this reason, the data structures stored for each object have one field which comprises its position, which can then be used by multimedia functions, for example, the presentation of digitalized images of selected objects, or a picture f the administrator of a given network. The system was developed with the public domain software 4BSD/ISODE SNMP, and the interface generator DecGuide and the toolkit to implement the graphical interface.