Com o advento e o desenvolvimento da tecnologia da informação e principalmente da Internet, as infrações penais ganharam novo ambiente para sua prática. A vertente inovadora referente a esses ilícitos é o meio digital, também denominado meio eletrônico. Ocorre que, o crime informático praticado por meio da Internet é do tipo que deixa vestígio, sendo obrigatório, para se estabelecer a autoria e materialidade do ato delitivo, o exame do corpo de delito, exame este realizado por meio de perícia em meios computacionais. Embora a prova pericial seja regrada pelo Código de Processo Penal brasileiro, uma vez que se trata de meio de produção de prova típico, este regramento é extremamente genérico, não prevendo, portanto, regramento específico quanto à prova pericial em meios computacionais relacionada ao crime informático praticado por meio da Internet. Desta forma, o presente trabalho objetiva analisar a prova pericial em meios computacionais relacionada ao crime informático praticado por meio da Internet, como meio de produção de prova típico, em função do avanço tecnológico, e discutir a viabilidade de sua disciplina, de forma específica, pela legislação processual penal brasileira. A importância de se ter instrumentos legais que regulem a matéria, justifica-se não somente quanto às investigações em âmbito nacional, mas também, em âmbito internacional, o que facilitará a adesão do Brasil a Tratados e Convenções Internacionais que regulam investigações conjuntas entre Estados soberanos, visto que o crime informático praticado por meio da Internet, na maioria dos casos, tem caráter transnacional. / With the advent and development of information technology and especially of the Internet, criminal offenses have gained a new practice environment. The innovative aspect related to such illicits is the digital media, also called electronic media. As it happens, computer crime committed through the Internet is the type that leaves evidence, being that it is mandatory, to establish the authorship and materiality of the criminal act, the examination of the corpus delicti. This examination is performed by experts in computational forensics. Although the expert examination is ruled by the Brazilian Code of Criminal Procedure, since it is a typical means of generating evidence, this procedure is extremely generic and does not foresee, therefore, specific procedures about expert examination in computer crime committed through the Internet. Thus, the present work aims to examine the expert evidence on computer media, computer-crime crime committed through the Internet as a means of typical evidence, as a function of technological progress, and discuss the viability of its discipline, specifically, by the Brazilian criminal procedure law. The importance of having legal instruments governing the subject is justified not only when investigations run at national level but also internationally, what will facilitate the adherence of Brazil to international treaties and conventions governing joint investigations between sovereign states, considering that computer crime committed through the Internet, in most cases, has a transnational nature.

Made available in DSpace on 2016-04-29T14:23:50Z (GMT). No. of bitstreams: 1 Mario Madureira Fontes.pdf: 2351476 bytes, checksum: ff5ce95f3291028a7500e5b1b3730187 (MD5) Previous issue date: 2009-10-26 / This study presents a framework for considering the problems related to web-semantics and logic as applied to the cyberspace computational context, its agents and engines for searching purposes. Highlighting some historical issues concerning the philosophy of language and logic, the theoretical background contemplates the problems and methods tackled by websemantics. This reasoning involves the concepts of object, reference, research, data base e data classification, which are found in the work of building up a web-semantically oriented navigation. It is argued that a system of the history of the navigation can be built up in order to make the navigation by the user easier, supplying new computational ontologies. It is also demonstrated, by means of an experiment based in a search in the web, the troublesome areas involved in accessing contents. In the experiment, the results of each search are analyzed according to principles posed by Montague. Based on the theoretical background and the analysis of the results of the experiment, a draft of the architecture of a system of the history of navigation is proposed. It involves a semantic ontology server, which processes, by means of intelligent agents, the semantic history in OWL, republishes them, displays the semantic contents in P2P networks or in dedicated servers and validates these contents if necessary. This study shows the relevance of the historical research on logic so that a more comprehensive view of the problems related to the web is achieved and argues in favor of the necessity and importance of developing a multidisciplinary research comprising logics, computation and digital technologies / Este estudo apresenta uma proposta de leitura dos problemas relativos à lógica-semântica aplicados ao contexto computacional do ciberespaço, seus agentes e engines de busca. Ressaltando algumas questões históricas, relativas à filosofia da linguagem e à lógica, a fundamentação teórica propicia uma reflexão sobre os problemas atuais e os métodos abordados pela web-semântica. Essa reflexão incide sobre os conceitos de objeto, referência, pesquisa, base de dados e classificação de dados, os quais são encontrados no trabalho de construção de uma navegação orientada pelos princípios da web-semântica. Argumentamos que um sistema de histórico de navegação pode ser construído para ajudar a facilitar a navegação do usuário, fornecendo novas ontologias computacionais e demonstramos, por meio de um experimento baseado em uma busca efetuada, a problemática envolvida no acesso aos conteúdos. Analisamos nesse experimento, os resultados de cada busca com base em princípios propostos por Montague. Pautados nas reflexões teóricas e na análise do experimento efetuadas, propomos um esboço de arquitetura de um sistema de histórico de navegação que compreende um servidor de ontologias semânticas, o qual processa, por meio de agentes inteligentes, os históricos semânticos em OWL, republica-os, disponibiliza os conteúdos semânticos em redes P2P ou em servidores dedicados e valida tais conteúdos se necessário. O estudo mostra a relevância da pesquisa histórica da lógica para uma mais alargada compreensão dos problemas colocados pela WEB 2.0 e 3.0 e conclui pela necessidade e importância da pesquisa das relações entre lógica, computação e tecnologias digitais

Ao longo da última década o método adjunto tem sido consolidado como uma das mais versáteis e bem sucedidas ferramentas de otimização aerodinâmica e projeto inverso na Dinâmica dos Fluidos Computacional. Ele se tornou uma área de pesquisa por si só, criando uma grande variedade de aplicações e uma literatura prolífica. Entretanto, alguns aspectos relevantes do método permanecem ainda relativamente pouco explorados na literatura. Como é o caso das condições de contorno adjuntas e, mais especificamente, com respeito a fronteiras permeáveis. Esta dissertação discute detalhadamente uma nova forma de tratar o problema de contorno, que tem como objetivo assegurar que as equações adjuntas sejam bem-postas. O principal objetivo da otimização aerodinâmica consiste na tentativa de minimizar (ou maximizar) uma determinada medida de mérito. As aplicações de projeto inverso são desenvolvidas para escoamentos Euler 2-D ao redor de aerofólios, representados com a parametrização CST (Class-Shape function Transformation) proposta por Kulfan e Bussoletti (2006), em regime de vôo transônico e com domínio discretizado por malhas não-estruturadas de triângulos através de um ciclo de projeto, que utiliza o método steepest descent como algoritmo de busca da direção que minimiza (ou maximiza) a função de mérito. As equações adjuntas são derivadas na sua formulação contínua e suas condições de contorno são determinadas por equações diferenciais características adjuntas e relações de compatibilidade compatíveis com as variações realizáveis da física do escoamento. As variáveis adjuntas são, então, vistas como forças de vínculo generalizadas, que asseguram a realizabilidade de variações do escoamento. / Over the last decade the adjoint method has been consolidated as one of the most versatile and successful tools of aerodynamic optimization and inverse design in Computational Fluid Dynamics. It has become a research area of its own, spawning a large variety of applications and a prolific literature. Yet, some relevant aspects of the method remain relatively less explored in the literature. Such is the case with the adjoint boundary conditions and, more specifically, with regard to permeable boundaries. This dissertation discusses at length a novel approach to the boundary problem, which aims at ensuring the well-posedness of the adjoint equations. The main goal of aerodynamic optimization consists in attempting to minimize (or maximize) a certain mesure of merit. The inverse design applications are developed for 2-D Euler flows around airfoils, represented with the CST (Class-Shape function Transformation) parameterization proposed by Kulfan and Bussoletti (2006), in the transonic flight regime and domain discretized by triangle unstructured meshes in a design loop which makes use of the steepest descent method as search direction that minimizes (or maximizes) the mesure of merit. Adjoint equations are derived in the continuous formulation and their boundary conditions are determined by adjoint characteristic differential equations and compatibility relations. The latter are derived so as to be compatible with the realizable variations of physical quantities. The adjoint variables are seen as generalized constraint forces, which ensure the realizability of flow variations.

O principal objetivo deste trabalho é apresentar técnicas de solução para equações não lineares. Especificamente, consideramos equações compostas por funções elementares, dentre elas polinomiais, racionais, trigonométricas, exponenciais e logarítmicas, e por operações algébricas de soma, subtração, multiplicação, divisão, potência e raiz. Exploramos técnicas de resolução analítica e numérica. Como não existem fórmulas resolventes de extensão geral, a técnica analítica consiste em aplicar operações elementares que nos levam a equações equivalentes (que têm a mesma solução) até que se consiga uma equação simples, de fácil resolução. Os métodos numéricos abrangem um conjunto maior de equações e obtêm uma aproximação para a solução por meio de um processo que gera uma sequência de aproximações. Entre os métodos numéricos estudados estão Bissecção, de Newton, das Secantes e do Ponto Fixo (ou Iteração Linear). Recursos Computacionais como calculadora, planilha eletrônica e o software Maxima foram utilizados com objetivo de automatizar os cálculos, tornando essa tarefa mais rápida, e também buscando extrair informações adicionais do processo de resolução como criar tabelas e traçar gráficos. Realizamos testes numéricos com equações de diversos graus de dificuldade. Observamos as vantagens, as desvantagens e as limitações de cada método e de cada recurso. / The goal of this work is to present solution techniques for nonlinear equations. Specifically, we consider equations compounded of elementary functions, among them polynomials, rational, trigonometric, exponential and logarithmic, and of algebraic operations of addition, subtraction, multiplication, division, power and root. We explore analytical and numerical resolution techniques. Since there are no general resolvent formulas, the analytic technique consists of applying elementary operations that lead to equivalent equations (which have the same solution) until a simple and easily to solve equation is obtained. Numerical methods cover a larger set of equations and obtain an approximation to the solution by a process which generates a sequence of approximations. Among the numerical methods we studied Bisection, Newton, Secant and Fixed Point (or Linear Iteration) methods. Computational resources such as calculator, spreadsheet and the software Maxima were used in order to automate calculations, making this task faster, as well as seeking for additional information from the resolution process, such as creating tables and graphics. We perform numerical tests, with equations of varying degrees of difficulty. We note the advantages, disadvantages and limitations of each method and resource.

A execução de uma aplicação paralela, utilizando grades computacionais, necessita de um ambiente que permita a sua execução, além de realizar o seu gerenciamento, escalonamento e monitoramento. O ambiente de execução deve prover um modelo de processamento, composto pelos modelos de programação e de execução, no qual o objetivo é a exploração adequada das características das grades computacionais. Este trabalho objetiva a proposta de um modelo de processamento paralelo, baseado em variáveis compartilhadas, para grades computacionais, sendo composto por um modelo de execução apropriado para grades e pelo modelo de programação da linguagem paralela CPAR. O ambiente CPAR-Grid foi desenvolvido para executar aplicações paralelas em grades computacionais, abstraindo do usuário todas as características presentes em uma grade computacional. Os resultados obtidos mostram que este ambiente é uma solução eficiente para a execução de aplicações paralelas. / The execution of parallel applications, using grid computing, requires an environment that enables them to be executed, managed, scheduled and monitored. The execution environment must provide a processing model, consisting of programming and execution models, with the objective appropriately exploiting grid computing characteristics. This paper proposes a parallel processing model, based on shared variables for grid computing, consisting of an execution model that is appropriate for the grid and a CPAR parallel language programming model. The CPAR-Grid environment is designed to execute parallel applications in grid computing, where all the characteristics present in grid computing are transparent to users. The results show that this environment is an efficient solution for the execution of parallel applications.

Genetic maps are useful tools in breeding programs and evolutionary studies. Since the publication of the first map, several concepts have been proposed and implemented in various mapping software. Each software presents different characteristics for the construction of maps. For example, aspects such as availability of source code, licenses, tutorials, and operating system need to be considered. There are also important points related to the statistical methods employed. In this context, the users\' choice can often be a complicated task. The objectives here were: i) to present the main software with free licenses developed in recent years; ii) construct linkage maps using these software and, iii) evaluate them from the point of view of users. The software considered were: OneMap, Lep-MAP, HighMap, Lep-MAP2, Flipper, Lep-MAP3, ASMap, and GUSMap. This work can guide researchers about the free tools available to construct genetic maps. / Mapas genéticos são ferramentas úteis em programas de melhoramento e em estudos evolutivos. Desde a publicação do primeiro mapa, vários conceitos foram propostos e implementados em vários softwares de mapeamento. Cada software apresenta diferentes características para construção de mapas. Por exemplo, aspectos como disponibilidade do código fonte, licenças, tutoriais e sistema operacional precisam ser considerados. Há ainda pontos importantes relacionados aos métodos estatísticos empregados. Assim sendo, nem sempre a escolha pelos usuários é uma tarefa simples. Os objetivos aqui foram: i) apresentar os principais softwares com licenças gratuitas desenvolvidos nos últimos anos; ii) construir mapas de ligação utilizando esses programas e iii) avaliá-los do ponto de vista dos usuários. Os softwares considerados foram: OneMap, Lep-MAP, HighMap, Lep-MAP2, Flipper, Lep-MAP3, ASMap e GUSMap. Este trabalho poderá orientar os pesquisadores quanto às ferramentas gratuitas disponíveis para construção de mapas genéticos.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-09-06T18:32:40Z No. of bitstreams: 1 DissMRC.pdf: 1562148 bytes, checksum: 9921840ad67ef82d956e399ab96dd78c (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T16:56:27Z (GMT) No. of bitstreams: 1 DissMRC.pdf: 1562148 bytes, checksum: 9921840ad67ef82d956e399ab96dd78c (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-25T16:56:34Z (GMT) No. of bitstreams: 1 DissMRC.pdf: 1562148 bytes, checksum: 9921840ad67ef82d956e399ab96dd78c (MD5) / Made available in DSpace on 2017-09-25T17:05:03Z (GMT). No. of bitstreams: 1 DissMRC.pdf: 1562148 bytes, checksum: 9921840ad67ef82d956e399ab96dd78c (MD5) Previous issue date: 2017-02-13 / Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ) / With the evolution of next generation sequencing devices, the cost for obtaining genomic data has significantly reduced. With reduced costs for sequencing, the amount of genomic data to be processed has increased exponentially. Such data growth supersedes the rate at which computing power can be increased year after year by the hardware and software evolution. Thus, the higher rate of data growth in bioinformatics raises the need for exploiting more efficient and scalable techniques based on parallel and distributed processing, including platforms like Clusters, and Cloud Computing. BLAST is a widely used tool for genomic sequences alignment, which has native support for multicore-based parallel processing. However, its scalability is limited to a single machine. On the other hand, Cloud computing has emerged as an important technology for supporting rapid and elastic provisioning of large amounts of resources. Current frameworks like Apache Hadoop and Apache Spark provide support for the execution of distributed applications. Such environments provide mechanisms for embedding external applications in order to compose large distributed jobs which can be executed on clusters and cloud platforms. In this work, we used Spark to support the high scalable and efficient parallelization of BLAST (Basic Local Alingment Search Tool) to execute on dozens to hundreds of processing cores on a cloud platform. As result, our prototype has demonstrated better performance and scalability then CloudBLAST, a Hadoop based parallelization of BLAST. / Com a redução dos custos e evolução dos mecanismos que efetuam o sequenciamento genômico, tem havido um grande aumento na quantidade de dados referentes aos estudos da genomica. O crescimento desses dados tem ocorrido a taxas mais elevadas do que a industria tem conseguido aumentar o poder dos computadores a cada ano. Para melhor atender a necessidade de processamento e analise de dados em bioinformatica faz-se o uso de sistemas paralelos e distribuídos, como por exemplo: Clusters, Grids e Nuvens Computacionais. Contudo, muitas ferramentas, como o BLAST, que fazem o alinhamento entre sequencias e banco de dados, nao foram desenvolvidas para serem processadas de forma distribuída e escalavel. Os atuais frameworks Apache Hadoop e Apache Spark permitem a execucao de aplicacoes de forma distribuída e paralela, desde que as aplicacoes possam ser devidamente adaptadas e paralelizadas. Estudos que permitam melhorar desempenho de aplicacoes em bioinformatica tem se tornado um esforço contínuo. O Spark tem se mostrado uma ferramenta robusta para processamento massivo de dados. Nesta pesquisa de mestrado a ferramenta Apache Spark foi utilizada para dar suporte ao paralelismo da ferramenta BLAST (Basic Local Alingment Search Tool). Experimentos realizados na nuvem Google Cloud e Microsoft Azure demonstram desempenho (speedup) obtido foi similar ou melhor que trabalhos semelhantes ja desenvolvidos em Hadoop.

Neste trabalho é apresentada uma nova abordagem de algoritmo evolutivo multiobjetivo, denominado MOEA/NSM (do inglês, Multiobjective Evolutionary Algorithm integrating NSGA-II, SPEA2 and MOEA/D features). O algoritmo preserva em geral, características de um algoritmo evolutivo, concentrando qualidades de outras abordagens de sucesso na literatura em uma única abordagem, para que elas trabalhem em conjunto, por meio de subpopulações. O objetivo do estudo foi combinar as principais características dos algoritmos NSGA-II, SPEA2 e MOEA/D, e incluir ainda uma técnica de busca local para melhorar a busca no espaço de objetivos. O algoritmo MOEA/NSM foi comparado às demais abordagens clássicas utilizando 9 datasets para o problema do caixeiro viajante biobjetivo. Além disso, foram realizados experimentos aplicando também a busca local nas abordagens clássicas, resultando em considerável melhora nos resultados para esses algoritmos. A partir das fronteiras de Pareto resultantes dos experimentos, foram aplicadas as métricas de avaliação por Hipervolume, Epsilon (ε), R2, EAF, além do teste de hipótese estatístico Shapiro-Wilk. Os resultados apontaram um melhor desempenho do MOEA/NSM em relação aos demais, mesmo aplicando a busca local nas outras abordagens. Nesse sentido, o MOEA/NSM pode ser considerado um algoritmo que consegue encontrar soluções não denominadas de qualidade, tanto quanto os algoritmos clássicos da literatura. / This work presents a new approach to the multiobjective evolutionary algorithm, called MOEA/NSM (Multiobjective Evolutionary Algorithm integrating NSGA-II, SPEA2 and MOEA/D features). The algorithm preserves, in general, the characteristics of an evolutionary algorithm, concentrating qualities of other approaches of success in the literature in a single approach, so that they work together, through subpopulations. The objective of the study was to combine the main characteristics of the NSGA-II, SPEA2 and MOEA/D algorithms, and also to include a local search technique to improve the objective space search. The MOEA/NSM algorithm was compared to the other classical approaches using 9 datasets for the biobjective traveling salesman problem. In addition, experiments were carried out also applying the local search in the classical approaches, resulting in a considerable improvement in the results for these algorithms. From the Pareto frontiers resulting from experiments, we applied the evaluation metrics by Hypervolume, Epsilon (ε), R2, EAF, in addition to the Shapiro-Wilk statistical hypothesis test. The results showed a better performance of the MOEA/NSM in relation to the others, even applying the local search in the others approaches. In this sense, the MOEA/NSM can be considered an algorithm that is able to find solutions not dominated of quality, as much as the classic algorithms of the literature.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-31T14:31:59Z No. of bitstreams: 1 EANES TORRES PEREIRA - DISSERTAÇÃO PPGCC 2007..pdf: 4422108 bytes, checksum: 9b27a661074ca88e823ffb0472a68502 (MD5) / Made available in DSpace on 2018-07-31T14:31:59Z (GMT). No. of bitstreams: 1 EANES TORRES PEREIRA - DISSERTAÇÃO PPGCC 2007..pdf: 4422108 bytes, checksum: 9b27a661074ca88e823ffb0472a68502 (MD5) Previous issue date: 2007-03 / A atenção visual é um mecanismo biologicamente inspirado, o qual corresponde à habilidade de selecionar e processar somente as regiões mais relevantes de uma cena visual. Para fins didáticos, a atenção visual pode ser dividida em duas categorias principais: bottom-up e top-down. A atenção visual bottom-up guia o foco de atenção a partir de características primitivas (como descontinuidades de intensidade em diferentes escalas e orientações) computadas diretamente na imagem,sem qualquer informação contextual. A atenção visual top-down, por outro lado, realiza uma busca por regiões de interesse a partir de características de alto nível, especificadas na forma de conhecimento prévio na forma ou modelos sobre o que se está buscando na cena. A principal questão de pesquisa que procuramos responder nessa dissertação é a seguinte: como seria possível agregar algum comportamento de alto nível a um mecanismo típico de atenção visual bottom-up (guiando dessa forma o foco de atenção para classes de regiões pré-estabelecidas)? O modelo mais conhecido de atenção visual bottom-up utiliza vários mapas de características primitivas para formar um mapa de saliência, o qual indica a importância do ponto de vista atencional das diferentes regiões de uma cena. Nesse trabalho, atribuímos pesos aos mapas de características e desenvolvemos um processo de otimização baseado em algoritmos genéticos simulados em uma grade computacional. Foram realizados experimentos com quatro classes de objetos (carros, faces de pessoas, objetos genéricos e pistolas). Os resultados utilizando atenção bottom-up com otimização foram comparados com os resultados de um mecanismo sem otimização de pesos e com um sistema existente que implementa o difundido modelo de atenção visual proposto por Itti et al. [Itti et al., 1998]. Os resultados mostraram ganhos de até 30% utilizando-se a abordagem proposta. Desta forma, este trabalho mostra que a atenção visual pode ser guiada para regiões pré-definidas, podendo ser utilizada como parte de sistemas de detecção de objetos. / Visual attention is a biologically inspired mechanism, which corresponds to the ability of selecting and processing only the most relevant regions of a visual scene. For didactic purposes, visual attention can be divided into two main categories: bottom-up and top down. Bottom-up visual attention guides the attention focus by using primitive visual features (such as discontinuities in intensity across different scales and orientations) computed directly from the input image,without the need of any context information. Top-down visual attention, on the other side, performs a search for interest regions from higher-level features, specified in the form of previous knowledge or models about what is being sought in the scene. Themain research question that we intended to answer in this dissertation was the following: how it would be possible to incorporate some higher-level be haviour into a typical bottom-up visual attention mechanism (thus guiding the attention focus to pre-established classes of objects)? The most known bottom-up visual attention model uses several primitive feature maps to form a saliency map, which indicates the importance of the different scene regions. In this work, we assigned weights to the feature maps and developed an optimization process based on genetic algorithms running on a computational grid. Experiments involving four object classes (cars, human faces, generic objects and pistols)have been performed. The results of the optimized bottom-up mechanism have been compared with the results of a mechanism not using optimized weights and with an existing system that implemented the well known visual attention mechanism proposed by Itti et al. [Itti et al., 1998]. The results have shown an improvement of up to 30% when using the optimized mechanism. Thus,this work shows that visual attention can indeed be guided towards pre-defined regions and can be used as part of object detection systems.

O objetivo deste trabalho de pesquisa foi investigar o desempenho de alunos que trabalharam com atividades de simulação e modelagem computacionais no estudo de circuitos elétricos, utilizando o software Modellus, comparado com alunos expostos apenas ao sistema tradicional de ensino. A fundamentação teórica adotada esteve baseada no referencial de trabalho de Halloun sobre modelagem esquemática e na teoria de Ausubel sobre aprendizagem significativa. O estudo envolveu 193 alunos de cursos de Engenharia, da disciplina de Física-II oferecida pela UFRGS no 2° semestre de 2004. O procedimento didático ocorreu em duas etapas. Na primeira, os alunos do grupo experimental trabalharam com um conjunto de atividades sobre circuitos elétricos simples durante cinco aulas e na etapa seguinte, com um conjunto de atividades sobre circuitos RLC durante quatro aulas. Cada aula teve duração de 1h40min. Os resultados quantitativos mostram que houve melhorias estatisticamente significativas no desempenho dos alunos do grupo experimental, quando comparado aos alunos dos grupos de controle, expostos apenas ao método tradicional de ensino. Os resultados de nossa análise qualitativa sugerem que muitos dos alunos atingiram uma aprendizagem significativa. Nossas observações e o levantamento de opiniões mostraram que o procedimento didático adotado exigiu muita interação dos alunos com as atividades computacionais, dos alunos entre si e com o professor, tornando-se um elemento motivador na aprendizagem dos alunos.