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

On the problem of discrete-event systems properties preservation

AIP Conference Proceedings 2017年第1期1798卷

作者： Nadezhda Nagul Igor Bychkov 1Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Science Lermontov str. 134 664033 Irkutsk Russia

The paper presents a novel approach to solving a problem generally arising in studying dynamical systems, namely the problem of a system’s properties preservation under some transformation. Combining algebra, logic and dynamics, the method of logical-algebraic equations (LAE-method) is developed, serving to synthesize criteria for preservation properties of systems connected by special type of morphisms. The LAE-method is applicable to various systems, but we focus on the case of discrete-event systems (DES), which are the systems that evolve in time due to the occurrence of some event sequences. We consider the issues of the LAE-method application to the reduction of supervisor for DES, the problems of DES basic properties, such as observability and controllability, preservation when sensor readings provide information about system’s state and it is available to a supervisor. Decentralized supervisory control is also addressed, in particular, the question whether local supervisors properties are inherited in a global supervisor.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Spin dynamics and magnetic field induced polarization of excitons in ultrathin GaAs/AlAs quantum wells with indirect band gap and type-II band alignment

引用

Physical Review B 2017年第3期96卷 035302-035302页

作者： T. S. Shamirzaev J. Rautert D. R. Yakovlev J. Debus A. Yu. Gornov M. M. Glazov E. L. Ivchenko M. Bayer Rzhanov Institute of Semiconductor Physics Siberian Branch of the Russian Academy of Sciences 630090 Novosibirsk Russia Ural Federal University 620002 Yekaterinburg Russia Experimentelle Physik 2 Technische Universität Dortmund 44227 Dortmund Germany Ioffe Institute Russian Academy of Sciences 194021 St. Petersburg Russia Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences 664033 Irkutsk Russia

The exciton spin dynamics are investigated both experimentally and theoretically in two-monolayer-thick GaAs/AlAs quantum wells with an indirect band gap and a type-II band alignment. The magnetic field induced circular polarization of photoluminescence Pc is studied as function of the magnetic field strength and direction as well as sample temperature. The observed nonmonotonic behavior of these functions is provided by the interplay of bright and dark exciton states contributing to the emission. To interpret the experiment, we have developed a kinetic master equation model which accounts for the dynamics of the spin states in this exciton quartet, radiative and nonradiative recombination processes, and redistribution of excitons between these states as result of spin relaxation. The model offers quantitative agreement with experiment and allows us to evaluate, for the studied structure, the heavy-hole g factor, ghh=+3.5, and the spin relaxation times of electron, τse=33μs, and hole, τsh=3μs, bound in the exciton.

关键词： Electronic structure Excitons Luminescence Semiconductors Spin polarization Spin relaxation

来源：评论

学校读者我要写书评

暂无评论

Software for automated theorem proving based on the calculus of positively constructed formulas

Software for automated theorem proving based on the calculus...

引用

IEEE Conference on Industrial Electronics and Applications (ICIEA)

作者： Igor Bychkov Evgeny Cherkashin Artem Davydov Alexander Larionov Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia Irkutsk National Research Technical University Irkutsk Russia

ISBN: (纸本)9781467386456

A description of the calculus of positively constructed formulas (PCF) and prover based on this calculus is considered. The PCF calculus has been developed by Russian scientists S.N. Vassiliev and A.K. Zherlov by an evolutionary way in describing and solving control theory problems. This calculus has features, which are applicable in control theory. The described implementation of the prover uses several techniques and strategies to improve prover performance. The prover is being tested by means of solving problems from TPTP library. The usage of implemented inference search strategies is also commented in this paper.

关键词： Calculus Joining processes control theory Data structures Libraries Electronic mail Planning

来源：评论

学校读者我要写书评

暂无评论

control flow graph visualization in compiled software engineering

Control flow graph visualization in compiled software engine...

引用

Proceedings of the International Convention MIPRO

作者： Andrey Mikhailov Aleksey Hmelnov Evgeny Cherkashin Igor Bychkov Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences National Research Irkutsk State Technical University Irkutsk Russian Federation

Engineering of the compiled software is an important task in software engineering. One of the stages of the engineering technologies is a construction and analysis of a control flow graphs, which reflect a general structure of algorithms. The paper presents a technique for analyzing and visualizing the control flow graph of a compiled software. The analysis is based on semantically equivalent transformations of the original graph resulting in an abstract node that contains a hierarchy of isolated regions, which then associated with predefined templates resulting a graphical representation. The templates and additional signature data allow one to recognize the high-level programming structures and user statements to construct a flow-chart notation of the original program.

关键词： Visualization Layout Computer languages Image edge detection Shape Software Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Stabilization of Multi-AUV formation with digital control

Stabilization of Multi-AUV formation with digital control

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

作者： S. A. Ul'yanov N. N. Maximkin Institute for System Dynamics and Control Theory / Department of Information Control Systems Irkutsk Russia

ISBN: (纸本)9781509025435

Formation stability problem for a team of autonomous underwater vehicles (AUV) with digital control is investigated. A leader-follower formation control algorithm for multi-AUV system is proposed. Feedback control signal for the follower, which is piecewise constant, is computed on the basis of discrete measurements of the distance and the bearing angle to the leader. A discrete observer for estimation of the derivatives of the distance and the bearing angle are used to improve the control performance. The parameters of the controller and observer are synthesized using a digital control system design method based on the vector Lyapunov functions that allows one to take into account the uncertainties of the plant, measurement errors, and control constraints. Numerical simulations are carried out to demonstrate the effectiveness of the proposed control scheme.

关键词： Observers Digital control Vehicle dynamics Stability analysis Feedback control Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Methods and software tools for computer-aided design of the spacecraft guidance, navigation and control systems

引用

AIP Conference Proceedings 2017年第1期1798卷

作者： Yevgeny Somov Gennady Oparin 1Samara State Technical University Samara 443100 Russia 2Matrosov Institute for System Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk 664033 Russia

We shortly present results on development and employment of the software systems for computer-aided design of the spacecraft guidance. navigation and control systems – modeling, synthesis, nonlinear analysis, simulat...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application of iterative hill climbing to the sound speed profile inversion in underwater acoustics

引用

IOP Conference Series: Materials Science and Engineering 2017年第1期173卷

作者： O Zaikin P Petrov Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia V.I. Il'ichev Pacific Oceanological Institute FEB RAS Vladivostok Russia Far Eastern Federal University Vladivostok Russia

An application of the iterative hill climbing algorithm to the solution of inverse problems of underwater acoustics is discussed. Modal dispersion data extracted from a recording of a pulse acoustical signal is used as the input for the geoacoustic inversion procedure. The mismatch of the dispersion curves extracted from experimental data and computed from a given set of waveguide parameters is minimized over the parameters space. The solution of two test inversion problems is considered. It is shown that the iterative launches of the hill climbing algorithm allow to locate either the global minimum or a local minimum which is reasonably close to the former. In the latter case a reasonable estimate of the waveguide parameters is obtained.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hybrid evolutionary approach to multi-objective mission planning for group of underwater robots 1

引用

8th International Conference on Mathematical Modeling of Technological Processes, CITech 2015

作者： Kenzin, Maksim Bychkov, Igor Maksimkin, Nikolai Matrosov Institute for System Dynamics and Control Theory Lermontov Str. 134 Irkutsk664033 Russia

ISBN: (数字)9783319250588

ISBN: (纸本)9783319250571

We propose a hybrid approach, based on the combined use of genetic algorithms, methods and heuristics of local search, and ant colony optimization to solve the dynamic routing problem for a group of underwater robots. Group’s objective involves visiting a certain set of control points (for the purpose of sampling, taking measurements, photos and videos) according to their priority and under given restrictions. The dynamic routing problem here is to find (planning) and adjust (replanning) feasible group routes for robots, ensuring as far as possible the maximum efficiency of the group work. © Springer International Publishing Switzerland 2015.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Spin dynamics and magnetic-field-induced polarization of excitons in ultrathin GaAs/AlAs quantum wells with indirect band gap and type-II band alignment

arXiv

引用

arXiv 2017年

作者： Shamirzaev, T.S. Rautert, J. Yakovlev, D.R. Debus, J. Gornov, A.Yu. Glazov, M.M. Ivchenko, E.L. Bayer, M. Rzhanov Institute of Semiconductor Physics Siberian Branch of the Russian Academy of Sciences Novosibirsk630090 Russia Experimentelle Physik 2 Technische Universität Dortmund Dortmund44227 Germany Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences Irkutsk664033 Russia Ural Federal University Yekaterinburg620002 Russia Ioffe Institute Russian Academy of Sciences St. Petersburg194021 Russia

The exciton spin dynamics are investigated both experimentally and theoretically in two-monolayer-thick GaAs/AlAs quantum wells with an indirect band gap and a type-II band alignment. The magnetic-field-induced circular polarization of photoluminescence, Pc, is studied as function of the magnetic field strength and direction as well as sample temperature. The observed nonmonotonic behaviour of these functions is provided by the interplay of bright and dark exciton states contributing to the emission. To interpret the experiment, we have developed a kinetic master equation model which accounts for the dynamics of the spin states in this exciton quartet, radiative and nonradiative recombination processes, and redistribution of excitons between these states as result of spin relaxation. The model offers quantitative agreement with experiment and allows us to evaluate, for the studied structure, the heavy-hole g factor, ghh = +3.5, and the spin relaxation times of electron, τse = 33 µs, and hole, τsh = 3 µs, bound in the exciton. Copyright © 2017, The Authors. All rights reserved.

关键词： Excitons

来源：评论

学校读者我要写书评

暂无评论

On the optimization approach to polymatrix games 13

On the optimization approach to polymatrix games

引用

13th International Symposium on Operational Research, SOR 2015

作者： Orlov, Andrei Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia

The problem of numerical finding of a Nash equilibrium in a polymatrix game is considered. Such a game turns out to be equivalent to the solving a nonconvex optimization problem with a bilinear structure in the object... 详细信息

ISBN: (纸本)9789616165457

关键词： Local search (optimization)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：