2687-0517 1 236 2016

RAR RUS 7-14 Karganov Vitaly vitalik210277@mail.ru Raschesova Antonina Kudriashov Vladimir Kudriashov37@mail.ru The Indicator for Assessing the Effectiveness of Communication Systems and Their Elements The article offers an indicator of efficiency of communication networks and their elements, providing the possibility of their objective comparison at stages of creation, perfection and operation, and also an establishment of well-founded tariffs. The considered set of values of indicators of quality of functioning defines the conditions of elements of a network and a network as a whole and characterizes their loading ability. The concept of stratification of a communication network, as a complex system, with the specifications of implemented protocols of transfer and processing and using the known analytical models based on systems of mass service or imitating modeling is considered. A method for defining an indicator of efficiency (MDIEF) and an optimum working point of functioning of a communication network and its elements are stated. 10.5862/JCSTCS.236.1 621.391.28 communication networks (CN) classification indicators (CI) metric space (NS) volume network (VN); method definition indicator efficiency (MDIEF) loading characteristic (LC); optimum working point https://infocom.spbstu.ru/article/2016.48.1/ 1_7_14.pdf

RAR RUS 15-22 Malyshev Victor uhmal@mail.ru Peter the Great St.Petersburg Polytechnic University Nikitin Aleksandr nikitin@mail.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

An Oscillator Designing Using CAD Simulation The CAD simulation of solid-state oscillators is considered in this article. A negative resistance concept is frequently utilized to design series feedback microwave transistor oscillator. The article discusses using nonlinear design tools for negative resistance oscillator simulation. It describes the main reasons of simulation failure for microwave oscillator design: the position of the oscillator probe in the circuit, the values of the oscillator probe parameters. As illustrated by a number of examples of oscillator models, small-signal negative resistance simulation results can be used for correct placing of oscillator probe in the circuit. These results can be used for enhancing the validity of steady-state oscillation detection using CAD simulation of solid-state oscillators. 10.5862/JCSTCS.236.2 621.373 oscillator transistor negative resistance microwaves https://infocom.spbstu.ru/article/2016.48.2/ 2_15_22.pdf

RAR RUS 23-30 Borodulin Roman Matrix Transform Method for Solving Two-Dimensional Electrodynamic Problems of Radiation by Nodal Finite Element Method The article presents a mathematical apparatus for solving the radiation problems by the nodal finite elements method in a two-dimensional field. We obtain the final expression for the elements of the local matrix and the methodology for deriving the functional dependence of the excitation field of a point source (for forming the right side of the vector). The calculation test performed by this method improved the model of elementary electric dipole in the form of a flat frame with electric current. The reliability of the results confirmed a high coincidence with the analytical solution of the radiation problem of the elementary electric dipole. The results of the article can be used in the calculations of any axially symmetric antenna excited by a point source, including the problems of structural synthesis of axially symmetric emitters for different purposes. 10.5862/JCSTCS.236.3 519.612 axially symmetrical radiation field axially symmetric antenna point source elementary electric dipole local finite element matrix excitation function structural synthesis https://infocom.spbstu.ru/article/2016.48.3/ 3_23_30.pdf

RAR RUS 31-40 Raevskaya Anastasiya a.p.raevskaya@yandex.ru Krylatov Alexander aykrylatov@yandex.ru OD-Matrix Estimation for Urban Traffic Area Control The paper is dedicated to the problem of OD-matrix estimation and reconstruction. The authors carried out a review of the literature of foreign and Russian authors on the subject of the estimation and reconstruction of a trip matrix. The most effective method of optimal plate scanning sensors location on the road network is noted. To improve this method, the new optimizational model is developed for the road network of general topology. The developed model allows to maximize the probability of fixation of the most significant traffic flows throughout the whole route. Simulation with experimental data is carried out on the transportation network of St. Petersburg. 10.5862/JCSTCS.236.4 51-74 trip matrix OD-matrix traffic flow plate-scanning sensors https://infocom.spbstu.ru/article/2016.48.4/ 4_31_40.pdf

RAR RUS 41-52 Titov Aleksandr titovvvv@rambler.ru Khomonenko Anatoly Software Selection by Using the Takagi-Sugeno Algorithm on the Example of Project Management Systems This article analyzes the current approaches to selecting software and the expediency of applying the algorithm of fuzzy Takagi-Sugeno output for software selection. The main stages of fuzzy inference using the Takagi-Sugeno algorithm have been described, along with a variant modification of the algorithm used to select the software project management systems (PMS). A rule base for the fuzzy inference algorithm using fuzzy membership function for all key indicators has been established, with numerical examples of comparison provided (Spider Project and Oracle Primavera project management systems). In addition, this article describes the main characteristics of the indicators of project management systems and selected indicators for evaluation experts. 10.5862/JCSTCS.236.5 004.89+004.94 decision theory software selection fuzzy logic Takagi-Sugeno algorithm project management system https://infocom.spbstu.ru/article/2016.48.5/ 5_41_52.pdf

RAR RUS 53-64 Peter the Great St. Petersburg Polytechnic University Levchenko Aleksei levchenko_av@spbstu.ru

St. Petersburg, Russian Federation

Fyodorov Stanislav Dynamic Binary Instrumentation Tool for Data Locality Analysis This work addresses the fundamental challenges covered in a number of papers on high performance computing. One of the most important issues is the Memory Wall problem. Standard memory access patterns can cause sparse temporal and spatial locality and thus performance degradation. It is important to get the profile of an application’s memory access to analyze its performance. The main purpose of this study is the dynamic binary analysis tool for data locality analysis. The tslmap profiler was developed for analyzing the performance behavior of applications. It is based on the Valgrind platform intended for creating tools for binary analysis of applications. The tslmap tool allows to get and visualize the profiles helping to measure the metrics of temporal and spatial locality by dynamic analysis of a program’s memory references. Experiments were performed on cluster architectures for plotting the performance of client application as a function of its spatial and temporal scores for certain systems. 10.5862/JCSTCS.236.6 004.4`233:004.382.2 apex-map dynamic binary analysis high performance computing memory wall problem performance surface profiler spatial locality temporal locality valgrind https://infocom.spbstu.ru/article/2016.48.6/ 6_53_64.pdf

RAR RUS 65-81 Solomenko Institute of Transport Problems of the Russian Academy of Sciences, University National Technology Initiative 2035 Seliverstov Yaroslav maxwell_8-8@mail.ru Institute of oriental manuscripts of Russian Academy of Sciences Seliverstov Sviatoslav amuanator@rambler.ru Use of GATLOSAMI to Prevent Causes of Traffic Accidents and Adverse Social Accidents in a ‘SMART CITY’ The model of an intelligent data analyzer of city logistics, transportation, social and economic behavior of people and the state objects of urban systems has been developed in this paper. Personalized recommendation control elements of the urban system have been described. The concept of a directive element of the urban system was given and defined. The problem of prevention of causes of accidents has been detailed. Searching for causes of accidents was solved through an abductive inference process. The Codified Template Library of Potentially Dangerous Patterns of Behavior was created with an inductive inference process. Some examples and recommendations for improvement of the GATLOSEMI model were given. 10.5862/JCSTCS.236.7 656, 007; 004.81, 614.8; 007; 51-7, 351; 351. intelligent transport systems smart urban logistics monitoring of logistics and socio-economic processes personal recommender systems accident cause prevention systems https://infocom.spbstu.ru/article/2016.48.7/ 7_65_81.pdf

REV RUS 84-107 Mordvinov Dmitrii mordvinov.dmitry@gmail.com Litvinov Yury Survey on Formal Methods in Robotics This paper is a survey of applying formal methods in the robotics field. We consider a number of recent works on robotic behavior specification in terms of temporal logics and using the model checking approach. Formal analysis techniques for Petri nets and robotics systems modeling using those methods are also considered. Verification of hybrid systems, application of process algebras for concurrent systems and other approaches for synthesis and verification of robotics controllers are described. We survey both fundamental papers that lay a foundation for the entire branches of research and recent papers from the top conferences of the last five years hoping to cover most of the actively developed research topics. 10.5862/JCSTCS.236.9 51-74 formal methods robotics temporal logics formal verification synthesis of formal systems https://infocom.spbstu.ru/article/2016.48.8/ 9_84_107.pdf

CNF RUS 108-117 Ermakov Mikhail mermakov@ispras.ru Dynamic Analysis of ARM ELF Executable Code Using Static Binary Instrumentation Dynamic program analysis methods are widely used in a broad range of activities related to software development; practical implementations of dynamic analysis rely on various code transformation and monitoring techniques. In this paper we focus on one of these techniques, static binary code instrumentation. We provide an overview of the existing tools implementing this technique and show that there are no tools directly applicable to our platform of choice, i.e., ARM/Linux and ELF binary format. We present an approach to perform static binary instrumentation for the platform in question and describe in detail the following points: user-specified instrumentation code and insertion point mapping; intermediate instruction representation used in instrumentation engine; code insertion process; offset correction process. Finally we describe a set of practical experiments of applying static binary instrumentation to Avalanche, a dynamic program analysis tool performing automatic input generation and bug discovery. 10.5862/JCSTCS.236.10 004.05 dynamic analysis binary instrumentation ARM architecture https://infocom.spbstu.ru/article/2016.48.9/ 10_108_117.pdf