A system of nonlinear parabolic differential equations is being studied, considered as a distributed mathematical model of the process of examining three-dimensional space by interacting robots of two types. Parametri...
A system of nonlinear parabolic differential equations is being studied, considered as a distributed mathematical model of the process of examining three-dimensional space by interacting robots of two types. Parametric families of exact solutions have been built that can be used to form the control of the survey process by creating the necessary densities at the border of the area that is the base for robots.
We propose a general approach to analysis and control of dynamical behavior of an automata network. The properties of connectness, reachability and optimality under phase constraints and/or persistently acting perturb...
详细信息
We propose a general approach to analysis and control of dynamical behavior of an automata network. The properties of connectness, reachability and optimality under phase constraints and/or persistently acting perturbations are considered. We reduce automata model complexity by means of model transformations in a class of logical functions. These functions play an important part in our theory and act as Lyapunov functions in stability theory or homomorphisms in automata theory. In terms of these logical functions criteria of existence of above mentioned properties are formulated. Constructive algorithms of generating the logical functions satisfying the criteria as well as examples of their application are described.
In this paper, we develop a global search method for finding a Nash equilibrium in a hexamatrix game (polymatrix game of three players). The method, on the one hand, is based on the equivalence theorem of the problem ...
In this paper, we develop a global search method for finding a Nash equilibrium in a hexamatrix game (polymatrix game of three players). The method, on the one hand, is based on the equivalence theorem of the problem of finding a Nash equilibrium in the game and a special mathematical optimization problem, and, on the other hand, on the usage of Global Search theory for solving the latter problem. The efficiency of this approach is demonstrated by the results of computational testing.
We have developed the Hamiltonian theory for collective longitudinally polarized colorless excitations (plasmons) in a high-temperature gluon plasma using the general formalism for constructing the wave theory in nonl...
详细信息
A new way of formalizing and solving various control problems for the important class of dynamic systems known as DES is suggested. The formalization is based on the original first-order logic calculus of the positive...
A new way of formalizing and solving various control problems for the important class of dynamic systems known as DES is suggested. The formalization is based on the original first-order logic calculus of the positively-constructed formulas (PCF). A PCF-based algorithm for checking the co-observability property of a specification language restricting DES behavior is presented. Co-observable languages serve as specifications for the decentralized supervisors, which are necessary to implement group control tasks. The approach is demonstrated on the example of a discrete-event model of an autonomous underwater vehicle, which describes AUV’s high-level operation modes switching while following the leader, in a surveillance mission, performed by the AUV group.
The conditional gradient idea proposed by Marguerite Frank and Philip Wolfe in 1956 was so well received by the community that new algorithms (also called Frank-Wolfe type algorithms) are still being actively created....
详细信息
We study the long term asymptotic behavior of attainable sets and their shapes of linear time-invariant impulse controlsystems. We give an exhaustive description of attractors arising and the related dynamics. The re...
详细信息
We study the long term asymptotic behavior of attainable sets and their shapes of linear time-invariant impulse controlsystems. We give an exhaustive description of attractors arising and the related dynamics. The results are compared with [4], [3].
This paper describes a platform approach to the organization of digital environmental monitoring of the forest resources of the Baikal natural territory (BNT), some characteristics of the current state of forests in t...
This paper describes a platform approach to the organization of digital environmental monitoring of the forest resources of the Baikal natural territory (BNT), some characteristics of the current state of forests in the BNT and schemes of organization of state environmental monitoring in a traditional format. Some features and problems of forest resources monitoring of the BNT that complicate decision-making are formulated. Some basic requirements for digital forest monitoring and types of digital platforms of different levels are considered.
The paper presents an approach to the numerical investigation of the problems of finding a global optimum of multiextremal functions, based on the use of bioinspired and local search methods. Three combined non-convex...
The paper presents an approach to the numerical investigation of the problems of finding a global optimum of multiextremal functions, based on the use of bioinspired and local search methods. Three combined non-convex optimization algorithms are proposed and implemented. As globalized bioinspired methods, differential evolution, harmony search, and firefly methods are used. For local descents, we used the L-BFGS method. The numerical study of modifications of the implemented approach has been carried out using known non-convex test functions. The developed algorithms have been applied to investigate the problem of the optimal orientation of the aircraft in space. The obtained numerical results allowed us to demonstrate the efficiency of the proposed algorithms.
The study outlines the concept of the structure of heat sources of developing heating systems and states the problem of searching through structures of heat sources of maximum redundancy for the optimal one. As one of...
The study outlines the concept of the structure of heat sources of developing heating systems and states the problem of searching through structures of heat sources of maximum redundancy for the optimal one. As one of the techniques of solving this problem, the authors propose to split the process of designing heating systems into multiple stages. Within the scope of the above-stated problem, the difficult part is the need to create an automated system to solve the entirety of problems arising at these stages and to reconcile them with each other. We provide a brief overview of the the available software package that we propose to integrate into the process of solving and we underline the complex nature of the interaction of individual software components between each other. The authors propose an approach in the form of the computational experiment setup that enables to consistently coordinate computational procedures with each other. The approach is based on the concept of the energy hub as its theoretical backbone, while in terms of the software implementation it is an instance of an automated information system.
暂无评论