| Vol-2393 urn:nbn:de:0074-2393-9 Copyright © 2019 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ICTERI 2019
ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer

### Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops

### Kherson, Ukraine, June 12-15, 2019.

Edited by

### Vadim Ermolayev *
Frédéric Mallet **
Vitaliy Yakovyna ***
Vyacheslav Kharchenko ****
Vitaliy Kobets *****
Artur Korniłowicz ******
Hennadiy Kravtsov *****
Mykola Nikitchenko *******
Serhiy Semerikov ********
Aleksander Spivakovsky *********

* Zaporizhzhya National University, Ukraine
** Université Côte d’Azur, France
*** Lviv Polytechnic National University, Ukraine, University of Warmia and Mazury in Olsztyn, Poland
**** National Aerospace University “KhAI”, Centre for Safety Infrastructure-Oriented Research and Analysis, Ukraine
***** Kherson State University, Ukraine
****** University of Bialystok, Poland
******* Taras Shevchenko National University of Kyiv, Ukraine
******** Kryvyi Rih State Pedagogical University, Ukraine
********* Verkhovna Rada of Ukraine, Kherson State University, Ukraine

## Table of Contents

- Cover and Preface
- Organization and Committees
- Sponsors and Organizers

### Part I: 4th International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2019)

- About One Approach to Building Systems for Testing Physical Knowledge 1-16
  Michail Lvov, Sergiy Kuzmenkov, Hennadiy Kravtsov
- Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying 3D Modeling 17-28
  Hanna Chemerys, Kateryna Osadcha, Viacheslav Osadchyi, Vladyslav Kruhlyk
- Ontological Model of Representation of University Resources 29-40
  Bogdan Buyak, Ivan Tsidylo, Serhiy Kozibroda, Victor Repskyi
- Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes 41-52
  Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky
- Attitude to the Digital Learning Environment in Ukrainian Universities 53-67
  Olena Kuzminska, Mariia Mazorchuk, Nataliia Morze, Oleg Kobylin
- The blended Methodology of Learning Computer Networks: Cloud-based Approach 68-80
  Oleg Spirin, Vasyl Oleksiuk, Nadiia Balyk, Svitlana Lytvynova, Sergiy Sydorenko
- The Method of Using the Maxima System for Operations Research Learning 81-92
  Mariya Shyshkina, Uliana Kohut
- The Comparative Analysis of the Cloud-based Learning Components Delivering Access to Mathematical Software 93-104
  Mariya Shyshkina, Uliana Kohut, Maiia Popel
- Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils 105-120
  Svitlana Lytvynova
- Technologies of Virtual and Augmented Reality for High Education and Secondary School 121-131
  Nataliia Osipova, Hennadiy Kravtsov, Olga Gnedkova, Tetiana Lishchuk, Kateryna Davidenko
- Activity Plan Template for Supporting Study Science with Robotics and Programming 132-143
  Tatiana Goncharenko, Nataliya Kushnir, Nataliia Valko, Nataliya Osipova
- Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine 144-155
  Viacheslav Osadchyi, Nataliia Valko, Nataliya Kushnir
- Open Distance Learning For Teachers 156-169
  Vladimir Kukharenko, Tatyana Oleinik
- The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences 170-177
  Svitlana Lytvynova, Oleksandr Burov, Olga Slobodyanyk
- The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence 178-190
  Yuliya Nosenko, Alisa Sukhikh
- ICT in Professional Education of Future Primary School Teachers: Modeling of Scientific and Research Work 191-203
  Yevheniia Spivakovska, Tetyana Vinnyk, Liudmula Perminova, Vera Kotkova
- Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning 204-219
  Nadiia Balyk, Yaroslav Vasylenko, Galina Shmyger, Vasyl Oleksiuk, Anna Skaskiv
- Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects 220-228
  Aleksandr Spivakovsky, Maksym Vinnik, Maksym Poltoratskiy, Yulia Tarasich, Yevheniia Spivakovska, Greg Gardner, Kateryna Panova
- Advanced Information Technology Tools for Media and Information Literacy Training 229-240
  Yuliya Krylova-Grek

### Part II: 7th International Workshop on Information Technologies in Economic Research (ITER 2019)

- Information-Analytical Support for the Processes of Formation of "Smart Sociopolis" of Truskavets 241-256
  Mykola Odrekhivskyy, Nataliia Kunanets, Volodymyr Pasichnyk, Antonii Rzheuskyi, Danylo Tabachyshyn
- The Main Aspects of the Introduction of ERP-Systems at the Machine-Building Enterprises 257-268
  Irina Nyzhnyk, Viktor Lysak
- Business Models of Reproduction Cycles for Digital Economy 269-276
  Leonid Melnyk, Oleksandr Derykolenko, Oleksandr Kubatko, Oleksandr Matsenko
- Support of Investors’ Decision Making in Economic Experiments Using Software Tools 277-288
  Daria Kilinich, Vitaliy Kobets
- Application of Geographic Information Systems in the Field of Domestic Waste Management 289-301
  Olga Popova, Liubov Pankratova, Inesa Mikhno
- Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence 302-315
  Igor Atamanyuk, Yuriy Kondratenko, Anastasiya Poltorak, Natalia Sirenko, Vyacheslav Shebanin, Inna Baryshevska, Valeriia Atamaniuk
- Cloud Based Architecture of the Core Banking System 316-331
  Andrii Roskladka, Nataliia Roskladka, Ganna Kharlamova, Roman Baglai
- Forecasting Prices on the Stock Exchange Using a Trading System 332-347
  Liubov Pankratova, Tetiana Paientko, Yaroslav Lysenko
- The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting 348-363
  Olena Liashenko, Tetyana Kravets
- Short-term Electricity Price Forecasting Using Generalized Additive Models 364-378
  Jan-Hendrik Meier, Stephan Schneider, Chan Le
- Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company 379-392
  Viktoria Yatsenko, Yevhen Kudriavets
- Can Information Technology Increase Government Effectiveness? 393-405
  Tetiana Paientko, Viktor Fedosov
- Cluster Analysis of Countries Inequality due to IT Development 406-421
  Vitaliy Kobets, Valeria Yatsenko, Mykhaylo Voynarenko
- Simplified Model of Bank Balance Sheet Management 422-433
  Victor Selyutin
- Entropy Analysis of Crisis Phenomena for DJIA Index 434-449
  Vladimir Soloviev, Andrii Bielinskyi, Viktoria Solovieva
- Influence of the Country’s Information Development on its Tourist Attractiveness 450-464
  Yuliia Lola, Svitlana Prokopovych, Olena Akhmedova
- Empowering Fault-Tolerant Consensus Algorithm by Economic Leverages 465-472
  Igor Mazurok, Valeriy Pienko, Yevhen Leonchyk
- Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society 473-484
  Marina Bilinets, Lidiia Hladchenko, Tetiana Paientko
- Simulation of the Crisis Contagion Process Between Countries with Different Levels of Socio-Economic Development 485-496
  Andriy Matviychuk, Inna Strelchenko, Serhii Vashchaiev, Halyna Velykoivanenko

### Part III: 3nd International Workshop on Rigorous Methods in Software Engineering (RMSE 2019)

- Computations in Extensions of Multisorted Algebras 497-512
  Michael Lvov
- On Some Classes of Problems on Graphs 513-521
  Volodymyr G. Skobelev
- Extending the SMT-Lib Standard with Theory of Nominative Data 522-533
  Liudmyla Omelchuk, Olena Shyshatska
- Data Compression and Representation as Multicolor Barcodes 534-541
  Ivan Dychka, Olga Sulema
- On the Kleene Algebra of Partial Predicates with Predicate Complement 542-551
  Ievgen Ivanov, Mykola Nikitchenko
- Computational Modeling and Structural Stability 552-567
  Alexander Weissblut
- Event Universes: Specification and Analysis Using Coq Proof Assistant 568-576
  Grygoriy Zholtkevych
- Formalization and Algebraic Modeling of Tokenomics Projects 577-584
  Oleksandr Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskyi, Yuliia Tarasich
- Formalization and Algebraic Modeling of University Economics 585-594
  Volodymyr Peschanenko, Maksym Poltoratskyi, Karina Pryimak
- Formalization of the Model of Management of the Technological Innovations 595-602
  Vitalina Babenko
- Program Logics of Renominative Level with the Composition of Predicate Complement 603-616
  Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak

### Part IV: 5th International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT 2019)

- Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle 617-632
  Tetiana Hovorushchenko, Artem Boyarchuk, Olga Pavlova, Kira Bobrovnikova
- Dynamic Signature-based Malware Detection Technique Based on API Call Tracing 633-643
  Oleg Savenko, Andrii Nicheporuk, Ivan Hurman, Sergii Lysenko
- On-Line Checking of Faults in Cyber-Physical Systems 644-654
  Volodymyr G. Skobelev, Volodymyr V. Skobelev
- Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology 655-663
  Igor Shostak, Yashar Rahimi, Mariia Danova, Olena Feoktystova, Olga Melnyk
- Application of the Booking.com Analytics Software Tools in Reliable Processing of Big Data in Hotels Management 664-677
  Vladimir Sklyar, Vyacheslav Kharchenko
- Reliability of Adaptive Traffic Lights Ensured by Warm Standby with Estimation of its Use 678-693
  Oleksandr Makarichev, Peter Horbachov, Oleksandr Voronkov, Stanislav Svichynskyi
- Random Re-Ordering of the Parties in the Consensus Protocol 694-703
  Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky
- Optimization of Flows and Flexible Redistribution of Autonomous UAV Routes in Multilevel Airspace 704-715
  Tetiana Shmelova, Arnold Sterenharz, Oleksand Burlaka
- Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure 716-728
  Viktor Gnatyuk, Serhii Smirnov, Marek Aleksander, Liudmila Kharlai, Madina Bauyrzhan, Anzhelika Kokareva
- Polynomials Multiplier under Irreducible Polynomial Module for High-Performance Cryptographic Hardware Tools 729-737
  Maksat Kalimoldayev, Sahibay Tynymbayev, Miras Magzom, Margulan Ibraimov, Serik Khokhlov, Akmaral Abisheva, Viktoriia Sydorenko,
- Multi-Fragmental Markov Models of Information and Control Systems Safety Considering Elimination of Hardware-Software Faults 738-748
  Vyacheslav Kharchenko, Yuriy Ponochovnyi, Artem Boyarchuk, Anton Andrashov
- Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems 749-761
  Oleksandr Drozd, Viktor Antoniuk, Miroslav Drozd, Hanna Stepova
- Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System 762-777
  Oleksandr Shkiliuk, Bohdan Volochiy, Ivan Petliuk
- Methodology of Defining the Accident Rate Function for Fault Tolerant System with High Responsibility Purpose 778-793
  Leonid Ozirkovskyy, Bohdan Volochiy, Mykhailo Zmysnyi, Andriy Maschak
- Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method 794-809
  Anastasiia Strielkina, Serhiy Volochiy, Vyacheslav Kharchenko
- High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits 810-821
  Zhengbing Hu, Sergiy Gnatyuk, Tetyana Okhrimenko (Zhmurko), Vasyl Kinzeryavyy, Maksim Iavich, Khalicha Yubuzova
- Quality Assessment of Unmanned Aerial Systems Using Bayesian Trust Networks Processing of Testing Data 822-832
  Ol’ha Bashyns’ka, Volodymyr Kazymyr, Sergii Nesterenko

### Part V: 7th Workshop on Computer Simulation in Education (CoSinE 2019): A Workshop in memory of Professor Illia O. Teplytskyi

- Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back 833-848
  Serhiy Semerikov, Illia Teplytskyi, Yuliia Yechkalo, Oksana Markova, Vladimir Soloviev, Arnold Kiv
- Computer Modelling of Educational Process as the Way to Modern Learning Technologies 849-863
  Tatyana Zaytseva, Lyudmila Kravtsova, Anna Puliaieva
- The Simultaneous Use of Excel and GeoGebra to Training the Basics of Mathematical Modeling 864-879
  Leonid Flehantov, Yuliia Ovsiienko
- Computer Simulation as a Method of Learning Research in Computational Mathematics 880-894
  Lyudmila Bilousova, Oleksandr Kolgatin, Larisa Kolgatina
- Methodology of Using Structural Equation Modeling in Educational Research 895-904
  Liubov Panchenko
- Modeling of Cognitive Process Using Complexity Theory Methods 905-918
  Vladimir Soloviev, Natalia Moiseenko, Olena Tarasova
- Computation Algorithm for Integral Indicator of Socio-Economic Development 919-934
  Oleg Pursky, Tetiana Dubovyk, Iryna Gamova, Iryna Buchatska
- Simulation System in Educational and Career Guidance State Policy of Ukraine 935-943
  Vitalii Pazdrii, Petr Banschykov, Victoria Kosyk, Irina Tropina, Oleksandr Hryshchenko
- Using Computer Simulations and Games in Engineering Education: Views from the Field 944-951
  Muhammet Demirbilek, Durmuş Koç
- Augmented Reality in Training Engineering Students: Teaching Techniques 952-959
  Yuliia Yechkalo, Viktoriia Tkachuk, Tetiana Hruntova, Dmytro Brovko, Vitaliy Tron
- Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course 960-967
  Nadiia Balyk, Yaroslav Vasylenko, Vasyl Oleksiuk, Galina Shmyger
- Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students 968-983
  Pavlo Nechypurenko, Tetiana Selivanova, Maryna Chernova
- Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing 984-999
  Nonna Shapovalova, Olena Rybalchenko, Iryna Dotsenko, Svitlana Bilashenko, Andrii Striuk, Levan Saitgareev
- Intelligent Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems 1000-1010
  Evgeniy Lavrov, Olga Lavrova
- Historical Approach to Modern Learning Environment 1011-1024
  Aleksander Spivakovsky, Lyubov Petukhova, Vira Kotkova, Yuriy Yurchuk

- Author Index

2019-06-29: submitted by Vitaliy Yakovyna metadata incl. bibliographic data published under Creative Commons CC0
2019-06-30: published on CEUR-WS.org |valid HTML5|