2687-0517 6 234 2015

RAR RUS 7-13 Perelygin Sergey sergey.perelygin@gmail.com St. Petersburg State University of Film and Television Krivosheykin Anatoliy

St. Petersburg, Russia

Microphone Array Sensitivity to the Effect of Inherent Noise of Microphones In this article we explore the influence of a microphone array’s inherent noise on the efficiency of the spatial processing of wideband speech signals; on the accuracy of determining the directions from which acoustic signals arrive (if a microphone array receives two broadband acoustic signals at the same time); on the degree of interfering signal suppression; on the subjective assessment of the interfering signal which is not completely suppressed. The inherent noise of the array introduces an error in determining the signal source direction. The authors have obtained mathematical dependences which allow to find the ultimate signal/noise ratio, providing the interfering signal suppression which satisfies a predetermined expert opinion value. 10.5862/JCSTCS.234.1 621.391.84 microphone array wanted and interfering speech signals signal/noise ratio signal suppression https://infocom.spbstu.ru/article/2015.47.1/ 01_7_13.pdf

RAR RUS 14-24 Bogdanov Alexey bogdanov@hermitage.ru Malygin Igor malygin_com@mail.ru Technology Information Security of Large Museum and Exhibition Complexes The paper substantiates the role and importance of information security in the spiritual life of the society, analyses the specifics of the security of large museum complexes, as information systems. We have described the composition and the structure of an integrated information system for ensuring the safety of a museum. Models for operating and managing an information security system have been considered. 10.5862/JCSTCS.234.2 681.141.2 museum complex information security information security system model stability https://infocom.spbstu.ru/article/2015.47.2/ 02_14_24.pdf

RAR RUS 25-32 Perelygin Sergey sergey.perelygin@gmail.com Nurmukhamedov Leon nurmukh36@mail.ru Improving the Quality of Speech Signal Processing Via a Microphone Array The topic of the article is about modeling broadband acoustic signal processing via a microphone array. The article solves the problem of tuning the microphone array to suppress the signal from the source at one angle and to receive the signal undistorted from the source at the other angle during the modeling. Weighted summation in the frequency domain is used; threshold limits are imposed on weight coefficients in order to minimize distortion of the useful signal during processing. The optimal threshold values of weighting coefficients have been determined according to the results of expert statistical tests. Setting these threshold values, we achieve the conditions when both the artifacts (hissing, whistling, ringing, clanging) and the wanted signal distortions (change in the voice timbre, muting consonants) are minimally noticeable. 10.5862/JCSTCS.234.3 621.391.84 acoustic antenna broadband signal wanted and interfering signals signal distortion weighted summation threshold limit expert evaluation https://infocom.spbstu.ru/article/2015.47.3/ 03_25_32.pdf

RAR RUS 33-44 Botnev Victor 6603839750 Peter the Great St.Petersburg Polytechnic University Sergey M. Ustinov usm50@yandex.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

A Method for Finding the Distance between a Point and a Line in Geodesy Intellectual Systems and Technologies An efficient method for determining the distance between a trajectory and a point on the surface of a spheroid is proposed to address some ensuing control problems. An error assessment for the spherical approximation is obtained. The time gained through applying the gnomonic projection with the initial spherical approximation and without it is estimated. The limits of applicability of the spherical and the gnomonic projections for the method are shown. Detection of multiple extrema in the proposed problem and the causes of their occurrence are described. The algorithm for the solution of this problem under such conditions is suggested. The method demonstrates high accuracy of the solution and can be recommended for use in commercial navigation and geodetic software products that comply with international standards. The technique extends to control problems associated with target intercepting. 10.5862/JCSTCS.234.4 519.6:527 modeling methods geodesic problems loxodrome orthodrome multiextremal optimization problems https://infocom.spbstu.ru/article/2015.47.4/ 04_33_44.pdf

RAR RUS 45-55 Shubnikov Vladislav vlad.shubnikov@gmail.com Belyaev Sergey sergey.belyaev@d-inter.ru 3D Reconstruction of the Spatial Form of the Human Foot Based on Three Digital Images 3D reconstruction of human body parts is one of the most prominent directions of research in the highend technology industry. There are a lot of new tasks in the modern footwear industry, such as mass marketoriented individual shoe manufacturing and footwear fit factor estimation. In the near future “virtual fitting rooms” in the form of websites will use different approaches to footwear comfort estimation. Some of them will use 3D reconstruction of the human foot, based only on 3 digital images. In this article we described the special conditions required for obtaining such input images in typical home/office conditions without professional photo equipment. We described a 3D method for foot reconstruction. 10.5862/JCSTCS.234.5 004.932 human foot measurements image processing pattern recognition shoe fitting shoeware comfort estimation 3D reconstruction https://infocom.spbstu.ru/article/2015.47.5/ 05_45_55.pdf

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

St. Petersburg, Russian Federation

Pereshein Artem pereshein.artem@gmail.com Chaotic Models of the Hippocampus for Dynamic Pattern Recognition The paper carried out an analysis of using systems with chaotic dynamics to solve the problem of dynamic pattern recognition. We reviewed the existing chaotic models of the hippocampus for storage, coding and retrieval of dynamic information. An episodic chaotic associative memory models proposed by Y. Osana, a hippocampus-neocortex model proposed by T. Kuremoto, and Tsuda's hippocampus model are considered in detail. The first two of these models incorporate Aihara’s chaotic neural networks. We compared the selected models based on the simulation results. It is shown that chaotic dynamics is necessary in order to take into account the context of dynamic pattern recognition problems. Trends of further modification of the models are also proposed. 10.5862/JCSTCS.234.6 004.023, 004.383.8.032.26 artificial intelligence nonlinear dynamics chaotic neural networks episodic memory models of the hippocampus dynamic pattern recognition https://infocom.spbstu.ru/article/2015.47.6/ 06_56_69.pdf

RAR RUS 70-80 Pavlov Vladimir vlapav239@gmail.com Pak Vadim vadimpak917@gmail.com An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method We discuss the inverse method of automated theorem-proving that was invented by S. Maslov. The inverse method can be applied to various logics: propositional logic, first-order logic, modal logics, intuitionistic logic, etc. In the current article, we present an overview of the key publications on the inverse method, describe in detail an inverse method calculus for first-order intuitionistic logic. We propose adapted as well as original optimizing strategies for the developed calculus. We discuss a proof search algorithm for the proposed calculus and our program implementation named WhaleProver. We compare WhaleProver with state-of-the-art intuitionistic theorem provers on problems from the ILTP library, which is a common benchmarking library for testing intuitionistic theorem provers. 10.5862/JCSTCS.234.7 004.832.32 automated theorem proving sequent calculus inverse method intuitionistic logic ILTP https://infocom.spbstu.ru/article/2015.47.7/ 07_70_80.pdf

RAR RUS 81-94 Koloskov Sergey SKoloskov@IBS.ru Babeshko Vladimir vbabeshko@mail.ru Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Primary Indicators of Efficiency in the Management of Educational Institutions Using the MDM and the BYOD Technologies In the present paper, we have studied the issues of mobile device management in universities and the issues of increasing university efficiency using the «Bring Your Own Device» (BYOD) technologies. We have outlined the key indicators that include the level of satisfaction with the mobile device management services: efficiency, accessibility, sustainability in the management of unpredictable traffic, frequency of disconnections, delays in setting up sessions, quality of service. Other indicators that are closely studied in the paper have economic origins. The first indicator is the reduction of the cost of scaling the campus network using existing access control tools (to realize the security policy on new network devices). The second economic indicator is connected to the reduction of the cost of organizing data networks for auxiliary university systems (e.g. video conferencing systems). Such a reduction implies that the components of the specified systems are connected to the main data transmission network. The last economic indicator discussed is the reduction of the cost of information security threats with respect to the components of the corporate network. This reduction can be achieved by decreasing the decision-making time (by centralizing the mechanisms for managing the corporate network security policies) and by consolidating the information on accessing subjects and access events. We have also studied the ways of improving a university's reputation using BYOD and the economical effects of BYOD's use in universities and small companies created by university research teams and students. The developed system of indicators is currently beta-tested as a system for managing a university’s mobile device infrastructure is being introduced at Peter the Great Saint-Petersburg Polytechnic University and at Belgorod State Technological University. The testing is conducted as a part of the project «Development of a Russian analogue of system software for the centralized management of personal mobile devices and platforms in corporate networks» under the Resolution of the Government of the Russian Federation No 218 of April 9, 2010. 10.5862/JCSTCS.234.8 331.101.6 BYOD economic effect of BYOD in higher education performance indicators using BYOD productivity and user satisfaction productivity of enterprises https://infocom.spbstu.ru/article/2015.47.8/ 08_81_94.pdf

RAR RUS 95-102 Peter the Great St.Petersburg Polytechnic University Timofeev Dmitry dtim@dcn.icc.spbstu.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

Peter the Great St.Petersburg Polytechnic University Samochadin Aleksandr Samochadin@soft-consult.ru

Polytechnicheskaya, 29, St.Petersburg, 195251, Russia

A Mobile Service for Assessment Based on a Mobile Device Management System Testing is an important method for assessing the academic performance of students, providing the necessary feedback to students and instructors. Traditional written tests are common but require much time to process the results. Computer-based testing allows for automatic checking of submitted answers but requires computers and network equipment that make it inappropriate for many classrooms or for classes with multiple participants. This problem may be solved using students’ mobile devices. This paper describes the architecture of a mobile service for testing based on an enterprise mobile management platform and the results of evaluation of the service in Peter the Great St. Petersburg Polytechnic University. 10.5862/JCSTCS.234.9 004 assessment computer testing mobile service mobile device management system https://infocom.spbstu.ru/article/2015.47.9/ 09_95_102.pdf