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

Ivannikov ISPras Open Conference (ISPras)

作者： A.G. Petrov A.D. Sukhov I.N. Sibgatullin A.D. Britov Ishlinsky Institute for Problems in Mechanics RAS Moscow 119526 Russia Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia

The two-dimensional problem of a viscous laminar flow around Zhukovsky airfoils at an angle of attack is considered. Based on the approach of local similarity, which was proposed by Kochin and Loytsyansky for the equations of laminar boundary layer, we have found the shear stresses at the aifoil, and the coordinates of the separation points. Assuming the values of the velocities at the separation points to be equal, we find the value of the circulation. A complete solution to the problem of the velocity and pressure field outside the boundary layer is also constructed. The theoretical results are compared with the available experimental data and numerical simulations of the Navier-Stokes equations.

关键词： Drag Force Numerical simulation Aerodynamics Mathematical models Automotive components Stress

来源：评论

学校读者我要写书评

暂无评论

Fog Computing State of the Art: Concept and Classification of Platforms to Support Distributed Computing systems

Supercomputing Frontiers and Innovations

引用

Supercomputing Frontiers and Innovations 2021年第3期8卷 17-50页

作者： Kirsanova, Alexandra A. Radchenko, Gleb I. Tchernykh, Andrei N. South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico United States Ivannikov Institute for System Programming of the RAS Russia

As the Internet of Things (IoT) becomes a part of our daily life, there is a rapid growth in the connected devices. A well-established approach based on cloud computing technologies cannot provide the necessary quality of service in such an environment, particularly in terms of reducing data latency. Today, fog computing technology is seen as a novel approach for processing large amounts of critical and time-sensitive data. This article reviews cloud computing technology and analyzes the prerequisites for the evolution of this approach and the emergence of the concept of fog computing. As part of an overview of the critical features of fog computing, we analyze the frequent confusion of the concepts of fog and edge computing. We provide an overview of fog computing technologies: virtualization, containerization, orchestration, scalability, parallel computing environments, as well as systematic analysis of the most popular platforms that support fog computing. As a result of the analysis, we offer two approaches to classification of the fog computing platforms: by the principle of openness/closure of components and by the three-level classification based on the provided platform functionality (Deploy-, Platform- and Ecosystem as a Service). © 2021. All Rights Reserved.

关键词： Fog computing

来源：评论

学校读者我要写书评

暂无评论

Methods for Solving Variational Inequalities with Markovian Stochasticity

arXiv

引用

arXiv 2024年

作者： Solodkin, Vladimir Ermoshin, Michael Gavrilenko, Roman Beznosikov, Aleksandr Moscow Institute of Physics and Technology Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Innopolis University Innopolis Russia

In this paper, we present a novel stochastic method for solving variational inequalities (VI) in the context of Markovian noise. By leveraging Extragradient technique, we can productively solve VI optimization problems characterized by Markovian dynamics. We demonstrate the efficacy of proposed method through rigorous theoretical analysis, proving convergence under quite mild assumptions of L-Lipschitzness, strong monotonicity of the operator and boundness of the noise only at the optimum. In order to gain further insight into the nature of Markov processes, we conduct the experiments to investigate the impact of the mixing time parameter on the convergence of the algorithm. Copyright © 2024, The Authors. All rights reserved.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Improving Scalability of Inter-module Source Code Static Taint Analysis

Improving Scalability of Inter-module Source Code Static Tai...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： D.A. Chibisov N.V. Shimchik V.N. Ignatyev Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University Moscow Russian Federation

Taint analysis mainly detects data leaks and unsafe use of untrusted data obtained from external sources. It reports dataflow paths connecting taint sources and taint sinks in the analyzed program. This paper focuses on inter-modular aspect of project analysis: large projects may contain dozens or even hundreds of target executable files to be analyzed. If analyzed separately, scalability problem arises due to high percentage of reused source files. Here we discuss the idea of linking these bitcode files together to form a single project-wide bitcode file and some caveats of this method: e.g. it makes possible to have execution paths visiting functions' definitions which never appear in the same target file. We also propose a method of eliminating such paths for IFDS-based analyzers. The methods were implemented in static taint analyzer Irbis and evaluated on several real projects with hundreds of thousands lines of code.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improving the Accuracy of Library Function Modeling in the Static Analyzer

Improving the Accuracy of Library Function Modeling in the S...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： M. G. Biktimirov V. N. Ignatyev M. V. Belyaev Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University Moscow Russian Federation

Program's source code usually contains many calls of library functions without available sources, therefore there is no way to analyze them like user code. To achieve accuracy required by industrial static analyzer, various library modeling methods are used. The paper presents one of the methods used by the SharpChecker static source code analyzer for modeling library functions using C# specifications in the symbolic execution engine. The approach allows to store and explore predicates of events, important side-effects and other information useful for error detectors with reasonable accuracy. It makes it possible to model side-effects of user-defined lambda-functions passed to external methods as parameters, which is especially important for frequently used C# LINQ methods. The effectiveness of these improvements was evaluated on the set of open source projects containing 6 million lines of code.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Agent-based approach to hybrid modeling queuing systems 1

Agent-based approach to hybrid modeling queuing systems

引用

1st International Workshop on Advanced Information and Computation Technologies and systems, AICTS 2020

作者： Feoktistov, A.G. Kostromin, R.O. Basharina, O.Yu. Tchernykh, A. Dmitriev, V.I. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov St. 134 Irkutsk664033 Russia Irkutsk State University Karl Marx St. 1 Irkutsk664003 Russia CICESE Research Center Ensenada-Tijuana Highway Ensenada22860 Mexico Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia

Nowadays, the study of the behavior of social, economic, and technical queuing systems at different stages of their design and operation is a challenge for simulation modeling. The complexity of the dynamic structure of such systems is owing to a number of factors. Among them are a large number of system characteristics and relations between them, the existence of a large spectrum of distribution laws of random events, the need to collect and analyze current data on the system under study, and the presence of various constraints. Moreover, relations can be represented by functional, statistical, ambiguous, or other mappings. Unfortunately, simulation modeling tools are not widespread in designing and applying business processes, unlike other products of information and computation technologies (system of the office administration, warehouse management, etc.). In this regard, we present an approach to developing web-service for simulation modeling of queuing systems. Within the approach, we automate some stages of web-service development and use. To this end, we apply tools that support distributed computing with parameter variations in a heterogeneous environment, which includes virtualized resources. We provide a multi-agent management of computations. The practical use of the tools is shown on the example of developing a web-service for simulation modeling of a typical health and care institution. © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Toolkit for simulation modeling of queue systems in Grid 1

Toolkit for simulation modeling of queue systems in Grid

引用

1st International Workshop on Information, Computation, and Control systems for Distributed Environments, ICCS-DE 2019

作者： Feoktistov, A.G. Kostromin, R.O. Fereferov, E.S. Tchernykh, A. Basharina, O.Yu. Dmitriev, V.I. Kurzybova, Ya.V. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia CICESE Research Center Ensenada-Tijuana Highway Ensenada22860 3918 Mexico Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia Irkutsk State University Karl Marx St. 1 Irkutsk664003 Russia

The paper addresses an important problem related to automation of simulation modeling of queue systems using high-performance computing. There is a large spectrum of tools for the simulation modeling of such systems. However, these tools often do not use the possibilities of subject-oriented high-performance computing in full. The purpose of the study is the development of the new tools for automation of the simulation modeling of queue systems in a heterogeneous distributed computing environment. To this end, we develop specialized applications for parameter sweep computations in such an environment. A methodology of the application development is based on the integrated use of methods of the conceptual and wireframe programming, methods of the computations planning and resources allocation, methods of parameter sweep computations, and methods of the data analysis. We develop the toolkit named SIRIUS III for the simulation modeling of queue systems using high-performance computing. In addition, we design a conceptual model that represents knowledge about both the subject domain of solved problems and computing environment. Using the proposed toolkit, we solved a number of problems related to warehouse logistics. Computational experiments showed the high scalability of parameter sweep computations on heterogeneous resources. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Queueing theory

来源：评论

学校读者我要写书评

暂无评论

Improving Accuracy and Completeness of Source Code Static Taint Analysis

Improving Accuracy and Completeness of Source Code Static Ta...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： N. V. Shimchik V. N. Ignatyev A. A. Belevantsev Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University Moscow Russian Federation

ISBN: (纸本)9781665423311

Static analysis is a general name for various methods of program examination without actually executing it. In particular, it is widely used to discover errors and vulnerabilities in software. Taint analysis usually denotes the process of checking the flow of user-provided data in the program in order to find potential vulnerabilities. It can be performed either statically or dynamically. In the paper we evaluate several improvements for the static taint analyzer Irbis [1], which is based on a special case of interprocedural graph reachability problem - the so-called IFDS problem, originally proposed by Reps et al. [2]. The analyzer is currently being developed at the Ivannikov institute for system programming of the Russian Academy of Sciences (ISP ras). The evaluation is based on several real projects with known vulnerabilities and a subset of the Juliet Test Suite for C/C++ [3]. The chosen subset consists of more than 5 thousand tests for 11 different CWEs.

关键词： Codes Static analysis programming

来源：评论

学校读者我要写书评

暂无评论

Assessing the Coverage of W-Based Conformance Testing Methods Over Code Faults

SSRN

引用

SSRN 2024年

作者： El-Fakih, Khaled Hassan, Faiz Alzaatreh, Ayman Yevtushenko, Nina College of Engineering American University of Sharjah Sharjah United Arab Emirates Ivannikov Institute for System Programming of the RAS Moscow Russia

We present novel empirical assessments of prominent finite state machine (FSM) conformance test derivation methods against their coverage of code faults. We consider a number of realistic extended FSM examples with their related Java implementations and derive for these examples complete test suites using the W method and its HSI and H derivatives considering the case when the implementation under test (IUT) has the same number of states as the specification FSM. We also consider W++, HSI++, and H++ test suites derived considering the case when the IUT can have one more extra state. For each pair of considered test suites, we determine if there is a difference between the pair in covering the implementations faults. If the difference is significant, we determine which test suite outperforms the other. We run two other assessments which show that the obtained results are not due to the size or length of the test suites. In addition, we conduct assessments to determine whether each of the methods has better coverage of certain classes of faults than others and whether the W outperforms the HSI and H methods over only certain classes of faults. The results and outcomes of conducted experiments are summarized. © 2024, The Authors. All rights reserved.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Fog computing state of the art: Concept and classification of platforms to support distributed computing systems

arXiv

引用

arXiv 2021年

作者： Kirsanova, Alexandra A. Radchenko, Gleb I. Tchernykh, Andrei N. South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico Ivannikov Institute for System Programming of the RAS Russia

As the Internet of Things (IoT) becomes a part of our daily life, there is a rapid growth in the connected devices. A well-established approach based on cloud computing technologies cannot provide the necessary quality of service in such an environment, particularly in terms of reducing data latency. Today, fog computing technology is seen as a novel approach for processing large amounts of critical and time-sensitive data. This article reviews cloud computing technology and analyzes the prerequisites for the evolution of this approach and the emergence of the concept of fog computing. As part of an overview of the critical features of fog computing, we analyze the frequent confusion of the concepts of fog and edge computing. We provide an overview of fog computing technologies: virtualization, containerization, orchestration, scalability, parallel computing environments, as well as a systematic analysis of the most popular platforms that support fog computing. As a result of the analysis, we offer two approaches to classification of the fog computing platforms: by the principle of openness/closure of components and a three-level classification based on the provided platform functionality (Deploy-, Platform- and Ecosystem as a Service). © 2021, CC BY.

关键词： Fog computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：