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

Stability of Difference Scheme for a Semilinear Differential Algebraic system of Index (k, 0)

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

作者： Svinina, S.V. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St Irkutsk 664033 Russian Federation

We consider a semilinear differential-algebraic system of partial differential equations of index (k, 0). We numerically solve this system by applying the spline-collocation method based on splitting the matrix pencil. The method has high accuracy coinciding with the smallest order of the approximating spline. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Solvability of Quasilinear Integral–Algebraic Equations

引用

Journal of Mathematical Sciences (United States) 2024年第6期279卷 756-762页

作者： Bulatov, Mikhail Solovarova, Liubov Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontova St Irkutsk 664033 Russian Federation

We study quasilinear systems of integral equations that are linear with respect to the principal part and nonlinear with respect to the integral term. We formulate sufficient conditions for the local existence of a unique smooth solution to such a system in terms of matrix pencils and provide some examples. We study quasilinear systems of integral equations that are linear with respect to the principal part and nonlinear with respect to the integral term. We formulate sufficient conditions for the local existence of a unique smooth solution to such a system in terms of matrix pencils and provide some examples. © Springer Nature Switzerland AG 2024.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generalization of the Power Sum Arising in the theory of Integrable Hierarchies

引用

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

作者： Svinin, A.K. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St Irkutsk 664033 Russian Federation

We consider a class of multiple sums involving odd powers of natural numbers. Such sums appear while considering the continuous limit of the integrable hierarchy of evolution equations associated with the Itoh–Narita–Bogoyavlenskii lattice. We discuss the problem of constructing polynomials that allow us to calculate the values of the corresponding sums. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust controllability of Nonstationary Differential-Algebraic Equations with Unstructured Uncertainty

引用

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

作者： Petrenko, P.S. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St Irkutsk 664033 Russian Federation

We consider a nonstationary system of differential-algebraic equations, i.e., the first order ordinary differential equations with variable coefficients and identically singular matrix at the derivative of the unknown vector-valued function. We construct the structural form for the perturbed system and obtain sufficient conditions for the robust (complete, differential, R-) controllability of such systems of index 1 and 2. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Algorithms for Nonlinear Optimal control Problems Based on the First and Second Order Necessary Conditions

引用

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

作者： Tyatyushkin, A.I. Zarodnyuk, T.S. Gornov, A. Yu. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St Irkutsk 664033 Russian Federation

We develop an algorithmic support for some classes of nonlinear optimal control problems. We propose several algorithms based on the first- and second order necessary conditions for solving optimal control problems with constraints on control. Efficiency of the algorithms is confirmed by solving various test and applied optimal control problems. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Representation of MDA Transformation with Logical Objects

Representation of MDA Transformation with Logical Objects

引用

2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019

作者： Cherkashin, Evgeny Shigarov, Alexey Paramonov, Viacheslav Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Scientific Center of SB RAS Irkutsk664033 Russia

ISBN: (纸本)9781728144016

The problem of software modeling having various models as sources and its transformation based on logical inference is considered. Source models are converted into graphs of RDF and then processed with knowledge based system organized in a network of objects. Various notation can be used to represent models, such as UML, SysML, CMMN, BPMN2.0, as well as RDF graphs and analyzed source code, having implemented a corresponding converter. The objects are represented in the LogTalk programming language. Objects query graphs and other objects implementing a scenario of a software system synthesis within Model Driven Architecture paradigm. Usage of such kind of transformation approach allows us to develop software system carcasses on the level of abstract models, involve various sources of model data in the transformation, define and structuring conversion knowledge as objects. An example of a dataflow environment synthesis encapsulating Mothur library for new generation sequencing is presented. © 2019 IEEE.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Orlando tools: Energy research application development through convergence of grid and cloud computing 4th

Orlando tools: Energy research application development throu...

引用

4th Russian Supercomputing Days Conference, RuSCDays 2018

作者： Feoktistov, Alexander Gorsky, Sergei Sidorov, Ivan Kostromin, Roman Edelev, Alexei Massel, Lyudmila Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia Melentiev Energy Systems Institute of SB RAS Irkutsk Russia

ISBN: (纸本)9783030058067

The paper addresses the relevant problem related to the development of scientific applications (applied software packages) to solve large-scale problems in heterogeneous distributed computing environments that can include various infrastructures (clusters, Grid systems, clouds) and provide their integrated use. We propose a new approach to the development of applications for such environments. It is based on the integration of conceptual and modular programming. The application development is implemented with a special framework named Orlando Tools. In comparison to the known tools, used for the development and execution of distributed applications in the current practice, Orlando Tools provides executing application jobs in the integrated environment of virtual machines that include both the dedicated and non-dedicated resources. The distributed computing efficiency is improved through the multi-agent management. Experiments of solving the large-scale practical problems of energy security research show the effectiveness of the developed application for solving the aforementioned problem in the environment that supports the hybrid computational model including Grid and cloud computing. © 2019, Springer Nature Switzerland AG.

关键词： Energy security

来源：评论

学校读者我要写书评

暂无评论

Digital monitoring of the ecosystem of Lake Baikal

Digital monitoring of the ecosystem of Lake Baikal

引用

2019 All-Russian Conference "Spatial Data Processing for Monitoring of Natural and Anthropogenic Processes", SDM 2019

作者： Bychkov, Igor V. Ruzhnikov, Gennadii M. Khmelnov, Alexey E. Fedorov, Roman F. Madzhara, Taras I. Matrosov Institute of system dynamics and control theory SB RAS Irkutsk Russia Irkutsk Scientific Center SB RAS Irkutsk Russia

The urgency and directions of creation and development of integrated digital monitoring and assessment of changes in the ecosystem of Lake Baikal and its coastal area using large amounts of multi-format space-time thematic data and knowledge, service-oriented paradigm, OGC standards, Web-services, as well as the introduction of modern information and telecommunication technologies are considered. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Creating technologies of integrated information-analysis systems in scientific projects 1

Creating technologies of integrated information-analysis sys...

引用

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

作者： Gachenko, Andrei S. Rugnikov, Gennady M. Hmelnov, Alexei E. Irkutsk Scientific Center SB RAS Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

This article discusses the implementation of the basic components of spatial data infrastructure for the implementation of interdisciplinary research. The main purpose of the components is to provide a common platform for collaboration with distributed geoprocessing services and spatial data. The platform implements common for the services of geoprocessing functions, such as calling the distributed geoprocessing services, access control system, data visualization, etc., facilitating new services release for public access. © 2018 CEUR-WS. All rights reserved.

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：