Informatics and Cybernetics in Intelligent Systems : Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3

This book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches techniques is held. Preface Organization Program Committee Program Committee Chairs Program Committee Members Technical Program Committee Members Organizing Committee Chair Conference Organizer (Production) Conference Web site, Call for Papers Contents Design of Multi Loop Control Systems with Decision Makers Under Incomplete Information 1 Introduction 2 The Problem Statement 3 Nonparametric Control Algorithms for Systems with Decision Makers 4 Experiment 5 Conclusions References Forecasting and Assessing the Risk of Negative Consequences of Strategic Decisions in Organisation Systems 1 Introduction 2 Methodological Basis 3 Scenario Building 4 Assessing the Negative Consequence Risks of the Strategic Decisions 5 Conclusion References Application of Computer Methods for Acoustic Analysis of the West-Middle German Dialect 1 Introduction 2 Methods 3 Experiments and Results 4 Discussions 5 Conclusion References The Concept of Intellectualized Control in Precision Farming 1 Introduction 1.1 Development of the General Concept of Agrotechnology Management in Precision Farming 2 Materials and Methods 3 Conclusions References Allocation of Organizational and Financial Resources of the Information Protection Side Using a Genetic Algorithm 1 Introduction 2 Review and Analysis of Literature 3 The Purpose of the Study 4 Methods and Models 4.1 Formulation of the Problem 4.2 Genetic Algorithm for Optimizing the Resource Allocation of the Defense Side 5 An Example of a Solution and Computational Experiments 6 Discussion of the Results of the Computational Experiment 7 Conclusions References Application of Information Security Technologies for Improving the Imitation Resistance of Low-Orbital Satellite Communication Systems 1 Introduction 2 Literature Review 2.1 Destructive Influence on the Low-Orbit Satellite Communication System 2.2 Analysis of «friend-or-foe» System Identification Principles 2.3 Analysis of Authentication Protocols 3 Proposed Methodology 4 Results and Discussion 5 Conclusion References Time Series Forecasting Based on Neural Analysis 1 Introduction 2 Methods 3 Results and Discussions 4 Conclusion References Alternative Designs of High Load Queuing Systems with Small Queue 1 Introduction 2 Multi-channel Queuing System M|M|n| 3 Almost Deterministic Single-Channel Queuing System 4 Methods 5 Results 6 Discussions 7 Conclusion References Verification of HotStuff BFT Consensus Protocol with TLA+/TLC in an Industrial Setting 1 Introduction 2 Byzantine Fault Tolerance 2.1 PBFT 2.2 HoneyBadgerBFT 2.3 SBFT 2.4 Tendermint 2.5 HotStuff 3 Distributed Consensus Verification 3.1 Verification of Tendermint 4 Specifying and Verifying HotStuff with TLA+/TLC 4.1 Structural Assumptions of the Main Model 4.2 Leaf Structure of the Commands 4.3 Verification Without the Leaf Structure 4.4 Verification with the Leaf Structure 5 Conclusions A Appendix: TLC Output References Architecture of InnoChain, a Formally-Verified Distributed Ledger System 1 Motivation, Background and Related Work 2 Overview of InnoChain Architecture and its Formal Verification Levels 2.1 The Level of Smart Contracts Program Logic 2.2 The Level of Smart Contracts Execution System 2.3 The Level of InnoChain Node Functionality 2.4 The Level of Consensus Protocol 2.5 The OS Level 3 DLS Functioning and the Consensus Protocol 4 The Choice of InnoChain Implementation Programming Language 5 The Underlying Operating System 6 Conclusions and Future Work References A New Approach to Modelling and Verification of Functional Programs 1 Introduction 2 Main Concepts 2.1 Terms 2.2 A Concept of a Functional Program 3 An Example of Specification and Verification of a Functional Program 3.1 An Example of a Functional Program 3.2 An Example of a Specification of a Functional Program 3.3 An Example of Verification of a Functional Program 4 States of Functional programs 4.1 A Concept of a State of a Functional Program 4.2 Equality of Terms and states 4.3 Transitions of Functional Programs 5 Neighborhoods of States of Functional Programs 5.1 Unfoldings of States 5.2 A Concept of a Neighborhood of a State 5.3 Examples of Neighborhoods 6 Embeddings of States of Functional Programs 6.1 Explicit, Conditional and Justified embeddings 6.2 Examples of Embeddings of States 7 State Diagrams 7.1 A Concept of a State Diagram 7.2 Examples of State Diagrams 8 Verification of Functional Programs Based on the Concept of a State Diagram 8.1 Composition of Functional Programs 8.2 The Problem of Verification of Functional Programs 8.3 An Example of Verification of a Sorting Functional Program Using a State Diagram 9 Conclusion References Measuring Random Pulses with Unknown Time-Frequency and Power Parameters 1 Introduction 2 Quasi-likelihood Estimation Algorithm 3 Maximum Likelihood Estimation Algorithm 4 Conclusion References Efficiency of Detection of Ultra-wideband Signals Against Additive and Pulse Random Distortions 1 Introduction 2 The Problem Statement 3 Quasi-likelihood Algorithm for Detecting the Ultra-wideband Quasi-radio Signal with a Priori Known Parameters 4 Quasi-likelihood Algorithm for Detecting the Ultra-wideband Quasi-radio Signal with the Unknown Amplitude and Initial Phase 5 Conclusion References Development of a Risk Assessment Tool for Manufacturing Processes 1 Introduction 2 Research Method 3 The Risk Assessment Tool as an Intelligent System to Support Decisions in Industry 4.0 3.1 Requirements 3.2 The Collaborative Tool Concept 4 Conclusion References Determining the Future Profitability of the Main Types of Cryptocurrencies 1 Introduction 2 The Main Types of Cryptocurrencies 2.1 Bitcoin 2.2 Ethereum 2.3 Ripple (XRP) 2.4 Litecoin 2.5 Tether 3 Cryptocurrency Profitability Forecasting 4 Conclusion References The Peculiarities of Computer Technologies Application in Informatics Training in Conditions of the Economy and Education Digitalization 1 Introduction 2 Methods 3 Results 4 Discussion 5 Conclusion References LSTM Forecasting: Time Series Forecasting to Predict Concentration of Air Pollutants (CO, SO2, NO and NO2) in Krasnoyarsk, Russia 1 Introduction 2 Methods 3 Results 4 Discussions 5 Conclusions References Local Weather Station for Decision Making in Civil Engineering 1 Introduction 2 Design of a System for Automated Data Collection 3 The Integration of the Measurement System 4 Preliminary Measurement Results 5 Conclusions References Algorithmic Approach to the Design of e-Learning Courses 1 Introduction 2 Problem 3 Algorithmic Point of View on the e-Course 3.1 Moving to an Algorithmic Point of View 3.2 Algorithm and the Problem of Spontaneity 4 Conclusion References New Failures Occurrence Software Testing Based on Predicting the Time Organization 1 Introduction 2 Methods 3 The Results 4 Conclusion References Emotiogenic Stimulator of the Human Cognitive Activity Level 1 Introduction 2 Methods 2.1 The Emotiogenic Stimulator Features 2.2 The Procedure of Scientific Experiments 3 Results 3.1 A Mathematical Apparatus for Monitoring and Controlling the Level of Human Cognitive Activity 3.2 An Emotiogenic Stimulator Model 4 Discussions 5 Conclusion References A Brief IT-Project Risk Assessment Procedure for Business Data Warehouse Development 1 Introduction 2 Theoretical Issues of Risk Assessment 2.1 Risks Classification 2.2 Risks Assessment Stages 3 Case Study 4 Conclusion References Algorithms for Multi-agent Interaction in the Distribution of Robots in a Group Between Work Areas in Long-Term Monitoring Tasks 1 Introduction 2 Application Scenario 3 Proposed Method for Dividing a Group of Robots into Subgroups for Monitoring Different Work Areas 4 Proposed Algorithms for Dividing a Group of Robots into Subgroups 4.1 Work Area’s Agent Algorithm for Dividing a Homogeneous Group into Subgroups 4.2 Algorithm of a Robot’s Agent for Dividing a Homogeneous Group into Subgroups 4.3 Work Area’s Agent Algorithm for Dividing a Heterogeneous Group into Subgroups 4.4 Algorithm of a Robot’s Agent When Dividing a Heterogeneous Group into Subgroups 5 Experimental Results 6 Conclusions and Future Work References Confirmation of Cybernetical Modelling in Applied Research of Resilience 1 Introduction 2 Concept of Comparison of Cybernetical Models 3 Experimental Area of Psychological Resilience 4 Results 5 Conclusion References On DLP Systems at Objects of Informatization and Employees Rights 1 Basic Terms and Definitions 2 Statement of the Problem 3 Analysis of Publications 4 The Main Part 5 Conclusions References A Variant of the Algorithm for Generating Pseudo-random Binary Sequences Based on the Properties of Linear Cellular Automata 1 Introduction 2 Methods 2.1 Linear Binary Difference Equations 2.2 One-Dimensional Linear Hybrid CA 2.3 Generalization 3 Results and Discussions 3.1 Solving Linear Difference Equations Using a CA 3.2 Numerical Simulation 3.3 Comparison with the Algorithm for Using Vector Complementary and Permutation Operations 4 The Use of the Algorithm in Systems for Controlling the Integrity and Authenticity of Block Data 5 Conclusion References Functioning Model of Long-Term Sensor Networks 1 Introduction 2 Functioning Model of Network Nodes 3 Model of Energy Consumption by the Sensor Taking into Account Prevention 4 Analysis of the Model 5 Conclusion References DMOs as Data Mining Organizations? Reflection over the Role of DMOs in Smart Tourism Destinations 1 Introduction 2 Data Mining in Tourism Destinations 3 Methodology 4 Results and Discussion 4.1 Real-Time Information About Tourists 4.2 Dynamic Construct of a Destination 4.3 Knowledge Transfer and Co-decisions 5 Conclusion References Digital Spectrozonal and Multispectral Lens-Less Devices with Spectrophotometric Temperature Calibration GUIs for Dairy Farming and Qualimetry of Diary Products 1 Introduction 1.1 Computer-Assisted Microfluidic Analysis of Milk and Diary Products 1.2 Towards Digital Colorimetric Analysis of Milk and Diary Products 1.3 Spectrophotometric Temperature: Supporting Information 1.4 Spectrophotometric Temperature: Principles of Measurement 2 Experimental Section 2.1 Computer-Assisted Microfluidic Analysis of Milk and Diary Products 3 Conclusion 4 Important Note for Code Writing Programmers References Information Security Subsystem Model for a Trusted Platform for Collecting and Processing Sensory Information 1 Introduction 2 Materials and Methods 3 Materials and Methods 3.1 Identifying Threats Types 3.2 Identifying Threats Types 4 Discussion 5 Conclusions References Optimal Allocation of Fire Service Personnel Considering Territorial Differences of Fire Risks 1 Introduction 2 Typology of Territories by Fire Risks 3 Optimal Fire Service Personnel Allocation References Extracting Implicit Knowledge 1 Introduction 2 Research Methodology 3 Research Results 3.1 Latent Situation in Information Field 3.2 Statistical and Latent Analysis 4 Conclusion References Video Processing Method for Moving Objects Detection on Scenes with Complex Dynamic Background 1 Introduction 2 State of the Art 3 Moving Objects Detection Method 4 Implementation and Results 5 Conclusion References On the Algorithm for Checking the Equivalence Condition of Iterations of Finite Languages 1 Introduction and Preliminaries 2 The Auxiliary Algorithm: Designation and Description 3 The Auxiliary Algorithm: Proof of Correctness 4 The Main Result and Conclusion References Designing Feature Space for Educational Analytics Tasks Based on Data from Electronic Information Educational Environment 1 Introduction 2 Methods 2.1 Data Selection 2.2 Data Preprocessing 2.3 Data Transformation 2.4 Aggregation 2.5 Scaling 2.6 Aggregation 3 Discussions 4 Conclusion References Noisy Medical Images Aggregation for Pulmonary Tissue Damage Detection 1 Introduction 2 Methodology 3 Result Analysis 4 Conclusion References Determination of the Spatial Orientation of an Architectural Object from a Photograph 1 Problem Statement and Method of Its Solution 1.1 Theoretical Justification of the Method 1.2 An Example of Calculating Vectors When Manually Determining Points 2 Description of Characteristics and Verification of Their Selection References Large-Scale Volume Rendering as a Vertex-Oriented Graph Processing Task Using Apache Distributed Computing Tools 1 Introduction 2 Building a Graph for Volume Data 3 Ray Tracing over the Graph for DVR-task 3.1 Basic Ray Casting Algorithm 3.2 Empty Space Skipping and Adaptive Sampling 4 Implementation and Experimental Evaluation 5 Conclusions References Industrial Control System (ICS): The General Overview of the Security Issues and Countermeasures 1 Introduction 2 Security Issues in ICS and Its Countermeasures 2.1 Security Issues in ICS 2.2 Security Countermeasure for ICS 3 Security Concerns in PLC and Protection 3.1 Security Issues in PLC 3.2 Protection in the PLC System 4 Security Challenges in RTU and Countermeasures 5 Conclusions References Integrated Modeling of Socio-Cyber-Physical Systems Functioning as Viable Hierarchical-Network Objects 1 Introduction 2 Modeling Methodology 3 Multiple-Model Description of SCPS Functioning 4 Conclusion References Formation of Software Development Teams Using the Project Network Diagram and Considering the Approach Based on Acmeology and Competence 1 Introduction 2 The Search for Professional Communications and Interactions Between Team Members Using Project Network Diagram 3 The Application of the Approach Based on Acmeology and Competence with the Aim of Establishing Psychological Types of Personalities that Are Suitable for the Specific Team Roles 4 Conclusion References Digitalization of Enterprise Architecture as a Means of Ensuring the Flexibility and Adaptability of Management Information System 1 Introduction 2 Formation and Updating of Enterprise Architecture 3 Technical Support for Digitalization of the Enterprise Architecture References Smart City as a Unique Way of Russian Cities Development in the Digital Revolution Era 1 Demographic Dynamics 1.1 Global Demographic Dynamics 1.2 Russian Demographic Dynamics 2 The Distinction of the Concepts of “smart City” and “intelligent Design” 2.1 Similarity 2.2 Difference 3 Architecture of the Big Data Analysis System 3.1 Level 1 3.2 Level 2 3.3 Level 3 3.4 Level 4 4 Conclusion References RFMx - An Approach for an Enhanced RFM Analysis of Customers Multiple-Product Transaction Based Data 1 Introduction 2 Background 2.1 Digital Transformation 2.2 RFM 3 Challenges 3.1 Digital Transformation Challenges 3.2 RFM Challenges 4 RFMx with K-Means for Enhanced Customer Segmentation 5 Results 6 Conclusion References Mechanisms for Learning and Production Management of a Vertical Concern 1 Introduction 2 Industry Production Output Management 2.1 Output Standardization 2.2 Inducement for Output Increasing 3 Concern Production Output Management 4 Concern Control Mechanism of Production Output 5 Example: Concern Control Mechanism of Locomotives Refit 6 Conclusion References Adaptive Management of Intelligent Environment Within an Educational Ecosystem 1 Introduction 2 Methods 3 Results 3.1 A Method and System for Analyzing Employers’ Requirements 4 Conclusion and Discussion References Method for Increasing the Measuring Accuracy the Rotary Machines Main Vibration Parameters: Algorithmic and Hardware Implementation 1 Introduction 2 Research Methods 3 Hardware Implementation and Experimental Research Results 4 Conclusions References Algorithmic Solution to the Problem of Digital Data Anonymization 1 Introduction 2 A Brief Overview of the Problem 3 The Formulation of the Problem of Digital Data Anonymization 4 Data Anonymization Algorithm 5 Mathematical Model of the Digital Data 6 Possible Practical Application 7 Conclusion References On One Procedure for Obtaining an Interpreted and High-Precision Classifier for the Method of Logical Analysis of Data 1 Introduction 2 Materials and Methods 3 Results 3.1 Classification of the Results of Radar Scans of the Ionosphere 3.2 SPAM Detection by Email 4 Conclusions References Compensation Method for Calculating the Amplitude and Phase of Sine Signals and Its Practical Applications in Measuring of Frequency Response of Analog Devices 1 Introduction 2 Block Diagram of a Frequency Response Analyzer Utilizing the Midpoint Method for Measuring Sine Signals 3 Midpoint Method 4 Algorithm of the Microcontroller for Implementing the Proposed Method 5 Numerical Example 6 Conclusion References Monitoring the Activity of Industrial Facilities Using Satellite Images of the Heat IR Range 1 Introduction 2 The Problem Statement 2.1 The Essence of the Proposed Method 2.2 The Purpose and Objectives of the Research 3 Related Works 4 Research Methods 4.1 Selection of Remote Sensing Data Sources 4.2 Selection of the Observation Area 4.3 The Choice of Satellite Imagery 4.4 Stages of the Image Processing 5 Results 6 Discussion 7 Directions for Further Research 8 Conclusion References The Development of Software to Calculate the Atmospheric Pollution Parameters and Air Pollution Levels Forecast 1 Introduction 1.1 Methods and Data 2 Results 2.1 Application Description 2.2 Database Description 3 Discussions 4 Conclusion References Distributed Traffic Control Method Based on Interconnected Agents 1 Introduction 2 Method Prerequisites 3 Description of the Method 3.1 Determining the Number of Agents 3.2 Agents Interaction Scheme 3.3 Agents Interaction Scheme on Intersection 3.4 Agents Interaction Scheme for Several Intersection 3.5 Agents Interaction Scheme for Road Network 4 Conclusion and Future Work References Diffraction Losses Investigation in a Fiber-Optic Transmission Line of Analyzed Signals for Combustion Processes Automatic Control Systems 1 Introduction 2 A Mathematical Model for Calculating Diffraction Losses 3 Diffraction Loss Experimental Study in the Fiber Radiation Out System 4 Conclusion References Survey of Security Issues, Requirements, Challenges and Attacks in Internet of Things 1 Introduction 2 IoT Architecture 2.1 IoT Devices 2.2 IoT Network 2.3 IoT Services Platform 2.4 IoT Application Layer 3 Overview of IoT Security Challenges and Requirements 3.1 IoT Security Challenges 3.2 IoT Security Requirements 4 IoT Security Threats 4.1 IoT Three-Domain Architecture 4.2 Cloud Domain Attacks and Countermeasures 4.3 Fog Domain Attacks and Countermeasures 4.4 Sensing Domain Attacks and Countermeasures 5 Conclusion References Penetration Testing of WiFi Networks Secured by WEP and WPA/WPA2 Protocols 1 Introduction 2 Distribution of Kali Linux 3 Network Testing with WEP Security Protocol 4 Network Testing with WPA2 Security Protocol 5 Capture Communication Using the Wireshark Software Tool 6 Conclusion References Some Properties of the Extended Basis Finite Automata 1 Introduction 2 Preliminaries 3 Some Properties of Extended Basis Finite Automata References Features of Digital Processing of Non-stationary Processes in Measurement and Control 1 Introduction 2 Statement of the Problem 3 Problem Solution 4 Conclusion References Oppositional Division in the Information Field 1 Introduction 2 The Oppositional Division Broad and Narrow Understanding 3 Oppositional Trinitarian Division Models 4 Conclusion References Processing of Radar and Optical Images for Monitoring Natural and Anthropogenic Emergencies 1 Introduction 2 Modern Methods 2.1 Disadvantages of Existing Methods 2.2 Possible Ways to Solve the Problem 2.3 The Purpose and Objectives of the Research 2.4 The Source Data for the Research 3 Research Methodology 4 Results and Discussion 5 Directions for Further Research 6 Conclusions References Improving Compliance with the Acceptable Usage Policy 1 Introduction 2 Theoretical Background 3 Method 3.1 Search Process 3.2 Inclusion Criteria 3.3 Study Selection 3.4 Data Collection 3.5 Identifying AUP Compliance Factors 4 Results 4.1 Search Results 4.2 Predictor Factors 4.3 Factors Importance 4.4 Data Collection 4.5 Demographics 4.6 Data Analyses 5 Discussion 6 Conclusions, Limitations, and Future Research References Concept and Preliminary Testing of the Two-Stage Technology of Terminology Extraction on the Basis of Topic Modeling and Context Analysis 1 Introduction: A Brief Description of the Terminology Extraction Problem and a General Description of the Technology 2 Technology for Extracting Basic Essential Concepts Based on Topic Modeling Approach 3 Technology for Identifying Significant Concepts of the Subject Area Based on Context Analysis 4 Experimental Technology Assessment 5 Conclusions References Synthesis and Stabilization of Belt Conveyor Models with Intelligent Control 1 Introduction 2 Synthesis of a Generalized Belt Conveyor Model 3 Results of Computational Experiments 4 Discussion 5 Conclusions References Model of Multi-robotic Complex at the Base of Distributed Registry for Monitoring and Diagnostics System 1 Introduction 2 Decentralized Data Storage Architecture 3 Data Transmission Architecture 4 Algorithm of Network-Centric Control System for Monitoring Territories by Heterogeneous Group of Unmanned Aerial Vehicle 5 Conclusion References Up-to-date Software and Methodological Support for Studying Models of Controlled Dynamic Systems Using Artificial Intelligence 1 Introduction 2 Models and Software 3 Results of Computational Experiments Based on the SSMC Software Package 4 Discussion 5 Conclusions References A Conceptual Framework for Consumer IS Compliance Awareness: South African Government Context 1 Introduction 2 Consumer Data Protection in South Africa 3 Research Methodology 4 Consumer Data Protection Framework 4.1 Framework Building Blocks 4.2 The Initial Proposed CDP Framework 5 Conclusion References Improving the Functioning of the Cybernetic Control System of the Mechatronic Module of the Robotic Complex 1 Introduction 2 Synthesis of Modal PID-Regulator 2.1 Vector-Matrix Description of the Investigated Object 2.2 Calculation of Regulator Coefficients 2.3 Modeling of Synthesized Systems References Discarding Abnormal Measurements 1 Introduction 2 Research Methodology 3 Research Results 3.1 Mixed Samples When Collecting Information 3.2 Representative Theory and Measurement Rejection 4 Conclusion References Author Index