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

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

来源：评论

学校读者我要写书评

暂无评论

Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs

Evaluating Length of a Shortest Adaptive Homing Sequence for...

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Vinarskii, Evgenii Yevtushenko, Nina Lomonosov Moscow State University Department of Computer Science Moscow Russia Ivannikov Institute for System Programming of Ras Software Engineering Deparment Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728198996

There are many research papers devoted to the state identification problem of finite state machines (FSMs) which are widely used for analysis of discrete event systems. A deterministic complete reduced FSM always has a homing sequence (HS) but a number of non-deterministic FSMs not necessarily have a preset HS;nevertheless, those FSMs can still have an adaptive HS. Moreover, adaptive HS can be shorter than the preset. If each state can be an initial state of a complete FSM, i.e., an FSM is non-initialized, then a shortest adaptive HS (if it exists) has polynomial length in the number of FSM states. We show that it is not the case for weakly-initialized FSMs: such FSMs can have a shortest adaptive HS of exponential length in the number of FSM states/transitions. However, the experimental evaluation shows that the non-polynomial upper bound for a shortest adaptive HS was never reached for randomly generated weakly-initialized two-input FSMs. © 2020 IEEE.

关键词： Adaptive homing sequence Non-deterministic FSM weakly initialized FSM

来源：评论

学校读者我要写书评

暂无评论

The Unknown Component Problem: Theory and Applications

引用

2014年

作者： Tiziano Villa Nina V Yevtushenko Robert King Brayton Alan Mishchenko Alexandre F Petrenko Alberto L Sangiovanni-Vincentelli

ISBN: (纸本)9781489973948

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mixed characteristic discontinuous Galerkin approach for perfect gas dynamics modeling 4

Mixed characteristic discontinuous Galerkin approach for per...

引用

4th Virtual Workshop on Numerical Modeling in MHD and Plasma Physics: Methods, Tools, and Outcomes, MHD-PP 2021

作者： Gatsuk, V.K. Lukin, V.V. Bauman Moscow State Technical University Moscow Russia Keldysh Institute of Applied Mathematics RAS Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia

The numerical method based on the discontinuous Galerkin (DG) approach for perfect inviscid compressible gas dynamics modelling is developed. The approximate Riemann solvers in combination with gas dynamics equations system characteristic properties are used to calculate the numerical fluxes on the cells interfaces and inside the cells. A number of approximate Riemann solvers are considered. The solution characteristic decomposition is used in the similar to PPML way. The developed algorithm is tested using problems with smooth and discontinuous solutions. Both one-dimensional and two-dimensional test problems are considered. The method provides accurate discontinuity resolution and ability to compute gas-dynamic instabilities with minimal artificial distortion. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Gas dynamics

来源：评论

学校读者我要写书评

暂无评论

Context Specificity Matters: Profile Attributes Prediction for Social Network Users

Context Specificity Matters: Profile Attributes Prediction f...

引用

Annual Conference on Information Sciences and systems (CISS)

作者： Andrey Gomzin Mikhail Drobyshevskiy Denis Turdakov Ivannikov Institute for System Programming Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming Moscow Russia

Analysis of social network user profiles plays an important role in various applications such as recommender systems and marketing services. In this paper we consider the task of profile prediction given a sample of a social graph. We introduce a new node property named context specificity, which allows to enhance node attribute prediction methods by emphasizing more useful nodes and edges. Particularly, we show how to apply it to several existing methods: label propagation, classification based on node embeddings, graph convolutional neural network. Our experiments prove that context specificity feature improves methods quality in most considered tasks. Additionally, we suggest a new supervised method based on attribute values distributions that is competitive with state of the art approaches. We also describe and share two new datasets, representing a sample of VK social network.

关键词： Social networking (online) Prediction methods Feature extraction Data mining Convolutional neural networks Task analysis Recommender systems

来源：评论

学校读者我要写书评

暂无评论

On Solutions to Problems of Bottom Deformations with Allowance for Their Self-Similarity

引用

Power Technology and Engineering 2024年第4期58卷 611-616页

作者： Petrov, A.G. Potapov, I.I. Epikhin, A.S. Ishlinsky Institute for Problems of Mechanics Russian Academy of Sciences Moscow Russia Khabarovsk Federal Research Center Computing Center Far East Branch of the Russian Academy of Sciences Khabarovsk Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

A method for establishing a self-similar dependence of the bottom surface on time and spatial coordinate is proposed. The mean bottom tangential stresses are determined for a series of self-similar shapes of the bottom to then calculate the rates of change in the lengths and amplitudes of the bottom waves. Comparison with experimental data and numerical solutions shows that the error of the solution does not exceed several percent and that the computation time is shorter by a factor of 25 to 30 than that of conventional evolutionary computation. © Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Miocene

来源：评论

学校读者我要写书评

暂无评论

Futag: Automated fuzz target generator for testing software libraries

Futag: Automated fuzz target generator for testing software ...

引用

ivannikov Memorial Workshop (IVMEM)

作者： Chi Thien Tran Shamil Kurmangaleev Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423281

Recently, Fuzzing is one of the most successful techniques to expose bugs in software. For testing large programs or large codebase with many features and entry-points, the creation of fuzz-targets remains a big challenge. In this paper, we introduce Futag – an automated fuzz target generator for testing software libraries. This approach uses static analysis to collect information about source code: data type definitions, dependencies of types, definitions of functions, etc. Futag has found many vulnerabilities in latest version of popular libraries such as: libopenssl, libpng, libjson-c, liblxml2.

关键词： Software libraries Codes Conferences Computer bugs Static analysis Fuzzing Software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Detecting anomalous device loads during exploratory testing of mobile applications

Detecting anomalous device loads during exploratory testing ...

引用

ivannikov ISPRAS Open Conference (ISPRAS)

作者： Danila Mikhaltsov Konstantin Sorokin Ivannikov Institute for System Programming of the RAS Moscow Russia

Reputation and competitiveness of both mobile applications and mobile operating systems depend on their quality. Developers are using various techniques to ensure high quality. Recently, exploratory testing approaches have been gaining significant attention in this context. However, these approaches mostly do not consider one major non-functional requirement that affects quality – performance issues. Performance issues, such as sluggish UI or extensive battery consumption, are tightly connected to inefficient use of device resources. Detecting these issues is a non-trivial task. In this paper we present a novel approach to detect anomalous device resource usage and hence potential performance issues. Our approach is integrated with exploratory testing framework and uses information about previously executed test runs to build the expected resource usage model. The underlying model represents resource usage data as a multidimensional time series and is able to detect anomalous time intervals. We integrate our approach with exploratory testing tool for Android and empirically evaluate it on a set of real-world applications with injected performance issues. Our results show that suggested approach can be successfully applied to detect anomalous device resource usage and potential performance regressions.

关键词： Performance evaluation Operating systems Time series analysis Data models Mobile applications Regression analysis Batteries

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：