E-Learning, E-Education, and Online Training. Second International Conference, eLEOT 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Research Article

Automation of Variant Preparation and Solving Estimation of Algorithmic Tasks for Virtual Laboratories Based on Automata Model

Download
355 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-28883-3_5,
        author={Mikhail Chezhin and Eugene Efimchik and Andrey Lyamin},
        title={Automation of Variant Preparation and Solving Estimation of Algorithmic Tasks for Virtual Laboratories Based on Automata Model},
        proceedings={E-Learning, E-Education, and Online Training. Second International Conference, eLEOT 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers},
        proceedings_a={ELEOT},
        year={2016},
        month={1},
        keywords={E-learning Virtual laboratories Remote laboratory control protocol},
        doi={10.1007/978-3-319-28883-3_5}
    }
    
  • Mikhail Chezhin
    Eugene Efimchik
    Andrey Lyamin
    Year: 2016
    Automation of Variant Preparation and Solving Estimation of Algorithmic Tasks for Virtual Laboratories Based on Automata Model
    ELEOT
    Springer
    DOI: 10.1007/978-3-319-28883-3_5
Mikhail Chezhin1,*, Eugene Efimchik1,*, Andrey Lyamin1,*
  • 1: ITMO University
*Contact email: msch@cde.ifmo.ru, efimchick@cde.ifmo.ru, lyamin@mail.ifmo.ru

Abstract

In the work a description of an automata model of standard algorithm for constructing a correct solution of algorithmic tests is given. The described model allows a formal determination of the variant complexity of algorithmic test and serves as a basis for determining the complexity functions, including the collision concept – the situation of uncertainty, when a choice must be made upon fulfilling the task between the alternatives with various priorities. The influence of collisions on the automata model and its inner structure is described. The model and complexity functions are applied for virtual laboratories upon designing the algorithms of the variant constructing with a predetermined complexity in real time and algorithms of the procedures of students’ solution estimation with respect to collisions. The results of the work are applied to the development of virtual laboratories, which are used in the practical part of massive online course on graph theory.