Academician ***'s scientific contribution to the development of A.M. Lyapunov stability theory is considered. His research results and teaching activity on stability, nonlinear dynamics and control in aerospace sy...
详细信息
Academician ***'s scientific contribution to the development of A.M. Lyapunov stability theory is considered. His research results and teaching activity on stability, nonlinear dynamics and control in aerospace systems are shortly presented.
The software development process is represented as propagation of the differences (modifications) within a set of models representing the software under development. The theory of system of complexes (configurations) ...
详细信息
The software development process is represented as propagation of the differences (modifications) within a set of models representing the software under development. The theory of system of complexes (configurations) is used to represent the model set of the software under development. The target of the research is to construct an approach to describe the process of the difference propagation as a basis of a corresponding instrumental environment for software development. The work extends the present MDA (Model Driven Architecture) approach.
The paper presents logical derivation algorithms that can be applied to inversion of polynomially computable discrete functions. The proposed approach is based on the fact that it is possible to organize DPLL derivati...
详细信息
Sufficient and necessary global optimality conditions for nonlinear impulsive dynamic optimization problems with endpoint constraints are obtained. Proofs of these results are based on Hamilton-Jacobi canonical optima...
The article is devoted to the formalization of investigation processes of substances by means of the X-ray fluorescence analysis (XRF). The research is aimed at solving the problem of automation of the analytical inve...
详细信息
A logic-syntactic method of object recognition on images is proposed that is based on logical inference with use of the structural description of objects. The search for boundaries of objects on the image is performed...
详细信息
An algorithm for page layout analysis (segmentation) is suggested in the paper. It allows whitespace between text blocks to be detected on a document page. The algorithm could be used in document analysis and recognit...
详细信息
We consider an optimal control problem for an impulsive hybrid dynamic system, where jumps of a trajectory may occur only at the moments of hitting a given closed set. A time reparameterization technique is applied to...
详细信息
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 ...
详细信息
暂无评论