The light-by-light contribution from the lightest neutral pseudoscalar mesons to the anomalous magnetic moment of muon is calculated in the framework nonlocal SU(3) × SU(3) quark model. The model is based on four...
Abstract 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 canonic...
Abstract 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 optimality theory. As consequence, a Maximum Principle reverse into sufficient optimality conditions is proposed.
For the operation of spin information swapping in the system of two vertically superposed layers of tunnel-coupled semiconductor quantum points, a problem of optimization of the time function of control voltage pulse ...
详细信息
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...
详细信息
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 investigations in the XRF, which suppose to increases the productivity of the analyst and the accuracy of determining the concentration of elements in samples. Decomposition of information processes has been represented in the IDEF0 standard as a hierarchy of the core activities. Based on the decomposition the information model of the domain is developed. The model is represented as UML-diagrams adapted to MDA (Model Driven Architecture) based generative programming tools. These tools allow one to transform the model automatically into a skeleton of information system for XRF techniques automation.
Under study are the systems of quasilinear time-delay differential equations with parameters and periodic coefficients. Some sufficient conditions are derived for asymptotic stability of the zero solution, and the est...
详细信息
Stability of nonlinear switched systems is discussed. A method of constructing the common (scalar and vector) Lyapunov functions is proposed for switched systems whose equations have homogenous right-hand sides and fo...
详细信息
Abstract This paper is devoted to the study of invariance for nonlinear dynamical controlsystems with trajectories of bounded variation and impulsive controls. The definitions and proximal characterization of strong ...
详细信息
Abstract This paper is devoted to the study of invariance for nonlinear dynamical controlsystems with trajectories of bounded variation and impulsive controls. The definitions and proximal characterization of strong and weak invariance adapted to the nonlinear impulsive controlsystems are presented.
Abstract 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 a...
详细信息
Abstract 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 reduce the original problem to the one with bounded controls. We show that the reparameterized problem is equivalent to optimization in a class of generalized solutions to the impulsive hybrid system. Necessary conditions for optimality of generalized control processes are obtained by interpreting the Maximum Principle in the reduced problem.
Hybrid mechanical systems with switched force fields, whose motions are described by differential second-order equations are considered. We propose two approaches to solving problems of analysis of stability and stabi...
详细信息
The language of positively constructed formulae and its calculus are described in this paper. The results of a software system development for automated theorem proving in the calculus are presented. The implementatio...
详细信息
The language of positively constructed formulae and its calculus are described in this paper. The results of a software system development for automated theorem proving in the calculus are presented. The implementation of the algorithms is based on different techniques for improving system performance and reduction of the amount of used memory. A number of strategies have been implemented as well.
暂无评论