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

2022 ivannikov Open Conference, ISPRAS 2022

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

ISBN: (纸本)9798350398533

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. © 2022 IEEE.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Optimal Routing for Autonomous Taxis using Distributed Reinforcement Learning 18

Optimal Routing for Autonomous Taxis using Distributed Reinf...

引用

18th IEEE International Conference on Data Mining Workshops (ICDMW)

作者： Rahili, Salar Riviere, Benjamin Oliver, Suzanne Chung, Soon-Jo Ivannikov Institute for System Programming of Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781538692882

In this paper, a learning-based optimal transportation algorithm for autonomous taxis and ridesharing vehicles is introduced. The goal is to design a mechanism to solve the routing problem for a fleet of autonomous vehicles in real-time in order to maximize the transportation company's profit. To solve this problem, the system is modeled as a Markov Decision Process (MDP) using past customers data. By solving the defined MDP, a centralized high-level planning recommendation is obtained, where this offline solution is used as an initial value for the real-time learning. Then, a distributed SARSA reinforcement learning algorithm is proposed to capture the model errors and the environment changes, such as variations in customer distributions in each area, traffic, and fares, thereby providing an accurate model and optimal policies in real-time. Agents are using only their local information and interaction, such as current passenger requests and estimates of neighbors' tasks and their optimal actions, to obtain the optimal policies in a distributed fashion. The agents use the estimated values of each action, provided by distributed SARSA reinforcement learning, in a distributed game-theory based task assignment to select their conflict-free customers. Finally, the customers data provided by the city of Chicago is used to validate the proposed algorithms.

关键词： Reinforcement learning Transportation Routing Planning Task analysis Real-time systems Urban areas

来源：评论

学校读者我要写书评

暂无评论

Comparison of hierarchies for occlusion culling based on occlusion queries 27

Comparison of hierarchies for occlusion culling based on occ...

引用

27th International Conference on Computer Graphics and Vision, GraphiCon 2017

作者： Gonakhchyan, V.I. Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9785794429633

Efficient interactive rendering of large datasets still poses a problem. Widely used algorithm frustum culling is too conservative and leaves a lot of hidden objects in view. Occlusion culling with hardware occlusion queries is an effective technique of culling of hidden objects inside view. In the paper, we perform the comparative analysis of popular indexing techniques in conformity to occlusion culling. © GraphiCon 2017 - Computer Graphics and *** right reserved.

关键词： Large dataset

来源：评论

学校读者我要写书评

暂无评论

Vector supercomputer 'Electronica SS BIS'

Vector supercomputer 'Electronica SS BIS'

引用

2024 ivannikov Memorial Workshop, IVMEM 2024

作者： Burdonov, Igor Gaisaryan, Sergey Kosachev, Alexander Prokhorov, Sergei Shnitman, Victor Ivannikov Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9798331504663

The article outlines the basic design principles of the Electronica SS BIS software and computing complex, aimed at addressing the most complex scientific problems. The developers have researched heterogeneous computing supersystems due to the experience they had accumulated from creating previous systems. Research has shown that integrating closely related subsystems with different architectures results in more effective computing systems. With this approach, supercomputers not only became multiprocessors, but they also combined a number of subsystems or independent functional systems, such as a multi-level memory system, a system of functionally specialized machines, a channel system, and a distributed operating system. Later, this work became the foundation for a new direction in computing technology - computing supersystems. In recent years this direction has been recognized as highly relevant and promising. © 2024 IEEE.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Futag: Automated fuzz target generator for testing software libraries

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

引用

2021 ivannikov Memorial Workshop, IVMEM 2021

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

ISBN: (纸本)9781665423274

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. © 2021 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Slurm PaaS in a cloud environment for development and debug purposes

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

引用

2021 ivannikov Ispras Open Conference, ISPRAS 2021

作者： Ozerova, Tatiana Aksenova, Elena Borisenko, Oleg Kraposhin, Matvey Khashba, Eshsou Ivannikov Institute For System Programming Of The Ras Moscow Russia

ISBN: (纸本)9781665423304

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. © 2021 IEEE.

关键词： Platform as a Service (PaaS)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Verifying Multiple Virtual Networks in Software Defined Networks

Verifying Multiple Virtual Networks in Software Defined Netw...

引用

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

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia

ISBN: (纸本)9781665445030

Software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired paths where packages can be sent, 'looping' when the packages are infinitely cycled and infinitely cloned, duplicate paths when the host receives the same package several times. We show that these effects can occur for the joint implementation of several virtual networks even if the implementation of each separate virtual network does not cause these effects. A method for verifying the implementation of several virtual networks is proposed. A sufficient condition is established for the graph of physical connections when any set of virtual networks can be implemented without the occurrence of the above undesirable effects. © 2021 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Deriving tests for the synchronous composition of deterministic complete Finite State Machines 20

Deriving tests for the synchronous composition of determinis...

引用

20th Conference Scientific Services and Internet, SSI 2018

作者： Burdonov, I.B. Evtushenko, N.V. Kossatchev, A.S. Ivannikov Institute for System Programming Russian Academy of Sciences Russia

The paper is devoted to deriving tests with guaranteed fault coverage for Finite State Machines (FSM). FSMs and their compositions are widely used when deriving tests for various systems, including interactive services, and the synchronous composition describes the behavior of a multi modular system when all the channels are active at each time instance. Without loss of generality, we assume that an output port of each FSM component is connected with at most one input port of another FSM component and propose a simplified approach for deriving the synchronous composition of deterministic complete FSMs using well known operators over FSMs. We also extend the sufficient conditions for checking the closure of the synchronous composition operator with respect to deterministic complete FSMs showing that for the operator closure it is sufficient that each composition cycle contains a Moore pair, i.e., a pair of some component FSM such that outputs do not significantly depend on inputs (Moore condition). If a system under test has the same structure as the reference composition and faults of component FSMs do not break the Moore condition, then a transition tour of the composed FSM is a good quality test when component states can be observed (testing with open state). We also propose how to derive a test with guaranteed fault coverage for a component FSM of our interest when states cannot be observed under the condition that input and output ports of a component under test can still be observed. © 2018 CEUR-WS. All rights reserved.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

Quasi-Hydrodynamic Approach for Simulating Internal Wave Attractors

引用

Mathematical Models and Computer Simulations 2022年第4期14卷 547-558页

作者： Ryazanov, D.A. Ivannikov Institute of System Programming Russian Academy of Sciences Moscow Russian Federation

Abstract: On the example of the problem of modeling wave attractors in a stratified fluid, the advantages of the quasi-hydrodynamic (QHDFoam) algorithm over the classical algorithm of operator splitting (PISO) are demonstrated. Both algorithms are implemented by the finite volume method based on the OpenFOAM open source software package. It is shown that the application of the PISO algorithm does not reproduce the dynamics of multiple reflection and focusing of internal waves in a stratified fluid during the interaction with the boundaries of the computational domain. The QHDFoam algorithm based on solving the regularized Navier–Stokes equations gives results close to the data of the high-order spectral-element method, the data of which are considered as the reference in this study. © 2022, Pleiades Publishing, Ltd.

关键词： internal waves Nek5000 OpenFOAM QHDFoam wave attractors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：