Aplicación de videojuegos educativos teatrales en dispositivos móviles y fijos

En un mundo dominado por las nuevas tecnologías, donde en cada casa podemos encontrar más dispositivos tecnológicos que personas, seguimos teniendo un sistema educativo basado en libros de texto, cuaderno y bolígrafo. Esto, combinado con una generación de estudiantes considerados como nativos digitales (Prensky, 2010), está haciendo que los resultados académicos sean cada vez peores, aumentando el fracaso escolar (Fernández Pérez, 1986). Sin embargo, dada la aparición de los llamados videojuegos educativos, o "serious games", y la digitalización de las aulas, se ha demostrado que aprender jugando no sólo es más divertido, sino que además es más efectivo (Wong et al., 2007). Pero, cuando un centro educativo decide invertir dinero en traer nuevas tecnologías a las aulas, surge la siguiente pregunta: ¿en qué tipo de dispositivo debo invertir? Hasta la aparición de las tablets, esta pregunta tenía una clara respuesta, ordenadores. Pero con la llegada de éstas, la respuesta no está tan clara. ¿Qué dispositivo funciona mejor en las aulas? Otro ámbito que pierde adeptos entre los más jóvenes con la llegada de tanta tecnología a los hogares, es el mundo del teatro. Cada vez son menos los jóvenes interesados en acudir al teatro, convirtiendo a éste en un espectáculo de minorías. Una vez más los videojuegos educativos pueden ser una solución, como se demuestra en la tesis doctoral de Borja Manero (Manero, Torrente, Serrano, Martínez-Ortiz, & Fernández-Manjón, 2015). Esto llamó la atención del Compañía Nacional de Teatro Clásico (CNTC), queriendo realizar más videojuegos educativos que ayuden a incrementar el interés de los más jóvenes por el teatro. Por lo tanto, tenemos dos retos por delante: el principal es encontrar el mejor dispositivo para aplicar estos videojuegos educativos. Esto nos lleva a un segundo objetivo. Desarrollar el videojuego que servirá como herramienta para el desarrollo del experimento. Desarrollamos un videojuego educativo, basado en la obra de teatro “La Cortesía de España”, representada por la CNTC. Se realizaron varios procesos de adaptación para transformar una obra de teatro clásico en un videojuego divertido y útil para la investigación. Utilizando este videojuego como herramienta educativa, realizamos un experimento en el colegio de la Comunidad de Madrid Benito Pérez Galdós (Móstoles), proporcionándonos más de 150 alumnos, de entre 9 y 11 años, para participar en el mismo. Este experimento tiene como fin demostrar qué dispositivo funciona mejor con esta generación: los dispositivos móviles (tablets) o dispositivos fijos (ordenadores). Aunque previamente los investigadores sospechaban que el resultado del experimento sería claramente a favor de las tablets, por su cercanía con los jóvenes a los que estaba dirigido, los resultados arrojan otra conclusión completamente distinta. Efectivamente los más jóvenes utilizan más las tablets que los ordenadores para jugar, pero, analizados los resultados, son los ordenadores los que mejor funcionan como herramienta de aprendizaje.

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Software de apoio à implementação de sistemas híbridos de produção de energia eléctrica baseados em energias renováveis

O aumento da população Mundial, particularmente em Países emergentes como é o caso da China e da Índia, tem-se relevado um problema adicional no que confere às dificuldades associadas ao consumo mundial de energia, pois esta situação limita inequivocamente o acesso destes milhões de pessoas à energia eléctrica para os bens básicos de sobrevivência. Uma das muitas formas de se extinguir esta necessidade, começa a ser desenvolvida recorrendo ao uso de recursos renováveis como fontes de energia. Independentemente do local do mundo onde nos encontremos, essas fontes de energia são abundantes, inesgotáveis e gratuitas. O problema reside na forma como esses recursos renováveis são geridos em função das solicitações de carga que as instalações necessitam. Sistemas híbridos podem ser usados para produzir energia em qualquer parte do mundo. Historicamente este tipo de sistemas eram aplicados em locais isolados, mas nos dias que correm podem ser usados directamente conectados à rede, permitindo que se realize a venda de energia. Foi neste contexto que esta tese foi desenvolvida, com o objectivo de disponibilizar uma ferramenta informática capaz de calcular a rentabilidade de um sistema híbrido ligado à rede ou isolado. Contudo, a complexidade deste problema é muito elevada, pois existe uma extensa panóplia de características e distintos equipamentos que se pode adoptar. Assim, a aplicação informática desenvolvida teve de ser limitada e restringida aos dados disponíveis de forma a poder tornar-se genérica, mas ao mesmo tempo permitir ter uma aplicabilidade prática. O objectivo da ferramenta informática desenvolvida é apresentar de forma imediata os custos da implementação que um sistema híbrido pode acarretar, dependendo apenas de três variáveis distintas. A primeira variável terá de ter em consideração o local de instalação do sistema. Em segundo lugar é o tipo de ligação (isolado ou ligado à rede) e, por fim, o custo dos equipamentos (eólico, solar e restantes componentes) que serão introduzidos. Após a inserção destes dados a aplicação informática apresenta valores estimados de Payback e VAL.

Acesso remoto via infra-estrutura de teste IEEE1149.1 a dispositivos lógicos programáveis

Actualmente verifica-se que a complexidade dos sistemas informáticos tem vindo a aumentar, fazendo parte das nossas ferramentas diárias de trabalho a utilização de sistemas informáticos e a utilização de serviços online. Neste âmbito, a internet obtém um papel de destaque junto das universidades, ao permitir que alunos e professores possam interagir mais facilmente. A internet e a educação baseada na Web vêm oferecer acesso remoto a qualquer informação independentemente da localização ou da hora. Como consequência, qualquer pessoa com uma ligação à internet, ao poder adquirir informações sobre um determinado tema junto dos maiores peritos, obtém vantagens significativas. Os laboratórios remotos são uma solução muito valorizada no que toca a interligar tecnologia e recursos humanos em ambientes que podem estar afastados no tempo ou no espaço. A criação deste tipo de laboratórios e a sua utilidade real só é possível porque as tecnologias de comunicação emergentes têm contribuído de uma forma muito relevante para melhorar a sua disponibilização à distância. A necessidade de criação de laboratórios remotos torna-se imprescindível para pesquisas relacionadas com engenharia que envolvam a utilização de recursos escassos ou de grandes dimensões. Apoiado neste conceito, desenvolveu-se um laboratório remoto para os alunos de engenharia que precisam de testar circuitos digitais numa carta de desenvolvimento de hardware configurável, permitindo a utilização deste recurso de uma forma mais eficiente. O trabalho consistiu na criação de um laboratório remoto de baixo custo, com base em linguagens de programação open source, sendo utilizado como unidade de processamento um router da ASUS com o firmware OpenWrt. Este firmware é uma distribuição Linux para sistemas embutidos. Este laboratório remoto permite o teste dos circuitos digitais numa carta de desenvolvimento de hardware configurável em tempo real, utilizando a interface JTAG. O laboratório desenvolvido tem a particularidade de ter como unidade de processamento um router. A utilização do router como servidor é uma solução muito pouco usual na implementação de laboratórios remotos. Este router, quando comparado com um computador normal, apresenta uma capacidade de processamento e memória muito inferior, embora os testes efectuados provassem que apresenta um desempenho muito adequado às expectativas.

Análise comparativa de sistemas centralizados e descentralizados de valorização de chorumes de suiniculturas, utilizando o software UMBERTO

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia Sanitária

Desenvolvimento de uma infra-estrutura de software para suportar conceitos de eficiência energética usando sistemas móveis pró-activos

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Projeto de Marketing de Experiências para uma Empresa de Software de Recuperação de Sistemas informáticos

Trabalho de projecto apresentado como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Análisis de prestaciones de sistemas de comunicaciones inalámbricas en aplicaciones de robótica: sistema software

Una característica importante de la robótica es la comunicación entre sistema base y robot que puede establecerse de forma remota. Ello representa la base del proyecto que se describe a continuación, el cual se descompone de dos partes, una por cada miembro del proyecto: sistema software y sistema hardware. En el sistema software analizaremos las diferentes tecnologías inalámbricas (características, funcionamiento, seguridad, etc.), se realizará una comparativa de los diferentes módulos de comunicación y finalmente decidiremos aquellos que nos interesa para la implementación en Radiofrecuencia (RF) y Bluetooth. En este sistema también estudiaremos la interfaz gráfica que se utilizará, así como los programas creados en este entorno para realizar las implementaciones. En el sistema hardware trataremos de realizar el control de dos periféricos de forma independiente, un servomotor y un sonar, que nos servirán como ejemplo para analizar una posible comunicación entre varios robots y un PC. Por lo tanto, en este apartado analizaremos a fondo los diferentes componentes que harán posible tanto la comunicación, vía RF y Bluetooth, como el control de los diferentes dispositivos.

Desarrollo e integración de abstracciones software para el gobierno y gestión de energía en sistemas operativos GNU/Linux

El presente proyecto presenta un recorrido exploratorio por la actual arquitectura de gestión de energía en un sistema GNU/Linux. Identificando y aplicando aquellas ideas, conceptos y abstracciones software que en opinión del autor son relevantes para una preservación de energía eficaz en los diferentes niveles de complejidad de un sistema.

Sistemas de Información BI: Estado Actual y Herramientas de Software Libre

Actualmente muchas empresas ya sean grandes o pequeñas, se plantean implantar en su organización un sistema de información que les ayude en la toma de decisiones. Una de las tendencias actuales es implantar un sistema de BI (Business Intelligence). Muchas organizaciones implantan este tipo de sistemas sin haber realizado un estudio previo de las necesidades y problemas de la empresa, de los beneficios que se pretenden obtener con la implantación del sistema, de la aceptación y formación de los usuarios, de las herramientas y proveedores de BI,... y así un largo etcétera de situaciones y condiciones que se deberían tener en cuenta para la implantación de esta clase de sistemas en cualquier tipo de organización, ya sea grande o pequeña.En el presente artículo se realiza una síntesis de la amalgama de información existente en los sistemas de BI, se realiza una definición aclaratoria, así como también se expone su estado actual, beneficios, factores de riesgo, pasos para conseguir una implantación exitosa y los componentes y herramientas open source de los sistemas de BI. Primero se exponen las principales herramientas open source existentes en el mercado y se profundiza más especialmente en la Suite open source de BI Pentaho.

Software para o planejamento e a racionalização do uso de sistemas de terraceamento em nível

O desenvolvimento de técnicas que permitam o aumento da eficiência de práticas de conservação do solo é necessário frente aos grandes prejuízos causados pela erosão. Nesse sentido, elaborou-se um software que utiliza bases de dados geradas em um Sistema de Informações Geográficas e que permite o dimensionamento de sistemas de terraceamento em nível de maneira mais racional, considerando as variações espaciais existentes no terreno. Como dados de entrada ao software, devem ser fornecidas imagens de elevação e declividade e, ainda, características de tipo, uso e manejo do solo, a metodologia para o cálculo do espaçamento entre terraços e a recomendação para a escolha do tipo de terraço mais aconselhado. Como resultados, o software fornece uma imagem com o sistema de terraceamento locado, que pode ser salva em diferentes formatos, bem como um relatório, que poderá ser impresso e usado juntamente com a imagem para a implantação do sistema.

Temperaturas de acionamento de sistemas de climatização para perus em épocas de baixa umidade relativa do ar

Este estudo teve o objetivo de avaliar distintos programas de acionamento dos sistemas de climatização (ventiladores e nebulizadores), visando a aprimorar o ambiente interno e o bemestar das aves, evitando possíveis perdas produtivas e gastos excessivos em energia elétrica. O estudo foi conduzido em dois aviários localizados no município de Uberlândia - MG, durante a época de baixa umidade relativa do ar (junho a dezembro). Os aviários foram comparados sob os parâmetros de concentrações de CO2, temperatura e umidade relativa do ar, temperatura superficial da cama e índices produtivos. Os dados climáticos foram submetidos à análise de variância, e os dados produtivos submetidos ao teste de Qui-quadrado, utilizando-se do software MINITAB V.14. Os resultados apontados pelos tratamentos 1 e 2 mostraram que as concentrações de CO2 no ar (372,70 e 379,46 ppm, respectivamente) estiveram abaixo dos limites máximos recomendados internacionalmente para ambos os sistemas. As temperaturas internas (26,23 e 26,56 ºC, respectivamente) estiveram sempre acima do recomendado para as aves, e os níveis de umidade relativa do ar (69,73 e 70,42, respectivamente) estiveram, em média, na faixa recomendada, para ambos os sistemas. Conclui-se que o aviário programado para acionar o sistema de climatização mais tardiamente consumiu menos energia elétrica, apresentou melhor conversão alimentar, menor incidência de artrite, porém maior percentual de mortalidade.