Information and Communication Technologies in Education, Research, and Industrial Applications: 15th International Conference, ICTERI 2019, Kherson, Ukraine, ... Computer and Information Science Book 1175)

This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2019. The 19 revised full papers included in this volume were carefully reviewed and selected from 416 initial submissions. The papers are organized in the following topical sections: ​advances in ICT and IS research; ICT in teaching, learning, and education management; applications of ICT in industrial and public practice. Preface Organization Contents Advances in ICT and IS Research Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools Abstract 1 Introduction 2 Algorithmic Algebra and Tools for Automated Software Design 2.1 The Main Operations of Algorithmic Algebra 2.2 The Tools for Automated Software Design 3 The Extension of Algebra-Algorithmic Tools with Constructs Oriented on Parallel Computations in a Heterogeneous OpenCL Platform 4 The Method for Semi-automatic Parallelization of Loop Operators 4.1 Loop Transformations 4.2 Program Execution Flow 5 Application of the Developed Tools for Designing Parallel Interpolation Program 5.1 Designing the Parallel Interpolation Algorithm Scheme 5.2 Experiment Results 6 Related Work 7 Conclusion References Optimized Term Extraction Method Based on Computing Merged Partial C-Values Abstract 1 Introduction 2 Background, Research Problem, and Contribution 3 Related Work 3.1 Terminological Saturation 3.2 Methods for ATE 3.3 Efficient String Matching for Searching Nested Terms 4 Motivation 5 Formal Framework 6 Experimental Evaluation 6.1 Experimental Objectives 6.2 Experimental Data 6.3 Instrumental Software and Computational Environment 6.4 Experimental Flow 6.5 The Results of Experiments and Discussion 7 Conclusions and Future Work References Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition 1 Introduction 2 Notation 3 Preliminaries 4 Expressibility in Kleene Algebra 5 Proof of Theorem 1 6 Proof of Theorem3 7 Conclusion References Program-Oriented Logics of Renominative Level with Extended Renomination and Equality Abstract 1 Introduction 2 Program Algebras with Predicate Complement, Extended Renomination, and Equality 3 Extended Logic of Partial Quasiary Predicates of Renominative Level 3.1 Extended Algebras of Partial Quasiary Predicates of Renominative Level 3.2 Language (Signature and Formulas) of L ^{R \equiv } 3.3 L ^{R \equiv } -Interpretations 3.4 Logical Consequence Relation Under Conditions of Undefinedness 4 Sequent Calculus for L ^{R \equiv } 5 Soundness and Completeness of C ^{R \equiv } 6 Conclusion References SMT-LIB Theory of Nominative Data Abstract 1 Introduction 2 Composition-Nominative Approach 3 Nominative Data 4 Axiomatization of Nominative Data Theory 5 The Domain of Nominative Data 6 Conclusions References Intelligent Support of the Business Process Model Analysis and Improvement Method Abstract 1 Introduction 2 Related Work 2.1 Business Process Management Lifecycle 2.2 Business Process Model Analysis 2.3 Conclusion on Related Work Review 3 Business Process Model Analysis and Improvement Method 3.1 Formalization of Business Process Modeling Best Practices 3.2 Business Process Model Analysis and Improvement Procedure 3.3 Recommendations Elaboration for Business Process Model Improvement 3.4 Applying Business Intelligence Techniques 4 Implementation of the Proposed Method 4.1 System’s Architecture 4.2 Input Data Format 4.3 Data Extraction, Transformation and Storage 4.4 Results Presentation 5 Results and Discussion 5.1 Method Evaluation 5.2 Method Validation 6 Conclusion and Future Work References The Use of Analogy to Simplify the Mathematical Description of the Didactical Process 1 Introduction 2 The Theoretical Backgrounds 2.1 The Basic Network Elements and Their Meaning 2.2 Solving Network Equations 3 Didactical Process Modelling 3.1 Didactical Process as a Network 3.2 Decomposition of the Didactical Process Implemented on the Quela Platform 4 Results and Discussion 5 Conclusions and Prospects for Further Research References ICT in Teaching, Learning, and Education Management Developing a Mobile Augmented Reality Application for Enhancing Early Literacy Skills Abstract 1 Introduction 2 Tools for Augmented Reality Development 3 System Design and Architecture 4 Project Design with Vuforia 5 Implementation of “Tilsimli Arifler” 6 Interface of “Tilsimli Arifler” Application 7 Conclusions References System for Testing Physics Knowledge Abstract 1 Introduction 2 The Formal Definition of the Subject Area 3 Examples of Formal Models of Physical Processes 4 The Formal Model of Physics Knowledge Testing System 4.1 The Course of the Discipline “Physics” Is Represented by a Hierarchy of Dependence of the Subject (Training) Modules (Structural-Logical Scheme of the Discipline) 4.2 The Formal Model of a Physical Phenomenon, A Process 5 Methods for Generating and Validating Test Items 5.1 Test Template Selection 5.2 Test Generation 6 DLS Software Module for Testing Physics Knowledge and Skills 6.1 Adaptive Test Items 6.2 Template Type Test Items 6.3 Implementation of a Software Module for Testing Physics Knowledge 7 Conclusions and Outlooks References Digital Learning Environment of Ukrainian Universities: The Main Components to Influence the Competence of Students and Teachers Abstract 1 Introduction 2 Theoretical Background 3 Methodology of Research 3.1 General Design 3.2 Instruments and Participants 3.3 The Methods and Models of Data Processing 4 Results of Research 4.1 The Results of a Survey Reliability Estimate 4.2 Using Factor Analysis to Model the Informational and Educational Environment of the University 4.3 Analysis of the Impact of Component Digital Educational Environment the Respondents’ Digital Competence Level 4.4 Development Analysis of the Ukrainian Universities Digital Learning Environment 5 Conclusions References Complexity Theory and Dynamic Characteristics of Cognitive Processes Abstract 1 Introduction 2 Analysis of Previous Studies 3 Information Mono- and Multiscale Measures of Complexity 4 Fractal Measures of Complexity 5 Recurrence Analysis of Cognitive Processes 6 Complex Network Methods for Studying Cognitive Processes 6.1 Cognitive Linguistics and Complex System Theory 6.2 Transformation of a Time Series into a Network 6.3 Spectral and Topological Characteristics of Cognitive Networks 7 Gamified Methods for Testing Cognitive Trajectories 8 Conclusions References Applications of ICT in Industrial and Public Practice Short-Term Electricity Price Forecasting: Deep ANN vs GAM Abstract 1 Introduction 2 Literature Review 2.1 Generalized Additive Models for Electricity Price Forecasting 2.2 Artificial Neural Nets for Electricity Price Forecasting 2.3 Research Gap 3 Sample and Methodology 3.1 Sample Description 3.2 Benchmark Models: Naïve Forecasts and Autoregressive Integrated Moving Average Model with External Regressors (ARIMAX) 3.3 Generalized Additive Model (GAM) 3.4 Artificial Neural Nets 3.5 Forecasting Accuracy Measures 4 Assessment of the Model Performances 5 Conclusion References Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method Abstract 1 Introduction 1.1 Motivation 1.2 Related Works Analysis 1.3 Objectives, Approach and Structure of the Paper 2 Analysis of an Insulin Pump Behavior 2.1 A Structure of the Insulin Pump 2.2 The Sequencing of Procedures that Shape the Behavior of Insulin Pump 2.3 Functional Parameters and Indicators of the Pump’s Behavior Procedures 3 Development of Discrete-Continuous Stochastic Model of Real States 3.1 Assumptions to the Model Development 3.2 Definition of Basic Events 3.3 Structure of the State Vector of the DCSM 3.4 Structural Automaton Model Development 3.5 Validation of the Developed Model 4 Development of the Insulin Pump Functional Behavior Model Using the Erlang Phase Method 4.1 Modification of the SAM Using the Erlang Phase Method 4.2 Additional Components in the State Vector 4.3 Changes in the SAM Components 4.4 Validation of the Changed Model 5 Conclusions and Future Work Acknowledgment References Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures Abstract 1 Introduction 1.1 Motivation 1.2 State of the Art 2 Approach and Modeling Technique 2.1 Principles for the Development and Correction of Markov’ Models for Assessing Safety at Different Stages of the V-model Life Cycle 2.2 Development and Research of Model MICS32 for Assessing the ICS Safety with the Complete Elimination of Design Faults 2.3 Model MICS42 for Evaluating the Safety of the Information and Control System with the Migration of Failures 3 Simulation and Comparative Analysis 4 Method for Assessing the Requirements Implementation for ICS Safety on Programmable Platforms 5 Information Technology for Decision Support in Assessing and Managing the Implementation of Requirements for ICS Safety 5.1 Streams and Processes 5.2 Tools 6 Conclusions References About One Approach to Modelling Dynamics of Network Community Opinion 1 Introduction 2 Motivation and State-of-Art 3 Proposed Mathematical Model 3.1 Modelling Assumptions 3.2 Modelling Framework 3.3 Estimating Community Preference Density 3.4 Model of Dialogue 3.5 Model of Actor Individual Decision Procedure 3.6 Evaluating Collective Opinion and Its Dynamics 4 Simulation Framework in a Nutshell 5 Case Studies 5.1 Analysis of Two-Actor Communities 5.2 Analysis of Communities with One Leader 5.3 Analysis of Communities with Two Leaders 6 Future Research Challenges 7 Conclusion References Our Approach to Formal Verification of Token Economy Models Abstract 1 Introduction 2 Our Contribution 3 Formalization of the Tokenomics Model 4 Specific Model. Simulation Results 5 Symbolic Model 6 Discussion and Conclusions Acknowledgements References Using Trading System Consolidated Models in Stock Exchange Price Forecasting Abstract 1 Introduction 2 Theoretical Background 3 Methodology 4 Efficiency Estimation Procedure 4.1 NIKE Inc. Financial and Economic Indicators Analysis 4.2 Estimation of Efficiency of the Developed Model of the Forecast of Prices 4.3 Forecast of Prices Using the Developed Trading Model 4.4 Updated Model 5 Conclusions References Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems) Abstract 1 Introduction 1.1 Motivation 1.2 Reproduction within HPSs 1.3 Scope of Modelling 2 Model Description and Its Justification 2.1 The Cycle of the Model 2.2 Input Parameters 2.3 The Algorithm of the Model 3 Selection of Parameters 4 Case Studies 4.1 The Probabilistic Character of the Simulation Results 4.2 The Space of Possible Outcomes of the HPS Transformations 5 Outcome Interpretation 6 Discussion and Conclusion References Cluster Analysis of Countries Inequality Due to IT Development Through Macros Application Abstract 1 Introduction 2 Related Works 2.1 Dialectical Essence of the “Inequality” 2.2 The Connection of Inequality and Technological Changes 3 Impact of the Industry 4.0 Implementation on Income Inequality Using Principal Component Approach 3.1 Methodology 3.2 Principal Component Approach 4 Cluster Analysis Through Macros Application 5 Conclusions References Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications Correction to: V. Ermolayev et al. (Eds.): Information and Communication Technologies in Education, Research, and Industrial Applications, CCIS 1175, https://doi.org/10.1007/978-3-030-39459-2 Author Index This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools; information and communication technologies in teaching and learning; information and communication technologies in research and industrial applications.