V.E. Pryanichnikov - Dr.Sc (Eng.)., Professor, Keldysh Institute of Applied Mathematics Russian Academy of Sciences; International Institute of New Educational Technologies, RSUH; Head of Department, Moscow State Technological University «STANKIN»; University of Zadar (Moscow) T. Bielic - PhD, Professor, Head of Marin Department, University of Zadar (Croatia) D. Vican - PhD, Professor, Prorector, University of Zadar (Croatia) B. Katalinic - Univ. Professor, Dipl.-Ing., Dr.tech.sc., Dr.mult.h.c.; Vienna University of Technology, University of Zadar (Croatia) K.B. Kirsanov - Leading Programmer, International Institute of New Educational Technologies, RSUH; Keldysh Institute of Applied Mathematics Russian Academy of Sciences (Moscow) S.V. Kuvshinov - Professor, Director, International Institute of New Educational Technologies, RSUH (Moscow) Yu.S. Marzanov - Leading Engineer, International Institute of New Educational Technologies, RSUH (Moscow) Yu.V. Poduraev - Dr.Sc (Eng.)., Professor, Moscow State Technological University «STANKIN» (Moscow) R.V. Khelemendik - Ph.D. (Phys.-Math.), Keldysh Institute of Applied Mathematics Russian Academy of Sciences (Moscow) E.A. Prysev - Leading Programmer, International Institute of New Educational Technologies, RSUH (Moscow) A. Uglesic - Dr.Sc., Professor, Rector, University of Zadar (Croatia) K.V. Kharin - Director of Multimedia Center, International Institute of New Educational Technologies, RSUH (Moscow)

Project «Intelligent Robotronics» is a new educational technology, designed as a spatially distributed virtual network for the remote training of engineers, humanitarians, marine specialists, and IT-professionals with the use of real mechatronic devices in the net of the assosiated laboratorys-«robotariums». This paper addresses the problems of creating an innovative technology for education: so-called «rec urrent» method by forming scientific and R&D technical tasks for students as well as their engagement in the implementation of software and hardware for mobile robots, including special robotics. One of the big problems in education is to avoid the gap between theory and practice, interest and formal studying. Here, we mainly consider the scientific and technical support of this education process. It should be emphasized, that the key scientific and technical problems and its\' decision, presented in the paper, were to find optimal decomposition and standardization of software/hardware and construction of the required software («middleware»), implementation of mobile robots. The suggested solution in didactics was to transform the theoretical courses for students into creative educational tasks in the field of mobile robotics. This was performed by creating proper methodological materials tested in 5 universities and required to solve of engineering tasks: construction of efficient mobile robots (MRs) and their group control in the virtual laboratory; elaboration of scientific and educational tasks for students, taken from our practice in extreme robotics. We consider the scientific/technical support of this process. Mobile robots and mechatronic devices in different cities and universities are incorporated into the virtual network laboratory on the basis of VPN-tunnels by special network software. This software was designed for supervising control of robotic systems and remote dynamic reprogramming for all elements in the network from any location. It serves as a basis for robotics software R&D of different manufacturers (AMUR, Robotino, etc.) and may be used for SLAM tasks and supervision control for mechatronic devices via channels with unpredictable delays. The considered problem is how to create the intelligent level of the software, find an adequate knowledge representations and evidences for mobile robots, based on mathematical logic, «penta-logic», and suggested IGEC technology. This study was supported by the University of Zadar, the Russian Academy of Engineering, project «Intelligent Robotronics», partially by the Russian Foundation for Fundamental Research, project 13-07-00988.

 

1. Kirilchenko A.A., Prjanichnikov V.E., Rogozin K.V. Predely dostovernosti i nadezhnosti dokazatelstv. Skepticizm v matematike, funkcii, tradicii // Informacionno-izmeritelnye i upravljajushhie sistemy. 2013. T.11. № 4. S. 57-65.
2. Frolov A.A., Biryukova E.V., Bobrov P.D., Mokienko O.A., Platonov A.K., Pryanichnikov V.E., Chernikova L.A. Principles of neurorehabilitation based on the brain-computer interface and biologically adequate control of the exoskeleton // Human Physiology. 2013. V. 39. № 2. R. 196-208.
3. KHelemendik R.V. Algoritm raspoznavanija vypolnimosti formul logiki vetvjashhegosja vremeni i ehffektivnyjj algoritm postroenija vyvodov obshheznachimykh formul iz aksiom // Matematicheskie voprosy kibernetiki. Vyp. 15: Sbornik statejj / Pod red. O.B. Lupanova. M.: Fizmatlit. 2006. S. 217-266.
4. KHelemendik R.V. O reshenii shakhmatnykh pozicijj s pomoshhju formul logiki vetvjashhegosja vremeni // Izv. Sarat. un-ta. Ser. Matematika. Mekhanika. Informatika. 2011. T. 11. Vyp. 1. S. 111-121.
5. JAblonskijj S.V.Vvedenie v diskretnuju matematiku. M.: Nauka. 1986.
6. Tablicy Nalimova. SHakhmatnyjj portal xchess.ru. http://chessok.com/?page_id=361.Accessed 30.09.2014.
7. Portish L., SHarkozi B. 600 okonchanijj. M.: Fizkultura i sport. 1979.
8. JAnov JU.I. Matematika, metamatematika i istina. M.: Preprint Instituta prikladnojj matematiki im. M.V.Keldysha RAN. 2006. № 77. http://www.keldysh.ru.
9. Emerson E.A., Halpern J.Y. Decision procedure and expressiveness in the temporal logic of branching time // J. Comp. Syst. Sci. 1985. V. 30. № 1. R. 1-24.
10. Emerson E.A. Automated temporal reasoning about reactive systems // Logics for Concurrency. Lecture Notes in Computer Science. Berlin: Springer. 1996. V. 1043. R. 41-101.
11. KHelemendik R.V.EHlementy matematicheskojj logiki i vozmozhnosti ee prilozhenijj: Ucheb. posobie. M.: MATI. 2009.
12. EHnciklopedicheskijj slovar junogo matematika / Sost. A.P. Savin. M: Pedagogika. 1989. 352 s.
13. Pukhnachev JU.V., Popov JU.P. Matematika bez formul. M.: AO «Stoletie». 1995. 512 s.
14. Andreev V.P., Kirsanov K.B., Pletenev P.F., Poduraev Yu.V., Pryanichnikov V.E., Prysev E.A. Technology Supervisory Control for Mechatronic Devices via the Internet. DAAAM-2014. Procedia Engineering. Elsevier.
15. Filaretov V., Pryanichnikov V. Autonomous mobile university robots AMUR: Technology and applications to extreme robotics. DAAAM-2014.
16. Katalinic B., Pryanichnikov V., Ueda K., Cesarec P., Kettler R., et al. Bionic Assembly System: hybrid control structure, working scenario and scheduling // Proceedings of 9th National Congress on Theoretical and Applied Mechanics. Brussels, 2012. R. 101-108.
17. ROS. http://www.ros.org. Accessed 22.09.2014.
18. http://www.poisknews.ru/theme/science-politic/12819/.
19. http://newsland.com/news/detail/id/1483085/.
20. Andreev V., Kuvshinov S., Pryanichnikov V., Poduraev Yu. Education on the basis of virtual learning robotics laboratory and group-controlled robots // Annals of DAAAM for 2013 &Proceedings of the 24th Int. DAAAM Symp. «Intelligent Manufacturing and Automation». Vienna, Austria: DAAAM International. 2013. Procedia Engineering, Elsevier. 2014. V. 69. P. 35-40.
21. Andreev V.P., Pryanichnikov V.E., Prysev E.A. Multi-access control of distributed mobile robotic systems based on networking technologies. Annals of DAAAM for 2010 & Proceedings of the 21st International DAAAM Symposium / B. Katalinic (Ed). Vienna. Austria: DAAAM International. 2010. R. 15-16.
22. Pryanichnikov V.E., Andreev V.P. Intellectulazation of special mobile robots, including return algorithm to a zone of stable RC // Proceedings of the XXI Int. Conference on Extreme Robotics. St. Peterburg: Poliectnika-service. 2010. R. 46-49.
23. Pryanichnikov V., Andreev V., Kirsanov K., et al.Technologies of modernization and sensing of special mobile robots // Annals of Southern Federal University (Techn. sc.): Taganrog. 2011. № 3. R. 166-171.
24. Pryanichnikov V.E., Andreev V.P., Prysev E.A. Group control of mobile robots, based on the net-technologies // Proceedings of the Int. conference on Robotics for Security & Space (Planet & Earth rovers). St. Peterburg: Poliectnika service. 2010. R. 279-283.
25. Katalinic B., Pryanichnikov V.E., Ueda K., Kukushkin I., Cesarec P., Kettler R. Bionic Assembly System: hybrid control structure, working scenario and scheduling // Proceedings of 9th National Congress on Theoretical and Applied Mechanics, Brussels. 2012. R. 111-118.
26. Pyanichnikov V.E. Algorithmic base for remote sensors of mobile robots // Mechatronics, Automation, Control. 2008. № 10(91). R.10−21.
27. Kirsanov K., Levinsky B., Pryanichnikov V. Integrating software for intelligent robots // Informational-Measuring and Control Systems, Radiotechnika. 2009. V. 7. № 6. R.35−43.
28. Frolov A.A., Biryukova E.V., Bobrov P.D., Mokienko O.A., Platonov A.K., Pryanichnikov V.E. Principles of Neurorehabilitation Based on Brain-Computer Interface and Biologically Plausible Control of the Exoskeleton // Human Physiology. 2013. V. 39.№ 2. R. 196-208. Original Russian text published in Fiziologiya Cheloveka. 2013. V. 39. № 2. R. 99-113.
29. Holden M.K., Dyar T.A., Schwamm L., Bizzi E. Virtual environment based telerehabilitation in patients with stroke // Presence: Teleoperations and Virtual Environments. 2005. V. 14. R. 214.
30. Klyuev V.V., Kondrat-ev Yu.A., Okhotsimsky D.E., Popov E.P., Pryanichnikov V.E., et al. Sensor Systems and Adaptive Industrial Robots // Mashinostroenie. 1985. Ch. 3-5. R. 56-172.
31. Okhotsimsky D.E., Veselov V.A., Platonov A.K., Pryanichnikov V.E. Educational Modular transport robot with PC control // Proceedings of the IV Int. conf. on Flexible production systems. Moscow: Int. R&D Institute on the Control Problems. 1987. R. 62-64.
32. ROS: http://www.ros.org. Accessed: 22.09.2014.
33. Microsoft Robotics Developer Studio. URL: http://www.microsoft.com/en-us/download/details.aspx-id=29081. Accessed: 22.09.2014.
34. Emmerich W., Aoyama M., Sventek J. The impact of research on the development of middleware technology // ACM Transactions on Software Engineering and Methodology. New York: ACM. 2008. V. 17. № 4. R. 19-48.
35. Andreev V., Kuvshinov S., Pryanichnikov V., Poduraev Yu. Education on the basis of virtual learning robotics laboratory and group-controlled robots // 24th DAAAM International Symposiumon Intelligent Manufacturing and Automation. 2013. Procedia Engineering. 2014.V. 69. R. 35-40.
36. Pryanichnikov V., Andreev V., Bobrov P., Biryukova E., Frolov A., Kharin K., Kirsanov K., Kostin A., Kuvshinov S., Marzanov Y., Prysev E. Scientific-educational distributed laboratory - software and hardware means // Annals of DAAAM for 2012 & Proceedings of the 23rd International DAAAM Symposium. 2012.V. 23. № 1. DAAAM International. Vienna. Austria. EU.
37. Pryanichnikov V.E., Bielic T., Katalinic B., Kirilchenko A.A., Kirsanov K.B., Khelemendik R.V., Kuvshinov S.V., Marzanov Ju.S., Prysev E.A.,Vican D., Uglesic A. Implementation of the main elements of the net of associated laboratories and robotariums - project «Intelligent robotronics»: Sc. Tech. Report #. 2015-01. Zadar: University of Zadar. Moscow: KIAM Russian Academy of Sciences. 2015.21p.
38. Botvinnik M.M. Blok-skhema algoritma igry v shakhmaty (preprint). Akademija nauk SSSR. Nauchnyjj sovet po kompleksnojj probleme «Kibernetika». M. 1972.
39. Botvinnik M.M. Ot shakhmatista - k mashine. M.: Fizkultura i sport. 1979. 176s.
40. Pryanichnikov V.E., Katalinic B., Kirilchenko A.A., Khelemendik R.V., Kuvshinov S.V., Vican D., Uglesic A. New creative educational technologies for inter-university network // 25th DAAAM International Symposium «Intelligent Manufacturing and Automation».  Procedia Engineering. Elsevier.2015.
41. Ermolov I.L., Kuzin N.A., Sobolnikov S.A. Reshenie zadachi planirovanija skoordinirovannykh dvizhenijj gruppy mobilnykh robotov dlja obespechenija raboty podvizhnojj kommunikacionnojj seti // Vestnik MGTU «STANKIN». 2012. №4(23). S. 108-112.
42. Myshenkov K.S., Beljashov A.N. Metodologii, metody i modeli dlja analiza i proektirovanija sistemy upravlenija // Vestnik MGTU «STANKIN». 2013. №3(26). S. 76-82.
43. Nikishechkin P.A. Povyshenie urovnja otkrytosti sistemy upravlenija putem organizacii mnogocelevogo kanala vzaimodejjstvija ee osnovnykh komponentov // Vestnik MGTU «STANKIN». 2014. №4(31). S. 161-164.
44. Dolgov L.E. Otkazoustojjchivye informacionno-kommunikacionnye struktury dlja distancionnogo obrazovanija // Vestnik MGTU «STANKIN». 2012. №4(23). S. 122-125.
45. Kirilchenko A.A., Prjanichnikov V.E., Rogozin K.V. Predely dostovernosti i nadezhnosti dokazatelstv. Skepticizm v matematike, funkcii, tradicii // Informacionno-izmeritelnye i upravljajushhie sistemy. 2013. T.11. №4. S. 57-65.