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

2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019

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

ISBN: (纸本)9781728144016

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. © 2019 IEEE.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Transverse momentum dependence of the T-even hadronic structure functions in the Drell-Yan process

arXiv

引用

arXiv 2024年

作者： Lyubovitskij, Valery E. Zhevlakov, Alexey S. Anikin, Iurii A. Institut für Theoretische Physik Universität Tübingen Auf der Morgenstelle 14 TübingenD-72076 Germany of ANID Fernández Concha 700 Santiago Chile Bogoliubov Laboratory of Theoretical Physics JINR Dubna141980 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia Department of Physics Tomsk State University Tomsk634050 Russia

We present detailed analysis of the T-even lepton angular distribution in the Drell-Yan process including γ/Z0 gauge boson exchange and using perturbative QCD based on the collinear factorization scheme at leading order in the αs expansion. We focus on the study of the transverse momentum QT dependence of the corresponding hadronic structure functions and angular coefficients up to next-to-next-to-leading order in the Q2T/Q2 expansion. We analyze QT dependence numerically and compare T-even angular coefficients integrated over rapidity with available data of the ATLAS Collaboration at LHC. Additionally, we present our results for the forward-backward asymmetry and compare it with data. © 2024, CC BY.

关键词： Hadrons

来源：评论

学校读者我要写书评

暂无评论

Hamiltonian formalism for Fermi excitations in a plasma with a non-Abelian interaction

arXiv

引用

arXiv 2021年

作者： Adolfovich, Yuri Markov Markova, M.A. Yu. Markov, N. Matrosov Institute for System Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk664033 Russia

The Hamiltonian theory for the collective longitudinally polarized colorless gluon excitations (plasmons) and for collective quark-antiquark excitations with abnormal relation between chirality and helicity (plasminos) in a high-temperature quark-gluon plasma (QGP) is developed. For this purpose, Zakharov’s formalism for constructing the wave theory in nonlinear media with dispersion is used. A generalization of the Poisson superbracket involving both commuting and anticommuting variables to the case of a continuous medium is performed and the corresponding Hamilton equations are presented. The canonical transformations including simultaneously both bosonic and fermionic degrees of freedom of the collective excitations in QGP are discussed and a complete system of the canonicity conditions for these transformations is written out. An explicit form of the effective fourth-order Hamiltonians describing the elastic scattering of plasmino off plasmino and plasmino off plasmon is found and the Boltzmann type kinetic equations describing the processes of elastic scattering are obtained. A detailed comparison of the effective amplitudes defined within the (pseudo)classical Hamiltonian theory, with the corresponding matrix elements calculated early in the framework of high-temperature quantum chromodynamics in the so-called hard thermal loop approximation is performed. This enables one to obtain, in particular, an explicit form of the vertex and coefficient functions in the effective amplitudes and in the canonical transformations, correspondingly, and also to define the validity of a purely pseudoclassical approach in the Hamiltonian description of the dynamics of a quark-gluon plasma. The problem of determining the higher-order coefficient functions in the canonical transformations of fermionic and bosonic normal variables is considered. With the help of the coefficient functions obtained, the totally symmetric effective amplitudes of the elastic scattering of plasmino of

关键词： Quantum theory

来源：评论

学校读者我要写书评

暂无评论

Orlando tools: Energy research application development through convergence of grid and cloud computing 4th

Orlando tools: Energy research application development throu...

引用

4th Russian Supercomputing Days Conference, RuSCDays 2018

作者： Feoktistov, Alexander Gorsky, Sergei Sidorov, Ivan Kostromin, Roman Edelev, Alexei Massel, Lyudmila Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia Melentiev Energy Systems Institute of SB RAS Irkutsk Russia

ISBN: (纸本)9783030058067

The paper addresses the relevant problem related to the development of scientific applications (applied software packages) to solve large-scale problems in heterogeneous distributed computing environments that can include various infrastructures (clusters, Grid systems, clouds) and provide their integrated use. We propose a new approach to the development of applications for such environments. It is based on the integration of conceptual and modular programming. The application development is implemented with a special framework named Orlando Tools. In comparison to the known tools, used for the development and execution of distributed applications in the current practice, Orlando Tools provides executing application jobs in the integrated environment of virtual machines that include both the dedicated and non-dedicated resources. The distributed computing efficiency is improved through the multi-agent management. Experiments of solving the large-scale practical problems of energy security research show the effectiveness of the developed application for solving the aforementioned problem in the environment that supports the hybrid computational model including Grid and cloud computing. © 2019, Springer Nature Switzerland AG.

关键词： Energy security

来源：评论

学校读者我要写书评

暂无评论

***: A plugin for ontological schemas generation 3

***: A plugin for ontological schemas generation

引用

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

作者： Dorodnykh, Nikita Yurin, Aleksandr Vidiya, Anastasia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov St. 134 Irkutsk Russia

The use of Semantic Web technologies (including ontologies) for intelligent systems and knowledge bases engineering is a widespread practice, it is true especially for tasks of conceptualization and formalization. However, tools and approaches used for these tasks in most cases provide only a manual manipulation of concepts and relationships. In this regard, the use of various information sources for automated ontology engineering is relevant. One of these sources is spreadsheets. In this paper, we propose an approach for the automated creation of ontological schemas based on the analysis and transformation of spreadsheets data. The feature of our approach is the original relational canonicalized form of spreadsheets. This form is used for preprocessing spreadsheets and unifying the input data. The proposed approach is implemented in the form of a plugin (***) for Personal Knowledge Base Designer - software for prototyping rule-based expert systems. The main stages of the approach, the architecture and functions of the plugin, and the case study are also described. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Rule creation based on decision tables in knowledge-based systems development platform 3

Rule creation based on decision tables in knowledge-based sy...

引用

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

作者： Nikolaychuk, O.A. Pavlov, A.I. Stolbov, A.B. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences 134 Lermotov st. Irkutsk Russia

New results related to rule-based reasoning component of knowledge-based systems development platform are considered in the paper. Namely, the technique for the alternative way of rule creation based on the decision table approach is proposed. The data model of the decision table in the context of the platform, the transformation scheme from the decision table into rules are suggested. The implementation issues based on previously developed components are also discussed. The graphical user interface and database diagram are shown. As an illustrative example, the problem of identification of degradation processes of mechanical systems is chosen. The proposed technique is well suited for situations when there are numerous combinations of the facts of quite large set of templates in condition and action parts of rules. The end-user benefits are to represent knowledge in a tabular form that is convenient for analysis and evaluation, as well as to reduce the number of actions when creating a rule by the description of repeated actions in the transformation scheme. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Stability of an Interval Family of Differential-Algebraic Equations with Variable Coefficients

引用

Journal of Mathematical Sciences (United States) 2019年第2期239卷 214-231页

作者： Shcheglova, A.A. Kononov, A.D. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov St Irkutsk 664033 Russian Federation

We consider a linear nonstationary system of ordinary differential equations with interval coefficients which is not solvable with respect to the derivative of the unknown vector-valued function for any matrix coefficients in a given interval family. We obtain conditions sufficient for the preservation of the internal structure of the system. Under conditions guaranteeing the structure preservation, we obtain sufficient and necessary robust stability conditions. A variable rank of matrix coefficients and an arbitrary high unsolvability index are allowed. © 2019, Springer Science+Business Media, LLC, part of Springer Nature.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digital environmental monitoring technology Baikal natural territory 3

Digital environmental monitoring technology Baikal natural t...

引用

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

作者： Bychkov, Igor V. Ruzhnikov, Gennady M. Fedorov, Roman K. Khmelnov, Alexey E. Popova, Anastasia K. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov st. 134 Irkutsk Russia

An approach to digital transformation of environmental monitoring of the Baikal natural territory is proposed, using digital platforms and a service-oriented paradigm, an infrastructure approach, declarative specifications, as well as end-to-end and Web-based technologies for collecting and processing large volumes of spatial and temporal data, which improves the quality of decisions. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Environmental technology

来源：评论

学校读者我要写书评

暂无评论

Technology for prototyping expert systems based on transformations (PESoT): A method 3

Technology for prototyping expert systems based on transform...

引用

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

作者： Yurin, Aleksandr Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov St. 134 Irkutsk Russia

The development of intelligent systems and their software components (modules) continues to be a complex and time-consuming task. One of the ways to improve the efficiency of this process is to use the principles of generative and visual programming, as well as the model transformations in the context of conceptualization, formalization, and automatic codification of knowledge. This work is devoted to the description of one of the elements of the information technology for Prototyping Experts systems and these components based on Transformations (namely, PESoT), in particular, to the method. This method implements and redefines the basic principles of the model-driven approach: models and the development process in the form of a chain of sequential transformations of models with more abstraction to ones with less abstraction and obtaining interpreted program codes and specifications at the end of this chain. Domain conceptual models and specific spreadsheets are used as source (computational-independent) models. The method is designed for non-programming users and reduces the time for creating prototypes of intelligent modules and expert systems by automating the codification stage and using existing domain models. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：