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

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.

关键词： Wave attractor Bottom shape Viscosity CFD Nek5000

来源：评论

学校读者我要写书评

暂无评论

MODEL MIMIC ATTACK: KNOWLEDGE DISTILLATION FOR PROVABLY TRANSFERABLE ADVERSARIAL EXAMPLES

arXiv

引用

arXiv 2024年

作者： Lukyanov, Kirill Perminov, Andrew Turdakov, Denis Pautov, Mikhail Moscow Russia Research Center for Trusted Artificial Intelligence Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia AIRI Research Center for Trusted Artificial Intelligence Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia

The vulnerability of artificial neural networks to adversarial perturbations in the black-box setting is widely studied in the literature. The majority of attack methods to construct these perturbations suffer from an impractically large number of queries required to find an adversarial example. In this work, we focus on knowledge distillation as an approach to conduct transfer-based black-box adversarial attacks and propose an iterative training of the surrogate model on an expanding dataset. This work is the first, to our knowledge, to provide provable guarantees on the success of knowledge distillation-based attack on classification neural networks: we prove that if the student model has enough learning capabilities, the attack on the teacher model is guaranteed to be found within the finite number of distillation iterations. © 2024, CC BY.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Advanced Grammar-Based Fuzzing

Advanced Grammar-Based Fuzzing

引用

2022 ivannikov Memorial Workshop, IVMEM 2022

作者： Sargsyan, Sevak Hakobyan, Jivan Mehrabyan, Matevos Mkoyan, Ruslan Sahakyan, Vardan Melkonyan, Vahagn Arutunian, Mariam Fahradyan, Arman Avetisyan, Arutyun Russian-Armenian University Center of Advanced Software Technologies Yerevan Armenia Programming of the RAS Ivannikov Institute for System Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

This article presents novel method for efficient fuzzing of programs accepting complex structured data. It generates input data based on formal grammar description. Data generator is periodically autoconfigured based on target programs code coverage. It means that the type of generated programs is dynamically changed to increase code coverage. Data generator uses descriptions of BNF (Backus-Naur Form) rules in ANTLR (ANother Tool for Language Recognition) platform. More than 250 languages and data formats are supported. Every rule of grammar is designed as universal pushdown automata, which allows automatically generate BNF compatible data by traversing automata. We added weights for each transition of automata to provide priority of highly efficient paths (sequence of transitions). These weights are automatically changed by fuzzing engine, which provides data generator adaptation based on the coverage of the target programs. According to experimental results, we were able to increase code coverage significantly for several widely used programs including compilers. © 2022 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Multi-Record Web Page Information Extraction From News Websites

arXiv

引用

arXiv 2025年

作者： Kustenkov, Alexander Varlamov, Maksim Yatskov, Alexander Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia

In this paper, we focused on the problem of extracting information from web pages containing many records, a task of growing importance in the era of massive web data. Recently, the development of neural network methods has improved the quality of information extraction from web pages. Nevertheless, most of the research and datasets are aimed at studying detailed pages. This has left multi-record"list pages" relatively understudied, despite their widespread presence and practical significance. To address this gap, we created a large-scale, open-access dataset specifically designed for list pages. This is the first dataset for this task in the Russian language. Our dataset contains 13,120 web pages with news lists, significantly exceeding existing datasets in both scale and complexity. Our dataset contains attributes of various types, including optional and multi-valued, providing a realistic representation of real-world list pages. These features make our dataset a valuable resource for studying information extraction from pages containing many records. Furthermore, we proposed our own multi-stage information extraction methods. In this work, we explore and demonstrate several strategies for applying MarkupLM to the specific challenges of multi-record web pages. Our experiments validate the advantages of our methods. By releasing our dataset to the public1, we aim to advance the field of information extraction from multi-record pages. © 2025, CC BY-NC-ND.

关键词： Data collection

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive Approach to Finding Resource Leaks via Static Analysis

A Comprehensive Approach to Finding Resource Leaks via Stati...

引用

ivannikov ISPRAS Open Conference (ISPRAS)

作者： Nikita Malyshev Alexey Borodin Andrey Belevantsev Ivannikov Institute for System Programming of the RAS Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (数字)9798331526023

ISBN: (纸本)9798331526030

In the last 15 years many dedicated leak detection tools utilizing novel approaches were designed. Unfortunately, most of them are hard to implement and fully utilize in the scope of a multi-purpose industrial analyzer. In this paper we present a full-fledged approach to static analysis through the lens of resource leak detection. We show how general analysis architecture without much of a focus for specific defects can still be effective at finding leaks both in terms of performance and number of warnings. We briefly describe an overall structure of the Svace static analyzer and how it achieves context and path sensitivities as well as interprocedurality, while allowing for checking many program properties and being highly extensible. We also show how to use this system to implement leak detection algorithm with including a few unique extensions that we have never seen in other instruments. Our test results show a low false positive rate, relatively good performance for a multi-detector static analyzer and great scalability potential both in terms of adding new algorithms and analyzing millions of lines of code.

关键词： Codes Sensitivity Instruments Source coding Scalability Merging Memory management Static analysis Libraries Leak detection

来源：评论

学校读者我要写书评

暂无评论

UEFI virtual machine firmware hardening through snapshots and attack surface reduction

UEFI virtual machine firmware hardening through snapshots an...

引用

2021 ivannikov Ispras Open Conference, ISPRAS 2021

作者： Krichanov, Mikhail Cheptsov, Vitaly Ivannikov Institute For System Programming Of The Russian Academy Of Sciences Moscow Russia

ISBN: (纸本)9781665423304

The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the oper-ating system used in all x86-based platforms over the past ten years. A side effect of the transition from conventional BIOS implementations to more complex and flexible implementations based on the UEFI was that it became easier for the malware to target BIOS in a widespread fashion, as these BIOS implementations are based on a common specification. This paper introduces Amaranth project - a solution to some of the contemporary security issues related to UEFI firmware. In this work we focused our attention on virtual machines as it allowed us to simplify the development of secure UEFI firmware. Security hardening of our firmware is achieved through several techniques, the most important of which are an operating system integrity checking mechanism (through snapshots) and overall firmware size reduction. © 2021 IEEE.

关键词： Firmware

来源：评论

学校读者我要写书评

暂无评论

Specializing PostgreSQL Expression Interpreter with Code Annotations

Specializing PostgreSQL Expression Interpreter with Code Ann...

引用

2021 ivannikov Ispras Open Conference, ISPRAS 2021

作者： Sharygin, Eugene Pantilimonov, Michael Buchatskiy, Ruben Ivannikov Institute For System Programming Of The Russian Academy Of Sciences Moscow Russia

ISBN: (纸本)9781665423304

Vast majority of execution engines are first im-plemented as interpreters. Once they reach maturity and gain audience authors strive to improve performance by utilizing static or JIT compilation techniques. The latter helps to achieve the goal but at the expense of increased maintenance costs as source code splits into two loosely connected components. One solution to this problem is a program specialization method that utilizes existing interpreter's code and semi-automatically generates a compiler. In this paper we apply program specialization to the in-terpreter of the language of SQL expressions in PostgreSQL and show how the results compare against both the original interpreter and the built-in LLVM-based just-in-time compiler. © 2021 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

LingvoDoc: Phonology Option Features (Using theExample of the Forest Nenets Languages)

LingvoDoc: Phonology Option Features (Using theExample of th...

引用

ivannikov ISPRAS Open Conference (ISPRAS)

作者： Natalia Koshelyuk Linguistic Platforms Laboratory Ivannikov Institute for System Programming of the RAS Moscow Russia

The article presents the results of a study of the field material of the Purovsky dialect of the Forest Nenets language. His experimental phonological analysis was conducted using the LingvoDoc data processing algorithms. A comparison of the vowel sound system obtained as a result of this analysis with other phonetic systems of the Forest Nenets language proposed by linguists of the XX-XXI centuries, and its four separate native speakers, allowed us to conclude that this dialect is unique and further research is necessary, taking into account data on contact languages for the Forest Nenets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Boundary integral equation solving in vortex method using the Barnes-Hut/multipole algorithm

Boundary integral equation solving in vortex method using th...

引用

2022 ivannikov Open Conference, ISPRAS 2022

作者： Ryatina, Evgeniya Marchevsky, Ilia Kolganova, Alexandra Bauman Moscow State Technical University Moscow Russia Ivannikov Institute for System Programming of Ras Bauman Moscow State Technical University Moscow Russia

ISBN: (纸本)9798350398533

The problem of efficient solution of the boundary integral equation arising at each time step in problems of 2D outer flow simulation by using the Vortex Particle Method is considered. It is necessary to develop an efficient approach to the corresponding linear system solving with the dense and non-symmetric matrix. For this purpose, an adaptation of the Barnes-Hut-based fast method, which has been initially developed for vortex particles velocities calculation, is suggested. The proposed modification is applied to the second-order numerical scheme with piecewise-linear solution representation since it allows considering vorticity distribution over far-placed panels, and performing integration of the local expansion coefficients over control panels that provides the satisfaction of the boundary condition in Galerkin sense. Besides the speedup effect, it does not require full matrix computation and storage, thus only about 1 % of matrix coefficients should be stored, which are calculated directly. © 2022 IEEE.

关键词： Piecewise linear techniques

来源：评论

学校读者我要写书评

暂无评论

Micro-Workflows Data Stream Processing Model for Industrial Internet of Things

Supercomputing Frontiers and Innovations

引用

Supercomputing Frontiers and Innovations 2021年第1期8卷 82-98页

作者： Alaasam, Ameer B.A. Radchenko, Gleb I. Tchernykh, Andrei N. South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico Ivannikov Institute for System Programming of the RAS Russia

The fog computing paradigm has become prominent in stream processing for IoT systems where cloud computing struggles from high latency challenges. It enables the deployment of computational resources between the edge and cloud layers and helps to resolve constraints, primarily due to the need to react in real-time to state changes, improve the locality of data storage, and overcome external communication channels’ limitations. There is an urgent need for tools and platforms to model, implement, manage, and monitor complex fog computing workflows. Traditional scientific workflow management systems (SWMSs) provide modularity and flexibility to design, execute, and monitor complex computational workflows used in smart industry applications. However, they are mainly focused on batch execution of jobs consisting of tightly coupled tasks. Integrating data streams into SWMSs of IoT systems is challenging. We proposed a microworkflow model to redesign the monolith architecture of workflow systems into a set of smaller and independent workflows that support stream processing. Micro-workflow is an independent data stream processing service that can be deployed on different layers of the fog computing environment. To validate the feasibility and practicability of the micro-workflow refactoring, we provide intensive experimental analysis evaluating the interval between sensor messages, the time interval required to create a message, between sending sensor message and receiving the message in SWMS, including data serialization, network latency, etc. We show that the proposed decoupling support of the independence of implementation, execution, development, maintenance, and cross-platform deployment, where each micro-workflow becomes a standalone computational unit, is a suitable mechanism for IoT stream processing. © The Authors 2021. This paper is published with open access at ***.

关键词： Fog computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：