检索结果-内蒙古大学图书馆

2Lbp-RRNS: Two-Levels RRNS With Backpropagation for Increased Reliability and Privacy-Preserving of Secure Multi-Clouds Data Storage

引用

IEEE ACCESS 2020年 8卷 199424-199439页

作者： Miranda-Lopez, Vanessa Tchernykh, Andrei Babenko, Mikhail Avetisyan, Arutyun Toporkov, Victor Drozdov, Alexander Yu CICESE Res Ctr Comp Sci Dept Ensenada 22860 Baja California Mexico South Ural State Univ Sch Elect Engn & Comp Sci Chelyabinsk 454080 Russia Ivannikov Inst Syst Programming Moscow 109004 Russia North Caucasus Fed Univ Dept Computat Math & Cybernet Stavropol 355017 Russia Natl Res Univ MPEI Dept Comp Technol Moscow 111250 Russia Moscow Inst Phys & Technol Sch Radio Engn & Comp Technol Moscow 141701 Russia

Cloud storage as service is the mainstream technology used to retain digital data. However, there are significant risks for confidentiality, integrity, and availability violation associated with the loss of information, denial of access, technical failures, etc. In this article, we propose a two-level 2Lbp-RRNS scheme based on a Redundant Residue Number system with a backpropagation and hamming distance mechanisms for increasing reliability of a configurable and secure multi-cloud data storage. We provide a theoretical analysis of the 2Lbp-RRNS solution as an extension of the classical 2L-RRNS and a variant of fully homomorphic encryption for privacy-preserving, parallel processing, and scalability. We formulate, explain, and prove its main properties to extend existing knowledge within the limits of the critical bounding RRNS assumptions. We show that 2Lbp-RRNS can identify and recover more errors than traditional 2L-RRNS. We provide the upper bounds of the traditional threshold 2L-RRNS and our solution to estimate the number of detectable and correctable errors. We study various data access scenarios and show that it detects 1.58x and corrects 3.37x more errors than 2L-RRNS, on average. We also provide efficient implementations of encoding and decoding algorithms MRC8, and MRC16 based on the Mixed-Radix system, Finite Ring Neuronal Network, and signed binary window method. We evaluate encoding/decoding speeds using three algorithms: Mignotte, MRC8, and MRC16. The experimental system includes seven cloud storages: DropBox, GoogleDrive, OneDrive, Sharefule, Box, Egnyte, and Salesforce. To assess the efficiency of the system on real data, we vary scenarios of the first and second levels. The results show that our solution outperforms MRC8 by 2.53x (1.78x), and Mignotte by 4.83x (11.43x) for the encoding (decoding) speed, respectively.

关键词： Cloud storage reliability residue number system secret sharing scheme uncertainty security

来源：评论

学校读者我要写书评

暂无评论

Source code optimization using equivalent mutants

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2018年第Nov.期103卷 138-141页

作者： Lopez, Jorge Kushik, Natalia Yevtushenko, Nina Univ Paris Saclay CNRS SAMOVAR Telecom SudParis 9 Rue Charles Fourier F-91000 Evry France Russian Acad Sci Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia

Context: A mutant is a program obtained by syntactically modifying a program's source code;an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutants are primarily used in mutation testing, and when deriving a test suite, obtaining an equivalent mutant is considered to be highly negative, although these equivalent mutants could be used for other purposes. Objective: We present an approach that considers equivalent mutants valuable, and utilizes them for source code optimization. Source code optimization enhances a program's source code preserving its behavior. Method: We showcase a procedure to achieve source code optimization based on equivalent mutants and discuss proper mutation operators. Results: Experimental evaluation with Java and C programs demonstrates the applicability of the proposed approach. Conclusion: An algorithmic approach for source code optimization using equivalent mutants is proposed. It is showcased that whenever applicable, the approach can outperform traditional compiler optimizations.

关键词： Program / code optimization Mutation (software) testing

来源：评论

学校读者我要写书评

暂无评论

Nowcasting India Economic Growth Using a Mixed-Data Sampling (MIDAS) Model (Empirical Study with Economic Policy Uncertainty-Consumer Prices Index)

引用

DATA 2021年第11期6卷 113页

作者： Mishra, Pradeep Alakkari, Khder Abotaleb, Mostafa Singh, Pankaj Kumar Singh, Shilpi Ray, Monika Das, Soumitra Sankar Rahman, Umme Habibah Othman, Ali J. Ibragimova, Nazirya Alexandrovna Ahmed, Gulfishan Firdose Homa, Fozia Tiwari, Pushpika Balloo, Ritisha Jawaharlal Nehru Krishi Vishwavidyalaya Coll Agr Jabalpur 461110 India Univ Tishreen Fac Econ Dept Stat & Programming POB 2230 Latakia Syria South Ural State Univ Dept Syst Programming Chelyabinsk 454080 Russia RD Engn Coll Ghazibad 01001 India Reg Res & Technol Transfer Stn OUAT Keonjhar 758002 India Birsa Agr Univ Dept Stat Ranchi 834006 Bihar India Assam Univ Dept Stat Silchar 788011 India Plekhanov Russian Univ Econ Dept Commod Res & Commod Expertise Moscow 117997 Russia Coll Agr JNKVV Dept Comp Sci Hoshangabad 461110 India Bihar Agr Univ Dept Stat Math & Comp Applicat Bhagalpur 813210 India Indian Inst Forest Management IIFM M Phil NRM Bhopal 462001 India Univ Mauritius Dept Law & Management Reduit 80837 Mauritius

Economics suffers from a blurred view of the economy due to the delay in the official publication of macroeconomic variables and, essentially, of the most important variable of real GDP. Therefore, this paper aimed at nowcasting GDP in India based on high-frequency data released early. instead of using a large set of data thus increasing statistical complexity, two main indicators of the Indian economy (economic policy uncertainty and consumer price index) were relied on. The paper followed the MIDAS-Almon (PDL) weighting approach, which allowed us to successfully capture structural breaks and predict Indian GDP for the second quarter of 2021, after evaluating the accuracy of the nowcasting and out-of-sample prediction. Our results indicated low values of the RMSE in the sample and when predicting the out-of-sample1- and 4-quarter horizon, but RMSE increased when predicting the 10-quarter horizon. Due to the effect of the short-term structural break, we found that RMSE values decreased for the last prediction point.

关键词： nowcasting real GDP economic policy uncertainty consumer prices index mixed-data sampling almon weighting structural break

来源：评论

学校读者我要写书评

暂无评论

A hybrid pressure-based solver for nonideal single-phase fluid flows at all speeds

引用

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS 2018年第2期88卷 79-99页

作者： Kraposhin, Matvey V. Banholzer, Matthias Pfitzner, Michael Marchevsky, Ilia K. Russian Acad Sci Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow 109004 Russia Bundeswehr Univ Munich Inst Thermodynam Neubiberg Germany Bauman Moscow State Tech Univ Dept Appl Math Moscow Russia Moscow Inst Phys & Technol Dept Aeromech & Flight Engn Moscow Russia

This paper describes the implementation of a numerical solver that is capable of simulating compressible flows of nonideal single-phase fluids. The proposed method can be applied to arbitrary equations of state and is suitable for all Mach numbers. The pressure-based solver uses the operator-splitting technique and is based on the PISO/SIMPLE algorithm: the density, velocity, and temperature fields are predicted by solving the linearized versions of the balance equations using the convective fluxes from the previous iteration or time step. The overall mass continuity is ensured by solving the pressure equation derived from the continuity equation, the momentum equation, and the equation of state. Nonphysical oscillations of the numerical solution near discontinuities are damped using the Kurganov-Tadmor/Kurganov-Noelle-Petrova (KT/KNP) scheme for convective fluxes. The solver was validated using different test cases, where analytical and/or numerical solutions are present or can be derived: (1) A convergent-divergent nozzle with three different operating conditions;(2) the Riemann problem for the Peng-Robinson equation of state;(3) the Riemann problem for the covolume equation of state;(4) the development of a laminar velocity profile in a circular pipe (also known as Poiseuille flow);(5) a laminar flow over a circular cylinder;(6) a subsonic flow over a backward-facing step at low Reynolds numbers;(7) a transonic flow over the RAE 2822 airfoil;and (8) a supersonic flow around a blunt cylinder-flare model. The spatial approximation order of the scheme is second order. The mesh convergence of the numerical solution was achieved for all cases. The accuracy order for highly compressible flows with discontinuities is close to first order and, for incompressible viscous flows, it is close to second order. The proposed solver is named rhoPimpleCentralFoam and is implemented in the open-source CFD library OpenFOAM((R)). For high speed flows, it shows a similar behavior as

关键词： collocated variables finite volume hybrid approach Kurganov-Tadmor pimple piso pressure equation real-gas thermodynamics simple

来源：评论

学校读者我要写书评

暂无评论

Statistical Approach to Increase Source Code Completion Accuracy 11th

引用

11th International Andrei P. Ershov Informatics Conference on Perspectives of system Informatics (PSI)

作者： Savchenko, Valeriy Volkov, Alexander Russian Acad Sci Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia Lomonosov Moscow State Univ GSP-1 Moscow 119991 Russia

ISBN: (纸本)9783319743134;9783319743127

Code completion is an essential feature in every IDE's toolbox, boosting a developer's productivity and significantly reducing time spent on code exploration. In this paper, we introduce the extension of a typical code completion system. At each point, we construct a list of all possible functions, which are then sorted according to our probabilistic model. We draw our inspiration from natural language processing (NLP). As the foundation, we select the N-gram model, which works on top of abstract syntax tree (AST) nodes. Since our approach is not bound to any other analyses, our model is language-agnostic, and thus, can be applied to any programming language. Experiments on several well-known open source projects show that the described method is sound. It has an execution time comparable to naive approaches and achieves much more accurate results.

关键词： Code completion Statistics Language modeling

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Natl Res Univ Higher Sch Econ Fac Comp Sci Moscow Russia Russian Acad Sci Ivannikov Inst Syst Programming Software Engn Dept Moscow Russia

ISBN: (纸本)9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： formal verification deductive verification Frama-C auto-active verification lemma functions Linux kernel

来源：评论

学校读者我要写书评

暂无评论

Deterministic Static Analysis

Deterministic Static Analysis

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Borodin, Alexey Belevantsev, Andrey Zhurikhin, Dmitry Izbyshev, Alexey Russian Acad Sci Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow 109004 Russia Lomonosov Moscow State Univ GSP 1 Moscow 119991 Russia

ISBN: (纸本)9781538676905

The paper describes the issues that were found during fixing the nondeterministic behaviour of the Svace static analyzer and the approaches we have used to fix those issues. To ensure determinism, a lot of analysis phases and the build process were reworked. In addition, the stability of the analyzer results for small changes in input data is increased.

关键词： Java Stability criteria Merging Indexes Buildings Data structures

来源：评论

学校读者我要写书评

暂无评论

Optical Camera Communication for Active Marker Identification in Camera-based Positioning systems 15

Optical Camera Communication for Active Marker Identificatio...

引用

15th Workshop on Positioning, Navigation and Communications (WPNC)

作者： Gorse, Lorenz Loeffler, Christoffer Mutschler, Christopher Philippsen, Michael Fraunhofer Inst Integrated Circuits IIS Machine Learning & Informat Fus Grp Erlangen Germany Friedrich Alexander Univ Erlangen Nurnberg FAU Programming Syst Grp Erlangen Germany

ISBN: (纸本)9781538664360

Outside-in camera-based localization systems determine the position of mobile objects (with markers attached to them) by observing a tracking area with multiple camera anchors. Up to now the identification of the objects in the camera images only works for close objects (with passive 3-dimensional marker constellations) or when tracking gaps or a slow identification are acceptable (with an active LED that blinks a unique identification code). We present a novel Optical Camera Communication method whose LEDs are never switched off completely to allow continuous tracking. We encode bits with variations of light intensity and show how an outside-in optical localization system can reliably identify the markers within a few frames. The identification works with a bit error ratio of 7.5 10(-5). It works for moving markers (with speeds of at least up to 4 m/s), for distant markers (with distances of at least up to 44 m), for multiple markers, and under moderate ambient infrared light.

关键词： Light emitting diodes

来源：评论

学校读者我要写书评

暂无评论

Analysis of Mobility Patterns for Public Transportation and Bus Stops Relocation

引用

programming AND COMPUTER SOFTWARE 2018年第6期44卷 508-525页

作者： Fabbiani, Enzo Nesmachnow, Sergio Toutouh, Jamal Tchernykh, Andrei Avetisyan, Arutyun Radchenko, Gleb Univ Republica Montevideo Uruguay Univ Malaga Malaga Spain CICESE Res Ctr Ensenada Baja California Mexico RAS Inst Syst Programming Moscow Russia South Ural State Univ Chelyabinsk Russia Moscow MV Lomonosov State Univ Moscow Russia

Knowing the mobility patterns of citizens using public transportation is an important issue for modern smart cities. Mobility information is crucial for designing and planning an urban transportation system able to provide good service to citizens. We address two relevant problems related to public transportation systems: the analysis of mobility patterns of passengers and the relocation of bus stops in an urban area. Forthe first problem, a big-data approach is applied to process large volume one space of information. Several relevant metrics are computed and analyzed to characterize the mobility patterns using data from the public transportation system on Montevideo, Uruguay. We obtain user demand and origin-destination matrices by analyzing the tickets sale information and the buses locations. A distributed implementation is proposed, reaching significant execution time improvements (speedup up to 17.10 when using 24 computing resources). For the second problem, a multiobjective evolutionary algorithm is proposed to relocate bus stops in order to improve the quality of service by minimizing the travel time and bus operational costs. The algorithm is evaluated over instances of the problem generated with real data from the year 2015. The experimental results show that the algorithm is able to obtain improvements of up to 16.7 and 33.9% in time and cost respectively, compared to space situation in the year 2015.

关键词： Public Transportation mobility Relocation citizens algorithms transport system Public Transit public transportation systems bus station

来源：评论

学校读者我要写书评

暂无评论

Simulation of transonic low-Reynolds jets using quasi-gas dynamics equations 3

Simulation of transonic low-Reynolds jets using quasi-gas dy...

引用

35th Siberian Thermophysical Seminar (STS)

作者： Kraposhin, M., V Epikhin, A. S. Elizarova, T. G. Vatutin, K. A. RAS Ivannikov Inst Syst Programming Solzhenitsyna Str 25 Moscow Russia Moscow Inst Phys & Technol Dept Aeromech & Flight Engn Gagarin Str 16 Jukovskiy Moscow Region Russia Bauman Moscow State Tech Univ 2nd Baumanskay Str5Bldg 1 Moscow Russia RAS Keldysh Inst Appl Math Miusskaya Sqr 4 Moscow Russia Lomonosov Moscow State Univ Fac Mech & Math GSP 1Leninskiye Gory 1 Moscow Russia

In this paper application of the OpenFOAM solver QGDFoam for numerical simulation of transonic viscous flows is considered. The developed solver, which implements regularized or quasi- gas dynamics (QGD) algorithms, is validated using the transonic low-Re jet flow case (Ma=0.9, Re=3600). The conducted numerical simulations allow the assessing applicability of the solver for modelling hydrodynamic instabilities and their interaction with transonic flow. Results of the numerical simulations are compared with experimental observations and Navier-Stokes-based code simulation. Results of the present study formulate a guideline for choosing (values of) QGD-algorithm tuning parameters.

关键词： Gas dynamics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：