Contents
Automatic Control and Computer Sciences

Vol. 48, No. 7, 2014

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

Common Knowledge in Well-Structured Perfect Recall Systems

N. O. Garanina p. 381  abstract

Software Defect Detection by Combining Bounded Model Checking
and Approximations of Functions

M. Kh. Akhin, M. A. Belyaev, and V. M. Itsykson p. 389  abstract

A Formal Model and Verification Problems for Software Defined Networks

V. A. Zakharov, R. L. Smelyansky, and E. V. Chemeritsky p. 398  abstract

Automatic C Program Verification Based on Mixed Axiomatic Semantics

I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, and D. A. Kondratyev p. 407  abstract

A Formal Approach to Test Scenarios Generation Based on Guides

P. D. Drobintsev, V. P. Kotlyarov, and A. A. Letichevsky p. 415  abstract

Construction and Verification of PLC LD Programs by the LTL Specification

E. V. Kuzmin, V. A. Sokolov, and D. A. Ryabukhin p. 424  abstract

Designing and Development of an Imitation Model of a Multitenant Database Cluster

E. A. Boytsov p. 437  abstract

Steady States of a Delay Differential Equation of an Insect Population’s Dynamics

S. A. Kashchenko p. 445  abstract

Corner Boundary Layer in Nonlinear Elliptic Problems Containing First-Order Derivatives

V. F. Butuzov and I. V. Denisov p. 458  abstract

Influence of Delayed Feedback Control on the Stability of Periodic Orbits

V. G. Bogaevskaya and I. S. Kashchenko p. 477  abstract

One Mechanism of Hard Excitation of Oscillations in Nonlinear Flutter Systems

S. D. Glyzin, A. Yu. Kolesov, and N. Kh. Rozov p. 487  abstract

Classical and Nonclassical Symmetries of a Nonlinear Differential Equation
for Describing Waves in a Liquid with Gas Bubbles

N. A. Kudryashov and D. I. Sinelshchikov p. 496  abstract

Asymptotics of Solutions of Finite–Difference Approximations of a Logistic Equation
with Delay and Small Diffusion

S. A. Kashchenko and V. E. Frolov p. 502  abstract

Motion Equations of a Rigid Body with Two Elastic Rods

D. A. Eliseev and E. P. Kubyshkin p. 516  abstract

On One Problem for a Simplex and a Cube in Pⁿ

M. V. Nevskii p. 521  abstract

TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data

A. A. Sivov p. 528  abstract

How to Make a Simple Tool for Verification of Real-Time Systems

I. V. Konnov, V. V. Podymov, D. Yu. Volkanov, V. A. Zakharov, and D. A. Zorin p. 534  abstract

Some Solvability Classes for the Problem of Integer Balancing of a Three-Dimensional
Matrix with Constraints of the Second Type

A. V. Smirnov p.543  abstract

Modeling, Specification and Construction of PLC-Programs

E. V. Kuzmin and V. A. Sokolov p. 554  abstract

On the Efficient Modeling of Unbounded Resource by One-Counter Circuits

V. A. Bashkin p. 564  abstract

On the Recursive-Parallel Programming for the .NET Framework

V. V. Vasilchikov p. 575  abstract

Equivalence Problem Solvability in Gateway Program Models

R. I. Podlovchenko and A. E. Molchanov p. 581  abstract

A Translator with a Security Static Analysis Feature of an Information Flow
for a Simple Programming Language

E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, and D. Ju. Chalyy p. 589  abstract

Applying Stochastic Metaheuristics to the Problem of Data Management
in a Multi-Tenant Database Cluster

E. A. Boytsov p. 594  abstract

Modeling a Consistent Behavior of PLC-Sensors

E. V. Kuzmin, D. A. Ryabukhin, and V. A. Sokolov p. 602  abstract

Primitive Program Schemata with Procedures

R. I. Podlovchenko p. 615  abstract

Multistability in a Laser Model with Large Delay

E. V. Grigorieva, I. S. Kashchenko, and S. A. Kashchenko p. 623  abstract

Dynamics of the Complex Spatially Distributed Hutchinson Equation

D. S. Glyzin and S. A. Kashchenko p. 630  abstract

Doubly Periodic Meromorphic Solutions of Autonomous Nonlinear Differential Equations

M. V. Demina and N. A. Kudryashov p.633  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.