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

Ivannikov Memorial Workshop (IVMEM)

作者： Igor Burdonov Sergey Gaisaryan Alexander Kosachev Sergei Prokhorov Victor Shnitman Ivannikov Institute for System Programming RAS Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

The article outlines the basic design principles of the Electronica SS BIS software and computing complex, aimed at addressing the most complex scientific problems. The developers have researched heterogeneous computing supersystems due to the experience they had accumulated from creating previous systems. Research has shown that integrating closely related subsystems with different architectures results in more effective computing systems. With this approach, supercomputers not only became multiprocessors, but they also combined a number of subsystems or independent functional systems, such as a multi-level memory system, a system of functionally specialized machines, a channel system, and a distributed operating system. Later, this work became the foundation for a new direction in computing technology—computing supersystems. In recent years this direction has been recognized as highly relevant and promising.

关键词： Operating systems Conferences Computer architecture Supercomputers Heterogeneous networks Vectors Software

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation of Supersonic Jet Noise Using Open Source Software 1

引用

23rd International Conference on Computational Science, ICCS 2023

作者： Epikhin, Andrey But, Ivan Ivannikov Institute for System Programming of the RAS Moscow109004 Russia Keldysh Institute of Applied Mathematics of the RAS Moscow125047 Russia Bauman Moscow State Technical University Moscow105005 Russia

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

The paper is devoted to the study of various numerical algorithms for calculating the flow and acoustics characteristics of supersonic jets implemented in open source software. The ideally expanded supersonic jet with parameters , is considered. A comparison of various approaches implemented in the OpenFOAM and block-structured adaptive mesh refinement framework of AMReX is conducted. Numerical algorithms for compressible gas flow implemented in pimpleCentralFoam, QGDFoam and CNS solvers are considered. Acoustic noise are calculated using the Ffowcs Williams and Hawkings analogy implemented in the libAcoustics library. Cross-validation comparison of the flow fields and acoustic characteristics is carried out. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

A viscous effect of wave attractor in geometry with underwater peak

引用

Intelligent Marine Technology and systems 2024年第1期2卷 1-9页

作者： Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch of RAS Novosibirsk Russia

The influence of the viscosity on a wave attractor flow has been previously studied, particularly in relation to the widening of the hydrodynamical structures. In this work, we simulate an attractor flow with a peculiar bottom shape that includes an underwater hill. During the simulation, we discovered a side structure appearing beyond the wave attractor. We determined that the appearance of this structure is connected to viscosity. In this article, we consider the behavior of this newly found structure. Additionally, we discuss the challenges of energy accumulation and the estimation of the Reynolds number, which is a non-trivial problem in the context of wave attractor flows.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Numeric Truncation Security Predicate

Numeric Truncation Security Predicate

引用

2023 Ivannikov ISPras Open Conference, ISPras 2023

作者： Mezhuev, Timofey Kobrin, Ilay Vishnyakov, Alexey Kuts, Daniil Ivannikov Institute for System Programming of the Ras Moscow Russia Lomonosov Moscow State University Moscow Russia Yandex Cloud Moscow Russia

ISBN: (纸本)9798350349993

Numeric truncation is a widely spread error in software written in languages with static data typing, such as C/C++ or Java. It occurs when the significant bits of the value with a bigger type size are truncated during value conversion to the smaller type. Utilizing one of the most powerful methods for path exploration and automated bug detection called dynamic symbolic execution (DSE), we propose the symbolic security predicate for numeric truncation error detection, developed on top of DSE tool Sydr. Firstly, we execute the program on the data, which does not lead to any errors. During program execution we update symbolic shadow stack and shadow registers to track symbolic sizes of the symbolic variables to avoid false positives. Then, if we meet the instruction, which truncates the symbolic variable, we build the security predicate, try to solve it with the SMT-solver and in case of success save new input file to reproduce the error. We tested our approach on Juliet Dynamic test suite for CWE-197 and achieved 100% accuracy. We approved the workability of our approach by detecting 12 new errors of numeric truncation in 5 different real-world open source projects within OSS-Sydr-Fuzz project. All of the errors were reported, most of the reports were equipped with appropriate fixes, successfully confirmed and applied by project maintainers. © 2023 IEEE.

关键词： Error detection

来源：评论

学校读者我要写书评

暂无评论

Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments 2

Training Policy for Privacy-Preserving Logistic Regression i...

引用

2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024

作者： Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9798350354812

Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%. ©2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Halocline Internal Wave Attractors Visualization

Scientific Visualization

引用

Scientific Visualization 2024年第50期16卷 82-94页

作者： Elistratov, Stepan A Shirshov Institute of Oceanology of RAS Russia B Ivannikov Institute for System Programming of RAS Russia C Sobolev Institute of Mathematics the Siberian Branch of the RAS Russia

The phenomenon of wave attractor, originating from ocean dynamics, in the last couple decades has become widely-studied both laboratorily and numerically. However, their discoveries in wild nature are still rare hence deepwater ones are out of technique, and attractor in smaller basins cannot form because of energy overinjection. In the current work we show that attractor may exist in shallower depths regardless the depth of the basin’s bottom. Basing on the peculiar dispersion relation typical for stratified fluid attractors can be"trapped" in a narrow halocline layer which may facilitate their detection in the nature. Additionally, we discuss the formed flow structure visualization problems. © 2024 National Research Nuclear University. All rights reserved.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Research on automatic generation of fuzz-target for software library functions

Research on automatic generation of fuzz-target for software...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Tran, Chi Thien Ponomarev, Dmitry Kuznhesov, Andrey Programming of the Ras Ivannikov Institute for System Moscow Russia Llc 'Fobos-nt' Moscow Russia

ISBN: (纸本)9798350398533

To avoid re-development, software libraries are widely used. However, the automated testing of software libraries remains challenging. This article focuses on the use of fuzzing technology and automatic code generation for testing software libraries. Since late of 2020, the instrument Futag [1] - Fuzz-targets automatic generator for software libraries - has been developed in Ivannikov institute for system programming of Russian academy of science. The instrument gathers data on the building process, generates the fuzz-targets for library functions, and performs static analysis to find entity dependencies in library source code. As result, Futag has found bugs in software libraries such as libpng, tinyxml2, libpq-standalone, etc. © 2022 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Strong Optimistic Solving for Dynamic Symbolic Execution

Strong Optimistic Solving for Dynamic Symbolic Execution

引用

2022 Ivannikov Memorial Workshop, IVMEM 2022

作者： Parygina, Darya Vishnyakov, Alexey Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert the branches along some execution path and help fuzzer examine previously unavailable program parts. DSE often faces over-and underconstraint problems. The first one leads to significant analysis complication while the second one causes inaccurate symbolic *** propose strong optimistic solving method that eliminates irrelevant path predicate constraints for target branch inversion. We eliminate such symbolic constraints that the target branch is not control dependent on. Moreover, we separately handle symbolic branches that have nested control transfer instructions that pass control beyond the parent branch scope, e.g. return, goto, break, etc. We implement the proposed method in our dynamic symbolic execution tool *** evaluate the strong optimistic strategy, the optimistic strategy that contains only the last constraint negation, and their combination. The results show that the strategies combination helps increase either the code coverage or the average number of correctly inverted branches per one minute. It is optimal to apply both strategies together in contrast with other configurations. © 2022 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

Interprocedural static analysis for Go with closure support

Interprocedural static analysis for Go with closure support

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Borodin, Alexey Dvortsova, Varvara Volkov, Alexander Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798350398533

We present an interprocedural static analysis to detect errors in the Go source code. The analysis supports most of the language features, while the main focus of the paper is closures and defer statements. The analysis we have developed demonstrates good scalability and performance. It is able to analyze a project of 1.1 million lines in 12 minutes. © 2022 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Devirtualization for static analysis with low level intermediate representation

Devirtualization for static analysis with low level intermed...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Galustov, Artemiy Borodin, Alexey Belevantsev, Andrey Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798350398533

We propose a points-to analysis that can recover targets for function pointer calls, virtual calls and method calls for using in a static analysis. We use a flow-insensitive analysis, and the analysis results are intended for flow- and path-sensitive analysis which can improve the initial analysis precision within a single function. We implemented the proposed approach in a static analyzer for finding errors in C, C++, Go, Java and Kotlin programs. The devirtualization algorithm is fast enough and spends less than 6% of the total analysis time. It can work for projects like Tizen 7 with 27.5 MLoc of source code. © 2022 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：