{"title":"Fonmal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems","authors":"S. Pakharev, A. Syschikov","doi":"10.1109/WECONF.2018.8604425","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604425","url":null,"abstract":"This paper described formal verification of coarse-grained programs by example of programs created by VPL language at VIPE IDE. The article discusses methods that allow the verification of the program to identify the main errors specific to parallel programs.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131300706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"RFID Technology for Automation of Transport and Storage Operations in Space","authors":"V. Fetisov, V. E. Taratun","doi":"10.1109/WECONF.2018.8604386","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604386","url":null,"abstract":"The development of rocket and space technology [1], space research, and the exploration of outer space is one of the main stages in the development of science in general. Space exploration is not only a stage in the development of space science, but a whole era of scientific progress in various fields. Astronautics in this case is an object of synthesis of scientific achievements in various fields of science and technology. It demonstrates all-time high demands on the reliability of systems and equipment, prompting the industry in turn to reach a level that it was not characteristic of yesterday. Thus, the development of the space component of individual states determines their development in the world from the point of view of scientific and technological progress. The International Space Station (ISS) [1]–[3] is one of the most complex projects realized by large teams of leading engineers and scientists from different countries. One of the most important tasks of life support of the ISS work is the management of the cargo flow of delivery of various cargoes required for conducting space experiments. In turn, in order to achieve high efficiency of material and technical supply, rational management of material resources is necessary, as well as the formation of information flows at a high level. In spite of the fact that the task of accounting for commodity circulation and the tasks of managing supply chains has been resolved, the use of ground technologies in outer space is directly impossible. To plan the flow of goods, it is necessary to take into account a variety of factors, criteria, rules, preferences and limitations different by the nature thereof. Any important event leads to a chain of rescheduling many other related actions, which for the space industry leads to a complication of the process structures. This task is especially important in the study of traffic flows and the development of new models and methods of supply chain management for the ISS. The purpose of the work is to conduct research and analysis of the existing systems of accounting for transport and storage operations and study the applicability of RFID technology, the presentation of the draft flowchart of the commodity circulation systems for the ISS. The article presents a system analysis of various types of tags, and a summary table of their characteristics is given.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114507896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Problem of Determination of Coordinates of Unmanned Aerial Vehicles Using a Two-Position System Ground Radar","authors":"V. Nenashev, A. Sentsov, A. Shepeta","doi":"10.1109/WECONF.2018.8604329","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604329","url":null,"abstract":"The features of modern methods for detecting and determining the coordinates of small unmanned aerial vehicles using a two-position ground radar system are considered. It is proposed to use the methods developed for multi-sensor radar systems. The limitations and advantages of the two-position radar system are shown. The main potential characteristics of the system and the corresponding restrictions on the conditions of its effective application are determined. Potential characteristics are obtained by simulation methods using mathematical models built on the basis of experimental data.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129807938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Wireless Sensor Network Clustering Model","authors":"T. Tatarnikova, I. N. Dziubenko","doi":"10.1109/WECONF.2018.8604452","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604452","url":null,"abstract":"This paper proposes a simulation model of clusterization of the sensory field created by a wireless sensor network. Effectiveness of clustered wireless sensor network was comparatively evaluated to non-clustered on parameters of residual energy and duration of the network life cycle. The clustering method is based on the idea of an equally probable rotation of the head nodes, taking into account the level of residual energy of the nodes and the distance from the sensory devices to the head node.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130192341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysis of Overlapping Spectra by Metods of Difraction Spectrometry","authors":"A. V. Karandin, S. Boritko","doi":"10.1109/weconf.2018.8604349","DOIUrl":"https://doi.org/10.1109/weconf.2018.8604349","url":null,"abstract":"In connection with the advent of a new high-frequency digital techniques generation that allows harmonic signal creation with a sufficiently sharp phase change and the required period it has become possible to createan acousto-optic spectrometer for direct measurement of the optical radiation spectrum derivatives. The paper presents the results of the study of the differential spectrometer created at the NTC Unique Instrumentation RAS on the basis of an acousto-optic cell with a sharp phase modulation of the operate voltage.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132428798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysis of Iterative Demodulation Algorithm for MIMO System with Different Number of Antennas","authors":"V. B. Kreindelin, D. Pankratov, A. Stepanova","doi":"10.1109/WECONF.2018.8604469","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604469","url":null,"abstract":"To increase the capacity in 5G networks, it is planned to use Massive MIMO technology (i.e., MIMO with a large number of antennas). However, on the way to the practical application of this technology, there are many problems, in particular, the problem of demodulation algorithms synthesis. Therefore, the developing of demodulation algorithms with characteristics close to potentially possible and low computational complexity is very important. In this paper, we consider the demodulation algorithm using the criterion of the minimum mean square error (MMSE) and the Chebyshev iterative method. The noise immunity characteristics of MIMO system demodulation algorithms for different numbers of antennas and different numbers of iterations were obtained.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120925757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Adaptive Retransmission Management in Random Multiple-Access System with Successive Interference Cancellation","authors":"N. Matveev","doi":"10.1109/WECONF.2018.8604323","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604323","url":null,"abstract":"The article is devoted to the system of random multiple access with successive interference cancellation and a random entrance stream for a scenario Massive Machine-Type Communications. Procedures are proposed for controlling access to the medium, which allows stabilizing the Coded Random access algorithms and finding parameters for estimating the number of active users, in order to achieve the maximum possible average arrival rate. The paper compares management procedures and presents algorithms and criteria that allow you to determine whether the estimated number of device leads to the stable operation or not.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131364285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Gaysin, A. S. Morozov, D. D. Mullahmetov, A. Nadeev
{"title":"Development of a Method for Monitoring the GSM Radio Network Fragment's QoS Parameters","authors":"A. Gaysin, A. S. Morozov, D. D. Mullahmetov, A. Nadeev","doi":"10.1109/WECONF.2018.8604407","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604407","url":null,"abstract":"This article presents a comparative analysis of existing monitoring methods in mobile networks. Estimating the QoS parameters of a fragment of a mobile communication network using the example of the GSM standard method is proposed. This method restores the parameters of the full-access model with losses based on the analysis of the signal messages of the Radio Resource Management protocol. Shown the applicability and prospects of the proposed method.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"48 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134392898","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multylevel Audio Structure for Weighted Information Embedding","authors":"N. Voloshina, K. Nikita, S. Bezzateev","doi":"10.1109/WECONF.2018.8604401","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604401","url":null,"abstract":"This article presents the research dedicated to the problem of possibility to use weighed embedding approach to increase the efficiency of audio watermarking. It was shown that it is possible to highlight at least three non-equal (with different influence of embedded errors) zones for DCT (discrete cosine transform) coefficient of audio mono-signal. This result shoes that it is possible to construct weighted structure model for audio signal that is corresponds with a Human Auditory System Model.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122673042","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modern Artificial Intelligence Network Technologies: Cloud Computing","authors":"N. Balonin, M. Sergeev, A. Vostrikov","doi":"10.1109/WECONF.2018.8604476","DOIUrl":"https://doi.org/10.1109/WECONF.2018.8604476","url":null,"abstract":"This article is devoted to a significant role of cloud computing in mordern Artificial Intelligence Network Technologies, Systems of Artificial Intelligence and Mathematical instrumentation. It presents a new style of work with Artificial Intellect, including its main projections: robots switched by Internet to Mathematical network consisting AI-blocks, student groups working with “brains” of robots having possibility to download their versions of AI-blocks into robots, a forum to communicate accordingly theme of development, teacher-level of manuals and other educational process support.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125161203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}