Contents

Automatic Control and Computer Sciences

Vol. 53, No. 7, 2019

Even Simple π-Calculus Processes Are Difficult to Analyze

M. M. Abbas and V. A. Zakharov p. 573  abstract

Verification-Oriented Process Ontology

N. O. Garanina, I. S. Anureev and O. I. Borovikova p. 584  abstract

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin and A. V. Promsky p. 595  abstract

Application of a Genetic Algorithm for Finding Edit Distances between Process Models

A. A. Kalenkova and D. A. Kolesnikov p. 617  abstract

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

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

Word Embedding for Semantically Related Words: An Experimental Study

M. S. Karyaeva, P. I. Braslavski and V. A. Sokolov p. 638  abstract

On Some Problems for a Simplex and a Ball in ${{\mathbb{R}}^{n}}$

M. V. Nevskii p. 644  abstract

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination

D. A. Kondratyev, I. V. Maryasov and V. A. Nepomniaschy p. 653  abstract

On the Expressive Power of Some Extensions of Linear Temporal Logic

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

On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories

J. L. Vega Vice and V. Y. Mikhailov p. 676  abstract

On Safety of Unary and Nonunary IFP Operators

S. M. Dudakov p. 683  abstract

Dynamic Model of Information Exchange Processes in a Peer-to-Peer Network

A. I. Kononova p. 689  abstract

A Question-Answering System for Applicant Support Using Modern Messaging Apps

D. R. Filonov, D. Ju. Chalyy, D. M. Murin, V. G. Durnev and V. A. Sokolov p. 699  abstract

Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks

N. S. Lagutina, K. V. Lagutina, A. S. Adrianov and I. V. Paramonov p. 705  abstract

On the Support Splitting Algorithm for Induced Codes

Yu. V. Kosolapov and A. N. Shigaev p. 719  abstract

Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

L. I. Rodina and I. I. Tyuteev p. 730  abstract

Dynamics of Population Distribution by Patches

A. N. Kirillov and I. V. Danilova p. 738  abstract

Codes in a Dihedral Group Algebra

K. V. Vedenev and V. M. Deundyak p. 745  abstract

Asymptotic Integration of Certain Differential Equations in Banach Space

P. N. Nesterov p. 755  abstract

A Mathematical Model for Optimal Number of Heat Consumers Connection to the Heat Supply System

S. M. Terekhov, V. A. Nemtinov and K. S. Kornilov p. 769  abstract

Comparison of Doubling the Size of Image Algorithms

S. E. Vaganov and S. I. Khashin p. 779  abstract

Computer Simulation of a Smart Building

O. Yu. Maryasin, A. S. Kolodkina and A. A. Ogarkov p. 787  abstract

Building a Data Store with the Dynamic Structure

Yu. N. Artamonov p. 794  abstract

Cloud Service for Interactive Simulation of Interregional Trade Flows

A. S. Velichko, V. V. Gribova and L. A. Fedorishchev p. 811  abstract

Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

V. N. Boykov and M. S. Karyaeva p. 821  abstract

Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization Technique

D. A. Makarov p. 824  abstract

Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems

N. S. Lagutina, K. V. Lagutina, I. A. Shchitov and I. V. Paramonov p. 830  abstract

Probabilistic Analysis of Tournament Organization Systems

A. M. Tsirlin and Al. A. Akhremenkov p. 839  abstract

Design and Security Analysis of a Fragment of Internet of Things Telecommunication System

V. A. Alexandrov, V. A. Desnitsky and D. Y. Chaly p. 851  abstract