2687-0517 3 198 2014

RAR RUS 7-18 Kotenko Igor ivkote@comsec.spb.ru Saenko Igor ibsaen@comsec.spb.ru St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences Yusupov Rafael spiiran@iias.spb.su

14-th Linia, VI, No. 39, St. Petersburg, 199178, Russia

New generation of security information and event management systems The given paper justifies the technological necessity to develop a new generation of security monitoring and event management systems based on security information and event management technology. We have focused on the typical architecture and key solutions to design the individual modules of such systems collecting constant security data, their universal translation, scalable processing, hybrid ontological storage and rich visualization, as well as a cross-level correlation of events, attack modelling and predictive security analysis. We have also stated some proposals to use such systems in the domains related to security protection in critical infrastructures. 004.056.5 security monitoring and management computer network security event information infrastructure https://infocom.spbstu.ru/article/2014.39.1/ 01.pdf

RAR RUS 19-27 Borodin Anton AntonioBorodin@gmail.com Research of computer systems load capability Load testing is one of the main tools used to measure parameters and determine computer system behavior under operating conditions. Constant development and extension of computer systems lead to the load increase to maintain normal condition. As the resources of a single computer are not enough to create that amount of load, there are different methods to reach that amount of load using distributed computing. This article presents the experiment results to determine load capability limits for a single computer system and factors affecting them. 004.054 load testing load capability processing time of a packet by operating system https://infocom.spbstu.ru/article/2014.39.2/ 02.pdf

RAR RUS 28-36 Cherny Sergey sergiiblack@gmail.com Zhilenkov Anton zhilenkovanton@gmail.com Identification of external parameters for the expert subsystems in the composition of the shipboard of electric power systems One of the most important tasks for the filter-compensation devices is an accurate determination of changing harmonic components of a non-sinusoidal signal. It helps the power component of the filter compensate the appropriate harmonics. The form of the network currents and voltages in the autonomous electric energetic systems operating with powerful semiconductor load are rather distorted and generator sets generate voltage with non-constant frequency, phase and amplitude. Thus, the calculation of the harmonic composition of the distorted signals proves to be a sophisticated problem. 620.9+004.9 power load intelligent systems identification optimal control https://infocom.spbstu.ru/article/2014.39.3/ 03.pdf

RAR RUS 37-48 Demidova Liliya Nesterov Nikolay nikolaynesterov@gmail.com Tishkin Roman roman.tishkin@mail.ru Possibilistic-fuzzy segmentation of earth surface images by means of genetic algorithms and artificial neural networks We have focused on the problem of image segmentation of earth surface using intelligent information technologies. The application expediency of genetic algorithms to receive suboptimum results of the image segmentation on the basis of clustering algorithms under uncertainty has been shown. We have offered to use artificial neural networks to specify segmentation results received on the base of clustering algorithms under uncertainty. 004.932.2:519.254 earth remote sensing hyper spectral shooting segmentation clustering fuzzy C-means algorithm genetic algorithm artificial neural network https://infocom.spbstu.ru/article/2014.39.4/ 04.pdf

RAR RUS 49-58 Botnev Victor 6603839750 Peter the Great St.Petersburg Polytechnic University Sergey M. Ustinov usm50@yandex.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Methods for direct and inverse geodesic problems solving with high precision Proposed algorithms for navigational calculations provide an extremely low error over the entire range of input parameters and allow avoiding the loss of accuracy typical for these tasks. These methods demonstrate an acceptable performance for practical applications and we can recommend using them in commercial navigational software products meeting international navigational standards. 519.6:527 modelling methods loss of accuracy machine epsilon asymptotic expansions geodesic problems loxodrome https://infocom.spbstu.ru/article/2014.39.5/ 05.pdf

RAR RUS 59-64 Chetverikov Sergey tschetserg@yandex.ru Using the information and measurement system to study statistical characteristics and daily and seasonal variation in the intensity of VLF atmospheric radio noise This paper discusses physical conditions of the origin of VLF Atmospheric Radio Noise, summarizes its statistical characteristics and daily and seasonal variation in its intensity. It also examines general regularities in the diurnal variation of the envelope of Atmospheric Radio Noise field strength and describe the information and measurement system operates. 550.388.2 lightning discharges atmospheric radio noise statistical characteristics daily and seasonal variation generalized empirical model atmospheric https://infocom.spbstu.ru/article/2014.39.6/ 06.pdf

RAR RUS 65-76 Chervyakov Nikolay k-fmf-primath@stavsu.ru Babenko Michael whbear@yandex.ru Lyakhov Pavel ljahov@mail.ru Lavrinenko Irina Lyagin Aleksey kfmf-primath@stavsu.ru Multiplication and division in the residue number system using Galois fields GF(p) The current paper presents an algorithm of multiplication and division in the residual classes based on the theory of Galois fields GF(p). The use of Galois fields GF(p) to solve the problems of arithmetic multiplication and division eliminates a lot of limitations of existing algorithms. The advantage of the proposed algorithm is that it has no restrictions on the dividend and the divisor and it does not use the generalized positional notation and the expansion of the residue number systems. 621.391 computer arithmetic residue number system modular arithmetic Galois field number theory parallel computing https://infocom.spbstu.ru/article/2014.39.7/ 07.pdf

RAR RUS 78-84 Tyutin Boris b.tyutin@gmail.com Veselov Alexey veselov.alexey@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Sequence diagrams application for keyword-driven testing The given paper focuses on the application of sequence diagrams in Message Sequence Chart format for keyword-driven testing. We have studied a keyword-driven approach and presented main advantages of sequence diagrams. The paper comes up with a brief description how to implement testing automation framework based on presented techniques. 004.054 testing automation keyword-driven testing formal specification Message Sequence Charts https://infocom.spbstu.ru/article/2014.39.8/ 08.pdf

RAR RUS 85-91 56049610600 0000-0003-1116-7765 Peter the Great St. Petersburg Polytechnic University Drobintsev Pavel drobintsev_pd@spbstu.ru

St. Petersburg, Russian Federation

Nikiforov Igor igor.nikiforov@gmail.com Voinov Nikita Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Approach to concurrent systems testing based on UCM specification The current paper presents an approach to testing of concurrent program systems based on UCM specifications usage. We have studied UCM constructions specifying multithreading system behavior. We have also described equivalent constructions using the language of basic protocols that is operated by test scenario generator. The approach to automated creation of test scenarios in MSC notation for multithreading systems has been shown. The described approach based on the analysis of concurrent threads allows us to obtain automatically verified test suites for testing concurrent distributed systems. 004.415 formal model thread synchronization parallel computing https://infocom.spbstu.ru/article/2014.39.9/ 09.pdf

RAR RUS 92-98 Osennya Daria osen1313@gmail.com Zakirova Irina from.mumla@gmail.com 56049610600 0000-0003-1116-7765 Peter the Great St. Petersburg Polytechnic University Drobintsev Pavel drobintsev_pd@spbstu.ru

St. Petersburg, Russian Federation

Developing software for data center configuration The paper describes an approach to the development of software products aimed at automating configuration of data centers. Also, the paper presents methods to select configurations for information centers and an approach to analyse their properties. 004.65 data center EMC ECLIPSE EMF GMF https://infocom.spbstu.ru/article/2014.39.10/ 10.pdf