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

Using the Event Trees in the Automation and Intellectualization of Aircraft Diagnostics and Repair

Russian Aeronautics 2023年第4期66卷 902-909页

作者： Kotlov, Yu. V. Nikolaichuk, O.A. Yurin, A. Yu. Moscow State Technical University of Civil Aviation Irkutsk Branch ul. Kommunarov 3 Irkutsk664047 Russia V.M. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences ul. Lermontova 134 Irkutsk664033 Russia

Abstract: The paper considers the use of the graphical formalism of event trees when creating prototypes of knowledge bases for intelligent systems. Here, the knowledge is represented in a declarative form as logical rules describing the relationship between external signs of a malfunction, possible causes, and operations for their localization and elimination. The previously developed technology of prototyping the rule-based expert systems, implementing the principles of visual programming and model transformations, is used as a methodological basis. Its application is described in the creation of knowledge bases for aviation diagnostics, including the main models and stages, an example is given. Algorithms and software were developed in the form of a specialized event tree editor and an extension module for Personal Knowledge Base Designer. © Allerton Press, Inc. 2023.

关键词： Aircraft

来源：评论

学校读者我要写书评

暂无评论

OPTIMAL control OF A POPULATION dynamics MODEL WITH HYSTERESIS

引用

Acta Mathematica Scientia 2022年第1期42卷 283-298页

作者： Bin CHEN Sergey A.TIMOSHIN Fujian Province University Key Laboratory of Computational Science School of Mathematical SciencesHuaqiao UniversityQuanzhou 362021China Matrosov Institute for System Dynamics and Control Theory Russian Academy of SciencesLermontov str134664033 IrkutskRussia

This paper addresses a nonlinear partial differential control system arising in population *** system consist of three diffusion equations describing the evolutions of three biological species:prey,predator,and food for the prey or *** equation for the food density incorporates a hysteresis operator of generalized stop type accounting for underlying hysteresis effects occurring in the dynamical *** study the problem of minimization of a given integral cost functional over solutions of the above *** set-valued mapping defining the control constraint is state-dependent and its values are nonconvex as is the cost integrand as a function of the control *** relaxationtype results for the minimization problem are obtained and the existence of a nearly optimal solution is established.

关键词： optimal control problem hysteresis biological diffusion models nonconvex integrands nonconvex control constraints

来源：评论

学校读者我要写书评

暂无评论

Technique for modelling flooding zones of coastal areas in the cascade of hydroelectric power stations on the Angara river

Technique for modelling flooding zones of coastal areas in t...

引用

2020 International Online Conference on Environmental Transformation and Sustainable Development in Asian Region, EnTransAsia 2020

作者： Gachenko, A.S. Hmelnov, A.E. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk Scientific Center SB RAS Irkutsk Russia

This article presents the method for modelling underwater three-dimensional topography and it's combining with terrain under conditions of incomplete source data. The technique for constructing 3D elevation model was tested within the research projects conducted in matrosov institute for system dynamics and control theory Siberian Branch of the Russian Academy of Sciences in collaboration with colleagues from other research institutes of Irkutsk Scientific Center under the comprehensive studies of Lake Baikal, the Angara River and the Bratsk Reservoir. We present an algorithm for combining underwater topography with terrain based on heterogeneous source data using the Delaunay triangulation. The combining yields a high-quality 3D elevation model. This model can be used to make forecasts of the changes in the coastlines of reservoirs, which are associated with water discharges from hydroelectric power stations. The described technique was used to solve some practical problems and showed its effectiveness. To combine the data on the terrain and underwater topography, we developed a special software using the Delaunay triangulation algorithms. For data layers, their roles were indicated during the triangulation. Layers contained the information about terrain, watermarks, contours of the coastline, and underwater topography. For underwater topography, we used the information about the marks of the water edge. Based on these data, we built an additional triangulation, from which we subsequently obtained the information about heights because contours of coastlines are confined to heights, and depths are measured relative to heights. As a result of this study, we processed some settlements and estimated possible flooding. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Hydroelectric power plants

来源：评论

学校读者我要写书评

暂无评论

Confining modeling of quark propagator

arXiv

引用

arXiv 2024年

作者： Radzhabov, A.E. Shang, X.L. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia Institute of Modern Physics Chinese Academy of Sciences Lanzhou730000 China

A confining extension of the quark model with nonlocal currents is proposed. The quark propagator is modified by introducing a cut in α-space, which in momentum space corresponds to the subtraction of pole singularities. A two-phase phase structure is proposed for modeling the confinement-deconfinement phase transition. In the confined phase, the quark propagator does not have any pole singularities, while in the deconfined phase, there is a single quark pole. Copyright © 2024, The Authors. All rights reserved.

关键词： Poles

来源：评论

学校读者我要写书评

暂无评论

On Search for All Roots of a system of Quadratic Equations 12th

On Search for All Roots of a System of Quadratic Equations

引用

12th International Conference on Optimization and Applications, OPTIMA 2021

作者： Gruzdeva, Tatiana V. Khamisov, Oleg V. Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov Street Irkutsk664033 Russia Melentiev Energy Systems Institute of SB RAS 130 Lermontov Street Irkutsk664033 Russia

ISBN: (纸本)9783030910587

We propose an approach to finding the roots of systems of quadratic equations in a box. This approach is based on a reduction to an auxiliary optimization problem. The auxiliary problem turns out to be, in general, a nonconvex optimization problem, with the objective function and inequality constraints given by d.c. functions. We use the linearization technique with respect to the basic nonconvexity and box partition procedure to try to find all solutions of the system or proof that there are no solutions in the box. The results of the computational simulation are given. © 2021, Springer Nature Switzerland AG.

关键词： Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams

Speeding up the Solving of Logical Equivalence Checking Prob...

引用

Proceedings of the International Convention MIPRO

作者： Victor Kondratiev Ilya Otpuschennikov Alexander Semenov ITMO University St. Petersburg Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

In the context of the problem of checking the equivalence of Boolean circuits (LEC), we propose an approach that increases the efficiency of modern SAT solvers on this problem by generating additional constraints of a special kind. To generate such constraints, we use a variant of decision diagrams called disjunctive diagrams. In contrast to well-known Binary Decision Diagrams these diagrams can be constructed effectively for an original formula and can also be used to extend the original CNF formula with new clauses which are its logical consequences. In computational experiments, we show that the resulting formulas, encoding difficult LEC variants, extended by the generated constraints are often significantly easier to solve for state-of-the-art SAT solvers compared to the original formulas.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field 1

引用

23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021

作者： Irtegov, Valentin Titorenko, Tatiana Institute for System Dynamics and Control Theory SB RAS 134 Lermontov str. Irkutsk664033 Russia

ISBN: (数字)9783030851651

ISBN: (纸本)9783030851644

Differential equations describing the motion of a rigid body with a fixed point under the influence of both a magnetic field generated by the Barnett–London effect and potential forces are analyzed. We seek first integrals and invariant manifolds of the equations in the form of polynomials of the second, third, and fourth degrees and conduct the qualitative analysis of the equations in the found particular cases of the existence of additional integrals. Special solutions are found from the necessary extremum conditions of the integrals and their Lyapunov stability is investigated. Computer algebra methods such as the reduction of a polynomial with respect to a list of polynomials, the Gröbner basis method, etc. are used to obtain the integrals and manifolds and to analyze the equations. © 2021, Springer Nature Switzerland AG.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

Organization of digital monitoring of the Baikal natural territory

Organization of digital monitoring of the Baikal natural ter...

引用

2020 International Online Conference on Environmental Transformation and Sustainable Development in Asian Region, EnTransAsia 2020

作者： Bychkov, I.V. Ruzhnikov, G.M. Fedorov, R.K. Khmelnov, A.E. Popova, A.K. Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

The Baikal Natural Territory includes Lake Baikal, its water protection zone, the basin within the territory of the Russian Federation, adjacent specially protected natural areas, and also the territory adjacent to the lake up to 200 kilometers wide to the west and northwest of it. The development of decisions to solve environmental problems of Baikal Natural Territory should be based on a comprehensive analysis of the monitoring data. The monitoring data and analysis methods are distributed among participants (organizations and departments). But data and analysis methods exchange is very low. An approach is proposed for the introduction of digitalization in the environmental monitoring of the Baikal natural territory, based on the integrated implementation of cyber-physical systems, the digital method of data transmission, as well as the use of digital ecosystems and platforms using the service-oriented paradigm, OGC standards, end-to-end and WEB technologies, cloud and distributed computing, large amounts of spatio-temporal data. Based on service-oriented paradigm digital resources and processing services implementing REST or WPS standard should be created by the monitoring participants. Requirements for digital resources have been defined. Infrastructure components have been developed to simplify development of digital resources, processing services and to organize interaction among participants. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Monitoring

来源：评论

学校读者我要写书评

暂无评论

Analysis of Reviews of Tourist Objects Based on Large Language Models

Analysis of Reviews of Tourist Objects Based on Large Langua...

引用

Informatics, Electronics, and Radio Engineering (PIERE), International Conference Problems of

作者： Olga A. Nikolaychuk Ivan A. Poddubniy Laboratory of Information and Telecommunication Technologies for Technogenic Safety Research Siberian Branch of the Russian Academy of Sciences Matrosov Institute for System Dynamics and Control Theory (ISDCT SB RAS) Irkutsk Russia

ISBN: (数字)9798331516321

ISBN: (纸本)9798331516338

The article is devoted to solving the problem of identifying issues in the field of regional tourism. To solve this task, the method of aspect-based analysis of reviews of tourist objects using of large language models and prompt-engineering has been developed and implemented. Accommodation facilities, dining establishments, services and attractions are considered as tourist objects. The reviews are obtained from tourist information aggregators using web-scraping method. The initial dataset consisted of 1300 tourist reviews. A large language model, Saiga2, with 70 billion parameters was chosen for the implementation of prompt engineering. The problem analysis task was divided into subtasks of extracting and classifying facts (advantages and disadvantages). For each subtask, prompts have been developed with an indication of the role, a description of classes and examples of solutions. The description of classes is based on the literature analysis of issues in tourism. The method is implemented on the Yandex. Cloud platform, tested and validated to search for accommodation facilities satisfying tourist's requests for Olkhon Island. The results of the method's accuracy evaluation are described using metrics f1, micro f1, macro f1 and weighted f1. To test the proposed method validation, tests describing information about different categories of tourists were developed. The performance of the method was evaluated by comparing the solutions provided by the tourism expert and the created method implementation. The experiment showed 80 percent coincidence of the solutions. The method is planned to be implemented in the service of regional tourism monitoring of the Baikal region.

关键词： Measurement Solid modeling Sentiment analysis Reviews Large language models Natural languages Decision making Prompt engineering Informatics Monitoring

来源：评论

学校读者我要写书评

暂无评论

On an exact solution to the nonlinear heat equation with a source

On an exact solution to the nonlinear heat equation with a s...

引用

2020 Dynamic systems and Computer Science: theory and Applications, DYSC 2020

作者： Kazakov, A.L. Lempert, A.A. Spevak, L.F. Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov Str. Irkutsk664033 Russia Institute of Engineering Science UB RAS 34 Komsomolskaya str. Ekaterinburg620049 Russia

The paper is devoted to the study of a singular nonlinear second-order parabolic equation, which is called the porous medium equation or the nonlinear heat equation. One of the important classes of its solutions is heat waves propagating over a zero background with a finite velocity. This property is not typical for parabolic equations and is a consequence of singularity. The main object of study is exact solutions of mentioned type. A new way of separating variables is used to represent them. We obtain conditions when it is possible to make a reduction to the Cauchy problem for an ordinary second-order differential equation with a singularity. It is shown that the Cauchy problemdescribes a heat wave whose front moves exponentially. We construct a solution to the Cauchy problem as a power series and determine the cases when the series breaks off, i.e. the solution has the form of a polynomial, and the corresponding heat wave can be written explicitly. If the Cauchy problem cannot be explicitly integrated, the solution is constructed numerically. An algorithm based on the boundary element method is proposed. We perform a computational experiment and conclude the properties of the found solutions. Besides, the accuracy of the calculation results is analyzed. © Published under licence by IOP Publishing Ltd.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：