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

Technique for modelling flooding zones of coastal areas in the cascade of hydroelectric power stations on the Angara river

Technique for modelling flooding zones of coastal areas in t...

引用

2020 International Online Conference on Environmental Transformation and Sustainable Development in Asian Region, EnTransAsia 2020

作者： Gachenko, A.S. Hmelnov, A.E. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk Scientific Center SB RAS Irkutsk Russia

This article presents the method for modelling underwater three-dimensional topography and it's combining with terrain under conditions of incomplete source data. The technique for constructing 3D elevation model was tested within the research projects conducted in matrosov institute for system dynamics and control theory Siberian Branch of the Russian Academy of Sciences in collaboration with colleagues from other research institutes of Irkutsk Scientific Center under the comprehensive studies of Lake Baikal, the Angara River and the Bratsk Reservoir. We present an algorithm for combining underwater topography with terrain based on heterogeneous source data using the Delaunay triangulation. The combining yields a high-quality 3D elevation model. This model can be used to make forecasts of the changes in the coastlines of reservoirs, which are associated with water discharges from hydroelectric power stations. The described technique was used to solve some practical problems and showed its effectiveness. To combine the data on the terrain and underwater topography, we developed a special software using the Delaunay triangulation algorithms. For data layers, their roles were indicated during the triangulation. Layers contained the information about terrain, watermarks, contours of the coastline, and underwater topography. For underwater topography, we used the information about the marks of the water edge. Based on these data, we built an additional triangulation, from which we subsequently obtained the information about heights because contours of coastlines are confined to heights, and depths are measured relative to heights. As a result of this study, we processed some settlements and estimated possible flooding. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Hydroelectric power plants

来源：评论

学校读者我要写书评

暂无评论

TabbyLD: A Tool for Semantic Interpretation of Spreadsheets Data 7th

TabbyLD: A Tool for Semantic Interpretation of Spreadsheets ...

引用

7th International Conference on Modelling and Development of Intelligent systems, MDIS 2020

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

ISBN: (纸本)9783030685263

Spreadsheets are one of the most convenient ways to structure and represent statistical and other data. In this connection, automatic processing and semantic interpretation of spreadsheets data have become an active area of scientific research, especially in the context of integrating this data into the Semantic Web. In this paper, we propose a TabbyLD tool for semantic interpretation of data extracted from spreadsheets. Main features of our software connected with: (1) using original metrics for defining semantic similarity between cell values and entities of a global knowledge graph: string similarity, NER label similarity, heading similarity, semantic similarity, context similarity;(2) using a unified canonicalized form for representation of arbitrary spreadsheets;(3) integration TabbyLD with the TabbyDOC project’s tools in the context of the overall pipeline. TabbyLD architecture, main functions, a method for annotating spreadsheets including original similarity metrics, the illustrative example, and preliminary experimental evaluation are presented. In our evaluation, we used the T2Dv2 Gold Standard dataset. Experiments have shown the applicability of TabbyLD for semantic interpretation of spreadsheets data. We also identified some issues in this process. © 2021, Springer Nature Switzerland AG.

关键词： Spreadsheets

来源：评论

学校读者我要写书评

暂无评论

Service compositions in problems of urban planning 1

Service compositions in problems of urban planning

引用

1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018

作者： Fedorov, Roman K. Shumilov, Alexander S. Irkutsk Scientific Center SB RAS Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

Information technologies are being applied in almost all fields of human activities, including the urban planning. One of the common problems in urban planning is the estimation of transport and walking availability of various socially important facilities. Geoportal of ISDCT SB RAS proposes to solve this problem using service compositions, defined in a form of JavaScript programs. During the composition execution, the automatic parallelization of services is performed in order to minimize the overall composition execution time. The scenario planning and execution processes are shown, as well as the ability to adapt to changes in computing environment. © 2018 CEUR-WS. All rights reserved.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

OPTIMAL control OF A POPULATION dynamics MODEL WITH HYSTERESIS

引用

Acta Mathematica Scientia 2022年第1期42卷 283-298页

作者： Bin CHEN Sergey A.TIMOSHIN Fujian Province University Key Laboratory of Computational Science School of Mathematical SciencesHuaqiao UniversityQuanzhou 362021China Matrosov Institute for System Dynamics and Control Theory Russian Academy of SciencesLermontov str134664033 IrkutskRussia

This paper addresses a nonlinear partial differential control system arising in population *** system consist of three diffusion equations describing the evolutions of three biological species:prey,predator,and food for the prey or *** equation for the food density incorporates a hysteresis operator of generalized stop type accounting for underlying hysteresis effects occurring in the dynamical *** study the problem of minimization of a given integral cost functional over solutions of the above *** set-valued mapping defining the control constraint is state-dependent and its values are nonconvex as is the cost integrand as a function of the control *** relaxationtype results for the minimization problem are obtained and the existence of a nearly optimal solution is established.

关键词： optimal control problem hysteresis biological diffusion models nonconvex integrands nonconvex control constraints

来源：评论

学校读者我要写书评

暂无评论

Digital technologies for forest monitoring in the Baikal natural territory 4

Digital technologies for forest monitoring in the Baikal nat...

引用

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

作者： Bychkov, Igor V. Ruzhnikov, Gennady M. Fedorov, Roman K. Popova, Anastasia K. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov st. 134 Irkutsk Russia

The paper considers the problem of forest resources monitoring over large areas on the example of the Baikal natural territory. As the main data source, we use Sentinel-2 remote sensing data due to their regularity, broad coverage, multispectral parameters of the resulting image. The Random forest and Support Vector Machines (SVM) machine learning algorithms were used to classify land cover from the Sentinel-2 products. Both methods have shown good results with a fairly high accuracy. The training was carried out with data labeled manually into 12 classes. © 2021 Copyright for this paper by its authors.

关键词： Remote sensing

来源：评论

学校读者我要写书评

暂无评论

On a Certain Class of Quasilinear Second-Order Differential-Algebraic Equations

引用

Journal of Mathematical Sciences (United States) 2022年第1期268卷 15-23页

作者： Bulatov, M.V. Solovarova, L.S. Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of Russian Academy of Sciences Irkutsk Russian Federation Buryat State University Ulan-Ude Russian Federation

We consider systems of second-order, quasilinear, ordinary differential equations with an identically degenerate matrix coefficient of the principal term and with well-posed initial conditions. Fundamental differences between such problems and systems of ordinary differential equations solved with respect to the second derivative are indicated. In terms of matrix polynomials, we formulate conditions of the existence and uniqueness of solutions of such problems in a neighborhood of the starting point. © 2022, Springer Science+Business Media, LLC, part of Springer Nature.

关键词： 34A09 65L80 initial problem matrix polynomial second-order differential-algebraic equation

来源：评论

学校读者我要写书评

暂无评论

Logic inference based construction of a supervisor for a discrete event system 2

Logic inference based construction of a supervisor for a dis...

引用

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

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

The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory control theory. The approach proposes a representation of automata-based discrete event system as a positively constructed formula and implementation of the calculus of positively constructed formulas. The stages of a supervisor construction are illustrated with a simplified model of an autonomous underwater vehicle operational modes switching. The supremal controllable sublanguage of the specification and the supervisor are constructed. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Iterative algorithms for optimal packing construction in inhomogeneous metrics 48

Iterative algorithms for optimal packing construction in inh...

引用

48th International Youth School Conference "Modern Problems in Mathematics and its Applications", SoProMat 2017

作者： Lebedev, Pavel D. Lempert, Anna A. Krasovskii Institute of Mathematics and Mechanics Yekaterinburg Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Russia

The problem of packing of equal circles in the convex bounded 2-D sets is considered. The metric is significantly different from the Euclidean one. Here the distance between points is equal to the minimal time that requires for passing from one point to another. In other words, the shortest route between two points is a curve, to spend the least time. The optimality criterion for the packing is the radius of a fix number of circles. The proposed algorithm includes the computational method for constructing boundaries of packing circles as wave fronts, based on principles of geometric optics. To maximize the radius, we use the iterative procedures that simulate the repulsion of circle centers from the boundaries of adjacent packing elements and from the boundary of a convex set. They based on the Chebyshev center constructions, which make it possible to form a displacement vector in the required direction. Numerical modeling for the sets of different geometries and for the different distribution of wave propagation velocities is carried out. The results are visualized. Copyright © by the paper's authors. Copying permitted for private and academic purposes.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

The construction of controllable sublanguage of specification for DES via PCFs based inference 2

The construction of controllable sublanguage of specificatio...

引用

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

The paper considers how methods of a logical inference search in the calculus of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specification on the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specification is presented. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

PCF-based formalization of the parallel composition of automata 1

PCF-based formalization of the parallel composition of autom...

引用

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

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

The paper demonstrates how the automatic theorem proving technique of the PCF calculus is applied to construct parallel composition of automata. Parallel composition plays an essential role in the supervisory control theory at different stages of systems and supervisors design. Improved formalization of discrete event systems as positively-constructed formulas along with auxiliary predicates, serving for accessibility of the automaton checking, simplify parallel composition construction. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：