2687-0517 3 174 2013

RAR RUS 9-18 Peter the Great St. Petersburg Polytechnic University Benderskaya Elena helen.bend@gmail.com

St. Petersburg, Russian Federation

Tolstov Aleksandr gm.alext@gmail.com Trends of hardware implementation of neural networks Hardware implementations of bio-inspired neural networks are under consideration. A comparative analysis of neuromorphic systems with other approaches is provided. The stages of chaotic neural network hardware implementation based on graphics processing units are proposed. 004.8.032.26, 681.513.8 neural network bio-inspired computing neuromorphic systems hardware implementation https://infocom.spbstu.ru/article/2013.33.1/ 01_benderskaya.pdf

RAR RUS 19-25 Sukhov Igor sia23@mail.ru Akimov Valerij valeri_akimov@mail.ru Resolution improvement of MUSIC algorithm for the direction-finder based on a circular antenna array Method of the MUSIC algorithm improvement resolution for the direction-finder is suggested. The method is based on forming number of subarrays from elements of the circular antenna array. It gives the possibility to improve the direction-finder resolution. 621.396.663 multiple signal classification circular antenna array direction-finding direction-finding algorithm beamforming https://infocom.spbstu.ru/article/2013.33.2/ 02_sukhov.pdf

RAR RUS 26-32 Alekseev Mikhail 22735712200 Peter the Great St. Petersburg Polytechnic University Sorotsky Vladimir sorotsky@mail.spbstu.ru

St. Petersburg, Russian Federation

Distortions reduction for switch-mode generated radio signals The paper gives an overview of promising switch-mode method for generation of radio signals with specified characteristics. Based on the mathematical model of radio signal an error assessment for the envelope and phase deviation is proposed. The method can be used in communication, navigation or broadcasting radio transmitters. 621.37 radio signal radio transmitter switch mode distortions model https://infocom.spbstu.ru/article/2013.33.3/ 03_alekseev.pdf

RAR RUS 33-43 Volkova Violetta violetta_volkova@list.ru Chernenkaya Liudmila Ludmila@qmd.spbstu.ru Mager Vladimir mv@qmd.spbstu.ru Classification of models in system analysis Brief analysis of existing approaches on models’ classification provided. The concept for classification of models is offered. Characteristics of orientations and methods of modelling, included in the proposed structure of classification, are submitted. 510.67 system model classification criteria of classification mathematical modelling classification according to methods of modelling https://infocom.spbstu.ru/article/2013.33.4/ 04_volkova.pdf

RAR RUS 44-52 Lantsev Yevgeniy A . red_snow@list.ru Dorrer Mikhail mdorrer@mail.ru Creating agent-based model from the business process discrete-event model In this paper the technique for translating model in eEPC notation into AnyLogic agent-based simulation model are proposed and developed. Performed an experiment of translating model in eEPC notation into Anylogic agent-based simulation model based on the developed algorithm. The results can be used by analysts to reduce simulation models designing and implementing time, and simplifying the exploitation process. 65.012.122 agent-based simulation eEPC ARIS AnyLogic business process https://infocom.spbstu.ru/article/2013.33.5/ 05_lantsev.pdf

RAR RUS 53-57 Yastrebov Mikhail mikyast@gmail.com The Fibonacci search — the substantiation, the number system and the hashing The article is aimed to prove the completeness of the Fibonacci search. The algorithm of the search allows representing the searched-for numbers as finite sequences (n-tuples) of a special type combined of the alphabet consisting of three symbols. The conversion of the tripartite record of a number into the admissible tuple results in the hashing procedure. 004.67, 519.688 Fibonacci search completeness of the search representation of numbers ternary system hashing https://infocom.spbstu.ru/article/2013.33.6/ 06_yastrebov.pdf

RAR RUS 58-66 Shubnikov Vladislav vlad.shubnikov@gmail.com Belyaev Sergey sergey.belyaev@d-inter.ru Image Difference Estimation and Noise Removing PSNR (Peak Signal to Noise Ratio) metric is typically used to estimate difference between two given images. Recent time more reliable metric (SSIM – Structural Similarity) was introduced to detect image changes/noise/etc. This article introduces more advanced approach for the image distance measurement, based on weighted sum of the image structure estimation and edges detection. Proposed metric (ESSIM – Edgeted Structural Similarity) is more close to the human image difference perception, and provide strong emphasize to pixels near edges. Paper illustrates two image modification cases, where PSNR and SSIM cannot find difference between images, but proposed metric can do it. Also this paper introduces a novel image noise removal approach, based on the weighted mixture of bilateral method and advanced edge detection approach. 004.932 image similarity image processing filtration edge detection noise removing https://infocom.spbstu.ru/article/2013.33.7/ 07_shubnikov.pdf

RAR RUS 67-74 Antonova Elena ant_vladivostok@mail.ru Vasilev Ilya vasyhin@list.ru The problem of cargo operation management on container terminal railway The article covers the research of existing problems with container terminal railway functioning. Technological processes are analyzed that are in progress when discharging and loading to railway transport using Vladivostok container terminal as an example. Author researches ability to automate technological process to get managing container terminal railway more optimized. The goal of research is development of automating methods for cargo processes management at container terminal. The article contains formal description of the tasks that should be solved to achieve the goal of developing the methods for automating cargo loading processes at container terminal railway. 004.825 container transportation railway processes container terminal management systems railway processes automating formal planning of technological process https://infocom.spbstu.ru/article/2013.33.8/ 08_antonova.pdf

RAR RUS 75-84 Kashirin Igor igor_kashirin@mail.ru Medvedev Roman roman_medvedev@inbox.ru Ontological accumulation of educational knowledge based on the service information networks This article discusses an ontological model of knowledge representation for their accumulation in distance learning systems. When collecting information used WSDL and OWL-S technology service descriptions in global information networks. The resulting technology has been effective in practical use as a subsystem of Internet-portal of general education. 007:681.512.2 ontological model Internet-service accumulation of knowledges distance learning description logics https://infocom.spbstu.ru/article/2013.33.9/ 09_kashirin.pdf

RAR RUS 85-92 Ivanchenko Dmitry DIvanchenko@ibs.ru Khmelkov Igor IKhmelkov@ibs.ru Raychuk Dmitry vicerector.sc@spbstu.ru Mitrofanov Aleksandr mitrofanov@spbstu.ru Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Rogov Petr petr.rogov@spbstu.ru The use of BYOD approaches for implementation of university IT-strategy The article presents the current approaches to the use of mobile technologies and services in the higher education system, disclosed the contents of BYOD as a component of IT-strategy for the higher education institution, identified technological and organizational problems of implementing BYOD approaches to the educational process. 004.7 informatization of education mobile technologies BYOD mobile device manager MDM https://infocom.spbstu.ru/article/2013.33.10/ 10_ivanchenko.pdf

RAR RUS 94-98 Kirilenko Iakov jake@math.spbu.ru Grigoriev Semen rsdpisuy@gmail.com Avdiukhin Dmitry dimonbv@gmail.com Syntax analyzers development in automated reengineering of informational system In this article features of syntax analyzer development in automatic reengineering problems are considered. Requirements, laid on parser generators, are stated. Tool, satisfying these requirements, is described. 519.685.3 reengineering syntax analysis translation parser generators https://infocom.spbstu.ru/article/2013.33.11/ 11_kirilenko.pdf

RAR RUS 99-104 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 Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Formal models structurization based technique of complex software projects testing The paper describes a technique of software testing based on structurization of formal model. In the scope of the technique approaches and criterions of structurization are described. An example of automated tests generation is shown. Suggested technique allows to resolve problems of formal model understanding and gives an opportunity of automated tests generation with usage of branch coverage criterion. 004.415 UCM structurization coverage test suite https://infocom.spbstu.ru/article/2013.33.12/ 12.pdf

RAR RUS 105-110 Kolosov Aleksandr akolosov@cs.karelia.ru Bogoyavlensky Yuriy A parallel algorithm for constructing a graph of a local Internet service provider’s ICT-infrastructure An ICT-infrastructure (Network) graph is a necessary tool for solving of most network management problems. While the number of modern mobile devices in a Network grow up, permanent update of the Network graph is required to keep it actual and concistent. Therefore, it's required to develop more efficient and fast methods of building such graphs. In this paper we present parallel algorithm of Network graph discovery using routers' MIB data obtained with SNMP and its implementation. Described experiments confirm three-fold speed-up of the PetrSU Network graph building when using parallel algorithm. 004.722+004.415.23 network analysis object-oriented modelling network topology concurrency network management https://infocom.spbstu.ru/article/2013.33.13/ 13_kolosov.pdf

RAR RUS 111-117 Nikiforov Igor igor.nikiforov@gmail.com 56049610600 0000-0003-1116-7765 Peter the Great St. Petersburg Polytechnic University Drobintsev Pavel drobintsev_pd@spbstu.ru

St. Petersburg, Russian Federation

Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Integrated criteria of software requirement checking The paper describes developing methods of tests for the requirements checking that provide 100 % coverage of the initial specifications for the system by test cases. Proposed approach of criterion chains are used in the traceability matrix. The criteria chains are used to automatic generation of test scenarios. Also the article describes methods for generating scenarios and selection of scenarios that satisfy the selected integral coverage criteria. The use of suggested integrated tests criteria for the requirements checking at the stage of a formal specification of the system, allows to cover by test scenarios all the initial requirements of the system. 004.415 design specification requirements traceability matrix guides https://infocom.spbstu.ru/article/2013.33.14/ 14.pdf

RAR RUS 118-122 Tyutin Boris b.tyutin@gmail.com Veselov Alexey veselov.alexey@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Test suite execution scaling for automated testing This article reviews the test execution scaling problem and the approach for its solution implemented in TestCommander, an automated testing system. Results of the system piloting are analyzed and discussed. 004.4’22 testing automation unit-testing verification requirement management scaling https://infocom.spbstu.ru/article/2013.33.15/ 15_tyutin.pdf

RAR RUS 123-128 Tutygin Vladimir vs4141@mail.ru Pelkonen Ignatiy Kirilenko Kirill Method and software for precision measurement of time delay echo-signals of radars A new approach to the decision of a problem of delay definition noised radar echo-signals from an exciting radio impulse based on initial approach of delay received by means of autocorrelation procedure, and additional digital iterative approach of exact delay using nonconventional combination of normalized cross-correlation echo-signal with reference signals, spline-interpolation, oversampling are considered. 621.391:004.421 radar echo-signal reference signals cross-correlation spline-interpolation oversampling iterative algorithm https://infocom.spbstu.ru/article/2013.33.16/ 16_tutygin.pdf

RAR RUS 129-133 Voinov Nikita Aleksandrova Olga Kotlyarova Lina Modernization of the methodic of WINDOWS PHONE 8 mobile applications development The paper describes the modernized methodic of an applications development for modern mobile devices working on new operating system of Microsoft Corporation – Windows Phone 8. The methodic teaches the main principles of applications development and usage of the most important platform’s capabilities. 681.3.068 methodic mobile platform mobile device application development Microsoft Windows Phone https://infocom.spbstu.ru/article/2013.33.17/ 17_voinov.pdf

RAR RUS 134-138 Zaslavskiy Mark mark.zaslavskiy@gmail.com Krinkin Kirill Ryabikov Eduard Edward.ryabikov@gmail.com Cherkalova Viktoria Tsamutali Aleksey indrik_rush@mail.ru Toolset for secure data storage Different approaches to data storage systems software work and debugging tools creation are presented in this work. Approaches to non-invasive profiling of Linux dynamic libraries. Also, the algorithm of cluster resources update which allows to update the cluster resources without cluster consistency disruption (i.e. forced nodes stop) is considered. Moreover, the methods for log-file view automation, allowing the optimization of test results analysis. 004.42 cluster resource update profiling shared libraries test log analysis https://infocom.spbstu.ru/article/2013.33.18/ 18_zaslavskiy.pdf

RAR RUS 139-142 Zhigulin Andrei dron.subzero@gmail.com Safonov Vladimir vosafonov@gmail.com Video content projecting on complex surfaces using multiple output devices The article discusses the application, which plays content on complex surfaces without distorting it, as well as maintains the integrity of the content. The description of the application steps is presented, the development perspectives of this area are proposed. 621.319 Bezier surfaces the reference alpha value integrity of the content DirectX DirectShow https://infocom.spbstu.ru/article/2013.33.19/ 19_zhigulin.pdf

RAR RUS 143-147 Batyukov Alexander batsun@gmail.com Ampilova Nataly n.ampilova@spbu.ru A modified diffusion-limited aggregation modelling algorithm For processes of diffusion-limited aggregation (DLA) a simulation method based on Brownian motion of particles on a plane lattice has been considered. The basic method to trace the walking of sequentially dropped particles has been realized. The optimized method using a priori estimation of particle selection coefficients has been designed and implemented. The results of numerical experiments are given. 004.942 diffusion-limited aggregation DLA fractal cluster Brownian motion https://infocom.spbstu.ru/article/2013.33.20/ T3_174_2013_20.PDF

RAR RUS 148-153 Nikiforov Igor igor.nikiforov@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru 56049610600 0000-0003-1116-7765 Peter the Great St. Petersburg Polytechnic University Drobintsev Pavel drobintsev_pd@spbstu.ru

St. Petersburg, Russian Federation

Restrictions on concurrent construction and time delays of UCM language The paper describes an approach to adjustment of semantics for UCM real time constructions in implementation of translator into Basic Protocols notation. The following constructions and their adjustment are described: multithreading and delays. The main problem of such constructions is that initial version of UCM standard allows to create semantically incorrect models. Proposed extensions and restrictions of UCM semantics allowed solving of these problems for different types of projects. 004.415 timers delays synchronization thread https://infocom.spbstu.ru/article/2013.33.21/ 21.pdf