O presente trabalho descreve a implementação de um sistema de correio eletrônico numa. rede heterogênea. de computadores. Inicialmente, faz-se urna revisão de aspectos gerais de correio eletrônico, seguida de uma discussão da interpretação de endereços e da necessidade de translação, de forma. a determinar o mecanismo de transporte a ser utilizado entre os sistemas heterogêneos envolvidos. Após uma visão geral dos protocolos utilizados, é apresentada. uma. descrição detalhada das configurações e interconexões usadas para implementar o sistema. de correio. / Fite present work describes lhe implementado)) of an E-mail system ou a heteroge- 11011S computer network. First a review of generic aspects of E-mail systems is presented followed by a discussiou of lhe addressing interpretado\') and the necessary translation iii order to determine lhe transpor\'. mechanism to be used between lhe heterogenous systems involved. Afiei an overview about utilized protocols. a. detailed description of lhe final configurations and iuterconnections used to implement time E-mail system is presented.

Uma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts. / One of the special features of Real Time Systems is its immediate reaction to real world stimuli. The methods for specification and design of RTSs propose the use of techniques for this reactive behavior specification. A comprehensive bibliographic review about RTSs specification methods is done in this thesis. As a result the techniques used in these methods for behavior specification have been assessed and one of them, the STATECHARTS, has been chosen to be supported through a tool developed to this end. The tool requirements and its arquitecture have also been discussed. The tool\'s usability has been shown, emphasizing its main features and applying it to a typical case.

Planejamento é uma área muito difundida em Inteligência Artificial. Seu grande escopo de aplicação tem despertado interesse em pesquisadores do mundo todo. A idéia central de planejamento é gerar uma sequência de ações para um agente por exemplo um robô, que poderá alterar a descrição de um determinado ambiente. A esta sequência de ações dá-se o nome de plano. Os planos são construídos pela escolha das ações que são capazes de resolver os objetivos que compõem uma determinada meta. Para esta escolha, devem ser levadas em conta as ações disponíveis para o domínio de aplicação, as situações nas quais elas serão aplicadas, bem como as mudanças que elas irão provocar na descrição do ambiente. Ao longo dos mais de 30 anos de pesquisa na área de planejamento, várias técnicas que ainda constituem parte importante para muitos planejadores têm sido desenvolvidas. Neste trabalho, são definidos alguns dos termos, conceitos e aspectos básicos comumente encontrados em planejamento. São, também, discutidos alguns dos problemas que surgem no projeto de planejadores, bem como as principais soluções propostas ao longo dos diversos anos de pesquisa nesta área. O principal aspecto, que deve ser considerado em planejamento, é o problema de busca. De fato, planejamento é essencialmente um problema de busca. São discutidas algumas - das técnicas usãdas para reduzir o número de estados intermediários, tais como: análise dos meios e fins, menor comprometimento e fixação de restrições. Em adição ao problema de controlar a busca, a ordem na qual são resolvidos os objetivos é um fator marcante para a eficiência do processo de busca. A solução de tal problema é discutida para algumas técnicas, tais como: ordenação de objetivos, regressão de objetivos e ordenação por níveis de importância. São, também, apresentadas implementações simplificadas que ilustram os princípios de planejamento usando algumas destas técnicas. / Planning is a large, popular and growing area of Artificial Intelligence. The central idea of planning is the generation of an action sequence for an agent, such as a robot, that can change its environment. Plans are constructed by reasoning about how available actions can be applied to achieve various goals. For this reasoning process to occur, the planner must be aware of its available actions, the situations in which those actions are applicable as well as the changes in the environment due to their execution. For more than 30 years, planning systems have been an active research topic a number of technique - that still form an essential part of many of today\'s AI planning systems - have been developed during this period. In this work some terms commonly used in the planning literature are defined and some of the problems that have arisen in the design of planning systems as well as solutions that have been developed over several years of research in this area are described. The major issue for any planning system is reducing search. In fact, planning is essentially a search problem. Several techniques to reduce the number of intermediate states such as: means-ends-analysis, least commitment and others are discussed. In addition to th problem of controlling the search, the order in which several simultaneous goals are tackled can have a marked effect on the efficiency of the search process. The solving of such problem is discussed by some techniques, such as: ordering goals, regressed goals and ordering the various goals by level of importance. It is also developed several simple planners, that illustrate the principles of planning using those techniques.

Neste trabalho estudamos a teoria de formas quadráticas sobre anéis locais, sem a hipótese que 2 é inversível no anel. Nosso objetivo é estabelecer uma correspondência biunívoca entre o conjunto dos ideais primos minimais do Anel de Witt sobre um anel local e o conjunto das ordens maximais deste anel. Esta correspondência já foi estabelecida por Kanzaki e Kitamura quando 2 é inversível no anel local. / In this work we study quadratic forms theory on local rings on which we don\'t have the hipothesis that 2 is invertible. Our aim is to stablish a one to one correspondence between the set of the minimal prime ideais of Witt Ring on a local ring and the set of maximal orders of this ring. This correspondence have already been stablished by Kanzaki and Kitamura when 2 is invertible on the local ring.

Este trabalho apresenta o projeto e implementação de melhorias na ferramenta httperf, que é um benchmark para servidores Web. A melhoria implementada constitui na interpretação de logs para a ext.ração de parâmetros de carga de trabalho. Para tanto, foi necessária a criação de um ferramenta à parte, que trabalha o arquivo de log e retira os parâmetros a serem utilizados pelo httperf. O desenvolvimento do trabalho foi baseado em uma revisão bibliográfica cobrindo avaliação de desempenho de sistemas computacionais, características da Web e ferramentas/ benchmarks especializados em sistemas baseados na Web. Apresenta ainda uma discussão sobre arquiteturas de servidores Web e o uso dos benchmarks na avaliação desses servidores. Foi desenvolvido um estudo sobre as ferramentas, onde foram analisadas suas características, com o intuito de identificar características não abordadas, mas julgadas importantes nesse tipo de avaliação. A partir desse estudo selecionon-se algumas das características identificadas que foram incorporadas à ferramenta escolhida. Finalmente, a ferramenta que recebeu as alterações foi avaliada por meio de diversos experimentos, quando os resultados obtidos mostraram que a implementação desenvolvida era viável. / This work presents the design and implementation of improvements for httperf - a benchmark tool for Web servers. The improvements are basically the interpretation of logs for extracting workload parameters. The creation of another tool was necessary to extract from the log the parameters to be used by httperf. Work development was based in reviewing the literature on performance evaluation of computing systems. Web characteristics and benchmarks for Wreb based systems. Discussion about Web server architecture and benchmark using for server evaluation are also presented. A stucly about similar tools (such as httperf) was made, where characteristics were analyzed to identify the ones not approachecl yet, being relevant for performance evaluation. Some were iclentified, selected and inserted in the chosen tool. Finally, changes were incorporated to the tool. which was then evaluated through several experiments; results show the developed improvements are usable.

Esta tese de doutorado apresenta um modelo de servidor Web mostrando as componentes internas básicas do software servidor, representando a comunicação completa entre cliente e servidor. O modelo construído pode ser usado para avaliação de desempenho e toma como base um modelo já existente no qual são feitas uma extensão e uma modificação inéditas. As principais técnicas usadas foram a teoria das filas, parametrização do modelo, solução do modelo por simulação e a validação através de observações obtidas em experimentos controlados de laboratório. Como contribuições citam-se aqui: (i)a extensão para conexões persistentes, o que diz respeito a uma característica já padronizada no protocolo HTTP 1.1, porém não considerada no modelo base anterior; (ii) a modificação quanto à carga de chegada, vindo esta segunda contribuição a constituir duas melhorias. A carga orientada a sessão é de modelagem mais fácil e a distribuição da chegada de sessões tem representação mais fidedigna do que a distribuição da chegada de documentos, conforme considerado no modelo base. / This doctorate thesis presents a Web server model showing basic internai software components, regarding the complete communication between client and server. The model is built from a base, already existing model in which an extension and modification are proposed. The techniques used were queueing theory, model parametrization, model solution through simulation and validation by measures obtained in controlled laboratory experiments. The main contributions are: (i) the extension for persistent connections, already a standard in HTTP 1.1, which had not been considered in the previous model; (ii) the modification of the arrival workload, bringing two improvcments. The session oriented load is more easily modeled and the distribution of session arrival has a good representation, as compared to the distribution of document arrival considered in the base model.

Atualmente, há uma grande diversidade de aplicações que funcionam sobre a infraestrutura da Internet, as quais apresentam diferentes necessidades. Como consequência, seu modelo de serviços de melhor esforço tem sido incrementado, de modo a permitir o fornecimento de diferentes níveis 011 classes de serviço aos clientes. Contudo, de nada adianta garantir uma qualidade de serviço diferenciada 11a rede, se os elementos finais dessa cadeia, os servidores, não estiverem habilitados a reconhecê-la. Nesse contexto, este trabalho propõe uma arquitetura para um servidor web capaz de fornecer serviços diferenciados a seus clientes, segundo suas características de demanda. Esta arquitetura 6 verificada por meio de um modelo de simulação e são utilizados logs de acesso a servidores web como carga de trabalho. Foram implementados três mecanismos de diferenciação de serviços na arquitetura, os quais correspondem a duas abordagens distintas: enfileiramento baseado cm classes e escalonamento baseado em prioridades. Dentre eles, destaca-se o mecanismo de prioridades adaptativo, que realiza uma sintonia fina da qualidade de serviço fornecida, determinando quão rigoroso será o esquema de prioridades empregado. O sistema adquire, então, capacidade de adaptação a variações 11a carga de trabalho, característica essencial em um ambiente altamente dinâmico como a Web. A arquitetura proposta contempla também o controle de admissão de requisições, a fim de evitar a sobrecarga do sistema, caso a demanda dos usuários atinja níveis elevados. Foram implementados três mecanismos de controle de admissão, os quais utilizam diferentes parâmetros como referência para a tomada de decisão. O controle de admissão revelou-se de fundamental importância para a estabilidade do sistema, bem como para a garantia da qualidade do serviço fornecido aos clientes. / Nowadays, filtre are several types of applications ruaning on the Internet infrastructure with different necessities. Consequcntly, the current bost-offort servicc model lias bcen enhanced so as to allow the provision of different leveis or classes of service to the clients. However, it is uscless to sustain a differentiated quality of service in the network if the end elements, the web servers, are not, enabled to deal with it. Thercfore, t.his work pro]>oses an architccture for a web server capable of providing differentiated services to its clients according to their demand charactcristics. The architccture is validated by means of a simulation model and real web server traces are used for workload generation. Threc servicc differentiating mcchanisms liave bcen implemcnted in the architccture, whieh correspond to two different approachcs: class-based qucueing and priority based scheduling. Among them, the adaptive priority mcchanism lias shown the best results: it allows the tuning of the quality of servicc provided and determines liow strict the use of priorities will be. The system can then adapt itself to various workloads, an essential fcaturc in a liighly dynamic cnvironmcnt sucli as the Web. The proposcd architccture also deals with admission control issues, in order to avoid system ovcrload when user demand rises unexpecteclly. Tliree admission control mechanisms liave been implemented using different, evaluation parameters. The admission control module has proved to be of fundamental importance to system stability as well as to assure the quality of service provided to the clients.

Este trabalho apresenta uma nova política de escalonamento para aplicações paralelas Network-Bound baseada no impacto do processamento causado pela comunicação entre processos. O modelo utilizado quantifica o volume de tráfego imposto sobre a rede de comunicação por meio dos parâmetros latência e sobrecarga. Tais parâmetros representam a carga que cada processo impõe sobre a rede e o atraso sobre a CPU devido às operações na rede. Esse atraso é representado na política por meio da métrica slowdown. Equações matemáticas são definidas para a quantificação dos custos envolvidos no processamento e na troca de mensagens, do mesmo modo, são propostas equações para determinar a largura máxima de banda (bandwidth) utilizadas nas tomadas de decisões de escalonamento. Outra característica importante da política é a definição de uma constante k, que delimita a utilização máxima permitida da rede de comunicação. O valor de k define a adoção de duas possíveis técnicas de escalonamento: escalonamento em grupo, ou por intermédio da rede de comunicação. As técnicas propostas são incorporadas à política de escalonamento DPWP (originalmente CPU-Bound) gerando uma extensão Network-Bound. Resultados experimentais e de simulação confirmam o aumento de desempenho de aplicações paralelas sob supervisão da política DPWP estendida, denominada NB SP, quando comparadas às execuções supervisionadas pela DPWP original. / This work presents a new scheduling policy for Network-Bound parallel applications based on impacts of the processing operations resulting from the communication among processes. The model adopted quantifies the traffic volume imposed on the communication network by means of the latency and the overhead parameters. Such parameters represent the load that each process imposes over the network and the delay on the CPU, as a consequence of the network operations. The delay is represented on the model by mean of metric measurements slowdown. The mathematics equations that quantify the costs involved in the processing operation and message exchange are defined. In the same way, equations to determine the maximum network bandwidth are used on the decision-making scheduling. Another important feature of the policy is the definition of a constant k that delimitates the communication network maximum allowed usage. The k value defines the adoption of two possible scheduling techniques: group scheduling or through communication network. The proposed techniques are incorporated to the DPWP scheduling policy (oriniginally CPU-Bound), generating an extension Network-Bound. Experimental and simulation results confirm the performance enhancement of parallel applications under supervision of the extended DPWP policy, denominated NB SP, when compared to the executions supervised by the original DPWP.

Neste trabalho estudamos a fibração de Milnor associada a singularidades isoladas reais definidas por germes de aplicações f : Rn, 0 → R2, 0 . O principal resultado relaciona a existência da fibração de Milnor com a (c)-regularidade da família de hipersuperfícies com singularidade isolada obtida projetando f sobre a família L-θ de todas as retas pela origem no plano R2. Estudamos também famílias de germes de funções analíticas com singularidades isoladas. O objetivo é encontrar condições suficientes para a trivialidade topológica das famílias e a equivalência das fibrações de Milnor associadas a elas. / In this work we study the Milnor\'s fibrations associated to real isolated singularities defined by map-germs f : Rn, 0 → R2, 0. The main result relates the existence of the Milnor\'s fibration with the (c)-regularity of the family of hypersurfaces with isolated singularity obtained by projecting f into the family L-θ of all lines through the origin in the plane R2sup. We also study families of germs of analytic functions with isolated singularities. The aim is to get sufficient condition for the topological triviality of the families and the equivalente of the Milnor fibrations associated to them.

A literatura apresenta regras de usabilidade para orientar o projeto de interfaces de sistemas de software. No entanto, essas regras geralmente estão relacionadas a aspectos de apresentação de mídias de informação isoladas, mostrando-se limitadas quando analisadas sob a perspectiva de diferentes mídias. Propõe-se, a partir de regras de usabilidade propostas na literatura e da avaliação de usabilidade de hiperdocumentos multimídia de um sistema Web, um conjunto de regras que se aplica ao projeto de hiperdocumentos multimídia voltados para o contexto da World Wide Web. As novas regras foram utilizadas para orientar a implementação de uma nova versão de hiperdocumentos para o sistema originariamente avaliado. No contexto do mesmo sistema, as regras propostas foram comparadas com um conjunto clássico de regras de usabilidade. Finalmente, as novas regras foram investigadas em termos de sua adequação à avaliação de hiperdocumentos multimídia de outros dois sistemas Web. / Usability rules have been proposed in the literature to guide the design of software interfaces. However, these rules generally pertain to the presentation aspects of a particular information media, with limitations revealed when applied across different media. From the usability rules found in the literature and from the usability evaluation of multimédia hyperdocuments for a single system on the Web, we propose a set of rules to apply to a project containing multimédia hyperdocuments focused in the context of the World Wide Web. The new set of rules were used to guide the implementation of a new version of hyperdocuments for the system evaluated. In the context of that same system, the new rules were compared to a classic set of usability rules. Finally, the set proposed was investigated with respect to their adequation to the evaluation of hypermedia documents of two other web systems.