Implementação de recuperação por retorno de aplicações distribuídas baseada em checkpoints coordenados

A recuperação por retorno baseada em checkpointing é largamente usada como técnica de tolerância a falhas. O modelo complexo de sistemas distribuídos tem motivado o desenvolvimento de diversos algoritmos na tentativa de encontrar soluções mais simples e eficientes. Os processos que formam o sistema distribuído podem coordenar suas operações para garantir que o conjunto de checkpoints locais componha um estado global consistente (linha de recuperação). A partir desse estado, no caso de ocorrência de falhas, o sistema pode ser recuperado e a computação retomada a partir de um momento anterior ao da manifestação da falha, evitando o retrocesso para o estado inicial da computação e prevenindo a ocorrência de prejuízos com a perda de todo processamento até então realizado. No Grupo de Tolerância a Falhas da UFRGS foi proposto recentemente um algoritmo que é voltado para aplicações que executam em sistemas distribuídos assíncronos que se comunicam exclusivamente pela troca de mensagens. Ele opera com salvamento coordenado de checkpoints (não bloqueando as aplicações) e prevê o tratamento de mensagens órfãs e perdidas. Os mecanismos do algoritmo sugerem que nenhuma alteração deveria ser realizada no código das aplicações, criando a possibilidade de implementação transparente sob o ponto de vista dos usuários e dos programadores das aplicações. Como o algoritmo não requer o bloqueio das aplicações, a sobrecarga imposta pelos mecanismos à execução livre de falhas é pequena. Além disso, o processo de recuperação tende a ser efetuado rapidamente, uma vez que é garantida a existência de uma linha de recuperação consistente, facilmente identificada Este trabalho apresenta as decisões de projeto, a implementação, os resultados e a avaliação de desempenho desse algoritmo. A avaliação das alternativas de implementação resultou na decisão de uma implementação então realizada diretamente sobre o sistema operacional Linux, sem recorrer a protocolos auxiliares para garantir a execução dos serviços e sem a necessidade de adaptações no código das aplicações nem no código do sistema operacional. Adicionalmente, os resultados comprovaram a expectativa inicial de que o algoritmo causaria pouca sobrecarga no sistema (menos de 2%), embora ele ainda apresente alta dependência do tamanho dos checkpoints salvos.

Uma compreensão sociológica do processo de alfabetização : comparando diferentes práticas

Este estudo analisa oito dimensões do currículo, da prática pedagógica e da avaliação, no ano letivo de 2004, em duas turmas de alfabetização de escolas públicas de Porto Alegre – uma Estadual e outra Municipal. O processo de alfabetização numa escola organizada por Séries é comparado com o realizado na escola organizada por Ciclos de Formação. Os resultados encontrados nestas duas práticas são comparados com os resultados obtidos numa prática de alfabetização investigada em 1984 (Veit, 1990), na mesma Escola Estadual. Esta investigação foi baseada na teoria do sociólogo Basil Bernstein (1996, 1998) e inspirada nas definições operacionais de uma pesquisa realizada em Lisboa por Morais et al. (1993). A comparação entre os três contextos educacionais apresentou diferenças acentuadas entre as ideologias de um e de outro sistema de ensino, sendo possível distinguir, na Escola Estadual, uma modalidade de Pedagogia Visível e, na Escola Municipal, uma Pedagogia Invisível.

Estudo de base populacional sobre a prática do aleitamento materno em crianças nascidas com fissura labiopalatina na cidade de Porto Alegre

Resumo não disponível

Escola, complexidade e construção do conhecimento

o estudo da relação entre a complexidade do conhecimento e sua construção no ambiente escolar apóia-se na Epistemologia Genética e no paradigma da complexidade. A investigação se delineou como um estudo qualitativo, inspirado na metodologia de Estudo de Caso. O problema de pesquisa procurou indagar a repercussão da fragmentação dos conteúdos programáticos em disciplinas nos anos finais do Ensino Fundamental. Os dados foram coletados através de múltiplas fontes de evidência. Realizaram-se entrevistas, inspiradas na abordagem clínica piagetiana, com alunos e professores; - observações diretas do tipo participante como observador e análise documental. Os dados coletados indicam que as práticas escolares apresentam pressupostos epistemológicos e paradigmáticos que se apóiam no senso comum e estendem-se em métodos empiristas/aprioristas e reducionistas. O pensamento do aluno é manipulado de forma a se enquadrar ao modelo escolar. A fala é reduzida a uma mera ação prática, pois, embora exercida, o professor desconsidera a importância do diálogo. Por sua vez, os exercícios apresentam-se como dois lados de uma mesma moeda. Podem manifestar-se como promotores de técnicas empiristas, quando colocados sob a forma de repetição para a memorização. Todavia, podem se revelar como um recurso extremamente valioso quando colocam um problema, apresentam desafios e permitem a testagem de hipóteses do sujeito. Já os conteúdos programáticos visam a uma eterna diferenciação do objeto de estudo, a qual se configura como uma simples fragmentação capaz de eliminar qualquer dimensão do conhecimento enquanto totalidade. O tempo da aprendizagem acaba por se igualar com aquele que o professor gasta para expor a informação ao aluno. Isso o relega a uma posição passiva que retira o caráter de equilíbrio dinâmico do conhecimento, pois esse sempre se apresenta como um produto pronto e acabado. A escola, então, tem um desconhecimento do próprio conhecimento e o senso comum, que é empirista/apriorista no campo epistemológico, é reducionista em sua dimensão paradigmática.

Integração de técnicas de SIG e sensoriamento remoto na classificação de imagens digitais através do uso da teoria da evidência

O desenvolvimento de novos, e mais eficientes, métodos de classificação de imagem digitais em Sensoriamento Remoto se constitui em uma importante área que tem chamado a atenção de muitos pesquisadores. Nesta área em particular, um problema que freqüentemente surge para a classificação de imagens digitais provenientes de cenas naturais, é a ocorrência de classes espectrais com resposta espectral muito similar. Nestes casos, os sistemas sensores mais comuns e os métodos tradicionais de classificação de imagem apresentam muito baixa precisão ou mesmo falham completamente. Várias abordagens vem sendo propostas na literatura. Uma das possíveis abordagens consiste em fazer uso de informações auxiliares que possuam poder discriminante para as classes sob análise. Esta é a possibilidade explorada nesta dissertação, utilizar-se de dados auxiliares, provenientes de fontes diversas, tais como: temperatura, precipitação, altitude e classes de solo. Estes dados são então combinados com dados provenientes de imagens multiespectrais de acordo com a Teoria de Evidência proposta por Dempster e Shafer. Esta abordagem é testada usando dados de uma área no Estado do Rio Grande do Sul, Brasil, com a finalidade de delimitar a ocorrência da Mata Nativa com Araucária (composta pela conifera Araucaria angustifolia), que é de difícil separação em relação a outras classes espectrais que ocorrem na região, tornando difícil o processo preciso de classificação.

Ética e metafísica em Kant : a fundamentação da moralidade e a justificação do discurso metafísico na crítica da razão prática

Resumo não disponível.

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.

Formação e prática MUSICAL DE DJs: um estudo multicaso em Porto Alegre

Este estudo tem como objetivo central compreender a formação e a prática musical de DJs, a partir de quatro estudos de casos realizados com DJs atuantes na cidade de Porto Alegre – RS. Partindo deste objetivo, o trabalho procura discutir as seguintes questões: quais aspectos integram a formação musical de DJs? Quais os meios e materiais utilizados na sua formação musical? Onde e como atuam? Há transmissão de conhecimentos para outros DJs? As técnicas utilizadas na coleta de dados foram as entrevistas semi-estruturadas e observações diretas da prática musical de cada DJ participante. O referencial teórico se apoiou nas seguintes áreas e autores: educação musical, com abordagem sociocultural (Nanni, 2000; Kraemer, 2000 e Souza, 2001); aprendizagem e formação (Giroux, 1996; Bolle, 1997; Bransford et al., 2000), música e tecnologia (Lévy, 1999; Carvalho, 1999; Lemos, 2001). O método de pesquisa utilizado foi o estudo multicaso, com abordagem qualitativa, que permitiu um estudo aprofundado de cada caso, de maneira que durante a pesquisa, cada um foi tratado dentro de sua prática específica, sem comparação com os demais. Compreender a formação e a prática musical de DJs implica em desvendar a complexidade e a estrutura desse fazer musical, enfocando os aspectos desse aprendizado. Este estudo evidencia que a formação e a prática musical de DJs é determinada pelos meios e estratégias que desenvolvem nas relações socioculturais.

A emergência do acompanhamento terapêutico : o processo de constituição de uma clínica

Este trabalho visa analisar o processo de constituição do Acompanhamento Terapêutico (AT) enquanto uma ampla estratégia de intervenção que é articulada com vários saberes e práticas do/no campo da saúde. Pretende-se, desse modo, fazer uma viagem crítica pelo mundo das ciências da saúde, tendo como campo de problematização as atividades do AT a partir da segunda metade do século XX. Tradicionalmente essa prática é pensada em uma “perspectiva integrativa”, baseada na idéia de uma “adaptação unidirecional” do paciente, tido como o “anormal” a ser reintegrado socialmente. Entendo, no entanto, que a experiência de conviver com os inusitados encontros que ocorrem nas intervenções do AT produz efeitos que extrapolam as “metas adaptativas” e os “protocolos institucionalizantes” (de funcionários e pacientes) e apontam para uma dimensão clínica, política, artística, ético-estética na/da experimentação das relações de força e dos processos de subjetivação aí implicados.

A relação ritmo-movimento no fazer musical criativo : uma abordagem construtivista na prática de canto coral

A presente pesquisa investiga a relação do movimento corporal na construção do conceito de ritmo a partir de um trabalho de composição coletiva, abrangendo os seguintes momentos: a) Composição rítmico-corporal; b) Representação gráfica; c) Entrevista individual; c) O aprendizado em grupo: a construção da performance. Este trabalho foi desenvolvido em uma situação de canto coral, contando com a participação de 30 meninas entre 11 e 18 anos. Integrar o movimento corporal compreende uma proposta de canto coral construtivista, tomando por base a trilogia cognição-música-corpo. A partir dessa inter-relação, muitos autores de diferentes áreas fazem-se presentes, porém buscamos um aprofundamento na teoria construtivista interacionista de Jean Piaget, mais especificamente no seu conceito de tomada de consciência, a fim de analisar o processo de construção rítmica de nossas alunas-cantoras. A metodologia empregou o Método Dialético-Didático, uma extensão do Método Clínico, na observação e intervenção com os grupos e nas entrevistas individuais. Os resultados mostraram que o envolvimento do movimento corporal favorece a compreensão da estruturação rítmica, desencadeando tomadas de consciência a partir da observação de si mesmo, pois é o próprio corpo em movimento que desenha os tempos no espaço. Além disso, sentir o próprio corpo nesse processo tem favorecido a performance de modo geral, contribuindo com a afinação, a descontração e a expressividade do grupo.

O corpo em evidência nas lutas dos operários gaúchos (1890-1917)

A presente tese trata de demonstrar, tomando por base o Rio Grande do Sul nos anos de 1890 à 1917, o fato dos operários terem buscado capacitar fisicamente seu corpo para os embates contra o capital, bem como o terem constituído em uma causa e uma arma da luta operária, aspectos todos estes pouco tratados ou não abordados pela historiografia. O trabalho trata, no primeiro capítulo, de algumas situações mais amplas que remetem aos contornos da industrialização no Rio Grande do Sul, à organização da produção e às condições trabalho vigentes nos estabelecimentos fabris, elementos estes que estão na base da problemática em estudo. No segundo capítulo é onde exponho o fato do corpo do operário ter se constituído em uma causa de sua luta e isto a partir dos conteúdos que animavam determinadas e importantes reivindicações operárias do estado no período. Já no capítulo seguinte exponho as circunstâncias que eu encontrei o operariado no Rio Grande do Sul buscando capacitar fisicamente seu corpo para melhor enfrentar o patronato e isto dando destaque para as lógicas que os levavam a tal empenho. No quarto e último capítulo é onde busco demonstrar, e isto considerando os métodos de luta do período – e que em boa parte ainda hoje se mantém – que o corpo do operário foi uma arma de luta operária, evidenciando, assim, que ele não foi só, como a historiografia tem apontado, um objeto de dominação e exploração do capital, mas também o avesso disso.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Termos e relacionamentos em evidência na recuperação de informação

Muitas abordagens para recuperação de informação (RI) assumem duas hipóteses: (i) cada termo de um documento é estatisticamente independente de todos os outros termos no texto, e (ii) métodos lingüísticos são de difícil aplicação nesta área. Contudo, há regularidades lingüísticas, produzidas pelas dependências entre termos, que precisam ser consideradas quando um texto é representado, e a representação de textos é crucial para aplicações que utilizam processamento da linguagem natural, como a RI. Um texto é mais do que uma simples seqüência de caracteres ou palavras. As palavras apresentam características morfológicas e relações de coesão que não podem ser esquecidas na descrição dos conceitos presentes no texto. Nesse sentido, um novo modelo com dependência de termos para a RI, denominado TR+, é proposto. Ele inclui: (i) nominalização, como processo de normalização lexical, e identificação de relações lexicais binárias (RLBs) e (ii) novas fórmulas para cálculo do peso das unidades de indexação (descritores). Essas fórmulas se baseiam no conceito de evidência, que leva em conta, além da freqüência de ocorrência, os mecanismos de coesão do texto. O modelo também inclui operadores Booleanos na consulta, para complementar a especificação da dependência de termos. Avaliações experimentais foram realizadas para demonstrar que (i) a nominalização apresenta melhores resultados em relação aos processos de normalização lexical usuais, (ii) a aquisição de informação lingüística, através de RLBs, e o uso de consultas Booleanas contribuem para a especificação de dependência de termos, e (iii) o cálculo da representatividade dos descritores baseado em evidência apresenta vantagens em relação ao cálculo baseado em freqüência de ocorrência. Os experimentos relatados indicam que esses recursos melhoram os resultados de sistemas de RI.

Uma Arquitetura de correlação de notificações baseada em políticas e web services

Notificações enviadas por dispositivos são essenciais para ajudar no gerenciamento de redes de computadores, pois podem alertar sobre, por exemplo, situações anormais ou indesejadas. Porém, em muitos casos, múltiplas notificações relacionadas ao mesmo problema podem ser recebidas por uma estação gerente. Isso faz com que a visualização das notificações se torne confusa. Uma forma possível de diminuir a quantidade de notificações recebidas é através da sua correlação. Atualmente, os Web Services têm sido um importante tema de pesquisa na área de gerenciamento de redes de computadores. Contudo, não há pesquisas propriamente relacionadas à notificação de eventos usando Web Services. O protocolo SNMP, que é a solução mais aceita e utilizada, possui suporte à notificação de eventos através de suas mensagens trap. Porém, esse suporte é limitado e, raramente, consegue cruzar domínios administrativos diferentes. Unindo a necessidade de correlação com a necessidade de cruzar domínios administrativos diferentes, uma arquitetura de correlação de notificações baseada em Web Services e políticas é apresentada. As políticas são utilizadas no trabalho, como mecanismo para definição das regras de correlação de notificações. A arquitetura proposta e sua implementação são apresentadas, permitindo a investigação do uso de Web Services como ferramenta no gerenciamento de redes, considerando o caso específico de suporte a notificações. Este estudo complementa as investigações em andamento do Grupo de Pesquisa de Redes da Universidade Federal do Rio Grande do Sul, mostrando aspectos dosWeb Services no gerenciamento de redes, que eram desconhecidos no campo de notificações, além de mostrar o gerenciamento baseado em políticas aplicado a notificações, assunto também inexplorado até o momento.

Geração da parâmetros de busca baseada em perfis de usuário

O mundo moderno vem exigindo cada vez mais das pessoas no aspecto profissional. A exigência de capacitação profissional é uma realidade que obriga as pessoas a uma constante atualização. Neste contexto, a educação a distancia se mostra uma importante via de disseminação de conhecimento. Este trabalho apresenta um agente de Perfil do Usuário inserido no contexto do projeto PortEdu – Portal de Educação, projeto que visa abrigar ambientes de ensino na Web. Um dos objetivos do projeto PortEdu é fornecer um serviço de recuperação de informação aos ambientes ancorados, guiado pelo Agente Perfil do Usuário, tendo como finalidade oferecer informações contextualizadas a um problema específico do usuário (aluno), com a intenção de auxiliá-lo em seu aprendizado. Durante a utilização de ambientes de educação a distância, os alunos utilizam ferramentas de recuperação de informação na busca de soluções para as suas dúvidas. Mas, a busca de informação na Internet, utilizando as ferramentas existentes, nem sempre é uma tarefa simples, pois exige esforço na construção de termos de busca eficientes ou mantém o usuário percorrendo longas listas de resultados. No desenvolvimento deste serviço, no PortEdu, procuramos minimizar este tipo de esforço. Neste trabalho são descritas, primeiramente, as áreas envolvidas na pesquisa, mostrando como elas foram utilizadas na construção do Agente de Perfil do Usuário. Também é realizada uma descrição da área de inteligência artificial, dos conceitos de agente e Educação a Distancia. Pretende-se mostrar aqui as propriedades que o Agente de Perfil do Usuário possui Na seqüência, são apresentadas as soluções tecnológicas utilizadas no projeto, tais como: AMPLIA (ambiente de ensino ancorado no PortEdu), PMA3, FIPA e a API Fácil. É descrito o modo como estas tecnologias interagem no âmbito do PortEdu. O problema da recuperação de informação na Web é discutido nesta pesquisa e são apresentados três trabalhos relacionados que abordam este problema. Também é realizada uma comparação entre estes trabalhos e o PortEdu. Por fim, este trabalho apresenta uma solução encontrada para resolver o problema de recuperação de informação na Web utilizando um protótipo do PortEdu. Esta pesquisa está inserida na área de Informática na Educação.