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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Building service composition based on statistics of the services use 2

Building service composition based on statistics of the serv...

引用

2nd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2019

作者： Roman, Fedorov Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk664033 Russia

A distributed computing environment is being formed within the geoportal IDSTU SB RAS, which is mainly used for processing spatial data. Processing services that implement the WPS standard, and data storage services, a catalog of WPS services, and service execution systems and their compositions have been developed. In the system for executing services statistics data is collected on user-made service calls. The analysis of the obtained statistical data is carried out in order to identify the data transfer between services calls and build service compositions. Copyright © 2019 for this paper by its authors.

关键词： Data transfer

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Educational and Outreach Resource for Astroparticle Physics 4

Educational and Outreach Resource for Astroparticle Physics

引用

4th International Workshop on Data Life Cycle in Physics, DLC 2020

作者： Kazarina, Yulia Khristyuk, Vasiliy Kruykov, Alexander Postnikov, Evgeny Samoliga, Vladimir Shigarov, Alexey Tokareva, Victoria Zhurov, Dmitriy Applied Physics Institute of Isu Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Russia Lomonosov Moscow State University Skobeltsyn Institute of Nuclear Physics Moscow Russia Institute for Nuclear Physics Kit Karlsruhe Germany

The modern astrophysics is moving towards the enlarging of experiments and combining the channels for detecting the highest energy processes in the Universe. To obtain reliable data, the experiments should operate within several decades, which means that the data will be obtained and analyzed by several generations of physicists. Thus, for the stability of the experiments, it is necessary to properly maintain not only the data life cycle, but also the human aspects, for example, attracting, learning and continuity. To this end, an educational and outreach resource has been deployed in the framework of German-Russian Astroparticle Data Life Cycle Initiative (GRADLCI). © 2020 CEUR-WS. All rights reserved.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Virtual geoarchaeological repository of Baikal Siberia 3

Virtual geoarchaeological repository of Baikal Siberia

引用

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

作者： Fereferov, E.S. Vetrov, A.A. Berdnikova, N.E. Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov St. Irkutsk664033 Russia Scientific Research Center «Baikal Region» Irkutsk State University 1 Karl Marx St. Irkutsk664003 Russia

The article discusses the problem of creating an interdisciplinary database to support research on the project "Baikal Siberia in the Stone Age: at the crossroads of worlds." The architecture of an integrated information system for supporting archaeological research for the formation of a database has been developed. The information system is deployed on two servers that solve separate tasks and is supported by a network storage system. The subsystems are developed using the technology of creating information systems based on the specifications of database applications. Specifications contain, in pure form, the minimum necessary information about database tables, their fields, relationships between them, and their use in the database application. This approach allows you to easily and quickly modernize the information system throughout the entire life cycle. The creation of databases and application specifications is based on the developed standards for geoarchaeological research. In addition, tools were developed to solve specific problems of archeology. For example, tools for creating separate portable subsystems for working in the excavation and publishing 3D models. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Automation of microservices creation for qualitative analysis of binary dynamic systems 1

Automation of microservices creation for qualitative analysi...

引用

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

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov St. 134 Irkutsk664033 Russia

The main objective of qualitative research is to analyze the behavior of the trajectories of a dynamic system to verify whether it corresponds to the set of constraints characterizing the property. We use an approach to study binary dynamic systems on a finite time interval based on the author's method of Boolean constraints. Based on this method, the Boolean model of the properties of a binary dynamic system is written in the language of Boolean equations or Boolean formulas with quantifiers. Thus, the verification of various dynamical properties is reduced to solving the problems of Boolean constraints satisfiability or the validity of a quantified Boolean formula using efficient SAT or TQBF solvers. The high computational complexity of these problems requires the development of software and tools for their parallel and distributed solving and ensuring transparent end-user access to high-performance computing environments based on a service-oriented approach. This paper represents the architecture and functionality of a new instrumental system that automates the creation of a distributed application for solving the considered class of problems based on the microservice approach and multi-agent technology. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Service oriented architecture (SOA)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：