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

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