Library
Links
Abstract
Biography
Masters portal
DonNTU

Abstract

Shapovalov A.I.

Development of methods and structure of software environment for automatization of verification mathematical tasks

Scientific adviser: Zinchenko Y.E.
1. The introduction. The actual basing of the theme.
Every year modern technologies are penetrated deeper and deeper in our life: Internet, e-mail, telephoniya, video conference and so on.
Last years the education energetically use the modern information technologies and this leads to the appearing of new direction – distance education. Maybe in some years the person could get the diploma staying at home, and not only the lectures will be in electronic variant, but the examinations will be passed in the same way. This work is devoted to the problem of testing the knowledge.
Nowadays the systems of testing of knowledge have developing means of statistic; making accounts and highly colored getting up of the tests. And the kernel of the testing system can process rather primitive tests such as choosing the variant of answering, leading in the exact phrase (there are some variants of phrase in the programmer) or the analysis of the template programmer. These systems cannot check up the proper way of stepped solution of the mathematical task, because there are a lot of correct recordings of the same formula.
The methods permitting to realize the checking of solution process of mathematical and other tasks are the object of researching. The aim of this research is the exploitation of software, which will allow to control knowledge in most of technical and the humanities: such as mathematics, physics, economy and others. This software can be widely used in such sphere as distance education and it will help the teachers many discipline to spend more time in their scientific researching.
2. The aims and problems of this research.
The aim of this research is the developing of algorithms for checking the solution process of the tasks, which are consisting of the formulas. One of the main tasks in solution of this research is the checking development of equivalent expression the same as mathematics so syntactical limitations. The ways of developing universal report, safety systems, stereotyped checking syntactical and language constructions will be discerned in this researching solution.
For basing the reasonableness of the methods of stereotyped checking and choosing the number of iteration we need to make the statistic research of probability of false hit during the checking of equivalent expressions.
The last phase of this research will be the realization of the methods in the system of knowledge testing ATP.
3. The scientific novelty.
No one of the modern knowledge testing systems can make stepped checking up of mathematic tasks (with brining in the formulas of system user). The parts of algorithm of mathematics equivalent expressions are used in mathematics and statistic package, but not in the knowledge testing systems. The idea of algorithms checking of mathematic equivalent expressions with syntactical limitation is also unique.
4. The practical valuables
The realization will permit to automate the examination of the students in such subjects as in math, physics, chemistry and others where the solution process are the mathematical formulas. Such software can be widely used in secondary and higher establishment and in systems of distance education.
5. The review of existing exploitations on this theme.
The knowledge testing system ATP was developed in Donetsk national technical university. This system has such tests:
1. Choosing one variant of answer
2. Choosing some variants of answer
3. Input the strings
4. C++ programmer
5. VHDL programmer
6. The analyzing of the answer by the expert
The software has the developing system of statistic conducting and the accounts formation.
6. The list of undecided problem and questions.
There is no opportunity of using patterns analyzing the input string, syntactical analyze of input expressions besides the problem of stepping checking of mathematics tasks. The correctness of the answer such as C++ or VHDL programmer is defined by the compiler, therefore the compromise of the results are possible. Analyzing the initial code of the system the using of standard components for the formation of reports about the testing were noticed which could lead to the compromise of the result.
7. Current and planning results of the theme.
The algorithm of stepping checking of mathematic tasks is developed at the moment and the algorithm of checking of mathematic equivalent expressions is debugging. The sights of limitations in the algorithms with syntactical limitations are planned to definite and formalize, to definite the probability of false hits in algorithms and take them to minimum. The algorithms is planning to realize in the testing system ATP after the theoretical basing.
8. Summary
The main tasks and perception directions of developing of the testing system and distance education were discerned in this research. The algorithm of stepping checking testing of solution process mathematic tasks was developed and realized; were formed the demands for the report of he exchanging the facts between the systems of testing the knowledge.