Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

An Investigation into the Use of Computer-based Simulation Games for Learning and Teaching in Business Management Courses

Computer-based simulation games (CSG) are a form of innovation in learning and teaching. CGS are used more pervasively in various ways such as a class activity (formative exercises) and as part of summative assessments (Leemkuil and De Jong, 2012; Zantow et al., 2005). This study investigates the current and potential use of CGS in Worcester Business School’s (WBS) Business Management undergraduate programmes. The initial survey of off-the-shelf simulation reveals that there are various categories of simulations, with each offering varying levels of complexity and learning opportunities depending on the field of study. The findings suggest that whilst there is marginal adoption of the use CSG in learning and teaching, there is significant opportunity to increase the use of CSG in enhancing learning and learner achievement, especially in Level 5 modules. The use of CSG is situational and its adoption should be undertaken on a case-by-case basis. WBS can play a major role by creating an environment that encourages and supports the use of CSG as well as other forms of innovative learning and teaching methods. Thus the key recommendation involves providing module teams further support in embedding and integrating CSG into their modules.

Affect-Based Effects of Simulation Games on Learning

Empirical evidence has demonstrated the benefits of using simulation games in enhancing learning especially in terms of cognitive gains. This is to be expected as the dynamism and non-linearity of simulation games are more cognitively demanding. However, the other effects of simulation games, specifically in terms of learners’ emotions, have not been given much attention and are under-investigated. This study aims to demonstrate that simulation games stimulate positive emotions from learners that help to enhance learning. The study finds that the affect-based constructs of interest, engagement and appreciation are positively correlated to learning. A stepwise multiple regression analysis shows that a model involving interest and engagement are significantly associated with learning. The emotions of learners should be considered in the development of curriculum, and the delivery of learning and teaching as positive emotions enhances learning.

Mapping Learning and Game Mechanics for Serious Games Analysis in Engineering Education

In a world where students are increasing digitally tethered to powerful, ‘always on’ mobile devices, new models of engagement and approaches to teaching and learning are required from educators. Serious Games (SG) have proved to have instructional potential but there is still a lack of methodologies and tools not only for their design but also to support game analysis and assessment. This paper explores the use of SG to increase student engagement and retention. The development phase of the Circuit Warz game is presented to demonstrate how electronic engineering education can be radically reimagined to create immersive, highly engaging learning experiences that are problem-centered and pedagogically sound. The Learning Mechanics–Game Mechanics (LM-GM) framework for SG game analysis is introduced and its practical use in an educational game design scenario is shown as a case study.

Games for groundwater governance: field experiments in Andhra Pradesh, India

Groundwater is a common-pool resource that is subject to depletion in many places around the world as a result of increased use of irrigation and water-demanding cash crops. Where state capacity to control groundwater use is limited, collective action is important to increase recharge and restrict highly water-consumptive crops. We present results of field experiments in hard rock areas of Andhra Pradesh, India, to examine factors affecting groundwater use. Two nongovernmental organizations (NGOs) ran the games in communities where they were working to improve watershed and water management. Results indicate that, when the links between crop choice and groundwater depletion is made explicit, farmers can act cooperatively to address this problem. Longer NGO involvement in the villages was associated with more cooperative outcomes in the games. Individuals with more education and higher perceived community social capital played more cooperatively, but neither gender nor method of payment had a significantly effect on individual behavior. When participants could repeat the game with communication, similar crop choice patterns were observed. The games provided an entry point for discussion on the understanding of communities of the interconnectedness of groundwater use and crop choice.

Material culture in massive multiplayer online role-playing games : the social, cultural and educational meanings of virtual goods in world of warcraft

Michaela Rizzolli

The Design and Implementation of a SD Card File System

SD card (Secure Digital Memory Card) is widely used in portable storage medium. Currently, latest researches on SD card, are mainly SD card controller based on FPGA (Field Programmable Gate Array). Most of them are relying on API interface (Application Programming Interface), AHB bus (Advanced High performance Bus), etc. They are dedicated to the realization of ultra high speed communication between SD card and upper systems. Studies about SD card controller, really play a vital role in the field of high speed cameras and other sub-areas of expertise. This design of FPGA-based file systems and SD2.0 IP (Intellectual Property core) does not only exhibit a nice transmission rate, but also achieve the systematic management of files, while retaining a strong portability and practicality. The file system design and implementation on a SD card covers the main three IP innovation points. First, the combination and integration of file system and SD card controller, makes the overall system highly integrated and practical. The popular SD2.0 protocol is implemented for communication channels. Pure digital logic design based on VHDL (Very-High-Speed Integrated Circuit Hardware Description Language), integrates the SD card controller in hardware layer and the FAT32 file system for the entire system. Secondly, the document management system mechanism makes document processing more convenient and easy. Especially for small files in batch processing, it can ease the pressure of upper system to frequently access and process them, thereby enhancing the overall efficiency of systems. Finally, digital design ensures the superior performance. For transmission security, CRC (Cyclic Redundancy Check) algorithm is for data transmission protection. Design of each module is platform-independent of macro cells, and keeps a better portability. Custom integrated instructions and interfaces may facilitate easily to use. Finally, the actual test went through multi-platform method, Xilinx and Altera FPGA developing platforms. The timing simulation and debugging of each module was covered. Finally, Test results show that the designed FPGA-based file system IP on SD card can support SD card, TF card and Micro SD with 2.0 protocols, and the successful implementation of systematic management for stored files, and supports SD bus mode. Data read and write rates in Kingston class10 card is approximately 24.27MB/s and 16.94MB/s.