Short Paper Proceedings 0 1 2 3 4 5 Khabarovsk 0 1 2 3 4 5 Russia September 0 1 2 3 4 5 A Concept of Software Shell for Interactive Mathematical Proof Verification Systems Alexander S. Kleschev , Philip M. Moskalenko, Vadim A. Timchenko Alexander A. Zatsarinnyy, Federal Research Center 'Computer Science and Control' Russian Academy of Sciences , 44 Vavilova, kor. 2, Moscow, 119333 , RUSSIA Core Method of Numerical Calculation of Vector Models Density of States Anton A. Kuzin, Vladislav S. Strongin, Sergey A. Anisimov , Maxim V. Lebedev, Konstantin V. Nefedev, Valery I. Belokon Finite Element Method for the Lamé System in Domain with a Crack Viktor A. Rukavishnikov , Andrew O. Mosolapov , Elena I. Rukavishnikova Numerical Simulation of High-Speed Air Flows with High-Temperature Effects on Graphics Processor Units Vladislav N. Emelyanov , Anton G. Karpenko , Konstantin N. Volkov Optimization of the Exhaustive Enumeration Algorithm in the Ising Model Mikhail A. Padalko , Petr D. Andriushchenko, Konstantin V. Nefedev -

Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Editor’s addresses: The event is held with the funding by RFBR, project number 19-07-20061 Improvements in the technologies for machine learning, deep learning and artificial intelligence in general are considerably important for new knowledge acquisition, technological advancements of digital technical systems and digital economics development. Hybrid computing systems, new concurrent programming technologies and application development tools are essential for the definition of modern high-performance computer platform, which can efficiently implement these technologies. Currently, the actual growing area of scientific researches is testing and introducing new information and computing technologies in various fields of applications. To discuss results and share experiences regarding such research, Khabarovsk hosts the biennial International Conference Information Technologies and High-Performance Computing. In 2019, the event will be held by the Computing Center of Far East Branch of the Russian Academy of Science for the fifth time.

The Program Committee and external experts have selected 25 best papers for publishing in this volume. A major part of scientific results described in these papers was obtained or tested using the resources from the Shared Services ‘Data Center of the Far East Branch of the Russian Academy of Science’. The papers are divided into four topic areas related to the development of scientific and methodical concepts of information technologies and high-performance computing and their application in researches of various natural and engineering systems. The papers are written by scientists, who represent leading scientific and educational organisations of the Russian Federation. The relevance of the issues presented during the conference is underlined by the presence of international participants.

We are grateful to the authors for their reports and to the Program Committee for the active organisation and preparations.

For more information, see ITHPC 2019 homepage: http://conf.ccfebras.ru/en/ August 2019

 Organizing Committee

Igor. I. Potapov, Computing Center FEB RAS, Khabarovsk, Russia Aleksei A. Sorokin, Computing Center FEB RAS, Khabarovsk, Russia Andrey L. Verkhoturov, Institute of Mining, FEB RAS, Khabarovsk, Russia Lyubov V. Illarionova, Computing Center FEB RAS, Khabarovsk, Russia Tatiana V. Kozhevnikova, Computing Center FEB RAS, Khabarovsk, Russia Vadim A. Kondrashev, Federal Research Center ‘Computer Science and Control’ RAS, Moscow, Russia Igor A. Krivosheev, Institute of Mining, FEB RAS, Khabarovsk, Russia Sergey V. Makogonov, Far Eastern Research Institute of Agriculture FEB RAS, Khabarovsk, Russia Andrey N. Chibisov, Computing Center FEB RAS, Khabarovsk, Russia Nikolay V. Shestakov, Far Eastern Federal University, Vladivostok, Russia

 Program Committee

Sergey I. Smagin, Chairman, Computing Center FEB RAS, Khabarovsk, Russia Robert V. Namm, Computing Center FEB RAS, Khabarovsk, Russia Anatoly A. Burenin, Institute of Engineering and Metallurgy FEB RAS, Komsomolsk-naAmure, Russia Igor V. Bychkov, Institute of System Dynamics and Control Theory SB RAS, Irkutsk, Russia Lyubov S. Kramareva, Far-Eastern Center of State Research Center for Space Hydrometeorology ‘Planeta’, Khabarovsk, Russia Igor Y. Rasskazov, Institute of Mining, FEB RAS, Khabarovsk, Russia Igor A. Sokolov, Federal Research Center ‘Computer Science and Control’, RAS, Moscow, Russia Viktor D. Stepanov, Computing Center FEB RAS, Khabarovsk, Russia Marianna M. Khartsy, Ministry of Science and Higher Education of the Russian Federation, Moscow, Russia Anatoly V. Chigarev, Belarussian National Technical University, Minsk, Belarus Boris M. Shabanov, Joint Supercomputing Center RAS, Moscow, Russia Vladimir V. Shaidurov, Institute of Computational Modeling SB RAS, Krasnoyarsk, Russia Yury I. Shokin, Institute of Computational Technologies SB RAS, Novosibirsk, Russia Hranislav Milosevic, University of Pristina, Kosovska Mitrovica, Serbia Alexander Tashev, University of Forestry, Sofia, Bulgaria Yang Yaping, Institute of Geographic Sciences & Natural Resources Research, Chinese Academy of Sciences, Beijing, China

Organization of Effective Work of High-Performance Computing Systems Aspects of The Assessment of the Quality of Loading Hybrid High-Performance Computing Cluster

Konstantin I. Volovich, Sergey A. Denisov, Alexander P. Shabanov, Sergey I. Malkovsky

 Approaches to the Organization of the Computing Process of a Hybrid High-Performance Computing Cluster in the Digital Platform Environment

Alexander A. Zatsarinnyy, Vadim A. Kondrashev, Aleksei A. Sorokin

 Methods of Computer Simulation Based on Shared Digital Platform

Alexander A. Zatsarinnyy, Alexander P. Shabanov

 Estimating the Performance of Ab Initio Calculation by VASP on Openpower High Performance System

Vyacheslav E. Lozhnikov, Alexander V. Mamonov, Vadim O. Borzilov, Marina V. Mamonova, Pavel V. Prudnikov, Aleksei A. Sorokin, Georgy G. Baksheev

 Intelligent High-Performance Computing for Big Data Processing in Fiber Optical Measuring Networks

Elena V. Zakasovskaya, Valentin S. Tarasov, Nadezhda I. Denisova

 Computer Design of New Materials Numerical Simulation of Heat Transfer in Semiconductor Heterostructures

Karine K. Abgaryan, Ilya S. Kolbin

 Multiscale Modeling of Clusters of Point Defects in Semiconductor Structures

Karine K. Abgaryan, Ilya V. Mutigullin, Sergey I. Uvarov, Olga V. Uvarova

 The Use of Modern Information Technology for Research of Technical and Natural Systems Clustering of Polar Vortex States Using Convolutional Autoencoders

Mikhail A. Krinitskiy, Yulia A. Zyulyaeva, Sergey K. Gulev

 Does Deep Learning Advance Hourly Runoff Predictions?

Georgy Ayzel

 Numerical Forecasting of Squall Lines and Strong Winds on The Territory of Transbaikalia Region, Russia

Eugenia Verbitskaya, Stanislav Romanskiy, Zinaida Verbitskaya

 New Operational Short-Range Numerical Weather Prediction System of the Regional Specialized Meteorological Center of Khabarovsk

Stanislav Romanskiy, Eugenia Verbitskaya

 Application of UAV and Multispectral Camera for Field Survey in the Amur Region, Russia

Boris Boiarskii, Hideo Hasegawa, Mikhail Sinegovskii, Anastasiia Boiarskaia 7 12 17 24 30 37 43 52 62 71 77

 The Calculation Parameters for the Effective Seismic Sensors Placements to Monitor Burst Hazard Rock Massif

Andrey V. Gladyr, Igor Ju. Rasskazov, Alexander V. Konstantinov

 The Software System of Searching the Optimized Location for the Dressing Plant on Treatment with Geographically-Closed Placer Accumulations of the Minerals

Viktor S. Litvinzev, Vladimir S. Alekseev, Ekaterina V. Alekseeva

 Evaluation of Adaptive Properties of the Spring Barley Varieties Using Mathematical Analysis

Galina A. Murugova, Nadezhda A. Pavlova, Alexey G. Klykov

 Mathematical Modeling in Physics and Technology The Algorithm of Mathematical Modeling of Digital Stream of Television Broadcasting Taking into Account Systemic Relationships

Aleksei V. Voronin