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

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Tianyuan Wang Hongda Shi Qin Zhang Bo Yang Xin Liu Kraposhin Matvey College of Engineering Ocean University of China Qingdao China Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The paper attempts to apply the Proper Orthogonal Decomposition (POD) and Dynamic Mode Decomposition (DMD) to the ducted propeller wake analysis. The ducted propeller produces a complex wake flow field with multifrequency vortex structure coupling under the influence between blades and nozzle. Traditional analysis methods such as time-averaged flow, phase-averaged flow are only displaying the coupling results. In contrast, data mining technologies such as POD and DMD can extract independent flow patterns from the massive data obtained from physical experiments and numerical simulations. The paper focuses on the influence of computational subdomain (based on the OpenFOAM), snapshot sampling interval and data coverage revolutions on the modal convergence in the data preprocessing before employing POD and DMD. Taking a single ducted propeller wake data with the advance coefficient of J=0.4 as an example, it is found that the sampling interval of snapshots are independent of modal convergence after reaching a certain level and only affect the frequency range of the captured modes. The scope of the computational subdomain and the revolutions of data covered by snapshot matrix are vital factors to affect the modal convergence. At last, under the premise of modal convergence, the paper reconstructs the ducted propeller wake flow field by POD and DMD respectively, where errors between the original data can be ignored.

关键词： Couplings Propellers Blades Data preprocessing Numerical simulation Data mining Convergence

来源：评论

学校读者我要写书评

暂无评论

Test Derivation against Timed Finite State Machines with Output Timed Guards

Test Derivation against Timed Finite State Machines with Out...

引用

International Russian Automation Conference (RusAutoCon)

作者： Aleksandr Tvardovskii Nina Yevtushenko National Research Tomsk State University Tomsk Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

Approaches based on state machines are widely used to obtain guaranteed error coverage tests for discrete event systems. Many modern systems have time-dependent components, and thus, state machines are extended with clock variables and various time aspects, i.e. test synthesis methods must be adapted to new timed models. In this article, we consider Finite State Machines (FSM) with timeouts, input and output timed guards and show, how a test suite with guaranteed error coverage can be derived based on this model. The fault model and test derivation methods are based on the abstraction of the timed machine, i.e., on the FSM that describes the relevant aspects of the timed behavior. We consider two strategies for obtaining complete test suites under the assumption that the specification can be non-deterministic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle

arXiv

引用

arXiv 2022年

作者： Vishnyakov, Alexey Kuts, Daniil Logunova, Vlada Parygina, Darya Kobrin, Eli Savidov, Georgy Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Russia Moscow Institute of Physics and Technology Moscow Russia

Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated bug detection based on hybrid fuzzing. We implement the proposed pipeline in the continuous fuzzing toolset Sydr-Fuzz which is powered by hybrid fuzzing orchestrator, integrating our DSE tool Sydr with libFuzzer and AFL++. Sydr-Fuzz also incorporates security predicate checkers, crash triaging tool Casr, and utilities for corpus minimization and coverage gathering. The benchmarking of our hybrid fuzzer against alternative state-of-the-art solutions demonstrates its superiority over coverage-guided fuzzers while remaining on the same level with advanced hybrid fuzzers. Furthermore, we approve the relevance of our approach by discovering 85 new real-world software flaws within the OSS-Sydr-Fuzz project. Finally, we open Casr source code to the community to facilitate examination of the existing crashes. © 2022, CC BY-NC-ND.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Using Ansible as Part of TOSCA Orchestrator

Using Ansible as Part of TOSCA Orchestrator

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Valeriya Shvetcova Oleg Borisenko Maxim Polischuk Ivannikov Institute for System Programming of the RAS Moscow Russia Bauman Moscow State Technical University Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

Cloud computing is used in many areas and by many specialists to ease application distribution and deployment. Cloud providers basically aim at providing resources varying from others. So it becomes very difficult to deploy multicloud applications or move to the cloud from own hardware clusters. TOSCA standard offers cloud resources model that unifies many cloud providers. In this paper we propose TOSCA orchestrator Clouni. Clouni takes TOSCA templates from the user and generates Ansible playbooks. Ansible is then used as a configuration tool for deployment automation. Clouni makes it easy for cloud users to deploy complex topologies.

关键词： Cloud computing Automation Tools Topology Network function virtualization Software defined networking Standards

来源：评论

学校读者我要写书评

暂无评论

Computationally secure threshold secret sharing scheme with minimal redundancy 2

Computationally secure threshold secret sharing scheme with ...

引用

2nd International Workshop on Information, Computation, and Control systems for Distributed Environments, ICCS-DE 2020

作者： Babenko, M. Tchernykh, A. Golimblevskaia, E. Hung, Nguyen Viet Chaurasiya, V.K. North-Caucasus Federal University Stavropol Russia CICESE Research Center Ensenada BC Mexico South Ural State University Chelyabinsk Russia Ivannikov Institute for System Programming Moscow Russia LeQuyDon Technical University Hanoi Viet Nam Indian Institute of Information Technology Allahabad India

When designing and using distributed storage systems with cloud technology, the security issues become crucial. One of the promising mechanisms is the computationally secure threshold secret sharing scheme. We propose a computationally secure secret sharing scheme based on the minimally redundant modular code. It reduces the computational complexity of data encoding and decoding and reduce data redundancy. We show that it is computationally secure and provides data redundancy equivalent to the redundancy of the Rabin system. We demonstrate that the minimally redundant modular code does not satisfy the criterion of compactness of a sequence, but it can be used as an asymptotically ideal secret sharing scheme. Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Redundancy

来源：评论

学校读者我要写书评

暂无评论

LLVM-based code clone detection framework

LLVM-based code clone detection framework

引用

International Conference on Computer Science and Information Technology (CSIT)

作者： Arutyun Avetisyan Shamil Kurmangaleev Sevak Sargsyan Mariam Arutunian Andrey Belevantsev Institut sistemnogo programmirovania RAN Moskva RU Institute for System Programming of the Russian Academy of Sciences Moscow Russia

Existed methods of code clones detection have some restrictions. Textual and lexical approaches cannot detect strongly modified fragments of code. Syntactic and metrics based approaches detect strong modifications with low accuracy. On the contrary, semantic approach accurately detects the cloned fragments of code with small changes as well as the strongly modified ones. Methods based on this approach are not scalable for analysis of large projects. This paper describes LLVM-based code clone detection framework, which uses program semantic analysis. It has high accuracy and is scalable for analysis million lines of source code. The tool embeds a testing system, which allows generating code clones for the project automatically. It is used for determining the developed algorithms accuracy. The instrument is applicable for all languages that can be compiled to LLVM bitcode. Proposed method was compared with two widely used tools MOSS and CloneDR. Results show that it has higher accuracy. The tool is scalable for analysis of Linux-2.6 kernel, which has about fourteen millions lines of source code.

关键词： Cloning Approximation algorithms Semantics Measurement Image edge detection Clustering algorithms Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Method with Batching for Stochastic Finite-Sum Variational Inequalities in Non-Euclidean Setting

arXiv

引用

arXiv 2024年

作者： Pichugin, Alexander Pechin, Maksim Beznosikov, Aleksandr Novitskii, Vasilii Gasnikov, Alexander Moscow Institute of Physics and Technology Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Innopolis University Innopolis Russia

Variational inequalities are a universal optimization paradigm that incorporate classical minimization and saddle point problems. Nowadays more and more tasks require to consider stochastic formulations of optimization problems. In this paper, we present an analysis of a method that gives optimal convergence estimates for monotone stochastic finite-sum variational inequalities. In contrast to the previous works, our method supports batching, does not lose the oracle complexity optimality and uses an arbitrary Bregman distance to take into account geometry of the problem. Paper provides experimental confirmation to algorithm’s effectiveness. Copyright © 2024, The Authors. All rights reserved.

关键词： Optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

The multifractal analysis in Geophysical Flows. In memory of Prof. Jose Manuel Redondo Apraiz

The multifractal analysis in Geophysical Flows. In memory of...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Jackson Tellez-Alvarez Sergei V. Strijhak FLUMEN Research Institute Technical University of Catalonia Barcelona Spain Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

This paper describes the multifractal methodology for analysis of different geophysical flows such as vertical plumes in water, wakes behind 3D Sparse grid turbulence generators in wind tunnel, wakes behind wind turbines and vortices in the Atmospheric Boundary Layer. A brief description of Kolmogorov K41, K62 theory of turbulence, the energy spectra, the structure function is given. The estimation of the fractal dimension was made using the ImaCalc Software for different cases with geophysical flows. The advantage of this method is that we can estimate the fractal dimension using the numerical results of different open source solvers in OpenFOAM library. The calculated spectra are presented from the ImaCalc program. Furthermore, this paper dedicates to the memory of Prof. Jose Manuel Redondo Apraiz (1956-2020) who worked in UPC, Barcelona, Spain and was a leader of the SIG 14 “Stably Stratified and Rotating Turbulence” in ERCOFTAC.

关键词： Three-dimensional displays Wind tunnels Fractals Libraries Software Generators Wind turbines

来源：评论

学校读者我要写书评

暂无评论

IoT-Based system for Crop Forecasting: Design and Implementation 3

IoT-Based System for Crop Forecasting: Design and Implementa...

引用

3rd IEEE International Conference on Electronic Engineering, ICEEM 2023

作者： Sameh, Basant Atef, Menna Makarovskikh, Tatiana Abotaleb, Mostafa Maksimova, Valentina Dernova, Olga El-Kenawy, El-Sayed M. Delta Higher Institute Department of Communications Mansoura Egypt Delta Higher Institute Department of Civil Engineering Mansoura Egypt South Ural State University Dep. of System Programming Chelyabinsk Russia South Ural State University Dep. of Information and Analytical Support Chelyabinsk Russia

ISBN: (纸本)9798350323511

In this paper, we discuss the design of a system for crop forecasting. Despite the presence of a fairly large number of software products for precision farming on the market, many of the existing developments, on the one hand, are not intended to provide data for further analysis by specialists who are not employees of the developer company, and on the other hand, do not ensure food security of the Russian Federation. We have designed a system for the acquisition and subsequent analysis of aerial photographic data. The paper describes the method of presenting data, the process of calculating vegetation indices for a certain date, and provides approaches to modeling the vegetation process using high-quality determinate mathematical models and predicting the yield of a field in the next season, and the cost of this crop. We discuss the opportunities of our system and show the ways of further increasing its quality. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：