Vol. 55, No. 7, 2021

Automatic Control and Computer Sciences

Estimation of Distribution of Node-to-Node Path Lengths in the Global Network

A. I. Kononova and A. V. Gorodilov p. 589 abstract

On a Segment Partition for Entropy Estimation

E. A. Timofeev p. 601 abstract

Modern Approaches to Detecting and Classifying Toxic Comments Using Neural Networks

S. V. Morzhov p. 607 abstract

Parallel Algorithm for Solving the Graph Isomorphism Problem

V. V. Vasilchikov p. 617 abstract

Markov Model of Nonmutually Exclusive Cyberthreats and Its Applications for Selecting an Optimal Set of Information Security Tools

A. A. Kassenov, A. A. Magazev and V. F. Tsyrulnik p. 623 abstract

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows

A. I. Legalov, I. V. Matkovskii, M. S. Ushakova and D. S. Romanova p. 636 abstract

Method for Joint Clustering in Graph and Correlation Spaces

A. N. Gainullina, A. A. Shalyto and A. A. Sergushichev p. 647 abstract

Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution Times

M. G. Gonopolskiy and A. B. Glonina p. 658 abstract

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

V. A. Zakharov p. 670 abstract

On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions

V. A. Sokolov p. 702 abstract

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms

E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin and V. A. Bashkin p. 712 abstract

Features of the Algorithmic Implementation of Difference Analogs of the Delayed Logistic Equation

S. D. Glyzin, S. A. Kashchenko and A. O. Tolbey p. 723 abstract

Generalization of Derivation Rules for Join Dependencies in Database

S. V. Zykin p. 731 abstract

Deriving Homing Sequences for Finite State Machines with Timed Guards

A. S. Tvardovskii and N. V. Yevtushenko p. 738 abstract

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

E. M. Vinarskii and V. A. Zakharov p. 751 abstract

A Temporal Logic for Programmable Logic Controllers

N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov and S. P. Gorlatch p. 763 abstract

On the Model Checking Problem for Some Extension of CTL*

A. R. Gnatenko and V. A. Zakharov p. 776 abstract

Knowledge-Based Algorithms for BDI Agents

N. V. Shilov and N. O. Garanina p. 786 abstract

On the Properties of Algebraic Geometric Codes as Copy Protection Codes

V. M. Deundyak and D. V. Zagumennov p. 795 abstract

Hierarchical Clustering as a Dimension Reduction Technique in the Markowitz Portfolio Optimization Problem

A. Y. Poletaev and E. M. Spiridonova p. 809 abstract

The Branch-and-Bound Algorithm for the Traveling Salesman Problem is Not a Direct Algorithm

A. N. Maksimenko p. 816 abstract

On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code

Y. V. Kosolapov p. 827 abstract

On a Mechanism for the Formation of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

E. P. Kubyshkin and V. A. Kulikov p. 838 abstract

VTMine for Visio: A Graphical Tool for Modeling in Process Mining

S. A. Shershakov p. 847 abstract

Automated Search and Analysis of the Stylometric Features That Describe the Style of the Prose of 19th–21st Centuries

K. V. Lagutina and A. M. Manakhova p. 866 abstract

Features of the Computational Implementation of the Algorithm for Estimating the Lyapunov Exponents of Systems with Delay

V. E. Goryunov p. 877 abstract

The “One-Fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ, λ)) Genetic Algorithm

A. O. Bassin, M. V. Buzdalov and A. A. Shalyto p. 885 abstract

Contents

Automatic Control and Computer Sciences