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

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

作者： Gorsky, S.A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia

The paper addresses issues of continuous integration in the development of scientific applications based on workflows (special case of distributed applied software packages) for heterogeneous computing environments. The preparation and carrying out of scientific computational experiments are often accompanied by intensive software modification. Thus, there is a need for the following stages: building, testing, debugging, and installation new versions of software in heterogeneous nodes of environment. These stages may take longer time overheads than computations themselves. The solution to this challenge lies in the use of tools for continuous integration of software. However, such tools require deep integration with the tools for the workflow development because of scientific workflow specifics. To this end, the paper describes the combination of the author's Orlando Tools framework for the development and use packages with the GitLab system that is widely used for continuous integration. Such combination significantly reduces the complexity of software continuous when developing and using packages. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Global optimization for sum-of-ratios problem using D.C. programming 14

Global optimization for sum-of-ratios problem using D.C. pro...

引用

14th International Symposium on Operational Research, SOR 2017

作者： Gruzdeva, Tatiana V. Strekalovsky, Alexander S. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov st. 134 Irkutsk664033 Russia

ISBN: (纸本)9789616165501

This paper addresses a rather general fractional optimization problem. There are two ways to reduce the original problem. The first one is to solve the auxiliary problem with nonlinear nonconvex inequality constraints. The second one is a solution of an equation with the optimal value of an auxiliary nonconvex problem with a vector parameter. Both auxiliary problems turn out to be d.c. optimization problems, which allows to apply Global Optimization theory and develop two corresponding global search algorithms that have been tested. © 2017 SLOVENIAN SOCIETY INFORMATIKA. All rights reserved.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Service-oriented tools for automating digital twin development 4

Service-oriented tools for automating digital twin developme...

引用

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

作者： Kostromin, Roman Feoktistov, Alexander Voskoboinikov, Mikhail Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia

The paper represents a prototype of service-oriented tools for developing digital twins. These tools automate most of the stages in preparing and carrying out a computational experiment reducing the possibility of human error. Computational experiments based on simulation modeling are performed using the proposed tools. As an example in applying the represented tools, a digital twin of a heat pump used as environmentally-friendly equipment of an infrastructure object on the Baikal natural territory is considered. Owing to the growing anthropogenic load, special attention is paid to the objects located at the coast of Lake Baikal. During the simulation modeling, both the heat pump performance characteristics and retrospective meteorological data are used to predict climatic conditions and select optimal control parameters. In addition, the computational experiment has obviously shown that heat pump use significantly reduces the harmful effect on the environment. © 2021 Copyright for this paper by its authors.

关键词： Lakes

来源：评论

学校读者我要写书评

暂无评论

Locating Facilities Under Deliberate Disruptive Attacks 19th

Locating Facilities Under Deliberate Disruptive Attacks

引用

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

作者： Ushakov, Anton V. Vasilyev, Igor Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov str. Irkutsk664033 Russia

ISBN: (纸本)9783030499877

Facility disruptions or failures may occur due to natural disasters or a deliberate man-made attack. Such an attack is known as interdiction. Recently, facility location problems, addressing intentional strikes against operating facilities and strategies to reduce their impact, have received particular attention. In this paper, we present a new location-interdiction median problem aimed at designing a distribution network which is robust to the worst-case, long-term facility losses. We suppose that there are two players: defender (system designer) and attacker. The defender decides where to locate facilities to minimize the overall cost of supplying the demands of customers. The attacker determines which r facilities to interdict to maximize the cost of serving the customers from the remaining operational facilities. Note that we suppose that the facilities are attacked simultaneously and interdicted facilities become unavailable. We propose bilevel and single-level integer formulations of this problem. For a particular case when the attacker hits a single facility, we develop a fast local search procedure based on implicit enumeration of interdiction strategies. We test our approaches in a series of computational experiments on well-known test problems. © 2020, Springer Nature Switzerland AG.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Global optimality conditions for problem with D.C. equality and inequality constraints 14

Global optimality conditions for problem with D.C. equality ...

引用

14th International Symposium on Operational Research, SOR 2017

作者： Strekalovsky, Alexander S. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov st. 134 Irkutsk664033 Russia

ISBN: (纸本)9789616165501

This paper addresses the nonconvex optimization problem with the cost function and the inequality and equality constraints given by d.c. functions. The problem is reduced to the one without constraints by the exact penalization. Furthermore, the penalized problem is a d.c. minimization problem. For the latter problem we develop the Global Optimality Conditions (GOCs) which reduce the nonconvex optimization problem to a family of convex (linearized with respect to the basic nonconvexity) problems. © 2017 SLOVENIAN SOCIETY INFORMATIKA. All rights reserved.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

On a solution of fractional programs via D.C. optimization theory 8

On a solution of fractional programs via D.C. optimization t...

引用

8th International Conference on Optimization and Applications, OPTIMA 2017

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

This paper addresses the problems of fractional programming which data is given by d.c. functions. Such problems are, in general, nonconvex (with numerous local extrema). We develop an efficient global search method for fractional program based on two different approaches. The first approach develops the Dinkelbach's idea and uses a solution of an equation with the optimal value of an auxiliary d.c. optimization problem with a vector parameter. The second one deals with another auxiliary problem with nonconvex inequality constraints. Both auxiliary problems are d.c. optimization problems, which allows us to apply the Global Optimization theory and develop two corresponding global search algorithms. The algorithms have been substantiated and tested on an extended set of sum-of-ratios problems with up to 200 variables and 200 terms in the sum. Also we propose an algorithm for solving problems of fractional programming, which combines the two approaches. © Copyright by the paper's authors.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Automated tools for the development of microservice compositions for hybrid scientific computations 2

Automated tools for the development of microservice composit...

引用

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

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

In recent years, a significant amount of research is focused on the development of tools for creating composite web-services for solving both business and scientific complex problems. This study discusses tools for building compositions or ensembles of microservices (depending on the method of integration) developed based on the HPCSOMAS framework. These tools are oriented on the application in a package of applied microservices for solving computationally complex problems of structural analysis and parametric synthesis of controlled dynamic systems in a heterogeneous high-performance computing environment. In particular, binary dynamic systems are studied using the Boolean constraint method for both their qualitative analysis and synthesis of laws to control these systems. Creating and executing composite services is carried out on a semantic peer-to-peer network of agents. The HPCSOMAS framework supports two modes of these processes, both the static creation and application of a composite service based on the procedural formulation of the problem and dynamic, based on the declarative formulation. In the first case, agents deployed on the network perform hierarchical control over the execution of the composition of microservices, in the second case, decentralized asynchronous management of the ensemble of microservices. Both operating modes are automated, and the validity of the resulting composite service is checked based on a logical approach. The tools are aimed both at a professional programmer and the end-user, a specialist in the subject domain. The HPCSOMAS framework supports the execution of composite microservices in a hybrid computing infrastructure, which includes both cloud and on-premises resources. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Optimization of the composition of the structure of heat sources as applied to the problems of the development of heating systems 2

Optimization of the composition of the structure of heat sou...

引用

2nd International Scientific Conference on Sustainable and Efficient Use of Energy, Water and Natural Resources, SEWAN 2019

作者： Stennikov, V.A. Edeleva, O.A. Fereferov, E.S. Melentiev Energy Systems Institute of SB RAS Russia Matrosov Institute for System Dynamics and Control Theory of SB RAS Russia

The study outlines the concept of the structure of heat sources of developing heating systems and states the problem of searching through structures of heat sources of maximum redundancy for the optimal one. As one of the techniques of solving this problem, the authors propose to split the process of designing heating systems into multiple stages. Within the scope of the above-stated problem, the difficult part is the need to create an automated system to solve the entirety of problems arising at these stages and to reconcile them with each other. We provide a brief overview of the the available software package that we propose to integrate into the process of solving and we underline the complex nature of the interaction of individual software components between each other. The authors propose an approach in the form of the computational experiment setup that enables to consistently coordinate computational procedures with each other. The approach is based on the concept of the energy hub as its theoretical backbone, while in terms of the software implementation it is an instance of an automated information system. © 2020 IOP Publishing Ltd.

关键词： Heating equipment

来源：评论

学校读者我要写书评

暂无评论

Automation of microservices creation for qualitative analysis of binary dynamic systems 1

Automation of microservices creation for qualitative analysi...

引用

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

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov St. 134 Irkutsk664033 Russia

The main objective of qualitative research is to analyze the behavior of the trajectories of a dynamic system to verify whether it corresponds to the set of constraints characterizing the property. We use an approach to study binary dynamic systems on a finite time interval based on the author's method of Boolean constraints. Based on this method, the Boolean model of the properties of a binary dynamic system is written in the language of Boolean equations or Boolean formulas with quantifiers. Thus, the verification of various dynamical properties is reduced to solving the problems of Boolean constraints satisfiability or the validity of a quantified Boolean formula using efficient SAT or TQBF solvers. The high computational complexity of these problems requires the development of software and tools for their parallel and distributed solving and ensuring transparent end-user access to high-performance computing environments based on a service-oriented approach. This paper represents the architecture and functionality of a new instrumental system that automates the creation of a distributed application for solving the considered class of problems based on the microservice approach and multi-agent technology. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Service oriented architecture (SOA)

来源：评论

学校读者我要写书评

暂无评论

Formation of true muonium in the Drell-Yan dimuon production

arXiv

引用

arXiv 2025年

作者： Gninenko, Sergei N. Kuleshov, Sergey Lyubovitskij, Valery E. Zhevlakov, Alexey S. Institute for Nuclear Research The Russian Academy of Sciences Moscow117312 Russia of ANID Fernández Concha 700 Santiago Chile Center for Theoretical and Experimental Particle Physics Facultad de Ciencias Exactas Universidad Andres Bello Fernandez Concha 700 Santiago Chile Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 TübingenD-72076 Germany Bogoliubov Laboratory of Theoretical Physics JINR Dubna Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia

We suggest a new mechanism for the formation of true muonium (TM), the QED (µ+µ−) bound state, due to the Coulomb interaction of muons from µ+µ− pairs generated in the Drell-Yan reaction of protons off nuclei of a thin foil target. The TM atoms produced in the 3S1 long-lived triplet state (oTM) could escape from the foil to vacuum followed by their decay into e+e− pairs. Observation of e+e− events with a displaced vertex, and an invariant mass and decay time consistent with the mass and lifetime of the oTM is used as a signature of the discovery of TM. We present estimates of the TM yield and briefly discuss an experiment which could lead to such a discovery. © 2025, CC BY.

关键词： Coulomb interactions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：