This paper addresses a nonlinear partial differential controlsystem arising in population dynamics. The system consist of three diffusion equations describing the evolutions of three biological species: prey, predato...
详细信息
In the framework of the quasipotential method in quantum electrodynamics we calculate corrections to the nuclear structure proportional to r2Nfrom two-photon exchange amplitudes in the fine and hyperfine structure of ...
详细信息
This paper reviews application of modern optimization methods for functionals describing Digital Pre-distortion (DPD) of signals with orthogonal frequency division multiplexing (OFDM) modulation. The considered family...
详细信息
Forecasting of air pollutant concentration, which is influenced by air pollution accumulation, traffic flow and industrial emissions, has attracted extensive attention for decades. In this paper, we propose a spatio-t...
详细信息
Some results of the investigation related to design of a precision stabilization system for a high-orbit space telescope with flexible elements, whose contribution to the inertia tensor reaches 80%, are discussed. The...
Some results of the investigation related to design of a precision stabilization system for a high-orbit space telescope with flexible elements, whose contribution to the inertia tensor reaches 80%, are discussed. The stabilization system represents a combined controlsystem with open and closed control loops, in which the actuators are represented by a gyro system having four control moment gyros and four reactive wheels. The open loop control is employed to orient the telescope’s optical axis to the attraction domain in accordance with the feedback control law. The closed loop is used both in the slewing mode for stabilizing programmed motions and in the basic (fine pointing) mode.
Some continuous selection results for a class of nonconvex-valued maps are obtained. One of them contains Michael's theorem, in the case of a Hilbert codomain. Methods of nonsmooth analysis and Γ-convergence are ...
详细信息
Some continuous selection results for a class of nonconvex-valued maps are obtained. One of them contains Michael's theorem, in the case of a Hilbert codomain. Methods of nonsmooth analysis and Γ-convergence are used.
We calculate the electromagnetic Pauli form factor of quark induced by the nontrivial topological fluctuations of QCD vacuum called instantons. It is shown that such a contribution is significant. We discuss the possi...
详细信息
We calculate the electromagnetic Pauli form factor of quark induced by the nontrivial topological fluctuations of QCD vacuum called instantons. It is shown that such a contribution is significant. We discuss the possible implications of our result in the photon-hadron reactions and in the dynamics of quark-photon interactions in the dense/hot quark matter.
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.
We consider an optimal control problem for a system of local continuity equations on a space of probability measures. Such systems can be viewed as macroscopic models of ensembles of non-interacting particles or homot...
详细信息
Domain Specific Languages (DSL) allows one to raise level of abstraction, improve development productivity, and establish an equitable communication between domain experts and developers. Language-oriented programming...
Domain Specific Languages (DSL) allows one to raise level of abstraction, improve development productivity, and establish an equitable communication between domain experts and developers. Language-oriented programming (LOP) is a new paradigm based on DSL construction, allowing separating domain-specific and technology-specific aspects of a system under development. LOP shares some ideas with model-driven architecture and model-driven development. Spoofax language workbench is used as a primary tool for DSL design, and based on Stratego, a transformation language with programmable rewriting strategies, and Syntax Definition Formalism as language for grammar definition. As an example of DSL a simple textual language for domain modeling is considered. Rewriting rules and strategies are used as an uniform approach to generate, validate DSL code, and make arbitrary abstract syntax tree transformations. Rules for code generation implemented using so called “string interpolation” technique. Source DSL code translated to python code that can be deployed within Django web framework resulting to a web-application with create/update/delete functionality on a corresponding database. Developed DSL is an example of “definition by transformation“ approach. To get real benefits from DSL we need to add more domain specific features in DSL.
暂无评论