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.

Desde o trabalho de Karmarkar em 1984, intensas pesquisas têm sido feitas sobre métodos de pontos interiores. Nesta dissertação estudamos a bibliografia relacionada a métodos de pontos interiores para a programação linear com ênfase em alguns algoritmos básicos: métodos de escala-afim primal e dual e método (path-following) primal-dual. Por último mostramos como estender algoritmos primais-duais a uma classe de programação linear por partes. / Since Karmarkar\'s work in 1984, intensive research has been carried out on interior point methods. In this dissertation we studied the related bibliography of interior point methods for linear programming focusing on some basic algorithms: primal and dual affine-scaling methods and primal-dual (path-following) method. Finally it was showed how to extend primal-dual algorithms to a class of piecewise linear programming.

A partir da análise de diversos trabalhos publicados sobre requisitos para sistemas de autoria hipermídia educacional, foi proposto um novo conjunto de requisitos que tem por objetivo auxiliar as etapas de engenharia de requisitos e de avaliação no processo de desenvolvimento de um sistema pertencente a este domínio. De forma geral, foi proposto um conjunto de requisitos que privilegia tanto as necessidades do contexto educacional quanto as necessidades relacionadas aos ambientes de autoria hipermídia. Esses requisitos foram utilizados na avaliação do sistema SASHE, tendo sido obtidos resultados que indicaram a eficácia desta proposta e, simultaneamente, a qualidade da implementação do sistema. / This study proposes a new set of requirements which aims to support both the requirements engineering and the evaluation stages in the development process of an educational hypermedia authoring system. These requirements distinguishe both the characteristics of educational context and of hypermedia authoring environments. These requirements were utilized in the evaluation of SASHE, an hypermedia authoring system. The effectiveness of the proposal and the quality of the implementation of SASHE have been analysed through data obtained in this evaluation.

Com avanço da World Wide Web (WWW) ocorreu um aumento significativo em desenvolvimento de hiperdocumentos Web (websites). Esse desenvolvimento, no entanto, tem se mostrado sujeito a muitos \"erros\", que em geral são atribuídos à manipulação de um grande número de nós e links. Tentando diminuir esses erros em potencial, muitos trabalhos têm proposto diferentes soluções para auxiliar a avaliação de hiperdocumentos e a aplicação de métricas se apresenta como uma possível abordagem, seguindo os preceitos de Engenharia de Software. Por sua vez, as métricas, em geral, são de difícil interpretação por parte dos webmasters. Assim, neste trabalho investigamos a abordagem de aplicação de métricas a websites contando com auxílio de técnicas de Aprendizado de Máquina (AM). Estas técnicas têm sido utilizadas em uma variedade de tarefas no contexto Web, tais como auxiliar os usuários em suas pesquisas, aprendizado relacionado aos interesses do usuário, extração de informações, entre outras. Este trabalho visa, através do suporte de técnicas de AM, auxiliar a abordagem de análise de métricas de websítes. / With the widespread of the World-Wide-Web there was a significant increase in development of Web hyperdocuments (websites). This development, however, has been shown to be an error-prone activity due (o the manipulation of large amount of nodes and links. In order to reduce the errors, several essays have proposed different solutions to help evaluating hyperdocuments and according to Software Engineering theories, metrics usage can be an useful one. But the metrics generally are difficult to be understood by the webmasters. Thus, we propose an approach that considers metrics usage in websites regarding to the support of Machine Learning techniques. The techniques have been used in a variety of Web context tasks, including learning to assist users in searches, learning information extractors, learning user interests, and others. This work focuses on helping the analysis of website metrics using the support of Machine Learning techniques.

O principal propósito deste trabalho e estudar a estrutura dos métodos de Runge-Kutta para equações integrais de Volterra. Isto tem sido desenvolvido de forma tradicional durante vários anos. Este assunto será tratado com uma roupagem bem atual, a qual necessita da teoria de grafos, tornando assim mais fácil a tarefa de obtenção dos coeficientes de Volterra-Runge-Kutta. Também estão incluídas as extensões naturais continuas do mesmo método, de modo a mostrar que e possível construir funções polinomiais continuas por partes, de ordem suficientemente elevada, as quais permitem estender a aproximação nos pontos da malha para todo intervalo de integração. / The mean purpose of this work is to study the structure of Runge-Kutta methods for Volterra Integral Equations. This has been developped for many years in a classical way. This matter will be treated in a very recent fashion, which needs Theory of Graphs, becoming the task of getting Volterra-Runge-Kutta coefficents very easy. Also, it is included the so called Natural Continuous Extensions of the same method, in order to show that, it is possible to build sufficent high order piecewise polynomial functions, which allow to extend the approximation at the grid points, to the whole interval of integration.

Não disponível / In the Sarkovskii\'s sequence 1 < 2 < 4 < ... < 22 .5 < 22.3 <....< 2.5 < 2.3 <.....7< 5<3, is a special order defined upon the positive integers, which represent periods of orbits. This sequence has been recently extended to 1 < 2 < 4 < 7 < 5 < 3 <4e < 5e < ... where ne- represents the period of one typical and different n-periodic orbit. Our principal result is an extension of this new sequence, in which we inserted, between any two of its periods, except among the harmonics 1 < 2 < 4 < ... < 2k , infinitely many sequences of new orbit\'s periods.

Este trabalho apresenta um método de apoio ao processo de mapeamento da abstração de generalização para o Modelo Relacional, o qual proporciona um conjunto completo de opções de mapeamento. A definição e avaliação destas opções de mapeamento foram realizadas considerando-se alguns aspectos da estrutura conceituai da abstração de generalização. Tais aspectos estão relacionados às restrições de sobreposição e participação, e em particular, ao atributo critério, o qual define a especialização de um tipo genérico em tipos específicos. Além disso, considerou-se outros fatores, representados por propriedades, que fazem parte das características básicas de uma ocorrência da abstração de generalização. Para conduzir os analistas e projetistas na escolha de uma opção de mapeamento apropriada, é apresentada uma árvore de decisão, que foi construída de acordo com as restrições e propriedades definidas, as quais são identificadas como relevantes em cada ocorrência da abstração de generalização. Para a validação do desenvolvimento teórico das técnicas de mapeamento que foram propostas, e também, para o tratamento completamente automatizado da abstração de generalização, desde a representação em um modelo orientado a objetos até sua representação relacional, foi construída uma fermenta. / This dissertation presents a method to support the generalization abstraction mapping process for relational model in order to offer a complete set of options for mapping. The definition and evaluation of these options were carried out by considering some aspects of conceptual structure, of the generalization abstraction. Such aspects are related to overlapping and disjoint restrictions, and, particularly, to attribute criterion which defines the specialization of a generic type into specific types. Furthermore, other factors were considered and represent by properties which are part of the basic characteristics of an occurrence of generalization abstraction. To conduct the analysts and designs to choose an appropriate option for the mapping a decision tree is presented. It was built according to the defined restrictions and properties identified as relevant in each occurrence of generalization abstraction. For the validation of the theoretical mapping techniques proposed here and for the completely automated treatment of generalization abstraction, from the representation in an object oriented model to its relational representation, a tool was developed.

Problemas com a escrita podem afetar o desempenho de profissionais de maneira marcante, principalmente no caso de pesquisadores e acadêmicos que precisam escrever com proficiência e desembaraço não apenas na língua materna, mas também em uma ou mais línguas estrangeiras. Atualmente, o inglês é a língua dominante para a escrita e divulgação de pesquisas técnicas e científicas. Para amenizar os problemas desses usuários da língua inglesa, que sofrem interferência da língua materna quando escrevem em inglês ou se sentem incapazes de gerar construções e composições lingüísticas de tal idioma, foi desenvolvido o ambiente modular de auxílio e ensino da escrita técnica, chamado AMADEUS (Alvfiable Árticle DEvelopment for User Support). A estrutura do AMADEUS consiste em várias ferramentas inter-relacionadas ferramenta de referência, ferramenta de suporte, ferramenta de crítica e ferramenta tutorial. A ferramenta de critica, objeto de estudo deste trabalho, fornece conhecimento estrutural em um nível textual maior que um parágrafo, ou seja, visa indicar o conjunto mais apropriado de componentes das estruturas esquemática e de componentes específicos de cada uma das \'tias seções de um artigo. Essa ferramenta proporciona o desenvolvimento da criatividade no processo de escrita de um texto, assim como a escrita de textos apropriados a um propósito e audiência específicos (por exemplo, para a comunidade de Inteligência Artificial). Este trabalho explora a abordagem de críticas para ensinar a escrita técnica utilizada por uma comunidade de pesquisa específica, a CHI (Conference on Human Factors in Computing Systems). Apresentamos tanto um modelo para a construção de ferramentas de critica para a escrita técnica, quanto um modelo de documentos (artigos técnicos) que deixa explícito os objetivos e convenções da comunidade escolhida e usamos essa teoria explícita para ensinar a escrita de novos artigos neste domínio. Baseado neste modelo de ferramenta foi construído um protótipo de uma ferramenta de crítica para a comunidade CHI, utilizando um corpus de artigos da CHF96. Finalmente, o protótipo foi avaliado de acordo com os critérios de operacionalidade e praticidade. A questão da operacionalidade foi avaliada através da análise da interação de usuários com diferentes graus de competência da escrita técnica em inglês. Para a questão da praticidade, a estendibilidade, portabilidade, personalização, e custo de implementação foram estudados. / Writing scientific papers in English, the língua franca of Science, is often a severe limitation for the career of many a non-native English user. In addition to difficulties in choosing appropriate sentences and collocations which appear with high frequency in scientific texts, non-natives also face problems related to interference from their mother tongue (L1 interference). In order to overcome some of these difficulties, we developed a leaming environment for scientific writing named AMADEUS (Amiable Article DEvelopment for User Support). AMADEUS targets the understanding of the diverse processes involved in the creation of successfill scientific papas. Its overall architecture embodies both advising and tutoring tools, which are called Reference, Support, Critic and Tutoring tools. The Critic Tool helps less-experienced writers to create sections of papers. The tool offers hints (or critiques) as to how better structure the section rather than offer a rigid frame of schematic and specific components for each section. It helps the writing of papers suitable for a purpose and specific audience (for example, the Artificial Intelligence community). The aim of this research is to explore the critiquing approach to teach the scientific writing used by a specific community. We present both, a model for the development of critiquing tools dedicated to the scientific writing and a model of documents which makes explicit the goals and idiosyncrasies of the target community. A prototype system lias been implemented and evaluated for the CHI community (Conference on Human Factors in Computing Systems). A critical analysis of the system\'s architecture and function focusses on two questions: does it work? and is it practical? To anwer the workability question, samples of the system\'s interaction with users with different writing backgrotmds are analyzed. To answer the practicality question, the extendibility, tailorability, portability, and cost-effectiveness of the system is studied.

Não disponível / Let p:E &rarr; B be locally trivial fibre space with fibre F, where F, E, B are connected compact manifolds (without boundary). Let f : E &rarr; E be a fibre preserving map inducing 1B>/sub> : B &rarr; B. E. Fadell and S. Husseini in [FaBO] studied the question of deform a map f to fixed pointfree map (f.p.f.)by fibrewise homotopy. They show that the problem is equivalent to lift the map (1, f)) : E &rarr; E xB E through the inclusionh i : E xBE-&delta; &rarr; E xb E. There they consider the homotopy fibre FB of the inclusion i. They assume that dim F = n &ge; 3 so they can use obstruction theory with local coefficient &prod;n-1 (FB) wihich is abelian. In this work we study the case where F is a torus. We consider the local coefficient system on E determined by H1(Fb) and we can defined the obstruction abelianized D (1, f) &isin; H2 (E; {H1 (FB)}) . We compute D (1, f) in some examples when p : E &rarr; B is principal torus fibered bundle. In this case, we defined a number i(f) &isin; N. Geometrically i(f) is minimun number of the connected componnent of fix(g), where g = f by fiberwise homotopy. In case that F is torus and B = S1, we also estabelish necessary and sufficient conditions to deform f to f.p.f map by fiberwise homotpy.

Neste trabalho, desenvolvemos uma análise para modelos de componentes de variância. Assumindo diferentes densidades a priori para os parâmetros do modelo de componentes de variância com 2 ou 3 componentes de variância, exploramos o uso de métodos de aproximação de Laplace para obter as quantidades a posteriori de interesse. Também estudamos a importância de uma boa parametrização para a obtenção de resultados precisos. Além disso, também consideramos distribuições não-normais para os efeitos aleatórios e desenvolvemos um estudo comparativo considerando diferentes conjuntos de dados. / In this work, we develop a Bayesian analysis for variance component models. Assuming different prior densities for the parameters of the model with 2 or 3 variance components, we explore the use of Laplace approximation methods to find the posterior summaries of interest. We also study the importance of a good parametrization to get accurate results. We also consider non-normal distribution for the randon effects and we develop a comparative study considering different data sets.