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

2nd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2019

作者： Yurin, Aleksandr Yu. Berman, Aleksandr F. Nikolaychuk, Olga A. Kuznetsov, Kirill A. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences 134 Lermontov st. Irkutsk664033 Russia Irkutsk Research and Design Institute of Chemical and Petrochemical Engineering 3 Akademika Kurchatova st. Irkutsk664074 Russia

A regular assessment of a technical state and calculation of a residual life are important measures for the safe operation of petrochemical facilities. These measures are parts of the industrial safety inspection (ISI) procedure. The efficiency of this procedure can be improved with the aid of decision support systems, which are process and reuse of accumulated information and experience on the basis of a case-based reasoning (CBR) approach. The formalization of the main ISI tasks is made in order to apply CBR. The case models developed for each ISI task. Testing models and approach was carried out in the special software in Irkutsk research and design institute of chemical and petroleum engineering. Copyright © 2019 for this paper by its authors.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Chiral phase transition and kaon-to-pion ratios in the entanglement SU(3) PNJL model

arXiv

引用

arXiv 2020年

作者： David, Blaschke Friesen, A.V. Kalinovsky, Yu.L. Radzhabov, A. Joint Institute for Nuclear Research Dubna141980 Russia Institute for Theoretical Physics University of Wroclaw Wroclaw50-204 Poland Moscow115409 Russia Dubna State University Dubna141982 Russia Matrosov Institute for System Dynamics and Control Theory Irkutsk664033 Russia

Within the three-flavor PNJL and EPNJL chiral quark models we have obtained pseudoscalar meson properties in quark matter at finite temperature T and baryochemical potential µB. We compare the meson pole (Breit-Wigner) approximation with the Beth-Uhlenbeck (BU) approach that takes into account the continuum of quark-antiquark scattering states when determining the partial densities of pions and kaons. We evaluate the kaon-to-pion ratios along the (pseudo-)critical line in the T − µB plane as a proxy for the chemical freezeout line, whereby the variable x = T/µB is introduced that corresponds to the conserved entropy per baryon as initial condition for the heavy-ion collision experiments. We present a comparison with the experimental pattern of kaon-to-pion ratios within the BU approach and using x-dependent pion and strange quark potentials. A sharp"horn" effect in the energy dependence K+/π+ ratio is explained by the enhanced pion production at energies above √sNN = 8 GeV, when the system enters the regime of meson dominance. This effect is in line with the enhancement of low-momentum pion spectra that is discussed as a precursor of the pion Bose condensation and entails the occurrence of a nonequilibrium pion chemical potential of the order of the pion mass. We elucidate that the horn effect is not related to the existence of a critical endpoint in the QCD phase diagram. Copyright © 2020, The Authors. All rights reserved.

关键词： Hadrons

来源：评论

学校读者我要写书评

暂无评论

Educational and outreach resource for astroparticle physics

arXiv

引用

arXiv 2020年

作者： Kazarina, Yulia Khristyuk, Vasiliy Kruykov, Alexander Postnikov, Evgeny Samoliga, Vladimir Shigarov, Alexey Tokareva, Victoria Zhurov, Dmitriy Applied Physics Institute of ISU Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Russia Lomonosov Moscow State University Skobeltsyn Institute of Nuclear Physics Moscow Russia Institute for Nuclear Physics KIT Karlsruhe Germany

The modern astrophysics is moving towards the enlarging of experiments and combining the channels for detecting the highest energy processes in the Universe. To obtain reliable data, the experiments should operate within several decades, which means that the data will be obtained and analyzed by several generations of physicists. Thus, for the stability of the experiments, it is necessary to properly maintain not only the data life cycle, but also the human aspects, for example, attracting, learning and continuity. To this end, an educational and outreach resource has been deployed in the framework of German-Russian Astroparticle Data Life Cycle Initiative (GRADLCI). Copyright © 2020, The Authors. All rights reserved.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Orlando Tools: Development, Training, and Use of Scalable Applications in Heterogeneous Distributed Computing Environments 5th

Orlando Tools: Development, Training, and Use of Scalable Ap...

引用

5th Latin American Conference on High Performance Computing, CARLA 2018

作者： Tchernykh, Andrei Feoktistov, Alexander Gorsky, Sergei Sidorov, Ivan Kostromin, Roman Bychkov, Igor Basharina, Olga Alexandrov, Vassil Rivera-Rodriguez, Raul CICESE Research Center Ensenada Mexico Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia Irkutsk State University Irkutsk Russia South Ural State University Chelyabinsk Russia ICREA-BSC Barcelona Spain

ISBN: (纸本)9783030162047

We address concepts and principles of the development, training, and use of applications in heterogeneous environments that integrate different computational infrastructures including HPC-clusters, grids, and clouds. Existing differences in the Grid and cloud computing models significantly complicate problem-solving processes in such environments for end-users. In this regards, we propose the toolkit named Orlando Tools for creating scalable applications for solving large-scale scientific and applied problems. It provides mechanisms for the subject domain specification, problem formulation, problem-solving time prediction, problem-solving scheme execution, monitoring, etc. The toolkit supports hands-on training skills for end-users. To demonstrate the practicability and benefits of Orlando Tools, we present an example of the development and use of the scalable application for solving practical problems of warehouse logistics. © Springer Nature Switzerland AG 2019.

关键词： Cluster computing

来源：评论

学校读者我要写书评

暂无评论

A method and tools for prototyping components of intelligent systems based on transformations

引用

Journal of Physics: Conference Series 2021年第1期1864卷

作者： I. V. Bychkov A. Yu. Yurin Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS) 134 Lermontov str. Irkutsk 664033 Russia

The paper describes a method and tools for prototyping components of intelligent systems. These means are the parts of the PESoT technology based on generative and visual programming as well as the model transformations. The proposed method redefines the main stages and models of the standardized model-driven approach, in particular, Model Driven Architecture in the context of developing knowledge bases and expert systems that use the logical rules formalism. The description of the method is presented. Proposed tools include languages and software. Specifically, the Rule Visual Modeling Language and Personal Knowledge Base Designer are used for knowledge bases engineering including modeling and codification; the Transformation Model Representation Language and Knowledge Base Development system support model transformations and the rapid creation of computation-independent models. Described tools were applied to solve problems in the field of reliability and safety of technical systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using UML class diagrams for content ontology design patterns engineering

引用

Journal of Physics: Conference Series 2021年第1期1801卷

作者： N O Dorodnykh O A Nikolaychuk A Y Yurin Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences (ISDCT SB RAS) 134 Lermontov str. Irkutsk 664033 Russia

The paper presents a method for Ontology Design Patterns (ODP) engineering based on the transformation of conceptual models serialized in the XML-like formats. In this paper, we use UML class diagrams as the source of conceptual models. The method includes the following activities: design and serialization of a source conceptual domain model; analysis and transformation of an XML structure of a source conceptual model to an ontological schema model; transformation of an ontological schema model to a content ODP code in the OWL 2 DL format; verification and modification of obtained content ODPs by domain experts. All transformations are implemented with the use of original domain-specific language, namely, Transformation Model Representation Language (TMRL). The proposed method is used for ODPs engineering in tasks of industrial safety inspection of technical systems. Obtained ODPs can be used for knowledge bases and intelligent systems engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multiple covering of a closed set on a plane with non-Euclidean metrics

引用

IFAC-PapersOnLine 2018年第32期51卷 850-854页

作者： Lempert, Anna Le, Quang Mung Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Science Irkutsk Russia Irkutsk National Research Technical University Irkutsk Russia

The article is devoted to multiple circle covering problem for a bounded set in a two-dimensional metric space with a given amount of circles. Such statements arise in the construction of global navigation systems like GPS and Glonass. A similar problem appears in infrastructure logistics if there is a main servicing system and it is necessary to create a duplicate system to support service in the case of failure of one or more nodes. To solve this problem, we propose a computational algorithm based on a combination of the optical-geometric approach due to Fermat and Huygens principles and Voronoi diagram. A key feature of the algorithm is the ability to deal with non-Euclidean metrics. Numerical results and a comparison with known approaches are presented and discussed. © 2018

关键词： Problem solving Computational geometry Graphic methods Satellite navigation aids Computational experiment Covering problems Geometric approaches Non Euclidean Numerical algorithms Voronoi diagrams

来源：评论

学校读者我要写书评

暂无评论

Representation of MDA Transformation with Logical Objects

Representation of MDA Transformation with Logical Objects

引用

IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering, SIBIRCON

作者： Evgeny Cherkashin Alexey Shigarov Viacheslav Paramonov Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Scientific Center of SB RAS Irkutsk Russia

The problem of software modeling having various models as sources and its transformation based on logical inference is considered. Source models are converted into graphs of RDF and then processed with knowledge based system organized in a network of objects. Various notation can be used to represent models, such as UML, SysML, CMMN, BPMN2.0, as well as RDF graphs and analyzed source code, having implemented a corresponding converter. The objects are represented in the LogTalk programming language. Objects query graphs and other objects implementing a scenario of a software system synthesis within Model Driven Architecture paradigm. Usage of such kind of transformation approach allows us to develop software system carcasses on the level of abstract models, involve various sources of model data in the transformation, define and structuring conversion knowledge as objects. An example of a dataflow environment synthesis encapsulating Mothur library for new generation sequencing is presented.

关键词： Unified modeling language Object oriented modeling Data models Resource description framework Tools Computational modeling Ontologies

来源：评论

学校读者我要写书评

暂无评论

To the high-precision adjustment of the source of electromagnetic radiation in the geostationary orbit

引用

Journal of Automation and Information Sciences 2018年第3期50卷 51-62页

作者： Banshchikov, A.V. Vetrov, A.A. Daneev, A.V. Rusanov, V.A. V.M. Matrosov Institute of Systems Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk Russia V.M. Matrosov Institute of Systems Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk Russia Irkutsk State University of Communication Lines Irkutsk Russia V.M. Matrosov Institute of Systems Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk Russia

The paper studies a multivariate nonlinear regression-tensor model in the substantiation of necessary and sufficient conditions of the optimal multifactorial process of precision calibration of the parameters of the electromagnetic radiation source in the geostationary orbit (for example, satellite of system GLONASS). The paper proposes a robust-adaptive strategy of a posteriori formation of the target functional of the electromagnetic observability of weighted distribution signal in a fixed unit of fixed ground points on the basis of observations of this signal, executed with an error. © 2018 by Begell House Inc.

关键词： Electromagnetic wave emission

来源：评论

学校读者我要写书评

暂无评论

Collocation-variation difference schemes for differential-algebraic equations

Collocation-variation difference schemes for differential-al...

引用

作者： Bulatov, Mikhail V. Solovarova, Liubov S. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk Russia

We consider the initial value problem in linear differential-algebraic equations and highlight the difficulties of the construction of numerical methods for these problems. We propose one-step difference schemes based on the collocation-variational approach and show the principal difference between these algorithms and the known difference schemes. The analysis of the particular cases of such schemes are given. Copyright © 2018 John Wiley & Sons, Ltd.

关键词： Initial value problems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：