Caracterização elétrica de estruturas metal/dielétrico high-k/Si

Foram estudadas as propriedades elétricas de estruturas MOS envolvendo materiais com Zr e Hf: Al/HfO2/Si, Al/HfAlO/Si, Al/ZrO2/Si e Al/ZrAlO/Si depositadas por JVD (Jet Vapor Deposition) submetidas a diferentes doses de implantação de nitrogênio e tratamentos térmicos; Au/HfO2/Si e Au/HfxSiyOz/Si preparadas por MOCVD (Metal-Organic Chemical Vapor Deposition) e Au/HfxSiyOz/SiO2/Si preparadas por sputtering reativo em O2 submetidas a tratamentos térmicos distintos. Para isso, além das medidas de C-V e I-V padrão, foi desenvolvido o método da condutância para estudo da densidade de estados na interface dielétrico/Si, o qual mostrou-se mais viável para as estruturas com dielétricos alternativos. A inclusão de Al na camada de dielétrico, bombardeamento por íons de nitrogênio, e tratamentos térmicos rápidos em atmosferas de O2 e N2 foram responsáveis por mudanças nas propriedades das amostras. Diversos mecanismos físicos que influenciam as propriedades elétricas dessas estruturas foram identificados e discutidos. Foi constatado que as interfaces com menores densidades de estados foram as das amostras preparadas por MOCVD e sputtering reativo.

FreeMMG : uma arquitetura cliente-servidor e par-a-par de suporte a jogos maciçamente distribuídos

A popularização das tecnologias de acesso à Internet por “banda larga” suportam a crescente proliferação de aplicações do tipo “par-a-par” (peer-to-peer), onde o usuário doméstico, tipicamente consumidor de informação, passa também a atuar como provedor. De forma simultânea, há uma popularização crescente dos jogos em rede, especialmente dos “jogos maciçamente multijogador” (MMG ou massively multiplayer game) onde milhares de jogadores interagem, em tempo real, em mundos virtuais de estado persistente. Os MMGs disponíveis atualmente, como EverQuest e Ultima Online, são implementados como sistemas centralizados, que realizam toda a simulação do jogo no “lado servidor”. Este modelo propicia controle de acesso ao jogo pelo servidor, além de ser muito resistente a jogadores trapaceiros. Porém, a abordagem cliente-servidor não é suficientemente escalável, especialmente para pequenas empresas ou projetos de pesquisa que não podem pagar os altos custos de processamento e comunicação dos servidores de MMGs centralizados. Este trabalho propõe o FreeMMG, um modelo híbrido, cliente-servidor e par-a-par, de suporte a jogos maciçamente multijogador de estratégia em tempo real (MMORTS ou massively multiplayer online real-time strategy). O servidor FreeMMG é escalável pois delega a maior parte da tarefa de simulação do jogo para uma rede par-apar, formada pelos clientes. É demonstrado que o FreeMMG é resistente a certos tipos de trapaças, pois cada segmento da simulação distribuída é replicado em vários clientes. Como protótipo do modelo, foi implementado o jogo FreeMMGWizards, que foi utilizado para gerar testes de escalabilidade com até 300 clientes simulados e conectados simultaneamente no mesmo servidor Os resultados de escalabilidade obtidos são promissores, pois mostram que o tráfego gerado em uma rede FreeMMG, entre servidor e clientes, é significativamente menor se comparado com uma alternativa puramente cliente-servidor, especialmente se for considerado o suporte a jogos maciçamente multijogador de estratégia em tempo real.

Análise de estruturas compostas por aduelas pré-moldadas de concreto com protenção externa, sob estado plano de tensão, através do método dos elementos finitos

Aduelas protendidas externamente utilizadas em pontes contrastam com as clássicas construções monolíticas, consistindo de “pequenos” segmentos pré-moldados protendidos por cordoalhas externas. Há muitas vantagens na utilização deste tipo de composição, como rapidez e versatilidade na construção, alto controle de qualidade e economia. No presente trabalho, discute-se uma formulação, baseada no método dos elementos finitos, para simular o comportamento de estruturas compostas por aduelas externamente protendidas. Esta formulação permite tanto a análise de situações de serviço, onde as seções permanecem completamente comprimidas, como também de situações últimas, onde se considera a abertura das juntas e a transferência de esforços através das mesmas. O modelo computacional utiliza dois procedimentos distintos, baseados em um modelo elasto-viscoplástico. No primeiro, determina-se a resposta da estrutura ao longo do tempo, considerando-se, nesta etapa, que o material possui comportamento viscoelástico. No segundo, busca-se a resposta da estrutura para um carregamento instantâneo, considerando-se o material com um comportamento elastoplástico. As juntas entre as aduelas são representadas através de elementos de contato unidimensionais. Os nós de cada elemento de contato coincidem com os nós do elemento de concreto que a ele foi associado.Um modelo de camadas superpostas é utilizado para representar o comportamento viscoelástico do concreto e da armadura protendida Para representar o concreto fissurado, utiliza-se um modelo de fissuras distribuídas, que leva em conta a contribuição do concreto entre fissuras. A armadura passiva é introduzida na análise através de um modelo incorporado e a armadura de protensão não aderente é disposta em elementos fictícios, paralelos aos elementos reais da estrutura. Para verificar a adequação do modelo computacional, compararam-se resultados numéricos com valores experimentais disponíveis na literatura.

Desenvolvimento de workflow para administração pública em ambientes corporativos de engenharia de software

A demanda por aplicações de workflow tem crescido rapidamente. Por um lado há uma evolução em ambientes com plataformas de sistemas maduras e disseminadas, por outro, processos de redesenho administrativo têm contribuído no aumento desta demanda. Apesar disto, profissionais de TI ainda encontram alguns problemas, e por isto, têm se aproximado de workflow com receio. Na administração pública de Porto Alegre, a otimização dos processos organizacionais de atendimento às demandas individuais dos cidadãos - que geram um registro em papel que constitui o que se denomina processo administrativo ou expediente, ou seja, um volume físico de papéis tramitando manualmente pelas estruturas que atuam no atendimento da demanda - redundou no emprego de ferramentas de automação para introduzir maior produtividade e eficiência na mudança dos métodos de trabalho. Mas alguns problemas se destacaram quando foi iniciado o desenvolvimento de aplicações de automação de processos. Uma face deles se mostrou em problemas conceituais que vão desde a confusão entre workflow e outras áreas, como BPR ou GED, à falta de domínio sobre as abstrações fundamentais na elicitação de workflow. Outra face se mostrou nos WMS, verdadeiros ambientes proprietários, fechados e pesados, de difícil utilização e pouco flexíveis para os desenvolvedores utilizarem em seu ambiente. Finalmente, outro problema foi a integração de aplicações de workflow com sistemas de informação, buscando informações e eventos em aplicações legadas, algumas existentes por décadas. Frente a isto, este trabalho aborda a produção de workflow sob a ótica dos desenvolvedores - analistas, projetistas e programadores - que necessitam criar aplicações corporativas em seus ambientes de Engenharia de Software. Neste cenário, a linha divisória entre a elaboração de uma aplicação de workflow e um sistema de informação se torna tênue, e compreender os aspectos envolvidos, dominá-los e utilizá-los neste ambiente é primordial para o sucesso e disseminação de aplicações de automação de processos. Este trabalho propõe uma extensão do Diagrama de Atividades da UML para modelar e elicitar o controle de atividades, a criação de um motor de workflow para executar a máquina de estados do Diagrama de Atividades, a ser utilizado como componente na arquitetura das aplicações. A utilização do motor de workflow e do Diagrama de Atividades estendido são apresentados num case de automação de um processo da Secretaria do Planejamento Municipal da Prefeitura Municipal de Porto Alegre que atende a solicitações diretas dos cidadãos.

Projeto, construção e teste de equipamento para ensaios de fadiga de risers flexíveis

Apesar da vida em fadiga de risers flexíveis ser de grande importância na explotação “off-shore”, os dados disponíveis são bastante restritos. A interação entre as suas várias camadas, as inúmeras combinações realizadas entre elas para se obter diferentes características e os recentes avanços em termos de materiais, nos obrigam a estudá-los constantemente. Este trabalho tinha como objetivo principal a construção de um equipamento para possibilitar o estudo da vida em fadiga de risers, através de movimentos de tração combinada com flexão, referentes ao teste “a” da classe II da norma API 17B, bem como todos os outros testes da classe I da referida norma. Foram projetadas a estrutura e todos os demais componentes, que posteriormente foram redimensionados pelos resultados obtidos em simulações numéricas (elementos finitos). Posteriormente, de posse de todos os componentes, realizou-se a montagem do equipamento, seguida de um teste final, que foi acompanhado por uma análise extensométrica dos principais pontos da estrutura. A conclusão básica deste trabalho foi obtida através da comparação das análises por elementos finitos e extensométrica, onde foi constatado que o equipamento estava apto a entrar em operação para a realização de ensaios estáticos ou dinâmicos, observando-se apenas algumas restrições comentadas.

Negociação e liderança: papel da chefia direta na gestão da pressão

Este estudo tem por finalidade identificar perspectiva dos profissionais de Recursos Humanos a correlação entre as competências gerenciais e a relação construída entre líderes de diferentes níveis hierárquicos e suas equipes diretas, bem como o impacto na percepção da pressão e do estresse pelas suas respectivas equipes. Um dos desafios que gerentes e outros líderes encontram é como manter um time motivado e mobilizado em um ambiente de pressão crescente, seja decorrente de uma expansão ou uma retração do seu mercado. No primeiro capítulo e no segundo capítulos fazemos a introdução e a definição do Problema, os objetivos e delimitações do estudo. No terceiro capítulo caminhamos pela história do trabalho, da organização e do homem, buscando fundamentar no tempo a jornada em busca do equilíbrio trabalho e trabalhador, o lugar do homem na construção desta história e alguns importantes pensadores da gestão de pessoas. Este capítulo abre portas para entendermos o capítulo seguinte, no qual estudamos o estresse e, em particular, o estresse ocupacional. Mostramos, ainda, a diferença entre pressão – que está no ambiente externo- e estresse, que deriva da percepção do indivíduo. O interesse neste tema é decorrente da constatação prática de que a pressão aumenta em tempos de retração do mercado, mas também aumenta em períodos em o mercado está aquecido. Logo, se houver uma correlação entre como uma equipe ou um liderado ‘percebe’ o seu líder, essa informação poderá ser útil para a Gestão de Pessoas. Aprofundamos o conceito de Suporte Social, a rede que protege o colaborador nem contextos de alta pressão e demos maior ênfase ao papel do líder como importante fonte deste suporte. No quinto capítulo analisamos o tema conflito por ser um dos temas que mais impactam o estresse ocupacional. As relações de trabalho são, por sua natureza, relações de longo prazo, o que faz do manejo adequado do conflito no ambiente de trabalho um assunto relevante na agenda do gerente. Entretanto, seu manejo adequado depende tanto do diagnóstico correto, bem como da relação de confiança construída pelo líder. Embora cientes de que parte significativa dos conflitos está relacionada às estruturas e estratégias corporativas, propositalmente dirigimos nossa atenção aos gerentes e líderes que compõem a massa de liderança dessas organizações visando provocar idéias que possam contribuir para a melhoria das relações e dos resultados. No sexto capitulo apresentamos a Metodologia e no último capítulo apresentamos e discutimos o resultado da pesquisa realizada com profissionais de Recursos Humanos de grandes empresas, buscando, através do olhar do RH, uma percepção sobre as lideranças de cada empresa e a comparação entre líderes com maior ou menor capacidade de negociação junto à sua equipe. O estudo usou uma grade flexível suportada por um questionário semi-estruturado e os dados foram tratados usando a metodologia da Análise de Conteúdo sem que fosse necessário um tratamento estatístico devido ao tamanho da amostra. O estudo apontou para a necessidade de uma exploração mais profunda do tema uma vez que a literatura e os resultados iniciais demonstraram um importante papel da chefia direta na percepção grupal do estresse e no clima organizacional. Ao concluir o trabalho a pesquisa oferece algumas ponderações sobre o papel das lideranças e o papel das corporações na equalização de equipes que vivem sob pressão constante.

Análise crítica do cyberslacking nas estruturas organizacionais

A Internet é um hoje um instrumento fenomenal de pesquisa e informação, e rapidamente entrou na vida das pessoas. Sua utilização proporciona uma sensação de liberdade e descobertas. Este estudo pretende discorrer sobre o entrada da Internet nas organizações e um fenômeno decorrente chamado "Cyberslackíng', que passou a designar o uso de equipamentos e sistemas informáticos dispostos pelo empregador para fins particulares, no ambiente de trabalho. A pesquisa foi conduzida com executivos das empresas da cidade de Curitiba-Paraná, que possuíam formação universitária e tinham acesso à Internet tanto nos escritórios como nas respectivas residências. O ponto central do trabalho foi identificar se a entrada da Internet nas organizações alterou as estruturas e as formas de controle sobre o trabalho. Posicionou-se a Internet no ambiente de trabalho, as empresas e respectivas estruturas organizacionais inseridas no regime de produção. A proposta do trabalho consistiu em realizar uma análise crítica sobre o tema. Nesse sentido, apresenta-se uma revisão de literatura fundamentada nos autores da Escola de Frankfurt, tendo sido avaliadas as estruturas organizacionais, a racionalidade do comportamento do trabalhador, a questão dos controles e autoridade. Também foi estudado o novo modelo de organização do trabalho pós-fordistas e como o trabalhador foi conduzido para se tornar cada vez mais conectado às empresas. Analisaram-se a influência das novas tecnologias sobre as estruturas de trabalho e as adequações adotadas pelo capital após sua introdução nestes ambientes e, principalmente, a questão dos controles exercidos sobre os trabalhadores e os aspectos legais envolvidos neste novo paradigma de trabalho. Conclui-se que as organizações já vêm se adaptando às mudanças econômicas mundiais e também tecnológicas ao longo dos anos, criando novos mecanismos de controle sobre o trabalho, envolvendo os trabalhadores dentro dos sistemas e se aproveitando de fatores externos como o nível de desemprego, aliado à racionalidade do trabalhador, para garantir maior produtividade e eficiência.O cyberslackíng foi condenado pelos próprios trabalhadores devido aos riscos que pode apresentar ao sistema de informação das empresas e, conseqüentemente, ao seu trabalho, mas é considerado um instrumento de fuga para as pressões do sistema impostos pelo capital.

Contextos da advocacia pós-profissional: impactos da organização do trabalho da advocacia empresarial sobre os profissionais atuantes nas grandes sociedades de advogados de São Paulo

Estudos organizacionais

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.

Desafios da adaptação institucional: um estudo do impacto da Lei de Consórcios Públicos no estado de São Paulo

A Lei nº 11.107/2005, que alterou o artigo 241 da Constituição Federal de 1988, intentou possibilitar aos consórcios a ampliação de seu potencial de atuação, pondo fim à sua fragilidade institucional. Permitindo sua constituição como pessoas jurídicas na figura de um consórcio de direito público ou de direito privado, buscou garantir, entre outras questões, o cumprimento das obrigações assumidas entre os membros e a participação dos três níveis da Federação. Sendo resultado de um processo de articulação em prol de sua regulamentação, a Lei de Consórcios Públicos representou a tentativa de aprimoramento do modelo de federalismo “cooperativo” no Brasil. No entanto, essas possibilidades ou ainda não foram utilizadas como fonte de recursos para algumas experiências ou têm ocorrido a uma velocidade mais lenta do que se esperava. Devido a esta alteração, supôs-se que a lei representaria um motor para o desenvolvimento de novos consórcios, bem como para o aperfeiçoamento das entidades já estabelecidas, que adotariam a nova personalidade de consórcio público. A partir desta problemática, o presente trabalho teve como objetivo realizar um estudo a respeito do processo de adaptação dos consórcios públicos à Lei nº 11.107/2005 à luz do neoinstitucionalismo histórico, com ênfase na investigação de três experiências de consórcios no estado de São Paulo, e que não se converteram para consórcios públicos nos moldes da lei. Em suma, foi possível concluir que, ainda que a lei apresente uma lista de possíveis vantagens, não criou instrumentos de aperfeiçoamento das experiências existentes, mas sim um novo arranjo de pactuação federativa. Essas experiências, que se desenvolveram ao longo de 40 anos sem instrumentos legais específicos para seu funcionamento – tendo, portanto, estruturas mais flexíveis –, apresentaram um comportamento de negação deliberada à adaptação aos instrumentos formais que a lei lhes apresentou. Dessa maneira, compreender de que modo os consórcios pré-existentes à Lei nº 11.107/2005 têm reconhecido as possibilidades dispostas por esse novo marco legal, de que maneira a trajetória desses arranjos pode influenciar em seu comportamento em relação à lei, e a própria trajetória da Lei de Consórcios Públicos, apresentou-se como um estudo ainda inexplorado e constitui-se como o norte principal da discussão neste trabalho.

A politica de controle do governo em relação as universidades federais autarquicas e suas consequencias sobre as estruturas administrativas destas instituições

Esta monografia se situa no campo do relacionamento Governo Federal-universidades por ele mantidas. concebido basicamente como um problema político.e onde se projetam relações sociais mais amplas. Detem-se. contudo. sobre os reflexos e conseqüências de tal problema político e social que afetam as estruturas administrativas e organizacionais das universidades autárquicas. Acredita-se que o enfoque mais capaz de descrever aquele relacionamento e mais fecundo para uma mudança no comportamento organizacional da universidade seria o da análise da política de controle ou de "supervisão ministerial" (na linguagem da Reforma Administrativa de 1967) que o Governo. implicita ou explicitamente. mantém sobre as rais autárquicas. universidades fede Um panorama da evolução histórica desta política de controle. desde seus primórdios no século XVI até fins do governo Geisel (1978). destacaria - como o faz o Capítulo I - contornos adstringentes. uma política de "rédeas curtas" para com o ensino superior. a postura atributiva. o regime de burocracias públicas. a ascensao do poder normativo de orgãos-meio da cúpula federal. O erro da política de controle do Governo tem sido de natureza pedagógica: ignorar a dinâmica da -universidade e. pelo uso do poder sobre os meios. Entre as consequencias de tal política sobre as estruturas administrativas da universidade federal autárquica. alguns traços característicos, como a hipertrofia dos setores de atividades-meio, a verticalização das cadeias de informação e decisão, a multiplicação de funções de controle intermediário, poderiam mostrar empiricamente como vem a fazê-lo o Capítulo III - a predominãncia de uma certa "introversão organizacional" em vez de uma desejável "extroversão organizacional", situação de uma instituição universitária mais estrutura da em função de suas atividades substantivas e mais eficaz nas respostas às demandas do ambiente. A monografia se conclui por sugestões para uma nova política de controle, redimensionado como uma macrofunção sociaI conduzida politicamente e não autoritariamente pelo Governo, em que a universidade, aberta, esteja sempre exposta ao estímulo realimentador de forças sociais externas. e acessível à participação de forças internas no processo decisório, tornado mais autônomo, horizontal e permeável.

Sistemas de informação como suporte à logística de suprimentos : o caso Thomson

A contextualização está em torno de atividades voltadas ao planejamento em função da organização se estruturar sobre bases tecnológicas e sistemicas para gerir os seus processos. A teoria sistêmica aplicada à organização gera a necessidade eminente de integração. Este processo recorre à necessidade de planos estratégicos, onde as definições e metodologias aplicadas devem seguir-se à disciplina focada aos processos que requerem decisão e execução na busca de metas definidas. Neste aspecto, a implantação de sistemas de informação como ferramentas auxiliares aos processos decisórios, eXigem uma sistemática ou metodologia para visualização dos resultados e uso dos mesmos como retorno ao processo de alimentação dos dados, geradores de novas conjecturas decisórias. É necessário o conhecimento básico da organização, o contexto em que a mesma se enquadra, e de que forma deveremos atuar em seu desenvolvimento Para esta adota-se etapas onde analisamos o empreendimento, políticas ou diretrizes organizacionais, a metodologia de implantação sistemicas, associada às reais necessidades da empresa, bem como sua infraestrutura e capacidade de esforço

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.