This work focuses on the development of models, methods, and tools to increase a fault tolerance of high-performance computing systems. The described models and methods are based on automatic diagnostics of the basic ...
详细信息
This work focuses on the development of models, methods, and tools to increase a fault tolerance of high-performance computing systems. The described models and methods are based on automatic diagnostics of the basic software and hardware components of these systems, the use of automatic localization, correction of faults, and the use of automatic HPC-system reconfiguration mechanisms. The originality and novelty of the offered approach consist of creating the multi-agent system with universal software agents, capable of collecting node state data for analysis and thereby enabling the agent to make the make necessary decisions directly.
Because of increased requirements to the angular resolution of contemporary and perspective orbital telescopes, their large geometric dimensions elastic vibrations of the construction may exert substantial influence o...
详细信息
ISBN:
(纸本)9785900780801
Because of increased requirements to the angular resolution of contemporary and perspective orbital telescopes, their large geometric dimensions elastic vibrations of the construction may exert substantial influence on the quality of information received. In this situation, construction and investigation of the dynamic model of the telescope, which is equipped with an optic-electronic system of high resolution, becomes one of the main stages in its designing. The process of constructing of the mathematical model may be subdivided into the two stages. Stage one implies elaboration of the analytical (computational) model on the stage of system's designing. Stage two implies refining the structure, dimension and parameters of the analytical model. This is done because of the results of testing the article under the conditions, which are ultimately close to real exploitation conditions of the construction. Modeling of weightlessness in the process of testing the total construction on land represents a rather complicated problem [1]. The paper proposes a new approach to the problem of refining parameters of the analytical model based on the data obtained by the measuring system (MS), which allows measuring the current state of the construction in the process of its exploitation. This approach presumes decomposition of the process of adjustment of parameters of the computational model into the two stages. Stage one is the stage of model's identification: determination of its eigenfrequencies and dumping coefficients from the data obtained by the measuring system under the conditions of either real construction's exploitation or experimental exploitation of its field-oriented sample. Stage two, which implies correction of the computational model, presumes refining of its parameters on the basis of results of the identification, while proceeding from the conditions minimal corrections. The technique of correcting the matrices of coefficients of the linear model in the state
We develop a canonical global optimality theory based on operating with the set of solutions for the Hamilton-Jacobi inequalities that parametrically depend on the initial (or final) position. These solutions, called ...
详细信息
Under consideration is some model of magnetic insulation of a vacuum diode. It is represented by a system of two nonlinear ordinary differential equations of the second order. The integrability of the system under stu...
详细信息
Consideration was given to the problem of optimal control of the logic-dynamic systems for which modifications of the early iterative procedures were proposed. Theorems of relaxation of the modified algorithms were pr...
详细信息
In the article we describe the methods for construction of underwater 3D relief (bathymetry) and combining it with the corresponding ground relief (terrain) when the bathymetry information is of much lower quality tha...
详细信息
We formulate the problem of finding a Nash equilibrium point for the non-zero sum three-person game as a nonconvex optimization problem by generalizing Mills's theorem [10]. For solving the problem, we propose the...
详细信息
The canonical theory of the necessary and sufficient conditions for global optimality based on the sets of nonsmooth solutions of the differential Hamilton-Jacobi inequalities of two classes of weakly and strongly mon...
详细信息
Based on the Boolean constraints method several problems of qualitative analysis of bipartite logical networks are solved. The dynamics of the trajectories behavior of these networks is studied over a finite time inte...
详细信息
ISBN:
(数字)9798350382501
ISBN:
(纸本)9798350382518
Based on the Boolean constraints method several problems of qualitative analysis of bipartite logical networks are solved. The dynamics of the trajectories behavior of these networks is studied over a finite time interval. A method is proposed for splitting a bipartite trajectory into two independent trajectories based on deterministic block-sequential updating of the state vectors of each part. Conditions for the existence, isolation and attraction of cyclic trajectories of a given length are obtained as Boolean constraints. The solvability of such equations reduces to the well-known Boolean satisfiability problem, effectual algorithms for solving which provide dynamic analysis for systems with high dimensionality of the state vector over large discrete time intervals. The program modules implementation for building Boolean constraints and checking their feasibility in the form of microservices ensures their reuse, simplification of deployment, updating, and high scalability in the cloud environment. Multi-agent computation management in an applied microservices package provides the non-procedural problem formulation on a distributed model of the subject area, forms and executes a scheme for solving it, and automates the additional resources provision. The practical significance of the obtained results consists in providing the opportunity for a more detailed study of dynamics of the molecular features of gene regulation networks.
The paper discusses the algorithm for the numerical solution of applied optimal control problems in robotics. The proposed algorithm is the Powell method modification, which uses the combined one-dimensional nonlocal ...
详细信息
暂无评论