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

Information Technology and Nanotechnology (ITNT), International Conference on

作者： Sergey Gorsky Roman Kostromin Alexander Feoktistov Igor Bychkov Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch Russian Academy of Sciences Irkutsk Russia

ISBN: (数字)9781728170411

ISBN: (纸本)9781728170428

Nowadays, scientific applications based on a workflow are actively used. Such applications are one of the forms of distributed applied software packages. The modern tools for designing packages do not fully support continuous integration for both the system and applied software for a heterogeneous distributed computing environment. The software quality, its design time, and experiment conduct time can be improved through expanding the scope of continuous integration for packages. To this end, we provide a new approach to ensuring the continuous integration for both the applied and system software within package designing. In practice, the approach applying enables us to significantly decrease in the number of errors and failures when packages are designed and used. Thus, we substantially reduce the time of conducting computing experiments in a heterogeneous distributed computing environment and increase the efficiency for the use of its resources.

关键词： Runtime Tools Reliability engineering Supercomputers Software reliability system software Distributed computing

来源：评论

学校读者我要写书评

暂无评论

On Graph-Based Verification for PDF Table Detection

On Graph-Based Verification for PDF Table Detection

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Andrey Mikhailov Alexey Shigarov Egor Rozhkov Igor Cherepanov Siberian Branch of the Russian Academy of Sciences Matrosov Institute for System Dynamics and Control Theory Irkutsk Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

Many non-editable documents are shared in PDF (Portable Document Format). They are typically not accompanied by tags for annotating the page layout, including table positions. One of the important challenges of the analysis and understanding of such documents is table detection. This paper outlines a novel two-phase approach to the table detection in untagged PDF documents. The first phase uses deep neural networks (DNN) to predict some table candidates. The second phase selects probable tables from the candidates by verifying their graph representation. We build a weighted directed graph from text blocks inside a predicted area of a table. A set of such graphs produced from the “ICDAR 2013 Table Competition” dataset allowed us to train a verification model based on the Random Forest technique. The empirical results for competitive dataset demonstrated high performance of our implementation of this approach. We showed that additional verification enables reduction of errors and improvement of results of the PDF table detection.

关键词： Performance evaluation Neural networks Layout Predictive models Portable document format Feature extraction Random forests

来源：评论

学校读者我要写书评

暂无评论

Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas

Action Planning for Robots using the First Order Logic Calcu...

引用

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

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

ISBN: (数字)9781728159539

ISBN: (纸本)9781728159546

The paper presents an approach to constructing plans for a group of Lego MindStorm robots, moving small blocks to the target area. The approach is based on non-Horn logical programming in the original first-order language of positively constructed formulas (PCF). A description of the PCF formalism is given, an example of solving a problem of constructing action plans for a group of three robots is presented. Unlike other modern approaches to planning action in robotics, our approach is distinguished by a great expressiveness of means for representing knowledge in the system and about the environment.

关键词： Robot kinematics Calculus Planning Information technology Task analysis Testing system dynamics

来源：评论

学校读者我要写书评

暂无评论

Modeling of crowds in the regions with moving obstacles via measure sweeping processes

arXiv

引用

arXiv 2020年

作者： Maltugueva, Nadezhda Pogodaev, Nikolay Matrosov Institute for System Dynamics and Control Theory 134 Lermontov str. Irkutsk664033 Russia

We present a model of crowd motion in regions with moving obstacles, which is based on the notion of measure sweeping process [10]. The obstacle is modeled by a set-valued map, whose values are complements to r-prox-regular sets. The crowd motion obeys a nonlinear transport equation outside the obstacle and a normal cone condition (similar to that of the classical sweeping processes theory) on the boundary. We prove the well-posedness of the model, give an application to the environment optimization problems, and provide some results of numerical *** Codes 35F10, 35R37, 49J53, 49Q20. Copyright © 2020, The Authors. All rights reserved.

关键词： Nonlinear equations

来源：评论

学校读者我要写书评

暂无评论

Web-GIS viewer for active faults data represented as a knowledge graph 4

Web-GIS viewer for active faults data represented as a knowl...

引用

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

作者： Cherkashin, Evgeny A. Lunina, Oksana V. Demyanov, Leonid O. Tsygankov, Alexander V. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences 134 Lermontov St Irkutsk664033 Russia Institute of the Earth’s Crust of Siberian Branch of Russian Academy of Sciences 128 Lermontov St Irkutsk664033 Russia Institute for Mathematics and Information Technologies Irkutsk State University 20 Gagarina Bulv Irkutsk664003 Russia Institute for Information Technologies and Data Analysis National Research Irkutsk State Technical University 83 Lermontov St Irkutsk664074 Russia

A problem of flexible geographical data representation and Web-based visualization is considered. The data stored in a knowledge graph as ontologies (vocabularies) in accordance to W3C standards. For viewing data, a web geographical information system (GIS) application is realized, which renders map interpreting SPARQL queries to Sematic Web server storing the knowledge graph. The technologies used for designing are based on contemporary Web 3.0, allowing one to implement Linked Open Data (LOD) compliance for GIS information publishing and integration. © 2021 Copyright for this paper by its authors.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Impulsive relaxation of continuity equations and modeling of colliding ensembles 9th

Impulsive relaxation of continuity equations and modeling of...

引用

9th International Conference on Optimization and Applications, OPTIMA 2018

作者： Staritsyn, Maxim Pogodaev, Nikolay Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of the Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9783030109332

The paper promotes a relatively novel class of multi-agent control systems named "impulsive" continuity equations. systems of this sort, describing the dynamics of probabilistically distributed "crowd" of homotypic individuals, are intensively studied in the case when the driving vector field is bounded and sufficiently regular. We, instead, consider the case when the vector field is unbounded, namely, affine in a control parameter, which is only integrally constrained. This means that the "crowd" can be influenced by "shock" impacts, i.e., actions of small duration but very high intensity. For such control continuity equations, we design an impulsive relaxation by closing the set of solutions in a suitable coarse topology. The main result presents a constructive form of the relaxed system. A connection of the obtained results to problems of contact dynamics is also discussed along with applications to optimal ensemble control and other promising issues. © Springer Nature Switzerland AG 2019.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Bang-Bang Theorem for a Coupled ODE-PDE control system

引用

Journal of Mathematical Sciences (United States) 2019年第2期239卷 146-158页

作者： Pogodaev, N.I. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St. Irkutsk 664033 Russian Federation

An optimal control problem for a system of one dimensional hyperbolic conservation laws is considered. The system is controlled through the boundary condition, which depends on the state of a nonlinear control system. It is proven that the problem has an optimal solution;moreover, it admits ε-optimal solutions generated by bang-bang controls. Bibliography: 8 titles. Illustrations: 1 figure. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词： control systems optimal solution WWOX gene One dimensional Standing Orders bibliography Nonlinear control systems Boundary conditions conservation laws ILLUSTRATIONS

来源：评论

学校读者我要写书评

暂无评论

Towards lightweight representation of the table semantics for the cross-context information exchange 3

Towards lightweight representation of the table semantics fo...

引用

3rd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2020

作者： Shigarov, Alexey Khristyuk, Vasiliy Cherkashin, Evgeniy Yang, Shuo Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov st. Irkutsk664033 Russia School of Computer Science and Cyber Engineering Guangzhou University 230 Wai Huan Xi Road Guangzhou510006 China

This addresses representation of the table semantics for the cross-context information exchange. The tables we consider have an arbitrary cells structure represented in a machine-readable format. For example, tables can be contained in electronic documents, such as a spreadsheet or a web-page, and, typically, they are not accompanied by semantics enabling their automatic interpretation. In spite of the existing variety of formalisms for representation of the table semantics, most of them they are fairly inefficient in terms of the user efforts required for the semantic annotation. We outline a new approach to the lightweight representation of the table semantics. We stay on the interpretation level that provides the inference of the semantics of atomic data items of a table from a description of data groups expressed by the syntax of the table. We expect that, in the future, implementation of our approach can reduce the complexity and volume of the table semantics required for the cross-context information exchange, as well as the user efforts aimed at annotating tabular data. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of a Spreadsheets Transformation in the Context of Domain Model Engineering*

Experimental Evaluation of a Spreadsheets Transformation in ...

引用

Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT)

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

ISBN: (数字)9781728131658

ISBN: (纸本)9781728131665

Spreadsheets are an important source of information and can be used to create domain models and knowledge bases. We implement an approach for transforming spreadsheets into domain models. This approach consists of 4 steps and based on the use of: an intermediate unified representation of spreadsheets in a canonicalized form, an original technique and software. A canonicalized form provides processing spreadsheets with arbitrary layouts and styles. The original technique provides a two-stage transformation: source spreadsheets to canonicalized tables and canonicalized tables to domain model fragments. Original software is presented by two tools: TabbyXL as a table transformation tool and Personal Knowledge Base Designer as a knowledge base prototyping tool. We present an experimental evaluation of the proposed approach for generating domain models. Two datasets are used for our experiment: Troy200 and ISI-161. We obtained high values of recall and precision (more than 90%) for both datasets. At the same time, the content of resulted domain model fragments was evaluated for the ISI161 dataset. This evaluation showed that 24% of concepts of the domain model for industrial safety inspection tasks were generated automatically by using our approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the Thinnest Covering of Fixed Size Containers with Non-euclidean Metric by Incongruent Circles 18th

On the Thinnest Covering of Fixed Size Containers with Non-e...

引用

18th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2019

作者： Kazakov, Alexander Lempert, Anna Le, Quang Mung Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk664033 Russia Irkutsk664074 Russia

ISBN: (纸本)9783030333935

The paper is devoted to the circle covering problem with unequal circles. The number of circles is given. Also, we know a function, which determines a relation between the radii of two neighboring circles. The circle covering problem is usually studied in the case when the distance between points is Euclidean. We assume that the distance is determined by means of some special metric, which, generally speaking, is not Euclidean. The special numerical algorithm is suggested and implemented. It based on optical-geometric approach, which is developed by the authors in recent years and previously used only for circles of the equal radius. The results of a computational experiment are presented and discussed. © 2019, Springer Nature Switzerland AG.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：