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

ivannikov Memorial Workshop (IVMEM)

作者： Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Tech Univ RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781728146232

The main features and data structure of the VM2D code is described. VM2D is the original code that implements the meshless Lagrangian vortex methods for two-dimensional viscous incompressible flows simulation. The code is open source and supports parallel technologies OpenMP, MPI and Nvidia CUDA. The VM2D code can be useful for flow simulation around airfoils as well as system of airfoils and unsteady hydrodynamic loads computation. It is possible to simulate flow around immovable airfoils, airfoils moving according to the given law and solve fluid-structure interaction problems in weakly coupled and strongly coupled statement. Known algorithms of vortex methods and original improvements developed by authors are implemented. The current version of source code of the VM2D is available on GitHub under GNU GPL license (https://***/vortexmethods/VM2D)

关键词： vortex method incompressible flow hydrodynamic loads fluid-structure interaction hydroelasticity open source code boundary integral equation

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

6th Conference on Actual Problems of systems and Software Engineering (APSSE)

作者： Kildishev, Denis Khoroshilov, Alexey Russian Acad Sci Ivannikov Inst Syst Programming Software Engn Moscow Russia

ISBN: (纸本)9781728160610

Requirements management is a significant part of development of complex safety-critical systems. Software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The paper reveals some implementation details of Requality open source requirements management tool that is being applied in several projects developed according DO-178C and that is expanding with features originating from these projects.

关键词： requirements management tool safety-critical systems implementation details requirements

来源：评论

学校读者我要写书评

暂无评论

Configurable Test system for RTOS

引用

programming AND COMPUTER SOFTWARE 2023年第4期49卷 286-294页

作者： Godunov, A. N. Khomenkov, I. I. Shchepkov, V. G. Khoroshilov, A. V. Russian Acad Sci Fed State Inst Sci Res Inst Syst Anal Moscow 117218 Russia Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia

The article describes a test system designed for verification of the real-time operating system (RTOS) for embedded systems, which was developed and used at the Scientific Research institute for system Analysis of the Russian Academy of Sciences (SRISA RAS). This Unix-like operating system is based on the POSIX and ARINC-653 programming standards. Of course, there exists specialized software for automation of testing of Unix-like systems: Avocado, LAVA, Linux Test Project, Linux Distribution Checker, Open POSIX Test Suite, UnixBench, etc. But the use of such ready-made software systems is not always convenient, because they either contain only highly specialized test suites, or support only certain hardware, or do not contain a flexible configuration system. Therefore, the researchers at the SRISA RAS developed their own original test system. The task was to create a convenient testing tool for both software testers and programmers. Many years of experience in using the test system has shown the effectiveness of its use to improve the quality of software products, reduction of time spent on testing and analysis of results, maximally automate software testing process, speed up the process of developing new software versions, and simplify the process of debugging, finding and fixing errors by software developers.

关键词： real time operating system RTOS software testing automation of software development cross-platform software development program language C C plus plus POSIX ARINC-653

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

6th Conference on Actual Problems of systems and Software Engineering (APSSE)

作者： Burdonov, Igor Kossachev, Alexandr Yevtushenko, Nina Villa, Tiziano RAS Ivannikov Inst Syst Programming Software Engn Dept Moscow Russia Ivannikov Inst Syst Programming Software Engn Deparment Moscow Russia Univ Verona Comp Sci Dept Verona Italy

ISBN: (纸本)9781728160610

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite State Machine (FSM) quasi-deterministic FSM quasi-complete FSM Moore pair synchronous composition

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Euclidean Division Method for the Homomorphic Scheme CKKS

Euclidean Division Method for the Homomorphic Scheme CKKS

引用

IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)

作者： Babenko, Mikhail Golimblevskaia, Elena North Caucasus Fed Univ Stavropol Russia Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781665404761

The use of cloud computing can reduce the economic costs of maintaining IT infrastructure, but at the same time, the likelihood of confidential data theft increases. To reduce the likelihood of it, cloud computing uses homomorphic encryption. However, a homomorphic cipher only allows adding and multiplying encrypted numbers;in some cases, a division operation is required to implement algorithms. To implement the division operation with encrypted numbers it is necessary to implement the encrypted number comparison operation. Considering that the operation of comparing encrypted numbers is carried out using numerical methods, it is necessary to adapt the existing algorithms for Euclidean division. In this article, we propose a two-stage algorithm for Euclidean division of numbers encrypted using the CKKS scheme and investigate its properties.

关键词： Homomorphic encryption Euclidean division cloud computing comparison operation modular arithmetic

来源：评论

学校读者我要写书评

暂无评论

Comparison of Single-Velocity and Multi-Velocity Multiphase Models for Slope Flow Simulations

Comparison of Single-Velocity and Multi-Velocity Multiphase ...

引用

ivannikov Ispras Open Conference (ISPRAS)

作者： Romanova, Daria Lomonosov Moscow State Univ Ivannikov Inst Syst Programming RAS Moscow Russia

ISBN: (纸本)9781665412919

This article compares two approaches for describing flow dynamics on mountain slopes: using a single-velocity multiphase model and a multi-velocity multiphase model. Simulation of experiments of a slushflow in a tank and interaction of the flow with a complex of protective structures using single-velocity and multi-velocity multiphase approaches is carried out. Comparison of numerical solutions with experimental data is made. Both approaches are applied to the calculation of an avalanche in the 22nd avalanche site of the Yukspor Mountain (Khibiny). The range of the avalanche run-out zone and the shape of the avalanche deposits were compared with field data obtained from the results of measuring the real avalanche in this cite. As a result of a numerical experiment, distributions of such parameters of the flow as flow rate, depth, density, viscosity, and bottom shear stress were obtained. The architecture of the nonNewtonianMultiphaseEulerFoam solver is being developed to describe the motion of a multiphase multi-velocity non-Newtonian medium.

关键词： OpenFOAM snow avalanche mudfllow interFoam multiphaseEulerFoam nonNewtonianMultiphaseEuler-Foam Yukspor Mountain (Khibiny) 22nd avalanche site non-Newtonian fluid multiphase flow

来源：评论

学校读者我要写书评

暂无评论

Investigation of Characteristics in Mountain Area with the Aim of Collecting Data for Modelling Flow Turbulent Parameters in a Wind Farm Located in a Coastal Area 5

Investigation of Characteristics in Mountain Area with the A...

引用

5th International Conference on Geographical Information systems Theory, Applications and Management (GISTAM)

作者： Strijhak, Sergei Koshelev, Konstantin Kryuchkova, Arina RAS Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia

ISBN: (纸本)9789897583711

The article summarize results of the study of wind farms located on the island of Crete and in Russia using different solvers of open source SOWFA library. Applying large-eddy simulation approach allows to take into account the orography of the area, different physical processes like lower-level jets and will assess the impact of the wind farm and turbulent wakes on the local microclimate of the region.

关键词： Wind Energy Wind Farm Crete Russia Complex Terrain Mountain Large-Eddy Simulation Finite Volume Method Mesh SOWFA Library Solver Wind Turbines Velocity Pressure Temperature Computer Nodes

来源：评论

学校读者我要写书评

暂无评论

About One Property of Number Rank in RNS

About One Property of Number Rank in RNS

引用

IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)

作者： Babenko, Mikhail Golimblevskaia, Elena North Caucasus Fed Univ Stavropol Russia Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781665404761

an approximate value of the number rank is used to increase the speed of homomorphic encryption algorithms. The use of an approximate rank of a number allows reducing the computational complexity of the data encryption algorithm, but at the same time leads to a loss of accuracy. In this paper, we investigate the properties of the number rank. We have shown that it is possible to reduce the accuracy of calculating the approximate rank of a number, but the homomorphic encryption scheme will have the same properties.

关键词： Residue Number system number rank homomorphic encryption Chinese remainder theorem modular arithmetic

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2017 ivannikov ISPRAS Open Conference (ISPRAS)

作者： Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Tech Univ RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781538611326

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.

关键词： vortex method incompressible flow hydrodynamic loads fluid-structure interaction hydroelasticity open source code boundary integral equation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：