Vol. 59, No. 7, 2025

Automatic Control and Computer Sciences

Verification of Declarative LTL Specification of Control Program Behavior

M. V. Neyzov and E. V. Kuzmin p. 859 abstract

Mathematical Properties of the Agent-Based Model of Extinction–Recolonization for Population Genetics

N. V. Gaianov p. 877 abstract

On the Study of One Way to Detect Anomalous Program Execution

Y. V. Kosolapov and T. A. Pavlova p. 885 abstract

Suppression of Additive Periodic Low-Frequency Interference on Eddy-Current Defectograms

L. Y. Bystrov, A. N. Gladkov, and E. V. Kuzmin p. 895 abstract

UAV Detection Using Neural Networks

M. D. Averina, O. A. Levanova, D. V. Grushevskaya, K. A. Kukharev, D. M. Murin, and M. A. Kalinin p. 910 abstract

Automatic Determination of Semantic Similarity of Student Answers with the Reference Answer Using Modern Models

N. S. Lagutina, K. V. Lagutina, and V. N. Kopnin p. 920 abstract

Keywords, Morpheme Parsing, and Syntactic Trees: Features for Text Complexity Assessment

D. A. Morozov, I. A. Smal, T. A. Garipov, and A. V. Glazkova p. 929 abstract

Methods of Implicit Aspect Detection in Russian Publicistic Texts

A. Y. Poletaev, I. V. Paramonov, and E. M. Kolupaev p. 941 abstract

LTL Specification for the Development and Verification of Logical Control Programs in Feedback Systems

M. V. Neyzov and E. V. Kuzmin p. 951 abstract

Matrix-Qubit Algorithm for Semantic Analysis of Probabilistic Data

I. A. Surov p. 985 abstract

Estimation of Interpolation Projectors Using Legendre Polynomials

M. V. Nevskii p. 996 abstract

Some Polynomial Subclasses of the Eulerian Walk Problem for a Multiple Graph

A. V. Smirnov p. 1015 abstract

Methods for Sentiment Detection toward Aspects of Economic and Social Development in Russian Sentences

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

Pattern-Based Approach to the Automation of Deductive Verification of Process-Oriented Programs: Patterns, Lemmas, and Algorithms

I. M. Chernenko and I. S. Anureev p. 1048 abstract

Using TLA+/TLC for Modeling and Verification of Cryptographic Protocols

M. V. Neyzov and E. V. Kuzmin p. 1082 abstract

An Exact Schedulability Test for Real-Time Systems with an Abstract Scheduler on Multiprocessor Platforms

N. O. Garanina p. 1105 abstract

Algorithm for Constructing the Asymptotics of Periodic Solutions in Laser Models with a Rapidly Oscillating Delay

E. V. Grigorieva, D. V. Glazkov, and A. O. Tolbey p. 1125 abstract

Extremal Estimates of the Wiener Index for Weakly Connected Directed Graphs

D. Y. Chalyy p. 1132 abstract

Dominating Sets with Neighborhoods for Trees

M. A. Iordanski p. 1144 abstract

A Survey of Models for Automatic Assessment of Similarity of Student’s Answer to the Reference Answer

N. S. Lagutina and K. V. Lagutina p. 1152 abstract

Comparison of Pretrained Models for Domain-Specific Entity Extraction from Student Report Documents

A. V. Melnikova, M. S. Vorobeva, and A. V. Glazkova p. 1170 abstract

Hierarchical Classification of Scientific Articles Using Deep Learning (Using the UDC Hierarchy As an Example)

V. Y. Mamedov, D. A. Kovalevsky, D. A. Morozov, S. S. Stolyarov, and S. S. Ospichev p. 1181 abstract