SovietRxiv · Open Access in English
Rediscovering the Soviet scientific archive, in English
25357 full-text translations 14926 English PDFs 22539 abstracts
Showing 50 of 482 papers in Computer Science & Cybernetics
The paper studies asymptotic integration of linear controlled processes described by integro-differential equations with slowly varying coefficients and small regulator action. Using the slow-time method, it examines the case in which an isolated group of equal eigenvalues of the matrix governing th…
For a system of two nonlinear differential equations $$\frac{dx}{dt}=f(x)+\nu u$$, the question of the reachability of the origin is considered. Here $$x=(\xi,\eta),\quad\frac{dx}{dt}=\biggl(\frac{d\xi}{dt},\frac{d\eta}{dt}\biggr),\quad f(x)=(f_1(\xi,\eta),f_2(\xi,\eta))$$ are variable vectors of th…
The paper considers an automatic control system with a variable structure, described by a system of third-order differential equations, the parameters of which vary within wide limits. A cone located in the phase space of variables $x_1$, $x_2$, $x_3$ is taken as the switching surface. The switching…
The paper studies the applicability of numerical algorithms for linear functional equations that approximate the underlying spaces and operator by finite-dimensional ones and then solve the resulting systems by triangular factorization without reordering. It formulates a correspondence condition lin…
This paper studies optimal control problems for two-parameter discrete systems defined on a rectangular grid, with dynamics involving mixed and one-direction finite differences and a terminal linear cost. Using a discrete adjoint system and summation-by-parts identities, it derives variation formula…
This paper addresses quasi-continuous pulse systems in which time quantization is an intermediate transformation and system quality depends on the continuous useful component and its quantization distortions. It argues that the output of a pulse element can be represented by step Fourier series, who…
This paper studies iterative methods for solving the transcendental equation f(x)=0 under minimal regularity assumptions. It introduces auxiliary functions based on a strictly increasing comparison function g and derives bounds and monotonicity conditions used to locate zeros on intervals to the rig…
This paper describes a class of learning recognition algorithms for separating two disjoint subsets of the vertices of an n-dimensional unit cube, using finite training samples from each set. The method constructs systems of “tubes,” defined by selected essential binary features, centers, and radii,…
The paper addresses the construction of finite difference analogues for multidimensional boundary value problems involving derivatives of arbitrary order, with the aim of achieving prescribed polynomial accuracy using the smallest possible number of grid unknowns. It derives an error representation …
Relay control systems of the form $$x^{(n)}+a_nx^{(n-1)}+\dotsb+a_2\dot{x}+a_1x=u,\\ u=-\operatorname{sign}(x^{(n-1)}+A_{n-1}x^{(n-2)}+\dotsb+A_2\dot{x}+A_1x),$$ are considered, where $x$ is the controlled coordinate; $u$ is the control action; and $a_1,a_2\dots,a_n$ and $A_1,A_2,\dots,A_{n-1}$ are …
The paper considers the well-known problem of the analytical design of a controller for a linear controlled system. However, in contrast to existing developments, this study examines a more complex nonlinear case rather than a quadratic optimality criterion. For the aforementioned criterion, the pro…
This paper addresses the synthesis of adjustment algorithms for a model reference self-tuning control system with time-varying plant coefficients. The system is reduced to an error equation between the controlled object and a reference model, and integral laws for the adjustable regulator coefficien…
The paper considers a third-order dynamical system with a variable structure. The switching surface is defined by a pair of intersecting planes. Necessary and sufficient conditions for the existence of a sliding mode, stability conditions for motion along the switching surface, and necessary and suf…
This paper studies minimax algorithms for locating the unique root of a continuous function on an interval when the function is known only through approximate evaluations with prescribed error bounds and slope constrained between two positive constants. Using dynamic programming ideas, it characteri…
The problem of approximate motion along a given trajectory is considered for the system $$\frac{dy}{dt}=Y(y,t,v)+g(t),$$ where $y$ is an $n$-dimensional vector of phase coordinates, and $v$ is an $r$-dimensional vector of control forces; $Y(y,t,v)$ is a given vector function characterizing the dynam…
This paper studies forced processes in discrete pulsed automatic control systems with finitely many degrees of freedom and a single nonlinear block, represented by nonlinear difference equations with a stable linear part and sector-type restrictions on the nonlinearity. It formulates frequency-domai…
An existence theorem for an optimal control that minimizes the functional $J(u)=\Phi(x(t_1))$ on the trajectories of the system $$\dot{x}(t)=f(x(t),x(t-h(x(t),u(t),t)),u(t),t),\quad x(\tau)=\varphi(\tau),\quad\tau\in S_0.$$ is proved. Bibliography: 5 items.
The paper formulates a general probabilistic definition of stability for the functioning of complex systems described by random processes and parameterized families of functionals. By varying the classes of admissible parameter sets, target function sets, inclusion types, and probability thresholds,…
This paper develops Bayesian optimal learning algorithms for automatic systems trained by a nonideal teacher, whose output may be only a statistical estimate or evaluation rather than the exact required response. It models the system, teacher, and required behavior by conditional decision functions …
This paper addresses the synthesis of autonomous control for multivariable automatic control systems whose controlled coordinates are coupled and whose plant parameters vary over wide ranges. It proposes using variable-structure control, with discontinuous regulator coefficients and sliding modes on…
This paper studies inverse coefficient boundary-value problems in which both the solution of a differential equation and an unknown coefficient are to be determined. It treats a parabolic problem with a time-dependent coefficient and a one-dimensional elliptic problem with an unknown constant coeffi…
The paper formulates a general notion of conditioning for computational problems involving a continuous operator between normed linear spaces, where input data are known only within a prescribed error ball. It defines a condition measure as the maximal ratio of relative output error to relative inpu…
This paper describes an algorithmic approach to four-part harmonization of a given melody, and by extension a bass, within the norms of elementary harmony. It formalizes chord construction through encoded scale degrees, chord types, inversions, doublings, dispositions, and octave placement, then sel…
This paper addresses the lack of a constructive definition for nonlinear pulse automatic systems with time quantization, a class including varied pulse modulation types, nonlinearities, and linear components. Using a system with one nonlinear element as a model, it proposes a general structural repr…
The paper studies the problem of constructing a partition of a finite ordered integer lattice determined by successive maxima of a function, where after each maximum is found all lattice points lying in coordinate planes through it are excluded. It introduces the notion of a k-maximum and builds com…
This paper proposes a method for local image analysis using anisotropic spatial filters to determine the orientation structure of small image regions for automatic reading and recognition. Treating local brightness distributions as mass distributions, it assigns directions from inertia ellipses, imp…
This paper studies Euler-type numerical procedures for computing asymptotically stable solutions of systems of ordinary differential equations while exploiting stability to control accumulated error. Using Lyapunov functions, it proves convergence of variable-step iterative schemes for asymptoticall…
The paper studies an optimal control problem for differential systems with aftereffect, where both the state equation and the integral cost functional may contain variable delays. For a convex, bounded, weakly closed class of summable controls, it formulates a variational necessary condition for a m…
This paper estimates the mean computation time of one-dimensional one-sided iterative systems with combinational cells and delayed side channels, under independent input letters with fixed positive probabilities and a reset initial state. It characterizes the asymptotic behavior by a parameter rho d…
This paper develops a statistical modeling approach for complex cybernetic production systems in which the production process and its control hierarchy must be studied jointly. Using the example of a petroleum refinery with continuous processing units, the authors formalize the enterprise as a self-…
The paper studies bounds for the number of states arising in the optimal determinization of finite orthogonal systems of directed graphs, a construction motivated by automaton synthesis. Extending earlier one graph estimates of Lyubich and Ostrovskii, it proves an upper bound for systems with severa…
The paper presents a method for intermittent pneumatic computation based on the gas equation of state, using pneumatic capacitances to perform basic operations without complex mechanical computing devices. It develops the principle of a pulsating pneumatic resistance, in which alternating contact wi…
This paper studies output controllability for linear nonstationary dynamic systems described by time-varying matrix equations with piecewise-continuous controls. It establishes equivalences between controllability conditions expressed through the fundamental matrix of the homogeneous system and cond…
This paper applies Maslov’s inverse method for establishing derivability to decidable fragments of the classical predicate calculus. It introduces technical notions of decomposable and favorable sets, uses saturation and restricted inverse-method lists, and proves decidability for a class K defined …
The paper studies functional completeness for partial functions in two-valued and many-valued logic under superposition, where undefinedness propagates through composed functions. For partial Boolean functions, it defines eight classes characterized by totality, preservation properties, extensibilit…
This paper proposes a randomized iterative heuristic for large 0,1 integer linear programming problems arising in optimal control and economic planning, where exact methods may be computationally impractical. The method replaces maximization by successive feasibility tests with increasing objective …
This paper addresses the forensic problem of distinguishing similar handwritings, especially genuine and forged signatures, by means of an electronic computer treated as a learning recognition machine. It formalizes handwriting samples as points in a Euclidean handwriting space obtained by metrizing…
This note studies time-optimal control problems in which the admissible control set depends on the phase coordinates and is described by inequality constraints that may change across lower-dimensional subsets of the phase space. Extending sufficiency results related to Boltyanskii’s work on the maxi…
This note studies the block length required to achieve a prescribed absolute redundancy in optimal decodable binary coding of independent source letters with given probabilities. It relates the asymptotic behavior of the redundancy A(n) to arithmetic properties of the logarithmic probability ratios,…
The paper develops a maze solving algorithm on discrete fields for the automatic routing of multilayer printed wiring, building on wave propagation methods in which neighborhood choice defines the discrete topology. It examines alternatives to Manhattan geometry, including triangular, hexagonal, and…
This note studies coefficient-free equations in words over a finite alphabet, with emphasis on nontrivial solutions, defined as solutions not expressible as powers of a single word. It first shows that any finite system of such equations is equivalent, with respect to nontrivial solutions, to a sing…
This paper examines stochastic activity-duration estimates in network planning and control, arguing that standard PERT-style assumptions can give inconsistent distributional specifications and substantial errors in estimating project completion time. It proposes an activity model that yields a beta …
This note studies optimal control problems for stationary linear parabolic systems with distributed parameters, where the control enters through a third boundary condition and the performance criterion depends on the terminal state, or on the terminal state and its gradient. It formulates existence …
This note studies generalized nonerasing Turing machines that write on a square grid rather than a one-dimensional tape, moving horizontally or vertically at each step. It defines computation of partial recursive operators whose input and output alphabets are constrained by fixed minimal and maximal…
The paper develops an asymptotic splitting method for linear automatic control systems with slowly varying coefficients and an arbitrary continuous forcing term regular in a small parameter. Under a spectral separation condition for groups of eigenvalues of the leading matrix, it constructs formal t…
This paper formulates asymptotically optimal control as a model for learning in statistical control systems with unknown object equations and unknown disturbance characteristics. It considers a discrete controlled process and a quality criterion defined by an expected function of output, input, and …
