Search

Published After
Published Before

Search Results

  • Modelling and simulation in education and the NetLogo simulation environment
    229-240
    Views:
    223
    Just like real experimentation, computer simulation is a method for understanding the world. In the present paper I will demonstrate its possible didactic advantages and application potentials. The displayed simulations, which will be analyzed in a separate section, were all made in the NetLogo environment, one of them by the author himself.
  • Approximated Poncelet configurations
    163-176
    Views:
    213
    In this short note we present the approximate construction of closed Poncelet configurations using the simulation of a mathematical pendulum. Although the idea goes back to the work of Jacobi ([17]), only the use of modern computer technologies assures the success of the construction. We present also some remarks on using such problems in project based university courses and we present a Matlab program able to produce animated Poncelet configurations with given period. In the same spirit we construct Steiner configurations and we give a few teaching oriented remarks on the Poncelet grid theorem.
  • Longest runs in coin tossing. Teaching recursive formulae, asymptotic theorems and computer simulations
    261-274
    Views:
    227
    The coin tossing experiment is studied, focusing on higher education. The length of the longest head run can be studied by asymptotic theorems ([3]), by recursive formulae ([10]) or by computer simulations . In this work we make a comparative analysis of recursive formulas, asymptotic results and Monte Carlo simulation for education. We compare the distribution of the longest head run and that of the longest run (i.e. the longest pure heads or pure tails) studying fair coin events. We present a method that helps to understand the concepts and techniques mentioned in the title, which can be a useful didactic tool for colleagues teaching in higher education.
  • MTR framework for teaching model-based testing
    127-144
    Views:
    98

    In the current article, it is presented how Model ≫ Test ≫ Relax (MTR), a free and open-source, extended finite state machine model-based testing framework can be used for education purposes. With the education-related features of MTR – such as graph visualizations, subsequence creation, test suite export – the students are able to understand the concept behind model-based testing, the working of different model conversion and test generation algorithms. With project works, the students use the MTR framework for the automatic test design of a simplified, small scale realworld example. The framework also provides a simulation script for comparing the complexities and fault detection capabilities of different test generation algorithms.

    Subject Classification: 68M15

Database Logos

Keywords