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.

Apresentamos neste trabalho, um estudo do modelo de confiabilidade de software de Jelinski e Moranda (1972). Enfocamos, a importância da análise Bayesianapara a correção da instabilidade do estimador de máxima verossimilhança de N (número de erros do software), e a ortogonalização de Cox e Reid (1987) para a realização de inferência Bayesiana sobre a taxa de falhas A. Também, caractenzamos a existência da densidade a posteriori de { quando admitimos densidades a priori não-informativas e impróprias aos parâmetros do modelo. Destacamos o comportamento dos métodos de aproximação de Monte Carlo em cadeias de Markov, para a obtenção da distribuição a posteriori de N quando esta é imprópria. / In this work is presented an analysis of the Jelinski-Moranda model (1972). Special importance are given to the instability of the maximum-likelihood estimator of // (the number of software failures) and the orthogonal parameters (Cox and Reid, 1987) to obtain a Bayesian analysis of the failure rate. Also, the existence of the posterior distribution of N when an improper prior is used is charactenzed. The behavior of the MCMC to simulate the posterior distribution of Nwith improper priors is emphasized.

Neste trabalho estudam-se problemas de dimensionamento de lotes com aplicações específicas em uma fundição automatizada. Quando várias ligas são consideradas na programação, o problema é modelado com um problema de programação linear inteira mista; caso contrário como um problema de programação linear. Algumas hipóteses são assumidas sobre o gargalo e heurísticas são desenvolvidas. Mostra-se também como a fundição pode ser integrada a um sistema de múltiplos estágios, tais como usinagem e montagem. Experiências computacionais sobre o desempenho dos métodos são relatadas. / ln this work the subject of lot sizing problems is studied and a case study in an automated cast is presented. When different alloys are considered in the production scheduling, the problem is modeled as a linear mixed-integer programming problem; otherwise a linear programming problem is used. Some hypotheses on the production bottleneck are assumed and heuristic methods are developed. lt is also shown how the automated cast can be coupled with a multilevel global system. Computational performance of the methods is verified and the results presented.

Esta dissertação apresenta o projeto de construção do sistema INTEMA: um gerador de explicações e um ambiente de interação para Sistemas Tutores Inteligentes (sTIs) em Matemática. o INTEMA é parte de uma arquitetura genérica de STIs em Matemática que permite a troca de domínio, sem necessidade de alterar a geração de explicações. As explicações geradas têm por objetivo justificar o comportamento do sistema e informar os usuários, de maneira individualizada, sobre as características e funções do sistema. O estilo de interação fornecido pelo sistema é o de manipulação direta. São discutidos em detalhes os três módulos principais do INTEMA: planejador, realizador e interface. Um exemplo de interação com o sistema no domínio de Lógica de Primeira Ordem é apresentado. / This work presents the system INTEMA: an Intelligent Tutoring System (ITS) module which consists of an explanation generator and an interaction environment for ITSs in any mathematical domain. INTEMA is part of a generic architecture for representing mathematical knowledge, what allows the domain exchange. The explanations aim to justi$ the system\'s behaviour by teaching and informing the user about the characteristics and the functions of the system. Direct manipulation is the interaction style provided by the system. The three main system\'s modules - the planner, the realizer and the interface - are discussed in detail. An example of an interaction with a system that teaches First Order Logic is also presented.

Atualmente, os principais indicadores sobre a educação básica no Brasil são calculados a partir dos resultados apurados pelo Censo Escolar, fonte que apresenta inconsistências nos resultados, principalmente na obtenção das Taxas do Fluxo Escolar e nos totais de matrículas dos alunos. O modelo de Fluxo Escolar tem como função descrever o movimento dos alunos dentro do Sistema de Ensino, reconstruindo a evolução dos mesmos nas séries do ensino fundamental ao longo dos anos mediante as Taxas de Transição. É desenvolvida uma metodologia baseados numa proposta demográfica, onde é mostrada a dinâmica do processo de transição das séries que regulam o fluxo dos alunos medindo as taxas de promoções, repetências e desistências, de forma a estimar o fluxo dos estudantes para uma coorte hipotética de uma determinada idade. O presente trabalho tenta encontrar uma ponte entre a explicação da atual realidade educacional do país com a teoria e as ferramentas estatísticas, as quais tentam conseguir uma melhor visão da dimensão do desempenho do Sistema Educativo. O ponto central do trabalho trata das estimativas e previsões de matrículas que possam explicar esta dimensão, a traves da estimação das chamadas taxas do Fluxo Escolar. É descrito o tratamento de Cadeias de Markov Discretas mediante a Inferência Clássica, dado que o número de alunos aprovados, repetentes e evadidos podem ser vistos como tal. São calculados os Estimadores de Máxima Verossimilhança das taxas e são mostradas as propriedades asintóticas das mesmas e encontrada a distribuição asintótica com correlação serial, dado que os dados tem certa medida de dependência entre pares sucessivos de observações, são construídos testes de hipóteses e é feita uma abordagem Bayesiana considerando que o número de alunos aprovados, repetentes e evadidos tem uma distribuição multinomial sendo os parâmetros as probabilidades de transição (taxas de transição do fluxo). É feita a análise considerando primeiro como priori não informativa a priori de Jeffrey, logo é considerada como priori conjugada uma distribuição beta multivariada, conhecida também como distribuição de Dirichlet, esta distribuição pode ser interpretada como contendo informação equivalente ao número total de matrículas. As taxas do fluxo são estimadas usando função de perda quadrática. Também é considerado como estimador das taxas a moda da posteriori, em ausência de uma função de perda específica. São desenhadas propostas futuras dando alguns tópicos de Inferência Bayesiana para Processos estocâsticos. As taxas do Fluxo escolar são calculadas para diversas regiões do país e é considerado um modelo hierárquico com parâmetros comuns para cada região. Dessa forma o presente estudo busca contribuir no sentido de apresentar e discutir as possibilidades do modelo de Profluxo e, ao mesmo tempo, propor uma metodologia que combine os resultados deste método com as tendências demográficas e a teoria estatística, de maneira a se ter um quadro mais fidedigno na demanda por ensino fundamental no Brasil para os anos seguintes. / Not available