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

Development of a new solver for homogenous mixture based on regularized gas dynamic equation system

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS 2025年第1期97卷 1-19页

作者： Epikhin, Andrey But, Ivan RAS Ivannikov Inst Syst Programming Moscow Russia RAS Keldysh Inst Appl Math Moscow Ctr Fundamental & Appl Math Moscow Russia

The paper presents an improved approach for modeling multicomponent gas mixtures based on quasi-gasdynamic equations. The proposed numerical algorithm is implemented as a reactingQGDFoam solver based on the open-source OpenFOAM platform. The following problems have been considered for validation: the Riemann problems, the backward facing step problem, the interaction of a shock wave with a heavy and a light gas bubble, the unsteady underexpanded hydrogen jet flow in an air. The stability and convergence parameters of the proposed numerical algorithm are determined. The simulation results are found to be in agreement with analytical solutions and experimental data. The paper presents an improved approach for modelling multi-component gas mixtures based on quasi-gasdynamic equations. The proposed numerical algorithm is implemented as a reactingQGDFoam solver based on the open-source OpenFOAM platform. This solver has been extensively validated and verified through a variety of well-described test problems. The stability and convergence parameters of the proposed numerical algorithm are determined. The simulation results are found to be in agreement with analytical solutions and experimental data. image

关键词： compressible flows jets multicomponent gases OpenFOAM quasi-gas dynamic equations

来源：评论

学校读者我要写书评

暂无评论

Wave attractor in basin with underwater step: from discrete to continuous energy spectrum

引用

INDIAN JOURNAL OF PHYSICS 2025年 1-3页

作者： Elistratov, Stepan A. But, Ivan I. RAS Shirshov Inst Oceanol Moscow 117218 Russia RAS Ivannikov Inst Syst Programming Moscow 109004 Russia

Wave attractor, a phenomenon of internal/inertial wave self-focusing in a stratified/rotating fluid in non-trivial geometry, leads to the rapid turbulence development due to the energy accumulation on a limited area. It was believed until now that instability in a wave attractor should develop in the Triadic Resonance instability way. In this work it is shown that in a specific geometry, close to real water basins geometries, the instability behaviour can sufficiently differ from that observed in a trapezoid setup.

关键词： Wave attractor Internal wave instability CFD

来源：评论

学校读者我要写书评

暂无评论

Cryptographic protocol conformance testing based on domain-specific state machine

引用

JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES 2024年第2期20卷 249-259页

作者： Prokopev, Sergey RAS Ivannikov Inst Syst Programming Moscow Russia JSC NPK Kryptonite Moscow Russia

We present a method of conformance testing of the cryptographic protocol implementations that ensures a high degree of automation of the testing process and provides criteria for the quality assessment of the generated test suites. Our method is based on a kind of extended (non-finite) state machine which is specifically designed for the domain of cryptographic protocols. The key concept of the proposed machine is a built-in mechanism of sequences, which, firstly, sets an effective way to deal with the nondeterminism inherent in cryptographic protocols and, secondly, provides the means to express "inconvenient" (for the high-level declarative languages) requirements, such as e.g. "take the concatenation of the specified parts of all the previous messages which meet specified condition". Basing on this machine, we propose a high-level declarative language (embedded in Haskell) intended for development of interoperable protocol specifications used as input data for our testing tool. The protocol specification consists of two parts: a description of the structure of the protocol messages (this part, by virtue of its conciseness and declarativeness, can be directly incorporated in the primary specifications such as RFC) and a set of state machine transition functions binded to the sequences. In the paper, we present the principles of building of our machine and introduce the notion of sequences fuzzing. The proposed approach was successfully approved for the industrial cryptographic protocol TLS.

关键词： Model-based testing Cryptographic protocol conformance testing Domain-specific state machine DSL embedded in Haskell Sequences fuzzing

来源：评论

学校读者我要写书评

暂无评论

Method with batching for stochastic finite-sum variational inequalities in non-Euclidean setting

引用

CHAOS SOLITONS & FRACTALS 2024年 187卷

作者： Pichugin, Alexander Pechin, Maksim Beznosikov, Aleksandr Novitskii, Vasilii Gasnikov, Alexander Moscow Inst Phys & Technol Moscow Russia RAS Ivannikov Inst Syst Programming Moscow Russia Innopolis Univ 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.

关键词： Stochastic optimization Variational inequalities Finite-sum problems Batching Bregman distance

来源：评论

学校读者我要写书评

暂无评论

Towards the Salinity Profile Influence on an Internal Wave Attractor Formation

引用

WATER WAVES 2024年第2期6卷 333-348页

作者： Elistratov, Stepan But, Ivan RAS Shirshov Inst Oceanol Moscow Russia RAS Ivannikov Inst Syst Programming Moscow Russia

A wave attractor is a peculiar hydrodynamic structure that forms under certain conditions, including vertical stratification of water. Previous studies have mainly focused on wave attractors in fluids with a linear salinity profile. However, more complex non-linear salinity profiles are typical of real water reservoirs. To gain a better understanding of natural wave attractors, it is necessary to study their formation in basins with stratification similar to that found in real oceans. This study aims to compare the properties of wave attractors formed under non-uniform stratification with those formed under linear stratification. Energy accumulation and instability development are studied to clarify the influence of the salinity profile shape on the formation of wave attractors and their properties.

关键词： Wave attractor Internal waves Salinity profile CFD

来源：评论

学校读者我要写书评

暂无评论

Ansible execution control in Python and Golang for cloud orchestration

引用

SOFTWAREX 2022年 19卷

作者： Badalyan, David Ivannikov, Oleg Borisenko RAS Ivannikov Inst Syst Programming Moscow Russia

The Ansible configuration manager is currently one of the most popular systems for software deployment. However, Ansible is difficult to debug when working with large scenarios and is difficult to embed into other systems. We propose the cotea (Python) and gocotea (Golang) tools that allow users to control Ansible execution programmatically, by iterating over the tasks and collecting progress information. We additionally propose gopython ??? a solution for embedding arbitrary Python code into a Golang application. The approach used was generalized up to the abstract architecture of the software tool, which allows for the control of an arbitrary Python program execution. ?? 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://***/licenses/by/4.0/).

关键词： Ansible Cloudorchestration Functionhooking Golang Python

来源：评论

学校读者我要写书评

暂无评论

Accurate code fragment clone detection and its application in identifying known CVE clones

引用

INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2025年第1期24卷 1-14页

作者： Arutunian, Mariam Sargsyan, Sevak Hovhannisyan, Hripsime Khroyan, Garnik Mkrtchyan, Albert Movsisyan, Hovhannes Avetisyan, Arutyun Aslanyan, Hayk Russian Armenian Univ Ctr Adv Software Technol Yerevan 0051 Armenia RAS Ivannikov Inst Syst Programming Moscow 109004 Russia

This article presents a novel method for detecting copied code fragments called clones, which is then utilized to identify known common vulnerabilities and exposures copies. The proposed method is versatile and applicable to both source and binary code. It overcomes the limitations of existing tools that typically focus on detecting entire function clones and specializing in either source or binary code, but not both. The method outputs all the detected clones by comparing the provided code fragment against the target project. It employs program dependence graphs-a data structure that unifies data and control dependencies for the function to achieve high accuracy. Experimental evaluations of real-world projects and benchmarks demonstrate the high precision of the proposed method. Furthermore, we successfully applied this method to detect clones of known common vulnerabilities and exposures in source code and uncovered vulnerabilities in actual software. The detected vulnerabilities were confirmed by the community, validating the effectiveness of the proposed method.

关键词： Fragment clone detection CVE clone detection Code static analysis Software security

来源：评论

学校读者我要写书评

暂无评论

Implementation of the QGD Algorithm Using AMR Technology and GPU Parallel Computing 24th

Implementation of the QGD Algorithm Using AMR Technology and...

引用

24th International Conference on Computational Science (ICCS)

作者： But, Ivan Epikhin, Andrey Kirushina, Maria Elizarova, Tatiana RAS Ivannikov Inst Syst Programming Moscow 109004 Russia RAS Keldysh Inst Appl Math Moscow 125047 Russia

ISBN: (纸本)9783031637858;9783031637834

The paper presents an algorithm based on the quasi-gasdynamic approach for the solution of unsteady compressible flows over a wide range of Mach numbers. It is implemented on the AMReX open platform, which uses adaptive mesh refinement technology to facilitate parallelization of computations on GPU architectures. To validate its effectiveness, the developed solver is applied to the numerical simulation of the shock-vortex interaction problem with flow parameter values of M-v = 0.9 and M-s = 1.5. Cross-validation to assess its performance is conducted with OpenFOAM-based solvers, specifically rhoCentralFoam and QGDFoam. Schlieren fields are used to evaluate oscillations of the numerical schemes and algorithms, while resolution capabilities of the algorithm are assessed by comparing density fields in five cross-sections with the reference values.

关键词： Shock-vortex interactions Compressible flow Quasi-gas dynamic equations OpenFOAM AMReX

来源：评论

学校读者我要写书评

暂无评论

Framework for Development and Execution of Scientific WorkFlows: Designing Service-Oriented Applications

引用

programming AND COMPUTER SOFTWARE 2024年第8期50卷 900-913页

作者： Feoktistov, A. Voskoboinikov, M. Tchernykh, A. Russian Acad Sci Siberian Branch Matrosov Inst Syst Dynam & Control Theory Irkutsk Russia CICESE Res Ctr Ensenada Mexico RAS Ivannikov Inst Syst Programming Moscow Russia

The development and use of scientific applications have become an integral part of conducting large-scale experiments in various fields of research that require high-performance computing and big data processing. In the context of developing such applications, non-trivial problems arise in the concerted description and further use of schemes, software, and computational resources to solve subject domain problems of a specific application. Research productivity has become highly dependent on the degree of automation in the preparation and execution of experiments in a computing environment whose resources may be distributed and heterogeneous. Many approaches to the experiment automation are based on workflows as a structure for formalizing and specifying data processing and high-performance computing using distributed applications. Within such approaches, developers and end-users work with workflow management systems for the collaborative development and use of distributed scientific applications. Nowadays, service-oriented applications are coming to the fore. However, there is a wide range spectrum of problems related to the support of modular scientific applications, the standardization of their components and interfaces, the use of heterogeneous information and computing resources, and organization of interdisciplinary research within service-oriented architecture. Known workflow management systems do not fully address the above problems. In this regards, we consider relevant aspects of organizing service-oriented computing in a heterogeneous distributed computing environment. We propose a new framework for creating service-oriented and workflow-based scientific applications. The paper shows that the proposed framework significantly extends and complements the capabilities of systems for such purposes. We also demonstrate the reduction in labour costs associated with the preparation and execution of experiments.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Application of Artificial Intelligence Technology to prevent Sudden Cardiac Death 48

Application of Artificial Intelligence Technology to prevent...

引用

48th Annual IEEE International Computers, Software, and Applications Conference (COMPSAC) - Digital Development for a Better Future

作者： Godunova, Helena Prokhorov, Sergei Rehabil Ctr Barvikha Moscow Russia Ivannikov Inst Syst Programming Ras Inst Hist Sci & Technol Ras Moscow Russia

ISBN: (纸本)9798350376975;9798350376968

The causes of sudden cardiac death (SCD) have not yet been completely studied. At the same time, their share of mortality from heart disease is constantly growing. The use of artificial intelligence (AI) technology for timely diagnosis of the risk of sudden cardiac death, in particular for ECG analysis, is showing impressive and promising results. Of course, simple ECG analysis is not enough for an accurate prediction. Therefore, AI can be a powerful tool for testing hypotheses about additional medical factors that can improve diagnostic accuracy. In practice, the primary issue is the absence of established standards for AI use, coupled with the technical challenge of promptly transmitting ECG readings to the diagnostic center and receiving a real-time diagnosis from the AI system.

关键词： sudden cardiac death risk factors artificial intelligence electrocardiogram diagnostics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：