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

Information Technology and Nanotechnology (ITNT), International Conference on

作者： Nikita O. Dorodnykh Aleksandr B. Stolbov Olga O. Nikolaychuk Aleksandr Yu. Yurin Siberian Branch of the Russian Academy of Sciences (ISDCT) Matrosov Institute for System Dynamics and Control Theory Irkutsk Russia Irkutsk Branch (MSTUCA) Moscow State Technical University of Civil Aviation Irkutsk Russia

One of the trends in the development of information technologies and artificial intelligence is intelligent assistants in the form of chatbots or voice assistants, which are actively beginning to be implemented in various domains. In this paper, the modeling and software implementation of a chatbot to support technical personnel in diagnosing aircraft malfunctions are considered. The models of the dialog, elements of the knowledge base implementation, as well as an example of its operation, are described. The constructed models are considered as content ontological patterns and describe the object of the study, the malfunction, and the relationships between the signs of the malfunction and its causes. These templates are used in the design of a knowledge base, containing logical rules presented in the form of decision tables of a special type. The novelty of the proposed solution is the use as a methodological basis of the principles of model-driven development in the context of creating problem-specific virtual assistants.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Construction techniques of Baikal microbiome research information-computational environment 1

Construction techniques of Baikal microbiome research inform...

引用

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

作者： Cherkashin, E.A. Shigarov, A.O. Matrosov Institute for System Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk Russia Irkutsk Scientific Center Siberian Branch Russian Academy of Sciences Irkutsk Russia

A toolset and model data sources for research and developing an environment for Next Generation Sequencing data processing are considered in the paper. The environment is constructed on the base of model transformations targeted to industrial grade systems allowing domain specialists to carry on the Next Generation Sequencing research, which includes genetic data processing, visualization, and data integration. The integration allows one to get rid of restrictions imposed by an application library by its operation set and properties. The technique of the transformation is based on Model Driven Architecture principles and logical inference of the derived models and the code. The current results and the future fork are presented and discussed. © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

On Search for All Roots of a system of Quadratic Equations 12th

On Search for All Roots of a System of Quadratic Equations

引用

12th International Conference on Optimization and Applications, OPTIMA 2021

作者： Gruzdeva, Tatiana V. Khamisov, Oleg V. Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov Street Irkutsk664033 Russia Melentiev Energy Systems Institute of SB RAS 130 Lermontov Street Irkutsk664033 Russia

ISBN: (纸本)9783030910587

We propose an approach to finding the roots of systems of quadratic equations in a box. This approach is based on a reduction to an auxiliary optimization problem. The auxiliary problem turns out to be, in general, a nonconvex optimization problem, with the objective function and inequality constraints given by d.c. functions. We use the linearization technique with respect to the basic nonconvexity and box partition procedure to try to find all solutions of the system or proof that there are no solutions in the box. The results of the computational simulation are given. © 2021, Springer Nature Switzerland AG.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Optimization in a traffic flow model as an inverse problem in the Wasserstein space

引用

IFAC-PapersOnLine 2022年第16期55卷 32-37页

作者： Roman Chertovskih Fernando Lobo Pereira Nikolay Pogodaev Maxim Staritsyn Research Center for Systems and Technologies (SYSTEC) Faculdade de Engenharia Universidade do Porto Portugal Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia

We address an inverse problem for a dynamical system in the space of probability measures, namely, the problem of restoration of the time-evolution of a probability distribution from certain given statistical information. The dynamics of the distribution is described by a nonlocal continuity equation in the Wasserstein space of probability measures. For the simplest version of this problem, associated with a toy one-dimensional model of traffic flow, we derive a necessary optimality condition and design, on its base, a numerical algorithm of the type of gradient descent. We also discuss some technical aspects of the realization of the elaborated algorithm, and present the results of computational experiments implementing an eloquent numeric scenario.

关键词： Nonlocal continuity equation Wasserstein space inverse problems traffic flow models gradient descent pseudospectral methods

来源：评论

学校读者我要写书评

暂无评论

PyTabby: A Docreader’s module for extracting text and tables from PDF with a text layer 4

PyTabby: A Docreader’s module for extracting text and table...

引用

4th Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2021

作者： Mikhailov, Andrey A. Shigarov, Alexey Kozlov, Ilya S. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk664033 Russia Ivannikov Institute for System Programming of Russian Academy of Sciences 25 Alexander Solzhenitsyn St. Moscow109004 Russia

This paper presents a complete solution for extraction of textual information and tables from PDF with a text layer. The presented solution consist of two parts: PyTabby is a tool for extracting text and tables from PDF with a complex background and layout, and Python wrapper module for Docreader tool. The PyTabby tool extracts text and tables from the low level representation of the PDF format. It enables employment of the additional information excluded in scanned documents and provides improvement of quality and performance compared with Optical Character Recognition (OCR) methods. The presented solution is incorporated into Docreader tool to parse PDF files with a text layer and is used as a part of the TALISMAN technology for social analytics. © 2021 Copyright for this paper by its authors.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

Algorithm for the Numerical Solution of Optimal control Problems in Robotic systems 12th

Algorithm for the Numerical Solution of Optimal Control Pro...

引用

12th International Conference on Optimization and Applications, OPTIMA 2021

作者： Sorokovikov, Pavel Gornov, Alexander Strelnikov, Alexander Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov Street 134 Irkutsk664033 Russia Irkutsk National Research Technical University Lermontov Street 83 Irkutsk664074 Russia

ISBN: (纸本)9783030910587

The paper discusses the algorithm for the numerical solution of applied optimal control problems in robotics. The proposed algorithm is the Powell method modification, which uses the combined one-dimensional nonlocal search algorithm developed by the authors based on the Strongin and parabolas methods as an auxiliary one. The developed algorithm is implemented in C language and integrated within a single software package. The obtained using the proposed algorithm solutions of two problems are presented: the problem of the optimal control of the mobile robot and the task of the industrial robot arm control. All the obtained solutions found a meaningful interpretation. © 2021, Springer Nature Switzerland AG.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties

Service-oriented Application for Solving Parametric Synthesi...

引用

Proceedings of the International Convention MIPRO

作者： G.A. Oparin V.G. Bogdanova A.A. Pashinin Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

A constructive logical method for the synthesis of the characteristic matrix of a linear binary dynamical system with a given set of one-point attractors and one-step dynamics of reaching this set from any state is proposed. The problem conditions are written as a quantified Boolean formula with subsequent verification of its truth using the QSAT solver. This solver provide the values of the elements of the required matrix as a certificate. The proposed method implementation is performed using automation tools for constructing and executing composite services in an applied microservices package for solving problems of qualitative research of binary dynamic systems. These tools provide cloud services for getting a quantified Boolean formula in QDIMACS format, verifying its truth, getting a constructive solution to the considered problem, and supporting synchronization of cloud and local data in a hybrid cloud infrastructure using Dew Computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application of software tools for symbolic description and modeling of mechanical systems 2

Application of software tools for symbolic description and m...

引用

2nd International Workshop on Information, Computation, and control systems for Distributed Environments, ICCS-DE 2020

作者： Banshchikov, Andrei Vetrov, Alexander Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

The paper presents two software tools (graphical editor and software package). The editor is designed for the formation of a symbolic description of a mechanical system using the Lagrange formalism. A system of the absolutely rigid bodies connected by joints is considered as a mechanical system. The editor is a user interface by which one sets the structure of the interconnection of bodies (system configuration) as well as the geometric and kinematic characteristics for each body of the system. The created structure and the entered data are automatically presented in the form of a text file, which is used as an input file for the software package for modeling mechanical systems in a symbolic form with a computer. The use of these software tools is shown in detail in the example of the analysis of the dynamics of a satellite with a gravitational stabilizer in a circular orbit. For this system, the kinetic energy and force function of an approximate Newtonian gravitational field were obtained, nonlinear and linearized equations of motion were constructed, and the question of the stability of the relative equilibrium position was considered. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Software packages

来源：评论

学校读者我要写书评

暂无评论

Classification in Binary Feature Space Using Logical Dynamic Models

Classification in Binary Feature Space Using Logical Dynamic...

引用

Proceedings of the International Convention MIPRO

作者： G.A. Oparin V.G. Bogdanova A.A. Pashinin Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science and industry, in particular, socionics, geology, mechanical engineering, and others. Binary synchronous autonomous linear and nonlinear dynamic models with an unknown characteristic matrix are considered. Matrix elements are chosen the way that these binary feature vectors are equilibrium states of the binary dynamic model. The areas of attraction of equilibrium states act as classes. One reference vector corresponds to each class. The classification process consists of constructing trajectories of a logical-dynamic system with a given initial state. It aims to verify the reachability of one of the equilibrium states. A meaningful example of the proposed method is considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Development of software decision-making modules based on a model-driven approach

Development of software decision-making modules based on a m...

引用

2020 "Russian Advances in Artificial Intelligence", RAAI 2020

作者： Yurin, Aleksandr Yu. Dorodnykh, Nikita O. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences Irkutsk Russia

The computer-aided engineering software modules for decision-making intelligent systems requires the development of specialized methods, algorithms and software. The use of a model-driven approach that implements the principles of generative and visual programming as well as model transformations, is promising. In this paper, we propose an approach for the development of rule-based intelligent system software components in the form of decision-making modules by specializing and using main principles of a model-driven development. The proposed specialization includes using a step-by-step development scheme (chain of model transformations) from information models to source codes and specifications;a method for the automated creation of computation-independent models based on the transformation of spreadsheets;domain-specific tools for formalization, visualization and generation of codes. The developed approach was applied for creating decision-making modules for rule-based intelligent systems. © 2020 Copyright for this paper by its authors.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：