DSPTech’2015 Proceeding of the 1th International Workshop on Technologies of Digital Signal Processing and Storing (DSPTech’2015) Ufa, Russia December 10 - 13, 2015 Volume 2 UDC 004.7 Proceedings of the Workshop on Technologies of Digital Signal Processing and Storing (DSPTech’2015), Ufa, Russia, December 10-13, 2015. Volume 2 Ufa State Aviation Technical University, 2015 ISBN 978-5-4221-0812-1 The Workshop on Technologies of Digital Signal Processing and Storing (DSPTech) is an international conference which aims to promote discussion of the development of research and innovation in the field of information technology and its applications. The conference will discuss a wide range of problems associated with the storage, processing, analysis and visualization of data relating to different scientific and applied areas of human activity. The Workshop was supported by RFBR, research project No. 15-07-21015 G The papers are included as they are submitted by authors, without editing © Ufa State Aviation Technical University, 2015 Foreword These Proceedings contain the full texts of the papers, selected for presentation at the 1 th International Workshop on Technologies of Digital Signal Processing and Storing (DSPTech’2015). DSPTech’2015 Conference aims to promote discussion of the development of research and innovation in the field of information technology and its applications. The conference will discuss a wide range of problems associated with the storage, processing, analysis and visualization of data relating to different scientific and applied areas of human activity. The Workshop attracted more than one hundred submitted papers from different countries including both conceptual and experience papers. Both types of submissions were evaluated similarly, in accordance with standards of international forums. The careful reviewing procedure by the program committee resulted in 49 papers being chosen for the presentation in the international track (Volume 2). The next sections – System Engineering, Models, Methods and Algorithms of Data Processing and Storing, Import Substitution and Software and Hardware for Automation and Control, Innovative Technologies and Methods of Economical and Social Data Processing – appear to be gaining attention. Some of the experience papers, especially at the industrial sessions, reflect the results in development/application of real systems, and were considered by the program committee to be of interest to a wider community. The program Committee would like to extend appreciation to all those who submitted the preliminary versions of the papers or extended for international peer reviewing. Finally, our thanks go to all the attendees of the Workshop here in Ufa, Russia that boosted the research activity in the Technologies of Digital Signal Processing and Storing. Mironov Valery Lutov Alexei Yusupova Nafisa Khristodulo Olga Symposium Organization PROGRAM CO-CHAIRS Lutov Alexei, USATU, Ufa, Russia Yusupova Nafisa, USATU, Ufa, Russia Khristodulo Olga, USATU, Ufa, Russia INTERNATIONAL PROGRAM COMMITTEE Woern Heinz, University of Karlsruhe, Germany Kovacs George, Hungarian Acad. of Sciences, Budapest, Hungary Corbera Jordi, Cartographic and Geologic Institute of Catalonia Mcmillan Susan, British Geological Survey, Edinburgh, UK Nikolaikin Nikolay, MSTUCA, Moscow, Russia Milovzorov Georgy, USU, Izhevsk, Russia Lomaev Gely, IzhGTU, Izhevsk, Russia Verevkin Aleksander, USPTU, Ufa, Russia Enikeev Farid, USPTU, Ufa, Russia Smetanina Olga, USATU, Ufa, Russia Vasilyev Vladimir, USATU, Ufa, Russia Wolfengagen Viacheslav JurInfoR-MSU Institute, Moscow, Russia Gvozdev Vladimir, USATU, Ufa, Russia Kulikov Gennady, USATU, Ufa, Russia Massel Lyudmila, Energy Systems Institute, Irkutsk, Russia Melnikov Andrey, ChSU, Chelyabinsk, Russia Petunin Alexander, USTU-UPI, Yekaterinburg, Russia GENERAL ORGANIZING COMMITTEE CHAIR Mironov Valery, USATU, Ufa, Russia Contents WORKSHOP PROCEEDING CONTENTS Development of the Formal Model of the Production Process for Organization of Project and Production Management Using Iterative Model Artuhov Alexander V. 1 , Rechkalov Alexander V. 2, Kulikov Gennady G.2, Antonov Vyacheslav V. 2 1The General Director of Joint-Stock Company "United Engine Corporation" 2 Ufa State Aviation Technical University, Ufa, Russian Federation ........................................... 10 Intelligent Modelling of Manufacturing Supervisory Systems Using Fuzzy Cognitive Maps P. P. Groumpos University of Patras, Department of Electrical and Computer Engineering, Patras Greece ......... 13 System Engineering The Design of Neural Network Algorithms for Processing Sensor Signals of Aviation Gas Turbine Engine on FPGA S.V. Zhernakov, A.T. Gilmanshin Ufa State Aviation Technical University,Ufa, Russia ................................................................... 20 BIM Technologies in Interdisciplinary Educational Program «APPLIED INFORMATICS IN ARCHITECTURE» G. Zakharova, A. Krivonogov Ural State Academy of Architecture and Arts, Ekaterinburg, Russia ........................................... 25 Models, Methods and Algorithms of Data Processing and Storing Counting Cutter Routing Optimization Parameters for Cutting Plan Gived as Flat Graph E. A. Savitskiy1,V. M. Kartak2 1South Ural State University (National Research University), Chelyabinsk, Russia 2Bashkir State Pedagogical University Named after M. Akmullah,Ufa, Russia ........................... 31 Information Technology for Data Backup and Recovery Grischuk Konstantin Borisovich, Rizvanov Konstantin Anvarovich Ufa State Aviation Technical University,Ufa, Russia ................................................................... 36 Contents The Use of Probabilistic and Statistical Methods to Study Students' Opinions about the Quality of the Educational Process Rozanova Larisa F., Markevich Irina A.,Turutina Anastasiya D. Ufa State Aviation Technical University, Ufa, Russian Federation ............................................. 39 Statistical Analysis of Individual Tasks on Probability Theory K. Kostenko, Y. Katsman Tomsk Polytechnic University, Tomsk, Russia ............................................................................ 46 Mathematical Model of Polyominotiling for Phased Array Design A. Fabarisova1,V. Kartak2 Bashkir State Pedagogical University Named after M.Akmullah,Ufa, Russia ............................. 50 Formation of Cross-Platform Structural System Model of Business Processes on the Basis of Hierarchy of Grammars f Chomsky D. Shamidanov Ufa State Aviation Technical University, Ufa, Russia ................................................................. 53 Hashing Approach to Erdős-Gyárfás Conjecture A. Ripatti Bashkir State Pedagogical University Named after M. Akmullah, Ufa, Russia ........................... 58 Markov Modelling for System Safety Purposes of Power-Plant Abdulnagimov A.I., Arkov V.Yu. Ufa State Aviation Technical University, Russia, Ufa .................................................................. 62 Development of the Intelligence System about the Timberland Which is not Covered with Forest Vegetation for Decision-Making on Reforestation Enikeev Rustem R., Mirzakhanova Albina .B.., Sitdikova Elina O.,Vazigatov Dinar I. Ufa State Aviation Technical University, Russia, Ufa .................................................................. 71 Import Substitution Software and Hardware for Automation and Control Prospects of Cellular Automata Usage for Middle and Large Cities Traffic Modeling A. Shinkarev Computer Technologies, Control and Radio Electronics, South Ural State University (National Research University), Chelyabinsk, Russia ................................................................................... 74 Contents On Software Implementation of Numerical Methods for Linear Optimization A. Latipova, Z. Ekaterina South Ural State University, Chelyabinsk, Russia ....................................................................... 78 The Architecture of the Information and Control Complex for Intelligent Transport Systems L.R. Sayapova, L.R. Shmeleva, A.A. Shmelev, R.M. Nafikova Aviation Technical University....................................................................................................... 84 Automation Catering Activities Enikeev Rustem R., Suvorova Veronica A., Solyeva Anastasiya V., Vazigatov Dinar I., Sitdikova Elina O.,Mirzaxanova Albina B. Ufa State Aviation Technical University, Ufa, Russia .................................................................. 90 Innovative Technologies and Methods of Economical and Social Data Processing Problems of Application of Formal Methods for Modeling Software Systems Design Process for Systems with Incomplete Information and High Complexity of Subject Domain Zagitov German R., Antonov Dimitri V., Antonov Vyacheslav V Ufa State Aviation Technical University, Ufa, Russia .................................................................. 92 Analysis of Effectiveness of Cross-Platform Software of the Information Environment (on the Example of the University and Enterprise) A. R. Fakhrullina Ufa State Aviation Technical University, Ufa, Russia ................................................................ 101 Formal Domain Model Given the Vague Descriptions of the Object Model Antonov Vyacheslav V., Suvorova Veronica A., Solyeva Anastasiya V. Ufa State Aviation Technical University, Ufa, Russia ................................................................ 105 Production Allocation System for Oil and Gas Companies S. Abramov