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

On the Integrability and Stability of Stationary Solutions of the Goryachev–Sretensky Gyrostat

Journal of Applied and Industrial Mathematics 2023年第3期17卷 557-570页

作者： Kosov, A.A. Semenov, E.I. Matrosov Institute for System Dynamics and Control Theory Siberian BranchRussian Academy of Sciences Irkutsk664033 Russia

Abstract: The equations of motion of the Goryachev–Sretensky gyrostat are studied. All stationarysolutions are found on the invariant set of the zero level of the area integral, and their stability isanalyzed. For the case where the suspension point coincides with the center of mass and theaction of a gyroscopic moment is of a special type, integration by quadratures is performed. © 2023, Pleiades Publishing, Ltd.

关键词： Equations of motion

来源：评论

学校读者我要写书评

暂无评论

On a Global Search in Bilevel Optimization Problems with a Bimatrix Game at the Lower Level 23rd

On a Global Search in Bilevel Optimization Problems with ...

引用

23rd International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2024

作者： Orlov, Andrei V. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia

ISBN: (纸本)9783031627910

This paper addresses one class of bilevel optimization problems (BOPs) with an equilibrium at the lower level (in optimistic statement). Namely, we study BOPs with a convex quadratic optimization problem under linear constraints at the upper level and with a parametric non-normalized bimatrix game at the lower one, where we need to find a Nash equilibrium. In order to construct numerical methods for the problem in question, first, we transform the original bilevel problem into a single-level nonconvex optimization problem by replacing the lower level with its optimality conditions. Then we apply the Exact Penalization theory and Global Search theory (GST) to the resulting problem. According to the standard research of nonconvex problems by the GST, we construct the d.c. representations of all nonconvex functions from the original statement (into the differences of two convex functions), formulate the Global Optimality Conditions in terms of reduced penalized problem, and develop local and global search method taking into account the specific of problem in question. The main feature of the developed methods consists in the possibility of varying the penalty parameter within the methods themselves. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Modeling Agent Behavior in Interacting Microgrids 10

Modeling Agent Behavior in Interacting Microgrids

引用

10th International Conference on Information Technology and Nanotechnology, ITNT 2024

作者： Bychkov, Igor Feoktistov, Alexander Chekan, Mikhail Matrosov Institute For System Dynamics And Control Theory Of Sb Ras Irkutsk Russia

ISBN: (纸本)9798350372939

We propose the agent-based approach to intellectualize data processing and analysis in modeling the operations of interconnected microgrids. Microgrids are modern energy systems with a large share of environmentally friendly and resource-saving equipment. The modeling of different aspects for the organization and operation of microgrids is relevant for their structural and parametric optimization. The study of these aspects in the interaction of microgrids deserves special attention. In this case, it becomes possible to take into account the synergistic effect in the distribution and consumption of electric power. We implement the modeling process using a multi-agent system. In this regard, we describe the structure of this system, methods of its construction, and goals and processes of agent operations. In addition, we provide a model of agent behavior developed based on the basis of a finite-state control machine. The advantages of the proposed approach are demonstrated on a model example of balancing generation and consumption of electric power. © 2024 IEEE.

关键词： Balancing

来源：评论

学校读者我要写书评

暂无评论

dynamics of Bipartite Logical Networks 47

Dynamics of Bipartite Logical Networks

引用

47th ICT and Electronics Convention, MIPRO 2024

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute For System Dynamics And Control Theory Of Sb Ras Irkutsk Russia

ISBN: (纸本)9798350382495

Based on the Boolean constraints method several problems of qualitative analysis of bipartite logical networks are solved. The dynamics of the trajectories behavior of these networks is studied over a finite time interval. A method is proposed for splitting a bipartite trajectory into two independent trajectories based on deterministic block-sequential updating of the state vectors of each part. Conditions for the existence, isolation and attraction of cyclic trajectories of a given length are obtained as Boolean constraints. The solvability of such equations reduces to the well-known Boolean satisfiability problem, effectual algorithms for solving which provide dynamic analysis for systems with high dimensionality of the state vector over large discrete time intervals. The program modules implementation for building Boolean constraints and checking their feasibility in the form of microservices ensures their reuse, simplification of deployment, updating, and high scalability in the cloud environment. Multi-agent computation management in an applied microservices package provides the non-procedural problem formulation on a distributed model of the subject area, forms and executes a scheme for solving it, and automates the additional resources provision. The practical significance of the obtained results consists in providing the opportunity for a more detailed study of dynamics of the molecular features of gene regulation networks. © 2024 IEEE.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

Rayleigh–Ritz Operator in Inverse Problems for Higher Order Multilinear Nonautonomous Evolution Equations

引用

Siberian Advances in Mathematics 2023年第4期33卷 329-337页

作者： Lakeyev, A.V. Linke, Yu. E. Rusanov, V.A. Matrosov Institute for System Dynamics and Control Theory Irkutsk 664033 Russian Federation

Abstract: We study solvability questions for the problem on realization of operator functions foran invariant polylinear regulator of a higher-order differential system in an infinite-dimensionalseparable Hilbert space. This is a nonstationary coefficient-operator inverse problem formultilinear evolution equations whose dynamic order is higher than one (notice thatnonautomonous hyperbolic systems belong to this class of problems). We analyze semiadditivityand continuity for a nonlinear Rayleigh–Ritz functional operator and obtain an analytic model ofan invariant polylinear regulator. This model allows us to combine two bundles of trajectorycurves induced by different invariant polylinear regulators in a differential system and obtaina family of admissible solutions of the initial differential system in terms of an invariant polylinearaction. The obtained results can be applied in the general qualitative theory of nonlinearinfinite-dimensional adaptive control systems described by higher-order multilinearnonautonomous differential systems (including neuromodelling). © 2023, Pleiades Publishing, Ltd.

关键词： functional Rayleigh–Ritz operator higher-order nonautonomous differential realization invariant polylinear regulator inverse problems for infinite-dimensional multilinear evolution equations

来源：评论

学校读者我要写书评

暂无评论

Visual Designing Knowledge Bases for Aircraft Diagnostics Using State Transition Diagrams

Visual Designing Knowledge Bases for Aircraft Diagnostics Us...

引用

2024 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2024

作者： Yurin, Aleksandr Yu. Dorodnykh, Nikita O. Kotlov, Yuri V. Kivokurtsev, Aleksandr L. Irkutsk Russia Matrosov Institute For System Dynamics And Control Theory Irkutsk Russia Irkutsk Russia

ISBN: (纸本)9798350362893

The development of knowledge bases for classical intelligent systems based on the formalism of logical rules remains an urgent task. One of the ways to improve the efficiency of this task is through visual programming in combination with the use of widely used graphical notations, in particular state transition diagrams. The paper considers the application of these principles in the creation of software components (a virtual assistant knowledge base) to support the diagnostics and maintenance of aircraft. The main steps of the approach are described: analysis of the domain and the allocation of basic concepts and relationships;construction of state transition diagrams using the results of the analysis;creation of elements of logical rules based on the analysis of the diagrams;and debugging and testing of the obtained knowledge base structures. An illustrative example with an indication of the recommended software is given. Based on the results of the approach, it was concluded that state transition diagrams are preferable in describing cyclic processes, as well as that they can be useful for verifying decision tables. © 2024 IEEE.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Binary Dynamic Models of Structural Synthesis of Programs 46

Binary Dynamic Models of Structural Synthesis of Programs

引用

46th ICT and Electronics Convention, MIPRO 2023

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

ISBN: (纸本)9789532331042

In this paper, we propose a matrix-vector Boolean differential model for constructing plans of computational actions in solving non-procedural problems on a computational model of a modular software system. The conditions of the problem of structural synthesis of a program from pre-implemented modules are formulated as a system of Boolean differential equations, the solutions of which, under given initial conditions (consistent with the non-procedural formulation of the problem), determine the solvability of the problem and give constructive plans for its solution (including parallel ones). The proposed method of structural synthesis is focused on high-dimensional models. It allows highly efficient software implementation due to the high parallelism of performing vector-matrix operations on binary vectors at the level of machine instructions. The developed model is used for planning computations in packages of applied microservices based on the HPCSOMAS-MSC platform. © 2023 MIPRO Croatian Society.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

A Three-Stage Numerical Approach to the Study of Extra-Large Atomic-Molecular Clusters 15th

A Three-Stage Numerical Approach to the Study of Extra-La...

引用

15th International Conference on Optimization and Applications, OPTIMA 2024

作者： Gornov, Alexander Anikin, Anton Sorokovikov, Pavel Zarodnyuk, Tatiana Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov Str. 134 Irkutsk664033 Russia

ISBN: (纸本)9783031791185

The article discusses a novel approach for optimizing atomic-molecular structures in extra-large clusters, focusing on reducing computational complexity and applying parallel computing techniques. A three-stage computation process is outlined, offering benefits over traditional algorithms by efficiently navigating through multi-extremal optimization challenges. The software, based on this methodology, demonstrated high efficacy in solving complex molecular dynamics problems. When comparing the outcomes with experimental data, no significant deviations from the expected patterns in potential values were detected. The developed three-stage numerical approach proved instrumental in solving optimization tasks for extra-large atomic-molecular systems. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Molecular dynamics

来源：评论

学校读者我要写书评

暂无评论

Efficient Heuristics for a Partial Set Covering Problem with Mutually Exclusive Pairs of Facilities 1

引用

7th International Conference on Optimization, Simulation and control, COSC 2022

作者： Belykh, Aleksander Gruzdeva, Tatyana Ushakov, Anton Vasilyev, Igor Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (数字)9783031412295

ISBN: (纸本)9783031412288

Set cover problems are among the most popular and well-studied models in facility location. In this paper, we address an extension of the set covering and partial set covering problems. We suppose that a set of customers to be served is divided into two non-overlapped subsets: "mandatory" customers who must always be covered and "optional" customers who do not require obligatory coverage. To avoid a trivial solution that covers only customers from H, we suppose that the number of covered optional customers must be at least larger than a pre-defined threshold In the real world, local laws may prohibit location of a large number of facilities in some places to reduce harm to people and/or nature. To reflect that fact our problem involves pairs of facilities that are mutually exclusive, hence if a facility from such a pair is located, another one is prohibited. We formulate this problem as an integer linear program and develop and implement several fast heuristic approaches capable of finding high-quality solutions of large-scale problem instances arisen in real-life settings. In particular, we develop a hybrid heuristic involving a greedy algorithm and local search embedded into a variable neighborhood framework. We test our algorithms in a series of intensive computational experiments on both real-life problems and synthetically generated instances. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：