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

Exact solutions of boundary integral equation arising in vortex methods for incompressible flow simulation around elliptical and Zhukovsky airfoils 10

Exact solutions of boundary integral equation arising in vor...

引用

10th All-Russian Conference on Irreversible Processes in Nature and Technology

作者： Kuzmina, Kseniia Marchevsky, Ilia Ryatina, Evgeniya Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia

The problem of 2D incompressible flow simulation around airfoils using vortex methods is considered. An exact solution for the boundary integral equation with respect to a free vortex sheet intensity at the airfoil surface line that arises in such problems is obtained. The exact solution is constructed for flows around elliptical and Zhukovsky airfoils using the theory of complex potentials and conformal mappings technique. It is possible to take into account the influence of singularities in the flow domain-point vortices which simulate vortex wake. The obtained exact solutions can be used to verify and estimate the accuracy of numerical schemes for the boundary integral equation solution: such procedure is also described in details. © Published under licence by IOP Publishing Ltd.

关键词： Airfoils

来源：评论

学校读者我要写书评

暂无评论

Adaptation of the TOSCA standard model for the Kubernetes container environment

Adaptation of the TOSCA standard model for the Kubernetes co...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Alexandra Borisova Valeriya Shvetcova Oleg Borisenko Higher School of Economics Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781728190884

ISBN: (纸本)9781728190891

The main difference between container-based and virtualization-based cloud environments is the way of the virtualization methods for OS and auxiliary resources. Software applications can be both deployed in a cloud on virtual machines or in local data centres on physical machines. Containers are based on OS-level virtualization. So, container applications can be deployed on a virtual machine in the cloud too. To deal with the growth of various, but functionally similar cloud environments, the TOSCA [1] (Topology and Orchestration for Cloud Applications) standard was created. It allows to describe deployment resources in a TOSCA Domain-specific language that does not depend on the provider. Kubernetes [8] is an open-source system for deployment automation, scaling, and management of containerized applications. TOSCA standard was created to describe cloud applications, but the model may be suitable for describing container applications that Kubernetes orchestrate. This paper considers Kubernetes as a cloud provider and examines the applicability of the TOSCA standard for unifying deployment and orchestration not only of resources provided by virtualization-based clouds but also of containerized ones.

关键词： Cloud computing Adaptation models Containers Virtual machining Topology Virtualization Standards

来源：评论

学校读者我要写书评

暂无评论

A Study of Graph Neural Networks for Link Prediction on Vulnerability to Membership Attacks

引用

Journal of Mathematical Sciences (United States) 2024年第2期285卷 234-244页

作者： Shaikhelislamov, D. Lukyanov, K. Severin, N. Drobyshevskiy, M. Makarov, I. Turdakov, D. Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russian Federation Moscow Institute of Physics and Technology (National Research University) Moscow Russian Federation HSE University Moscow Russian Federation ISP RAS Research Center for Trusted Artificial Intelligence Moscow Russian Federation

Graph neural networks (GNNs) have shown great promise in a variety of tasks involving graph data, including recommendation systems. However, as GNNs become more widely adopted in practical applications, concerns have arisen about their vulnerability to adversarial attacks. These attacks can lead to biased recommendations, potentially causing economic losses and safety risks. In this work, we consider an industrial application of recommendation systems for transport logistics and study their vulnerability to membership inference attacks. The dataset represents real train flows in Russia, published in the ETIS project. Experiments with three popular GNN architectures show that all of them can be successfully attacked even when the adversary has minimal background knowledge. Specifically, an attacker with access to only 1-2% of the actual data can successfully train their own GNN model to infer the membership of a shipper-consignee association in the training set with an accuracy over 94%. Our study also confirms that overfitting is the primary factor that influences the attack performance of recommendation systems. © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2024.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Crash Report Accumulation During Continuous Fuzzing

Crash Report Accumulation During Continuous Fuzzing

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Ilya Yegorov Georgy Savidov Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

Crash report accumulation is a necessary step during continuous fuzzing. Dynamic software analysis techniques like fuzzing and dynamic symbolic execution generate a large number of crashes for analysis. However, the time and resource constraints often lead to the postponement of fixing some less critical issues, potentially introducing new errors in future releases. Thus, there is a need to distinguish new errors from old ones. We propose a crash accumulation method and implemented it as part of the CASR toolset. We evaluated our approach on crash reports collected from fuzzing results.

关键词： Conferences Fuzzing Computer crashes Software Time factors Computer security Software development management

来源：评论

学校读者我要写书评

暂无评论

On CPU and GPU parallelization of VM2D code for 2D flows simulation using vortex method 6

On CPU and GPU parallelization of VM2D code for 2D flows sim...

引用

6th ECCOMAS European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th ECCOMAS European Conference on Computational Fluid Dynamics, ECFD 2018

作者： Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia

ISBN: (纸本)9788494731167

VM2D is an open-source software being developed by the authors for two-dimensional incompressible flows simulations around airfoils. VM2D is based on meshless Lagrangian vortex methods. The main operations of the algorithm are pointed out, and the estimations of their computational complexity are given. Two model problems with different parameters are considered in order to analyze the ratio between computational complexities of the operations. Parallel algorithms are implemented for all time-consuming operations to perform the simulations on CPU and GPU. Test problems show that VM2D is efficiently parallelized;the accelerations achieved on GPUs are comparable to acceleration on hundreds and even thousands of CPU cores. copyright © Crown copyright (2018).All right reserved.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Chi Thien Tran Dmitry Ponomarev Andrey Kuznhesov Ivannikov Institute for System Programming of the RAS Moscow Russia LLC “Fobos-NT” Moscow Russia

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.

关键词： Software libraries Codes Instruments Source coding Static analysis Fuzzing programming

来源：评论

学校读者我要写书评

暂无评论

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing

arXiv

引用

arXiv 2024年

作者： Parygina, Darya Mezhuev, Timofey Kuts, Daniil Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

Directed fuzzing performs best for targeted program testing via estimating the impact of each input in reaching predefined program points. But due to insufficient analysis of the program structure and lack of flexibility and configurability it can lose efficiency. In this paper, we enhance directed fuzzing with context weights for graph nodes and resolve indirect edges during call graph construction. We construct flexible tool for directed fuzzing with components able to be easily combined with other techniques. We implement proposed method in three separate modules: DiFuzzLLVM library for graph construction and indirect calls resolving, DiFuzz static analysis tool for processing program graphs and computing proximity metrics, and LibAFL-DiFuzz directed fuzzer based on LibAFL fuzzing library. We create additional LibAFL modules for enabling custom power scheduling and static instrumentation. We evaluate indirect calls resolving and get increase in directed fuzzing efficiency for reaching deeper target points. We evaluate context weights contribution and get benefits in TTE and scheduling iterations number. We evaluate our fuzzer in comparison with AFLGo and BEACON, and reveal speedup in time to exposure on several benchmarks. Furthermore, our tool implements some important usability features that are not available in mentioned tools: target points detection, multiple target points support, etc. © 2024, CC BY-NC-ND.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Crash Report Accumulation During Continuous Fuzzing

arXiv

引用

arXiv 2024年

作者： Yegorov, Ilya Savidov, Georgy Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

Crash report accumulation is a necessary step during continuous fuzzing. Dynamic software analysis techniques like fuzzing and dynamic symbolic execution generate a large number of crashes for analysis. However, the time and resource constraints often lead to the postponement of fixing some less critical issues, potentially introducing new errors in future releases. Thus, there is a need to distinguish new errors from old ones. We propose a crash accumulation method and implemented it as part of the CASR [1] toolset. We evaluated our approach on crash reports collected from fuzzing results. © 2024, CC BY-NC-ND.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Open Source Code for 2D Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods

Open Source Code for 2D Incompressible Flow Simulation by Us...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Kseniia S. Kuzmina Ilia K. Marchevsky Evgeniya P. Ryatina Bauman Moscow State Technical University Ivannikov Institute for System Programming of RAS Moscow Russia

Open Source C++ code is developed for 2D incompressible flow simulation by using vortex methods. The code has modular structure, it permits users to simulate flow around airfoils (as well as around system of airfoils) and compute unsteady hydrodynamic loads acting the airfoils. It is also possible to simulate hydroelastic regimes of airfoil motion in the flow by using weakly coupled and strongly coupled algorithms. Well known vortex methods algorithms as well as original numerical schemes developed by authors are implemented, which makes it possible to raise the accuracy of simulation significantly in comparison to traditional algorithms of vortex methods. It is possible to run simulations in parallel mode, OpenMP and MPI technologies are supported. The source code of VM2D is available on GitHub under GNU GPL license (https://***/vortexmethods/VM2D).

关键词： Automotive components Atmospheric modeling Mathematical model Numerical models Two dimensional displays Computational modeling Load modeling

来源：评论

学校读者我要写书评

暂无评论

Strong Optimistic Solving for Dynamic Symbolic Execution

arXiv

引用

arXiv 2022年

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

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 execution. We 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 Sydr. We 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, CC BY-NC-ND.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：