2687-0517 4 152 2012

RAR RUS 7-12 Peter the Great St.Petersburg Polytechnic University Vladimir S. vlad@neva.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Lukashin Aleksey lukash@neva.ru Access control system in cloud computing environment Paper proposes network access control system for private clouds. Introduced formalization of filtering process using category theory terms. Paper develops network centric approach to access control systems based on integrity, information cohesion and local decisions about access control. 004.056 information security access control telecommunication systems firewalls cloud computing https://infocom.spbstu.ru/article/2012.28.1/

RAR RUS 12-16 Osipov Nikita Zudilova Tatyna Khoruzhnikov Sergey Cloud technologies while working with big data The article describes methods of processing big data in excel' format, which contains millions records of the modelling samples in info-communication systems. Using clouding technologies will allow degreasing costs of information working and increase efficiency of scientific research. We suggest the PowerPivot technology implementation for big data processing in clouding. 004.94 bigdata modelling complex systems cloud technologies private cloud https://infocom.spbstu.ru/article/2012.28.2/

RAR RUS 17-20 Dmitriev Vyacheslav decan@toe.tusur.ru Gandzha Vasiliy vasivik@gmail.com Algorithm analysis and data compression the topological structure of examined object In this article we introduce a new concept for ways to edit the input information associated with giving active properties of current systems in the computer simulation of the editors of input data. Determined by the structure and functional characteristics of the editor are specific algorithms that implement these characteristics. 004.942 information modelling circuit reduction component https://infocom.spbstu.ru/article/2012.28.3/

RAR RUS 20-28 Borisevich Alexey alex.borysevych@gmail.com Synthesis of algorithms for nonlinear stabilization based on numerical continuation approach Method of numerical continuation for output stabilization of nonlinear systems class is presented. Feedback linearization and numerical homotopy continuation considered as equivalent methods for output zeroing. Regulator based on nonlinear coordinate transformation and predictor-corrector continuation method reviewed. 681.5.013 affine nonlinear systems stabilization output zeroing feedback linearization numerical continuation predictor-corrector method https://infocom.spbstu.ru/article/2012.28.4/

RAR RUS 29-36 0000-0001-7726-8492 Volvenko Sergey Zavialov Sergey 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

Simulation model of system of transfer of spectral-effective signals with OFDM The simulating model of system of an OFDM broadcast of signals is considered when using on each subcarrier frequency of optimum spectral-effective signals. Two methods of reception of these signals are considered: algorithm of coherent optimum bit-by-bit reception and algorithm of Viterbi. Graphs of dependences of error probability of signals reception on these methods from the relation a signal noise for the channel with constant parameters and additive normal white noise are received. 621.395.44 simulation modelling spectral-effective signals OFDM signals peak factor reception algorithm error-rate performance https://infocom.spbstu.ru/article/2012.28.5/

RAR RUS 36-40 Bondarchuk Sergey Dodokhov Aleksandr a.dodokhov@aladdin-rd.ru Sabanov Aleksey a.sabanov@aladdin-rd.ru Technology for protection of personal data using ORACLE DBMS The problem of the possibility of using oracle database for storage and processing of personal data. Developed a technology for encryption of confidential information in accordance with GOST 28147-89. 004.056 information security encryption personal data https://infocom.spbstu.ru/article/2012.28.6/

RAR RUS 40-44 Semenov Petr spk@dcn.ftk.spbstu.ru Practical issues of Tal–Vardy algorithm of polar code list decoding Improved implementation of Tal-Vardy algorithm for polar codes list decoding is proposed. It enables efficient fixed-point implementation of the decoder. 519.725.2 error-correcting coding list decoding polar codes https://infocom.spbstu.ru/article/2012.28.7/

RAR RUS 45-50 Akimov Valerij valeri_akimov@mail.ru Glybovskiy Stanislav sgbs@mail.ru Shchesnyak Sergey sergey.schesnyak@scaegroup.com A correction of parabolic mirror’s phase errors by means of secondary meshed reflector A hybrid numerical-analytical method for computing a correction of uneven parabolic mirror's phase errors by means of secondary meshed reflector is developed. Involving mathematical modelling of random surface distortions an influence of unevenness on antenna directivity has been examined for different correcting reflector's parameters. 621.396.677.8 phase errors correcting reflector parabolic mirror meshed screen directivity https://infocom.spbstu.ru/article/2012.28.8/

RAR RUS 51-55 Lyashenko Aleksandr akuna_matata_kmv@mail.ru Method of distributed P-regulator synthesis by using index of oscillation In article the possibility of use of the device of the expanded response characteristics for the analysis of systems with the distributed parameters is considered. The problem on working out of a design procedure of adjustments of the distributed P-regulator is formulated and solved. The presented technique will allow to make synthesis of the distributed regulators on index of oscillation. 681.5 systems with the distributed parameters the expanded response characteristics the distributed regulator transfer functions of the distributed objects index of oscillation https://infocom.spbstu.ru/article/2012.28.9/

RAR RUS 55-60 Rostov Nikolay Multiobjective normalization of reference models in synthesis of automatic control systems The problems of parametrical normalization of reference models for automatic control systems are considered. The technique of multiobjective normalization are presented, which use direct sounding and genetic algorithm. The examples are given to Pareto-optimal parameter normalization for the third order reference models. 681.3(075.8) automatic control systems reference models multiobjective normalization sounding Pareto-optimal values https://infocom.spbstu.ru/article/2012.28.10/

RAR RUS 61-66 Lychagin N.I. nil@ntc1.inteltech.ru Vershinina Liliya zk-inf@yandex.ru Dmitriev Pavel Pavel.Dmitriev@billing.ru Knowledge management in software developing company quality management system In the article are examined the base processes of the system of the management of the quality of enterprise - the developer of software. Are developed the ways of creating control system by knowledge, by the basic resource of knowledge which is documentation on software. 002.53:004.89:005.6 knowledge management software quality management https://infocom.spbstu.ru/article/2012.28.11/

RAR RUS 67-71 Golub Yulia Methods and models of research and development of automated information systems selective dissemination of information and services initiative The paper proposes a multi-level model of the structure of information systems based on the definition of a system that implements a system-oriented approach. Also developed methods for assessing the relationship between the strata of multilevel models based on the idea of solving the matrix G.S. Pospelov and information systems approach to the analysis of A.A. Denisov. 303.732.4 system assessment information method solves matrix model https://infocom.spbstu.ru/article/2012.28.12/

RAR RUS 71-75 Derkachenko Valenyin Zubkov Aleksandr zubkov@pgta.ru Kovalerova Natalya Barmin Maksim Mathematical models of the real estate market development prognostics Quarterly market trends and comparative trend evaluation are being introduced in respect to primary and pre-owned real estate market price change. With use of incremental regression analysis, factors affecting real estate costs are exposed. 364 mathematical models real estate statistical analysis https://infocom.spbstu.ru/article/2012.28.13/

RAR RUS 75-78 St. Petersburg State University of Film and Television Krivosheykin Anatoliy

St. Petersburg, Russia

Molchanov Aleksandr Chesnokov Mikhail Dynamic filtering of elements of speech signals and signals with non-periodic spectrum In clause systems of adaptive filtering of additively combining of noise and speech signal both with periodic and with nonperiodic spectrum was presented and investigated. 62-533.4 adaptive filtering modelling hearing aid speech the basic tone https://infocom.spbstu.ru/article/2012.28.14/

RAR RUS 79-84 Moreva Svetlana sweetmoreva@yandex.ru Zolotov Oleg Lyashenko Aleksandr akuna_matata_kmv@mail.ru Development of mathematical model of temperature fields of the active zone of the RBMK-1000 reactor In article problems of the analysis of systems with the distributed parameters on an example of an active zone of the RMBK-1000 reactor are considered. The description of an active zone of the reactor is presented. The technique of drawing up of mathematical model of the distributed object of management is stated. 681.5 reactor graphite laying objects with the distributed parameters modelling https://infocom.spbstu.ru/article/2012.28.15/

RAR RUS 84-88 Darmakheev Valeriy darmaheev@yandex.ru Efficiency of usage of genetic operator selection of sequence This article is devoted to analysis efficiency different genetic operators selection. The possibility of increasing convergence of genetic algorithm by using various operators of selection. The study defined the criteria to evaluate the efficiency of selection operators. 004.8 genetic algorithms selection operators efficiency sequence population diversity https://infocom.spbstu.ru/article/2012.28.16/

RAR RUS 88-93 Chentsov Aleksandr chentsov@imm.uran.ru Chentsov Pavel Routing of permutations with constraints and nonstationary cost functions In article the problem of permutations routing with fulfillment of works in the sequence points is investigated. Theoretical method of solving and optimal algorithm realized on PC are constructed. 519.6 route dynamic programming precedence conditions megalopolis https://infocom.spbstu.ru/article/2012.28.17/

RAR RUS 94-96 Zikratov Igor zikratov@cit.ifmo.ru Spivak Anton anton.spivak@gmail.com Razumovskiy Andrey xrew@yandex.ru Method of differentiating access to objects in version control system The article considers the problem of access to objects in the version control systems. The problems of access restrictions at the level of the individual versions of an object. A method for access control and implementation of the method is presented. 004.056.5 access distinction version SCV object https://infocom.spbstu.ru/article/2012.28.18/

RAR RUS 98-102 Grigorjeva Anastiya Vasilev Vladimir Safonov Vladimir vosafonov@gmail.com Use element aspect-oriented approach in the drafting ASPECT.NET geolocation resource management system to cloud platforms MICROSOFT WINDOWS AZURE This article discusses the use of elements of aspect-oriented approach in the development of open ASPECT.NET geolocation resource management system that provides data about the location of resources in real time and respond quickly to changes with complex business logic rules and reporting, thereby effectively solving the problem of resource management. 004.4'2 aspect-oriented approach resource management cloud platforms https://infocom.spbstu.ru/article/2012.28.19/

RAR RUS 102-105 Voinov Nikita Kotlyarova Lina Poddubnyy Igor Methodic of WINDOWS PHONE 7 mobile applications development The paper presents a methodic of an applications development for modern mobile devices. The new operating system of Microsoft Corporation - Windows Phone 7 - is chosen as the main platform. Also described are the results of the methodic piloting among students of different courses. 681.3.068 mobile platform mobile device mobile application Microsoft Windows Phone https://infocom.spbstu.ru/article/2012.28.20/

RAR RUS 106-109 Malygin Leonid Tsarev Vladimir vats@imit.ru Cherkas Pavel pushka-k@mail.ru Automatic parameters control of cameras, lenses and illumination in real-time text marker recognition systems The article contains description of efficiency increase methods for text labels recognition real time systems by means of automatic control of camera and lenses parameters. Features of images quality calculation, camera and lenses selection and control of their parameters by means of automatic controller are described. Possible application fields of the provided methods are specified. 681.5 text marker recognition smart cameras control system image quality control of camera parameters https://infocom.spbstu.ru/article/2012.28.21/

RAR RUS 109-114 Ivanov Аleksandr al.s.ivanov@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Letichevsky Aleksandr let@cyfra.net Verification of requirements for reactive systems The article features an approach for verification of requirements for reactive systems represented in the basic model notation. An examples of use are reviewed. The benefits and restrictions of this technology are revealed and discussed. 004.415 formal verification formal notation Hoare logic requirement management https://infocom.spbstu.ru/article/2012.28.22/

RAR RUS 114-119 Nikiforov Igor igor.nikiforov@gmail.com Petrov Aleksey Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Static approach for debugging of test scenarious generated with usage of heuristics. The paper presents a debugging approach for automatic generated tests from high level Use Case Map-specification with usage of heuristics. The incremental algorithm of bugs finding and fixing in generated tests as well as in the model is described. Usage of the algorithm is presented on UCM project with two threads. 004.415 automatization tests debug UCM https://infocom.spbstu.ru/article/2012.28.23/

RAR RUS 119-123 Tyutin Boris b.tyutin@gmail.com Nikiforov Igor igor.nikiforov@gmail.com Peter the Great St.Petersburg Polytechnic University Kotlyarov Vsevolod vpk@spbstu.ru Elaboration of the toolsuite for automation of the static and dynamic software requirement checking The article features an automated test suite generation method based on formal system requirement representation using Use Case Maps notation. An automated requirement checking technology is reviewed. The benefits and restrictions of this technology are revealed and discussed. 004.4'22 testing automation formal notation test code generation verification requirement management https://infocom.spbstu.ru/article/2012.28.24/

RAR RUS 123-126 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 Peter the Great St.Petersburg Polytechnic University Igor G. igcher@spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Approach for testing automation based on user scenarious The paper presents an approach to testing automation based on user scenarios defined in UCM format. Technology chain for tests generation and detailed specification is described. 004.415 automatization tests verification UCM https://infocom.spbstu.ru/article/2012.28.25/