Este projeto de mestrado visa dar continuidade ao desenvolvimento do gerador de malhas não estruturadas tridimensionais que será utilizado pelo grupo de Mecânica de Fluídos Computacional do ICMC na simulação de escoamento de fluídos. Sistemas integrados de modelagem geométrica com alto grau de interatividade exigem estruturas de dados eficazes na representação dos objetos. Na modelagem interativa, as estruturas devem ser eficientes no tempo de acesso às relações de incidências e adjacências. Com esse propósito é que apresentamos uma estrutura de dados para representar objetos volumétricos, tal estrutura deve ser o mais eficiente possível ao mesmo tempo que armazena o mínimo possível de informações. Esta também poderá representar singularidades em vértices e em arestas, não ficando portanto restrita à representação somente de variedades. / This master\'s degree project seeks to give continuity to the development of the threedimensional unstructured grid generator that will be used by the group of Computational Fluid Mechanics of ICMC in the numeric simulation of fluid flow. Integrated systems of geometric modelling with high interaction demand data structures effective in the representation of the objects. In the interactive modelling, the structures should be efficient in the time of access to the relationships of incidences and adjacencies. With that purpose it is that presented this data structure to represent volumetric objects, such structure it should be as efficient as possible at the same time that stores the possible minimum of information. It will also be able to represent singularities in vertexes and in edges, not being therefore restricted to the representation of manifolds only.

À medida que os computadores se tomaram mais baratos, os fatores de usabilidade se tornaram cada vez i- -terminantes nas decisões de aceitabilidade pelos usuários de software. sabilidad- é definida diferentemente por vários autores, porém nesse trabalho utiliza-se uma definição mais ampla que inclui os atributos: facilidade de aprendizado, eficiência de uso, retenção, mínimo de erros e satisfação. Como a usabilidade é um dos fatores que afetam aualiddaade de software) muitos trabalhos têm desenvolvido métodos de avaliação de usabilidade para interfaces de sistemas computacionais interativos. Vários desses métodos têm se mostrado úteis, mas todos eles apresentam problemas relevantes. A partir de uma análise de custo e benefício, baseada em vários critérios (a importância de precisão, custo e tempo)) escolheu-se o Método USINE, que utiliza modelos de tarefa e Iogs gerados de um teste com o usuário de uma aplicação, para ser adaptado e dar suporte a um processo de avaliação de usabilidade elaborado nesse trabalho de mestrado. O processo elaborado utiliza o método USINE e a abordagem de melhoria contínua proposta por Nielsen, que aplica três etapas de avaliação, sendo que à cada etapa melhorias na interface são realizadas. O processo de avaliação foi aplicado à Ferramenta de Crítica do ambiente de suporte e auxílio à escrita AMADEUS e modificações foram realizadas para melhorar a interface da ferramenta. / As computers became cheaper, the quality factors became more and more decisive in the acceptability decisions for users and software buyers. There are several definitions of usabHity, and in this work we are using a broader definition that includes the foliowing attributes: learnability of the system for initial use, efficiency, facility to remember, minimum number of errors, and users\' satisfaction. As usability is one of the factors affecting software quality, several works have developed evaivation methods to interactive systems. Aithough several methods have proved to be useful in supporting usability engineering, ali of them present relevant problems. After an extensive analysis considering several criteria, we have chosen the Usine Method, which uses task modeis and Iogs generated from a user test of an application, to be adapted and give support to an usabil,ty evaluation process, proposed in this work. The proposed process uses USINE and the iterative desígn approach suggested by Nielsen, which evaluates the interface in three turns, improving the interface design in each turn. The proposed process was applied to the AMADEUS\' Critiquing Tool, improving the interface of this tool.

Em qualquer sistema de cache real, o espaço de armazenamento é finito. Quando o cache estiver cheio e, for solicitado um objeto que não esteja presente no cache, será necessário definir o(s) objeto(s) que será(o) retirado(s) do cache para ceder lugar ao objeto que está sendo inserido. Essa tarefa é cumprida pelas políticas de substituição de objetos. Um passo fundamental para melhorar o desempenho de caches na Web é identificar características comuns em suas cargas de trabalho para delinear diretrizes que buscam uma melhor parametrização das políticas de substituição e a organização do espaço de armazenamento de maneira eficaz. Este trabalho tem como propósito ponderar sobre o impacto provocado pelas políticas de substituição de objetos em caches na Web, por meio da investigação, avaliação de desempenho e comparação do uso destas políticas, considerando diversas configurações no espaço de armazenamento de caches. Foram implementadas e analisadas oito políticas, sendo duas delas tradicionais (LRU e LFU); uma política que implementa uma técnica de envelhecimento à política LFU (LFU-Aging); uma política que considera apenas o tamanho dos objetos para substituição (SIZE); duas que tratam de maneira direta os objetos com um único acesso (LFU* e LFU*Aging); a política FBR, que divide o cache em três segmentos e; uma nova política proposta neste trabalho, denominada PESO. A avaliação é feita através de um simulador de caches para Web. / In any real caching system, storage space is finite. When the cache is fuli and an object which is not present in the cache is requested, it will be necessary to define the object that will be removed from the cache to give place to the one that is being inserted. Such task is accomplished by cache replacement policies. A fundamental step to improve the performance of caches in the Web is the identification of common characteristics in their workloads to provide guidelines that aim at a better parametrization of both substitution policies and storage space organization. This study aims to pondering on the impact caused by cache replacement policies in Web caches, through the investigation, performance analysis and comparison of the use of these policies by taking into account several storage space arrangements. Among the eight policies implemented and analyzed, two of them were traditional ones (LRU and LFU); one was implemented through the \"aging\" technique of the LFU policy (LFU-Aging); one considered only the size of the objects for substitution (SIZE); two dealt directly with single-accessed objects (LFU* and LFU*Aging); one divided the cache into three segments (FBR) and, last but not least, a new policy was proposed in this study, called PESO. The evaluation is performed through a Web cache simulator.

A distribuição Binomial é freqüentemente usada quando estamos interessados em ajustar dados de contagens de y sucessos em n ensaios de um mesmo experimento aleatório, onde cada ensaio admite duas respostas: sucesso ou fracasso. Contudo, em muitas aplicações, podemos ter uma variabilidade observada dos dados maior ou menor do que a variabilidade esperada a partir de uma suposição Binomial com parâmetros n e p. Essa variabilidade superior ou inferior dos dados observados em relação a variabilidade do modelo Binomial é chamada variabilidade extra-Binomial e ela pode ser provocada por várias fontes. Alguns modelos tem sido propostos na literatura para ajustar a variabilidade extra- Binomial. Entre eles se destacam os modelos Beta-Binomial, Binomial Correlacionado e Mistura de duas distribuições Binomiais. Nesta dissertação, analisamos esses modelos sob o enfoque Bayesiano utilizando os métodos de Monte Cano em Cadeia de Markov (MCMC). Em particular utilizamos os algoritmos Gibbs Sampling e Metropolis-Hastings para obter estimadores de Monte Carlo das quantidades a posteriori de interesse dos parâmetros. Outro importante objetivo do trabalho é o estudo da variabilidade extra-Binomial na presença de covariáveis. Apresentamos exemplos com dados reais assumindo os diferentes modelos propostos e uma discriminação dos modelos via Fator de Bayes. / The Binornial distribution is often used for counts y of successes in ti repetitions of a randoni experiment where each result is a success or a fai!ure. 1-lowever, in rnany app!ications, we can have a larger or smal!er variability as expected with the Binomial suposition with parameters ti and p. This variability is cafled extra-Binomial variability and it can be obtained from different sources. Some different modeis are introduced in the literature to tit the extra-Binomial variability. Among these modeis, we have the Beta-Binomial model, the correlated Binomial model and the mixture of Binomial distributions. in this dissertation, we analyse these mode!s under the Bayesian approach and usin MCMC (Markov Chain Monte Cano) methods to get the posterior summaries ofinterest. Other irnportant point in this dissertation: the presence ofcovariates in the extra-Binomial variability. We iliustrate the proposed methodology with sarne numerical examples. We also introduce some Bayesian discrimination procedures.

A Ethernet se tornou um padrão aberto de conectividade e através do protocolo HSE (High peed Ethernet) pode se tornar o padrão mais popular dos fieldbuses. A Fieldbus foundation mapeou neste protocolo toda a tecnologia do padrão H1 confirmando a tendência de que a Ethernet dominará também o chão de fábrica. Grande parte das aplicações da rede HSE da Fieldbus Foundation necessitam de uma disponibilidade maior do que um sistema não tolerante a falhas pode fornecer. Usualmente é incorporada uma redundância protetora através da adição de componentes que não seriam necessários num sistema livre de falhas. O alicerce fundamental da redundância é a transparência operacional. Computação reconfigurável é uma solução que combina processadores dedicados com memória, lógica e programação (hardware/software), permitindo a integração de sistemas em um único FPGA (Field Programmmable Gate Array). Estes conceitos possibilitarão a implementação do algoritmo de redundância previsto pela norma HSE de forma transparente para o processador, e consequentemente para a aplicação do usuário. O propósito deste trabalho é fornecer um hardware que tenha duas portas Ethernet de 100Mbp implementados os algoritmos de redundância especificados pelo protocolo HSE. A proposta é a definição de um hardware com dois controladores Ethernet de 100Mbps através do estudo de algumas tecnologias de fabricação de componentes e de alguns paradigmas de projeto de hardware. A forma de manipulação dos dados é um grande desafio para este trabalho, que irá identificar a melhor alternativa para controle do fluxo de dados entre as portas Ethernet, uma vez que as velocidades envolvidas na transmissão são da ordem de 100Mbps. A melhor alternativa deve levar em conta o custo, complexidades e desempenho da solução. A incorporação de tecnologias como HSE e Web aos equipamentos para automação e controle industrial fará com que as soluções para o chão de fábrica acompanhem e desfrutem das tendências tecnológicas da Internet e ainda será uma porta aberta para a tão desejada interoperabilidade. / The Ethernet becomes an open connectivity standard and with the High Speed Ethernet (HSE) protocol can become the most used standard of firldbuses. The Fieldbus Foundation mapped all the Layer 2 technologies from its H1 standard into Ethernet. Many target applications of Foundation Fielbus HSE Network need to have higher availability of the automation system than a non-fault tolerant system can provide. The Fieldbus Foundation HSE approach to improving availability is by means of redundancy. That is, it provides additional hardware to be used in event of a failure. The fundamental underoinning of redundancy is operational transparency. Reconfigurable Computing combines embedded processor with memor, logic and programming to integratre systems in Field Programmable Gate Array (FPGA). This will allow implementing the redundancy algoritms of Foundation specification transparenty. This work will provide an harware with two 100 Mbytes Ethernet port to support the implementing the redundancy algorithms of Foundation specification. The manufacturing technologies and some hardware design techniques The challenges is to find the best way to exchange information between the 100 Mbytes Ethernet controllers. The best solution must achieve low cost, low complexity and high performance. The use of technologies as HSE and Web in industrial automation devices is allowing the plant floor solutions follow the internet tendences and can be the open dor to the interoperatibility.

Estudou-se, durante três anos, as bacias contribuintes dos açudes Pereira de Miranda e Caxitoré, em área de rochas cristalinas no Ceará, para determinar os mecanismos de salinização de suas águas, através de medidas isotópicas (razão \'ANTPOT.18 O\'/\'ANTPOT.16 O\') e hidroquímicas (determinações dos íons maiores) em águas superficiais, subterrâneas e de chuvas. Desenvolveu-se um modelo isotópico para determinar as taxas de evaporação e percolação em açudes, durante os períodos de estiagens, e comparou-se os resultados com aqueles obtidos com o modelo químico convencional. Como mecanismos de salinização dos açudes, foram quantificadas as contribuições das chuvas e da lixiviação do solo. Uma interação açude-água subterrânea, não foi notada. A salinização das águas subterrâneas é atribuída a recargas com águas pluviais, durante o escoamento superficial, seguida por evaporação superficial da água na zona capilar. / During a period of three years the basins of the dams Pereira de Miranda and Caxitoré, located in the crystalline rock area of Ceara/Brasil, were studied in order to determine the mechanisms of salinization of their waters. Isotope methods (\'ANTPOT.18 O\'/\'ANTPOT.16 O\') and hidrochemistry (determination of the major ions) were applied to surface, underground and rain water in this study. An isotope model was designed and applied to the determination of evaporation and percolation of dams in semi-arid zones during the dry season. The results are compared to those from a conventional chemical model. As causes of salinization of the water in the dams the contributions of the rain it self and the lixiviation of the soil are quantified. An interaction between the dams and the underground water is imperceptible. The salinization of the underground water is attributed to recharge of the aquifer with rain water from the surface runoff followed by evaporation of the water rising, due to capillarity, in a one-diretional flow to the surface.

A Técnica de Geração de Colunas é uiri procedimento para resolver problemas de otimização linear de grande escala, onde o número de variáveis é muito grande. Esta técnica tem a vantagem de trabalhar com as colunas implicitamente. Colunas adicionais serão geradas, quando necessário, resolvendo um subproblema. A Técnica de Geração de Colunas também pode ser usada em combinação com o método Branch and Bound para resolver problemas de Otimização Inteira. Neste trabalho serão apresentadas as aplicações da Técnica de Geração de Colunas em vários problemas de otimização e alguns testes computacionais. / The Technique of Column Generation is a procedure for solving large-scaie optimization prob]ems, where the number of variables are very high. This technique has advantage of working with the cohimns implicitly. Additional column will be generated, as needed, solving the princing problem. The Technique of Column Generation can also be uséd in combination with method Branch and Bound for solve problems of Integer Optimization. In this work will be presented applications of Technique of Column Generation in several problerns of optimization and some computational tests.

A linguagem XML (Exlensibk\' Markup Language) vem sendo muito utilizada em diversas aplicações e já é reconhecida como uma linguagem padrão para representação de documentos tanto no meio acadêmico quanto no comercial. Porém, a disponibilidade de uma grande quantidade de dados apresenta vários problemas práticos que o padrão XML, por si só, não pode resolver. O objetivo deste trabalho é desenvolver um servidor XML capaz de realizar diversas operações (como adicionar, consultar, apagar e transformar) sobre um repositório de documentos XML e XSL (Exiensihk\' Stylesheei Language). Esses documentos são representados na forma de objetos Java que obedecem ao modelo de interfaces DOM (Documeni Ob/ect Model), um modelo padrão usado em várias aplicações da Internet. Para o armazenamento é utilizado o serviço JavaSpaces, que pode ser usado como um repositório persistente para esses objetos DOM-Java. O servidor XML utiliza a linguagem XQL (XML Query Language) na realização de consultas. Além disso, ele permite, através da linguagem XSL, a conversão de documentos XML para outras linguagens. / The Extensible Markup Language (XML) has heen used in several applications and it is being already recognized as a standard language for document representation in the academic and business wor!ds. However, great amounts of data present several practical problems that the XML standard itself does not address. The goal of this project was to develop a XML server capable of doing many kinds of operations (such as adding, querying, deleting and transforming) over a repostory of XML and XSL (Extensible Stylesheet Language) documents. These docurnents are represented using Java objccts conforming to the DOM (Document Object Model) interface model, a standard model used in many Internet applications. For object storage, the JavaSpaces service is used as a persistent repository for the DOM-Java objects. The XML server uses the XQL (XML Query Language) as query language. It a!so aliows the conversion of XML documents into other !anguages using the XSL language.

Este trabalho apresenta o grupo C1, n das classes de cobordismo de enlaçamentos de intervalos e as generalizações, para este grupo, dos teoremas de Markov e da Representação de Artin para tranças. / This work presents the group C1, n of cobordism classes of string links and the generalizations, for this group, of Markov\'s Theorem and Artin\'s Representation Theorera for braids_

Neste trabalho apresenta-se uma extensa revisão bibliográfica sobre os sistemas de navegação em bases de dados (\"browsers\"), levantando-se e comparando-se as características dos principais sistemas desse tipo encontrados na literatura. Os resultados dessa análise foram utilizados para projetar e implementar um sistema desse tipo dentro do ambiente Damokles, que é centrado num SGBD baseado em um modelo de dados semântico, desenvolvido especialmente para uso em ambientes de desenvolvimento de software. O sistema implementado permite a navegação no esquema da base de dados e também em suas instâncias. Foram utilizados recursos gráficos para apresentar o esquema da base de dados e facilitar a interação com o usuário. Descrevem-se também as principais decisões de projeto do sistema implementado, bem como ilustra-se o seu uso através de uma sessão demonstrativa, utilizando-se como exemplo uma base de dados não muito complexa. / In this thesis a comprehensive bibliographic analysis about data base browser systems is made. The major facilities of these systems are assessed and compared. Using the knowledge acquired from that analysis a Browser System has been designed and implemented within the Damokles environment, which focuses on a DBMS based on a semantic data model. Damokles has been developed to be used in software development environments. The browser developed allows navigation through the data base schema as well as through the object instances. Graphical facilities have been utilized in the system\'s interface aiming at a visual, user-friendly interact..on between the user and the system. The major design decisions are also described and the system\'s usability is demonstrated walking through a user session browsing a not complex data base.