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

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 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 Application of Parameterized Algorithms for Solving SAT to the Study of Several Discrete Models of Collective Behavior

The Application of Parameterized Algorithms for Solving SAT ...

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

作者： Stepan Kochemazov Alexander Semenov Oleg Zaikin Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9781509025435

In this paper we present the computational study of one class of discrete models of collective behavior. In the context of these models a set of agents, that form a collective, is represented by a network. Each agent is assigned a special weight function. The behavior of a collective in discrete time moments is specified with a vector function, the coordinates of which are defined by values of agents weight functions at corresponding time moments. We study phenomena concerning the so-called conforming behavior: when an agent at some time moment decides to act or not to act depending on the similar decisions, made by agents from its neighborhood at the previous moment. We consider the problem how to dispose a relatively small number of always acting agents called activators in the network so that the majority of agents soon become active. We apply state-of-the-art SAT solvers to this problem. To tune the solver we use special parameterization techniques. In our computational experiments we show that the solving of considered problems of large dimension can be significantly sped up by finding effective combinations of the SAT solver parameters values on test instances from the same class but of much lower dimension.

关键词： Computational modeling Biological system modeling Training Encoding Context Stationary state Tuning

来源：评论

学校读者我要写书评

暂无评论

Methods and tools to increase fault tolerance of high-performance computing systems

Methods and tools to increase fault tolerance of high-perfor...

引用

Proceedings of the International Convention MIPRO

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

This work focuses on the development of models, methods, and tools to increase a fault tolerance of high-performance computing systems. The described models and methods are based on automatic diagnostics of the basic software and hardware components of these systems, the use of automatic localization, correction of faults, and the use of automatic HPC-system reconfiguration mechanisms. The originality and novelty of the offered approach consist of creating the multi-agent system with universal software agents, capable of collecting node state data for analysis and thereby enabling the agent to make the make necessary decisions directly.

关键词： Production Random access memory Monitoring Software Hardware Fault tolerance Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home

SAT-based search for systems of diagonal latin squares in vo...

引用

Proceedings of the International Convention MIPRO

作者： Oleg Zaikin Stepan Kochemazov Alexander Semenov Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

In this paper we considered the problem of finding pairs of mutually orthogonal diagonal Latin squares of order 10. First we reduced it to Boolean satisfiability problem. The obtained instance is very hard, therefore we decomposed it into a family of subproblems. To solve the latter we used the volunteer computing project SAT@home. In the course of 10-month long computational experiment we managed to find 29 pairs of described kind, that are different from already known pairs. Also we considered the problem of search for triples of diagonal Latin squares of order 10 that satisfy weakened orthogonality condition. Using diagonal Latin squares from the known pairs (the most of them were found in SAT@home) we constructed new triples of proposed kind. During this computational experiment we used a computing cluster.

关键词： Distributed processing Generators Encoding Cryptography Servers Web sites

来源：评论

学校读者我要写书评

暂无评论

The contribution of pseudoscalar and axial-vector mesons to hyperfine structure of muonic hydrogen

arXiv

引用

arXiv 2017年

作者： Dorokhov, A.E. Kochelev, N.I. Martynenko, A.P. Martynenko, F.A. Radzhabov, A.E. Faustov, R.N. Joint Institute of Nuclear Research BLTP Moscow region Dubna141980 Russia Institute of Modern Physics of Chinese Academy of Sciences Lanzhou730000 China Samara University Samara443086 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia Institute of Informatics in Education FRC CSC RAS Moscow119333 Russia

In the framework of the quasipotential method in quantum electrodynamics we calculate the contribution of light pseudoscalar (PS) and axial-vector (AV) mesons to the interaction operator of a muon and a proton in muonic hydrogen atom. The coupling of mesons with the muon is via two-photon intermediate state. The parametrization of the transition form factor of two photons into PS and AV mesons, based on the experimental data on the transition form factors and QCD asymptotics, is used. Numerical estimates of the contributions to the hyperfine structure of the spectrum of the S and P levels are presented. It is shown that such contribution to the hyperfine splitting in muonic hydrogen is rather important for a comparison with precise experimental data. Copyright © 2017, The Authors. All rights reserved.

关键词： Atoms

来源：评论

学校读者我要写书评

暂无评论

The p-median problem with order for two-source clustering 9th

The p-median problem with order for two-source clustering

引用

9th International Conference on Discrete Optimization and Operations Research, DOOR 2016

作者： Klimentova, Xenia Ushakov, Anton V. Vasilyev, Igor INESC TEC Campus da FEUP Rua Dr. Roberto Frias 378 Porto4200-465 Portugal Matrosov Institute for System Dynamics and Control Theory Lermontov 134 Irkutsk664033 Russia

In this paper we present a hybrid approach to integrative clustering based on the p-median problem with clients' preferences. We formulate the problem of simultaneous clustering of a set of objects, characterized by two sets of features, as a bi-level p-median model. An exact approach involving a branch-and-cut method combined with the simulated annealing algorithm is used, that allows one to find a two-source clustering. The proposed approach is compared with some well-known mathematical optimisation based clustering techniques applied to the NCI-60 tumour cell line anticancer drug screen dataset. The results obtained demonstrate the applicability of our approach to find competitive integrative clusterings. Copyright © by the paper's authors.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

The pauli form factor of quark and nontrivial topological structure of the QCD

arXiv

引用

arXiv 2017年

作者： Zhang, Baiyang Radzhabov, Andrey Kochelev, Nikolai Zhang, Pengming Institute of Modern Physics Chinese Academy of Sciences Lanzhou730000 China University of Chinese Academy of Sciences Beijing100049 China Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia Bogoliubov Laboratory of Theoretical Physics Joint Institute for Nuclear Research Dubna Moscow Region141980 Russia

We calculate the electromagnetic Pauli form factor of quark induced by the nontrivial topological fluctuations of QCD vacuum called instantons. It is shown that such contribution is significant. We discuss the possible implications of our result in the photon-hadron reactions and in the dynamics of quark-photon interactions in the dense/hot quark matter. Copyright © 2017, The Authors. All rights reserved.

关键词： Photons

来源：评论

学校读者我要写书评

暂无评论

Valid inequalities for time-indexed formulations of the runway scheduling problem 9th

Valid inequalities for time-indexed formulations of the runw...

引用

9th International Conference on Discrete Optimization and Operations Research, DOOR 2016

作者： Avella, Pasquale Boccia, Maurizio Mannino, Carlo Vasilyev, Igor DING - Dipartimento di Ingegneria Università del Sannio Russia SINTEF ICT Norway Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences Lermontov 134 Irkutsk664033 Russia

The problem of sequencing and scheduling airplanes landing and taking off on a runway is under consideration. We propose a new family of valid inequalities which are obtained from the study of the single machine sched... 详细信息

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Concept of simulation visualization software based on ontology approach

Scientific Visualization

引用

Scientific Visualization 2016年第2期8卷 120-131页

作者： Korshunov, S.A. Pavlov, A.I. Nikolaychuk, O.A. Matrosov Institute for System Dynamics and Control Theory Siberian Branch RAS Lermontov St. 134 Irkutsk664033 Russia

The paper describes the approach of graphical objects creation based on domain ontology description, as well as the hierarchy of the ontology, which includes domain ontology, graphical objects ontology and application's visualization ontology. Concept of software is described, that uses this approach for simulation visualization. The basic requirements for software are formulated, the implementation of which eliminates the most disadvantages of existing imaging systems. The main components of proposed software architecture considered to be: the simulation model as an input source;graphics editor that lets to create graphical objects based on geometric primitives;editor of visual models for visual scene's code generation;visualization module to create visual scenes based on generated code;webserver that is used to transfer data between the simulation model and other modules;domain ontology, graphical objects ontology and application's visualization ontology. The main functions of components are suggested, as well as possible methods and techniques for their implementation.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：