As casas de Oscar Niemeyer - 1935-1955

A presente dissertação trata das casas projetadas pelo arquiteto Oscar Niemeyer, no período que compreende o início da sua carreira, em 1935, até a revisão autocrítica de 1955 – entre a Emergência e o final da Hegemonia da Arquitetura Moderna Brasileira. As 24 casas do período são apresentadas em ordem cronológica estudadas e analisadas individualmente, em paralelo ao conjunto de sua obra e considerando o contexto arquitetônico local e internacional. Contexto este especificamente representado pelos seus mestres confessos: Lucio Costa e Le Corbusier. As análises específicas de cada casa abordam: a sua motivação, o contexto histórico-cultural, os seus clientes, o lugar onde estão (ou estariam) e os seus aspectos compositivos, formais, funcionais e técnico-construtivos. O conjunto e contexto aparecem como suporte para a comparação, verificação de precedência, de influência, de renovação ou realimentação. Os resultados foram classificados, listados e quantificados afim de permitir futuros estudos sobre o tema. O trabalho procura também contribuir como meio de compilação, preservação e registro iconográfico desta parcela da obra de Niemeyer.

O fornecimento de hortifrutigranjeiros para unidades de alimentação e nutrição hospitalares

Os serviços de produção de alimentos representam importantes setores dentro das instituições onde estão estabelecidos. Dentre seus principais objetivos destaca-se o fornecimento de uma alimentação balanceada e segura baseada nos princípios da nutrição e dietética, para os pacientes e os demais clientes. O fornecimento de hortifrutigranjeiros para o setor hospitalar consiste de um importante segmento dentro da cadeia de suprimento agroalimentar. Esse fornecimento demanda altos padrões de qualidade, o qual consiste do cumprimento de normas higiênico-sanitárias, do tamanho, da forma, da procedência, da isenção de resíduos e agrotóxicos entre outros. Optou-se por uma pesquisa de caráter exploratório, onde o objetivo foi analisar o processo atual de fornecimento de produtos hortifrutigranjeiros e verificar a eficiência desse processo. Realizou-se um paralelo entre o preconizado pela ciência da nutrição e a prática do fornecimento através da análise dos fornecedores de hortifrutigranjeiros e do diagnóstico das necessidades da clientela hospitalar. Como conclusão, verificou-se que o fornecimento atual não é eficiente, se dá de maneira inadequada, não atendendo a maioria dos requisitos hospitalares de fornecimento. Sugere-se a implementação da metodologia do gerenciamento da cadeia de suprimentos e do cooperativismo como propostas para a otimização do fornecimento.

Uma ferramenta para geração de filtros FIR paralelos otimizados com coeficientes constantes

Esta dissertação trata da elaboração de uma ferrramenta para a geração de filtros FIR otimizados paralelos com coeficientes constantes. A ferramenta desenvolvida é capaz de gerar uma descrição VHDL de um filtro FIR paralelo com coeficientes constantes a partir das especificações do filtro. São exploradas técnicas de otimização de coeficientes e de otimização arquitetural. As técnicas empregadas são baseadas no uso de representações ternárias e redução do número de digitos não-zero dos coeficientes, uso de fatores de escala e eliminação de sub-expressões comuns. No texto, uma breve introdução sobre os filtros digitais é apresentada seguida por uma série de trabalhos encontrados na literatura relacionados às técnicas mencionadas e que são apresentados como base para o desenvolvimento da ferramenta implementada nesta dissertação. O funcionamento da ferramenta é detalhado tanto nos seus aspectos de algoritmo quanto em nível de implementação. São apresentados resultados de síntese em alguns de filtros hipotéticos projetados utilizando a ferramenta desenvolvida. Uma análise detalhada dos resultados obtidos é realizada. Os apêndices deste trabalho apresentam o código fonte da ferramenta de síntese de filtros desenvolvida.

Métodos multigrid paralelos em malhas não estruturadas aplicados à simulação de problemas de dinâmica de fluidos computacional e transferência de calor

Fenômenos naturais, tecnológicos e industriais podem, em geral, ser modelados de modo acurado através de equações diferenciais parciais, definidas sobre domínios contínuos que necessitam ser discretizados para serem resolvidos. Dependendo do esquema de discretização utilizado, pode-se gerar sistemas de equações lineares. Esses sistemas são, de modo geral, esparsos e de grande porte, onde as incógnitas podem ser da ordem de milhares, ou até mesmo de milhões. Levando em consideração essas características, o emprego de métodos iterativos é o mais apropriado para a resolução dos sistemas gerados, devido principalmente a sua potencialidade quanto à otimização de armazenamento e eficiência computacional. Uma forma de incrementar o desempenho dos métodos iterativos é empregar uma técnica multigrid. Multigrid são uma classe de métodos que resolvem eficientemente um grande conjunto de equações algébricas através da aceleração da convergência de métodos iterativos. Considerando que a resolução de sistemas de equações de problemas realísticos pode requerer grande capacidade de processamento e de armazenamento, torna-se imprescindível o uso de ambientes computacionais de alto desempenho. Uma das abordagens encontradas na literatura técnica para a resolução de sistemas de equações em paralelo é aquela que emprega métodos de decomposição de domínio (MDDs). Os MDDs são baseados no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções obtidas em cada um dos subdomínios Assim, neste trabalho são disponibilizados diferentes métodos de resolução paralela baseado em decomposição de domínio, utilizando técnicas multigrid para a aceleração da solução de sistemas de equações lineares. Para cada método, são apresentados dois estudos de caso visando a validação das implementações. Os estudos de caso abordados são o problema da difusão de calor e o modelo de hidrodinâmica do modelo UnHIDRA. Os métodos implementados mostraram-se altamente paralelizáveis, apresentando bons ganhos de desempenho. Os métodos multigrid mostraram-se eficiente na aceleração dos métodos iterativos, já que métodos que utilizaram esta técnica apresentaram desempenho superior aos métodos que não utilizaram nenhum método de aceleração.

RST: Reuse through Speculation on Traces

In this thesis, we present a novel approach to combine both reuse and prediction of dynamic sequences of instructions called Reuse through Speculation on Traces (RST). Our technique allows the dynamic identification of instruction traces that are redundant or predictable, and the reuse (speculative or not) of these traces. RST addresses the issue, present on Dynamic Trace Memoization (DTM), of traces not being reused because some of their inputs are not ready for the reuse test. These traces were measured to be 69% of all reusable traces in previous studies. One of the main advantages of RST over just combining a value prediction technique with an unrelated reuse technique is that RST does not require extra tables to store the values to be predicted. Applying reuse and value prediction in unrelated mechanisms but at the same time may require a prohibitive amount of storage in tables. In RST, the values are already stored in the Trace Memoization Table, and there is no extra cost in reading them if compared with a non-speculative trace reuse technique. . The input context of each trace (the input values of all instructions in the trace) already stores the values for the reuse test, which may also be used for prediction. Our main contributions include: (i) a speculative trace reuse framework that can be adapted to different processor architectures; (ii) specification of the modifications in a superscalar, superpipelined processor in order to implement our mechanism; (iii) study of implementation issues related to this architecture; (iv) study of the performance limits of our technique; (v) a performance study of a realistic, constrained implementation of RST; and (vi) simulation tools that can be used in other studies which represent a superscalar, superpipelined processor in detail. In a constrained architecture with realistic confidence, our RST technique is able to achieve average speedups (harmonic means) of 1.29 over the baseline architecture without reuse and 1.09 over a non-speculative trace reuse technique (DTM).

Elementos de gestão para o alto desempenho : o caso da Springer Carrier

O presente trabalho buscou conhecer os elementos de gestão que levam uma empresa ao alto desempenho. Tendo como ponto de partida estudos feitos no exterior, obteve-se onze elementos que foram avaliados por executivos experientes. Esses elementos são: Liderança, Valorização das Pessoas, Estratégia, Cultura, Viés para a Ação, Estrutura, Orientação ao Valor, Inovação, Parcerias, Foco no Cliente e Processos. Em paralelo a isto, considerando um segmento composto pelas 500 maiores empresas brasileiras, ao longo do período de 1995 a 2002, foi realizada uma triagem com base em critérios que resultou em apenas 59 empresas de alto desempenho, das quais oito com sede no Estado do Rio Grande do Sul, dessas foi escolhida a Springer Carrier para a execução de um estudo de caso que também confirmou os onze elementos de gestão encontrados que, na análise seguinte, verificou-se que poderiam ser colocados num espaço delimitado por três grandes eixos: cultura, pessoas e sistemas gerenciais. O alinhamento desses eixos com os elementos de gestão é, que, então, poderá gerar o alto desempenho. Os três eixos receberam o nome de raízes para o alto desempenho.

Estado, política e gestão na/da educação em Porto Alegre : 1989-2004 : avanços e limites na produção da democracia sem fim

Esta tese fundamenta-se na descrição e interpretação das políticas e da gestão do ensino público desenvolvido em Porto Alegre durante os 16 anos (1989-2004) em que o PT- Partido dos Trabalhadores, através da Administração Popular, governou a cidade, tendo como problemática os avanços, os limites e as contribuições dessa experiência na produção de um “outro mundo possível”. O referencial teórico, fundamentado em autores do campo da política, sociologia, da educação e de teorias críticas de outros campos do conhecimento, como Karl Marx, Henri Lefebvre, Immanuel Wallerstein, Boaventura de Sousa Santos e Stephen Stoer, é apresentado nos 3 primeiros capítulos. O mesmo desloca-se do mais global e abstrato, da globalização econômica, política e social, inserindo nela a discussão dos conceitos Estado, de gestão (gerir, surfar e pilotar), de política (polity, politics e policy) e as reconfigurações dos sistemas de ensino (STOER, 2004) na transição paradigmática (SANTOS, 1999) e da crise do sistema-mundo (WALLERSTEIN, 2005), para o mais cotidiano (LEFEBVRE, 1973, 1991) das relações sociais e educativas na cidade. Chegando a este ponto, se verificou como estabeleceram as relações da gestora da educação em Porto Alegre (a Secretaria Municipal de Educação) no sistema municipal de ensino, em particular, na sua relação com as escolas e professores, no processo de implementação das políticas educativas durante os 16 anos em que o Partido dos Trabalhadores esteve à frente da Prefeitura Municipal da cidade. Na parte empírica do estudo, capítulos 4 ao 8, apresento e discuto o que o PT, em seus documentos nacionais, percebia e qualificava como educação no contexto de nosso país ao longo dos anos oitenta e noventa, como pano de fundo e paralelo ao desenvolvido em Porto Alegre através da SMED. Detalho manifestações de dirigentes da educação e do governo municipal, das atividades de cada gestão (1989-2004) e das Leis encaminhadas pelo Executivo e/ou vereadores como as que criaram o Conselho Municipal de Educação, os Conselhos Escolares, as Eleição de Diretores e o Sistema Municipal de Ensino. Apresento manifestações das escolas e dos professores e alunos, publicadas em âmbito acadêmico. Portanto, a partir do referencial teórico (dialético-histórico-espacial, HARVEY, 2004) que articulou o descritivo, o analítico-regressivo e o histórico-genético (LEFEBVRE, 1984), na descrição, sistematização e interpretação do material empírico (políticas, documentos, panfletos, programas do PT; mais Leis, relatórios de gestão, manifestações de dirigentes da SMED; teses, dissertações, pesquisas e artigos de pesquisadores da UFRGS), aponto os avanços, limites e contradições revelados na produção da democracia sem fim (SANTOS, 1998, 2005), desta experiência contra-hegemônica . Disto, a tese: forças políticas contra-hegemônicas ao sistema capitalista em que vivemos, ao ‘ocuparem espaços de poder’, podem avançar no desenvolvimento de políticas alternativas àquele, bem como na produção de novas relações sociais. Neste sentido, as escolas, professores, comunidades escolares e movimentos sociais podem se tornar sujeitos de suas próprias ações e obra educativa, na relação com o Estado/governo, ainda que o Estado e suas instituições estejam circunscritos a regras legais, normas e procedimentos e práticas sociais a grupos vinculados ao status quo e ao establishment. Isto depende da forma como as políticas, os conteúdos e as formas de implementação são geridas. Agindo assim, constrói-se um Estado como novíssimo movimento social (SANTOS, 1998, 2005), para o qual, a experiência de gestão da e na educação municipal de Porto Alegre, pelo PT e partidos de esquerda por 16 anos, aportaram contribuições significativas para a efetivação de um “outro mundo possível”, em alternativa ao que vivemos.

FrameworkDoc : ferramenta de documentação e geração de artefatos de software

Atualmente, um dos grandes desafios para qualquer desenvolvedor de software é projetar um sistema que reutilize ao máximo elementos de código e de projeto existentes, visando diminuir o tempo e o esforço exigidos na produção do software. Entre as inúmeras formas de possibilitar reuso no contexto do desenvolvimento segundo o paradigma da orientação a objetos, destaca-se a abordagem de frameworks. A grande importância da documentação de software utilizada no processo de desenvolvimento aliada às características de frameworks serviram como motivação para este trabalho. A documentação dentro do processo de desenvolvimento de software não faz parte de uma fase definida, mas ocorre durante toda sua existência, em paralelo com outras fases do ciclo de vida. A abordagem de frameworks dentro deste contexto enfoca o tratamento de templates e definições das características dos artefatos de software (incluindo não somente código mas também produtos de análise, projeto, frameworks, componentes, diagramas, entre outros), facilitando e acelerando o processo de documentação. Um framework, devido a suas características peculiares que serão examinadas e explicitadas no trabalho, contém uma série de informações que podem, além de apoiar a documentação, ser úteis para produção de outros artefatos (por exemplo, planejamentos de teste, scripts de bancos de dados, padrões de codificação, entre outros) do processo de desenvolvimento. Assim, em um processo de desenvolvimento evolutivo, que utiliza a geração de artefatos como recurso, a manutenção pode ser integralmente realizada somente na especificação e não diluída nos artefatos gerados. O objetivo deste trabalho é investigar, propor e desenvolver uma ferramenta de documentação e geração de artefatos de software, denominado FrameworkDoc. O termo documentação de software aqui utilizado se refere a documentação de desenvolvimento de software, incluindo artefatos, arquiteturas, ferramentas entre outros. Serão abordados dois principais aspectos: primeiramente, a geração automática de documentação dentro do processo de desenvolvimento de software e depois a geração de outros artefatos deste processo, a partir das definições de alto nível disponíveis através do framework. Exemplos de aplicações do FrameworkDoc em projetos reais são apresentados. No entanto, os documentos e artefatos de software considerados foram definidos de forma suficientemente genérica para serem aproveitados em outros contextos.

Sistema Aldeia : programação paralela e distribuída em Java sobre Infiniband e DECK

Esse trabalho de dissertação está incluído no contexto das pesquisas realizadas no Grupo de Processamento Paralelo e Distribuído da UFRGS. Ele aborda as áreas da computação de alto desempenho, interfaces simples de programação e de sistemas de interconexão de redes velozes. A máquina paralela formada por agregados (clusters) tem se destacado por apresentar os recursos computacionais necessários às aplicações intensivas que necessitam de alto desempenho. Referente a interfaces de programação, Java tem se mostrado uma boa opção para a escrita de aplicações paralelas por oferecer os sistemas de RMI e de soquetes que realizam comunicação entre dois computadores, além de todas as facilidades da orientação a objetos. Na área a respeito de interconexão de rede velozes está emergindo como uma tentativa de padronização a nova tecnologia Infiniband. Ela proporciona uma baixa latência de comunicação e uma alta vazão de dados, além de uma série de vantagens implementadas diretamente no hardware. É neste contexto que se desenvolve o presente trabalho de dissertação de mestrado. O seu tema principal é o sistema Aldeia que reimplementa a interface bastante conhecida de soquetes Java para realizar comunicação assíncrona em agregados formados por redes de sistema. Em especial, o seu foco é redes configuradas com equipamentos Infiniband. O Aldeia objetiva assim preencher a lacuna de desempenho do sistema padrão de soquetes Java, que além de usar TCP/IP possui um caráter síncrono. Além de Infiniband, o Aldeia também procura usufruir dos avanços já realizados na biblioteca DECK, desenvolvida no GPPD da UFRGS. Com a sua adoção, é possível realizar comunicação com uma interface Java sobre redes Myrinet, SCI, além de TCP/IP. Somada a essa vantagem, a utilização do DECK também proporciona a propriedade de geração de rastros para a depuração de programas paralelos escritos com o Aldeia. Uma das grandes vantagens do Aldeia está na sua capacidade de transmitir dados assincronamente. Usando essa técnica, cálculos da aplicação podem ser realizados concorrentemente com as operações pela rede. Por fim, os canais de dados do Aldeia substituem perfeitamente aqueles utilizados para a serialização de objetos. Nesse mesmo caminho, o Aldeia pode ser integrado à sistemas que utilizem a implementação de soquetes Java, agora para operar sobre redes de alta velocidade. Palavras-chave: Arquitetura Infiniband, agregado de computadores, linguagem de programação Java, alto desempenho, interface de programação.

Situações atmosféricas que propiciam as marés meteorológicas

O objetivo central deste trabalho consiste, a partir de um caso de ciclogênese ocorrido na costa leste do América do Sul, caracterizar as condições sinóticas favoráveis ao desenvolvimento de ciclones marítimos que possam gerar ressacas. Uma ciclogênese desenvolveu-se a leste da Argentina dia 03 de maio de 2001. Neste mesmo dia sobre o continente, existia um centro de alta pressão, que em conjunto com este ciclone marítimo formava um pista de vento de quadrante sul, paralelo ao continente, deixando o mar revolto, aumentando nível no extremo sul do Brasil, como registrado pela tábua de maré da cidade de Rio Grande, no estado do Rio Grande de Sul. No dia 04 de maio, à leste do estado de São Paulo, outro ciclone começa a se formar, intensificando a pista de vento pré existente. A metodologia utilizada afim de atingir os objetivos propostos, foi a da modelagem numérica. Utilizou-se modelo Regional Atmospheric Modeling System (RAMS). Foram utilizados como entrada dados de outros dois modelos, modelo Global e Modelo ETA. Para ambos os experimentos usando o RAMS, observou-se que o ciclone do dia 04 teve sua gênese em torno de 25ºS e 45ºW, se deslocando para sudeste. Na análise de mesoescala, foi observado que durante o período estudado os ventos sempre tiveram uma componente de sul e que os mais intensos ventos ocorreram em 28ºS e 48ºW, pois nesta região haviam maiores valores de gradiente de pressão, fluxo de calor sensível e fluxo de calor latente, já que é também nesta região onde se verifica a maior temperatura da superfície do mar.

Simulação computacional do comportamento de estruturas de aço sob incêndio

A análise do comportamento estrutural sob incêndio constitui uma parte importante da engenharia de proteção contra incêndio, especialmente no caso de estruturas de aço, por sua alta condutividade térmica e relativa esbeltez das seções. As dificuldades econômicas e práticas, associadas à avaliação do comportamento estrutural, por meio de ensaios em escala real, têm estimulado o desenvolvimento e uso de métodos de simulação numérica. Esta tese trata da simulação numérica do comportamento de estruturas de aço sob condições de incêndio e se divide em três partes. As duas primeiras partes foram desenvolvidas na Universidade de Liége, na Bélgica, usando-se o programa SAFIR como ferramenta numérica. A terceira parte foi desenvolvida de forma independente, na Universidade Federal do Rio Grande do Sul. Na primeira parte, é feito um estudo comparativo entre o uso de elementos finitos de viga e de casca, na modelagem de vigas simplesmente apoiadas, sujeitas a flambagem lateral por torção. Os esforços de torção, presentes no caso de flambagem lateral, podem levar a uma plastificação da seção transversal e à conseqüente redução da rigidez à torção da seção. Da mesma forma, a degradação das propriedades do material, com o aumento da temperatura, leva à redução da rigidez à torção Havia dúvidas se o modelo com elementos de viga, com uma rigidez à torção constante, poderia fornecer uma resposta aceitável. O estudo mostrou que uma resposta com boa precisão pode ser conseguida, usando-se elementos de viga, desde que o módulo de elasticidade transversal seja ajustado para refletir seu valor correspondente à temperatura de falha. Isso implica um processo iterativo, uma vez que a temperatura de falha não é previamente conhecida. Por outro lado, a degradação da rigidez à torção, por efeitos de plastificação, pode ser ignorada. Na segunda parte, é feita a comparação entre as modelagens bidimensional e tridimensional, de galpões industriais de um andar, sob incêndio. Comumente, a estrutura de galpões industriais é composta por pórticos-tipo, dispostos em paralelo. A análise desses galpões é comumente feita pela simulação no plano do pórtico de aço ou, simplesmente, da treliça da cobertura Na análise bidimensional, importantes efeitos fora do plano são ignorados, como a redistribuição de esforços devido à degradação do material ou à expansão térmica, ou instabilidade lateral dos elementos. A importância desses efeitos e a adequabilidade do modelo 2D para representar o comportamento real são discutidas. Na terceira parte, um modelo numérico para a simulação tridimensional do comportamento de estruturas de aço sob incêndio é apresentado. O modelo é baseado no conceito de rótulas plásticas generalizadas, com modificações para melhor representar a formação e expansão da plastificação no elemento. A descrição cinemática adotada permite obter bons resultados, mesmo com o uso de poucos elementos. A determinação do vetor de esforços internos no elemento, incluindo os efeitos da temperatura, é detalhada. O procedimento foi validado por comparação com ensaios e com modelos numéricos mais sofisticados, como o programa SAFIR. Os resultados demonstram que o procedimento proposto pode ser usado como uma forma alternativa de análise 3D de estruturas sob incêndio, com precisão razoável e baixo esforço computacional.

Visualização simultânea e multi-nível de informações de monitoramento de cluster

Clusters de computadores são geralmente utilizados para se obter alto desempenho na execução de aplicações paralelas. Sua utilização tem aumentado significativamente ao longo dos anos e resulta hoje em uma presença de quase 60% entre as 500 máquinas mais rápidas do mundo. Embora a utilização de clusters seja bastante difundida, a tarefa de monitoramento de recursos dessas máquinas é considerada complexa. Essa complexidade advém do fato de existirem diferentes configurações de software e hardware que podem ser caracterizadas como cluster. Diferentes configurações acabam por fazer com que o administrador de um cluster necessite de mais de uma ferramenta de monitoramento para conseguir obter informações suficientes para uma tomada de decisão acerca de eventuais problemas que possam estar acontecendo no seu cluster. Outra situação que demonstra a complexidade da tarefa de monitoramento acontece quando o desenvolvedor de aplicações paralelas necessita de informações relativas ao ambiente de execução da sua aplicação para entender melhor o seu comportamento. A execução de aplicações paralelas em ambientes multi-cluster e grid juntamente com a necessidade de informações externas à aplicação é outra situação que necessita da tarefa de monitoramento. Em todas essas situações, verifica-se a existência de múltiplas fontes de dados independentes e que podem ter informações relacionadas ou complementares. O objetivo deste trabalho é propor um modelo de integração de dados que pode se adaptar a diferentes fontes de informação e gerar como resultado informações integradas que sejam passíveis de uma visualização conjunta por alguma ferramenta. Esse modelo é baseado na depuração offline de aplicações paralelas e é dividido em duas etapas: a coleta de dados e uma posterior integração das informações. Um protótipo baseado nesse modelo de integração é descrito neste trabalho Esse protótipo utiliza como fontes de informação as ferramentas de monitoramento de cluster Ganglia e Performance Co-Pilot, bibliotecas de rastreamento de aplicações DECK e MPI e uma instrumentação do Sistema operacional Linux para registrar as trocas de contexto de um conjunto de processos. Pajé é a ferramenta escolhida para a visualização integrada das informações. Os resultados do processo de integração de dados pelo protótipo apresentado neste trabalho são caracterizados em três tipos: depuração de aplicações DECK, depuração de aplicações MPI e monitoramento de cluster. Ao final do texto, são delineadas algumas conclusões e contribuições desse trabalho, assim como algumas sugestões de trabalhos futuros.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

PerDiS : um serviço para descoberta de recursos no ISAM pervasive environment

Estratégias para descoberta de recursos permitem a localização automática de dispositivos e serviços em rede, e seu estudo é motivado pelo elevado enriquecimento computacional dos ambientes com os quais interage-se. Essa situação se deve principalmente à popularização de dispositivos pessoais móveis e de infra-estruturas de comunicação baseadas em redes sem-fio. Associado à rede fixa, esse ambiente computacional proporciona um novo paradigma conhecido como computação pervasiva. No escopo de estudo da computação pervasiva, o Grupo de Processamento Paralelo e Distribuído da Universidade Federal do Rio Grande do Sul desenvolve o projeto ISAM. Este engloba frentes de pesquisa que tratam tanto da programação de aplicações pervasivas como também do suporte à execução dessas. Esse suporte é provido pelo middleware EXEHDA, o qual disponibiliza um conjunto de serviços que podem ser utilizados por essas aplicações ou por outros serviços do ambiente de execução. Essa dissertação aborda especificamente o Pervasive Discovery Service (PerDiS), o qual atua como um mecanismo para descoberta de recursos no ambiente pervasivo proporcionado pelo ISAM. A concepção do PerDiS baseou-se na identificação dos principais requisitos de uma solução para descoberta de recursos apropriada para utilização em um cenário de computação pervasiva Resumidamente, os requisitos identificados nessa pesquisa e considerados pelo PerDiS tratam de questões relacionadas aos seguintes aspectos: a) utilização de informações do contexto de execução, b) utilização de estratégias para manutenção automática da consistência, c) expressividade na descrição de recursos e critérios de pesquisa, d) possibilidade de interoperabilidade com outras estratégias de descoberta, e) suporte à descoberta de recursos em larga-escala, e f) utilização de preferências por usuário. A arquitetura PerDiS para descoberta de recursos utiliza em sua concepção outros serviços disponibilizados pelo ambiente de execução do ISAM para atingir seus objetivos, e ao mesmo tempo provê um serviço que também pode ser utilizado por esses. O modelo proposto é validado através da implementação de um protótipo, integrado à plataforma ISAM. Os resultados obtidos mostram que o PerDiS é apropriado para utilização em ambientes pervasivos, mesmo considerando os desafios impostos por esse paradigma.

Eterna Ciklo : inter-relações entre concepções estéticas e processos composicionais na construção de um conjunto de composições

Este memorial tem como principal objetivo apontar as inter-relações existentes entre a concepção estética dos ciclos vitais e os processos técnico-composicionais utilizados em um conjunto de composições. A concepção estética dos ciclos vitais foi obtida através de uma pesquisa baseada na análise de obras compostas anteriormente a este conjunto, e em dois referenciais teóricos principais, "Fenomenologia do Espírito" de Hegel e "O Tao da Física: um paralelo entre a física moderna e o misticismo oriental" de Capra. Também encontra fundamentos na utilização de estruturas simétricas, da proporção áurea e da série de Fibonacci, a partir de sua ligação com a natureza. As inter-relações entre as concepções estéticas e os processos técnico-composicionais são demonstradas através da análise das obras como um conjunto e individualmente. As semelhanças estruturais e dos materiais musicais unificam estas obras, caracterizando-as como um ciclo de composições, o qual reflete na macroestrutura os elementos individuais de cada composição.