


Vol 299, No Suppl 1 (2017)
- Year: 2017
- Articles: 26
- URL: https://journals.rcsi.science/0081-5438/issue/view/10734
Article
Yurii Sergeevich Osipov (On the Occasion of His 80th Birthday)



Discretization of a New Method for Localizing Discontinuity Lines of a Noisy Two-Variable Function
Abstract
We consider the ill-posed problem of localizing (finding the position of) discontinuity lines of a noisy function of two variables. New regularizing methods of localization are constructed in a discrete form. In these methods, the smoothing kernel is varying, which simplifies the implementation of the algorithms. We obtain bounds for the localization error of the methods and for their separability threshold, which is another important characteristic.



Efficiency Optimization for the Cyclic Use of a Renewable Resource
Abstract
We consider a periodic impulse harvesting of a renewable resource distributed in a domain of the arithmetic space and obeying the logistic growth low. We prove that, for a given harvesting effort, there exists an appropriate stationary distribution of the effort in the resource domain providing the maximum efficiency of the harvesting at infinite horizon, where the efficiency is the ratio of the harvesting profit to the total effort applied.



Numerical Solution of the Positional Boundary Control Problem for the Wave Equation with Unknown Initial Data
Abstract
The problem of one-sided boundary Neumann control is considered for the onedimensional wave equation. Information about the initial state of the process is absent. Instead, the values of Dirichlet observations are received in real time at the controlled boundary. The aim is to bring the process to a complete rest by means of positional boundary controls. To solve this problem, we propose an efficient numerical algorithm with an optimal guaranteed damping time. Some results of numerical experiments are presented.



A New Class of Theorems of the Alternative
Abstract
The connection is established between theorems of the alternative for linear systems of equations and/or inequalities and duality theorems in linear programming. We give new versions of theorems of the alternative in which the alternative systems have different matrices of various sizes.



Existence of a Value and a Saddle Point in Positional Differential Games for Neutral-Type Systems
Abstract
For a conflict-controlled dynamical system described by functional differential equations of neutral type in Hale’s form, we consider a differential game with a performance index that estimates the motion history realized up to the terminal time and includes an integral estimation of realizations of the players’ controls. The game is formalized in the class of pure positional strategies. The main result is the proof of the existence of a value and a saddle point in this game.



Control with a Guide in the Guarantee Optimization Problem under Functional Constraints on the Disturbance
Abstract
A motion control problem for a dynamic system under disturbances is considered on a finite time interval. There are compact geometric constraints on the values of the control and disturbance. The equilibrium condition in the small game is not assumed. The aim of the control is to minimize a given terminal performance index. The guaranteed result optimization problem is posed in the context of the game-theoretical approach. In the case when realizations of the disturbance belong to some a priori unknown compact subset of L1 (the space of functions that are Lebesgue summable with the norm), we propose a new discrete-time control procedure with a guide. The proximity between the motions of the system and the guide is provided by the dynamic reconstruction of the disturbance. The quality of the control process is achieved by using an optimal counter-strategy in the guide. Conditions on the equations of motion under which this procedure ensures an optimal guaranteed result in the class of quasi-strategies are given. The scheme of the proof makes it possible to estimate the deviation of the realized value of the performance index from the value of the optimal result depending on the discretization parameter. Illustrative examples are given.



On the Existence of a Lipschitz Feedback Control in a Control Problem with State Constraints
Abstract
We consider a nonlinear control system with state constraints given as a solution set for a finite system of nonlinear inequalities. The problem of constructing a feedback control that ensures the viability of trajectories of the closed system in a small neighborhood of the boundary of the state constraints is studied. Under some assumptions, the existence of a feedback control in the form of a Lipschitz function of the state of the system is proved.



On Graphs in Which Neighborhoods of Vertices Are Strongly Regular with Parameters (85,14,3,2) or (325,54,3,10)
Abstract
J. Koolen posed the problem of studying distance-regular graphs in which neighborhoods of vertices are strongly regular graphs with nonprincipal eigenvalue at most t for a given positive integer t. This problem was solved earlier for t = 3. In the case t = 4, the problem was reduced to studying graphs in which neighborhoods of vertices have parameters (352,26,0,2), (352,36,0,4), (243,22,1,2), (729,112,1,20), (204,28,2,4), (232,33,2,5), (676,108,2,20), (85,14,3,2), or (325,54,3,10). In the present paper, we prove that a distance-regular graph in which neighborhoods of vertices are strongly regular with parameters (85, 14, 3, 2) or (325, 54, 3, 10) has intersection array {85, 70, 1; 1, 14, 85} or {325, 270, 1; 1, 54, 325}. In addition, we find possible automorphisms of a graph with intersection array {85, 70, 1; 1, 14, 85}.



On the Control of a Nonlinear Dynamic System in a Time-Optimal Problem with State Constraints
Abstract
An optimal control problem for a nonlinear dynamic system is studied. The required control must satisfy given constraints and provide the fulfilment of a number of conditions on the current state of the system. For the construction of admissible controls in this problem, we propose an approach based on the ideas of solution of control problems with a guide. The results of numerical simulation are presented.



An Approximation Algorithm for a Problem of Partitioning a Sequence into Clusters with Constraints on Their Cardinalities
Abstract
We consider the problem of partitioning a finite sequence of points in Euclidean space into a given number of clusters (subsequences) minimizing the sum over all clusters of intracluster sums of squared distances of elements of the clusters to their centers. It is assumed that the center of one of the desired clusters is the origin, while the centers of the other clusters are unknown and are defined as the mean values of cluster elements. Additionally, there are a few structural constraints on the elements of the sequence that enter the clusters with unknown centers: (1) the concatenation of indices of elements of these clusters is an increasing sequence, (2) the difference between two consequent indices is lower and upper bounded by prescribed constants, and (3) the total number of elements in these clusters is given as an input. It is shown that the problem is strongly NP-hard. A 2-approximation algorithm that is polynomial for a fixed number of clusters is proposed for this problem.



Approximation Schemes for the Generalized Traveling Salesman Problem
Abstract
The Generalized Traveling Salesman Problem (GTSP) is defined by a weighted graph G = (V,E,w) and a partition of its vertex set into k disjoint clusters V = V1 ∪... ∪ Vk. It is required to find a minimum-weight cycle that contains exactly one vertex of each cluster. We consider a geometric setting of the problem (we call it the EGTSP-k-GC), in which the vertices of the graph are points in the plane, the weight function corresponds to the Euclidean distances between the points, and the partition into clusters is specified implicitly by means of a regular integer grid with step 1. In this setting, a cluster is a subset of vertices lying in the same cell of the grid; the arising ambiguity is resolved arbitrarily. Even in this special setting, the GTSP remains intractable, generalizing in a natural way the classical planar Euclidean TSP. Recently, a \((1.5 + 8\sqrt 2 + \varepsilon )\) -approximation algorithm with complexity depending polynomially both on the number of vertices n and on the number of clusters k has been constructed for this problem. We propose three approximation schemes for this problem. For each fixed k, all the schemes are polynomial and the complexity of the first two is linear in the number of nodes. Furthermore, the first two schemes remain polynomial for k = O(log n), whereas the third scheme is polynomial for k = n − O(log n).



Computational Complexity of the Vertex Cover Problem in the Class of Planar Triangulations
Abstract
We study the computational complexity of the vertex cover problem in the class of planar graphs (planar triangulations) admitting a plane representation whose faces are triangles. It is shown that the problem is strongly NP-hard in the class of 4-connected planar triangulations in which the degrees of vertices are of order O(log n), where n is the number of vertices, and in the class of plane 4-connected Delaunay triangulations based on the Minkowski triangular distance. A pair of vertices in such a triangulation is adjacent if and only if there is an equilateral triangle ∇(p, λ) with p ∈ R2 and λ > 0 whose interior does not contain triangulation vertices and whose boundary contains this pair of vertices and only it, where ∇(p, λ) = p + λ∇ = {x ∈ R2: x = p + λa, a ∈ ∇}; here ∇ is the equilateral triangle with unit sides such that its barycenter is the origin and one of the vertices belongs to the negative y-axis. Keywords: computational complexity, Delaunay triangulation, Delaunay TD-triangulation.



Stabilizers of Vertices of Graphs with Primitive Automorphism Groups and a Strong Version of the Sims Conjecture. III
Abstract
This is the third in a series of papers whose results imply the validity of a strong version of the Sims conjecture on finite primitive permutation groups. In this paper, the case of primitive groups with simple socle of classical nonorthogonal Lie type and nonparabolic point stabilizer is considered.



Some Facts about the Ramsey Model
Abstract
In modeling the dynamics of capital, the Ramsey equation coupled with the Cobb–Douglas production function is reduced to a linear differential equation by means of the Bernoulli substitution. This equation is used in the optimal growth problem with logarithmic preferences. The study deals with solving the corresponding infinite horizon optimal control problem. We consider a vector field of the Hamiltonian system in the Pontryagin maximum principle, taking into account control constraints. We prove the existence of two alternative steady states, depending on the constraints. This result enriches our understanding of the model analysis in the optimal control framework.



On the Asymptotics of a Solution to an Elliptic Equation with a Small Parameter in a Neighborhood of an Inflection Point
Abstract
We study the asymptotic behavior of the first boundary value problem for a secondorder elliptic equation in the case where the small parameter is a factor at only one of the higher derivatives and the limit equation is an ordinary differential equation. Although the limit equation is of the same order as the original one, the problem under consideration is bisingular. We investigate the asymptotic behavior of this problem using the method of matched asymptotic expansions.






A Study of the Generalized Pontryagin Test Example from the Theory of Differential Games
Abstract
A generalization of L.S.Pontryagin’s test example from the theory of differential games is considered. The study is based on Pontryagin’s first direct method, which was developed for the constructive solution of linear pursuit–evasion differential games of kind.



Duality and Correction of Inconsistent Constraints for Improper Linear Programming Problems
Abstract
We continue the study of approximation properties of alternative duality schemes for improper problems of linear programming. The schemes are based on the use of the classical Lagrange function regularized simultaneously in primal and dual variables. The earlier results on the connection of its saddle points with the lexicographic correction of the right-hand sides of constraints in improper problems of the first and second kind are transferred to a more general type of improperness. Convergence theorems are presented and an informal interpretation of the obtained generalized solution is given.



Open Ultrafilters and Separability with the Use of the Operation of Closure
Abstract
We study ultrafilters of topologies as well as sets of ultrafilters that each time dominate the open neighborhood filter of some fixed point in a topological space. The sets of ultrafilters are considered as “enlarged points” of the original space. We study conditions that provide the distinguishability of (enlarged) “points” of this type. We use nontraditional separability axioms and study their connection with the known axioms T0, T1, and T2.



On the Choice of Parameters in the Residual Method for the Optimal Correction of Improper Problems of Convex Optimization
Abstract
For the correction of improper problems of convex programming, the residual method is used, which is the standard regularization procedure for ill-defined optimization models. We propose new iterative implementations of the residual method, in which the constraints of the problem are included by means of penalty functions. New convergence conditions are established for algorithmic schemes, and estimates are found for the approximation error.



The Method of Characteristics in an Identification Problem
Abstract
We consider the problem of identifying the parameters of a dynamic system from a noisy history of measuring the phase trajectory. We propose a new approach to the solution of this problem based on the construction of an auxiliary optimal control problem such that its extremals approximate the measurement history with a given accuracy. Using the solutions of the corresponding characteristic system, we obtain estimates for the residual, which is the difference between the coordinates of the extremals and the measurements of the phase trajectory. An estimate for the result of identifying the parameters of the dynamic system is obtained. An illustrative numerical example is given.



On Estimating the Error of an Approximate Solution Caused by the Discretization of an Integral Equation of the First Kind
Abstract
We study a regularization algorithm for the approximate solution of integral equations of the first kind. This algorithm includes a finite-dimensional approximation of the problem. More exactly, the integral equation is discretized in two variables. An error estimate of the algorithm is obtained with the use of the equivalence of the generalized discrepancy method and the generalized discrepancy principle.



On the Local Structure of Mathon Distance-Regular Graphs
Abstract
We study the structure of local subgraphs of distance-regular Mathon graphs of even valency. We describe some infinite series of locally Δ-graphs of this family, where Δ is a strongly regular graph that is the union of affine polar graphs of type “–,” a pseudogeometric graph for pGl(s, l), or a graph of rank 3 realizable by means of the van Lint–Schrijver scheme. We show that some Mathon graphs are characterizable by their intersection arrays in the class of vertex-transitive graphs.



Theorems on the Separability of α-Sets in Euclidean Space
Abstract
We study α-sets in Euclidean space ℝn. The notion of α-set is introduced as a generalization of a convex closed set in ℝn. This notion appeared in the study of reachable sets and integral funnels of nonlinear control systems in Euclidean spaces. Reachable sets of nonlinear dynamic systems are usually nonconvex, and the degree of their nonconvexity is different in different systems. This circumstance prompted the introduction of a classification of sets in ℝn according to the degree of their nonconvexity. Such a classification stems from control theory and is presented here in terms of α-sets in ℝn.



A Variant of the Dual Simplex Method for a Linear Semidefinite Programming Problem
Abstract
A linear semidefinite programming problem in the standard statement is considered, and a variant of the dual simplex method is proposed for its solution. This variant generalizes the corresponding method used for linear programming problems. The transfer from an extreme point of the feasible set to another extreme point is described. The convergence of the method is proved.


