{"title":"Analytical Verification of Computational Programs","authors":"Sergey A. Petrenko, D. D. Stupin","doi":"10.1109/EnT-MIPT.2018.00046","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00046","url":null,"abstract":"The criteria for the semantic correctness of computations for controlling key computability properties are determined.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"44 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":"115083930","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":"Features of Method of Special-Purpose Calculating Unit Functioning for Linear System Solution Based on the Second Order Delta-Transformation","authors":"L. V. Pirskaya","doi":"10.1109/EnT-MIPT.2018.00043","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00043","url":null,"abstract":"Theoretical representations of special-purpose calculating unit functioning for the iteration solution of linear systems using deltatransformations and variable quantum is considered, that allows to achieve high performance and hardware resources. The algorithm for parallel solution of linear systems based on the second order delta-transformations and variable quantum is developed and adapted for implementation in a special-purpose calculating unit. It is presented the architecture and peculiarities of this unit functioning, which makes the possibility of linear systems solution with variable free terms at each time step of the steady-state process within one iteration. With the orientation to FPGA, comparative estimates are obtained for the hardware resources and the speed of the developed algorithm for special-purpose calculating unit functioning. In this paper for the developed algorithm of the unit functioning, it is shown that it is possible to reduce the execution of one iteration and the iterative process as a whole and the amount of hardware resources in comparison with the special-purpose calculating unit functioning based on the simple iteration method.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","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":"129065034","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":"Evaluation of Cache Compression for Elbrus Processors","authors":"Aleksey S. Kozhin, A. V. Surchenko","doi":"10.1109/EnT-MIPT.2018.00037","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00037","url":null,"abstract":"Data compression in cache memory allows increasing the effective capacity, which improves the hit rate and only insignificantly affects power consumption and die area. In this paper, the results of the first research on cache compression in processors with Elbrus architecture are presented. Base+Delta (B+Δ) and Base-Delta-Immediate (BΔI) compression algorithms are selected for hardware implementation for their high efficiency and lower decompression latency compared to other algorithms. The modified versions of these algorithms, B+Δ* and BΔI*, which allow to reduce implementation complexity and further shorten the latency, are presented. Additionally, a new set of compression schemes for modified algorithms (labeled as BΔI*-HL algorithm) is proposed to account for width of the interfaces and internal data buses. The algorithms were implemented using Verilog HDL and evaluated on FPGA prototype of Elbrus-8C2 processor and SPEC CPU2000 benchmark suite. The results show that BΔI* demonstrates almost equal of greater compression ration as the original BÄI algorithm while has significantly lower implementation complexity. The algorithm BΔI*-HL is proposed as the most suitable for hardware implementation with average compressed lines share of 24.4% and mean compression ratio of 1.246.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"4 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":"133241092","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":"State-of-the-Art and Problems in Development of Automated Screening Systems in Personalized Medicine and Oncology","authors":"E. Petersen, R. Gorbachev, E. Skorova, I. Volkov","doi":"10.1109/EnT-MIPT.2018.00038","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00038","url":null,"abstract":"Despite the fact that oncology issues are among the most actively studied, the problem of tumor resistance to the therapy remains very relevant at the moment. Currently, there are no validated models while known systems are generally focused on detecting few particular conditions - either to assess the composition of the gaseous medium, humidity and temperature, or to assess the dissolved gases and pH in the flowing nutrient medium of bioreactors, or to assess the content of intracellular oxygen. These systems lack tracking of the dynamic parameters of 3D systems and the ability to operate such systems, including decision-making modules. To validate advanced cellular tumor models, one needs a device that should have advantages over modern commercially available models, this system has to be better in terms of sterile work, autonomy, cost-effectiveness, applicability for experiments and microscopy. Based on several types of physical, chemical and biological sensors, the new generation screening system will allow one to reveal in the foreseeable future additional indicators of the functional activity of tumor cells and dependence on changes in the extracellular matrix, metabolic activity of cells during their growth, migration, transformation and response to therapy on the basis of personalized 3D cellular tumor model.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"76 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":"133724578","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":"Multiple-Precision Summation on Hybrid CPU-GPU Platforms Using RNS-based Floating-Point Representation","authors":"K. Isupov, A. Kuvaev","doi":"10.1109/EnT-MIPT.2018.00042","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00042","url":null,"abstract":"We consider the summation of large sets of floating-point numbers on hybrid CPU-GPU platforms using MPRES, a new software library for multiple-precision computations on CPUs and CUDA compatible GPUs. This library uses an RNSbased floating-point representation, in accordance with which the multiple-precision significands are represented in a residue number system (RNS). This representation allows the computation of digits (residues) of significands in a parallel way and without carry propagation delay. We present the addition algorithm for RNS-based representations, as well as three multiple-precision summation algorithms: recursive summation, pairwise summation, and block-parallel hybrid summation. The hybrid algorithm demonstrates better performance, as it allows the full utilization of the GPU's resources.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"32 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":"123463988","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 H-polarized Plane Wave Scattering by Inhomogeneous Dielectric Cylinder of Arbitrary Cross Section","authors":"E. Nekrasova, S. Skobelev","doi":"10.1109/EnT-MIPT.2018.00028","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00028","url":null,"abstract":"A 2D problem of scattering of H-polarized plane wave by a dielectric cylinder consisting of a homogeneous core of circular cross-section and an inhomogeneous cover of arbitrary cross section is considered. A modification of the hybrid projection method is developed for its solution including the case when the core is a perfectly conducting cylinder. Some results of application of the method for calculation of the characteristics of scattering by a homogeneous elliptic cylinder, a perfectly conducting circular cylinder with homogeneous and inhomogeneous plasma shell, as well as a half-cylindrical Maxwell fish-eye lens are presented and discussed. The results corresponding to the cases of homogeneous permittivity are compared to the reference data obtained with use of the method of auxiliary sources.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"71 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":"122060091","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}
E. Gadzhiev, V. Skripachev, A. Generalov, Yuriy Polushkovskiy, M. Tumanov, Alexander Zhukov
{"title":"Application of Spiral Antennas for Perspective Vehicle–Board Systems and Complexes","authors":"E. Gadzhiev, V. Skripachev, A. Generalov, Yuriy Polushkovskiy, M. Tumanov, Alexander Zhukov","doi":"10.1109/EnT-MIPT.2018.00027","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00027","url":null,"abstract":"At present, there is a need for vehicle-board antenna system of COSPAS-SARSAT. The antenna system consists of a transmitting antenna and a receiving antenna. In this paper the antenna system of COSPAR-SARSAT for space vehicles of series \"Meteor-M\" is designed and presented. In addition to receiving and transmitting antennas, testing complex for full-scale test has been developed. In this paper the results of measurement of voltage standing-wave ratio, radiation pattern, gain of vehicle-board antennas are presented. The obtained results satisfy the technical task for the antenna system for vehicle-board equipment COSPAS-SARSAT.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"46 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":"127200835","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}
Dam Trong Nam, Gennady Gryzov, A. Dvorkovich, V. P. Dvorkovich
{"title":"Nonlinear Quantization Method for Wavelet-Based Video Codec","authors":"Dam Trong Nam, Gennady Gryzov, A. Dvorkovich, V. P. Dvorkovich","doi":"10.1109/EnT-MIPT.2018.00013","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00013","url":null,"abstract":"This paper is dedicated to the research and development of quantization methods for wavelet-based video codec. Uniform, nonlinear quantization method and their potential applications for wavelet-based video codec Dirac have been investigated. The optimized quantization method for wavelet-based video codec have been proposed based on analysis of the processing results for various video types using quantization methods mentioned above. The processing results for various types of video show that the proposed method provides up to 4.2% bitrate saving for low distortion level in the intra-frame coding mode, up to 9.8% bitrate reduction for low distortion level and up to 11.2% bitrate saving for medium (acceptable) distortion level in the inter-frame coding mode compared to the uniform quantization method implemented in video codec Dirac.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"14 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":"115688109","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}
Iurii B. Minin, E. E. Nuzhin, A. Boyko, M. Litsarev, I. Oseledets
{"title":"Evolutionary Structural Optimization Algorithm Based on FFT-JVIE Solver for Inverse Design of Wave Devices","authors":"Iurii B. Minin, E. E. Nuzhin, A. Boyko, M. Litsarev, I. Oseledets","doi":"10.1109/EnT-MIPT.2018.00040","DOIUrl":"https://doi.org/10.1109/EnT-MIPT.2018.00040","url":null,"abstract":"We propose a topology optimization method with a target function based on FFT-JVIE solver. It allows to find an optimal structure in a 3D space for homogeneous objects (lenses and metallic reflectors). Such examples as glass lenses, parabolic reflectors are considered. Numerical experiments show that discrete gradient algorithm converges much faster than greedy algorithm for all considered cases.","PeriodicalId":131975,"journal":{"name":"2018 Engineering and Telecommunication (EnT-MIPT)","volume":"88 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":"114471449","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}