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

Proceedings of the International Convention MIPRO

作者： Alexander Larionov Artem Davydov Evgeny Cherkashin Irkutsk State University Irkutsk Russia Institute for System Dynamics and Control Theory Irkutsk Russia

Originally, the calculus of positively constructed formulas without function symbols was developed by Russian scientists S.N. Vassilyev and A.K. Zherlov by an evolutionary way in describing and solving of control theory problems. This calculus has features which are important, without loss of generality, for control theory applications. Later investigations shown that the calculus has features providing a good possibility to combine the proof procedure and the problem heuristics. Thus, calculus of positively constructed formulas can be characterized both as machine- and human-oriented. In this paper the calculus of positively constructed formulas with function symbols is considered. We provide the proofs of soundness and completeness for this calculus. Features, strategies, and some prototype prover implementation aspects are presented.

关键词： Calculus control theory Prototypes Equations Semantics Electronic mail Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Algorithms for optimal control of logic-dynamic systems

Algorithms for optimal control of logic-dynamic systems

引用

European control Conference (ECC)

作者： Vladimir Baturin Elena Goncharova Nadezhda Maltugueva Institute of System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Russia

First and second order successive improvement algorithms to solve problems of optimal control of logic-dynamic systems are developed based on Krotov type sufficient conditions of optimality.

关键词： Optimal control Process control Algorithm design and analysis Heuristic algorithms Equations Approximation algorithms Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Multiple Project Scheduling for a Network Roll-Out Problem: MIP Formulation and Heuristic 21st

Multiple Project Scheduling for a Network Roll-Out Problem: ...

引用

21st International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2022

作者： Vasilyev, Igor Rybin, Dmitry Kudria, Sergey Ren, Jie Zhang, Dong Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Huawei Novosibirsk Research Center Novosibirsk Russia The Chinese University of Hong Kong Shenzhen China Huawei Moscow Research Center Moscow Russia Algorithm and Technology Development Department Global Technical Service Department Huawei Technologies Co. Ltd. Dongguan China

ISBN: (纸本)9783031096068

The paper addresses the Network Roll-Out (NRO) problem aimed at scheduling the construction of mobile stations. In this case, NRO problem can be considered as a generalization of Resource-Constrained Project Scheduling Problem, where we need to find a schedule for the activities related to the construction of a set of base stations taking into account the precedence constraints and the availability of resources while minimizing some measure of performance. The generalization involves the multiple projects, multi-modes, discrete time-cost tradeoff, together with particular business requirements like precedence redundancy and workload stability constraints. To solve this problem, we propose a MIP formulation that is based on a generalization of Disaggregated Discrete-Time formulation with pulse start variables. Using this formulation, we propose a three-stage heuristic based on a relax and fix strategy. The effectiveness and efficiency of the proposed approach are illustrated in a series of computational experiments on real-life problem instances. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

On solvability of singular systems of quasilinear integro-diferential equations

On solvability of singular systems of quasilinear integro-di...

引用

2010 Chinese control and Decision Conference

作者： Elena V.Chistyakova Victor F.Chistyakov Milimir R.Pjescic Dragutin Lj.Debeljkovic Institute of system dynamics and control theory Siberian branch Russian academy of sciences IrkutskRussia

General form of singular systems represented as a first order of quasilinear integro-differential first order vector equations is *** theorem of existence is proved and a numerical method of solution is proposed.

关键词： singular integro-differential-algebraic matrix pencil

来源：评论

学校读者我要写书评

暂无评论

The LbL contribution to the muon g-2 from the axial-vector mesons exchanges within the nonlocal quark model

arXiv

引用

arXiv 2019年

作者： Dorokhov, A.E. Martynenko, A.P. Martynenko, F.A. Radzhabov, A.E. Zhevlakov, A.S. Joint Institute of Nuclear Research BLTP Moscow region Dubna141980 Russia Samara University Samara443086 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia

The light-by-light contribution from the axial-vector (AV) mesons exchanges to the muon anomalous magnetic moment is estimated in the framework of the nonlocal chiral quark model. The preliminary answer for contributions from a1 and f1 mesons to (g − 2)µ is 0.34 · 10−11 and does not support the Melnikov-Vainshtein estimate 2.2 · 10−11. Copyright © 2019, The Authors. All rights reserved.

关键词： Charged particles

来源：评论

学校读者我要写书评

暂无评论

Identification of the energy system critical elements using the PARMONC library

Identification of the energy system critical elements using ...

引用

International Conference on Marchuk Scientific Readings 2020, MSR 2020

作者： Edelev, A.V. Marchenko, M.A. Basharina, O.Yu. Melentiev Energy Systems Institute SB RAS Lermontov St. 130 Irkutsk664033 Russia Institute of Computational Mathematics and Mathematical Geophysics SB RAS 6 Ac. Lavrentieva ave. Novosibirsk630090 Russia Novosibirsk State University Novosibirsk-90 2 630090 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov St. 134 Irkutsk664033 Russia

In this paper, we presented a Monte Carlo-based approach for vulnerability analyse of energy systems. For high-performance Monte Carlo simulation the PARMONC software library was used. The PARMONC is implemented on high-performance clusters of the Siberian Supercomputer Center. The PARMONC effectively launches parallel stochastic simulation on supercomputers with different architectures. The proposed approach was applied was applied for the identification and ranking the most important elements of a real-world natural gas supply system. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

The light-by-light contribution to the muon anomalous magnetic moment from the axial-vector mesons exchanges within the nonlocal quark model

arXiv

引用

arXiv 2023年

作者： Radzhabov, Andrey E. Zhevlakov, A.S. Martynenko, A.P. Martynenko, F.A. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia Joint Institute of Nuclear Research BLTP Moscow region Dubna141980 Russia Samara University Samara443086 Russia

The contribution of axial-vector mesons to the muon’s anomalous magnetic moment through a light-by-light process is considered within a nonlocal quark model. The model is based on a four-quark interaction with scalar–pseudoscalar and vector–axial-vector sectors. While the transverse component of the axial-vector corresponds to a spin-1 particle, the unphysical longitudinal component is mixed with a pseudoscalar meson. The model parameters are re-fitted to the pion properties in the presence of π − a1 mixing. The obtained estimation for the light-by-light contribution of a1 + f1 mesons is (3.6 ± 1.8) · 10−11 Copyright © 2023, The Authors. All rights reserved.

关键词： Magnetic moments

来源：评论

学校读者我要写书评

暂无评论

Toolkit for simulation modeling of queue systems in Grid 1

Toolkit for simulation modeling of queue systems in Grid

引用

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

作者： Feoktistov, A.G. Kostromin, R.O. Fereferov, E.S. Tchernykh, A. Basharina, O.Yu. Dmitriev, V.I. Kurzybova, Ya.V. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia CICESE Research Center Ensenada-Tijuana Highway Ensenada22860 3918 Mexico Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia Irkutsk State University Karl Marx St. 1 Irkutsk664003 Russia

The paper addresses an important problem related to automation of simulation modeling of queue systems using high-performance computing. There is a large spectrum of tools for the simulation modeling of such systems. However, these tools often do not use the possibilities of subject-oriented high-performance computing in full. The purpose of the study is the development of the new tools for automation of the simulation modeling of queue systems in a heterogeneous distributed computing environment. To this end, we develop specialized applications for parameter sweep computations in such an environment. A methodology of the application development is based on the integrated use of methods of the conceptual and wireframe programming, methods of the computations planning and resources allocation, methods of parameter sweep computations, and methods of the data analysis. We develop the toolkit named SIRIUS III for the simulation modeling of queue systems using high-performance computing. In addition, we design a conceptual model that represents knowledge about both the subject domain of solved problems and computing environment. Using the proposed toolkit, we solved a number of problems related to warehouse logistics. Computational experiments showed the high scalability of parameter sweep computations on heterogeneous resources. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Queueing theory

来源：评论

学校读者我要写书评

暂无评论

An Intelligent Assistant for Decision Support in the Case of Aircraft Troubleshooting

An Intelligent Assistant for Decision Support in the Case of...

引用

Information Technology and Nanotechnology (ITNT), International Conference on

作者： Nikita O. Dorodnykh Aleksandr B. Stolbov Olga O. Nikolaychuk Aleksandr Yu. Yurin Siberian Branch of the Russian Academy of Sciences (ISDCT) Matrosov Institute for System Dynamics and Control Theory Irkutsk Russia Irkutsk Branch (MSTUCA) Moscow State Technical University of Civil Aviation Irkutsk Russia

One of the trends in the development of information technologies and artificial intelligence is intelligent assistants in the form of chatbots or voice assistants, which are actively beginning to be implemented in various domains. In this paper, the modeling and software implementation of a chatbot to support technical personnel in diagnosing aircraft malfunctions are considered. The models of the dialog, elements of the knowledge base implementation, as well as an example of its operation, are described. The constructed models are considered as content ontological patterns and describe the object of the study, the malfunction, and the relationships between the signs of the malfunction and its causes. These templates are used in the design of a knowledge base, containing logical rules presented in the form of decision tables of a special type. The novelty of the proposed solution is the use as a methodological basis of the principles of model-driven development in the context of creating problem-specific virtual assistants.

关键词：

来源：评论

学校读者我要写书评

暂无评论

German-Russian astroparticle data life cycle initiative 36

German-Russian astroparticle data life cycle initiative

引用

36th International Cosmic Ray Conference, ICRC 2019

作者： Haungs, Andreas Bychkov, Igor Dubenskaya, Julia Fedorov, Oleg Heiss, Andreas Kang, Donghwa Kazarina, Yulia Korosteleva, Elena Kostunin, Dmitriy Kryukov, Alexander Mikhailov, Andrey Nguyen, Minh-Duc Polgart, Frank Polyakov, Stanislav Postnikov, Evgeny Shigarov, Alexey Shipilov, Dmitry Streit, Achim Tokareva, Victoria Wochele, Doris Wochele, Jürgen Zhurov, Dmitry Karlsruhe Institute of Technology IKP Karlsruhe76021 Germany Matrosov Inst. f. System Dynamics and Control Theory Irkutsk664033 Russia Irkutsk State University Irkutsk664003 Russia Lomonosov Moscow State University SINP Moscow119991 Russia Irkutsk State University Applied Physics Institute Irkutsk664003 Russia Karlsruhe Institute of Technology SCC Karlsruhe76021 Germany DESY Zeuthen15738 Germany

A data life cycle (DLC) is a high-level data processing pipeline that involves data acquisition, event reconstruction, data analysis, publication, archiving, and sharing. For astroparticle physics a DLC is particularly important due to the geographical and content diversity of the research field. A dedicated and experiment spanning analysis and data centre would ensure that multi-messenger analyses can be carried out using state-of-the-art methods. The German-Russian Astroparticle Data Life Cycle Initiative (GRADLCI) is a joint project of the KASCADE-Grande and TAIGA collaborations, aimed at developing a concept and creating a DLC prototype that takes into account the data processing features specific for the research field. An open science system based on the KASCADE Cosmic Ray Data Centre (KCDC), which is a web-based platform to provide the astroparticle physics data for the general public, must also include effective methods for distributed data storage algorithms and techniques to allow the community to perform simulations and analyses with sophisticated machine learning methods. The aim is to achieve more efficient analyses of the data collected in different, globally dispersed observatories, as well as a modern education to Big Data Scientist in the synergy between basic research and the information society. The contribution covers the status and future plans of the initiative. © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND 4.0).

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：