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

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Mikhail Babenko Andrei Tchernykh Bernardo Pulido-Gaytan Elena Golimblevskaia Jorge M. Cortés-Mendoza Arutyun Avetisyan Ivannikov Institute for System Programming Moscow Russia South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico North-Caucasus Federal University Stavropol Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The use of cloud technologies for processing confidential data requires a solution to the data security problem. One of the mechanisms to solve it is homomorphic encryption. However, homomorphic encryption only allows the arithmetic operations of addition and multiplication to be performed over encrypted numbers. Consequently, when implementing algorithms for matrix algebra, artificial neural networks, and deep learning, it becomes necessary to implement the comparison operation in a homomorphic cipher. In this paper, we study methods for comparison operations in a homomorphic cipher. One of the methods is to use the subtraction of numbers and determine the sign of a number. Two families of polynomials and their composition are used to approximate the sign function. We provide estimates of the accuracy of the sign function approximation obtained as a result of modeling and show that they are 1.98 times better than the state-of-the-art theoretical estimate for polynomials fn(x). Also, we show that the theoretical estimate of gn(x) is not applicable for n ≤ 4.

关键词： Deep learning Ciphers Artificial neural networks Approximation error Matrices Encryption Function approximation

来源：评论

学校读者我要写书评

暂无评论

Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory

Real-time analytics, hybrid transactional/analytical process...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Sergey D. Kuznetsov Pavel E. Velikhov Qiang Fu Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Institute of Physics and Technology (State University) National Research University Higher School of Economics Moscow Russia Huawei Russian Research Institute Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

These days, real-time analytics is one of the most often used notions in the world of databases. Broadly, this term means very fast analytics over very fresh data. Usually the term comes together with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing. The reason is that the simplest way to provide fresh operational data for analysis is to combine in one system both transactional and analytical processing. The most effective way to provide fast transactional and analytical processing is to store an entire database in memory. So on the one hand, these three terms are related but on the other hand, each of them has its own right to life. In this paper, we provide an overview of several in-memory data management systems that are not HTAP systems. Some of them are purely transactional, some are purely analytical, and some support real-time analytics. Then we overview nine in-memory HTAP DBMSs, some of which don't support real-time analytics. Existing real-time in-memory HTAP DBMSs have very diverse and interesting architectures although they use a number of common approaches: multiversion concurrency control, multicore parallelization, advanced query optimization, just in time compilation, etc. Additionally, we are interested whether these systems use non-volatile memory, and, if yes, in what manner. We conclude that an emergence of new generation of NVM will greatly stimulate its use in in-memory HTAP systems.

关键词： Nonvolatile memory Multicore processing Query processing Distributed databases Transforms Real-time systems Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

International Conference on Actual Problems of systems and Software Engineering

作者： Denis Kildishev Alexey Khoroshilov Software Engineering Ivannikov Institute for System Programming of the Russian Academy of Sciences

ISBN: (纸本)9781728160627

Requirements management is a significant part of development of complex safety-critical systems. Software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The paper reveals some implementation details of Requality open source requirements management tool that is being applied in several projects developed according DO-178C and that is expanding with features originating from these projects.

关键词： Requirements management tool Safety-critical systems Implementation details Requirements safety-critical software systems software open source Requirements management

来源：评论

学校读者我要写书评

暂无评论

Detection of Variable Misuse Using Static Analysis Combined with Machine Learning

Detection of Variable Misuse Using Static Analysis Combined ...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Gleb Morgachev Valery Ignatyev Andrey Belevantsev Ivannikov Institute for System Programming of the RAS Moscow Institute of Physics and Technology Moscow Russia

Industrial static analyzers are able to detect only several narrow classes of algorithmic errors, for example actual arguments order swapped with formal parameters, forgotten renaming of variable after copy-paste. However, even for these categories essential part of errors is lost because of heuristical design of a checker. We propose the generalization of specified errors in the form of variable misuse problem and deal with it using machine learning. The proposed method uses message propagation through the program model represented as a graph, combining data from multiple analysis levels, including AST, dataflow. We introduce several error criteria, which were evaluated on the set of open source projects with millions of LoC. Testing in close to industrial conditions shows good false positive and missed errors ratio comparable with remaining detectors and allows to include developed checker (after a minor rework) into a general purpose production static analyzer for error detection.

关键词： Tools Syntactics Analytical models C# languages Adaptation models Static analysis Machine learning

来源：评论

学校读者我要写书评

暂无评论

Iterative Approach to Solving Boundary Integral Equations in the Two-Dimensional Vortex Methods of Computational Hydrodynamics

引用

Journal of Applied and Industrial Mathematics 2019年第4期13卷 672-684页

作者： Mikhailov, E.A. Marchevskii, I.K. Kuzmina, K.S. Lomonosov Moscow State University Leninskie gory 13 Moscow119991 Russia Bauman Moscow State Technical University Vtoraya Baumanskaya ul. 5 Moscow105005 Russia Ivannikov Institute for System Programming ul. Aleksandra Solzhenitsyna 25 Moscow109004 Russia

Under consideration are the issues of numerical solution of a. boundary integral equation describing the vorticity generation process on the streamlined airfoils in meshless vortex methods. The traditional approach based on the quadrature method leads to the necessity of solving a. system of linear algebraic equations with dense matrix. If we consider the system of airfoils moving relative to one another, this procedure has to be performed at each time step of the calculation, and its high computational complexity significantly reduces the efficiency of vortex methods. The transition from the traditional approach expressed by an integral equation of the first kind to an approach with the integral equation of the second kind makes it possible to apply the simple-iteration method for numerical solving the boundary integral equation. By examples of some model problems, we demonstrate that the iterative approach allows reducing the computational complexity of the problem by tens to hundreds times while providing an acceptable accuracy of the approximate solution. © 2019, Pleiades Publishing, Ltd.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Forecasting nonlinear nonstationary processes in machine learning task 3

Forecasting nonlinear nonstationary processes in machine lea...

引用

3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020

作者： Bidyuk, Peter Gozhyj, Aleksandr Kalinina, Irina Vysotska, Victoria Vasilev, Mikhail Malets, Romanna Department of Mathematical Methods of System Analysis National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Kyiv Ukraine Petro Mohyla Black Sea National University Department of Intelligent Information Systems Nikolaev Ukraine National University Lvivska Politechnika Department of Information Systems and Networks Lviv Ukraine Ivan Franko Lviv National University Programming Department Lviv Ukraine

ISBN: (纸本)9781728132143

The article discusses the features of the solving the forecasting problems using machine learning techniques. The issues of accounting and correctly processing non-linear non-stationary processes in the problems of modeling and forecasting time series in various areas are considered. The analysis of stages and methods for solving machine learning problems. As an example, consider the problem of predicting currency pairs based on historical data. A comparative analysis of the normalization methods in data clustering is given. For the six currency pairs a short-term forecast is proposed. © 2020 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Deriving tests for the synchronous composition of deterministic complete Finite State Machines 20

Deriving tests for the synchronous composition of determinis...

引用

20th Conference Scientific Services and Internet, SSI 2018

作者： Burdonov, I.B. Evtushenko, N.V. Kossatchev, A.S. Ivannikov Institute for System Programming Russian Academy of Sciences Russia

The paper is devoted to deriving tests with guaranteed fault coverage for Finite State Machines (FSM). FSMs and their compositions are widely used when deriving tests for various systems, including interactive services, and the synchronous composition describes the behavior of a multi modular system when all the channels are active at each time instance. Without loss of generality, we assume that an output port of each FSM component is connected with at most one input port of another FSM component and propose a simplified approach for deriving the synchronous composition of deterministic complete FSMs using well known operators over FSMs. We also extend the sufficient conditions for checking the closure of the synchronous composition operator with respect to deterministic complete FSMs showing that for the operator closure it is sufficient that each composition cycle contains a Moore pair, i.e., a pair of some component FSM such that outputs do not significantly depend on inputs (Moore condition). If a system under test has the same structure as the reference composition and faults of component FSMs do not break the Moore condition, then a transition tour of the composed FSM is a good quality test when component states can be observed (testing with open state). We also propose how to derive a test with guaranteed fault coverage for a component FSM of our interest when states cannot be observed under the condition that input and output ports of a component under test can still be observed. © 2018 CEUR-WS. All rights reserved.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

The verification of tunnel methods of the Extensible Authentication Protocol (EAP) 20

The verification of tunnel methods of the Extensible Authent...

引用

20th Conference Scientific Services and Internet, SSI 2018

作者： Nikeshin, A.V. Shnitman, V.Z. Ivannikov Institute for System Programming Russian Academy of Sciences Russia

In modern networks one of the main mechanisms of information security is the establishing of a secure tunnel and transmitting data under the protection of that tunnel. The same mechanism is used in some authentication protocols. Extensible Authentication Protocol (EAP) provide an effective flexible authentication mechanism, that can be easily expanded with new authentication methods. A tunnel-based methods of EAP executes various EAP methods under the protection of the secure tunnel. There are several tunnel-based EAP methods: Protected EAP (PEAP), EAP Tunneled TLS Authenticated Protocol (EAP-TTLS), EAP Flexible Authentication via Secure Tunneling (EAP-FAST), Tunnel EAP (TEAP). They all use Transport Layer Security protocol (TLS) to establish the secure tunnel. This paper presents approachs and results of verification of some tunnel-based methods of EAP Protocol using UniTESK technology and our team developments in testing network protocols. UniTESK technology allows to automate the process of test construction and evaluate whether an implementation conforms to the specification. Additional methods allow to send incorrect packets in each meaningful states of the protocol. © 2018 CEUR-WS. All rights reserved.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Technology of assembly of intellectual and information resources internet 21

Technology of assembly of intellectual and information resou...

引用

21st Conference on Scientific Services and Internet, SSI 2019

作者： Lavrischeva, E.M. Petrenko, A.K. Pozin, B.A. Ivannikov Institute for System Programming of the Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow109004 Russia Moscow Institute of physics and technology 9 Institutsky per. Dolgoprudny Moscow region141700 Russia NRU Higher School of Economics 20 Myasnitskaya Ulitsa Moscow101000 Russia Lomonosov Moscow State University GSP-1 Leninskie Gory Moscow119991 Russia EC-leasing Building 1 125 Warshavskoye Shosse Moscow117587 Russia

The technology of Assembly of intellectual (Reuses) and information (data) resources which are developed and saved up in libraries and storages of the Internet, in applied web-systems of different function is offered. The intellectual tasks of subject areas of knowledge in the Semantic Web in mind service, software and system resources used in creating Web systems are presented. Methods of assembling resources (link, make, assemble, weaver, kconfig) are considered for modern environments. The problem of data exchange and generation to the formats of the global network environment according to ISO/IEC 11404 GDT is defined. The concept of a network resource collector is proposed as a generalization of ways to assemble resources with functional security, resource protection and quality assessment of Web-systems. Perspective paradigms of programming of different areas of knowledge are defined. Copyright © 2020 for this paper by its authors.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs

Deriving adaptive homing sequences for weakly initialized no...

引用

2019 IEEE East-West Design and Test Symposium, EWDTS 2019

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (纸本)9781728110035

State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs. © 2019 IEEE.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：