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

35th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2012

作者： Cherkashin, E.A. Terehin, I.N. Paramonov, V.V. Tertychniy, V.S. Institute of System Dynamics and Control Theory SB RAS Irkutsk Russia Institute of Mathematics Economics and Computer Science Irkutsk State University Irkutsk Russia Irkutsk State Technical University Irkutsk Russia

ISBN: (纸本)9789532330724

The software development process is represented as propagation of the differences (modifications) within a set of models representing the software under development. The theory of system of complexes (configurations) is used to represent the model set of the software under development. The target of the research is to construct an approach to describe the process of the difference propagation as a basis of a corresponding instrumental environment for software development. The work extends the present MDA (Model Driven Architecture) approach. © 2012 MIPRO.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Volterra Series Models for Nonlinear Automatic control systems

Volterra Series Models for Nonlinear Automatic Control Syste...

引用

International Russian Automation Conference (RusAutoCon)

作者： Svetlana Solodusha Evgeniia Markova Yuliya Kokonova Melentiev Energy Systems Institute SB RAS Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk National Research Technical University

ISBN: (数字)9798350349818

ISBN: (纸本)9798350349825

The paper presents algorithms for constructing nonlinear integral models based on the Volterra series tool. Modeling of dynamic processes means assessing the response to possible external changes in real time. The vector of input signals may include measured influences and control actions to be identified based on an analysis of the current state. We use identification algorithms based on the theory of Volterra polynomial equations of the first kind. An approach to the approximate solution to selected types of nonlinear systems of Volterra integral equations using the Newton-Kantorovich method is presented. We use the numerical solution to the corresponding linear system of equations as a trial solution. Calculation schemes obtained with help the standard quadrature methods are given.

关键词： Heuristic algorithms Integral equations Mathematical models Polynomials Vectors Real-time systems Power systems Numerical models Standards Resistance heating

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Intrinsic multipole moments of non-Gaussian wave packets

引用

Physical Review A 2019年第2期99卷 022103-022103页

作者： Dmitry Karlovets Alexey Zhevlakov Faculty of Physics Tomsk State University Lenina Avenue 36 634050 Tomsk Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov Street 134 664033 Irkutsk Russia

Charged wave packets with non-Gaussian spatial profiles are shown to possess intrinsic multipole moments. The magnetic dipole moment and the electric quadrupole moment are found for a wide class of packets, including the vortex electrons with orbital angular momentum ℓ, the Airy beams, the so-called Schrödinger-cat states, and their generalizations. For the packets with no phase vortices, the electric quadrupole moment is shown to grow quadratically with the packet's width |Qαβ|∼eσ⊥2, while it is also |ℓ| times enhanced for the vortex beams. For available beams of electron microscopes, these multipole moments are relatively easily adjusted and can be quite large, which affects the packets' electromagnetic fields and also allows one to develop new diagnostic tools for materials science, atomic and molecular physics, nuclear physics, and so forth.

关键词： Electron beams & optics Quantum formalism Angular momentum Electric moment Magnetic moment

来源：评论

学校读者我要写书评

暂无评论

Logical Approach for Intelligent control of Multiagent systems

Logical Approach for Intelligent Control of Multiagent Syste...

引用

Computational Engineering in systems Applications, CESA, IMACS Multiconference on FLAGGED

作者： N. N. Maksimkin A. V. Davydov S. N. Vassilyev A. K. Zherlov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

This paper describes the facilities for intelligent control of underwater and other moving objects and their groups. An approach to devising the upper level of control systems for the said objects is developed. Action... 详细信息

关键词： Intelligent control Multiagent systems Intelligent agent control systems Artificial intelligence Intelligent vehicles Intelligent robots Production systems systems engineering and theory Vehicle dynamics

来源：评论

学校读者我要写书评

暂无评论

How To Classify Document Segments Using Graph Based Representation and Neural Networks

How To Classify Document Segments Using Graph Based Represen...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Daniil Kopylov Andrey Mikhaylov Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of the Russian Academy of Sciences Irkutsk Russian Federation Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russian Federation

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

Bottom-up segmentation approaches, where words are combined into lines, lines into paragraphs, etc., are well-known nowadays. In this work, we use this principle for classification of segments. The features of the blocks that make up a segment and their relationships can be sufficient for classification. Our approach combines a specific choice of features that increases explainability by employing the generalizing ability of neural networks. This work presents an intermediate result, but, nevertheless, the 0.793 classification accuracy on the part of PubLayNet indicates the competitive potential of the approach. It is expected that, similar to the transition from MLP to CNN for MNIST, the transition from vector representation at our stage to GCN at the planned stage will allow us to achieve good results in document classification.

关键词： Image segmentation Accuracy Conferences Neural networks Layout Vectors

来源：评论

学校读者我要写书评

暂无评论

Methods of proving, hypothesizing and time reasoning for real-time control of moving objects

Methods of proving, hypothesizing and time reasoning for rea...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： S. Vassilyev Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

A framework for intelligent real-time control is discussed, and some new logical methods are reviewed in light of this framework. The topics discussed include knowledge representation and automated reasoning. The main... 详细信息

关键词： control systems Automatic control Artificial intelligence Real time systems Lighting control Intelligent control control theory Fuzzy logic Knowledge representation Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Automating the Identification of Mechanical systems' Technical State Using Case-Based Reasoning

Automating the Identification of Mechanical Systems' Technic...

引用

International IEEE Conference on Intelligent systems, IS

作者： Olga A. Nikolaychuk Alexander Y. Yurin Institute of System Dynamics and Control Theory SB RAS Irkutsk Russia

The paper considers application of the case-based reasoning paradigm for solving of the problem related to computer-aided identification of technical states for mechanical systems employed in petrochemistry. The results of investigation are: case models corresponding to the concept of "incident" (known from the practice of reaching reliability) and reflecting the properties and states of mechanical systems; an algorithm of case retrieval; the architecture and software for computer-aided identification of technical states for mechanical systems

关键词： Mechanical systems Software safety Application software Aging Degradation Manufacturing processes Intelligent systems Mechanical factors Software algorithms Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Nonlinear classes of problems of environmental activity optimal control

Nonlinear classes of problems of environmental activity opti...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： A.A. Moskalenko A.I. Moskalenko S.N. Vassilyev Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

We consider a set of optimization problems for dynamic models concerned with natural protection activity of enterprises (as environmental polluters) and an administrative center. Some solution methods are proposed. It is based on nonlinear transformation of the corresponding complex models into auxiliary problems of optimal control which are easier for solving.

关键词： Optimal control Protection Production Pollution control Nonlinear dynamical systems Biological system modeling Economic forecasting Environmental economics control theory Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Temporal reasoning on the basis of new logic for intelligent control

Temporal reasoning on the basis of new logic for intelligent...

引用

IEEE International Symposium on Intelligent control (ISIC)

作者： S.N. Vassilyev Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

New logical apparatus for intelligent control is proposed. The problem of temporal reasoning on the basis of this apparatus with application to mobile objects is considered.

关键词： Logic Intelligent control Calculus control theory Application software Current control Real time systems Power system planning Inference mechanisms Production systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：