2687-0517 Computing, Telecommunication and Control 10 4 2017
RAR RUS 7-16 Peter the Great St.Petersburg Polytechnic University Dragunova Olga oletta1@gmail.com Peter the Great St.Petersburg Polytechnic University Laptev Vladimir laptevsee@yandex.ru Peter the Great St.Petersburg Polytechnic University Orlov Pavel paul.a.orlov@gmail.com Visualization of Dynamic Data Structures with Flow Charts in Web Analytics Flow visualization is a tool of graphic presentation of data structures, which has a dynamic semantic context. It is based on the idea of dividing the whole into its component parts and visual separation between them. Data structures are frequent indicators in management and web analytics. This article focuses on the shape of flow charts in web analytics, which was investigated by the eye-tracking methods. We have confirmed the effectiveness of using recommendations for building flow charts, identified the problems of the shape of flow charts in Google Analytics, and offered a solution in the form of a concept for visualization of statistical information. Citation: Laptev V.V., Orlov P.A., Dragunova O.V. Visualization of dynamic data structures with flow charts in web analytics. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 7–16. DOI: 10.18721/JCSTCS.10401 10.18721/JCSTCS.10401 004.92:311.218 infographics data visualization flow charts sankey diagram web analytics google analytics eye-tracking https://infocom.spbstu.ru/article/2017.55.1/ 01.pdf
RAR RUS 17-28 Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Lebedev Evgeny eugenelebedevrus@gmail.com
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 IBS Expertise Ponomareva Elena eponomareva@ibs.ru Peter the Great St.Petersburg Polytechnic University Mishchenkova Katerina mishenkova.katya@yandex.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 The Study of the Data Visualization Technology of a Software System for Interactive Strategies and Business Analysis Interactive strategizing tasks involve active generalization of large amounts of structured data. This requires new architectural approaches to building business analysis systems. The paper considers an approach to building a widget's architecture, based on the use of OLAP corporate storage. The storage implements two processes: generalizing the data during the download to the cube and retrieving the data from the cube for its interactive representation in mobile and stationary client applications. In this paper, the system and widget architecture is formulated, the processes of loading and unloading of data are described and experiments were performed to determine the possibility of using data management methods in the process of interactive refinement of strategies. The results of the work can be used to select technologies for accessing data when building business analysis systems with the process of strategies. Citation:Samochadin A.V., Lebedev E.V., Ponomareva E.V., Mishchenkova K.V. The study of the data visualization technology of a software system for interactive strategies and business analysis. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 17–28. DOI: 10.18721/JCSTCS.10402 10.18721/JCSTCS.10402 004.652.4 business intelligence system architecture widget OLAP strategy relational databases files ETL interactive panels reports WEB-client https://infocom.spbstu.ru/article/2017.55.2/ 02.pdf
RAR RUS 29-40 The Bonch-Bruevich Saint-Petersburg State University of Telecommunications (SUT) Ometov Aleksander alexander.ometov@gmail.com
Prospekt Bolshevikov, 22 - 1, Saint-Petersburg,193232, Russia
 Saint Petersburg National Research University of Information Technologies, Mechanics and Optics Bezzateev Sergey bsv@aanet.ru
49 Kronverksky Pr. St. Petersburg, 197101 Russia
 D-5155-2014 6507253900 0000-0003-3976-2971 Higher School of Economics Yevgeni A. ykoucheryavy@hse.ru
Korkeakoulunkatu 10, FI-33720 Tampere Finland
 Authenticating Electronic Devices for Temporary Use: Access Rights Management Protocol The number of active wearable devices per user is growing daily. Conventionally, authentication algorithms were responsible for the security of such systems especially in terms of the Internet of Things (IoT) paradigm. This manuscript proposes an authentication protocol specifically designed for operation under unreliable connectivity to trusted authority constraints. Such situations may occur both in cases of network overload and in distant areas with low network coverage. The summary on existing solutions as well as the benefits brought by the solution are discussed. A detailed description of the protocol execution phases enabling integrity and privacy for the owner and the temporary user is also given. Citation: Ometov A.Ya., Bezzateev S.V., Koucheryavy Y.A. Authenticating electronic devices for temporary use: access rights management protocol. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 29–40. DOI: 10.18721/JCSTCS.10403 10.18721/JCSTCS.10403 004.021 authentication protocol Internet of Things wireless communication unreliable connection https://infocom.spbstu.ru/article/2017.55.3/ 03.pdf
RAR RUS 41-50 Peter the Great St.Petersburg Polytechnic University Nikitin Aleksandr nikitin@mail.spbstu.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Khabitueva Ekaterina basilliounderground@mail.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 The Features of Design of an Ultra-Wideband Microwave Hybrid VCO Some features of designing an ultra-wideband microwave voltage-controlled oscillator (VCO) are reviewed in this article. The developed microstrip VCO is realized by means of hybrid technology. It has achieved an oscillation bandwidth of 6-12 GHz. As a result of studying the ultra-wideband VCO, we have determined the basic structure of the generator and formulated the requirements for its control elements. We have developed a method for designing the microwave VCO’s output-matching circuits. Using these output circuits allows achieving ultra-wideband characteristics. As result, a hybrid microstrip circuit of the ultra-wideband VCO has been designed. Standard SMD-components are used in the developed VCO circuit. The VCO’s main parameters are not inferior to similar products of the leading manufacturers of microwave devices. Citation:Nikitin A.B., Khabitueva E.I. The features of design of an ultra-wideband microwave hybrid vco. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 41–50. DOI: 10.18721/JCSTCS.10404 10.18721/JCSTCS.10404 621.373 VCO varactor diode ultra-wide band output circuit microstrip circuit https://infocom.spbstu.ru/article/2017.55.4/ 04.pdf
RAR RUS 51-69 Saint Petersburg State University Podkopaev Anton Tel Aviv University Lahav Ori orilahav@tau.ac.il
Tel Aviv, Israel
 Max Planck Institute for Software Systems Vafeiadis Viktor viktor@mpi-sws.org
Kaiserslautern, Germany
 On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model A ‘promising’ memory model is an auspicious solution to the problem of defining semantics for an imperative language with concurrency, such as C/C++ or Java. An essential requirement for such a memory model is the existence of an effective and correct compilation scheme from the language to its target platforms. There are compilation correctness proofs from the promising model to x86 and Power as well as to an operational model ARMv8 POP. This paper presents such proof for an axiomatic memory model for ARMv8.3. In the proof, we use a new method of execution traversal, which might be used in other compilation correctness proofs for the promising memory model. Citation:Podkopaev A.V., Lahav O., Vafeiadis V. On compilation correctness for a subset of a Promising memory model to the ARMv8.3 memory model. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 51–69. DOI: 10.18721/JCSTCS.10405 10.18721/JCSTCS.10405 004.4'422 concurrency compilation correctness weak memory models ARM semantics https://infocom.spbstu.ru/article/2017.55.5/ 05.pdf
RAR RUS 70-77 Timofeyev Denis timofeevda@gmail.com Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Modeling of Software Development Processes with Hidden Markov Models This paper describes the individual process of programming as a specific part of a more general software development process. We discuss the task of programming process modeling and propose a new approach based on hidden Markov models. The model may be used to solve three kinds of problems: the analysis and comparison of processes, making the process more efficient and less exhausting and transferring the process knowledge from experienced developers to students. The latter two problems are solved by detecting the kind of programmer’s activity. We do it by inferring the most likely sequence of process model states based on observed actions the developer performs using the integrated development environment and other relevant applications. Citation: Timofeev D.A., Samochadin A.V. Modeling of software development processes with hidden Markov models. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 70–77. DOI: 10.18721/JCSTCS.10406 10.18721/JCSTCS.10406 004.81 software development process modeling hidden Markov model feedback productivity https://infocom.spbstu.ru/article/2017.55.6/ 06.pdf
RAR RUS 79-88 Peter the Great St.Petersburg Polytechnic University Kurochkin Leonid kurochkinl@spbstu.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Kurochkin Mikhail kurochkin_ma@spstu.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Popov Sergey popovserge@gmail.com
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Popov Mikhail spbmvp@gmail.com
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Results of Experimental Studies of Positioning Accuracy Using Various Satellite Navigation Systems There is a constantly growing interest in tasks involving groups of autonomous mobile objects: environmental monitoring, elimination of consequences of technological disasters. A navigation system of an autonomous mobile object and the accuracy of navigation data play a key role in tasks of autonomous control of mobile objects. These tasks include: route planning, control over driving parameters of an autonomous mobile object, arrangement of interaction within a group of autonomous mobile objects. The accuracy of navigation data from satellite navigation systems essentially depends on such factors as: the number of visible satellites for any available navigation system, receiver characteristics, terrain features, environment properties. It is an important task to make a rapid choice from the available satellite navigation systems or their combination that provides the most accurate position when differential corrections are not available. This paper covers the technique that allows quick choosing of the most precise satellite navigation system or their combination. The choice is based on a statistical analysis of data received from satellite navigation systems. Citation:Kurochkin L.M., Kurochkin M.A., Popov S.G., Popov M.V. Results of experimental studies of positioning accuracy using various satellite navigation systems. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 79–88. DOI: 10.18721/JCSTCS.10407 10.18721/JCSTCS.10407 004.021 004.046 autonomous mobile objects navigation navigational data statistical estimation choice of satellite positioning system navigation data precision autonomous control https://infocom.spbstu.ru/article/2017.55.7/ 07.pdf
RAR RUS 89-96 St. Petersburg State University of Film and Television Markhotin Arseny markhotin@gmail.com St. Petersburg State University of Film and Television Krivosheykin Anatoliy
St. Petersburg, Russia
 Saber Interactive Osipenko Ivan ivanosipenko@gmail.com
St. Petersburg, Russia
 The Bonch-Bruevich Saint-Petersburg State University of Telecommunications (SUT) Rogozinsky Gleb gleb.rogozinsky@gmail.com Sonification System in Finding Route and Detour of Obstacles The paper presents a sonification system for finding route and detour of obstacles. In the absence of obstacles in the direction of motion, the sound signal generated by the system indicates the direction to the target. If there are obstacles, the sound signal indicates the direction of safe movement depending on the current position of the user. The data representation concerning closeness of the obstacles uses the mathematical apparatus of fuzzy logic. The system was designed in the graphical programming environment Pure Data. The description and the results of the experiment on passing through the virtual space with obstacles by several testees using sound are presented. Citation: Markhotin A.A., Krivosheykin A.V., Osipenko I.N., Rogozinsky G.G. Sonification system in finding route and detour of obstacles. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 89–96. DOI: 10.18721/JCSTCS.10408 10.18721/JCSTCS.10408 004.523 sonification fuzzy logic navigation pathfinding assistive technology https://infocom.spbstu.ru/article/2017.55.8/ 08.pdf
RAR RUS 97-106 Peter the Great St.Petersburg Polytechnic University Onufriev Vadim ovavadim@gmail.com
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Autonomous Robots Group Control Using Polar Coordinates Autonomous robots group coordination in order to move from arbitrary position to specific point is considered in this paper. The author proposes the approach where the static group’s leader computes each robot’s polar coordinates based on the distance sensor’s measures. Then it transmits these coordinates via a wireless network to be used for direction and disposition computations. The algorithmic model of this process, which is used for computation and saving the robots’ coordinates is presented. The paper also describes the proposed methods of the robots’ communication based on Wi-Fi networks and TCP/IP stack. In the conclusion a minimal set of on-board equipment is defined. Citation:Onufriev V.A. Autonomous robots group control using polar coordinates. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 97–106. DOI: 10.18721/JCSTCS.10409 10.18721/JCSTCS.10409 004.896 mobile robots group control network-centric system intelligent systems cyber-physical system https://infocom.spbstu.ru/article/2017.55.9/ 09.pdf
RAR RUS 107-117 Peter the Great St.Petersburg Polytechnic University Popov Sergey popovserge@gmail.com
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Konenkov Andrey konenkoff@mail.ru
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Peter the Great St.Petersburg Polytechnic University Samochadina Tatiana
Polytechnicheskaya, 29, St.Petersburg, 195251, Russia
 Visual Design Editor for Schemes and Procedures of Filling OLAP Cubes in Multidimensional Databases The development of OLAP cubes for use in business analysis systems requires coordinated actions of the database administrator and analyst. Their interaction is an iterative process, and it slows down the design of the storage component and generalization of the data. We have developed a new analytic tool, which will allow to perform most of the operations to control a logical and physical scheme. It will speed up the process of storage subsystem development. This tool, described in this paper, is a specialized graphic editor,. The paper formulates the requirements for graphical representation of OLAP cubes and ETL, requirements for editor functions and implementing the interface examples. Citation:Popov S.G., Konenkov A.V., Samochadina T.N. Visual design editor for schemes and procedures of filling olap cubes in multidimensional databases. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunications and Control Systems, 2017, Vol. 10, No. 4, Pp. 107–117. DOI: 10.18721/JCSTCS.10410 10.18721/JCSTCS.10410 004.652.4 database database management system BI analyst system administrator OLAP ETL schematic editor graphical notation https://infocom.spbstu.ru/article/2017.55.10/ 10.pdf