2687-0517 5 65 2008

RAR RUS 7-14 Lukianova Lydmila Technique of the structurally-target analysis and synthesis of organizational-technical complexes The technique of the structurally-target analysis and synthesis of organizational-technical complexes of the industrial sphere, providing a logical correctness and a coordination of results of the systems analysis of objects of the given class is considered. systems analysis technique logical procedures correctness logical results correctness https://infocom.spbstu.ru/article/2008.4.1/

RAR RUS 14-20 Saveljev Mikhail ngtu@novoch.ru Alikov Alan Fedoseev Sergey Probability of connectivity of the network with additive structure Networks with the additive structure constructed by iterative connection to its current border sub networks of addition are considered. The probabihty of connectivity of a network is found. Methods of calculation of connectivity of number of elements in sub networks additions are developed. connectivity network structure reliability structural reliability of the network approximation https://infocom.spbstu.ru/article/2008.4.2/

RAR RUS 20-26 Tikhomirov Vladimir Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Verification of the software at integration of new functionality into existing system After integration of new functionality into already existing system careful testing of all system that demands the big expenses is necessary. In operation the solution technique of this problem grounded on widely known verification approach - check on models (model checking) and on the theory of partial specifications (partial specifications) is offered. integration testing partial specifications verifications software https://infocom.spbstu.ru/article/2008.4.3/

RAR RUS 26-31 Mezentseva Oksana Alekseev Alexandr Improving distributed computing systems performance using threshold schemes and modular arithmetic’s algorithms The paper deals with the aspects of distributed data representation model, based on (N, k)-threshold schemes and modular arithmetic, namely, the system of residual classes, what leads to a high degree of parallelism and, as follows, high execution speed of the proposed model. Also specified are some possible hardware solutions. residual classes system threshold schemes distributed computing parallel algorithms https://infocom.spbstu.ru/article/2008.4.4/

RAR RUS 31-34 Dron Vera Markov Aleksey Naumov Alexandr Reduction of calculations volume by random search in problems of direction finding The question of reduction of time of definition of a direction on a source of a radio emission by optimization of fazovo-correlation function by a method of casual search is considered. radio direction finding optimization theory method of casual search method of phase correlation https://infocom.spbstu.ru/article/2008.4.5/

RAR RUS 34-40 Beryozkin Alexandr pcdreams@mail.ru Construction of optimal neuronal decoders of block codes In clause basic method of construction neuronal decoders of block codes. Structures of neuronal decoders some BCH codes are suggested. decoding neural networks data communication telecommunication systems https://infocom.spbstu.ru/article/2008.4.6/

RAR RUS 41-45 Kudryashov Denis U-4200-2017 6506501810 0000-0002-6916-9061 Peter the Great St.Petersburg Polytechnic University Igor A. tsikin@mail.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Probability-time characteristics of duplex alarm radio systems The analytic forms of probability-fime characteristics are considered. The imitation models are described. radio system two-forked systems repetition of packages monitoring disturbing notices probability-time characteristics https://infocom.spbstu.ru/article/2008.4.7/

RAR RUS 46-48 Sidorov Yury jusidorov@mail.ru Nasper Maxim Evaluation of the effectiveness of a radio signals detecting device in channels with the fade during diversity reception The optimum rule of detector radio signals with unknown character of fading received. We have appraised efficiency of detector by statistical simulation method. detector fading the efficiency estimation the carried reception statistical simulation modeling the signal-noise https://infocom.spbstu.ru/article/2008.4.8/

RAR RUS 49-54 Bylin Alexey Bylina Mariya Glagolev Sergey Ways of increase of resolution of pulse measurements In clause the analysis of an opportunity of use instead of a traditional unipolar rectangular probing signal, so-called «bipolar puise», representing set of two rectangular impulses of different polarity is lead. It is shown, that use of bipolar pulse allows to receive special «bipulsed» TDR trace. In clause the algorithm of processing registered traditional TDR trace also is offered. time domain reflectometer TDR trace probing signal resolution https://infocom.spbstu.ru/article/2008.4.9/

RAR RUS 54-58 Sidorov Yury jusidorov@mail.ru Lavrentiev Nikita n_lawr@mail.ru The detector radio signals in the channels of communication with unknown character of fading The optimum rule of detector radio signals with unknown character of fading received. We have appraised efficiency of detector by statistical simulation method. detector signals channel of communication fading the efficiency appraising statistical simulation https://infocom.spbstu.ru/article/2008.4.10/

RAR RUS 58-62 Rizhov Valery Kipot Victor Birialtsev Evgeny The estimation of parameters of spectrum for low-frequency seismic sensing technology on basis of wavelet analysis The estimation of significant parameters of microseism specters for oil field geophysical prospecting in low-frequency seismic sensing technology is suggested. The algorithm estimation of parameters of spectrum maximums is described on basis of local optimization methods to applying to wavelet image. wavelet parameter spectrum convolution microseism LSS oil https://infocom.spbstu.ru/article/2008.4.11/

RAR RUS 62-66 Danilovitch Dmitriy The optimization of antenna characteristics and heights on multihop digital microwave links Problem of associated optimization of antenna types and heights on multitop digital microwave links in case of dual-frequency plan of channel arrangement under additional informal constraints is considered in the stated material. Mathematical model, algorithm and a method of finding a predetermined number of ranged best decisions of optimization problem stated above are introduced. dual-frequency plan disturbing backward signal associated optimization total costs minimization calculation volume https://infocom.spbstu.ru/article/2008.4.12/

RAR RUS 67-74 Buzyukova Irina irbuz@mail.ru Gaidamaka Yuliya Analysis of signaling load in national intelligent network with different time zones This paper examines various configurations of the large scale Russian National Intelligent Network in order to analyze the required volumes of signaling equipment. Network configuration is modified by adding network nodes and by sharing signaling load. intelligent network INAP signaling load number of signaling links https://infocom.spbstu.ru/article/2008.4.13/

RAR RUS 75-81 Maximov Maxim Sidorova Nadezhda Principles of operation and practical implementation of code excited linear predictive speech codec The practical realization of speech signal coding compatible with the IS-96-A and IS-733 standards on the digital signal processor TMS320VC5410. A has been considered. The principles of speech codec construction by given standards have been described. The estimation of computing expenses and required memory for realization of each coder functionai b]ock has been determined. vocoder linear prediction linear spectral steams code book excitation from the code https://infocom.spbstu.ru/article/2008.4.14/

RAR RUS 81-86 Kukunin Dmitry coux@yandex.ru Model of system with an adaptive choice of a code In article work of system with adaptive coding which is capable to choose an optimum cyclic code depending on a communication channel condition is described. Examples of reaction of system on increase and reduction of probability of an error in the channel are resulted. dual basis Galois field probability of the error adaptive system reliability quality of the channel https://infocom.spbstu.ru/article/2008.4.15/

RAR RUS 86-92 Kukunin Dmitry coux@yandex.ru Kognovitzkiy Oleg kogn@yandex.ru Technique of the estimation of quality of the channel in the course of data transmission In article prospects of use of dual basis of Galois Field with reference to problems of an estimation of quality of the channel are shown. The technique of definition of probability of an error in the channel in the course of data transmission is offered. dual basis Galois field quality of the channel probability of the error the confidential interval https://infocom.spbstu.ru/article/2008.4.16/

RAR RUS 93-98 Novikov Fedor Tikhonova Ulyana Definition of domain-specific languages by interpreted automata The method of domain-specific languages definition by interpreted automata is described. This method enables one to define domain-specific language in the form of three parts: abstract syntax, concrete syntax and semantics. The program implementation of this method, virtual machine of automata-based programming, interprets automata of language specification and realizes interpretation and parsing of programs in the language thereby. domain-specific languages semantics metamodel automata virtual machine of automata-based programming https://infocom.spbstu.ru/article/2008.4.17/

RAR RUS 98-104 Dunaev Anton Larchenko Alexey Boukhanovsky Alexandr Integrated development environment of decision support for high-performance applications developer in Grid The article examines a new approach to automation of high-performance applications development for Grid. Basic principles of intellectual decision support system functioning are described, issues to practical implementation of the system in PEG software family are discussed. Also assessments of composite applications effectiveness are presented. Grid high-performance computing intellectual system designing workflow https://infocom.spbstu.ru/article/2008.4.18/

RAR RUS 105-111 Rachinskiy Evgeny Software framework for performance analysis of client-server systems under load Main issues of client-server systems performance analysis under load are considered. Main methods and existing tools for load generation and performance characteristics measurement are presented. Need of a new approach is demonstrated. General principals and ideas of the new proposed approach, its implementation and application examples are described. performance software testing information systems analysis https://infocom.spbstu.ru/article/2008.4.19/

RAR RUS 111-114 Starostenko Anastasiya Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Software of remote control by queues of consumers The problems of automation queuing systems in end-users services are considered. The approach to queue control via Internet and SMS services is given. queue control automation systems internet-systems mobile devices mass service systems https://infocom.spbstu.ru/article/2008.4.20/

RAR RUS 114-118 Kurakin Anton Usage multiagental the approach by development of complexes of programs of systems of corporate remote derivation In clause the analysis of development of modern technologies of program complexes of corporate remote training is lead, features and specificity of development and functioning of such systems are revealed. On the basis of the lead analysis the structure of construction of program complexes of systems of remote training is offered multiagenty. program complexes system remote training multiage structure https://infocom.spbstu.ru/article/2008.4.21/

RAR RUS 119-127 N-8983-2014 36237396900 0000-0003-0276-4517 Peter the Great St.Petersburg Polytechnic University Vladimir M. Moiseev Mikhail mikhail.moiseev@gmail.com Tsesko Vadim Karpenko Anatoliy Research on tools for automation of defects detection in program source code Taxonomy of defects in source code is proposed in this article. Comparative analysis of existing automated defects detection tools, based on static analysis of source code, and is carried out. Trends in the field of automated defects detection are presented. safety defects detection static analysis automation defects taxonomy program https://infocom.spbstu.ru/article/2008.4.22/

RAR RUS 127-133 N-8983-2014 36237396900 0000-0003-0276-4517 Peter the Great St.Petersburg Polytechnic University Vladimir M. Zaharov Alexey Akhin Marat akhin@kspt.icc.spbstu.ru Myasnov A.V. Automatic model checking based defect detection Complex technique for software defect detection, based on model checking enhanced static analysis, is introduced in this article. Its usability is proven through function call protocol model checking static analysis defect detection function call protocol errors https://infocom.spbstu.ru/article/2008.4.23/

RAR RUS 134-138 Saveljev Mikhail ngtu@novoch.ru Alikov Alan Fedoseev Sergey Synthesis of simple structures and sets of pulse managing influences In clause perfection of methods of synthesis of control systems with pulse influence is considered at formalization of complexity and exception of redundancy of structures. As a result of the executed formalization the analyzed problem is reduced to a problem of search of simple structures with in part linear restrictions. synthesis formalization structure the control systems managing influences https://infocom.spbstu.ru/article/2008.4.24/

RAR RUS 139-143 Chebykin Sergey Technique of production planning of float glass manufacturing This article describes the production planning optimization of float glass manufacturing. Principles providing the efficient production planning, based on Advanced Planning and Scheduling concepts, are also being considered in this article. optimization backlog of business orders planning management https://infocom.spbstu.ru/article/2008.4.25/

RAR RUS 144-151 Lavrov Alexandr Molodyakov Sergey sm50@yandex.ru Possibilities of construction of signal processors in the form hybrid optoelectronic microcircuits The optoelectronic processors in the form hybrid microcircuits is a new trend of researches. Are submitted scheme of hybrid microcircuits, and scheme of signal processing systems. Experimental results are discussed. optoelectronic processor the hybrid microcircuit matrix operations the conveyor pulse-width modulation https://infocom.spbstu.ru/article/2008.4.26/

RAR RUS 152-155 Zaitsev Ernst zaitsev@mail.spbstu.ru Guzenko Konstantin edu.dep@spbstu.ru Moldavanova Evgeniya Analysis of waves in a ferrite-dielectric waveguide by variation method The electrodynamics problem of waves along the electrically controlled ferrite-dielectric waveguide was solved. Ritz' algorithm has been realized in Matlab. The calculations were made for different waveguide designs. The results can be applied to improve electrically scanning millimeter-wave antennas. millimeter waves scanning antenna ferrite-dielectric waveguide variation method https://infocom.spbstu.ru/article/2008.4.27/

RAR RUS 156-159 Makatov Murad Verdiev Murad Information model of the description of objects and situations of the problem environment The information model of the description of objects and situations of the problem environment is considered at the decision of problems of planning of behavior of intellectual systems in not predetermined environments. informational model the environment intellectual systems behavior planning https://infocom.spbstu.ru/article/2008.4.28/

RAR RUS 159-169 Ismailov Sheikh-Magomed Magomedov Shamil Algorithms and structures of the transformation numeric given from positional system in residue number system In article are considered problems of the development of algorithm discharged - a parallel the transformation binary-decimal numbers in system of the remaining classes. For transformation of numbers are used tabular - an algorithmic principles data processing. residue number system memory block control pulse synchronization bus associative part information section https://infocom.spbstu.ru/article/2008.4.29/

RAR RUS 169-174 Novikov Konstantin Fast image segmentation algorithm dased on spectral characteristics of anisotropic area Noise proof algorithm for anisotropic images segmentation is considered. This algorithm used power spectrum properties of anisotropic images for image segmentation. Fast versions of this algorithm are suggested. image segmentation anisotropy characteristics localized radon transform https://infocom.spbstu.ru/article/2008.4.30/

RAR RUS 174-179 Surov Alexey Igiz’janova Nadezhda Potapov Viktor About convergence of decision difference scheme in mathematical model of generation thermal energy The mathematical model is considered in clause of generation thermal energy at passage of an electric current to a liquid conductor - a slag bath with greater resistance. The differential equations are considered in mathematical model which are solved by a method of final differences. Numerical results are received of temperature fields and density of a current. mathematical model the method of final differences the temperature field https://infocom.spbstu.ru/article/2008.4.31/

RAR RUS 179-183 Pavlov Dmitry pavlov@unn.ru Algorithm for building the extended universal Grubner Base The paper is devoted to the description of an algorithm for building the extended universal Grubner base (EUGB) of a polynomial ideal. This algoritm is based on the relationship between multi-dimensional Young diagrams and Grubner bases of polynomial ideals. The algorithm starts with construction of the maximal linearly- independent monomial sets (MLIMS). Grubner bases monomial orderings Young diagrams polynomial ideals https://infocom.spbstu.ru/article/2008.4.32/

RAR RUS 183-189 Mantserov Dmitry System of verification for parametric classes of tasks in mathematics In clause system for creation tasks in mathematics and verification of knowledge by using parametric classes of tasks. Also in clause is expounded the base of parametric classes of tasks and structure of verification system. parametric class of tasks specimen of a parametric class class-pattern predicates of a class-pattern generation of specimen https://infocom.spbstu.ru/article/2008.4.33/

RAR RUS 189-198 Kanunnikova Elena postgr@list.ru Koltunov Leonid Potapenko Anatoliy potapenko@intbel.ru Numerical modeling of distributed electrotechnical systems in semi-infinitive regions based on the inversion method The article presents the possibilities of the modified inversion method for semi-infinite mediums for solving outer boundary problems using the example of the distributed electrotechnical systems. The results of numerical modeling of the systems researched and the comparative analysis with known data are presented. outer boundary problem numerical modeling modified inversion method for semi-infinite mediums electrotechnical systems https://infocom.spbstu.ru/article/2008.4.34/

RAR RUS 198-203 Ushmotkin Anton Korzhik Valery The estimation of an efficiency of digital water-marking system for images under condition of a coalition attack Digital watermarking (DWM) system for images using spread spectrum signals is examined. The estimation of an efficiency of DWM system is produced in the article in terms of error probability of missing and false detecting of coalition participants. digital watermark copyright spread spectrum signal coalition attack error probability detector modelling https://infocom.spbstu.ru/article/2008.4.35/

RAR RUS 204-207 Suslov Nikolay Principles of construction of virtual training space The article describes the work which is done with the support of the Russian Foundation for Fundamental Research, which aim is to study the constructing principles of a virtual learning environment. Several examples of existing environments made up with virtual learning environment «Krestyanstvo» are also presented. information technology multimedia virtual learning environment distributed computing open systems https://infocom.spbstu.ru/article/2008.4.36/