Seja G / H um espaço homogêneo. Neste trabalho estudamos o contato entre órbitas por ação de subgrupos a um parâmetro de G e curvas em G / H. Como um resultado, desenvolvemos um método que permite determinar os elementos na álgebra de Lie de G que dão origem a uma órbita que está em contato de ordem k com uma dada curva em G / H, para k arbitrário. Também apresentamos algumas aplicações em questões de congruência. / Let G / H be a homegeneous space. In this work we study the contact between orbits by one-parameter subgroups of G and curves in G / H. As a result we develop a method that allows one to find the elements in the Lie algebra of G that give rise to an orbit being in contact of any order with a given curve in G / H. Some applications to questions of congruence are also presented.

Esta dissertação apresenta o programa computacional EQMOD, o qual determina a expressão do erro de truncamento presente na discretização de equações diferenciais parciais. Esta expressão é obtida a partir da equação modificada associada à discretização, cujo processo de obtenção envolve extensas manipulações algébricas, dificultando seu cálculo manual. Porém, ele se presta à automatização em um computador munido de uma linguagem de programação simbólica. Para isso, escolheu-se a linguagem de programação do pacote Mathematica. São mostrados vários exemplos que demonstram a funcionalidade e aplicabilidade do sistema desenvolvido. / This work describes the computer program EQMOD. This program determines tho expression for the truncation error present in the discretization of partial diferential equations. Such expression is obtained from the modified equation associated with the chosen discretization. The modified equation can be obtained through extensive algebric manipulations. These become cumbersome after a while, making their manual evaluation complicated. However, they can be efficiently performed by a computer running a simbolic manipulation package. Many such packages exist and this work adopted Mathematica. Various examples demonstrate the fu.ncionality and aplicability of the program EQMOD.

A Visualização Científica (VisC) é uma área da computação gráfica que ajuda cientistas e outros profissionais a capturar o significado dos seus dados. Essa área tem como objetivo a geração de imagens a partir de um conjunto de dados (geralmente obtidos a partir de dispositivos de detecção ou simulações numéricas), as quais são interpretados por usuários que desejam ganhar entendimento do fenômeno que gerou os dados. Algumas vezes esses conjuntos de dados formam imagens complexas, dificultando o seu entendimento, ou possuem muita informação, tornando difícil a sua apresentação no ambiente bidimensional da tela do computador. Nesses casos o som é uma boa alternativa de representação em apoio às técnicas visuais. Sonificação é a área da computação que tratqa do mapeamento sonoro de conjuntos de dados com a intenção de exibir informações. Esta dissertação mostra um estudo sobre o uso de som para o desenvolvimento de um sistema de sonificação para visualização. Esse sistema compreende a implementação de funções de som para visualização volumétrica baseada em superfícies desenvolvidas anteriormente em SSound , no ambiente orientado a objetos de uma biblioteca de visualização de baixo custo e ampla utilização ( o VTK Visualization Toolkit). Os resultados desta dissertação identificam a utilidade do som integrado com a visualização para representar e reforçar dados, além de uma série de recursos para suportar a interpretação de informações complexas. / The Scientific Visualization (VisC) is an area of the Computer Graphics that helps scientists and other professionals to capture their data meaning. The aim of this area is to produce images starting from a data group (usually got starting from detection gadgets or numeric simulations), which will be interpreted by the users that want to get the understanding of its meaning. Sometimes this data groups constitute complex images that make its understanding difficult, or have too much information becoming hard its presentation on the bidimensional ambient of the computer screen. When this happens, sound is a good alternative of representation as a support to visual techniques Sonification is the area that treats the sound mapping of the data group intenting on exhibiting information. This thesis shows a study and a Implementation of a sonification system. This system consists of the implementation of sound functions to a 3D visualization based on previously developed surfaces in SSound, on a large utilization visualization library (VTK). The results of this thesis identify the sound utility together with the visualization to represent and strengthen data, beyond a series of means to support the interpretation of complex information.

A presença de computadores e outros recursos tecnológicos no ambiente educacional sempre causou polêmica. Quando as máquinas de calcular entraram nas salas de aula, temia-se que as crianças e, em pouco tempo, os adultos perdessem a capacidade de realizar cálculos às custas de seu próprio raciocínio (preocupação antecipada em um conto de ficção de Isaac Asimov, A Sensação de Poder, publicado pela primeira vez em 1957). O cenário atual nos mostra não o receio, mas a necessidade de oferecer recursos tecnológicos aos estudantes, o mais cedo possível. Neste contexto, focalizamos o sistema Interland (Moreira, Nunes & Pimentel, 1995), que propõe um ambiente de auxílio ao aprendizado no sistema World-Wide Web, com facilidades para exploração de recursos interativos e de multimídia. O objeto deste trabalho é a interface do professor no sistema Interland: o Teaching Assistant ou T.A. O sistema T.A. implementa um conjunto de recursos de autoria com modelos e ferramentas para a produção de documentos relacionados a disciplinas. Os modelos de páginas contribuem para uma menor necessidade de decisões de projeto por parte do professor e menos problemas de autoria, embutindo conceitos importantes na produção de documentos para a World-Wide Web. Essa preocupação também tem em vista evitar problemas para os usuários das páginas em hipertexto (os alunos). Um dos pontos principais do sistema T.A. é permitir a introdução de recursos multimídia (no estágio atual, trechos de vídeo selecionados pelo professor) disponíveis em uma base de dados, eliminando a necessidade de se aprender a manipular outros programas específicos para esse fim. Os protótipos já desenvolvidos oferecem modelos de documentos, e permitem a introdução de interações simples e trechos de vídeo em páginas, de maneira transparente para o usuário. / The presence of computers and other technological resources on the educational environment was always a subject of controversy. When calculators entered the classrooms, there was the concem that children and, into a short period of time, also adults could lose their a.bility of making counts with their own bra.i ns (such concern was anticipated in a fiction story by Isaac Asimov, first published I. n1957). The current scenery shows not the concem but the need to offer technological resources to the students, as soon as possible. In such context, we focus on the system Interland (Moreira, Nunes & Pimentel, 1995), which proposes an environment for learn.i ng support on the World-Wide Web, with tools that explore interactive and multimedia resources. The subject of this work is the teacher\'s interface on the Interland system: the Teaching Assistant or EA. The T.A. system implements a set of authorship resources with models and tools for the production of documents related to disciplines. Document models contribute for a minor need of project decisions by the side of the teacher, and also diminishes authorship problems, embedding important concepts of documents production for the World-Wide Web. Such feature also tries avoiding problems for the users of the hypertext (the students). One of the main features of the TA. is the insertion of multimedia resources (at its current development, video pieces selected by the teacher) from a data base, with no need of learning how to work with specific programs for manipulating video or data bases. Developed prototypes offer document templates, allowinHg the insertion of simple interactions and video pieces on the pages, in a transparent way to the user.

indiscutível o grande interesse, tanto dos pesquisadores quanto do mercado de informática, na tecnologia de sistemas de Banco de Dados Distribuído. Entretanto, a distribuição introduz um novo nível de complexidade aos projetos de banco de dados, sua utilização implica em decisões quanto a alocação de dados e programas ao longo da rede de computadores. A maioria dos trabalhos na área busca o desenvolvimento de métodos iterativos para solução otimizada de estratégias de consulta eiou alocação de dados. São poucas as abordagens semânticas do problema. Este trabalho propõe um método prático para alocação de dados, sem considerar qualquer modelo quantitativo; visa-se o enfoque qualitativo da distribuição de dados. Reduz-se a generalização do problema em prol de uma análise pragmática da questão. A base do trabalho são os sistemas de informação da área operacional de uma Empresa de Telecomunicação. O objetivo da proposta é definir o esquema de fragmentação de um banco de dados centralizado através da análise e classificação dos subsistemas de manutenção dos dados, para depois determinar o Esquema de Alocação usando o Modelo Relacional. Por fim, o diaarama conceituai, concebido através cio Modelo Entidade-Relacionamento Estendido, é revisto para incorporar a representação da distribuição aqui desenvolvida. / The interest in distributed database system technolou is intense in both the research community and the commercial marketplace. However, the distribution take on additional complexity levei in database design, it involves making decisions on the placement of data and prograrns across the sites of computer network. Most of works on data distribution has been done in terms of data allocafion/fragmentation by proposing iterative methods which provides optimization solution to the query strategies or/and data allocation problems. There are few works with semantic approach. This work airns to introduce a practical data allocation method without considering the requirements of any quantitative model but considering qualitative aspects of data distribution. The very general problem has been transfonned into a more restrictive, but cunently more pragmatic one. It is base on a Brazilian Telecommunication Company information system design. The goal here is to split a global database up into franents by analyzing update progams features and then define the Allocation Schema using Relational Model. The final conceptual diagram is completed with a proposed distribution representation in Extencled Entity-Relationship Model.

Este trabalho propõe um ambiente denominado SIATE (Sistema Inteligente de Apoio ao Treinamento e Ensino), que integra características de ambientes de Prática/Treinamento, Hipennídia, Sistemas Tutores e Sistemas Híbridos de Conhecimento, é voltado para o ensino e tem como característica marcante a liberdade, por parte do estudante, de explorar um domínio qualquer, podendo recorrer, quando necessário, ao auxílio de um Sistema Tutor e de um Sistema Híbrido de Conhecimento com conhecimento especialista nesse domínio. São enfatizados aqui o projeto e o desenvolvimento de um Sistema Tutor que oferece apoio pedagógico ao ambiente, bem como o desenvolvimento dos recursos hipermídia desse ambiente. / This work proposes an environment. called STATE (Sistema Inteligente de Apoio ao Treinamento e Ensino) which integrates features from Hypermedia, Knowledge Based Systems, Tutoring Systems, and Case Based Reasoning. This environment combines approaches of domain exploration by the student with question-answering mechanisms and a simulation-based interface with expert knowledge. The project of the Tutoring System, which provides pedagogic support to STATE, and the development of the hypermedia resources are described ia the text.

Este trabalho envolveu estudos nas áreas de Modelagem Geométrica, Técnicas de Modelagem e Interação Usuário-Computador e descreve a implementação de um Modelador de Moldes Tridimensional. Esse sistema tem o objetivo de prover o Simulador de Escoamento de Fluidos FREEFLOW 3D de uma ferramenta na qual o usuário possa construir o molde 3D onde um fluido será injetado, de uma forma fácil e intuitiva. O Modelador utiliza como técnicas de modelagem Varreduras e Curvas e Superfícies Livres NURBS. Para a interação com o usuário utiliza técnicas bidimensionais que auxiliam à defmição das faces geradoras necessárias aos algoritmos de modelagem. Já os moldes tridimensionais criados são representados internamente pela sua fronteira (Boundary Representation), usando uma estrutura do tipo semi-aresta (halfedge). / This work contains a study on topics of Geometric Modeling and User Interaction carried out for the development of a geometric modeler for describing tridimensional containers in a direct and intuitive manner. The modeler was developed to be integrated into a 3D Flow Simulator system called FREEFLOW 3D, in order to simplify the user task of describing the domain of the flowage. The implementation of the modeler is described, as well as its functionality and user interface. As modeling techniques, it uses Sweeping and the NURBS formulation. The containers are created from bidimensional faces which are used to generate their tridimensional forms. Efficient bidimensional interaction techniques are used to simplify the process of defming the faces. Once created, the surface of the containers is transformed into a solid object with tickness, and then stored as a boundary data structure (B-Rep).

A construção de ferramentas para a correção automática de textos tem ganhado destaque, seguindo a evolução e eficiência dos processadores de textos ao qual elas são incorporadas. E, junto às técnicas tradicionais simbolistas de implementação de tais ferramentas, através do uso de regras de produção, surgem aplicações com técnicas até então não usuais na. área de lingüística computacional, como o uso de Redes Neurais Artificiais. O trabalho proposto tem por objetivo fazer um estudo comparativo do uso das técnicas conexionista e simbolista na revisão automática de erros gramaticais da língua portuguesa. Usando como estudo de caso as regras gramaticais da crase, tomamos como exemplo de modelo tradicional de implementação o revisor gramatical ReGra, e de outro lado, implementamos dois modelos de redes neurais (um modelo backpropagation e um modelo Elman), para detectar erros com relação ao uso da crase, tanto em casos de presença incorreta, quanto de ausência. A meta deste estudo não é apontar qual método é o mais eficiente em termos gerais, mesmo porque acreditamos que isto não seja possível. Queremos, sim, observar o desempenho de ambos os métodos quanto ao problema determinado, visando assim uma maior integração entre eles, aproveitando suas melhores potencialidades. / The wide availability of personal computers and word processors have greatly contributed for the popularization of tools for automatic text correction, While the use of traditional symbolist techniques of implementation of spelling and grammar checkers are now well established, the introduction of alternative technology does not stop of growing. The use of neural nehryorks is a good example of these alternatives. This work makes a comparative study between symbolist and connectionist paradigms in the task of automatic detection of a particular kind of error in Brazilian Portuguese texts: the use of \'crase\' - contraction of the preposition \'a\' and the article \'a\'. The grammar checker ReGra was used as the symbolist tool and two models of neural networks were built @ackpropagation and Elman) through the use of the Sttutgart Simulator. The goal of the work is not to determine the better paradigm for this task, but to analyze the performance of the involved models in order to integrate them in an architecture which can capture the best of them.

Os processos de recuperação e aprendizado de casos, que exercem um papel fundamental, em sistemas de Raciocínio Baseado em Casos, não são fáceis de serem desenvolvidos. Estes dois processos são bastante dependentes. Os casos devem ser recuperados rapidamente da memória para o sistema de Raciocínio Baseado em Casos ser eficiente. Isto implica em estruturas mais elaboradas para armazenálos, organizá-los e recuperá-los. Quando um conhecimento novo é incorporado ao sistema (aprendizado), a reorganização dos casos na memória torna-se muito complexa devido justamente à estas estruturas. O principal objetivo deste trabalho é a integração de Raciocínio Baseado em Casos e Redes Neurais. Neste trabalho, uma Rede Neural, modelo ART1, é utilizada para auxiliar na recuperação e aprendizado de casos em um sistema de Raciocínio Baseado em Casos. / The retrieval and learning phases, which plays a fundamental role in a Case Based Reasoning system, usually are not easy to design. These processes strongly depend on each other. For a Case Based Reasoning system to be considered efficient, suitable cases must be fastly retrieved. For such, complex structures have been used. However, these structures makes harder the learning of new cases. This work proposes a Case Based Reasoning system which uses Neural Networks to retrieve stored cases and learn new cases. The network used, ARTI, supports incremental learning and groups cases in clusters by extracting features from the cases, which can later be used to retrieve cases.

Nesta dissertação de mestrado, apresentamos análises Clássica e Bayesiana para os principais modelos de Estratégia tipo I, estratégia de modelos de confiabilidade de software que modelam os tempos entre falhas do software. Na análise Clássica, estimadores pontuais e intervalos de confiança são encontrados usando métodos assintóticos. Na análise Bayesiana, considerando densidades a priori informativas para os parâmetros dos modelos, determinamos os resumos a posteriori, utilizando os métodos de simulação Gibbs Sampling e Metrópolis Hastings. Em particular, consideramos diferentes densidades a priori para os parâmetros do modelo de Jelinski e Moranda (1972) (um dos primeiros modelos de confiabilidade de software desenvolvido) e verificamos a consequência de uma reparametrização para esse modelo. Também, apresentamos a técnica das distribuições preditivas condicionais ordenadas (CPO) para selecionar o melhor modelo dentre os modelos analisados. Finalizamos, ilustrando os métodos propostos através de um exemplo prático / In this dissertation we preseut Classical and Bayesian analyses for the most important models of strategy of type-I used in software reliability to model times between failures. In the Classical approach, point estimators and confidence intervals are obtained using assymptotical methods. In the Bayesian approach, considering informative prior densities for the parameters of the models, we obtain posterior surmnaries of interest, using the simulatim algorithms Gibbs Sampling and Metrópolis Hastings. In special, we consider different prior densities for the parameters of the Jelinki and Moranda (1972) model and we also check the effects of a reparametrization in the obtained inferences. We also consider the technique of ordinated conditional predictive distributions (CPO) to select the best model among all considered models. We conclude the work, presenting a practical example as a numerical illustration of the proposed methodology.