APRENDIZAGEM COLABORATIVA APOIADA POR UM JOGO NARRATIVO CULTURALMENTE CONTEXTUALIZADO

Atualmente as escolas têm encontrado muitosdesafios educacionais para ensinar aos alunos algumas habilidadesque fazem parte do processo de aprendizado e de vida, tais como: seexpressar e trabalhar colaborativamente. Como também, osprofessores têm dificuldades para encontrar ferramentas que osapóiem a trabalhar em grupo com seus alunos de acordo com os seusobjetivos pedagógicos, pois tais atividades dificilmente ocorremnaturalmente. Neste contexto este trabalho descreve um jogonarrativo para ser utilizado pelos professores, permitindo-os contarestórias colaborativamente com seus alunos. Este jogo permite oprofessor construir estórias contextualizadas à realidade sócioculturaldos alunos, utilizando um vocabulário comum durante anarração, considerando os mitos, crenças, conhecimento de um grupode alunos, permitindo que eles se identifiquem com as estórias

Identifying people who are talking about the same topic in social networks, even having a different cultural background

Social media are assumed here as a blending of technology and social interaction for the co-creation of value, as in social networks. We discuss that in such environments, it is possible to find people with common interests that potentially can promote discussions, teaching and learning from each other. However, the approaches to recommend people to interact with in the social network still do not consider the users’ cultural background. This paper describes an approach to identify people who are talking about the same topic in social networks, even having a different cultural background, in order to introduce to each other and leverage interaction to exchange experience, knowledge, etc. Some tests’ results applying the proposal are presented. The approach was adopted in three different topics of discussion and the resultssuggest that the generated cultural understanding improves the chances of identifying people with similar interests

Using genetic algorithms to support complex systems simulation

Este trabalho apresenta a técnica de Algoritmo Genético para apoiar o processo de modelagem e simulação de sistemas complexos. Tal técnica pode ser vista como uma opção as técnicas tradicionais de modelagem e análise dos dados de simulação, simplificando todo esse processo, por suas características de simplicidade e generalidade, não exigindo conhecimento especifico do domínio do problema. É apresentada uma ferramenta computacional - SimAG - baseada em Algoritmo Genético para modelagem e simulação de sistemas dessa natureza. Um exemplo de aplicação e estudado, onde pode ser constatada a viabilidade da utilização da técnica no processo de simulaçãoThis work presents the Genetic Algorithm technique supporting the process of complex systems modeling and simulation. Such technique can be seen as an option to both the traditional modeling and the simulation data analysis techniques. Due to its inherent simplicity and generic application, it simplifies the whole process of simulation, demanding no specific knowledge over the problem domain. A genetic algorithm based computational tool - SimAG - for the modeling and simulation of such systems is here presented, and an example of its use is analyzed, thus demonstrating the feasibility of this new technique application in simulation processe

Using genetic algorithms to support complex systems simulation

Este trabalho apresenta a técnica de Algoritmo Genético para apoiar o processo de modelagem e simulação de sistemas complexos. Tal técnica pode ser vista como uma opção as técnicas tradicionais de modelagem e análise dos dados de simulação, simplificando todo esse processo, por suas características de simplicidade e generalidade, não exigindo conhecimento especifico do domínio do problema. É apresentada uma ferramenta computacional - SimAG - baseada em Algoritmo Genético para modelagem e simulação de sistemas dessa natureza. Um exemplo de aplicação e estudado, onde pode ser constatada a viabilidade da utilização da técnica no processo de simulaçãoThis work presents the Genetic Algorithm technique supporting the process of complex systems modeling and simulation. Such technique can be seen as an option to both the traditional modeling and the simulation data analysis techniques. Due to its inherent simplicity and generic application, it simplifies the whole process of simulation, demanding no specific knowledge over the problem domain. A genetic algorithm based computational tool - SimAG - for the modeling and simulation of such systems is here presented, and an example of its use is analyzed, thus demonstrating the feasibility of this new technique application in simulation processe

Not available

A utilização crescente da informática, em diversas áreas, vem aumentando o número de aplicações, que exigem maiores taxas de desempenho e rapidez de desenvolvimento. Nesse contexto, os sistemas concorrentes, pelo fato de explorarem o uso simultâneo \'de múltiplos recursos de um sistema, estão ficando mais atraentes, embora apresentem maior complexidade, implicando em desenvolvimento mais demorado e depuração mais difícil. Para superar estas dificuldades, é necessário que se disponham de ferramentas, que possam apoiar o projetista nas atividades de especificação, análise, e testes de sistemas. Este trabalho aborda a elaboração de uma ferramenta, baseada em Redes de Petri e programada com a linguagem Prolog, voltada para a especificação de sistemas concorrentes e a verificação de propriedades dinâmicas como: ausência de impasses, realização de progresso efetivo, minimidade, vivacidade, reiniciabilidade, limitabilidade, e recuperabilidade. Além disso, o trabalho mostra a potencialidade de uso da ferramenta em projetos para desenvolvimento de: hardware, sistemas de controle, sistemas operacionais, sistemas distribuídos, sistemas paralelos, sistemas de informação, etc.The increasing importance of computer science technology for awide range of application areas has increased considerably the demand for the fast development of high performance computer systems. In this context, concurrent systems capable of simultaneous exploring the many resources in a computer environment are becoming especially attractive. However, such systems can be extremely complex, requiring long development times, and are particularly hard to debug. Therefore, it is important that computer tools be made available for helping designers in the specification, analysis and testing of concurrent systems. This work presents a computerized tool, based on Petri Nets and implemented in Prolog, for the modeling and analysis concurrent systems. This tool can check dynamical properties such as liveness, reversibility, boundedness, recoverability, etc. It is shown that the tool displays great potential as an aid to projects in areas such as hardware, control systems, operating systems, parallel systems, information systems, etc

Not available

A utilização crescente da informática, em diversas áreas, vem aumentando o número de aplicações, que exigem maiores taxas de desempenho e rapidez de desenvolvimento. Nesse contexto, os sistemas concorrentes, pelo fato de explorarem o uso simultâneo \'de múltiplos recursos de um sistema, estão ficando mais atraentes, embora apresentem maior complexidade, implicando em desenvolvimento mais demorado e depuração mais difícil. Para superar estas dificuldades, é necessário que se disponham de ferramentas, que possam apoiar o projetista nas atividades de especificação, análise, e testes de sistemas. Este trabalho aborda a elaboração de uma ferramenta, baseada em Redes de Petri e programada com a linguagem Prolog, voltada para a especificação de sistemas concorrentes e a verificação de propriedades dinâmicas como: ausência de impasses, realização de progresso efetivo, minimidade, vivacidade, reiniciabilidade, limitabilidade, e recuperabilidade. Além disso, o trabalho mostra a potencialidade de uso da ferramenta em projetos para desenvolvimento de: hardware, sistemas de controle, sistemas operacionais, sistemas distribuídos, sistemas paralelos, sistemas de informação, etc.The increasing importance of computer science technology for awide range of application areas has increased considerably the demand for the fast development of high performance computer systems. In this context, concurrent systems capable of simultaneous exploring the many resources in a computer environment are becoming especially attractive. However, such systems can be extremely complex, requiring long development times, and are particularly hard to debug. Therefore, it is important that computer tools be made available for helping designers in the specification, analysis and testing of concurrent systems. This work presents a computerized tool, based on Petri Nets and implemented in Prolog, for the modeling and analysis concurrent systems. This tool can check dynamical properties such as liveness, reversibility, boundedness, recoverability, etc. It is shown that the tool displays great potential as an aid to projects in areas such as hardware, control systems, operating systems, parallel systems, information systems, etc