2687-0517 4 103 2010

RAR RUS 7-11 Simonchik Konstantin simonchik@speechpro.com Kozlov Alexandr kozlov-a@speechpro.com Lokhanova Alexandra lohanova@speechpro.com Music detection algorithm for speech processing A review of the existing classification and separation algorithms is presented. A new algorithm based on spectral peak's power analysis is proposed. Quality of music detection with the new algorithm was proved experimentally. 621.391 speech processing speech/music discrimination audio segmentation https://infocom.spbstu.ru/article/2010.15.1/

RAR RUS 11-18 Brynza Nataliya info@kture.kharkov.ua Kruchkovsky Viktor kstu@tlc.кhегsоn.uа Petrov Eduard info@kture.kharkov.ua Informational preference on static form of presenting outgoing data under the conditions of interval uncertainty A theoretical analysis and calculable experiment is presented for comparison of values of intervals of uncertainty and average values of utility of decision R(x) at different basic data of model. 519.81 utility function interval descriptions models additive models polynomial https://infocom.spbstu.ru/article/2010.15.2/

RAR RUS 18-23 Kapustin Alexey kapustinalex@yandex.ru Simonchik Konstantin simonchik@speechpro.com Galinina Olga olga.galinina@gmail.com Voice activity detector based on pitch statistics for speaker recognition A modification of the voice activity detection (VAD) based on pitch statistics is proposed for improving speaker recognition performance. Comparison of two approaches for the VAD choice for phonogram preprocessing is presented. The first approach is a modification of pitch statistics VAD, the second one represents the simple energy-based scheme. A quantitative measurement of verification system quality is also presented. The experimental results show that the proposed VAD essentially improves the performance of the speaker recognition systems. 621.391 voice activity detector VAD speaker recognition pitch statistics https://infocom.spbstu.ru/article/2010.15.3/

RAR RUS 23-33 Gololobov Leonid lig01@mail.ru The compatibility models of mathematical research methods of subsystems “person” and “technics” Law is established and is discovered properties, technical means of joint processing and data transmission by operators are opened. The compatibility models of mathematical research methods of subsystems “person” and “technics” are developed. 658.310.11:681.3.06 law properties compatibility models and methods https://infocom.spbstu.ru/article/2010.15.4/

RAR RUS 33-38 Duplinskij Mikhail Kuleshov Igor Malahov Jury Formation of the channel of outflow of the infringer In clause process of transformation of the open channels between participants of an information exchange in the channel with mistakes is investigated. Thus it is offered to use the channel between participants of an information exchange with smaller probability of a mistake, than the channel of outflow used by the infringer. 621.39 liaison channel model channel of outflow legal users infringers https://infocom.spbstu.ru/article/2010.15.5/

RAR RUS 39-42 Manzhula Vladimir manjula@sssu.ru I-6599-2013 55233056200 0000-0001-8291-1753 Don State Technical University Nikolay N. Prokopenko prokopenko@sssu.ru

Gagarin square 1, Rostov-on-Don, 344000, Russia

Serebrjakov Alexandr Features of designing of differential amplifiers with the raised factor of strengthening at low loading In article the principle of mutual indemnification of the impedances is considered, allowing to provide construction of differential amplifiers with the raised factor of strengthening without increase in number of consistently connected transistor cascades. 621.37 the operational amplifier pressure of displacement modelling impedance https://infocom.spbstu.ru/article/2010.15.6/

RAR RUS 42-47 Shumaev V.V. shvvladimir@mail.ru Nedopekin Alexandr agasfer911@yandex.ru Kolchev Alexey kolchevaa@mail.ru Inaccuracy of Doppler shift determination by means aplitude-modulated chirp signal It is made analysis of the action of the time-and-frequency dispersion of ionosphere radio link and background noise on accuracy of the Doppler shift determination by means continuous amplitude-modulated chirp signal. Analytical expressions are obtained for estimation of resolution. It is presented results of numerical simulation and is ascertained extreme values of parameters. 621.371.25;550.388.2 ionosonde ionospheric channel Doppler shift phase background noise time-and-frequency dispersion modelling https://infocom.spbstu.ru/article/2010.15.7/

RAR RUS 48-52 Kolchev Alexey kolchevaa@mail.ru Shpak Dmitry dmtrshpk@mail.ru Quasioptimum of processing broadband LFM signals It is considered technique of processing broadband HF LFM signals which allowing constructing transfer function radio channel with multipath effect diffusion. The scheme of a signal and noise is described on a receiver exit that gives the chance estimations of spectral density of noise in a wide strip. It is presented technique of quasioptimum filtration LFM signal and efficiency is experimentally shown. 621.371.25 optimum processing coordinated filtration transfer function frequency dispersion multipath effect diffusion https://infocom.spbstu.ru/article/2010.15.8/

RAR RUS 53-58 Rostov Nikolay Synthesis and computer-aided optimization of high order digital cascade controllers The main procedures of digital cascade controller synthesis by the pole placement technique are discussed. The methods of the controller computer-aided optimization by means of iterative methods are considered. Some examples are presented to solve optimization problems combined with synthesis using integral criterion. 681.3 (075.8) digital cascade controllers algebraic synthesis pole placement technique computer-aided optimization integral criterion https://infocom.spbstu.ru/article/2010.15.9/

RAR RUS 58-62 Budjakov Petr Manzhula Vladimir manjula@sssu.ru Methods of increase of factor of strengthening SiGe-operational amplifiers with low voltage power supplier In article are considered the decisions, allowing to raise at 8-20 time voltage amplification factor at use low resistors in a chain of collector loading of the entrance cascade, to expand a frequency range and to reduce pressure of displacement. 621.37 SiGe-operational amplifier pressure of displacement modelling https://infocom.spbstu.ru/article/2010.15.10/

RAR RUS 62-66 Skorohod Vladimir Rogov Sergey sarogov@mail.ru Rozov Sergey Increase in dynamic range of the acousto-optical spectrum analyzer by means of automatic gain control Article describes work of the acousto-optical spectrum analyzer with automatic gain control for processing of pulse signals with noise. Results of experimental researches of the acousto-optical spectrum analyzer with automatic gain control for processing of pulse signals with noise are described. 535.241.19 dynamic range automatic gain control acousto-optical spectrum analyzer pulse signal https://infocom.spbstu.ru/article/2010.15.11/

RAR RUS 67-75 Gollandtsev Yuriy Dubeneckii Vladislav Information management system for searching partners and projects using ERP class systems’ tools In article design features and cooperation-based organization of high technology production features are considered, separate design decisions for materials' and componentries' suppliers' control processes' information support using ERP (Enterprise Resource Planning) class systems' tools are offered. Virtual enterprises are offered to use for managing cooperation, supplier's and consumer's partner relations' building features are considered, forming, collection and processing mechanism for potential order executors' search questionnaries is described. 658. 012: 004. 94 product lifecycle ERP class systems potential executors’ search questionnaires https://infocom.spbstu.ru/article/2010.15.12/

RAR RUS 75-82 Brehov Andrey abrehov@yandex.ru Grishchenko А.А. Lazio80@mail.ru Aspects of the conceptual device of the theory of control systems of logistics In article groups of the conceptual device of the theory of control systems are offered by logistics which are reflected in four types of system representations. The concepts characterising a control system by logistics as structure of the active certificate are considered; as set of observable and indivisible sizes; as a unit; as set of the subsystems connected hierarchically. 164.2 control system of logistics microscopic representation of system macroscopical representation of system process representation of system hierarchical representation of system kinds of structures of control systems classification of systems hie https://infocom.spbstu.ru/article/2010.15.13/

RAR RUS 83-92 Myagotin Anton anton.myagotin@gmail.com Kovalev Mikhail mikhail.kovalev@gmail.com Dalinger Iakov iakovdalinger@gmail.com Formal verification for a C0 implementation of the heapsort algorithm In this article we report on formal software verification for the C0 implementation of the heapsort algorithm for an array of an arbitrary data type. The working steps include the development of an algorithm specification, writing a program code, code translation into the Isabelle/HOL environment, performing a correctness proof showing equivalence between the program implementation and its specification. 519.686.4 formal verification heapsort algorithm program code https://infocom.spbstu.ru/article/2010.15.14/

RAR RUS 92-98 Butenko Igor igor_boutenko@mail.ru 6603839750 Peter the Great St.Petersburg Polytechnic University Sergey M. Ustinov usm50@yandex.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

The method to design of metadata repository for existing system In this article it is considered the method of design of Metadata repository for existing System, building object storage model, object classifications model, metasystem database design, loading metadata and manage actions simplifying design of metasystem. 004.658.6 metadata metasystem data base classifier DBMS repository https://infocom.spbstu.ru/article/2010.15.15/

RAR RUS 99-106 Boldyrev Yurii yybold@mail.ru Supercomputer technology as the modern realization of multidisciplinary approach in education and scientific activity This article contains of common questions of the supercomputer technology and its applications. The industrial, educational and scientifically problems of application of the supercomputer technology are discussed. 004, 004.9 supercomputer technology mathematical simulation multidisciplinary problems multiprocessor bundled software https://infocom.spbstu.ru/article/2010.15.16/

RAR RUS 106-112 Romanov Sergey Shanina Alexandra Boldyrev Yurii yybold@mail.ru Klimshin Dmitry Modern technologies of mathematical simulation for engineering analysis and civil design Modern technologies of mathematical simulation have been applied for solving of interdisciplinary problems of computational fluid dynamics of civil constructions and soil mechanics for ski jumps 140 and 106 meters high. The problems of analysis and optimization for large span steel dome (127 meters diameter) were solved. 004.942; 69.07 mathematical simulation finite element method computational fluid dynamics of constructions soil mechanics optimization large span steel structures ski jumps sports structures https://infocom.spbstu.ru/article/2010.15.17/

RAR RUS 112-118 Nenashev Alexandr navas1@mail.ru Peristaya Alyona alyona359@mail.ru The method of the analysis and modelling of nonlinear devices with application of the compensation theorem The method of the analysis and modeling of nonlinear devices in which the nonlinear elements are replaced by current or voltage, according to theorem compensation. The solution is the method of successive approximations. Consideration conducts on an example of broadband frequency converter to the diodes. 621.396.6:004.942 nonlinear devices modeling compensation theorem successive approximations converter https://infocom.spbstu.ru/article/2010.15.18/

RAR RUS 119-123 Pugachev Pavel Shabrov Nikolay shabrov@rwwws.ru Zharkovskiy Alexandr Kurikov Nikolay kurikov_n@rambler.ru Computer simulation and visualization of fluid flow in centrifugal pumps Computer simulation of fluid flow in a centrifugal cradle-mounted pump with helix coupler based on viscous fluid model along with prediction of its characteristics are considered. Special attention paid to modern technologies of analysis and visualization in virtual reality systems. 621.226(075.8) centrifugal pump viscous fluid flow losses computer simulation visualization virtual reality augmented reality https://infocom.spbstu.ru/article/2010.15.19/

RAR RUS 123-130 Nagorniy Vladimir nagorny.vladim@yandex.ru Pshchelko Nilolay Bases for calculation of nanostructured films resistance at electric drops-jet formation Mathematical models and bases for calculation of electric resistance of nanostructured by metal thin films at electric drops-jet formation are developed. 666.1.037.5 electric resistance nanostructured film calculation https://infocom.spbstu.ru/article/2010.15.20/

RAR RUS 130-135 Kozlov Alexey kozlov70@rambler.ru Mathematical model for calculation of the directivity diagram of the pin of the open plug socket Application of positions of the theory of the phased antenna lattices for calculation of the directivity diagram of the pin of an open plug socket is offered. This mathematical model can be used for an estimation destroy influences of microwave on screened radio-electronic equipment through a socket. Comparison of results of calculations with experimental data is resulted. 623.1 directivity diagram directivity diagram plug socket https://infocom.spbstu.ru/article/2010.15.21/

RAR RUS 135-139 Basyrov Alexandr Alexanderbas@mail.ru Conceptual model of energy-efficient computational processes in special-purpose computer systems In article the problem of the organization of power saving up computing processes in specialized computing systems. 004.272.2 computer system energy savings parallel computational process https://infocom.spbstu.ru/article/2010.15.22/

RAR RUS 139-142 Utakaeva I.H. utakaev@yandex.ru Kochkarov Azret Rasul_Kochkarov@mail.ru To a question on algorithms of recognition of prefractal graphs Problems of recognition of various predfractal graphs are considered. Mathematical statement is made; effective algorithms of recognition of investigated predfractal graphs are developed. 519.1 prefractal graph priming algorithm https://infocom.spbstu.ru/article/2010.15.23/

RAR RUS 142-146 Yurosheva Tatyana trini-83@yandex.ru Rutkowski Alexandr Rutkowski@mail.ru Bolotaeva Indira iibolotaeva@mail.ru Modified simplex search algorithm for optimal control of the process parameters of zinc electrolysis On the basis of industrial process research results a newer modified simplex search model and algorithm are developed for zinc electrolysis optimization. It has allowed to define the maximum value of zinc extraction at an admissible range of concentration change of cobalt, manganese, lead and zinc. 669.5 simplex search algorithm process optimization mathematical programming electrolysis https://infocom.spbstu.ru/article/2010.15.24/

RAR RUS 147-152 Peter the Great St.Petersburg Polytechnic University Kurochkin Leonid kurochkinl@spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Suballocated information system of industry planning process The article overviews the approach to development of suballocated information system of engineering and technological solutions support; it sudies the questions of formal description of instrument making enterprises technological capacity and depicts the algorythm of order executor search. 004.415.2.043 instrument engineering cooperation search of contractors technological possibilities enterprise information support https://infocom.spbstu.ru/article/2010.15.25/

RAR RUS 153-162 Masyuk Andrey mahajrod@rambler.ru Saradgishvili Sergey SSaradg@yandex.ru The content filtering and management of access to resources of the internet in educational institutions The article covers investigation of filtering mechanisms and management of access to Internet-resources. The main purpose of this investigation is to develop the content-filtering system, which should provide the mechanism of access rights distribution to net-resources based on categorized and centralized data base of Internet-resources and key-words. 004.457 content filtering filtering by keywords dynamic filtering URL-filtering management of access policy of filtration data categorization statistics of sites visits https://infocom.spbstu.ru/article/2010.15.26/

SCO RUS 163-163 Peter the Great St.Petersburg Polytechnic University Igor G. igcher@spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Conference of students, post-graduate students and young scientists of the Northwest “Technologies Microsoft in the theory and programming practice” Conference of students, post-graduate students and young scientists of the Northwest “Technologies Microsoft in the theory and programming practice”. conference Microsoft https://infocom.spbstu.ru/article/2010.15.27/

CNF RUS 164-169 Efimov Mikhail michael.efimov@bridge-quest.com Development and realization of C# compiler front end using Microsoft Phoenix Problems of C# compiler front end development are considered. Common target code optimization methods are stated. Influence of these methods to overall program speed is analyzed. 004.415 optimization compiler front end Microsoft Phoenix C# MSIL https://infocom.spbstu.ru/article/2010.15.28/

CNF RUS 169-174 Voinov Nikita Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Applying the method of heuristics for the optimal set of test scenarios generation The paper presents a method of heuristics that provides a multiple reduction of efforts for generation of test scenarios from formal model. The approach of decomposition of large models in structural components for independent analysis and further integration of results is also described. 004.415.5 optimal test suite MSC model decomposition heuristics https://infocom.spbstu.ru/article/2010.15.29/

CNF RUS 174-179 Mukhanov Ruslan Safonov Vladimir vosafonov@gmail.com Development and practical application of ASPECT.NET system targeted at academic .NET framework The article describes current used approaches to software engineering using aspect-oriented software development (AOSD) methodology. The paper describes development and practical application of Aspect.NET system targeted at academic.NET framework. 004.415 aspect-oriented software development (AOSD) aspect software engineering methodologies cross-cutting concern https://infocom.spbstu.ru/article/2010.15.30/

CNF RUS 180-185 Veselov Alexey veselov.alexey@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Testing automation of projects in telecommunication domain The paper presents an integrated approach to testing automation of telecommunication projects along with proposals to automation of conformance testing. The underlying idea is to benefit from combining formal verification and testing automation techniques in order to improve product quality. 004.415.53 testing automation telecommunication systems code generation MSC TAT conformance testing https://infocom.spbstu.ru/article/2010.15.31/

CNF RUS 186-191 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

Daishev Marat Integrated environment for testing automation based on Eclipse platform Prototype of integrated environment for testing automation is proposed. Modern testing automation systems analyzed and proposal for creation of new tool for customization of testing process described. 004.415 testing automation MSC diagrams Eclipse tool for testing automation https://infocom.spbstu.ru/article/2010.15.32/

CNF RUS 191-195 Yusupov Yury Nikiforov Igor igor.nikiforov@gmail.com Petrov Aleksey Generation of formal model of a sysmem from requirements specified in Use Case Map The paper presents an automatic approach for transformation of system requirements in UCM notation into a formal model. The approach is based on UCM2BP tool that provides different output formats from UCM maps. 004.415 requirements automatic formalization UCM MSC https://infocom.spbstu.ru/article/2010.15.33/

CNF RUS 195-199 Daishev Marat Kotlyarova Lina Java-applications debugging technique on basis of playback application’s execution trace The paper presents an integrated approach to application debugging, to allow saving program execution control flow then restoring program's states and perform defect analysis within development environment. Method is based on minimization of collected logs and further debugging based on dynamic slicing approach. 004.415 debugging technique Java-applications reproducing of execution trace logging application state restore https://infocom.spbstu.ru/article/2010.15.34/

CNF RUS 200-204 Bolshev Alexandr Liss Alexandr Heuristic network intrusion detection system prototype based on principal component analysis Prototype of heuristic intrusion detection system is proposed. Fast traffic to vector space conversion algorithm is reviewed. Model space reduction is analyzed. Developed prototype is being ovel model data and real network. 004.492.3 network security principal component analysis intrusion detection systems https://infocom.spbstu.ru/article/2010.15.35/

CNF RUS 205-210 Amosov Vladimir amosovvlvl@yahoo.com Fyodorov Stanislav New aproach to developing mathematical support and software of embedded automated research systems and high speed cameras Disadvantages of existing approaches to developing mathematical support and software of embedded automated research systems and high speed cameras are discussed. New approach to developing embedded software for this kind of devices are suggested. New properties are showed that it gives. New class of rich devices, apparatuses and systems with these properties is assigned. 004.9:004.55 embedded software automated research system IP camera data processing and transfer high speed photography rich internet applications https://infocom.spbstu.ru/article/2010.15.36/

PER RUS 211-212 Without author https://infocom.spbstu.ru/article/2010.15.37/

SCO RUS 212-214 Pariyskiy Yuriy https://infocom.spbstu.ru/article/2010.15.38/

SCO RUS 214-214 Gurevich S.B. N.A. Esepkina in the Council on the problem of “Holography” of the USSR Academy of Sciences N.A. Esepkina in the Council on the problem of “Holography” of the USSR Academy of Sciences. holography https://infocom.spbstu.ru/article/2010.15.39/

RAR RUS 215-220 Kruglov Sergey Lavrov Alexandr Mardyshkin Vyacheslav ipa@ipa.nw.ru Mikhailov Andrey ipa@ipa.nw.ru 0000-0002-2882-0380 Peter the Great St. Petersburg Polytechnic University Ivanov Sergey ivanov_si@spbstu.ru

St. Petersburg, Russian Federation

Ipatov Alexandr The back-end radiometer module with remote access for radio telescope RT-32 The article presents the results of the development of radiometer output module with remote access for the radio telescope RT-32. Descriptions of module software and its hardware structure are given. Results of module tests in the radio telescope receiving system are also presented. 520.272.5: 621.396.62: 004.72 radiometer microwave detector radio telescope remote access fiber optic line digital signal processor https://infocom.spbstu.ru/article/2010.15.40/

RAR RUS 220-227 Gavrilov Gennady gga_holo@mail.ru Sotnikova Galina gga_holo@mail.ru CCD-Detectors in technology of physical experiments The article presents the results obtained in the laboratory of Optoelectronics and holography Ioffe Physical-Technical Institute of the Russian Academy of Sciences to create various information-measuring systems on the basis of matrix and linear CCD for use in physical experiments in studies of the radiation characteristics of fast processes. The technical parameters of the setups developed for the study of spatial and spectral characteristics of pulsed power and semiconductor lasers and high-speed data recorder systems used in optical diagnostics of plasma for recording of optical images, as well as in studies of its optical spectra are specified. 53.087 533.9.07 CCD-photodetectors spectrometry pulsed lasers semiconductor lasers optical plasma diagnostics https://infocom.spbstu.ru/article/2010.15.41/

RAR RUS 227-233 Zlokazov Evgeny k1121@mail.ru Rodin Vladislav k1121@mail.ru Starikov Rostislav k1121@mail.ru Evtikhiev Nikolay k1121@mail.ru Starikov Sergey k1121@mail.ru Invariant correlation filters with linear phase coefficient: variants of realization in optoelectronic image correlators Realization of invariant correlation image recognition methods in optoelectronic image correlators allows recognition of images in real time conditions. The results of investigation of invariant correlation filter with linear phase coefficient realization in coherent image correlators are presented in the paper.. 535.8.1,004.93'1 image recognition optoelectronic correlator invariant correlation filter synthesized hologram https://infocom.spbstu.ru/article/2010.15.42/

RAR RUS 233-242 Saenko Igor Lavrov Alexandr Molodyakov Sergey sm50@yandex.ru Acousto-opto-electronic devices for radio astronomical receivers The optoelectronic devices based on the acousto-optic Fourier-processors and multielement CCD photodetectors are examined in view of signal processing problems for radio astronomical backend receivers. Some results of these devices implementation for pulsar's signals compressing and its polarization characteristics determination and for Solar radio image formation are given. 621.396, 520.35, 534::535 acousto-optical processor CCD photodetector array dispersion of pulsar’s radio emission solar radio emission https://infocom.spbstu.ru/article/2010.15.43/

RAR RUS 243-249 Rozanov Sergey Solomonov Sergey Saenko Igor Kruglov Sergey Optoelectronic spectrometer for atmosphere remote sensing at millimeter waves The problems of wideband optoelectronic spectrometer development and the methods of its implementations for ground based microwave atmospheric ozone monitoring system are considered. 621.396, 534::535 atmospheric ozone remote sensing radio-spectroscopy millimeter waves acousto-optic processor optoelectronic spectrometer https://infocom.spbstu.ru/article/2010.15.44/