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

Scientific Visualization 2023年第2期15卷 125-133页

作者： Elistratov, S.A. Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia

Hydrodynamical structure attending a flow can be hid and hardly to reveal. One of the methods to find them is to use mode decomposition (such as Proper orthogonal decomposition, POD). The method represents the field given as a series of spatial modes multiplied by corresponding temporal coefficients. In the article the method is discussed applyingly to a complex flow with a wave attractor structure. Attractor modes present structured vortex-like figure which cannot be claimed to be aleatory. As it turns out POD modes are not just a formal decomposition but have a physical origin: they are connected with instability cascade minor frequencies, as spectral investigation shows. Another consequence of that is that one of the collateral structure maximum can be visible. This proposition is proven as the structure is found to be visible in the flow itself. © 2023 National Research Nuclear University. All rights reserved.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

system Software for the Computing system "Electronica SSBIS"

System Software for the Computing System "Electronica SSBIS"

引用

International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)

作者： Victor Ivannikov Sergey Gaisaryan Alexander Tomilin RAS Institute for System Programming Moscow Russia

By 1991, several copies of two vector-pipeline supercomputers: “Electronica SSBIS” (the development of the Research institute “Delta”, MEI USSR and the institute of Cybernetics, AS USSR - chief designer Vladimir Andreevich Melnikov), and “modular pipelined processor (MPP)” (the development of the Lebedev institute of Precision mechanics and Computer Engineering - Chief Designer Andrei Andreevich Sokolov) have been designed and produced.

关键词： Computers Operating systems programming Random access memory File systems Libraries Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Slurm PaaS in a cloud environment for development and debug purposes

Slurm PaaS in a cloud environment for development and debug ...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Tatiana Ozerova Elena Aksenova Oleg Borisenko Matvey Kraposhin Eshsou Khashba Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423311

Nowadays specialized distributed services and sig-nificant amounts of computing resources are used for solving tasks in Big Data processing and analysis. Cloud environments allow people to create virtual clusters with necessary characteris-tics and tune specialized software for planning jobs and resource allocation. Slurm belongs to such systems class. Unfortunately, lots of problems appear during manual setup and Slurm usage in cloud infrastructure. The article offers the solution to the problem of automating deployment of the Slurm cluster in cloud infrastructure for development and testing purposes. User acquires access using REST API request to get ready for use virtual cluster with preinstalled and preconfigured Slurm cluster. This work also includes analysis for Slurm/HPC clusters effi-ciency running in Openstack environment using virtual machines interconnected with an overlay network compared to classical bare-metal HPC clusters.

关键词： Cloud computing Overlay networks Manuals Big Data Virtual machining Software Planning

来源：评论

学校读者我要写书评

暂无评论

Automatic verification of the text layer correctness in PDF documents

Automatic verification of the text layer correctness in PDF ...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Oksana V. Belyaeva Aleksandr Golodkov Bekzat Bukhatov Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

PDF documents can contain incorrect textual layers due to low scanning quality, font embedding errors or other reasons. An incorrect text layer can significantly hamper automatic document processing and limit document parsing. To help tackle the problem, this work analyzed the causes of incorrect text layers (gibberish characters) and described a method to automatically extract text information by detecting the correct text layer of PDF files, using OCR and a PDF extractor. To determine the correctness/incorrectness of the text layer obtained from PDF extractors in the method, we trained a binary classifier on the generated *** carried out experiments and assessed the quality of various classification models for text correctness, tested the method on real data, thereby confirming the effectiveness of the developed approach. The obtained results can be useful for further development of methods for automatically checking textual layers and improving the quality of automatic processing PDF documents.

关键词： Conferences Text categorization Optical character recognition Text detection Machine learning Portable document format Data models

来源：评论

学校读者我要写书评

暂无评论

Using Lingvodoc platform for researching genetic and areal semantic shifts: the case of Ob-Ugric basic vocabulary

Using Lingvodoc platform for researching genetic and areal s...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Julia V. Normanskaya Ivannikov Institute for System Programming RAS Institute of Linguistics RAS Moscow Russia

Article analysis consists the list the significance of the main results that were obtained when analyzing the graph-phonetic features of the first Cyrillic books in the XIX century:*** first Cyrillic books allow us to see how the classification of dialects *** first Cyrillic books allow you to date the time of phonetic *** first Cyrillic books make it possible to verify the accuracy of transcription of extinct dialects completed by different *** first Cyrillic books made it possible to identify phenomena that persist in modern dialects and existed in the XIX century, but previously did not attract the systematic attention of *** first Cyrillic books make it possible to clarify the territory where speakers of some dialects had previously *** first Cyrillic books confirm the reconstruction of the *** books allow us to clarify the reconstruction of the *** first Cyrillic books allow us to establish who was the true creator of literary languages.

关键词： Vocabulary systematics Semantics Phonetics Genetics

来源：评论

学校读者我要写书评

暂无评论

Modeling the Reservoir Flooding Problem Using the Extended Version of the PorousMultiphaseFoam Library

Modeling the Reservoir Flooding Problem Using the Extended V...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Daria Romanova Sergei Strijhak Konstantin Koshelev Matvey Kraposhin Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

In this work, we develop software based on porousMultiphaseFoam library in OpenFOAM package to study enhanced oil recovery methods, and to study the influence of these methods on the oil recovery factor. New models of relative phase permeability and capillary pressure were implemented, and their comparative analysis was performed. The code was verified using the analytical approach. A new solver for simulating compressible flow was developed.

关键词： Oils Production Permeability Mathematical model Reservoirs Boundary conditions Libraries

来源：评论

学校读者我要写书评

暂无评论

Development of snowYadeFoam solver for snow particles simulation

Development of snowYadeFoam solver for snow particles simula...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Daria Romanova Sergei Strijhak Matvey Kraposhin Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The research and modeling of the icing process is important for the aircraft industry, wind power, energy supply and other areas of human life in the northern regions. In this paper, we carry out a numerical simulation of the icing of a model body using the Euler-Lagrangian (CFD-DEM) approach. The free open source package YADE is used to calculate the motion of snow crystals, and the free open source package OpenFOAM is used to simulate flow hydrodynamics. The snowYadeFoam solver is being developed, based on the icoFoamYade solver for calculating the interaction of snow crystals with each other and with a streamlined body. A “cohesive frictional material” model is used in the calculations, which describes the cohesion of particles to each other, adhesion of particles to model body and friction during their interaction.

关键词： Industries Snow Atmospheric modeling Crystals Wind power generation Numerical simulation Numerical models

来源：评论

学校读者我要写书评

暂无评论

Michman: an Orchestrator to deploy distributed services in cloud environments

Michman: an Orchestrator to deploy distributed services in c...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Elena Aksenova Nikita Lazarev David Badalyan Oleg Borisenko Roman Pastukhov Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Plekhanov Russian University of Economics Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

Big data storing and processing require specialized distributed services and significant amounts of computing resources. Cloud environments allow one to deploy virtual clusters with the requested characteristics and install the necessary services, but manual configuration is too laborious and inefficient. To use IaaS clouds one should be a highly knowledgeable in the field of system administration. This article presents a Michman tool, which allows on-demand deployment of clusters with a set of services in the cloud IaaS, stores information about deployed systems and provides management of their life cycle. The tool is implemented as a service with a system of user groups, REST API carries access to the system.

关键词： Cloud computing Manuals Tools Big Data

来源：评论

学校读者我要写书评

暂无评论

Formally verified complete quantifier instatiation strategy for the theory of bounded linear integer arithmetic

Formally verified complete quantifier instatiation strategy ...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Rafael Sadykov Mikhail Mandrykin Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The Isabelle/HOL proof assistant provides quite advanced and reliable support for discharging proof goals with external SMT solvers by reconstructing the resulting proof tree within the Isabelle/Pure inference kernel. In particular, currently Isabelle fully and efficiently supports proof reconstruction for the quantifier-free fragments of the theories of equality and uninterpreted functions (QF_UF) and linear integer arithmetic (QF_LIA). Yet there are a number of practically relevant theories that can be decided using relatively efficient algorithms, but are not supported either by the Isabelle proof reconstruction procedure or by the SMT solvers themselves. Meanwhile, if the decision procedure for an extended logical theory can be expressed as a complete quantifier instantiation strategy that reduces the given decision problem into the supported logical fragment (QF_UFLIA), the theory can be fully supported within the existing Isabelle/HOL infrastructure with relatively little additional effort. The goal of our work was to develop a fully formal completeness proof for an efficient quantifier instantiation strategy that translates a satisfiability problem in the logic of bounded linear integer arithmetic (we call it QF_BLIA) into the equisatisfiable problem in the logic of linear integer arithmetic and uninterpreted functions (QF_UFLIA). In this paper we first give the initial informal presentation of the proof, then discuss the most relevant issues of our resulting corresponding formal development of the completeness proof within Isabelle/HOL. The resulting formal proofs tightly follow the provided informal presentation, but at the same time they also contain quite significant amount of auxiliary developments that can potentially be generalized for other similar proof formalizations and automated using theory generation facilities of Isabelle/ML.

关键词： Reliability theory Inference algorithms Kernel

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：