Computing, Telecommunication and Control

RAR RUS 7-14 Babko Leonid babko@kspt.icc.spbstu.ru Melekhin Victor melekhin@kspt.icc.spbstu.ru Origins of the Faculty of Computer Science The sources of the new fields in the area of engineering cybernetics, computer systems and informatics are rediscovered, taking into the consideration the history of three faculties of the Leningrad Polytechnical Institute. The paper brings on the discourse on how the research schools and. Faculty staff was organized and on what were the faculty creation reasons, motivations and related events, and what personalities were involved into the process. 007 SPBSTU LPI faculty technical cybernetics computer engineering https://infocom.spbstu.ru/article/2011.23.1/

RAR RUS 14-18 Knorring Vfdim 80 years of the Department of Measuring Information Systems: Three points of view The department of Measurement Information Technology was the first to begin training engineers in electrical instrumentation and measurement in the USSR. Its position in the country and inside the faculty since that time has changed significantly. 681.518.3 electricаl instrumentation education theory of measuring data acquisition technologies https://infocom.spbstu.ru/article/2011.23.2/

RAR RUS 18-24 Vasiliev Yuriy Peter the Great St.Petersburg Polytechnic University Igor G. igcher@spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

To the history of Yuri Gagarin’s spacefaring History of creation, development and research areas of the department of Information and Control Systems is briefly reviewed. In particular, the paper discovers little-known facts about participation of department's researchers in the biggest projects of 20th century, including soviet man-rated space programs. 007 SPBSTU faculty department space programs space information and control systems https://infocom.spbstu.ru/article/2011.23.3/

RAR RUS 25-31 Vasiliev Alexei avasil@aivt.ftk.spbstu.ru Murgo Andrey Design of MCU-based network interconnection subsystems A problem of design of MCU-based network interconnection subsystems is considered. Special development kits, hardware and software examples are discussed. 004.75 embedded system distributed control system microcontroller https://infocom.spbstu.ru/article/2011.23.4/

RAR RUS 32-39 Tutygin Vladimir vs4141@mail.ru Yuzhakov Andrey Satellite LFM signals real time digital processing based on using PLD XILINX Digital processing of the satellite LFM-signals in real time, based on use PLD Xilinx and alarm processor TMS of DSP module ADP64Z2APCI, providing the LFM-signals parameters detection and definition is considered. The way of automatic optimum definition of a noise threshold and the algorithm of processing, realizing compression of a satellite spectra stream signals is described. 621.391:004.421 real time system satellite LFM-signals digital processing stream spectra PLD https://infocom.spbstu.ru/article/2011.23.5/

RAR RUS 39-44 Skvortsov Alexandr alskvorcov@gmail.com Boundary transfer rate and power consumption estimation in design of LVDS transmitters This paper presents the methodology for estimation of boundary transfer rate and power consumption of LVDS transmitters. Three LVDS construction principles are considered. Mathematical model for mentioned principles is constructed and described. A set of mathematical formulas for calculations in transmitter designing process is represented. 004.942 LVDS transmitter differential signaling transfer rate power consumption mathematical model https://infocom.spbstu.ru/article/2011.23.6/

RAR RUS 44-50 Maximenko Sergey sl_max@kspt.icc.spbstu.ru Digital systems automated reengineering based on HDL specifications In this paper we propose a method of digital devices reengineering based on automated transformations of HDL specifications. We provide an hierarchical device model and a language for transformation specification. An architecture of extendable automation tool was developed and implemented in a prototype. We describe the prototype structure and functionality and show a way of tool integration into existing design flow. 004.3, 004.436.2 digital devices hardware description languages design automation structure netlist transformation reengineering architecture model prototype program tool https://infocom.spbstu.ru/article/2011.23.7/

RAR RUS 50-53 Belyaeva Nina Ninafs@yandex.ru Kurmashev Aron Study contour modes of two-coordinate systems of programmed motion playback The problem of improving the accuracy contour modes of metal-cutting equipment is solved. The structure of the playback program motion was developed, using the functional method of synthesis. Simulation of systems with different control algorithms was realized under identical parameters of feed drives, coordinate and parametric perturbations. 681.514 CNC systems dynamic precision of metal-cutting equipment https://infocom.spbstu.ru/article/2011.23.8/

RAR RUS 54-61 Glukhikh Mikhail glukhikh@kspt.ftk.spbstu.ru Maximenko Sergey sl_max@kspt.icc.spbstu.ru Melekhin Victor melekhin@kspt.icc.spbstu.ru Filippov Aleksey filippov@eda-server.ftk.spbstu.ru High reliable computer systems design and development The conceptual model of creation of highly reliable computing systems of the real time, considering singularities of architecture and hierarchical arrangement of calculating processes in a considered class of systems, character of influences on calculating processes of flows of failures and failures of hardware support, a state of the modern element basis, methods, technology and work benches of designing is considered. 681.3 concept of multi-level reaction domain organization information failures self-recovery https://infocom.spbstu.ru/article/2011.23.9/

RAR RUS 62-70 Berezkin Aleksey a.v.berezkin@gmail.com Peter the Great St. Petersburg Polytechnic University Fedotov Аlexandr afedotov@spbstu.ru

St. Petersburg, Russian Federation

Filippov Aleksey filippov@eda-server.ftk.spbstu.ru Testing digital systems defined by high level specifications The complex of means of verification of the digital systems, including set of techniques of synthesis of tests from the specifications set in languages of high level, focused on the tool means supporting these techniques is considered. Ways of synthesis of tests and the built in means the testings based on additional rules for UML of diagrams and System C models are offered. 004.3, 004.054, 004.432 verification UML the specification generation of tests system c the technique tool means https://infocom.spbstu.ru/article/2011.23.10/

RAR RUS 71-80 Ptitsina Larisa ptitsina_lk@inbox.ru Smirnov Nikolay nikolai.smirnov@gmail.com The development and analysis of service integration Models in Heterogeneous Environment The article introduces a formal technique of service integration modeling in terms of SOA. A method of determining a quality of service collaboration is proposed. Quality indicators are evaluated for common models of integrations. 004.7:004.422.8 service oriented architecture services integration quality modelling https://infocom.spbstu.ru/article/2011.23.11/

RAR RUS 84-95 Shapovalov Andrey aa_shapovalov@mail.ru Kurmashev Aron Computer simulation of contouring control system of electric drives of industrial robots In this paper issues related to computer simulation of industrial robots are considered and brief overview of existent modeling software meant for scientific-research aims is presented. Demands to them are formulated. Developed special-purpose software for simulation of programmatic motion of industrial robots is described, realized models of contouring control systems are presented. 681.514 simulation contouring control industrial robot https://infocom.spbstu.ru/article/2011.23.12/

RAR RUS 92-102 Kolesov Yury Senichenkov Yury From research to production: Rand Model Designer visual modelling environment Problems of visual environment for modelling and simulations complex dynamical systems designing are discussed. Family of tools developed by MvStudium groupis used as an example. Comparative analysis of demands for different types of tools is done. 681.3.06(075.8) component modelling “physical” modelling technology model based design of real-time embedded systems complex dynamical systems https://infocom.spbstu.ru/article/2011.23.13/

RAR RUS 102-110 Ivanovskiy Rostislav iri@dcn.ftk.spbstu.ru Applied aspects of the sensibility theory Several applied aspects of the sensitivity theory are considered in the creation and simplification of models, in the analysis of abnormal operating modes, and the synthesis of information processing systems and control systems. The relation between the problems of sensitivity analysis and robustness of control systems is presented. 681.2:62-53 sensitivity modelling abnormal operation mode system information processing control https://infocom.spbstu.ru/article/2011.23.14/

RAR RUS 111-115 Senichenkov Yury Dzechen Chgan Converting models New method of automatically translation of models specification from Simulink modelling language to MVL language is presented. The method is based on UML-specification of library blocks. The model of convertor is designed and tested. 681.3.06(075.8) complex dynamical systems visual environment for modeling and simulation of complex dynamical system automatically translation https://infocom.spbstu.ru/article/2011.23.15/

RAR RUS 121-128 Kulikov Kirill kulikov_kg@hotbox.ru The problem scattering light in the bodies of arbitrary shape, simulating blood cells for the case of in vivo A mathematical model for predicting the optical properties (refractive index and absorption) of the simulated tissue (epidermis, upper dermis, the lower layer of the dermis, blood and blood corpuscles) and determine the velocity of blood in the capillary, the illuminated laser beam for the case in vivo. In this case, blood cells are modeled by irregularly shaped particles of various sizes, randomly oriented in free space. 535.3, 577.3, 519.6 laser radiation the refractive index blood cells https://infocom.spbstu.ru/article/2011.23.16/

RAR RUS 129-135 Rostov Nikolay Multiobjective identification in computer-aided design of automatic control systems The problems of parametrical identification of dynamical plants in scalar and vector formulations are considered. The techniques-scenarios of sequential (stage-by-stage) linear and nonlinear multiobjective identification are presented, which use scalar search with integral criteria on initial stages, indirect sounding on weight grids of additive criteria and direct sounding with vector criteria on final stages using genetic algorithm. The examples are given to Pareto-optimal parameter estimation for linear and nonlinear models of an electromechanical plant. 681.3(075.8) automatic control systems dynamical plants multi-objective identification integral additive and vector criteria sounding Pareto-optimal estimates https://infocom.spbstu.ru/article/2011.23.17/

RAR RUS 136-153 Cherkesov Gennady The spare part assembly problem and working out the new section of the reliability theory of repairable systems In paper the idea and several new results of exact system reliability calculation with spare elements by direct inclusion of this kind of resources in the reliability models are considered. The theory and methods of reliability calculation do not require take in account the sufficiency index of the spare part assembly. 621.3.019.3 reliability repairable system spare part spare part assembly sufficiency index replenishment strategy https://infocom.spbstu.ru/article/2011.23.18/

RAR RUS 153-169 Lypar Yuriy Baltrukov Nikolay bnn54@mail.ru Skvortsov Alexandr alskvorcov@gmail.com LVDSs standard digital signaling transmitter design based on the theory of system structural synthesis In clause problems of structural synthesis of intellectual property blocks for custom integrated circuits. The new approach to the design process is offered. It allows effectively consider verbal and contradictory requirements to design target. As an example synthesis of IP block of the low voltage differential signaling transmitter (LVDS) is fulfilled. 004.322 structural synthesis intellectual property block design flow signals transmitter differential signaling https://infocom.spbstu.ru/article/2011.23.19/

RAR RUS 170-173 Vassiliev Andrey vasyliev.tau@gmail.com Kupriyanov Valentin kupr4@yandex.ru Output regulators synthesis for linear objects It is proposed in the article an output controller synthesis method using model order reduction procedure based on Hankel singular values and conversion from state controller synthesis problem to output controller synthesis problem. 681.5.01 reduction Hankel singular values output controller synthesis https://infocom.spbstu.ru/article/2011.23.20/

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

St. Petersburg, Russian Federation

Artificial intelligence: perspective trends Paper focuses on the state-of-the art of artificial intelligence domain. Bio-inspired methods are considered in context of data processing and control problems. It is shown that synergetic paradigm together with methods based on chaotic dynamics of processing elements comprise most perspective trends in development of sophisticated intelligent systems. 004.8, 004.8.032.26 artificial intelligence chaos theory nonlinear dynamics synergetic multidisciplinary bio-inspired methods https://infocom.spbstu.ru/article/2011.23.21/

RAR RUS 181-190 Lypar Yuriy Molodyakov Sergey sm50@yandex.ru System design methodology for analog and digital optoelectronic signal processors Methodology for system designing of optoelectronic processors is presented. The methodology is based on a spiral model of concurrent design. Processors include diverse elements optical and electronic, digital and analog. CCD-photodetector is regarded as a specialized processor. 004.383 optoelectronic processors methodology system design charge coupled devices https://infocom.spbstu.ru/article/2011.23.22/

RAR RUS 190-194 Nguyen Dang saiu@ftk.spbstu.ru Peter the Great St.Petersburg Polytechnic University Vladimir N.

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Firsov Andrey saiu@ftk.spbstu.ru Solution of the problem on the control of unsteady viscous fluid transportation in pipelines The paper provides an analytical solution for the unsteady transport of viscous fluid in pipeline system at modera te speeds and in the presence of control devices (flow regulators and pressure pumping and compressor stations) with stationary regime of the initial pipeline system and the nodes of branching tubes. 517.958:532.5 Navier-Stokes equation unsteady flow pipeline system https://infocom.spbstu.ru/article/2011.23.23/

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

Japan

An algorithm for notated musical fragments comparison in searching for music by a melody sample The paper describes existing solutions that suit various scenarios of music search. Pitfalls of the Earth Mover's Distance algorithm (EMD) are analyzed as well as situations where the quality of comparing music patterns is not good enough. The adaptation of the EMD algorithm taking into the consideration some characteristics of note significance in the given music fragment is proposed. Problems of human music perception factors formalization with the help of knowledge bases and statistical information gathered in process of music search are examined. 004.5:004.738.52:51-78 information retrieval music search pitch notation algorithm https://infocom.spbstu.ru/article/2011.23.24/

RAR RUS 202-207 Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Requirement coverage criteria for test cases generated from applications’ behavioral models A key problem for testing of a software product is how to certify that the semantics of its requirements is adequately realized in the given implementation, or alternatively to find a series of concrete counter-examples demonstrating the violation of particular requirements. This paper formulates approach to coverage criteria to determine the adequacy of a test suite. The suggested approach to testing was validated in a number of medium and large size industrial projects. 004.415 requirement semantics requirement coverage testing and verification https://infocom.spbstu.ru/article/2011.23.25/

RAR RUS 207-211 Nesterov Sergey nesterov@saiu.ftk.spbstu.ru Security facilities construction and optimization based on risk analysis Existing methods of risk analysis in the domain of information security are reviewed and a method of security facilities construction and optimization is presented. 004.056.53 information security risk analysis optimization methods https://infocom.spbstu.ru/article/2011.23.26/

RAR RUS 212-214 Mager Vladimir mv@qmd.spbstu.ru Saraliysky Artem Stegantsov Andrey Chernenkaya Liudmila Ludmila@qmd.spbstu.ru Informational support for the quality management system of the Saint-Petersburg Polytechnical University The Saint-Petersburg Polytechnical university is carrying out the Program on modernization and development, being possessed with the status of National Research University. In frames of this Program the Informational System, which must support all Quality Management procedures, is created under responsibility of the Corporative Quality Center. Informational System should be assigned on accumulation of existing data from other University's informational systems, gaining, proceeding and storing an information on activities of the University and its' departments. Statistical processing is based on methods of System Analysis. Foreseen outcome - the unified informational platform for managing of quality in education as well as for managerial decision-making at the University. 378(001.891) informational system for quality management model for managerial decision-making statistical processing of data on activities of the university https://infocom.spbstu.ru/article/2011.23.27/

RAR RUS 215-220 Shedov Sergey sergey@shedov.ru Approach to compensate stations noise for LFM signals A new approach to solving the problems of detecting and determining the parameters of chirp signals based on the instantaneous flow of additional processing of the spectra obtained by FFT, which provides compensation for the distributed and lumped station noise and fluctuation noise, which is based on finding the cross correlation of the instantaneous spectra with each other, the allocation vector-variable, obtaining the average spectrum of the analyzed frames. 621.391:004.421 real time system satellite LFM-signals digital processing FFT spectrum analysis correlation https://infocom.spbstu.ru/article/2011.23.28/

RAR RUS 220-225 Tutygin Vladimir vs4141@mail.ru Accuracy increasing of delay definition noised radar echo-signals 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, rediscretization are considered. 621.391:004.421 radar echo-signals reference signals cross-correlation spline-interpolation rediscretization iterative algorithm https://infocom.spbstu.ru/article/2011.23.29/

RAR RUS 226-232 Vytovtov Anatoly vitovtov@rambler.ru Meshalkina Marina meshalkina_mari@mail.ru Application of infrared Fourier spectroscopy for milk food authenticity and quality evaluation Manufacturing and sale of ersatz and defective milk food makes direct damage to human health. Problems with all-round expert examination for all types of milk and milk food sold in the Russian markets are very actual. The possibility of using Fourier Transform Infrared Spectroscopy (FTIR) method for identification, authentication and detection of ersatz milk food is considered. 663.5.001.5 milk food Fourier transform infrared spectroscopy (FTIR) identification authentication faking https://infocom.spbstu.ru/article/2011.23.30/

RAR RUS 233-236 So Irina Irene_So@mail.ru Malykhina Galina A new method for measuring color differences A new method for measuring color differences in a uniform area of a color space is proposed. A new approach to obtaining the uniform area of the color space consists in applying local transformations to infinitesimal areas of non-Euclidean color space CIE xy with using data of color thresholds obtained by interpolation or approximation of experimental data. 535.646 color measurement color threshold uniform color space https://infocom.spbstu.ru/article/2011.23.31/

CNF RUS 237-238 Saito Hiroshi hiroshis@u‑aizu.ac.jp Marakhovsky Vyacheslav vbmarak@gmail.com 36574097400 University of Aizu Evgeny V. pyshe@u-aizu.ac.jp

Japan

Design automation for asynchronous circuits In our research we propose the method of asynchronous circuits design automations aimed both to application-specific integrated circuits (ASIC) and field-programmable gate array (FPGA) models. asynchronous circuits design automation integrated circuits application-specific integrated circuits ASIC https://infocom.spbstu.ru/article/2011.23.32/