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

A reduced model for particle calcination for use in DEM/CFD simulations

Particuology 2024年第10期93卷 316-327页

作者： Lucas Mieg Torben Bergold Enric Illana Mahiques Viktor Scherer Martin Mönnigmann Automatic Control and System Theory Ruhr University BochumGermany Energy Plant Technology Ruhr University BochumGermany

We treat the accurate simulation of the calcination reaction in particles,where the particles are large and,thus,the inner-particle processes must be *** these processes need to be described with coupled partial differential equations(PDEs)that must be solved numerically,the computation times for a single particle are too high for use in simulations that involve many *** of this type arise when the Discrete Element Method(DEM)is combined with Computational Fluid Dynamics(CFD)to investigate industrial systems such as quicklime production in lime shaft *** show that,based on proper orthogonal decomposition and Galerkin projection,reduced models can be derived for single particles that provide the same spatial and temporal resolution as the original PDE models at a considerably reduced computational *** the finite volume particle models with the reduced models results in an overall reduction of the reactor simulation time by about 40%for the sample system treated here.

关键词： Calcination Reactive bulk Model reduction Discrete element method Galerkin projection

来源：评论

学校读者我要写书评

暂无评论

Maintaining Strong Structural controllability for Multi-Agent systems with Varying Number of Agents 63

Maintaining Strong Structural Controllability for Multi-Agen...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Schmidtke, Vincent Al-Maqdad, Rami K.A. Stursberg, Olaf University of Kassel Control and System Theory Eecs Germany

ISBN: (纸本)9798350316339

This paper investigates strong structural controllability for multi-agent systems (MAS) with dynamically joining and leaving agents. Changing sets of agents can compromise controllability if only a subset of agents is equipped with control inputs. Based on the graph-theoretical concept of zero forcing, conditions are derived under which MAS with joining and leaving agents can maintain strong structural controllability without needing to reconfigure the leader set. Two methods are proposed: The first, employs so-called zero forcing chains, to provide definitive statements on maintaining SSC. The second is based on forcing agents and offers a quick assessment of feasibility for joining or leaving, but confirms SSC only in specific cases. © 2024 IEEE.

关键词： controllability

来源：评论

学校读者我要写书评

暂无评论

A Tutorial on Quantized Feedback control

引用

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 5-17页

作者： Minyue Fu IEEE the School of System Design and Intelligent Manufacturing Shenzhen Key Laboratory of Control Theory and Intelligent Systems and Centre for Control Science and TechnologySouthern University of Science and TechnologyShenzhen 518055China

In this tutorial paper, we explore the field of quantized feedback control, which has gained significant attention due to the growing prevalence of networked control systems. These systems require the transmission of feedback information, such as measurements and control signals, over digital networks, presenting novel challenges in estimation and control design. Our examination encompasses various topics, including the minimal information needed for effective feedback control, the design of quantizers, strategies for quantized control design and estimation,achieving consensus control with quantized data, and the pursuit of high-precision tracking using quantized measurements.

关键词： Consensus control high-precision control networked control quantized estimation quantized feedback control robust control

来源：评论

学校读者我要写书评

暂无评论

Linear-quadratic and norm-bounded combined differential game guidance scheme with obstacle avoidance for attacking defended aircraft in three-player engagement

引用

Defence Technology（防务技术） 2024年第12期42卷 136-155页

作者： Xintao Wang Ming Yang Songyan Wang Mingzhe Hou Tao Chao Control and Simulation Center Harbin Institute of TechnologyHarbin 150001China National Key Laboratory of Complex System Control and Intelligent Agent Cooperation Harbin 150001China Center for Control Theory and Guidance Technology Harbin Institute of TechnologyHarbin 150001China

A differential game guidance scheme with obstacle avoidance,based on the formulation of a combined linear quadratic and norm-bounded differential game,is designed for a three-player engagement scenario,which includes a pursuer,an interceptor,and an *** confrontation between the players is divided into four phases(P1-P4)by introducing the switching time,and proposing different guidance strategies according to the phase where the static obstacle is located:the linear quadratic game method is employed to devise the guidance scheme for the energy optimization when the obstacle is located in the P1 and P3 stages;the norm-bounded differential game guidance strategy is presented to satisfy the acceleration constraint under the circumstance that the obstacle is located in the P2 and P4 ***,the radii of the static obstacle and the interceptor are taken as the design parameters to derive the combined guidance strategy through the dead-zone function,which guarantees that the pursuer avoids the static obstacle,and the interceptor,and attacks the ***,the nonlinear numerical simulations verify the performance of the game guidance strategy.

关键词： Active defense aircraft Differential game theory Three-player confrontation Energy optimization Acceleration constraint Obstacle avoidance

来源：评论

学校读者我要写书评

暂无评论

Inverting Cryptographic Hash Functions via Cube-and-Conquer

引用

Journal of Artificial Intelligence Research 2024年 81卷 359-399页

作者： Zaikin, Oleg Novosibirsk State University Novosibirsk630090 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia

MD4 and MD5 are fundamental cryptographic hash functions proposed in the early 1990s. MD4 consists of 48 steps and produces a 128-bit hash given a message of arbitrary finite size. MD5 is a more secure 64-step extension of MD4. Both MD4 and MD5 are vulnerable to practical collision attacks, yet it is still not realistic to invert them, i.e., to find a message given a hash. In 2007, the 39-step version of MD4 was inverted by reducing to SAT and applying a CDCL solver along with the so-called Dobbertin’s constraints. As for MD5, in 2012 its 28-step version was inverted via a CDCL solver for one specified hash without adding any extra constraints. In this study, Cube-and-Conquer (a combination of CDCL and lookahead) is applied to invert step-reduced versions of MD4 and MD5. For this purpose, two algorithms are proposed. The first one generates inverse problems for MD4 by gradually modifying the Dobbertin’s constraints. The second algorithm tries the cubing phase of Cube-and-Conquer with different cutoff thresholds to find the one with the minimum runtime estimate of the conquer phase. This algorithm operates in two modes: (i) estimating the hardness of a given propositional Boolean formula;(ii) incomplete SAT solving of a given satisfiable propositional Boolean formula. While the first algorithm is focused on inverting step-reduced MD4, the second one is not area-specific and is therefore applicable to a variety of classes of hard SAT instances. In this study, 40-, 41-, 42-, and 43-step MD4 are inverted for the first time via the first algorithm and the estimating mode of the second algorithm. Also, 28-step MD5 is inverted for four hashes via the incomplete SAT solving mode of the second algorithm. For three hashes out of them, it is done for the first time. © 2024 The Authors.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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 some properties of the Fredholm-type integral algebraic equations

On some properties of the Fredholm-type integral algebraic e...

引用

作者： Chistyakov, Viktor F. Chistyakova, Elena V. Laboratory for Differential Equations and Control Systems Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

In this paper, we study systems of Fredholm integral equations with a singular matrix multiplying the leading part. We address the solvability issues of such systems with separable kernels and, similarly to differenti... 详细信息

关键词： Fredholm integral equations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：