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

Russia and Pacific Conference on Computer Technology and Applications (RPC)

作者： I.V. Bychkov G.M. Rugnikov R.K. Fedorov Y.V. Avramenko Information Technology and Systems Dept Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781538675328

Currently, most software systems designed to identify objects on raster images are focused on identifying a rigid class of objects. Often for real-world tasks, the capabilities of software systems are not enough. One of the ways to solve the problem is to perform identification in accordance with the user query. The development and implementation of the method for identifying objects on raster images based on the user's knowledge is proposed.

关键词： Object recognition Feature extraction Deformable models Shape Buildings Complexity theory Inference algorithms

来源：评论

学校读者我要写书评

暂无评论

Top quark as resonance: Renormalization and spin effect 21

Top quark as resonance: Renormalization and spin effect

引用

21st International Baldin Seminar on High Energy Physics Problems, ISHEPP 2012

作者： Kaloshin, A.E. Lomov, V.P. Irkutsk State University Irkutsk Russia Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia Irkutsk State Technical University Irkutsk Russia

We suggest the description of the dreßed fermion propagator with parity non-conservation in the form with separated positive and negative energy poles. We found general form of the γ-matrix off-shell projectors and corresponding resonance factors. The parity violation leads to deviation of resonance factors from the naive Breit-Wigner form and to appearance of non-trivial spin corrections. However, for top quark with SM vertex the resonance factor returns to the standard one due to γ/m © Copyright 2012 owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

关键词： Resonance

来源：评论

学校读者我要写书评

暂无评论

Path integral representation for inverse third order wave operator within the Duffin-Kemmer-Petiau formalism.I

arXiv

引用

arXiv 2020年

作者： Markov, Yu.A. Markova, M.A. Bondarenko, A.I. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Department of Physics Tomsk State University Tomsk Russia

Within the framework of the Duffin-Kemmer-Petiau (DKP) formalism with a deformation, an approach to the construction of the path integral representation in parasuperspace for the Green’s function of a spin-1 massive particle in external Maxwell’s field is developed. For this purpose a connection between the deformed DKP-algebra and an extended system of the parafermion trilinear commutation relations for the creation and annihilation operators a±k and an additional operator a0 obeying para-Fermi statistics of order 2 based on the Lie algebra so(2M + 2) is established. On the strength of this connection an appropriate system of the parafermion coherent states as functions of para-Grassmann numbers is introduced. The procedure of the construction of finite-multiplicity approximation for determination of the path integral in the relevant phase space is defined through insertion in the kernel of the evolution operator with respect to para-supertime of resolutions of the identity. The representation for the operator a0 in terms of generators of the orthogonal group SO(2M) correctly reproducing action of this operator on the state vectors of Fock space is obtained. A connection of the Geyer operator a20 with the operator of so-called G-parity and with the CP T -operator η5 of the DKP-theory is established. In the basis of parafermion coherent states a matrix element of the contribution linear in covariant derivative Dµ to the time-dependent Hamilton operator Ĥ(τ), is calculated in an explicit form. For this purpose the matrix elements of the operators a0, a20, the commutators [a0, a±n ], [a20, a±n ], and the product Â[a0, a±n ], where Â ≡ exp（−i23π a0) were preliminary defined. Copyright © 2020, The Authors. All rights reserved.

关键词： Quantum theory

来源：评论

学校读者我要写书评

暂无评论

On Checking controllability of Specification Languages for DES

On Checking Controllability of Specification Languages for D...

引用

Proceedings of the International Convention MIPRO

作者： Artem Davydov Aleksandr Larionov Nadezhda Nagul Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch Russian Academy of Sciences 134 Lermontov str. Irkutsk Russia

ISBN: (数字)9789532330991

ISBN: (纸本)9781728153391

The paper provides further development of the authors' original approach to the representation and properties checking of discrete event systems. The approach suggested is based on the automated inference in the calculus of positively constructed formulas (PCF). Discrete event system is supposed to be modeled in the form of finite automata within the framework of Ramage-Wonham supervisory control theory. It is shown how constructive inference helps to build the product of two finite automata which results in the automaton with accessible states only. Based on the nonmonotonic logical inference of PCF, a new method is presented for checking the controllability of formal languages describing specifications on the functioning of discrete event systems.

关键词： Inference mechanisms Automata Process control Supervisory control controllability Discrete-event systems Specification languages

来源：评论

学校读者我要写书评

暂无评论

Logical-Algebraic Equations Application in Discrete-Event systems Studying

Logical-Algebraic Equations Application in Discrete-Event Sy...

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

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

ISBN: (纸本)9781509025435

Discrete-event systems (DESs) are a wide range of models used primarily to deal with complex technological objects, e.g. communication networks and computer systems. To regulate DES behavior, Ramadge-Wonham supervisory control theory is often used. As usual, only a part of DES's event set is available for supervisor to obtain control pattern. However, sometimes information about the system state is provided by sensors. The issue of correlation between one essential property of supervisors for a DES with state and event observation and for a DES with event observation only is studied using the method of logical-algebraic equations, proved to be very useful in studying various dynamical systems.

关键词： Mathematical model Supervisory control Discrete-event systems Observability system dynamics Communication networks Sensors discrete event systems networks(communications) Supervisory control Observability system dynamics Sensors Mathematical Model DES gene Diethylstilbestrol Telecommunications Supervisors DYNAMICAL systemS

来源：评论

学校读者我要写书评

暂无评论

Infrastructural approach and geospatial data processing services in the tasks of territorial development management 1

Infrastructural approach and geospatial data processing serv...

引用

1st International Geographical Conference of North Asian Countries on China-Mongolia-Russia Economic Corridor: Geographical and Environmental Factors and Territorial Development Opportunities 2018

作者： Bychkov, I.V. Ruzhnikov, G.M. Paramonov, V.V. Shumilov, A.S. Fedorov, R.K. Levi, K.G. Demberel, S. Siberian Branch of Russian Academy of Sciences Irkutsk Scientific Center Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory of Siberian Branch Russian Academy of Sciences Irkutsk Russia Institute of the Earth Crust of Siberian Branch Russian Academy of Sciences Irkutsk Russia Institute of Astronomy and Geophysics Mongolian Academy of Sciences Ulaanbaatar Mongolia

The technology for creating an information and analytical environment (IAE) for spatial data processing based on the use of spatial data infrastructure (SDI) components and a service-oriented paradigm was proposed for the management of territorial development. The environment is characterized by its spatial nature and distribution of territorial information resources. At the same time, emphasis is placed on the transition from a standard SDI, as an access medium for the exchange of spatial data, to an SDI of an integration type, as an environment for access, exchange, creation, storage of new sets of spatial and thematic data and processing services. The use of Service-oriented Architecture (SOA), open standards by OGC (Open Geospatial Consortium), Web technologies, standardization of the browser's interface and Web services, allowed to move from local to distributed and "cloud" computing in which information and computing resources are provided as Web services. The technology for creating an information and analytical environment involves the use of sets (combinations) of thematic Web services with standardized interfaces integrated with standard protocols (SOAP, WSDL, etc.). © Published under licence by IOP Publishing Ltd.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Meta-monitoring system for ensuring a fault tolerance of the intelligent high-performance computing environment 1

Meta-monitoring system for ensuring a fault tolerance of the...

引用

1st International Workshop on Information, Computation, and control systems for Distributed Environments, ICCS-DE 2019

作者： Sidorov, I.A. Sidorova, T.V. Kurzibova, Ya.V. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia Limnological Institute of SB RAS Ulan-Batorskaya St. 3 Irkutsk664033 Russia Irkutsk State University Karl Marks St. 1 Irkutsk664003 Russia

The high-performance computing systems include a large number of hardware and software components that can cause failures. Nowadays, the well-known approaches to monitoring and ensuring the fault tolerance of the high-performance computing systems do not allow to fully implement its integrated solution. The aim of this paper is to develop methods and tools for identifying abnormal situations during large-scale computational experiments in high-performance computing environments, localizing these malfunctions, automatically troubleshooting if this is possible, and automatically reconfiguring the computing environment otherwise. The proposed approach is based on the idea of integrating monitoring systems, used in different nodes of the environment, into a unified meta-monitoring system. The use of the proposed approach minimizes the time to perform diagnostics and troubleshooting through the use of parallel operations. It also improves the resiliency of the computing environment processes by preventive measures to diagnose and troubleshoot of failures. These advantages lead to increasing the reliability and efficiency of the environment functioning. The novelty of the proposed approach is underlined by the following elements: mechanisms of the decentralized collection, storage, and processing of monitoring data;a new technique of decision-making in reconfiguring the environment;the supporting the provision of fault tolerance and reliability not only for software and hardware, but also for environment management systems. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Multi-constraint UAV Fast Path Planning Based on Improved A∗ Algorithm 2

Multi-constraint UAV Fast Path Planning Based on Improved A...

引用

2020 2nd International Conference on Computer Modeling, Simulation and Algorithm, CMSA 2020

作者： Kong, Xiaodi Pan, Bin Cherkashin, Evgeny Zhang, Xiaoyang Liu, Linke Hou, Jian School of Computer and Communication Engineering Liaoning ShiHua University Fushun China School of Science Liaoning ShiHua University Fushun China Matrosov Institute for System Dynamics Control Theoiry of SB RAS Novosibirsk Russia

Path planning is an important part of UAV intelligent control technology. For the current UAV path planning, the A∗ algorithm has a large memory overhead during the planning process, and the search speed is slow. It cannot meet the path planning in a complex three-dimensional environment. The immediacy requirement and considering the constraints are less, this paper made the following improvements to the A∗ algorithm. The first, combining an anytime repair search framework with a weighted A∗ algorithm, it is possible to quickly find a feasible path during the search process. The second, aiming at the defect of relying on low heuristic function weights in the algorithm, a double ranking criterion is proposed to improve the efficiency of the algorithm approaching the optimal path in the iterative process. And third, to reduce the number of node expansions in the planning process, increase list storage constraints have been improved. Finally, the results of simulation experiments show that the improved algorithm proposed in this paper can quickly generate feasible paths, and can continuously optimize the approach to the optimal path within a specified time, which is far superior to the traditional A∗ algorithm in terms of planning efficiency and immediacy. © Published under licence by IOP Publishing Ltd.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

Coordinated Recharging of Heterogeneous Mobile Robot Teams during Continuous Large Scale Missions*

Coordinated Recharging of Heterogeneous Mobile Robot Teams d...

引用

International Conference on control, Decision and Information Technologies (CoDIT)

作者： Maksim Kenzin Igor Bychkov Nikolai Maksimkin Institute for System Dynamics and Control Theory Irkutsk Russia Institute for System Dynamics and Control Theory of Siberian Branch Russian Academy of Sciences Irkutsk Russia

ISBN: (数字)9781728159539

ISBN: (纸本)9781728159546

Currently, the coordinated use of autonomous mobile robot teams seems to be one of the most promising and ambitious technologies to provide an efficient solution to a range of economic, military, and environmental problems. Complex large-scale operations in different vast and dynamic environments usually involve long stay activities of vehicles under the limited battery capacity. Since it is not always possible to replace low-battery robots with functionally equivalent, but fully recharged vehicles on schedule, available charging stations on-site are required for long-term mission success. In this context, a reasonable recharging schedule must be generated to maintain continuous and uninterruptible mission implementation. It should be taken into account, that the real-world multi-vehicle systems are partially self-contained and could be subjected to any malfunctions or unforeseen events and thus should be able to adjust the current strategy autonomously if needed. Summarizing the above, two following problems have to be handled at once: to determine the reasonable recharging order for the team over the extended time and to ensure the possibility of regular communication sessions within the *** this paper, we propose the high-level dynamic mission planner based on the rendezvous point-selection scheme. The idea is to represent a mission as a sequence of time-limited operating periods with final group rendezvous at the end of each period. The planning problem here is to allocate each rendezvous point and assign it to an event of either communication or regrouping (robots leaving the group for recharging or joining the group after recharging) nature to achieve regular recharging in preferably alternate order. While doing this, the group's parametric and functional heterogeneity should be taken into account to ensure the working squad's maximal performance capabilities. We propose the hybrid evolutionary approach to implement the suggested planner using specialized

关键词： Robots Task analysis Schedules Batteries Reliability Vehicle dynamics Robot sensing systems

来源：评论

学校读者我要写书评

暂无评论

Somos-4 equation and related equations

arXiv

引用

arXiv 2023年

作者： Svinin, Andrei K. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences PO Box 292 Irkutsk664033 Russia

The main object of study in this paper is the well-known Somos-4 recurrence. We prove a theorem that any sequence generated by this equation also satisfies Gale-Robinson one. The corresponding identity is written in terms of its companion elliptic sequence. An example of such relationship is provided by the second-order linear sequence which, as we prove using Wajda’s identity, satisfies the Somos-4 recurrence with suitable coefficients. Also, we construct a class of solutions to Volterra lattice equation closely related to the second-order linear sequence. © 2023, CC BY.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：