2687-0517 10 1 2017

RAR RUS 7-26 Leonov Alexey kot@omgtu.ru The Ant-Colony-Based Routing Algorithm AntHocNet for Solving the Routing Problem   in FANET FANET (Flying Ad Hoc Network), similar to mobile peer-to-peer networks MANET and vehicular peer-to-peer networks VANET, represents a special type of peer-to-peer ad hoc network based on UAVs. Such a network has the ability to selforganize and adapt and is characterized by a dynamic changing topology. Special routing algorithms developed due to their specific features are need to organize FANET. The article gives a short overview of the existing FANET algorithms, as well as of the algorithms based on the swarm intelligence algorithms such as ant colony optimization. The experimental analysis was conducted, that proved the possibility of efficient application of ant colony optimization algorithm. The analysis was performed with the AntHocNet protocol simulating the behavior of ants in wildlife to solve the routing problems in FANETs. 10.18721/JCSTCS.10101 004.7:[004.8:004.23] flying Ad Hoc Network FANET unmanned aerial vehicle UAV routing protocols swarm intelligence ant colony optimization ACO network simulation https://infocom.spbstu.ru/article/2017.52.1/ 1_7_26.pdf

RAR RUS 27-36 Petrov Vitaly vit.petrov@gmail.com Moltchanov Dmitry moltchanov.dmitri@gmail.com D-5155-2014 6507253900 0000-0003-3976-2971 Higher School of Economics Yevgeni A. ykoucheryavy@hse.ru

Korkeakoulunkatu 10, FI-33720 Tampere Finland

Interference Analysis in Terahertz Band Wireless   Networks In this paper, the analysis of interference in wireless terahertz band networks is presented. The estimation of the mean level of interference at the target receiver is performed, taking into account such inherent properties of the terahertz band systems as the use of highly-directional antennas, signal attenuation caused by molecular absorption, as well as signal blockage by the human body. Additionally, the comparison of the results for two simplified antenna radiation patterns is performed. The obtained results can be used as a building block for further performance evaluation of terahertz band wireless networks, including the estimation of signal-to-interference ratio and network capacity. 10.18721/JCSTCS.10102 004.725.5, 621.396 terahertz band wireless networks interference analysis https://infocom.spbstu.ru/article/2017.52.2/ 2_27_36.pdf

RAR RUS 37-48 Wei Xue weihe@mail.ru Ol’shanskiy Vladimir vmolsh@yandex.ru Volkov Sergey mendur@mail.ru Bogachev Evgeniy Eug-bogatchev@mail.ru 0000-0001-7726-8492 Volvenko Sergey Impedance Characteristics   of Carbon Electrodes for Underground Electrical and Radiophysical Applications Carbon cords and tapes have a number of important benefits, such as strength, low specific weight, corrosion resistance, including against bacteria and fungi, environmental friendliness and flexibility. We investigated the possibility of using them as grounding electrodes for underground electrical and electronic applications. The magnitude and the frequency dependence of the electrodes impedance in the range of 10 Hz ÷ 10 kHz were compared with those of stainless steel pipes traditionally used for grounding and dipole antennas design. 10.18721/JCSTCS.10103 621.317 underground low-frequency communications earth electrode carbon material impedance ground conductivity https://infocom.spbstu.ru/article/2017.52.3/ 3_37_48.pdf

RAR RUS 49-62 Pavlov Vladimir vlapav239@gmail.com Efficient Implementation of the Inverse Method for First-Order Intuitionistic Logic This paper contains the results of the research related to Maslov’s inverse method and its application to first-order intuitionistic logic. Several proof search strategies for the inverse-method intuitionistic calculus, which allow reducing the proof search space and avoiding redundant inferences, are proposed and explained in detail. Some strategies are new, others are adapted variants of the existing strategies for classical logic. This article includes a detailed description of the automated theorem-proving system WhaleProver for first-order intuitionistic logic, which is based on the inverse method. This article also describes the experimental comparison of the proposed proof search strategies and comparison of WhaleProver with other first-order intuitionistic logic provers. For problems from the ILTP benchmark library, WhaleProver shows comparable results with state-of-the-art intuitionistic provers (ileanCoP, Imogen). Moreover, WhaleProver solves new problems from ILTP, in comparison with all other provers. The results of the study show that inverse method implementation can be at least as efficient as state-ofthe-art implementations of other theorem-proving methods (e.g., tableaux methods). 10.18721/JCSTCS.10104 004.832.32 automated theorem proving sequent calculus inverse method intuitionistic logic ILTP https://infocom.spbstu.ru/article/2017.52.4/ 4_49_62.pdf

RAR RUS 63-76 Peter the Great St.Petersburg Polytechnic University Kurochkin Leonid kurochkinl@spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Chernyshev Alexandr alexander.tchernyshev@mail.ioffe.ru Peter the Great St.Petersburg Polytechnic University Kurochkin Mikhail kurochkin_ma@spstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Domrachev Denis domrachev.mail@gmail.com Prokhorov Maksim maksimilian93@mail.ru Application   of Supercomputer Technologies for Studying the Dynamics of Polydisperse Mediums Numerical modeling of gas and liquid flows and, in particular, multiphase mediums, is a promising direction of scientific investigations and development of industrial apparatus. The experimental approach in the field of multiphase flows does not always allow obtaining the required information about the flow structure due to the excessive amount of physical phenomena involved. Numerical simulations of real flows with inclusion of all processes and phenomena or on real-scale geometries are very resource-demanding and are not feasible on stand-alone personal working stations. Thus, applying parallelization techniques for the existing solution algorithms with the means of the OpenMP library alongside supercomputer technologies can reduce computational time and can help with simulations of complex flows. The study presents the description of the previously developed mathematical model of polydisperse multiphase flows, a numerical algorithm for the solution of the governing equations of the model, description of the numerical method and technique of conducting the numerical experiments. The results presented in the paper have been obtained during numerical experiments carried out at the Politekhnichesky SC, and comprise the dependencies of program working time on the amount of threads and model parameters. 10.18721/JCSTCS.10105 004.942, 532.517.3 numerical methods multiphase mediums unstructured grids parallel computing supercomputing technology https://infocom.spbstu.ru/article/2017.52.5/ 5_63_76.pdf

RAR RUS 77-86 Ganin Roman ra_ganin@mail.ru Kazunin D.V _dvk@mail.ru Control Algorithms for the 3DOF Dynamic Motion Platform In this paper, basic control strategies of the 3DOF dynamic motion platform for vehicle simulators are considered. The significance of the motion platform in automotive and special vehicle simulators is emphasized in the beginning of the article. According to the kinematics of the 3DOF motion platform with crank gears, forward and inverse kinematics equations are obtained. The workspace of the platform is calculated from the forward kinematics equations and presented as a 3D-figure in platform space. The algorithm of trajectory-planning with respect to the obtained workspace is introduced. Experimental research of the controller in the task space and joint space is conducted. In conclusion, further research problems in this area are discussed. 10.18721/JCSTCS.10106 62-523.2:004.896 motion platform vehicle simulatiors workspace position controller inverse kinematics problem https://infocom.spbstu.ru/article/2017.52.6/ 6_77_86.pdf