Vol. 51, No. 7, 2017
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.
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE
p. 463 abstract
Analysis of Real-Time Applications Feasibility through Simulation
p. 479 abstract
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation
p. 489 abstract
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution
p. 498 abstract
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II
p. 507 abstract
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines
p. 516 abstract
On the Minimization of Finite State Transducers over Semigroups
p. 523 abstract
Formalism and Language Tools for Specification of the Semantics of Software Libraries
p. 531 abstract
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems
p. 539 abstract
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman Problem
p. 551 abstract
Network Model for the Problem of Integer Balancing of a Four-Dimensional Matrix
p. 558 abstract
Construction of CFC-Programs by LTL-Specification
p. 567 abstract
Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph Problems
p. 576 abstract
Expansion of Self-Similar Functions in the Faber–Schauder System
p. 586 abstract
Asymptotic Expansions of Eigenvalues of the First Boundary-Value Problem for Singularly Perturbed Second-Order Differential Equation with Turning Points
p. 592 abstract
Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate Equation
p. 606 abstract
Numerical Simulation of Adiabatic Shear-Band Formation in Composites
p. 614 abstract
Analytical Solutions for Nonlinear Convection–Diffusion Equations with Nonlinear Sources
p. 621 abstract
Two-Wave Interactions in the Fermi–Pasta–Ulam Model
p. 627 abstract
Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular Function
p. 634 abstract
Dynamics of a System of Two Simplest Oscillators with Compactly Supported Nonlinear Feedbacks
p. 639 abstract
Asymptotics for Solutions of Harmonic Oscillator with Integral Perturbation
p. 645 abstract
Relaxation Oscillations in a System of Two Pulsed Synaptically Coupled Neurons
p. 658 abstract
On the Spatial Boundedness of Cellular RDA-nets
p. 666 abstract
Generation of a Social Network Graph by Using Apache Spark
p. 678 abstract
1-Skeletons of the Spanning Tree Problems with Additional Constraints
p. 682 abstract
On the Minimization Problem for Sequential Programs
p. 689 abstract
Data Rate Assessment on L2–L3 CPU Bus and Bus between CPU and RAM in Modern CPUs
p. 701 abstract
Using Event Logs for Local Correction of Process Models
p. 709 abstract
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
p. 724 abstract
Asymptotic Formula for the Moments of the Takagi Function
p. 731 abstract
Mathematical Model of Nicholson’s Experiment
p. 736 abstract
A Family of Non-Rough Cycles in a System of Two Coupled Delayed Generators
p. 753 abstract
On Numerical Characteristics of a Simplex and Their Estimates
p. 757 abstract
New Estimates of Numerical Values Related to a Simplex
p. 770 abstract
Relaxation Cycles in a Model of Synaptically Interacting Oscillators
p. 783 abstract