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.

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

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.

Dinodontosaurus (Synapsida, Dicynodontia) reconstituições morfológicas e aspectos biomecânicos

Dicinodontes possuem um mosaico de características, que incluem, por exemplo, extrema redução dentária, movimento propalinal da mandíbula, e o desenvolvimento de uma postura diferenciada em alguns gêneros. Nesses, enquanto os membros anteriores permanecem abduzidos, em uma postura primitiva, os posteriores se tornam totalmente aduzidos. Para discutir aspectos paleobiológicos, foram efetuadas análises morfofuncionais e biomecânicas em espécimes do gênero Dinodontosaurus Romer, 1943, um dicinodonte de porte médio do Mesotriássico do estado do Rio Grande do Sul, Brasil. É endossada a sinonímia da maioria das espécies do gênero com Dinodontosaurus turpior, excetuando-se Dinodontosaurus platygnathus, cujos materiais apresentam características conflitantes, e é tratado aqui como nomen dubium. É apresentada uma sucinta descrição osteológica para as formas juvenis do gênero, nos quais se observa a presença de seis vértebras sacrais, além de um mínimo de 17 caudais, adicionando informações que permitem novas reconstruções esqueletais. Enfoque é dado na miologia facial e dos membros, com base na comparação de modelos para diferentes taxa, seguindo a abordagem de suporte filogenético de animais viventes. Apenas músculos de presença inequívoca são reconstituídos, a menos quando há argumentos morfológicos convincentes. A partir de observações morfofuncionais, é eliminada a possibilidade de Dinodontosaurus utilizar suas presas com a mandíbula aberta, seja para alimentação ou defesa, e é reforçado seu caráter como ornamentação Na falta de análogos posturais modernos, comparações com preguiças terrícolas extintas levaram alguns autores a propostas de uma postura bípede para os dicinodontes, ao menos facultativa, para se erguerem nas patas traseiras e alcançarem níveis mais elevados de vegetação. Para testar essa hipótese, foram abordados vários aspectos biomecânicos envolvidos na postura bípede, em Dinodontosaurus. Seu centro de massa foi localizado a partir da suspensão de modelos em argila, estando posicionado em um ponto, no plano sagital, aproximadamente na metade da distância entre os estilopódios anteriores e posteriores, um pouco mais próximo dos primeiros; para os indivíduos juvenis, um modelo digital obtido através de scanner 3D a laser também corroborou esse posicionamento, o que sugere que a postura bípede não poderia ser facilmente mantida sem apoio, e um caminhar bípede seria totalmente impraticável. Foram estimados os momentos de resistência da coluna vertebral, a partir de medidas da largura e altura dos centros vertebrais em sua borda posterior, sendo que os resultados foram compatíveis com um animal de postura quadrúpede. Foram também calculados os índices de capacidade atlética para os ossos longos dos membros anteriores e posteriores; para isso, foram estimadas as massas, com os indivíduos juvenis atingindo entre 23 e 32kg, enquanto o adulto não ultrapassaria 300kg. As massas foram obtidas baseando-se em estimativas de volume a partir de silhuetas e de modelos tridimensionais em computação Os valores obtidos para os índices de capacidade atlética são muito superiores aos de outros animais descritos na literatura, embora sejam compatíveis com outros terápsidos não-mamalianos julgados quadrúpedes, e estão na mesma ordem de grandeza entre os ossos dos membros anteriores e posteriores, o que também alude à postura quadrúpede. Através de observações morfológicas gerais, localização do centro de massa, estimativa de momentos de resistência da coluna vertebral e cálculo de índices de capacidade atlética para os membros, conclui-se que, ao menos no que concerne a Dinodontosaurus, não há evidências que suportem as analogias morfofuncionais com as preguiças terrícolas, animais que apresentam diversas adaptações para o bipedalismo. Os resultados para os índices de capacidade atlética também lançam dúvidas sobre sua aplicabilidade generalizada em comparações paleobiológicas.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Visualização interativa e manipulação de imagens 3D em tempo real usando métodos baseados na GPU

Este trabalho apresenta um conjunto de ferramentas que exploram as capacidades recentes das placas gráficas de computadores pessoais para prover a visualização e a interação com volumes de dados. O objetivo é oferecer ao usuário ferramentas que permitam a remoção interativa de partes não relevantes do volume. Assim, o usuário é capaz de selecionar um volume de interesse, o que pode tanto facilitar a compreensão da sua estrutura quanto a sua relação com os volumes circundantes. A técnica de visualização direta de volumes através do mapeamento de texturas é explorada para desenvolver estas ferramentas. O controle programável dos cálculos realizados pelo hardware gráfico para gerar a aparência de cada pixel na tela é usado para resolver a visibilidade de cada ponto do volume em tempo real. As ferramentas propostas permitem a modificação da visibilidade de cada ponto dentro do hardware gráfico, estendendo o benefício da visualização acelerada por hardware. Três ferramentas de interação são propostas: uma ferramenta de recorte planar que permite a seleção de um volume de interesse convexo; uma ferramenta do tipo “borracha”, para eliminar partes não relevantes da imagem; e uma ferramenta do tipo “escavadeira”, para remover camadas do volume Estas ferramentas exploram partes distintas do fluxo de visualização por texturas, onde é possível tomar a decisão sobre a visibilidade de cada ponto do volume. Cada ferramenta vem para resolver uma deficiência da ferramenta anterior. Com o recorte planar, o usuário aproxima grosseiramente o volume de interesse; com a borracha, ele refina o volume selecionado que, finalmente, é terminado com a escavadeira. Para aplicar as ferramentas propostas ao volume visualizado, são usadas técnicas de interação conhecidas, comuns nos sistemas de visualização 2D. Isto permite minimizar os esforços do usuário no treinamento do uso das ferramentas. Finalmente, são ilustradas as aplicações potenciais das ferramentas propostas para o estudo da anatomia do fígado humano. Nestas aplicações foi possível identificar algumas necessidades do usuário na visualização interativa de conjuntos de dados médicos. A partir destas observações, são propostas também novas ferramentas de interação, baseadas em modificações nas ferramentas propostas.

Polvo violonista : sistema multiagente para simulação de performances em violão

Este trabalho apresenta um sistema multiagente que permite simular execuções musicais em violão. Em uma execução musical no violão observam-se elementos distintos que, trabalhando em conjunto, produzem a sonoridade desejada pelo músico. Ou seja, as ações tomadas pelo violonista, através do sincronismo de suas mãos sobre o instrumento, influenciam diretamente na sonoridade obtida. A idéia básica deste trabalho é desenvolver uma comunidade de agentes que represente as entidades envolvidas em uma performance musical de violão. Quatro agentes foram identificados e modelados no contexto desta dissertação. São eles: Mão Esquerda (ME): Responsável pela execução dos acordes, ou seja, deve possuir o conhecimento de formação de acordes dada a afinação do instrumento bem como a interpretação das cifras que representam os acordes. Agente Mão Direita (MD): Responsável pelo ritmo impresso na música; Caixa de Som (CS): Permite que os usuários simplesmente escutem a composição, sem nenhuma (ou muito pouca) interferência na composição. Agente Solista (SL): Projetado somente para ler arquivos MIDI e enviar notas para o Agente Caixa de Som (CS). O conhecimento relativo ao reconhecimento das cifras, geração do acorde e posterior cálculo do desenho do acorde para um instrumento de corda foi encapsulado em duas bibliotecas que visam auxiliar no desenvolvimento de outros novos projetos que necessitem de funcionalidades similares. Ainda, são abordadas as questões da comunicação entre os agentes e componentes gráficos utilizados na captura de informações rítmicas. O material musical produzido pelo sistema está contido no CD-ROM em anexo, bem como a documentação das API’s.

Diferenças entre homens e mulheres no uso e na percepção de valor da Internet

Esta dissertação trata das diferenças entre homens e mulheres no uso e na percepção de valor da Internet. Para tanto, busca-se primeiramente identificar estas diferenças e em seguida analisá-Ias sob uma perspectiva evolucionária, baseada no campo da psicologia evolucionária. O objetivo é entender as razões evolutivas (ou as causas últimas) de comportamentos e cognições que fazem com que homens e mulheres usem e valorizem a Internet de formas distintas. Para identificar as diferenças, utilizou-se basicamente dois métodos de investigação: survey e entrevistas em profundidade, buscando assim aproveitar as melhores caracteristicas de cada método para almejaruma compreensão mais abrangente do fenômeno estudado. Além disso, fez-se uso de pesquisa secundária para avaliar e trazer mais evidências sobre as diferenças analisadas. Foram identificadas 7 diferenças básicas entre homens e mulheres no uso e percepção de valor da Internet: (1) mulheres valorizam mais as possibilidades de comunicação interpessoal, enquanto que homens valorizam mais aspectos ligados à busca e disponibilidadede informações; (2) existem claramente tipos de sites que são mais usados e valorizadospor um dos sexos, ainda que existam assuntos e sites que interessem tanto aos homens quanto às mulheres; (3) homens acessam mais e atribuem maior valor a materiais sexualmente explícitos; (4) homens fazem mais downloads de músicas e valorizam mais possibilidadesligadas à música; (5) homens usam chats de forma mais agressiva e com intenção sexual mais explícita; (6) mulheres não se sentem tão confortáveis para comprar via Internet; e, (7) homens têm mais interesse e conhecimento sobre aspectos tecnológicos e de uso de ferramentas da Internet Uma parte significativa dessas diferenças pode ser atribuída a aspectos evolucionários e biológicos, como a maior tendência dos homens para sistematizaçãoe a maior tendência das mulheres para a empatia (BARON-COHEN, 2004). Estas tendências estão relacionadas à causas evolutivas específicas, baseadas principalmente nas estratégias reprodutivas distintas de cada sexo (BUSS, 1989; TRIVERS, 1972).Ao final do trabalho, apontam-se as principais conclusões referentes ao tema, analisam-se as implicações teóricas e gerenciais, avaliam-se as limitações do estudo e sugerem-sefuturas pesquisas.

T&D-bench : explorando o espaço de projeto de processadores em ensino e em pesquisa

Uma metodologia de modelagem para a exploração do espaço de projeto de processadores é apresentada. A exploração do espaço de projeto constitui uma das etapas do fluxo de projeto dos atuais processadores de alto desempenho e de sistemas embarcados, que auxilia os projetistas no tratamento da complexidade inerente ao processo contemporâneo de projeto de sistemas computacionais. A principal característica desta metodologia é um processo de modelagem simples e rápido. Isso é obtido através da disponibilização dos recursos de modelagem em camadas com propósitos e níveis de complexidade de uso diferenciados e da limitação do número de elementos (palavras-chave, classes e métodos) que devem ser conhecidos pelo projetista para o acesso a estes recursos, independentemente da camada na qual eles se encontram. A única exigência para o uso de tais recursos são conhecimentos que estudantes de Computação adquirem ao longo dos seus cursos da área de Computação e Informática. Outras características da metodologia de modelagem incluem: recursos específicos e distintos para a descrição da organização, da arquitetura e de aspectos temporais do processador; um estilo de descrição estrutural de alto nível da organização; a possibilidade de uso de recursos gráficos em tempo de modelagem e em tempo de simulação; e a existência de informações nos modelos que podem ser usadas para a tradução das descrições para uma Hardware Description Language Todas estas características constituem um conjunto de soluções de modelagem e simulação de processadores que não é encontrado em outros ambientes usados na exploração do espaço de projeto, baseados em Architecture Description Languages, Hardware Description Languages e ferramentas de simulação. Além disso, os modelos de processadores, desenvolvidos com esta metodologia, fornecem os recursos para a aceleração do aprendizado de conteúdos de arquitetura de computadores que só são encontrados em simuladores para ensino. Uma infra-estrutura de software que implementa a metodologia de modelagem foi desenvolvida e está disponível. Ela foi usada no ensino e no contexto da pesquisa para a modelagem e simulação de diversos processadores. Uma comparação com a metodologia de modelagem de uma Architecture Description Language demonstra a simplicidade e a rapidez do processo de modelagem previsto na metodologia apresentada.