检索结果-内蒙古大学图书馆

2019 All-Russian Conference "Spatial Data Processing for Monitoring of Natural and Anthropogenic Processes", SDM 2019

作者： Fedorov, Roman K. Rugnikov, Gennadiy M. Avramenko, Yuriy V. Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia Irkutsk scientific center of Siberian Branch of Russian Academy of Sciences Irkutsk Russia Irkutsk state university Irkutsk Russia

To improve the efficiency of the use of remote sensing data in the tasks of managing territorial development, utility services have been implemented that allow us to catalog and simplify the use of methods for analysing remote sensing data as services. Services using reference vector techniques and neural networks of common Unet, FPN, Linknet and PSPNet architectures have been developed. Utility services allow for the regular and automatic processing of remote sensing data, including using scripts that link services and form a single processing process. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Remote sensing

来源：评论

学校读者我要写书评

暂无评论

Axial meson contribution to proton form factors

arXiv

引用

arXiv 2021年

作者： Korchagin, N. Radzhabov, A. Institute of Modern Physics Chinese Academy of Sciences Lanzhou730000 China Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia Irkutsk State University Irkutsk664003 Russia

The effect of axial meson exchange on extraction of proton electromagnetic form factors in ep scattering is calculated. Taking as an example f1(1285) meson exchange, it is quantitatively shown how it affects Rosenbluth and polarization transfer methods. The contribution of an axial meson is negligible in comparison with the traditional box-type two photon exchange and could not be responsible for difference of form factors extracted by different techniques. However, results support the idea that meson exchange could explain deviation of individual polarizations. © 2021, CC BY.

关键词： Hadrons

来源：评论

学校读者我要写书评

暂无评论

Limit shapes of reachable sets for linear impulse control systems

Limit shapes of reachable sets for linear impulse control sy...

引用

作者： Goncharova, Elena Ovseevich, Alexander Institute of System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences 134 Lermontov st. 664033 Irkutsk Russia Institute for Problems in Mechanics Russian Academy of Sciences 101 Vernadsky av. 119526 Moscow Russia

ISBN: (纸本)008045108X

The main purpose of the paper is to study the asymptotic behavior of reachable sets to linear time-invariant impulsive control systems. The issue is analyzed within the framework of shapes of reachable sets. This approach enables an exhaustive description of attractors arising in the space of shapes and the related dynamics. The results are compared with (Ovseevich, 1991;Figurina and Ovseevich, 1999). Copyright © 2005 IFAC.

关键词： Linear control systems

来源：评论

学校读者我要写书评

暂无评论

Analysis of large-time dynamics of the reachable sets to linear control systems 9

Analysis of large-time dynamics of the reachable sets to lin...

引用

2007 9th European control Conference, ECC 2007

作者： Goncharova, Elena Ovseevich, Alexander Institute of System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences 134 Lermontov st. Irkutsk664033 Russia Institute for Problems in Mechanics Russian Academy of Sciences 101 Vernadsky av. Moscow119526 Russia

ISBN: (纸本)9783952417386

For linear time-invariant control systems under two types of constraints on control, geometric bounds and constraints on the total impulse of control, the asymptotic properties of the reachable sets are studied. The reachable sets can be represented as a product of a scaling matrix and a normalized reachable set. The scaling matrix is an elementary function of time, and, in the long run, the normalized reachable set approaches a convex body depending on time quasiperiodically in the impulsive case, and a fixed convex body in the geometric case. © 2007 EUCA.

关键词： Linear control systems

来源：评论

学校读者我要写书评

暂无评论

Third order wave equation in Duffin-Kemmer-Petiau theory: Massive case

引用

Physical Review D 2015年第10期92卷 105017-105017页

作者： Yu. A. Markov M. A. Markova A. I. Bondarenko Institute for System Dynamics and Control Theory SB RAS P.O. Box 1233 664033 Irkutsk Russia

Within the framework of the Duffin-Kemmer-Petiau (DKP) formalism a more consistent approach to the derivation of the third order wave equation obtained earlier by M. Nowakowski [1] on the basis of heuristic considerations is suggested. For this purpose an additional algebraic object, the so-called q-commutator (q is a primitive cubic root of unity) and a new set of matrices ημ instead of the original matrices βμ of the DKP algebra are introduced. It is shown that in terms of these ημ matrices we have succeeded in reducing a procedure of the construction of cubic root of the third order wave operator to a few simple algebraic transformations and to a certain operation of the passage to the limit z→q, where z is some complex deformation parameter entering into the definition of the η-matrices. A corresponding generalization of the result obtained to the case of the interaction with an external electromagnetic field introduced through the minimal coupling scheme is carried out and a comparison with M. Nowakowski’s result is performed. A detailed analysis of the general structure for a solution of the first order differential equation for the wave function ψ(x;z) is performed and it is shown that the solution is singular in the z→q limit. The application to the problem of construction within the DKP approach of the path integral representation in parasuperspace for the propagator of a massive vector particle in a background gauge field is discussed.

关键词： RESEARCH Wave equation Partial differential equations Commutators (Operator theory)

来源：评论

学校读者我要写书评

暂无评论

Agent-based approach to hybrid modeling queuing systems 1

Agent-based approach to hybrid modeling queuing systems

引用

1st International Workshop on Advanced Information and Computation Technologies and systems, AICTS 2020

作者： Feoktistov, A.G. Kostromin, R.O. Basharina, O.Yu. Tchernykh, A. Dmitriev, V.I. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov St. 134 Irkutsk664033 Russia Irkutsk State University Karl Marx St. 1 Irkutsk664003 Russia CICESE Research Center Ensenada-Tijuana Highway Ensenada22860 Mexico Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia

Nowadays, the study of the behavior of social, economic, and technical queuing systems at different stages of their design and operation is a challenge for simulation modeling. The complexity of the dynamic structure of such systems is owing to a number of factors. Among them are a large number of system characteristics and relations between them, the existence of a large spectrum of distribution laws of random events, the need to collect and analyze current data on the system under study, and the presence of various constraints. Moreover, relations can be represented by functional, statistical, ambiguous, or other mappings. Unfortunately, simulation modeling tools are not widespread in designing and applying business processes, unlike other products of information and computation technologies (system of the office administration, warehouse management, etc.). In this regard, we present an approach to developing web-service for simulation modeling of queuing systems. Within the approach, we automate some stages of web-service development and use. To this end, we apply tools that support distributed computing with parameter variations in a heterogeneous environment, which includes virtualized resources. We provide a multi-agent management of computations. The practical use of the tools is shown on the example of developing a web-service for simulation modeling of a typical health and care institution. © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Feedforward control design under input constraints for a tubular reactor model

Feedforward control design under input constraints for a tub...

引用

IEEE Conference on Decision and control

作者： Peter Wieland Thomas Meurer Knut Graichen Michael Zeitz Institute for Systems Theory and Automatic Control University of Stuttgart Germany Chair of System Theory and Automatic Control University of Saarland Saarbrucken Germany Institute for System Dynamics University of Stuttgart Germany

ISBN: (纸本)1424401704

This paper presents a new early-lumping approach of feedforward control design for setpoint change scenarios applied to a tubular reactor modeled by a nonlinear parabolic diffusion-convection-reaction equation. The approach is based on Galerkin's method to obtain a finite-dimensional model and on a recently developed approach to feedforward control design for nonlinear systems under input constraints. The considered finite-time transition between equilibrium points is treated as a two-point boundary value problem. Simulation results for different sets of model parameters illustrate the applicability of the approach

关键词： control design Inductors Moment methods Nonlinear equations Nonlinear dynamical systems Nonlinear systems Differential equations Partial differential equations Force control Trajectory

来源：评论

学校读者我要写书评

暂无评论

Asymptotic behavior of attainable sets of a linear impulse control system

Asymptotic behavior of attainable sets of a linear impulse c...

引用

2004 IFAC Workshop on Generalized Solutions in control Problems, GSCP 2004

作者： Goncharova, E.V. Ovseevich, A.I. Institute of System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences 134 Lermontov st. Irkutsk664033 Russia Institute of Problems in Mechanics Russian Academy of Sciences 101 vernadsky av. Moscow119526 Russia

We study the long term asymptotic behavior of attainable sets and their shapes of linear time-invariant impulse control systems. We give an exhaustive description of attractors arising and the related dynamics. The re... 详细信息

关键词： Linear control systems

来源：评论

学校读者我要写书评

暂无评论

Theorem proving software, based on method of positively-constructed formulae

Theorem proving software, based on method of positively-cons...

引用

Proceedings of the International Convention MIPRO

作者： A. A. Larionov E. A. Cherkashin A. V. Davydov Irkutsk State University Irkutsk Russia Institute of System Dynamics and Control Theory Irkutsk Russia

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.

关键词： Calculus Indexing Software Random access memory Inference algorithms Search problems Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The calculus of positively constructed formulas, its features, strategies and implementation

The calculus of positively constructed formulas, its feature...

引用

Proceedings of the International Convention MIPRO

作者： Alexander Larionov Artem Davydov Evgeny Cherkashin Irkutsk State University Irkutsk Russia Institute for System Dynamics and Control Theory Irkutsk Russia

Originally, the calculus of positively constructed formulas without function symbols was developed by Russian scientists S.N. Vassilyev and A.K. Zherlov by an evolutionary way in describing and solving of control theory problems. This calculus has features which are important, without loss of generality, for control theory applications. Later investigations shown that the calculus has features providing a good possibility to combine the proof procedure and the problem heuristics. Thus, calculus of positively constructed formulas can be characterized both as machine- and human-oriented. In this paper the calculus of positively constructed formulas with function symbols is considered. We provide the proofs of soundness and completeness for this calculus. Features, strategies, and some prototype prover implementation aspects are presented.

关键词： Calculus control theory Prototypes Equations Semantics Electronic mail Educational institutions

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：