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

Nuclear Physics B - Proceedings Supplements 2012年 225-227卷 84-88页

作者： Kaloshin, A.E. Lomov, V.P. Irkutsk State University Irkutsk Russian Federation Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russian Federation

We discuss the form of a fermion resonance in case of the parity nonconservation. The obtained resonance factors and corresponding . γ-matrix projectors differ from the naive Breit-Wigner form. For the top quark with a SM vertex, however, the resonance factor returns to the standard one due to Γ/. m≪. 1. © 2012 Elsevier B.V.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Logical-probabilistic analysis of distributed computing reliability

Logical-probabilistic analysis of distributed computing reli...

引用

Proceedings of the International Convention MIPRO

作者： A.G. Feoktistov I.A. Sidorov Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

The aim of the study is to develop tools of increasing a problem solving reliability in a heterogeneous distributed computing environment by applying a diagnostics of computing resources components and using an analysis of problem solving schemes. A scheme (a plan) is an abstract program for a problem solving. A special attention is paid to the calculation of a problem solving scheme reliability on the basis of a logical-probabilistic method. This method is based on transiting from Boolean functions for a reliability description of a problem solving scheme to probability functions for determining indicators of such reliability. Improving a problem solving scheme reliability is carried out by a resource reservation. The resource reservation applied in a problem solving scheme provides obtaining of a reliability indicator that approximates maximally the predetermined criterion of reliability, taking into account limitations on a number of reserve resources. The example of the problem solving scheme and calculating its reliability is represented.

关键词： Reliability Problem-solving Computers Distributed computing Hardware Software Planning

来源：评论

学校读者我要写书评

暂无评论

A new computational technology of program controls forming in nonlinear systems 13

A new computational technology of program controls forming i...

引用

13th Saint Petersburg International Conference on Integrated Navigation systems, ICINS 2006

作者： Druzhinin, E.I. Vassilyev, S.N. Voronov, V.A. Institute of System Dynamics and Control Theory of SB RAS 134. Lermontov St. Irkutsk664033 Russia

ISBN: (纸本)5900780627

This paper presents the latest results derived from addressing the problem of computing program controls of the modes of operation in nonlinear systems. We prove the good conditionality (well-posedness) of the algorithms that numerically realize a new, direct method of problem solving. The qualitative property of the good conditionality of these algorithms provides a basis for nonsensitivity (robustness) of "direct" controls to parameter perturbations. The results reported here suggest a high practical efficiency of the technology developed by the authors, which constitutes a working tool for designing open control systems ensuring the prescribed accuracy of realization of the assigned program without invoking in control actions information about current measurements of perturbations.

关键词： Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Extraction of thesaurus and project structure from Linux kernel source tree

Extraction of thesaurus and project structure from Linux ker...

引用

35th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2012

作者： Sokolov, A.Y. Golovko, I.R. Cherkashin, E.A. Irkutsk State Technical University Irkutsk Russia Institute of System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9789532330724

The paper deals with the problem of automatic extraction of a software project structure and its ontology from revision control system network of the project source code. The aim of the investigation is to determine the correlation between the project structure and ontology terms of the project domain, i.e., to answer the question about possibility to describe the structure of the project with terms of the ontology. If it will be true then a modification of the ontology can be interpreted as modification of the project structure. © 2012 MIPRO.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method

Microservice approach to the qualitative study of attractors...

引用

Proceedings of the International Convention MIPRO

作者： G.A. Oparin V.G. Bogdanova A.A Pashinin Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (数字)9789532330991

ISBN: (纸本)9781728153391

In recent years, due to the active development of distributed computing technologies, the automation of computations based on these technologies became very important for solving the problems of qualitative research of binary dynamic systems, which are widely used as mathematical models in cryptography, bioinformatics, the study of fault tolerance of computer networks, and some other domains. In this regard, the issues are actualized of developing tools and providing infrastructures for the microservice-based implementation of scientific applications, which are characterized by the dynamism of resource requirements and oriented to use in a hybrid cloud environment. We offer microservice-oriented tools for the automation of solving computationally complex problems of a qualitative study of attractors of binary dynamic systems in a hybrid computing environment. This study is based on the Boolean constraint method and allows the finding of evolutionary parameters of system states (such as, for example, radius, period, and branching) without modeling system dynamics. These tools provide the agents implemented as web-services for the integration of resources of on-premises computers with cloud resources using Dew computing. An example of the application of the developed tools is given.

关键词： Automation system dynamics Computational modeling Tools Software Synchronization Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

A hybrid approach to solve the dynamic patrol routing problem for group of underwater robots

A hybrid approach to solve the dynamic patrol routing proble...

引用

Proceedings of the International Convention MIPRO

作者： M. Yu. Kenzin I. V. Bychkov N. N. Maksimkin Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

We suggest an approach to solve the dynamic patrolling problem as the variation of periodic vehicle routing problem with time windows. In order to do this, firstly a set of waypoints (targets) should be located in space in such way that their spherical neighborhoods, which corresponds to the size of the robots vision/detections fields, would form a complete coverage of the protected perimeter. Regular inspections of each waypoint by robots of the group not less than once during specified period would guarantee the effective perimeter patrolling. Thus, the routing problem is to a feasible group route ensuring well-timed inspections for all waypoints of the mission. To solve the described problem we propose a hybrid approach, based on the combined use of genetic algorithms and methods and heuristics of local search. The proposed approach allows robots to effectively generate required solutions under given constraints and quickly readjust it in unforeseen situations due to the dynamic nature of the problem. A software modeling system implementing all the necessary computational procedures has been developed; the results of computations are given.

关键词： Inspection Vehicle dynamics Routing Robot kinematics Planning Vehicles

来源：评论

学校读者我要写书评

暂无评论

The Canonical theory of the Impulse Process Optimality

引用

Journal of Mathematical Sciences (United States) 2014年第6期199卷 646-653页

作者： Dykhta, V.A. Samsonyuk, O.N. Institute of System Dynamics and Control Theory SB RAS Russian Federation Institute of Mathematics Economics and Informatics of Irkutsk State University Irkutsk Russian Federation

The paper is devoted to the development of the canonical theory of the Hamilton-Jacobi optimality for nonlinear dynamical systems with controls of the vector measure type and with trajectories of bounded variation. Infinitesimal conditions of the strong and weak monotonicity of continuous Lyapunov-type functions with respect to the impulsive dynamical system are formulated. Necessary and sufficient conditions of the global optimality for the problem of the optimal impulsive control with general end restrictions are represented. The conditions include the sets of weak and strong monotone Lyapunov-type functions and are based on the reduction of the original problem of the optimal impulsive control a finite-dimensional optimization problem on an estimated set of connectable points. © 2014 Springer Science+Business Media New York.

关键词： CANONICAL correlation (Statistics) HAMILTON-Jacobi equations FUNCTIONS of bounded variation LYAPUNOV functions MATHEMATICAL formulas BOUNDARY value problems

来源：评论

学校读者我要写书评

暂无评论

Numerical-analytical algorithms for nonlinear optimal control problems on a large time interval 1

引用

14th International Conference on Dynamical systems: theory and Applications, DSTA 2017

作者： Danik, Yulia Dmitriev, Mikhail Makarov, Dmitry Zarodnyuk, Tatiana pr. 60-letiya Oktyabrya 9 Moscow117312 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontova str. 134 Irkutsk664033 Russia

ISBN: (数字)9783319965987

ISBN: (纸本)9783319965970

Some nonlinear and discrete optimal control problems with phase constraints on a fixed but sufficiently large time interval are considered as singularly perturbed problems. In continuous-time case the state equations are reduced to singularly perturbed equations on a finite time interval and, in discrete-time case, the state equations have the form of systems with a small step. Using the technique for singularly perturbed systems, the formal asymptotic expansions by the corresponding small parameter are constructed which contain the structural information about the solution. That is usually sufficient for most applications to obtain an initial approximation to control in the global optimum neighborhood. The obtained algorithms can be applied to mathematical economics and technical objects control problems with phase and control constraints, and with turnpike effects in the trajectories, where the turnpike trajectories can be discontinuous. The use of traditional algorithms for these problems is inefficient due to the large increase of computational difficulty. © Springer International Publishing AG, part of Springer Nature 2018.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

Binary Dynamic Models of Structural Synthesis of Programs

Binary Dynamic Models of Structural Synthesis of Programs

引用

Proceedings of the International Convention MIPRO

作者： G.A. Oparin V.G. Bogdanova A.A. Pashinin Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

In this paper, we propose a matrix-vector Boolean differential model for constructing plans of computational actions in solving non-procedural problems on a computational model of a modular software system. The conditions of the problem of structural synthesis of a program from pre-implemented modules are formulated as a system of Boolean differential equations, the solutions of which, under given initial conditions (consistent with the non-procedural formulation of the problem), determine the solvability of the problem and give constructive plans for its solution (including parallel ones). The proposed method of structural synthesis is focused on high-dimensional models. It allows highly efficient software implementation due to the high parallelism of performing vector-matrix operations on binary vectors at the level of machine instructions. The developed model is used for planning computations in packages of applied microservices based on the HPCSOMAS-MSC platform.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enumeration of isotopy classes of diagonal latin squares of small order using volunteer computing 4th

Enumeration of isotopy classes of diagonal latin squares of ...

引用

4th Russian Supercomputing Days Conference, RuSCDays 2018

作者： Vatutin, Eduard Belyshev, Alexey Kochemazov, Stepan Zaikin, Oleg Nikitina, Natalia Southwest State University Kursk Russia BOINC.ru Moscow Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Institute of Applied Mathematical Research KRC RAS Petrozavodsk Russia

ISBN: (纸本)9783030058067

The paper is devoted to discovering new features of diagonal Latin squares of small order. We present an algorithm, based on a special kind of transformations, that constructs a canonical form of a given diagonal Latin square. Each canonical form corresponds to one isotopy class of diagonal Latin squares. The algorithm was implemented and used to enumerate the isotopy classes of diagonal Latin squares of order at most 8. For order 8 the computational experiment was conducted in a volunteer computing project. The algorithm was also used to estimate how long it would take to enumerate the isotopy classes of diagonal Latin squares of order 9 in the same volunteer computing project. © 2019, Springer Nature Switzerland AG.

关键词： Combinatorial mathematics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：