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 provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory controltheory. The approach suggests a representation of discrete ev...
The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory controltheory. The approach suggests a representation of discrete event system as a positively constructed formula to imply automated logical inference in the calculus of positively constructed formulas. During the inference, languages of the discrete event system are generated and analyzed. The minimally restricting supervisor for uncontrollable specification may be also designed. A nonblocking supervisor design is illustrated with a simplified model of autonomous underwater vehicle operational modes switching.
The article is devoted to multiple circle covering problem for a bounded set in a two-dimensional metric space with a given amount of circles. Such statements arise in the construction of global navigation systems lik...
详细信息
The modern astrophysics is moving towards the enlarging of experiments and combining the channels for detecting the highest energy processes in the Universe. To obtain reliable data, the experiments should operate wit...
详细信息
The issue of ensuring strength reliability remains relevant due to the insurmountable imperfections and/or violations of methods and means of its provision at all stages of the life cycle of Complex Mechanical systems...
The issue of ensuring strength reliability remains relevant due to the insurmountable imperfections and/or violations of methods and means of its provision at all stages of the life cycle of Complex Mechanical systems. The uncertainty of some properties of strength reliability leads to catastrophic failures. To improve the efficiency and quality of the substantiation of properties, we developed a self-organizing information processing technology based on the interaction of logical heuristic procedures. We also identified the main uncertainties and the method for their acceptable neutralization based on additional expert information.
The paper considers the problem of finding low-potential Morse clusters, which reduces to the global minimization of the non-convex potential function. The main difficulty of this class of problems is the astronomical...
The paper considers the problem of finding low-potential Morse clusters, which reduces to the global minimization of the non-convex potential function. The main difficulty of this class of problems is the astronomical increase in the number of local extremums with increasing dimension. We propose algorithms and computational techniques for the study of Morse clusters. Problems with a small, a medium and a large number of atoms are investigated to check the performance of the developed methods. system computational experiments were performed to search for a global extremum in the Morse model of extremely large dimensions (from 241 to 300 atoms). The authors are not aware of other attempts to carry out system computations for Morse clusters of the specified number of atoms.
This paper deals with the implementation of numerical methods for searching for traveling waves for Korteweg-de Vries-type equations with time delay. Based upon the group approach, the existence of traveling wave solu...
详细信息
We discuss recent progress in the development of the three-fluid hydrodynamics-based program THESEUS towards an event generator suitable for applications to heavy-ion collisions at the intermediate energies of the pla...
详细信息
An essential requirement for achieving a high level of performance, autonomy, and reliability of a multi-robot system performing joint long-term operations in an unstructured environment is an advanced controlsystem....
An essential requirement for achieving a high level of performance, autonomy, and reliability of a multi-robot system performing joint long-term operations in an unstructured environment is an advanced controlsystem. In general, the robot's controlsystem is designed to be hierarchical and consists of several subsystems. To unify the interaction of individual components and reduce the load on computing and communication devices, we use the event-based methodology at different levels of the controlsystem. In the paper, we demonstrate how this methodology can be applied to solve four challenging problems in robotics: cooperative formation control, path planning, missions scheduling, and action planning.
暂无评论