Orientar o desenvolvimento de aplicações para a Web é um desafio para pesquisadores da área de Hipermídia. O trabalho apresentado nesta dissertação tem como objetivo apoiar a construção de aplicações que se preocupam com o intercâmbio de informações através da utilização da especificação XML (Extensible MarkUp Language). Apresenta-se xRot, um roteiro para apoiar as etapas de definição, geração e apresentação de documentos estruturados manipulados por aplicações para a Internet. O roteiro inclui um algoritmo para geração de documentos XML em um ambiente apoiado por servidores de banco de dados e World Wide Web. Também é apresentada a ArqGDE, uma arquitetura que suporta as aplicações desenvolvidas com o xRot. Como estudos de caso da utilização do roteiro, foram desenvolvidas duas aplicações: AulaML e C2000ML. / Many efforts in the arca of hypermedia are geared towards supporting the development of Webbased applications. This thesis focuses in supporting the development of applications that need to provide for the interchange of documents with the use of XIVIL Extetzsible MarkUp Language. It presents xRot, a set of directions towards guiding the phases of definition, generation and presentation of structured documents manipulated by Internet-based applications. xRot includes an algorithm for the generation of XML documents in an environment supported by database and Web servers. ArgGDE, an architecture that support applications developed with xRot, is also presented. AulaML and C2000ML are applications built as a cases study of the use of xRot.

Este trabalho apresenta uma abordagem bayesiana para fazer inferência sobre os parâmetros de modelos auto-regressivos. Neste contexto, quando os parâmetros variara de forma aleatória e independente adotamos um modelo hierárquico para descrever a densidade a posteriori dos parâmetros. Unia segunda abordagem supõe que os parâmetros variam de acordo com um modelo auto-regressivo de primeira ordem, nesse caso a abordagem proposta é vista como uma extensão do filtro de Kalman onde as variâncias dos ruídos são conhecidas. Os modelos foram analisados usando-se técnicas de simulação de Monte Carlo e a geração de amostras das densidades a posteriori permitiram fazer previsões de séries através das densidades preditivas. Ilustrações de séries financeiras com dados reais são apresentadas e avaliadas pela qualidade da previsão obtida, salientando-se o modelo que melhor representa os dados. / This work deals with the Bayesian method to make inferences on the parameters of autoregressive modeLs. When in this context the parameters of theses models vary randomly and independently, a hierarchical was adopted to obtain a posteriori density of parameters. Another approach of the some method presupposes that the parameters of model srary according to a first-order autoregressive model and is regarded as an extension of Kalman\'s filter in which the variances of noises are kncrwon. Both models were analysed through Monte Carlo\'s simulation techniques and the resulting samples of a posteriori densities allow to calculate a data series through predictable densities. Exemples of a finance series with actual data are provided and the two models are evaluated through their predicting qualities thus revealing the most appropriate.

Atualmente, o inglês é a língua dominante para a escrita e divulgação de pesquisas científicas na forma de artigos científicos. Porém, existem muitos usuários da língua inglesa que sofrem interferência da língua materna quando escrevem este gênero de texto em inglês. Estes usuários se defrontam com problemas nas regras da gramática e estilo, e/ou se sentem incapazes de gerar expressões e orações padrões, e composições lingüísticas maiores que são convencionais neste gênero. Para amenizar os problemas desses usuários foi desenvolvido um ambiente modular de auxílio e ensino de escrita técnica chamado AMADEUS (Amiable Article Development for User Support). AMADEUS consiste de várias ferramentas inter-relacionadas ferramenta de referência, ferramenta de suporte, ferramenta de crítica e ferramenta tutorial e fornece o contexto que está inserido este trabalho de mestrado. O objetivo principal deste mestrado é implementar AMADEUS como uma arquitetura de agentes que se comunicam através da troca de mensagem com um agente especial que contém um modelo dinâmico do usuário interagindo com o ambiente. Para tanto, introduzimos o conceito de adaptatividade em sistemas computacionais e descrevemos vários shells para modelar o usuário. Também fornecemos detalhes sobre agentes inteligentes que foram usados para implementar o modelo de usuário para o ambiente AMADEUS. / Currently, the English is the language chosen to publish research. However, many non-natives of English face problems related to interference from their mother tongue (L1 interference) when wriüng scientific papas in English. These non-native users also face problems concerning several aspects of the English such as grarnmar and style, and/or lave difficulries in choosing appropriate sentence and collocations which ,appear with high frequency in scientific texts. In order to overcome some of tese difficulties we developed a leaming environment for scientific writing named AMADEUS (Amiable Article Development for User Support). The overall architecture of AMADEUS embodies both advising and tutoring bois, which are called Reference, Support, Critic and Tutoring tools and provides the context of this research work. The main goal of this work is to implement AMADEUS as an agent-based archite,cture with collaborative agents communicating with a special agent embodying a dynamic user model. In order to do that we present the concept of adaptivity and describe several user model shells. We also provide details about intelligent agents which were used to implement the user model for the AMADEUS environment.

Este trabalho apresenta métodos para a resolução de Problemas de Programação Linear Inteira Mista. Estes métodos estão baseados na decomposição primal ou dual do problema. Apresenta também, um método que utiliza ambas as decomposições em um único procedimento, chamado de Método de Decomposição Híbrida. Além disso, este trabalho apresenta um estudo de caso sobre o Problema de Planejamento e Controle de Produção numa Fundição Automatizada. Apresenta a resolução deste problema através de um algoritmo de busca heurística e seus resultados computacionais. / This work presents methods for solving Mixed Integer Linear Programming Problems. These methods are based on primal ar dual decomposition of the problem. It also presents a method which simultaneously uses both decomposition, named the Cross Decomposition Method. Furthermore, this work shows an application on a particular Planning and Contrai Production Problem and its resolution by a heuristic search algorithm with computational results on a number of examples.

Usualmente, em simulação de sistemas, fixa-se a priori o tamanho da rodada n, e a partir dos resultados calcula-se a média final da variável aleatória de interesse e seu intervalo de confiança. Law e Carson propõem um procedimento sequencial para determinação do tamanho da rodada, a partir da meia amplitude do intervalo de confiança fixado e da autocorrelação de lag 1 para as médias dos batches. Com o procedimento sequencial de Law e Carson determinamos o comprimento médio das rodadas de simulações da fila M/M/1, com p =0,8 e 0,5; e y, a meia amplitude relativa do intervalo de confiança com valores ∞ ; 0,15 e 0,075; a partir de 100 a 180 rodadas distintas. O desempenho da simulação foi então analisado através da porcentagem de cobertura do valor real do tempo médio de espera na fila, para três modelos. Os resultados obtidos levou-nos a uma cobertura muito próxima de 90%, que é a confiança do intervalo de confiança construido, com correlação entre os batches muito pequena indicando uma quase independência entre eles. / In system simulation, usually we have a run of lenght n fixed, and then we calculate the final mean of the random variable analysed, and its confidence interval. Law and Carson\'s sequential procedure fix the half width of the confidence interval and the autocorrelation lag 1 for batch means, and determine the run length. With Law and Carson\'s procedure we determine the run length for severa! M/M/1 queues, with occupation rate p = 0,.8 and 0.5, and y relative half width of the confidence interval, as ∞; 0.15 and 0.075, from 100 to 180 independent runs. The simulation results of 200 runs of some models was analysed by the percentagem of times that the real value of the mean waiting time belong to the 90% confidence interval. The results were very dose to 90%, and the correlations between the batch means as small as to be considered quasi independence.

Usando números aleatórios antitéticos e usuais, comparamos os resultados de simulações em uma fila M/M/1 com realimentação instantânea Bernoulli. A análise foi feita sobre o valor médio de 200 rodadas, em cada caso, para o tempo de espera na fila com valor teórico Wq, sendo que o número de esperas para cada freguês é aleatório. Obtivemos resultados para o valor de Wq e os intervalos de confiança de 90%. A partir dos intervalos de confiança verificamos a porcentagem de cobertura do valor real de Wq. Os resultados confirmam a redução de variância usando números aleatórios antitéticos, porém a cobertura é levemente menor: 88,50% com números aleatórios usuais e 87,50% com antitéticos. / Antithetic random numbers are used on Simulation literature to reduce variance. But it is impossible to determine the real coverage of the real mean value of the variable, by the constructed confidence interval. Using an M/M/1 queue with feedback as model, we develope simulations, by Barch Means, using both, usual and antithetic random numbers, to compare the results of the mean waiting times: the half width of the 90% confidence intervals, the coverage of its real value and the correlations between the batches. The result are as w expected, the half width of the confidence intervals are smaller with antithetic random numbers, the correlations lag 1, 2 3 too, but the coverage, over 200 simulations on each case, are lightly worse with the antithetic ones.

Integração é uma forma de auxiliar às empresas de manufatura a sobreviverem frente à competição internacional, utilizando de forma coordenada modernas filosofias e ferramentas disponíveis. O gerenciamento da informação em ambientes integrados de manufatura vem se tornando cada vez mais complexo devido à necessidade de tratamento de um grande volume de dados. A utilização crescente de ferramentas CASE e conceitos de modelagem CIM está se tornando indispensável no contexto de integração da manufatura e, consequentemente, para o sucesso das empresas. Neste ambiente identifica-se a crescente necessidade de automação do conhecimento humano. Este trabalho apresenta a concepção e implementação de uma ferramenta para modelagem de dados utilizando a tecnologia de Sistemas Baseado em Conhecimento para a representação e manipulação do conhecimento humano. Este ambiente foi desenvolvido para um propósito geral, mas foi testado num ambiente de manufatura. / Integration is a way of helping manufacturing companies to survive in a competitive international environment, using modern philosophies and available tools in a coordenated way. Information management in integrated manufacturing environments is becoming more and more complex mostly due to treatment of a large volume of data. The, use of CASE tools and CIM modeling concepts is becoming indispensable to the solution in the manufacturing integration context and, consequently, to the success of the companies. In this new environment, there has been identified a growing need for automation of human knowledge. This work presents the conception and implementation of a tool for data modeling using the technology of Knowledge-Based Systems for the representation and manipulation of human knowledge. This environment was developed for a general purpose, but was tested in a manufacturing environment.

Nesse trabalho determinamos grupos de bordismo normal de um espaço X com coeficientes num fibrado virtual orientável &phi;, &Omega;i</sub. (X; &phi;), para i &le; 3, em termos dos grupos de homologia de X módulo uma conveniente classe de Serre de grupos abelianos. Introduzimos também um grupo de bordismo normal que pode ser interpretado como um grupo de aplicações homotópicas a imersões de variedades m-dimensionais fechadas numa variedade n-dimensional fixa N, com m &lt; n. Existe uma sequência exata envolvendo esses grupos Jm(N) que nos possibilita determiná-los a menos de extensão de grupos, quando N é uma &pi; -variedade e 3m &lt; 2n +1. Apresentamos alguns resultados sobre o núcleo e a imagem do homomorfismo de \"esquecimento\" definido nessa sequência exata. Estabelecemos também um relacionamento entre homotopia regular e bordismo normal. / In this thesis wc determine normal bordism groups of a space X with coefficients in an orientable virtual bundle &phi;, &Omega;i (X; &phi;), for i &le; 3, in terms of homology groups of X modulo a convenient Serre class of abelian groups. We also introduce a normal bordism group which can be seen as a group of maps homotopic to an immersion of m-dimensional closed manifolds into a fixed connected manifold N of dimension n, with m &lt; n. There is an exact sequence involving these groups Jm(N) which allows us to determine them up to a group extension, if we consider N a &pi; -manifold and 3m &lt; 2n + 1. We present some results about the kemel and the image of the forgetfull homomorphism defined in this exact sequence. We also establish a relationship between regular homotopy and normal bordism.

Este trabalho está relacionado com a solução numérica da equação integral singular com coeficientes constantes, tendo do lado direito a função de Heaviside, pelo método de colocação polinomial. Este método usa os zeros do polinômio de Chebyshev de primeira espécie como pontos de colocação. / This work is concerned with the numerical solution of a constant coefficient singular integral equations having the Heaviside function as the right-hand side or forcing term by polynomial collocation method. This method uses the zeros of a Chebyshev polynomial of first kind as collocation points.

Algumas técnicas e métodos orientados a objetos são discutidos e avaliados neste trabalho, bem como propostas de técnicas para elicitação e anrálise de requisitos.Uma proposta de um modelo de requisitos baseado em cenários, integrável e compatível com o método zuSION é feita. A notação introduzida, o processo de construção do modelo e a passagem para a construção do modelo de análise do FUSION são apresentados. Um estudo de caso relativo a um sistema de agendamento de reuniões ilustra a construção do modelo de requisitos nos moldes propostos. / Several object-oriented techniques and methods are discussed and evaluated in this dissertation, as well as proposals of elicitation and requirements analysis techniques. A proposal of a scenario-based requirements model, integrable and compatible with the zuSION method is presented. The introduced notatioq the process of construction of the model and the passage to the construction ofthe FUSION analysis model are showed. A case study about a meeting schedule system illustrates the construction ofthe requirements model according to the proposed model.