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

Scientific Visualization 2025年第1期17卷 138-149页

作者： Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology RAS Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch RAS Novosibirsk Russia

One of the principle conditions of a wave attractor appearance is a periodic external forcing. Real forcing in natural basins caused by tidal interaction is more complex than a monochromatic which is usually used in internal wave attractors investigations. Multi-frequency forcing may lead to the multiple wave attractor formation, some of them may be of low energy, which affects their detection. In the article we simulate a mixed forcing for an internal wave attractor flow and visualize subattractor formed due to this forcing type using several methods, including Proper Orthogonal Decomposition. It is shown that the latter method reveals sub-attractor even in case of highly turbulent flow. © 2025 National Research Nuclear University. All rights reserved.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Numerical and analytical models for prediction of the local scour under pipelines

引用

Journal of Hydrodynamics 2024年第6期36卷 1130-1141页

作者： Andrey Epikhin Igor Potapov Aleksandr Petrov Aleksandr Kukharskii Ivannikov Institute for System Programming of the RAS MoscowRussia Computing Center FEB RAS Khabarovsk680000Russia Ishlinsky Institute for Problems in Mechanics RAS MoscowRussia

This paper considers local scour around a pipeline under turbulent *** Navier-Stokes equations are solved with a shear stress turbulence *** original bed deformation equation based on an analytical sediment transport model is used to describe the changes in the bottom *** proposed sediment transport equation is based on Coulomb’s friction law for granular flow,Prandtl’s friction law for turbulent flow,and agrees with a large number of phenomenological formulas by other authors.A numerical algorithm for solving the mathematical model of bed surface erosion is implemented in *** simulations of the problem show that under the influence of turbulent flow generated at the pipeline streamline,a characteristic bottom wave of low steepness appears,the parameters of which asymptotically agree with the experimental *** on the analysis of experimental and numerical studies of the considered case,an assumption about the self-similar behavior of the bed surface evolution is *** on this assumption,a new method of constructing the self-similar dependence of the bed surface on time and space coordinates is *** the proposed approach,the average values of tangential bottom stresses are determined for a number of self-similar bottom surface shapes,and then the rates of change of bottom wave lengths and amplitudes are calculated using the proposed analytical model.A comparison with experimental data and numerical calculations shows that the solution error does not exceed a few percent and the computational time is reduced by up to 30 times.

关键词： Pipelines numerical simulation sediment transport scour hydrodynamics self-similar behavior OpenFOAM

来源：评论

学校读者我要写书评

暂无评论

SXDGL: Snapshot based concurrency control protocol for XML data

SXDGL: Snapshot based concurrency control protocol for XML d...

引用

5th International XML Database Symposium

作者： Pleshachkov, Peter Kuznetcov, Sergei Institute for System Programming RAS Russian Federation

ISBN: (纸本)9783540752875

Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the two-phase locking protocol, which potentially leads to a high blocking rates in data-intensive XML-applications. In this paper we present and evaluate SXDGL, a new snapshot based concurrency control protocol for XML data. SXDGL completely eliminates data contention between read-only and update transactions. Moreover, SXDGL takes into account the hierarchical structure and semantics of XML data model determining conflicts between concurrent XML-operations of update transactions. The conducted evaluation shows significant benefits of SXDGL for processing concurrent transactions in data-intensive XML-applications.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Operating system of the multi-machine computer AS-6 1st

Operating system of the multi-machine computer AS-6

引用

1st IFIP WG 9.7 Conference on Perspectives on Soviet and Russian Computing, SoRuCom 2006

作者： Bourdonov, I.B. Ivannikov, V.P. Kossatchev, A.S. Kuznetsov, S.D. Tomilin, A.N. Institute for System Programming of RAS Russia

ISBN: (纸本)9783642228155

The S.A. Lebedev institute developed operating system for the AS-6 distributed computing system (OS AS-6) in the 1970s. The OS AS-6 consisted of peer operating systems of separate machines making up the AS-6 computer system. Those operating systems interacted through a uniform interface. The OS AS-6 facilitated interaction between computation processes on the nodes of the AS-6 system through a network together with their interaction with the global network. It provided the possibility for any process in the AS-6 system to use all the devices connected with the nodes of the AS-6 computer both with addressing and with usage of external devices. It also supported a pipeline operation of the computers in the AS-6 system performing real-time processing of large data streams of spacecraft missions. The operating systems of the nodes of the AS-6 system had a special means for parallel processes management, including task hierarchy organization and information processing management within a single task. © IFIP International Federation for Information Processing 2011.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Recommender system based on user-generated content

Recommender system based on user-generated content

引用

4th Spring Young Researchers Colloquium on Databases and Information systems, SYRCoDIS 2007

作者： Denis, Turdakov Institute for System Programming RAS Russia

Recommender systems apply statistical and knowledge discovery techniques to the problem of making recommendations during live user interaction. This paper describes a novel approach of building recommender systems for the Web with the aid of usergenerated content. Recently certain communities of Internet users have engaged in creating high quality peer reviewed content for the Web. In our approach we are planning to extract the semantics of such user-generated content and to use these semantics to make more useful recommendations.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Generation of test scripts for application with GUI optimized for manual execution

Generation of test scripts for application with GUI optimize...

引用

2009 5th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2009

作者： Barancev, A.V. Groshev, S.G. Omelchenko, V.A. Institute for System Programming of RAS Russia

ISBN: (纸本)9781424456659

The article describes the method for constructing sequences of user actions that are optimized for manual execution, based on the model in the form of a diagram of states and transitions. Scenarios for such implementation requires, primarily, when the GUI is the only way to interact with the application, but its implementation does not provide or make economically viable software emulation effects through it. Secondly, the test kit to perform the manual test may be necessary to assess the practicality of the graphical user interface to verify its compliance with selected standards and user acceptance testing. ©2009 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Better Reuse of Architecture Models: Profits and Costs

Better Reuse of Architecture Models: Profits and Costs

引用

SAE AeroTech Congress and Exhibition, AEROTECH 2017

作者： Buzdalov, Denis Khoroshilov, Alexey Institute for System Programming of RAS Russia

Different modelling techniques intended to deal with complexity of modern IMA systems are widely used now. Models can be used to help developers to lay out relevant information structurally. They can also be used to perform different formal analyses on machine-readable models like schedulability analysis, network load checks, WCET for software parts, FTA and FMEA and etc. For some kinds of analyses, special models are created on different stages of development. We suppose that reuse of models for different aspects and development stages is generally a good thing. In some cases it allows to reduce costs on development process;also it allows to make preservation of consistency between models more automatic. We are aware that using the same model for different stages or aspects can cause additional cost in the model maintenance. In this paper we are trying to make a step to further (including practical) research on this topic. We are considering AADL as an architecture modelling language to use. We also are considering the MASIW [9, 12] framework to work with AADL models and to analyze them. Considering particular modelling aspects, we suggest a case where we want to show how models can be reused on different stages of development. We hope that approach applied for this case would work for other cases that can appear in the avionics development domain. © 2017 SAE International.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Octree-based approach to spatial indexing of complex dynamic scenes 25

Octree-based approach to spatial indexing of complex dynamic...

引用

25th International Conference on Computer Graphics and Vision, GraphiCon 2015

作者： Zolotov, V.A. Petrishchev, K.S. Semenov, V.A. Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9785888350416

The paper is dedicated to theoretical research of spatial indexing methods in conformity to three dimensional scenes arising in CAD/CAM systems, robotics, virtual and augmented reality applications. Special attention is given to the decomposition methods based on regular dynamic octrees. A particular version of the octrees is described and investigated to satisfy to the efficiency requirements for typical spatial queries in complex dynamic scenes with the extended borders objects. To perform the needed complexity analysis, the developed octree structure is analyzed against typical spatial queries like collision detection, frustum culling. To obtain more relevant estimates of the complexity on average rather than known pessimistic estimates in worst case, model scene datasets have been introduced. They assume uniform distribution of equal size objects over the scene volume and, being parametric, allow simulation of wide range of industry meaningful scenes. Some auxiliary lemmas about octree depth and distribution of the scene objects over octree levels have been proven based on probabilistic analysis. Final theorem statements provides for the complexity estimates of query evaluation for the model scenes. The obtained results show that asymptotic complexity grows with the object sizes and the scene occupancy. However, the estimates on average improve known results in worst case and can be considered as a theoretical background to introduce the investigated indexing structures to practical applications. © 2015 institute of Physics and Technology.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Neuron Coverage Maximization for Effective Test Set Construction with Respect to the Model

引用

Journal of Mathematical Sciences (United States) 2024年第2期285卷 189-200页

作者： Kushchuk, D. Ryndin, M. Ivannikov Institute for System Programming of the RAS Moscow Russian Federation

Real world data is not stationary and thus models must be monitored in production. One way to be sure in a model’s performance is regular testing. If the labels are not available, the task of minimizing the labeling cost can be formulated. In this work, we investigate and develop various ways to construct a minimum test set for a given trained model, in a fashion where the accuracy of the model calculated on the chosen subset is as close to the real one as possible. We focus on the white box scenario and propose a novel approach that uses neuron coverage as a observable functional to maximize in order to minimize the number of samples. We evaluate the proposed approach and compare it to Bayesian methods and stratification algorithms that are the main approaches to solve this task in literature. The developed method shows approximately the same level of performance but has a number of advantages over its competitors. It is deterministic, thus eliminating the dispersion of the results. Also, this method can give one a hint on the optimal budget. © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2024.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Realistic Adversarial Attacks on Object Detectors Using Generative Models

引用

Journal of Mathematical Sciences (United States) 2024年第2期285卷 245-254页

作者： Shelepneva, D. Arkhipenko, K. Ivannikov Institute for System Programming of the RAS Moscow Russian Federation

An important limitation of existing adversarial attacks on real-world object detectors lies in their threat model: adversarial patch-based methods often produce suspicious images while image generation approaches do not restrict the attacker’s capabilities of modifying the original scene. We design a threat model where the attacker modifies individual image segments and is required to produce realistic images. We also develop and evaluate a white-box attack that utilizes generative adversarial nets and diffusion models as a generator of malicious images. Our attack is able to produce high-fidelity images as measured by the Fréchet inception distance (FID) and reduces the mAP of Faster R-CNN model by over 0.2 on Cityscapes and COCO-Stuff datasets. A PyTorch implementation of our attack is available at https://***/DariaShel/gan-attack. © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2024.

关键词： adversarial examples diffusion models generative adversarial networks object detectors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：