Modelo temporal de versionamento com suporte à evolução de esquemas

A utilização de versões tem sido essencial em diversas aplicações de banco dados, por permitir o armazenamento e a manipulação de diferentes estados da base de dados. Durante a evolução de um esquema, o versionamento preserva todas as versões de esquemas e de seus dados associados. Por outro lado, os conceitos de bancos de dados bitemporais, que incorporam tanto tempo de transação quanto tempo de validade, provêm flexibilidade ao mecanismo de evolução de esquemas, não somente por permitir acesso a informações presentes, passadas e futuras, mas também por permitir atualizações e consultas entre as diversas versões de esquemas existentes. O objetivo principal desta tese é definir um modelo que utilize os conceitos de tempo e de versão para permitir o gerenciamento da evolução dinâmica de esquemas em bancos de dados orientados a objetos. O resultado, o Modelo Temporal de Versionamento com suporte à Evolução de Esquemas (TVSE - Temporal and Versioning Model to Schema Evolution), é capaz de gerenciar o processo de evolução de esquemas em todos os seus aspectos: versionamento e modificação de esquemas, propagação de mudanças e manipulação de dados. Esse modelo difere de outros modelos de evolução de esquemas por permitir o gerenciamento homogêneo e simultâneo do histórico da evolução do banco de dados intencional e extensional. Com o objetivo de complementar a definição deste modelo é apresentado um ambiente para gerenciar o versionamento temporal da evolução de esquemas. Desse ambiente foi implementado um protótipo da ferramenta de apoio ao gerenciamento de evolução de esquemas. Por fim, enriquecendo o universo da tese e com o intuito de prover uma maior fundamentação teórica e matemática para descrever as políticas de evolução de esquemas, é especificada uma semântica operacional para um subconjunto do modelo proposto.

Projeto de um DB2 extender para suporte aos conceitos de tempo e versão

A utilização de versões permite o armazenamento de diferentes alternativas de projeto no desenvolvimento de uma aplicação. Entretanto, nem todo o histórico das alterações aplicadas sobre os dados é registrado. Modificações importantes podem ser realizadas e os valores anteriores são perdidos. O histórico completo somente é acessível através da junção de versões com um modelo temporal. Os conceitos de tempo e de versão aplicados em conjunto possibilitam a modelagem de aplicações complexas. Uma extensão que implemente simultaneamente estes dois conceitos em um banco de dados comercial não está disponível. O Modelo Temporal de Versões (TVM – Temporal Version Model) fornece a base para esta funcionalidade. O objetivo deste trabalho é projetar um extender para oferecer suporte aos conceitos de tempo e versão no sistema DB2, utilizando como base o TVM. A extensão engloba o mapeamento da hierarquia do TVM; a criação de tabelas administrativas; procedimentos para especificação das classes, atributos e relacionamentos; a definição de gatilhos e restrições para a manipulação dos dados diretamente nas tabelas criadas; e a especificação de procedimentos e UDFs para controle de versões e valores temporais e de outras UDFs que permitem consultas envolvendo os dois conceitos. Apesar do SGBD não ser totalmente orientado a objetos, como é definido no modelo utilizado (TVM), oferece mecanismos que permitem o mapeamento para um modelo objetorelacional. Através da utilização desta extensão, a união de tempo e de versões pode ser utilizada em aplicações reais.

Desenvolvimento de um suporte flexível para ensaios de modelos aeroelátiscos em túnel de vento

Com o desenvolvimento de materiais mais resistentes, técnicas construtivas mais modernas e a crescente valorização dos terrenos nos centros das grandes cidades, criou-se um ambiente propício à construção de edificações mais altas, leves, flexíveis, menos amortecidas, e, portanto, mais susceptíveis a problemas associados à resposta dinâmica frente à ação do vento. Em algumas situações, quando há ressonância, a parcela flutuante da resposta estrutural devido à ação do vento pode chegar a representar 2/3 da resposta total. Os métodos analíticos atualmente existentes para determinação da resposta flutuante induzida pela ação do vento geralmente conduzem a resultados pouco confiáveis. Em vista desse fato, os ensaios em túnel de vento ainda são a ferramenta mais precisa e robusta para o estudo do comportamento dinâmico de estruturas civis. Este trabalho apresenta o desenvolvimento de um suporte flexível para ensaios de modelos aeroelásticos de estruturas alteadas, visando a determinação da parcela flutuante da resposta à ação do vento nos dois modos fundamentais de vibração livre (flexão em duas direções ortogonais). Este suporte pode ser empregado em testes de modelos de diferentes geometrias, e permite que, com grande facilidade, sejam ajustados o amortecimento estrutural, rigidez e inércia, individualmente em cada direção. Com o objetivo de verificar o correto funcionamento do equipamento e a validade dos resultados por ele obtidos, foram realizados testes com um modelo do edifício alto padrão “CAARC Standard Tall Building”. No trabalho são apresentados e discutidos os resultados dos ensaios, realizados no Túnel de Vento Professor Joaquim Blessmann, da Universidade Federal do Rio Grande do Sul.

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.

O uso da pressão expiratória positiva durante o desmame da ventilação mecânica : uma comparação com os métodos de pressão suporte e tubo T.

Introdução: O uso da pressão expiratória positiva na via aérea (EPAP) não é sugerido como técnica de desmame. O EPAP pode previnir o colapso das vias aéreas durante a expiração. Objetivo: O objetivo deste trabalho é verificar se a utilização da pressão expiratória positiva na via aérea (EPAP) apresenta benefícios na redução da hiperinsuflação dinâmica com redução do trabalho respiratório e melhora da oxigenação em pacientes submetidos ao processo de desmame da ventilação mecânica. Material e Métodos: Quarenta pacientes submetidos à ventilação mecânica por um período maior que 48 horas em 2 unidades de terapia intensiva foram avaliados prospectivamente em um estudo randomizado controlado cruzado. Todos os pacientes foram submetidos métodos de ventilação de pressão de suporte (PSV), tubo-t e EPAP, durante 30 minutos, com um período de descanso de 30 minutos entre cada método. Os pacientes foram monitorizados pelo VenTrack (Novametrix, EUA). As variáveis estudadas, mensuradas no minuto 1, 15 e 30, foram: PEEP intínseca (PEEPi), trabalho respiratório (WOBtotal), frequência respiratória (f), volume de ar corrente (Vt) e saturação periférica de oxigênio (SaO2). A amostra geral foi analisada e dividida em subgrupos DPOC (n= 14) e não-DPOC (n=26), traqueostomizados (n=15) e não-traqueostomizados (n=25). As comparações foram feitas pela Análise de Variância (ANOVA) e teste-t. O nível de significância foi de 95%. Resultados: PEEPi DPOC e não-DPOC minuto 1 (0,014 + 0,03 versus 0,17 + 0,38 cmH2O) e minuto 15 (0,042 + 0,13 versus 0,41 + 0,78 cmH2O) (p<0,05). No subgrupo não-traqueo, nos métodos de PSV15 (0,26 + 0,5 cm H2O) e EPAP15 (0,02 + 0,07 cm H2O), assim como PSV 30 (0,21 + 0,4 cm H2O) e EPAP 30 (0,02 + 0,1 cm H2O) (p<0,05). Para traqueo vs não-traqueo, no método EPAP minuto 1 (PEEPi traqueo 0,58 + 0,94 cm H2O; PEEPi não-traqueo 0,08 + 0,28 cmH2O) e minuto 15 (PEEPi traqueo 0,91 + 2,06 cm H2O; PEEPi não-traqueo 0,02 + 0,07 cmH2O) (p<0,05). Em relação ao WOBtotal houve um aumento significativo no método EPAP em relação ao tubo-t na análise geral da amostra (p<0,05). A f mostrou-se maior no método EPAP para o subgrupo não-DPOC e não-traqueo (minutos 1, 15 e 30). A SaO2 foi maior no subgrupo PSV quando comparada com tubo-t na análise geral da amostra, (p<0,05) Conclusões: A EPAP não demonstrou redução na PEEPi na análise geral da amostra, subgrupo DPOC, não-DPOC e traqueostomizados. Houve redução na PEEPi no grupo não-traqueostomizados. Houve aumento do WOBtotal com o uso da EPAP. Neste estudo a EPAP não demonstrou vantagens em relação aos outros métodos.

Workflow de autoria de cursos para educação a distância com suporte à cooperação

As exigências sociais atuais levam ao repensar das ações educacionais, evidenciando a Educação a Distância (EAD). Esta modalidade de educação, embasada por concepções pedagógicas consistentes e associada às tecnologias de informática e comunicação, é capaz de alavancar novos modelos rompendo com os já estabelecidos. As tecnologias de workflow se apresentam como uma alternativa à modelagem de cursos para EAD. Um workflow permite organizar e descrever todo o processo que está sendo modelado, a partir de suas atividades. Da mesma forma modelos de construção de cursos para EAD sugerem a separação do processo em etapas compostas por atividades. A autoria destes cursos acontece por meio de equipes multidisciplinares atuando em trabalho cooperativo. A cooperação na equipe de autoria é fundamentada pelos requerimentos de apoio à sua efetividade, de acordo com os comportamentos e funcionalidades cooperativas. No trabalho de Sizilio é sugerida a utilização de um workflow para guiar as atividades de autoria de um curso para EAD. Note-se que o workflow de autoria proposto por Sizilio considera apenas um autor para a construção do curso, não contemplando a autoria feita por uma equipe de autores desempenhando um trabalho cooperativo. O objetivo desta dissertação é especificar um workflow de autoria de cursos para EAD com suporte à cooperação, a partir do workflow de Sizilio. Este workflow constitui um modelo formal de construção cooperativa de cursos nesta modalidade educacional. O trabalho apresenta, além da proposta do workflow de autoria de cursos para EAD com suporte à cooperação, fundamentos e particularidades da EAD sob a ótica da autoria de cursos. Analisa, ainda, a cooperação vislumbrando as equipes de autoria em trabalho cooperativo e a tecnologia de modelagem de workflow aplicada a cursos de EAD. A análise de viabilidade do workflow proposto e do suporte oferecido ao desenvolvimento cooperativo de um curso foi feita através de estudo de caso real, sendo apresentados os comentários do grupo envolvido na autoria do curso.

Primitivas para suporte à distribuição de objetos direcionados à pervasive computing

Renovados são os desa os trazidos à computação distribuída pelos recentes desenvolvimentos nas tecnologias de computação móvel. Tais avanços inspiram uma perspectiva na qual a computação tornar-se-á uma entidade ubíqua em um futuro próximo, estando presente nas mais simples atividades do dia-a-dia. Esta perspectiva é motivadora das pesquisas conduzidas no escopo do projeto ISAM, as quais investigam as questões relativas ao uso da computação em ambientes móveis de larga escala. Neste trabalho é apresentado o sistema PRIMOS (PRIMitives for Object Scheduling), o qual busca, pela complementação da plataforma Java, satisfazer as emergentes necessidades do ISAM. Especi camente, o PRIMOS constitui um conjunto de primitivas para instanciação remota e migração de objetos, comunicação e monitoração, direcionadas a um ambiente de computação distribuída de larga escala de características pervasivas. A primitiva de instanciação remota disponibilizada pelo PRIMOS aumenta a plataforma Java padrão com a possibilidade de criar e ativar objetos em nodos remotos do sistema. Por sua vez, a primitiva de migração faculta a relocação de objetos. A consecu- ção de tais semânticas tem como sub-produto a de nição de semânticas para ativação e desativação de objetos, assim como para captura e restauração de contexto de execução. Sob a perspectiva da comunicação, o PRIMOS de ne um esquema de endereçamento independente de protocolo de transporte, assim como uma interface neutra para acesso às facilidades de comunicação. A integração destas funcionalidades ao mecanismo de invocações remotas da plataforma Java, o RMI, permite a desvinculação deste da pilha TCP/IP. Por conseguinte, habilita a adoção de transportes otimizados ao hardware de comunicação disponibilizado pelo sistema. No que se refere à monitoração, o PRIMOS de ne um esquema exível e extensível baseado em sensores. A exibilidade vem principalmente da possibilidade dos sensores terem seus parâmetros de operação recon gurados a qualquer momento em resposta a novas necessidades do sistema. Por outro lado, o sistema é extensível pois o conjunto de sensores básicos, ditos nativos, pode ser aumentado por sensores providos pela aplicação. Com intuito de validar as idéias postuladas, um protótipo foi construído para o sistema. Sobre este, baterias de testes foram realizadas para cada uma das primitivas constituintes do PRIMOS.

Biopolímeros como suporte para inoculantes

A utilização de inoculantes em culturas de leguminosas é uma prática conhecida e empregada há longo tempo e o substrato mais utilizado até o momento tem sido a turfa. Diversos tipos de formulações inoculantes que existem no mercado visam oferecer uma alternativa ao emprego da turfa, porém muitas apresentam baixa capacidade para manter a sobrevivência e eficiência dos rizóbios. Este trabalho avaliou a utilização de catorze misturas diferentes de polímeros naturais e/ou sintéticos como suportes para inoculantes, visando a produção de inoculantes comerciais para soja, e a capacidade de manter a sobrevivência e preservar as características de infectividade e de efetividade das estirpes SEMIA 587 de Bradyrhizobium elkanii e SEMIA 5079 de Bradyrhizobium japonicum. Avaliou-se a sobrevivência dos rizóbios nas formulações armazenadas, a capacidade de aderência das formulações em sementes, a sobrevivência dos rizóbios em sementes a 40 ºC e a eficiência dos inoculantes em plantas de soja, cultivadas em vasos com solo, submetidas a estresse hídrico e térmico. Observou-se que as misturas contendo goma xantana, jataí e guar, tanto nas formulações em gel como líquidas, podem ser usadas como veículo para inoculantes proporcionando maior proteção aos rizóbios contra as condições de dessecação e temperatura. Todos os inoculantes mantiveram a sobrevivência da população de rizóbios durante um ano de armazenamento. Os rizóbios das formulações G5, L1 e L7, que continham goma arábica, foram afetados pelo estresse hídrico e pelas temperaturas elevadas, reduzindo o número de nódulos formados. Dentre as formulações líquidas, as que continham xantana e glicerol (L2) e com adição de polivinilpirrolidona (L5) e a formulação que continha xantana, carboximetilcelulose e polivinilpirrolidona (L6), foram as mais promissoras para a formulação de inoculantes para soja.

Polimerização de propeno com catalisadores metalocênicos via suportação in-situ utilizando SMAO como suporte

Os catalisadores metalocênicos Me2Si(Ind)2ZrCl2 e Me2Si(2-Me-Ind)2ZrCl2 foram suportados in-situ sobre SMAO e empregados na polimerização de propeno na presença de alquilalumínios tais como TEA, IPRA ou TIBA. Os resultados obtidos demonstraram que o tipo e a concentração de alquilalumínio presente no meio reacional influenciaram tanto a atividade catalítica quanto as propriedades dos polímeros gerados. Os polímeros obtidos com o catalisador suportado in-situ apresentaram propriedades distintas das obtidas no polímero gerado através da polimerização homogênea, além de morfologia controlada, confirmando que de fato a polimerização ocorreu sobre a superfície do SMAO. Através da deconvolução das curvas de GPC foi constatado o aumento do número de tipos de sítios ativos no sistema catalítico suportado in-situ, resultado que também confirmou a heterogeneização do catalisador sobre o suporte. Com o auxílio de cálculos teóricos e da deconvolução das curvas de GPC foi possível propor estruturas para os sítios ativos dos sistemas homogêneo metaloceno/MAO e heterogêneo (suportado in-situ) metaloceno/SMAO/alquilalumínio. Quando eteno foi utilizado como monômero, o comportamento do sistema catalítico metaloceno/SMAO/alquilalumínio suportado in-situ foi distinto do obtido com propeno. O catalisador Me2Si(Ind)2ZrCl2 suportado ex-situ sobre SMAO através de técnicas convencionais de suportação foi avaliado por EXAFS e foi constatado que a vizinhança eletrônica do zircônio é influenciada pela razão Zr/SMAO. Os resultados obtidos por EXAFS foram correlacionados com a variação na atividade catalítica na polimerização de eteno em função da alteração na razão Zr/SMAO.

Uma metodologia para adaptação e melhoria de produtos a partir da engenharia reversa

O tema desta dissertação de mestrado é o estudo da Engenharia Reversa como ferramenta de suporte à melhoria e adaptação de produtos. A partir de conceitos teóricos sobre desenvolvimento de produtos e melhoria de processos, propõe-se uma metodologia para adaptação de produtos destinados à exportação. A metodologia proposta consiste de oito passos, contemplando etapas de identificação e priorização das demandas de adaptação de produtos e elencando ferramentas auxiliares no atingimento dos objetivos desejados. A etapa inicial deste trabalho consiste de uma revisão bibliográfica dividida em duas partes: (i) adaptação de produtos através da utilização da Engenharia Reversa e seus habilitadores, e (ii) ferramentas para melhoria de processos. Os tópicos contemplados em (ii) incluem ferramentas para o mapeamento de processos de manufatura e para a sua melhoria. Destaque especial é dado ao Desdobramento da Função Qualidade – QFD (Quality Function Deployment), a Análise de Modos e Efeitos de Falhas (FMEA – Failure Mode and Effect Analysis) e às Cartas de Processos. Na seqüência, apresentam-se os passos da metodologia proposta para a adaptação de produtos às demandas de mercado utilizando a Engenharia Reversa e seus habilitadores. Finalmente, os passos metodológicos são aplicados a um caso prático, cujo objetivo é a adaptação de um pincel, produzido por uma empresa gaúcha, às demandas de um distribuidor alemão de ferramentas manuais.

Animação bidimensional para World Wide Web baseada em autômatos finitos

Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo AGA (Animação Gráfica baseada em Autômatos Finitos), o qual especifica a animação a partir de uma estrutura baseada em autômatos finitos com saída. Esse modelo é definido de tal forma que os mesmos autômatos utilizados na especificação, ao serem simulados, realizam o controle da animação durante a apresentação. O modelo AGA apresenta características que favorecem a redução do espaço de armazenamento da animação, provêem suporte à recuperação de informação, colaboram com a reutilização e manutenção do conteúdo das animações. Uma implementação multiplataforma foi desenvolvida para apresentar animações especificadas nesse modelo na Web. Essa implementação proporciona a elaboração de consultas ao conteúdo da animação, além dos recursos tradicionais de reprodução. A partir dessa implementação, o AGA foi submetido a um estudo de caso prático, onde os resultados obtidos são comparados com o produzidos pelo GIF (Graphic Interchange Format). Esse comparativo demonstra que o AGA possui várias vantagens em relação à estrutura adotada pelo GIF. O modelo AGA é estendido utilizando autômatos temporizados para prover restrições temporais às especificações e também ampliar as funcionalidades de interação com o observador da animação. Essa extensão, chamada de modelo AGA-S (Animação Gráfica baseada em Autômatos Temporizados Sincronizados), é definida a partir do autômato temporizado proposto por Alur e Dill. Para esse modelo, é definida uma operação formal para sincronização dos componentes da animação e adicionada uma estrutura baseada em autômatos finitos para controlar a interação do observador com a animação.

Adições às drogas : o desencontro de uma ilusão

A concepção deste trabalho surgiu a partir de observações de lacunas na clínica das adições às drogas. Com o objetivo de oferecer maior suporte no tratamento do uso abusivo de drogas, essa pesquisa propõe-se a abordar o problema reconhecendo a multiplicidade de fatores presentes nas adições. Inicialmente foi revisada a literatura sobre o uso de drogas na história da humanidade e seu possível significado de acordo com o momento histórico. Na pesquisa da literatura, procurou-se descrever o desenvolvimento psíquico do sujeito, e foram abordadas formas de resolução de conflitos comuns a quem chegou ao uso abusivo de drogas. Foi apresentada uma visão do sujeito na sua totalidade, tanto individual quanto social. Essa versão serviu como suporte para investigar a possível interferência da sociedade de consumo no uso de drogas. A investigação também deu ênfase às vicissitudes surgidas durante a trajetória do adicto após a tentativa de deixar esse comportamento. Para realização desse trabalho, foi utilizada metodologia qualitativa de caráter descritivo. Na pesquisa de campo, optou-se por entrevistas semi-estruturadas como instrumento de investigação. Essa escolha deu-se pela intenção de buscar na palavra do adicto uma percepção própria a respeito de sua trajetória após o tratamento, quando está experimentando um novo modo de existência. A análise das entrevistas mostrou um tipo de pensamento concreto presente no discurso do adicto. Isso foi identificado pela ausência de uma percepção crítica a respeito da influência do meio no uso de drogas. Essa verificação levou a algumas conclusões. A droga, usada como uma mentira, evita, de forma onipotente, que o adicto entre em contato com as verdadeiras emoções. Com o uso de drogas, o adicto fica impossibilitado de pensar, já que o pensamento supõe uma experiência emocional correspondente. Sem a possibilidade de ter uma referência simbólica, ele adere a crenças sem atingir o nível do pensar. Portanto, é importante que os profissionais envolvidos no tratamento das adições ajudem os sujeitos adictos a ampliarem a sua capacidade de pensar. Isso poderá ser feito através da integração do pensar e sentir. Somente assim será possível a utilização da palavra como recurso simbólico que permite tolerar e nomear, tanto a presença quanto a ausência de satisfação. Sem a capacidade de pensar ampliada, produz-se um hábito sem que ocorram transformações verdadeiras. Corre-se o risco de que o tratamento das adições não auxilie o sujeito a ter experiências reflexivas, onde o pensamento se antecipa à ação.

Os eleitos do cárcere : etnografia sobre violência e religião no sistema prisional gaúcho

A presente dissertação é uma etnografia que tem como objetivo estudar a relação entre atos de violência e como esses podem ser justificados através do discurso religioso. Para tal pesquisei um grupo evangélico, denominado de Estrela do Cárcere, vinculado a Assembléia de Deus e composto por 145 presidiários que cumprem pena privativa de liberdade na Penitenciária Estadual do Jacuí, no município de Charqueadas, Rio Grande do Sul. A pesquisa de campo ocorreu de maio de 2003 a novembro de 2004. No decorrer do trabalho discorro sobre o significado de ser crente dentro do presídio, a importância da honra e sua influência nas formas de ascensão hierárquica, bem como questões que envolvem a aquisição e o impacto simbólico da habilidade da escrita e leitura para o grupo. Concluindo, relativizo o conceito de violência entre os presos crentes e não-crentes, e discuto como o discurso religioso pode justificar atos de violência praticados entre os detentos. A religião atua como um sistema simbólico e possibilita aos “irmãos” reescrever o seu passado e ter acesso a uma comunidade que os apóia, fornece suporte emocional e material, tanto enquanto presidiários como quando saem do presídio. A violência é percebida de forma diferente entre os crentes e os não-crentes. Entre os presos não-crentes a violência física é o recurso mais utilizado para resolver qualquer problema interno. Entretanto, para os crentes, a violência só é utilizada como último recurso para manter a ordem e a disciplina no grupo, e quando se faz necessária passa a ser percebida não mais como violência, mas como punição e castigo aos que desobedecem a “Vontade de Deus”.

Using an animated pedagogical agent to interact affectively with the student

This work proposes an animated pedagogical agent that has the role of providing emotional support to the student: motivating and encouraging him, making him believe in his self-ability, and promoting a positive mood in him, which fosters learning. This careful support of the agent, its affective tactics, is expressed through emotional behaviour and encouragement messages of the lifelike character. Due to human social tendency of anthropomorphising software, we believe that a software agent can accomplish this affective role. In order to choose the adequate affective tactics, the agent should also know the student’s emotions. The proposed agent recognises the student’s emotions: joy/distress, satisfaction/disappointment, anger/gratitude, and shame, from the student’s observable behaviour, i. e. his actions in the interface of the educational system. The inference of emotions is psychologically grounded on the cognitive theory of emotions. More specifically, we use the OCC model which is based on the cognitive approach of emotion and can be computationally implemented. Due to the dynamic nature of the student’s affective information, we adopted a BDI approach to implement the affective user model and the affective diagnosis. Besides, in our work we profit from the reasoning capacity of the BDI approach in order for the agent to deduce the student’s appraisal, which allows it to infer the student’s emotions. As a case study, the proposed agent is implemented as the Mediating Agent of MACES: an educational collaborative environment modelled as a multi-agent system and pedagogically based on the sociocultural theory of Vygotsky.