2687-0517 2 193 2014

RAR RUS 9-22 Ageev Evgeniy agevg@yandex.ru Peter the Great St. Petersburg Polytechnic University Benderskaya Elena helen.bend@gmail.com

St. Petersburg, Russian Federation

Review of natural computing: important trends The classification of natural computing and the basic elements of natural computing and natural computing applications are considered. Additional classification features of natural computing and natural computing interconnection scheme are proposed. Variants of hybrid natural computations are discussed. Tendencies of the development of natural computing are revealed. 004.023, 004.383.8 natural computing bio-inspired computing chaotic computing new computing paradigm structure formation https://infocom.spbstu.ru/article/2014.38.1/ 1.pdf

RAR RUS 23-30 Belyaev Sergey sergey.belyaev@d-inter.ru Shubnikov Vladislav vlad.shubnikov@gmail.com Estimating a human foot size from images Most of the internet shoe shops are interested in selling rate increasing. Main problem is inside too high percentage of delivery returns due to wrong shoe fit. Minimization of wrong shoe size selection can be achieved using virtual shoe fitting. In this scheme customer (private person without specific measuring equipment) should perform a measurement of some important (non-trivial) dimensions of his(her) feet and pass them through on-line service to the online store. The disadvantage of this approach is the lack of accuracy of measurements with the measuring instruments available to the client. Using digital foot images it is possible to detect characteristic foot sizes automatically, with enough high level of accuracy. This paper proposes a method for horizontal and vertical foot contours restoration from digital images, and detection physical foot size with sufficient accuracy for shoe fitting applications. 004.932 human foot measurement image processing image recognition shoe fit shoe comfort estimation https://infocom.spbstu.ru/article/2014.38.2/ 2.pdf

RAR RUS 31-38 Mukhin Vadim v_mukhin@mail.ru Kornaga Yaroslav slovyan_k@ukr.net Steshyn Viktor mail@webmarker.com.ua Adaptive safety mechanisms for computer systems based on the modified Kohonen neural networks In the paper we propose a new approach to the safety ensurance for the distributed computer systems based on the neural network mechanism. There is described a complex adaptive safety support system with the intelligent agent based on the modified neural networks. This system allows to implement the adaptive control for the security mechanisms and to provide the in-time reaction to the security threats, and also to support the fast decisions making on the security mechanisms parameters modification. Also, we perform the experimental researches to evaluate the correctness level of the threats detection and recognition. 04.004 distributed computer system neural network intellectual agent complex adaptive system safety insurance https://infocom.spbstu.ru/article/2014.38.3/ 3.pdf

RAR RUS 39-44 Vargauzin Viktor var@mail.spbstu.ru Estimation of error probability in a channel based on the recurrent properties of convolutional codes The method of the estimation of the probability of errors in the channel, based on recurrence property of convolution codes. The method can be used in computation of the likelihood ratio (LLR) of the code symbols at the demodulator output in communication systems that use both directly convolution code and turbo codes and trellis codes modulations. 621.39(075.8) convolution codes probability of errors in the channel parity check matrix signal to noise ratio turbo code https://infocom.spbstu.ru/article/2014.38.4/ 4.pdf

RAR RUS 45-54 S-4849-2017 57191270776 0000-0001-7006-9634 Peter the Great St.Petersburg Polytechnic University Sergey B. makarov@cee.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Zavialov Sergey Improving BER performance for coherent detection of nonorthogonal multifrequency signals Research of the BER performance of multifrequency PSK-4 signals with nonorthogonal location of subcarriers has been conducted. Elementwise coherent detection algorithm with compensation for interchannel interference (and multistep modification) and algorithm according to the state diagram are proposed. 621.391.8 nonorthogonal multifrequency systems coherent detection algorithm compensation for inter-channel interference state diagram BER performance https://infocom.spbstu.ru/article/2014.38.5/ 5.pdf

RAR RUS 55-60 Malyshev Victor uhmal@mail.ru Matveev Yuriy matveev.rf@gmail.com Peter the Great St.Petersburg Polytechnic University Nikitin Aleksandr nikitin@mail.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Khudyakov Аrtem Varactor diode model used to design wideband microwave voltage-controlled oscillators This article describes the nonlinear model of the varactor diode for use in broadband microwave voltagecontrolled oscillator. The proposed model has been verified based on measurement data and adequately reflects the characteristics of the varactor diode. This varactor model can be used in various types of CAD for accurately design broadband microwave VCO and frequency-tuning circuits. 621.37 varactor diode microwave oscillator frequency tuning https://infocom.spbstu.ru/article/2014.38.6/ 6.pdf

RAR RUS 61-73 Minullin Renat Minullin@mail.ru Kasimov Vasil VasilKasimov@yandex.ru Filimonova Tamara Filimonova.Tamara@bk.ru Yarullin Marsel Marsel.Jarullin@gmail.com Location detection of glaze ice on overhead electric power lines. Part 1. Methods of glaze ice detection The paper presents practically implemented methods of detection of glaze ice on wires, such as overhead electric power lines. The paper describes in detail the method of location detection of glaze ice. Authors give several examples of glaze ice detection resulting from multiannual investigations of the active electric power lines. Authors discuss the advantages of the location detection over other methods of glaze ice detection. 621. 315.1, 621.372.2 electric power lines glaze ice on wires detection methods location probing glaze ice detection technology https://infocom.spbstu.ru/article/2014.38.7/ 7.pdf

RAR RUS 74-84 Minullin Renat Minullin@mail.ru Kasimov Vasil VasilKasimov@yandex.ru Filimonova Tamara Filimonova.Tamara@bk.ru Yarullin Marsel Marsel.Jarullin@gmail.com Location detection of glaze ice on overhead electric power lines. Part 2. Noise-limited sensitivity and operation threshold setting in detecting ice accretion by location probing The authors study the threshold sensitivity of detecting ice accretion by location probing and stability of amplitude and transmission delay of reflected signals in the normal operation mode in the absence of ice. Due to long-term investigations of the active power lines annual and daily variations were discovered in amplitude and transmission delay of reflected signals. It was shown that these variations as well as sporadic fluctuations in the normal operation mode are far less than the changes in signal amplitude and transmission delay at the early stage of ice accumulation. Guidelines to set operation threshold for detecting early ice accretion on electric power lines and wire breakage by amplitude and transmission delay are given. 621.315.1, 621.372.2 electric power lines location monitoring amplitude and transmission delay of reflected signals detecting ice accretion and wire breakage location method sensitivity setting operation threshold for amplitude and transmission delay https://infocom.spbstu.ru/article/2014.38.8/ 8.pdf

RAR RUS 85-90 Rybin Yurii rybin@tpu.ru Synthesis of signals with a given harmonic coefficient A problem of the measured signals with a predetermined ratio of harmonics formation is described. It is shown that a promising way of forming such shaped signals is a synthesis using sinusoidal signal generator to control the duration of half-periods. Synthesized signals have constant amplitude and RMS voltage at a different set THD. 621.374 measuring signal nonlinear distortion factor total harmonic distortion https://infocom.spbstu.ru/article/2014.38.9/ 9.pdf

RAR RUS 91-98 Rostov Nikolay Multiobjective parameter optimization of digital controllers with regard to the influence of nonlinearities and external disturbances Some formulations and  сomputer-aided technologies for multiobjective parameter optimization of digital stabilization and tracking control systems with electromechanical plants are proposed, taking into account nonlinearities and disturbances in different dynamical modes. The practical examples are given to multiobjective parameter tuning of typical digital controllers. 681.3 (075.8) automatic control systems digital controlers multiobjective parameter optimization direct sounding Pareto-solutions nonlinearities disturbances https://infocom.spbstu.ru/article/2014.38.10/ 10.pdf

RAR RUS 99-109 Igumnov Alexei Alexei.Igumnov@gmail.com Saradgishvili Sergey SSaradg@yandex.ru Fault recovery in redundant multiagent systems The model of redundant multiagent system (MAS) as distributed hardware-software complex, which is based on replication of tasks instead of replication of agents, is developed. The developed fault recovery methodology presented in the article includes communication protocol for components of MAS, which enables task execution independently of its deployment or belonging to a particular component of MAS, technique for keeping inactive task replicas in actual state and techniques for fault detection and fault recovery. Developed models and methodology are validated by stated and proved theorem on fault tolerance property of MAS. 004.052.3 multiagent system redundancy replication fault fault recovery https://infocom.spbstu.ru/article/2014.38.11/ 11.pdf

RAR RUS 110-125 Kuznetsov Andrey andrei.n.kuznetsov@gmail.com 36574097400 University of Aizu Evgeny V. pyshe@u-aizu.ac.jp

Japan

Ontology of software building, execution and environment configuration and its application in software deployment in computing clouds This paper is focused on software applications build, configuration and execution in cloud frameworks. We pay special attention to the case when developers being experts in their subject domain aren’t experienced enough in programming. By examples of problems existing in the area of testing information retrieval algorithms we examine major approaches to support CLI client software execution in clouds. We introduce a subject domain ontology describing processes of software code building, its execution, build and execution errors as well as actions which are necessary to fix recognized errors. We cite examples of concrete tasks ontology definition to describe code building activities using maven and software execution activities using java. The recommendations on how to use the proposed ontology to define expert system knowledge base rules are given. 004.41:004.822 service-oriented architecture cloud computing software ontology information retrieval semantic networks https://infocom.spbstu.ru/article/2014.38.12/ 12.pdf

SCO RUS 129-129 N-8983-2014 36237396900 0000-0003-0276-4517 Peter the Great St.Petersburg Polytechnic University Vladimir M. conference https://infocom.spbstu.ru/article/2014.38.13/ 13.pdf

RAR RUS 130-142 Ivannikov Viktor ivan@ispras.ru Kamkin Alexander kamkin@ispras.ru Chupilko Mikhail chupilko@ispras.ru Verifying correctness of hdl-model behavior on the basis of dynamical trace matching Correctness checking of HDL-model behavior is an integral part of dynamical verification of hardware. As a rule, it is based on comparing of HDL-model behavior and reference model behavior, developed in high-level programming languages. Being verified, both models are applied with the same stimulus sequences; their reactions are caught and checked against each other. Due to the abstractness of the reference model, the checking is not a trivial task as event sequences can be different and some events of one trace may miss in the other one. A methodology of dynamical trace matching for hardware models of different abstraction levels is considered in the paper. The methodology has been successfully used in a number of industrial projects of unit-level microprocessor verification. 004.415.53 dynamical verification unit-level verification HDL trace matching partially ordered multisets https://infocom.spbstu.ru/article/2014.38.14/ 14.pdf

RAR RUS 143-152 Averina Anastasiya Anastasia.Matveeva@exactprosystems.com Antonov Nikolay nikolay.antonov@exactprosystems.com Itkin Iosif sasha.khodchenko@exactprosystems.com Particular qualities of testing tools used in industrial operation of trading systems This article discusses the basic requirements for tools developed to verify the correct operation of electronic trading systems using a large amount of automated testing (NiVAT); analyzes the applicability of such tools for industrial operation trading systems. 004 test automation trading systems НIVAT https://infocom.spbstu.ru/article/2014.38.15/ 15.pdf

RAR RUS 153-168 Bulda Alyona alyona.bulda@exactprosystems.com Buyanova Olga olga.buyanova@exactprosystems.com Zverev Alexey natalia.goroshnikova@exactprosystems.com Using of exchange simulators and test exchanges as tools to test Ticker Plant systems Ticker Plant systems are widely used in modern day trading. They allow collecting in real-time quotes from several markets, present the data in a unified format, and disseminate it electronically depending on requests and goals of external clients, traders. This paper presents a view on the possibility of using market simulators for testing such systems. A set of main functional and non-functional test scenarios required to control the quality of quote dissemination has been identified. A comparison of market simulators and real test markets has been presented. 004.052.2 Ticker Plant Market Data exchange test market market simulator functional testing non-functional testing https://infocom.spbstu.ru/article/2014.38.16/ 16.pdf

RAR RUS 169-179 Podymov Vladislav valdus@yandex.ru Popesko Uliana ulya_kiber@mail.ru UPPAAL-based verification of software-defined networks special kind of computer networks in which the switching device control is fully centralized. This paper investigates the problems of formal description and verification of SDN as a real-time system. We provide a UML-based description of SDN, using the UML diagram editor Dia. To verify real-time properties of SDN, we use a well-known model-checking tool UPPAAL. The main result of the research is an approach for SDN verification, based on translation of SDN description into network of timed automata. Translation correctness is formalized and proved. A number of experiments were done to show that the approach can be used to verify real-time properties of SDN specified as TCTL formulae. 519.7 software-defined networks verification timed automata temporal logic UPPAAL https://infocom.spbstu.ru/article/2014.38.17/ 17.pdf

RAR RUS 180-188 Nikeshin A.V. alexn@ispras.ru Pakulin Nikolay npak@ispras.ru Shnitman Victor vzs@ispras.ru Conformance testing automation for transport layer security protocol TLS TLS protocol is widely used to protect data exchange between clients and servers in various scenarios: while browsing Internet, sending and receiving e-mails, establishing VPN, etc. There are dozens implementations in the market at the moment; such as, ensuring interoperability is highly important. Incompatibility between two implementations might result in disconnection or even disclosure of sensitive data. Conformance testing is the primary tool to ensure interoperability between implementations of a protocol. The paper presents a model-based approach to conformance testing of TLS implementations. It discusses the formal model of TLS protocol, the structure of the test suite. We applied the test suite to a several popular implementations of TLS, and present brief results. The paper concludes with discussion of the directions for future research. 536.421 testing verification formal methods formal specification model based testing software models TLS https://infocom.spbstu.ru/article/2014.38.18/ 18.pdf

RAR RUS 189-203 Pakulin Nikolay npak@ispras.ru Dynamic verification of hybrid systems In the recent decade we face aggressive replacement of analogue control loops with digital ones. There are ongoing projects for digital control even for critical systems: «Smart Grids» in power industry, «Integrated Modular Avionics» in aerospace, «Smart Fabrics» in manufacturing, etc. Introduction of large scale digital control channels raises the risks of faults that might result in heavy losses. Those risks call for new methods of analysis and verification, including modeling hybrid systems and model-based verification. The paper overviews a number of existing approaches to verification of hybrid systems and introduces an architecture of a test bed for dynamic verification of models of hybrid systems. 004.05 hybryd systems cyber-physical systems model-based verification dynamic verification testing UniTESK https://infocom.spbstu.ru/article/2014.38.19/ 19.pdf