Vol. 52, No. 7, 2018

Automatic Control and Computer Sciences

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.

Semantics-Driven Migration of Java Programs: A Practical Application

A. O. Aleksyuk and V. M. Itsykson p. 581 abstract

Deriving Synchronizing and Homing Sequences for Input/Output Automata

N. G. Kushik, N. V. Yevtushenko, I. B. Burdonov and A. S. Kossatchev p. 589 abstract

Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures

T. R. Shmeleva p. 596 abstract

Semantic Security Tools in Software-Defined Networks

E. Ju. Antoshina and D. Ju. Chalyy p. 605 abstract

Deduplication in the Backup System with Information Storage in a Database

S. M. Taranin p. 608 abstract

Investigation of a Markov Model for Computer System Security Threats

A. A. Magazev and V. F. Tsyrulnik p. 615 abstract

The Shortest Path Problem for a Multiple Graph

A. V. Smirnov p. 625 abstract

Clarification of the Properties of a Tree Centroid

Y. A. Belov and S. I. Vovchok p. 634 abstract

Analysis of Typed Inclusion Dependences with Null Values

V. S. Zykin and S. V. Zykin p. 638 abstract

Decoding the Tensor Product of MLD Codes and Applications for Code Cryptosystems

V. M. Deundyak, Y. V. Kosolapov and E. A. Lelyuk p. 647 abstract

Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms

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

On n-Dimensional Simplices Satisfying Inclusions $S \subset {{[0,1]}^{n}} \subset nS$

M. V. Nevskii and A. Yu. Ukhalov p. 667 abstract

On Minimal Absorption Index for an n-Dimensional Simplex

M. V. Nevskii and A. Yu. Ukhalov p. 680 abstract

Invariant Characteristics of Forced Oscillations of Beams with Longitudinal Compression

S. D. Glyzin, M. V. Lokhanin and D. M. Sirotin p. 688 abstract

The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction

V. E. Goryunov p. 694 abstract

Local Dynamics of a Model of an Opto-Electronic Oscillator with Delay

E. V. Grigorieva, S. A. Kashchenko and D. V. Glazkov p. 700 abstract

The Kuramoto–Sivashinsky Equation. A Local Attractor Filled with Unstable Periodic Solutions

A. N. Kulikov and D. A. Kulikov p. 708 abstract

Age Groups in Hutchinson Equations

S. D. Glyzin p. 714 abstract

Asymptotic Expansions of Eigenvalues of Periodic and Antiperiodic Boundary Value Problems for Singularly Perturbed Second-Order Differential Equation with Turning Points

S. A. Kashchenko p. 728 abstract

Contrast Structures with a Multizone Internal Layer

V. F. Butuzov p. 745 abstract

Difference Approximations of a Reaction–Diffusion Equation on Segments

S. D. Glyzin p. 762 abstract

The Impulse-Refractive Mode in a Neural Network with Ring Synaptic Interaction

M. M. Preobrazhenskaia p. 777 abstract

Spatially Inhomogeneous Periodic Solutions in a Distributed Hutchinson’s Equation

D. S. Glyzin, S. A. Kaschenko and A. S. Polstyanov p. 790 abstract

Asymptotical Distributions of Eigenvalues of Periodic and Antiperiodic Boundary Value Problems for Second-Order Differential Equations

S. A. Kashchenko p. 797 abstract

On а Recursive-Parallel Algorithm for Solving the Knapsack Problem

V. V. Vasilchikov p. 810 abstract

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

A. B. Glonina and V. V. Balashov p. 817 abstract

On Optimal Interpolation by Linear Functions on n-Dimensional Cube

M. V. Nevskii and A. Yu. Ukhalov p. 828 abstract

Loop-invariant Optimization in the Pifagor Language

V. S. Vasilev and A. I. Legalov p. 843 abstract

Verification of Programs with Mutual Recursion in Pifagor Language

M. S. Ushakova and A. I. Legalov p. 850 abstract

An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms

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

The Spanning Tree of a Divisible Multiple Graph

A. V. Smirnov p. 871 abstract

On Some Approaches to the Solution of the “Useful Proof-of-Work for Blockchains” Task

V. G. Durnev, D. M. Murin, V. A. Sokolov and D. Ju. Chalyy p. 880 abstract

Complicated Dynamic Regimes in a Neural Network of Three Oscillators with a Delayed Broadcast Connection

S. D. Glyzin and E. A. Marushkina p. 885 abstract

Equivalence of Conventional and Modified Network of Generalized Neural Elements

E. V. Konovalov p. 894 abstract

Contents

Automatic Control and Computer Sciences