YSIP2
Proceedings of the Second
Young Scientist’s International Workshop on Trends in Information Processing,
Dombai, Russian Federation, May 16–20, 2017
Steffen H¨olldobler, Andrey Malikov, Christoph Wernhard (Eds.)
Published at http://ceur-ws.org.
Copyright c2017 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.
Preface
This is the second international workshop for young researchers working in Information Processing. It was organized by the North-Caucasus Federal University and the International Center for Computational Logic of the Technische Universit¨at Dresden, and it was held in the town of Dombai in the beautiful Caucasian Mountains.
We are aiming at bringing together master and PhD students from Russia, Europe and beyond to present and to discuss their new scientific results.
There were 46 submissions. Each submission was reviewed by at least two international program committee members. The committee decided to accept 24 papers. The program also includes four invited talks. We would like to thank all the members of the PC for providing the reviews.
The workshop would not have been possible without the tremendous amount of help and support by Oxana Mesentseva and her team from the North-Caucasus Federal University. Many thanks.
Steffen H¨olldobler Andrey Malikov Christoph Wernhard Dresden and Stavropol May 2017
Organization
YSIP2 was organized jointly by the Institute for Information Processing and Telecommunication of North- Caucasus Federal University and the International Center for Computational Logic of Technische Universit¨at Dresden.
Program Committee Chairs
Steffen H¨olldobler Technische Universit¨at Dresden, Germany
and North-Caucasus Federal University, Russian Federation Andrey Malikov North-Caucasus Federal University, Russian Federation Christoph Wernhard Technische Universit¨at Dresden, Germany
Program Committee
Jos´e J´ulio Alferes Universidade Nova de Lisboa, Portugal
Isara Anantavrasilp King Mongkut’s Institute of Technology Ladkrabang, Thailand Victorija Drozdova North-Caucasus Federal University, Russian Federation
Anna Fensel University of Innsbruck, Austria Ulrich Furbach Universit¨at Koblenz-Landau, Germany Steffen H¨olldobler Technische Universit¨at Dresden, Germany
and North-Caucasus Federal University, Russian Federation Andrey Malikov North-Caucasus Federal University, Russian Federation Igor Mandriza North-Caucasus Federal University, Russian Federation Massimo Mecella Sapienza - Universit`a di Roma, Italy
German Michalconok Slovak University of Technology, Slovak Republic Sergei Obiedkov Higher School of Economics, Russian Federation Sergey Porshnev Ural Federal University, Russian Federation
Josef Schneeberger University of Applied Science Deggendorf, Germany Chattrakul Sombattheera Mahasarakham University, Thailand
Pavol Tanuˇska Slovak University of Technology, Slovakia Sergio Tessaris Free University of Bozen-Bolzano, Italy
Khang Tran Dinh Hanoi University of Science and Technology, Vietnam Aleksei Tselykh Southern Federal University, Russian Federation Gennady Tsibulsky Siberian Federal University, Russian Federation Christoph Wernhard Technische Universit¨at Dresden, Germany
Contents
Invited Talk: Enabling Smart Data Services for Behavioural Change . . . 7 Anna Fensel
Invited Talk: Challenges in Knowledge-Intensive Processes. Mining from Semi-Structured Information
and Providing Run-time Automated Adaptation . . . 13 Massimo Mecella
Invited Talk: Deep Learning in Biometry . . . 15 Peter Peer
Invited Talk: Research Assessment: A Contribution to Solving the Publication Credit Allocation Problem 16 Marco Schaerf
An Abstract Dual Propositional Model Counter . . . 17 Armin Biere, Steffen H¨olldobler and Sibylle M¨ohle
User Interface Design for a Web-based Image Processing and Analysis System . . . 27 Aleksey Bragin, Alexander Dubanov and Alexander Rechitskiy
A Mathematical Model of a Trusted Download Violator Process “Hardware Thin Client” . . . 32 Kirill A. Butsik and Evgeniy N. Tishchenko
Splitting Features of Rotation Shapes in the External Finite-Element Approximations Method . . . 38 Mikhail Chizhov, Andrei Uspehov and Alexander Trotsenko
Monadic Reasoning using Weak Completion Semantics . . . 45 Ana Oliveira Da Costa, Emmanuelle-Anna Dietz Saldanha and Steffen H¨olldobler
Obligation versus Factual Conditionals under the Weak Completion Semantics . . . 55 Emmanuelle-Anna Dietz Saldanha, Steffen H¨olldobler and Isabelly Lourˆedo Rocha
The Complexity of Contextual Abduction in Human Reasoning Tasks . . . 65 Emmanuelle-Anna Dietz Saldanha, Steffen H¨olldobler and Tobias Philipp
A Calculator Model for the Estimation of Noise Immunity of Trans-Ionospheric Communication
Channels, Based on the Theory of Residue Number Systems . . . 75 Vitaliy Grankin, Gennady Linets and Roman Taranov
Mathematical Modeling for Systems of Large Dimension Through a Modification of the Method of
Iterative Aggregation . . . 84 Tatyana Grobova, Alexey Troyanov, Vladislav Lysov and Vladimir Antonov
Lessons Learned from AlphaGo . . . 92 Steffen H¨olldobler, Sibylle M¨ohle and Anna Tigunova
An Application of the Cellular Automaton Method in Autowave Process Modeling of the Surface Layer of Magnetic Fluid . . . 102
Natalya Kandaurova, Vladimir Chekanov, Sergey Mirzakhanov, Andrey Makovsky and Yury Kuznetsov
A Model for Transformation of Self-Similar Traffic into Poisson’s Arrival Packets . . . 107 Gennadiy I. Linets, Svetlana V. Govorova, Sergey V. Melnikov and Viktor V. Medenec
The Use of Redundant Modular Codes for Improving the Fault Tolerance of Special Processors for Digital Signal Processing . . . 115
Alyona V. Makarova, Elena P. Stepanova, Ekaterina V. Toporkova and Igor A. Kalmykov
The Solution to the Problem of Optimal Control in an Unstable Economic System . . . 123 Aleksandr S. Marahovskiy, Evgeni L. Toropcev, Anna V. Shadchneva and Evgenya A. Nekrasova
Processing Principles of Ionosphere Passive Monitoring Data . . . 130 Dmitry M. Markov and Alexander F. Chipiga
A Fuzzy Model for Identifying Significant Subtle Effects within a System of Objects’ Responses . . . 139 Dmitry M. Nazarov, Dmitry A. Azarov and Viktor P. Ivanitsky
Image Recognition by a Second-Order Convolutional Neural Network with Dynamic Receptive Fields . . 147 Roman Nemkov, Oksana Mezentseva, Dmitriy Mezentsev and Maksim Brodnikov
An Intelligent System for Content Generation . . . 152 Evgeny I. Nikolaev, Pavel V. Dvoryaninov, Nikita S. Drozdovsky and Yaroslav Y. Lensky
A Method of Forming Code Sets for CDMA in Communication, Navigation and Control Systems . . . 158 Dmitrii Orel, Aleksandr Zhuk, Elena Zhuk and Liudmila Luganskaia
Generic Mining of Condensed Pattern Representations under Constraints . . . 168 Sergey Paramonov, Tao Chen and Tias Guns
Mathematical Modelling of the Process for Impact on Automated Information System Security of
Threats Access to Restricted Information . . . 178 Alexandr P. Rosenko and Evgenya A. Nekrasova
Data Type Detection for Choosing an Appropriate Correlation Coefficient in the Bivariate Case . . . 188 Anastasiia Yu. Timofeeva
The GPU-Oriented Tree Representation Based on the Method of Finding the Remainder . . . 195 Vladimir Voronkin, Andrey Malikov, Elmira Azarova and Aleksey Shchegolev
The Implementation of Information and Communication Technologies with the Use of Modular Codes . . 206 Dmitriy Yurdanov, Maksim Kalmikov, Dmitriy Gostev and Igor Kalmykov
