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