Vol. 58, No. 7, 2024

Automatic Control and Computer Sciences

The Optimized Algorithm of Finding the Shortest Path in a Multiple Graph

A. V. Smirnov p. 745 abstract

Construction of the Optimal Information Exchange Scheme of an Adaptive Motion Control System for a Group of Unmanned Aerial Vehicles

L. N. Kazakov, E. P. Kubyshkin, and D. E. Paley p. 753 abstract

C Language Extension to Support Procedural-Parametric Polymorphism

A. I. Legalov, and P. V. Kosov p. 762 abstract

Tasks in Named Entity Recognition: Technologies and Tools

N. S. Lagutina, A. M. Vasilyev, and D. D. Zafievsky p. 779 abstract

Annotation of Text Corpora by Sentiment and Irony in a Project of Citizen Science

I. V. Paramonov, and A. Y. Poletaev p. 797 abstract

Zhegalkin Polynomial of a Multiary Sole Sufficient Operator

L. Y. Bystrov, and E. V. Kuzmin p. 808 abstract

Recursive-Parallel Algorithm for Solving the Maximum Common Subgraph Problem

V. V. Vasilchikov p. 827 abstract

On Simplifying Mixed Boolean-Arithmetic Expressions

Yu. V. Kosolapov p. 836 abstract

Algorithms for Asymptotic and Numerical Modeling of Oscillatory Modes in the Simplest Ring of Generators with Asymmetric Nonlinearity

S. D. Glyzin, and E. A. Marushkina p. 853 abstract

Generalization of Typed Inclusion Dependencies with Null Values in Databases

S. V. Zykin p. 861 abstract

Text Classification by CEFR Levels Using Machine Learning Methods and the BERT Language Model

N. S. Lagutina, K. V. Lagutina, A. M. Brederman, and N. N. Kasatkina p. 869 abstract

On a Geometric Approach to the Estimation of Interpolation Projectors

M. V. Nevskii, and A. Yu. Ukhalov p. 879 abstract

The Algorithms for the Eulerian Cycle and Eulerian Trail Problems for a Multiple Graph

A. V. Smirnov p. 889 abstract

Algorithm for Link Prediction in a Self-Regulating Network with Adaptive Topology Based on Graph Theory and Machine Learning

E. Yu. Pavlenko p. 904 abstract

LTL-Specification for Development and Verification of Control Programs

M. V. Neyzov, and E. V. Kuzmin p. 920 abstract

Joint Simplification of Various Types of Spatial Objects While Preserving Topological Relations

O. P. Yakimova, D. M. Murin, and V. G. Gorshkov p. 946 abstract

Modeling the Effect of External Actions on the Process of Automated Landing of a Quadcopter UAV on a Moving Platform Using Technical Vision

A. V. Ryabinov, A. I. Saveliev, and D. A. Anikin p. 957 abstract

Extracting Named Entities from Russian-Language Documents with Varying Degrees of Structural Clarity

M. D. Averina, and O. A. Levanova p. 969 abstract

Semantic Rule-Based Sentiment Detection Algorithm for Russian Publicism Sentences

A. Y. Poletaev, I. V. Paramonov, and E. I. Boychuk p. 977 abstract

Keyword Generation for Russian-Language Scientific Texts Using the mT5 Model

A. V. Glazkova, D. A. Morozov, M. S. Vorobeva, and A. A. Stupnikov p. 995 abstract

Requirement Patterns in Deductive Verification of poST Programs

I. M. Chernenko, I. S. Anureev, and N. O. Garanina p. 1003 abstract

Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text

N. O. Garanina, S. M. Staroletov, V. E. Zyubin, and I. S. Anureev p. 1025 abstract

On the Application of the Calculus of Positively Constructed Formulas for the Study of Controlled Discrete-Event Systems

A. V. Davydov, A. A. Larionov, and N. V. Nagul p. 1042 abstract

Minimal Covering of Generalized Typed Inclusion Dependencies in Databases

S. V. Zykin p. 1063 abstract

Application of Deep Neural Networks for Automatic Irony Detection in Russian-Language Texts

M. A. Kosterin, and I. V. Paramonov p. 1073 abstract

NP-Completeness of the Eulerian Walk Problem for a Multiple Graph

A. V. Smirnov p. 1082 abstract

Contents

Automatic Control and Computer Sciences