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

Journal of Applied and Numerical Optimization 2021年第1期3卷 175-196页

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

The paper addresses the nonconvex nonsmooth optimization problem with the cost function, and equality and inequality constraints given by d.c. functions, i.e. represented as a difference of convex functions. The original problem is reduced to a problem without constraints with the help of the exact penalization theory. After that, the penalized problem is represented as a d.c. minimization problem without constraints, for which the new mathematical tools under the form of global optimality conditions (GOCs) are developed. The GOCs reduce the nonconvex problem in question to a family of convex (linearized with respect to the basic nonconvexities) problems. In addition, the GOCs are related to some nonsmooth form of the KKT-theorem for the original problem. Besides, the GOCs possess the constructive (algorithmic) property, which, when the GOCs are broken down, implies the producing of a feasible point that is better (in the original problem) than the one in question. The effectiveness of the GOCs is demonstrated by examples. © 2021 Journal of Applied and Numerical Optimization.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

system for monitoring parameters of functioning infrastructure objects and their external environment 2

System for monitoring parameters of functioning infrastructu...

引用

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

作者： Sidorov, I.A. Kostromin, R.O. Feoktistov, A.G. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia

The paper addresses relevant issues applying the concept of Industry 4.0 in related to modeling infrastructure objects at the Baikal natural territory that use environmentally friendly technologies. In particular, the use of heat pumps belongs to such technologies, since this enables us to reduce air emissions. Object models are designed on the basis of their digital twins. Digital twins are intended to reflect the structure and processes of object functioning. In addition, we plan to delegate them the decision-making in managing these objects in real-time. Such a digital twin has to become smarter over time. This virtual entity has to gain knowledge and skills to select optimal scenarios for controlling object and improving its functioning parameters. Therefore, the initial problem in its development is creating a monitoring system for the collection, unification, aggregation, storage, and transmission of subject-oriented data. Such data include information about the object operation and environmental state. The data must be promptly obtained from peripheral equipment (controlling and measuring devices). For the effective operation of a digital twin, we have to partially transfer functions of primary data processing, their intellectual analysis and decision-making to the controlling and measuring devices. To this end, we use agents that implement software on peripheral equipment. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Automation of distributed data management in applied microservices package for scientific computations 2

Automation of distributed data management in applied microse...

引用

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

We offer a specialized toolkit for automating both knowledge management when creating an applied microservices package and data accumulating during its application for scientific computations in a hybrid computing environment. The decentralized solving of the declaratively formulated problem is carried out by an active agent group. This group is self-organized by logical inference on the distributed knowledge base of a subject domain. The developed toolkit automates the creating and updating of the local knowledge base of the manager-agent of applied microservices package, as well as the local knowledge bases of distributed computational agents. Local knowledge bases are formed using a description of the interface of computational microservices managed by these agents. Microservice ensembles, corresponding to the active group, are stored in the knowledge base of the manager-agent. The developed toolkit uses this information for testing microservice in the case of its update. In hybrid computing, this toolkit provides synchronizing, archiving, and saving of calculated data. Hybrid infrastructure combines the reliability and availability of using on-premises computers with scaling to the cloud when peak loads occur. The conducted experiments confirmed the effectiveness of the presented approach for solving practically significant scientific problems. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Managers

来源：评论

学校读者我要写书评

暂无评论

The concept of a software complex for interdisciplinary problems solving based on self-organization principle 3

The concept of a software complex for interdisciplinary prob...

引用

3rd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2020

作者： Berman, Alexander Nikolaychuk, Olga Pavlov, Alexander Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Lermontova134 Russia

The paper presents the concept of a software complex for solving interdisciplinary problems based on self-organization features. In particular, the basic principles and stages of self-organization process during solving an interdisciplinary problems of designing complex technical systems, as well as the architecture of proposed software along with some details of implementation are considered. The architecture of the software complex includes subject and problem ontologies, data and knowledge bases, set of "solvers" as well as intelligent scheduler. The intelligent scheduler implements the self-organization algorithm and provides creation the computing environment for solving considered problem using "solvers" as a buildings blocks. The implementation of self-organizing algorithm base on combination of knowledge representation as an ontologies, group decision-making, component and model-oriented approaches. Self-organization features in context of designing complex technical systems task are implemented on the stages of defining the design methodology, determining the source data, solving the problem, and training the system. The intelligent scheduler can analyze the state of current task with set of indicators and manage it through a set of local rules. This paper presents examples of local rules for each stage. The stages specifications in the form of technological diagrams that contains components used ("solvers"), their connections along with the results of their work describe the self-organization process features related to each stage. The software implementation are based on the capabilities of the used platform for creating knowledge-based systems developed by the authors and component approach applied to specialized component development. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Survey of software configuration management tools of nodes in heterogeneous distributed computing environment 2

Survey of software configuration management tools of nodes i...

引用

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

作者： Kostromin, R.O. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia

The paper discusses the problem of preparing a computing environment for large-scale scientific experiments in the process of continuous integration of applied and system software. A comparative analysis of software configuration management tools (such as Chef, Ansible, Puppet, and SaltStack) of computational nodes in a heterogeneous environment is being performed. These tools are intended for automating the configuration of different nodes. Such automation reduces the setup time of nodes and increases the reliability of computations by minimizing the number of software and hardware failures, associated with the human factor in the manual configuration process. For the development of scientific applications, the Orlando Tools framework is used. Based on the results of the comparative analysis and requirements of this framework, the Ansible framework was selected for further integration into the chain of continuous integration of applied and system software. Practical experiments have shown the advantages of using Ansible in comparison with other systems of a similar purpose. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Software reliability

来源：评论

学校读者我要写书评

暂无评论

Tender of computational works in heterogeneous distributed environment 2

Tender of computational works in heterogeneous distributed e...

引用

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

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

Nowadays, applying various market-based methods for regulating supply and demand of resources for distributed computing is becoming increasingly relevant. In particular, different forms of standard auctions are actively used. However, their basic capabilities often do not enable to fully solve the complicated problems of resource allocation in a heterogeneous distributed computing environment. In this regard, a tender of computational works based on a combinatorial Vickrey auction has been designed. It is applied within multi-agent computing management. For the tender, new models are proposed to rank the criteria of resources owners and users. The tender use advantages are shown in comparison with traditional meta-schedulers. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Continuous integration, delivery, and deployment for scientific workflows in Orlando Tools 2

Continuous integration, delivery, and deployment for scienti...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：