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

Enumerating the transversals for diagonal Latin squares of small order 3

Enumerating the transversals for diagonal Latin squares of s...

3rd International Conference BOINC-Based High Performance Computing: Fundamental Research and Development, BOINC:FAST 2017

作者： Vatutin, Eduard Kochemazov, Stepan Zaikin, Oleg Valyaev, Sergey Southwest State University Kursk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Internet portal BOINC.ru Moscow Russia

In this study, we suggest an algorithm for computing minimal and maximal numbers of transversals of diagonal Latin squares. According to this algorithm, we generate all diagonal Latin squares of a particular order, and for each square construct all its transversals and diagonal transversals. With the help of this algorithm, we computed minimal and maximal numbers of transversals for diagonal Latin squares of order at most 7 on a personal computer. The experiment for diagonal Latin squares of order 8 was performed in a volunteer computing project. We also give the estimation of the runtime required to solve the corresponding problem for diagonal Latin squares of order 9. Copyright © by the paper's authors. Copying permitted for private and academic purposes.

关键词： Personal computers

来源：评论

学校读者我要写书评

暂无评论

Updated limits on the CP violating ηππ and η′ππ couplings derived from the neutron EDM

引用

Physical Review D 2019年第11期99卷 115004-115004页

作者： Alexey S. Zhevlakov Thomas Gutsche Valery E. Lyubovitskij Department of Physics Tomsk State University 634050 Tomsk Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov Street 134 664033 Irkutsk Russia Institut für Theoretische Physik Universität Tübingen Kepler Center for Astro and Particle Physics Auf der Morgenstelle 14 D-72076 Tübingen Germany Departamento de Física y Centro Científico Tecnológico de Valparaíso-CCTVal Universidad Técnica Federico Santa María Casilla 110-V Valparaíso Chile

We complete our derivation of upper limits on the CP violating ηππ and η′ππ couplings from an analysis of their two-loop contributions to the neutron electric dipole moment (nEDM). We use a phenomenological Lagrangian approach which is formulated in terms of hadronic degrees of freedom—nucleons and pseudoscalar mesons. The essential part of the Lagrangian contains the CP violating couplings between η(η′) and pions. Previously, we included photons using minimal substitution in case of the proton and charged pions. Now we extend our Lagrangian by adding the nonminimal couplings, i.e., anomalous magnetic couplings of nucleons with the photon. The obtained numerical upper limits for the ηππ and η′ππ couplings |fηππ(Mη2)|<4.4×10−11 and |fη′ππ(Mη′2)|<3.8×10−11 can be useful for the related, planned experiments at the JLab Eta Factory. Using present experimental limits on the nEDM, we derive upper limits on the CP violating θ¯ parameter of θ¯<4.7×10−10.

关键词： Electric moment Neutrons CP violation

来源：评论

学校读者我要写书评

暂无评论

Numerical algorithm for optimal control of continuity equations 8

Numerical algorithm for optimal control of continuity equati...

引用

8th International Conference on Optimization and Applications, OPTIMA 2017

作者： Pogodaev, Nikolay Matrosov Institute for System Dynamics and Control Theory Lermontov str. 134 Irkutsk664033 Russia Krasovskii Institute of Mathematics and Mechanics Kovalevskay str. 16 Yekaterinburg620990 Russia

An optimal control problem for the continuity equation is considered. The aim of a controller is to maximize the total mass within a target set at a given time moment. An iterative numerical algorithm for solving this... 详细信息

关键词： Optimal control systems

来源：评论

学校读者我要写书评

暂无评论

Corrections of two-photon interactions in the fine and hyperfine structure of the P-energy levels of muonic hydrogen

arXiv

引用

arXiv 2018年

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

In the framework of the quasipotential method in quantum electrodynamics we calculate corrections to the nuclear structure proportional to r2Nfrom two-photon exchange amplitudes in the fine and hyperfine structure of P-states in muonic hydrogen, as well as the photon-photon interaction amplitudes, leading to the exchange of the axial vector meson. In constructing the quasipotential of the muon-nucleus interaction, we use the method of projection operators on states of two particles with a definite spin and total angular momentum. Analytical calculation of the matrix elements is performed and contributions to the fine and hyperfine structure of the 2P1/2and 2P3/2levels are obtained. Copyright © 2018, The Authors. All rights reserved.

关键词： Atomic physics

来源：评论

学校读者我要写书评

暂无评论

A parallel SAT solving algorithm based on improved handling of conflict clauses

引用

Procedia Computer Science 2017年 119卷 103-111页

作者： Oleg Zaikin Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk 664033 Russia

In this study, a new parallel algorithm for solving Boolean satisfiability problem (SAT) is suggested. This algorithm is based on the Conflict Driven Clause Learning (CDCL) algorithm. Given an original SAT instance, CDCL is launched on it. Some types of conflict clauses, which are produced by CDCL, are collected. Then the collected clauses are employed to construct a family of different SAT instances. In particular, each SAT instance from a family is produced by adding some subset of the collected conflict clauses to an initial set of clauses (which belong to the original instance). In order to solve the original SAT instance, it is sufficient to solve at least one SAT instance from the constructed family. The proposed algorithm was implemented in the form of a parallel SAT solver. It was compared with two high ranked state-of-the-art parallel solvers. As a test set, we used SAT instances which encode cryptanalysis of three keystream generators: summation generator, threshold generator, and Gifford generator. According to computational experiments, our solver outperforms those two solvers.

关键词： SAT CDCL parallel computing cryptanalysis keystream generator

来源：评论

学校读者我要写书评

暂无评论

Job flow management for virtualized resources of heterogeneous distributed computing environment

引用

Procedia Engineering 2017年 201卷 534-542页

作者： I. Bychkov A. Feoktistov I. Sidorov R. Kostromin Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov st. Irkutsk 664033 Russia

We address to the problem of an integration of heterogeneous computational clusters to the united environment applying the OpenStack platform for a cluster resource virtualization. However, this platform does not interact with the traditional resource management systems such as the PBS Torque or SLURM that are used in cluster resources. To this end, we developed an additional hypervisor shell to run virtual machines through queues of the aforementioned systems. Thus, we expand the OpenStack capabilities for an application job management and provide a computation scalability for virtualized resources of clusters. In order to show the benefits of our approach to the scalable application management in integrated cluster environments, we developed a parameter sweep application for simulation modeling of warehouse logistics and solved three optimization tasks for the real refrigerated warehouse. We compared the selected criteria of task solving processes with the hypervisor shell applying and without it by means of simulation modeling. Experiments show that the hypervisor shell can significantly improve computation speedup and task solving time through reallocating virtual machines to queues of the resource management systems.

关键词： heterogeneous distributed computing environment HPC-clusters OpenStack

来源：评论

学校读者我要写书评

暂无评论

Charged pion condensation under parallel electromagnetic fields

arXiv

引用

arXiv 2018年

作者： Chao, Jingyi Huang, Mei Radzhabov, Andrey Institute of Modern Physics Chinese Academy of Sciences Lanzhou730000 China Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China School of Physics Sciences University of Chinese Academy of Sciences Beijing100039 China Matrosov Institute for System Dynamics and Control Theory Irkutsk664033 Russia

The formation of charged pion condensate under parallel electromagnetic fields is studied within the two-flavor Nambu–Jona-Lasinio model. The technique of Schwinger proper time method is extended to explore the quantity locating in the off-diagonal flavor space, i.e., charged pion. We obtain the associated effective potential as a function of the strength of the electromagnetic fields and find out that it contains a sextic term which possibly induce weakly first order phase transition. Dependence of pion condensation on model parameters is investigated. Copyright © 2018, The Authors. All rights reserved.

关键词： Electromagnetic fields

来源：评论

学校读者我要写书评

暂无评论

Using Binary File Format Description Languages for Documenting, Parsing, and Verifying Raw Data in TAIGA Experiment

arXiv

引用

arXiv 2018年

作者： Bychkov, I. Demichev, A. Dubenskaya, J. Fedorov, O. Hmelnov, A. Kazarina, Y. Korosteleva, E. Kostunin, D. Kryukov, A. Mikhailov, A. Nguyen, M.D. Postnikov, E. Shigarov, A. Shipilov, D. Zhurov, D. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk State University Irkutsk Russia Skobeltsyn Institute of Nuclear Physics Lomonosov Moscow State University Moscow Russia Applied Physics Institute Irkutsk State University Irkutsk Russia Institute for Nuclear Physics Karlsruhe Institute of Technology Karlsruhe Germany

The paper is devoted to the issues of raw binary data documenting, parsing and verifying in astroparticle data lifecycle. The long-term preservation of raw data of astroparticle experiments as originally generated is essential for re-running analyses and reproducing research results. The selected high-quality raw data should have detailed documentation and accompanied by open software tools for access to them. We consider applicability of binary file format description languages to specify, parse and verify raw data of the Tunka Advanced Instrument for cosmic rays and Gamma Astronomy (TAIGA) experiment. The formal specifications are implemented for five data formats of the experiment and provides automatic generation of source code for data reading libraries in target programming languages (e.g. C++, Java, and Python). These libraries were tested on TAIGA data. They showed a good performance and help us to locate the parts with corrupted data. The format specifications can be used as metadata for exchanging of astroparticle raw data. They can also simplify software development for data aggregation from various sources for the multi-messenger analysis. Copyright © 2018, The Authors. All rights reserved.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Bridging network static properties and activation dynamics

引用

Procedia Computer Science 2017年 119卷 157-165页

作者： Stepan Kochemazov Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the RAS Lermontov str. 134 664033 Irkutsk Russia

The paper studies a variant of Granovetter’s threshold model of conforming behavior. In this model, a network of agents with binary states (inactive/active) acts in discrete time under the influence of instigators (always active agents). Using special computational method based on algorithms for solving Boolean satisfiability problem, we can find dispositions of small number of instigators among initially inactive agents, which after several time moments force the majority of agents to the active state. Using a large number of networks, both randomly generated, and fragments of real world social networks, we search for the interconnection between static and dynamic characteristics of network vertices: whether or not static centrality measures influence the chances of the vertex to be picked as an instigator.

关键词： SAT conforming behavior linear threshold model social network centrality

来源：评论

学校读者我要写书评

暂无评论

Application of boinc-based volunteer computing for comparison of the geoacoustic inversion algorithms efficiency 8

Application of boinc-based volunteer computing for compariso...

引用

Selected Papers of the 8th International Conference "Distributed Computing and Grid-Technologies in Science and Education", GRID 2018

作者： Zaikin, O.S. Petrov, P.S. Kurochkin, I.I. ITMO University 49 Kronverkskiy Prospekt Saint Petersburg197101 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS 134 Lermontov Street Irkutsk664033 Russia V.I. Il'ichev Pacific Oceanological Institute FEB RAS Far Eastern Federal University 43 Baltiyskaya Street Vladivostok690041 Russia Far Eastern Federal University 8 Sukhanova Street Vladivostok690090 Russia A.A. Kharkevich Institute for Information Transmission Problems RAS 19 Build 1 Bolshoy Karetny Pereulok Moscow127051 Russia

The BOINC-based volunteer computing project Acoustics@home was employed to study the accuracy of the sound speed profile reconstruction in a shallow-water waveguide using a dispersion-based geoacoustic inversion scheme. This problem was transformed into a problem of black-box minimization of a certain mismatch function. According to the first approach, a sound speed profile is considered a piecewise-linear function with fixed uniformly-spaced nodes. At these nodes the values of sound speed are obtained in the course of inversion. In the second approach the depths of the sound speed profile nodes are also considered inversion parameters, however their number must be smaller than in the first approach due to the computational complexity limitation. Several large-scale computational experiments reveal that for the considered problem the second approach leads to a more accurate sound speed profile estimation. © 2018 Ilya I. Kurochkin, Evgeny A. Gerk.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：