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

Symbolic-Numerical Analysis of the Necessary Stability Conditions for the Relative Equilibria of an Orbital Gyrostat

引用

Journal of Applied and Industrial Mathematics 2020年第2期14卷 213-221页

作者： Banshchikov, A.V. Matrosov Institute for System Dynamics and Control Theory Irkutsk664033 Russia

Abstract: Using the software developed on the basis of the computer algebra system Mathematica,we study the rotational motion along the circular orbit of a satellite-gyrostat in a Newtoniancentral field of forces. The linearized equations of a perturbed motion in the vicinity of the relativeequilibrium of the system are constructed on a computer in symbolic form, and the necessarystability conditions are obtained for the equilibrium. Implementing the parametric analysis of thederived inequalities, we consider one of the cases when the vector of the gyrostatic moment of thesystem lies in one of the planes formed by the principal central axes of inertia. The obtainedstability regions have an analytical form or a graphical representation as 2D images. © 2020, Pleiades Publishing, Ltd.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Classification in Binary Feature Space Using Logical Dynamic Models 44

Classification in Binary Feature Space Using Logical Dynamic...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

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

ISBN: (纸本)9789532331011

The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science and industry, in particular, socionics, geology, mechanical engineering, and others. Binary synchronous autonomous linear and nonlinear dynamic models with an unknown characteristic matrix are considered. Matrix elements are chosen the way that these binary feature vectors are equilibrium states of the binary dynamic model. The areas of attraction of equilibrium states act as classes. One reference vector corresponds to each class. The classification process consists of constructing trajectories of a logical-dynamic system with a given initial state. It aims to verify the reachability of one of the equilibrium states. A meaningful example of the proposed method is considered. © 2021 Croatian Society MIPRO.

关键词： Dynamic models

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties 44

Service-oriented Application for Solving Parametric Synthesi...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

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

ISBN: (纸本)9789532331011

A constructive logical method for the synthesis of the characteristic matrix of a linear binary dynamical system with a given set of one-point attractors and one-step dynamics of reaching this set from any state is proposed. The problem conditions are written as a quantified Boolean formula with subsequent verification of its truth using the QSAT solver. This solver provide the values of the elements of the required matrix as a certificate. The proposed method implementation is performed using automation tools for constructing and executing composite services in an applied microservices package for solving problems of qualitative research of binary dynamic systems. These tools provide cloud services for getting a quantified Boolean formula in QDIMACS format, verifying its truth, getting a constructive solution to the considered problem, and supporting synchronization of cloud and local data in a hybrid cloud infrastructure using Dew Computing. © 2021 Croatian Society MIPRO.

关键词： Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

On a Solving Bilevel D.C.-Convex Optimization Problems 19th

On a Solving Bilevel D.C.-Convex Optimization Problems

引用

19th International Conference on Mathematical Optimization theory and Operations Research,MOTOR 2020

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

ISBN: (纸本)9783030586560

This work addresses the optimistic statement of a bilevel optimization problem with a general d.c. optimization problem at the upper level and a convex optimization problem at the lower level. First, we use the reduction of the bilevel problem to a nonconvex mathematical optimization problem using the well-known Karush-Kuhn-Tucker approach. Then we employ the novel Global Search theory and Exact Penalty theory to solve the resulting nonconvex optimization problem. Following this theory, the special method of local search in this problem is constructed. This method takes into account the structure of the problem in question. © 2020, Springer Nature Switzerland AG.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

The space-time representation for optimal impulsive control problems with hysteresis 9th

The space-time representation for optimal impulsive control ...

引用

9th International Conference on Optimization and Applications, OPTIMA 2018

作者： Samsonyuk, Olga N. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9783030109332

An optimal control problem for a sweeping process driven by impulsive controls is considered. The control system we study is described by both a measure-driven differential equation and a differential inclusion. This system is the impulsive-trajectory relaxation of an ordinary control system with nonlinearity of hysteresis type, in which the hysteresis is modeled by the play operator and considered as a particular case of a nonconvex sweeping process. The concept of a sweeping process for the so-called graph completions of functions of bounded variation, defining the corresponding moving set, is developed. The space-time representation based on the singular space-time transformation and a method to obtain optimality conditions for impulsive processes are proposed. By way of motivation, an example from mathematical economics is considered. © Springer Nature Switzerland AG 2019.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

Approximation results for impulsive control systems with hysteresis 14

Approximation results for impulsive control systems with hys...

引用

14th International Conference "Stability and Oscillations of Nonlinear control systems" (Pyatnitskiy's Conference), STAB 2018

作者： Samsonyuk, O.N. Tolkachev, D.E. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

In this paper, impulsive control systems described by measure-driven differential equations with rate independent hysteresis are considered. Approximation results for impulsive processes are presented. © 2018 IEEE.

ISBN: (纸本)9781538645567

关键词： Hysteresis

来源：评论

学校读者我要写书评

暂无评论

Computational study of activation dynamics on networks of arbitrary structure 7th

Computational study of activation dynamics on networks of ar...

引用

7th International Conference on Network Analysis, NET 2017

作者： Semenov, Alexander Gorbatenko, Dmitry Kochemazov, Stepan Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9783319962467

In this paper, we present the results on describing and modeling dynamical properties of collective systems. In particular, we consider the problems of activation and deactivation of collectives, represented by networks, by establishing special agents called activators and deactivators in a network. Such problems are combinatorial and to solve them, we employ the algorithms for solving Boolean satisfiability problem (SAT). Thus, we describe the general technique for reducing the problems from a considered class to SAT. The paper presents the novel approach to analysis of problems related to Computer Security. In particular, we propose to study the developing and blocking of attacks on computer networks as the processes of activation/deactivation. We give a number of theoretical properties of corresponding discrete dynamical systems. For the problems of blocking attacks on computer networks, the corresponding reduction to SAT was implemented and tested. At the present moment using state-of-the-art SAT solvers, it is possible to solve such problems for networks with 200 vertices. © Springer International Publishing AG, part of Springer Nature 2018.

关键词： Chemical activation

来源：评论

学校读者我要写书评

暂无评论

On Solving the Quadratic Sum-of-Ratios Problems 19th

On Solving the Quadratic Sum-of-Ratios Problems

引用

19th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2020

作者： Gruzdeva, Tatiana V. Strekalovsky, Alexander S. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia

ISBN: (纸本)9783030499877

This paper addresses the numerical solution of fractional programs with quadratic functions in the ratios. Instead of considering a sum-of-ratios problem directly, we developed an efficient global search algorithm, which is based on two approaches to the problem. The first one adopts a reduction of the fractional minimization problem to the solution of an equation with an optimal value of a parametric d.c. minimization problem. The second approach reduces the original problem to the optimization problem with nonconvex (d.c.) constraints. Hence, the fractional programs can be solved by applying the Global Search theory of d.c. optimization. The global search algorithm developed for sum-of-ratios problems was tested on the examples with quadratic functions in the numerators and denominators of the ratios. The numerical experiments demonstrated that the algorithm performs well when solving rather complicated quadratic sum-of-ratios problems with up to 100 variables or 1000 terms in the sum. © 2020, Springer Nature Switzerland AG.

关键词： Functions

来源：评论

学校读者我要写书评

暂无评论

Implicit Boolean Network for Planning Actions 45

Implicit Boolean Network for Planning Actions

引用

45th Jubilee International Convention on Information, Communication and Electronic Technology, MIPRO 2022

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

ISBN: (纸本)9789532331035

It is usual to classify the automated searching of a plan as an artificial intelligence problem. In planning, the environment is defined as a set of both states and transitions between them. Planning consists in searching for a finite transitions sequence (actions) that transfers the initial state to one of the states, satisfying the objective. As a model of the planning environment, we propose to use implicit Boolean networks - binary dynamic systems, the transition function of which is defined by the implicit Boolean equation relative to the current state variables vector and some subsequent variables vectors. For this model, the forming of a plan is reduced to qualitative analysis of dynamic properties of the implicit binary dynamic system. In particular, these are reachability or cyclicity properties over a given discrete time interval. At the final stage of this method, the verification of the Boolean formula satisfiability is performed. This formula includes the equation of the dynamics of the implicit Boolean network and the specification of the dynamical property being verified. The considered approach is demonstrated on the problem of planning a river crossing and constructing a Hamiltonian cycle in a graph. A specialized parallel algorithm for solving deeply structured Boolean satisfiability problems is proposed, which provides scalability with an increase in their dimension. © 2022 Croatian Society MIPRO.

关键词： Hamiltonians

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：