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

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

来源：评论

学校读者我要写书评

暂无评论

Numeric Truncation Security Predicate

arXiv

引用

arXiv 2023年

作者： Mezhuev, Timofey Kobrin, Ilay Vishnyakov, Alexey Kuts, Daniil Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Russia Yandex Cloud Moscow Russia

Numeric truncation is a widely spread error in software written in languages with static data typing, such as C/C++ or Java. It occurs when the significant bits of the value with a bigger type size are truncated during value conversion to the smaller type. Utilizing one of the most powerful methods for path exploration and automated bug detection called dynamic symbolic execution (DSE), we propose the symbolic security predicate for numeric truncation error detection, developed on top of DSE tool Sydr. Firstly, we execute the program on the data, which does not lead to any errors. During program execution we update symbolic shadow stack and shadow registers to track symbolic sizes of the symbolic variables to avoid false positives. Then, if we meet the instruction, which truncates the symbolic variable, we build the security predicate, try to solve it with the SMT-solver and in case of success save new input file to reproduce the error. We tested our approach on Juliet Dynamic test suite for CWE-197 and achieved 100% accuracy. We approved the workability of our approach by detecting 12 new errors of numeric truncation in 5 different real-world open source projects within OSS-Sydr-Fuzz project. All of the errors were reported, most of the reports were equipped with appropriate fixes, successfully confirmed and applied by project maintainers. © 2023, CC BY-NC-ND.

关键词： Error detection

来源：评论

学校读者我要写书评

暂无评论

Profile-based type reconstruction for decompilation

Profile-based type reconstruction for decompilation

引用

IEEE Workshop on Program Comprehension

作者： K. Troshina A. Chernov A. Fokin Institute of System Programming RAS Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia

Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. In most cases static decompilation is unable to completely reconstruct high-level data types due to loss of typing information during compilation. We present several profile-based techniques that help to recover high-level types. The techniques include pointer/integer determination by value profiling and composite type identification by heap profiling.

关键词： Reconstruction algorithms Registers Reverse engineering Cybernetics Assembly Equations Mathematical programming Application software Computer bugs Computer languages

来源：评论

学校读者我要写书评

暂无评论

How To Classify Document Segments Using Graph Based Representation and Neural Networks

How To Classify Document Segments Using Graph Based Represen...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Daniil Kopylov Andrey Mikhaylov Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of the Russian Academy of Sciences Irkutsk Russian Federation Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russian Federation

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

Bottom-up segmentation approaches, where words are combined into lines, lines into paragraphs, etc., are well-known nowadays. In this work, we use this principle for classification of segments. The features of the blocks that make up a segment and their relationships can be sufficient for classification. Our approach combines a specific choice of features that increases explainability by employing the generalizing ability of neural networks. This work presents an intermediate result, but, nevertheless, the 0.793 classification accuracy on the part of PubLayNet indicates the competitive potential of the approach. It is expected that, similar to the transition from MLP to CNN for MNIST, the transition from vector representation at our stage to GCN at the planned stage will allow us to achieve good results in document classification.

关键词： Image segmentation Accuracy Conferences Neural networks Layout Vectors

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Graph Neural Network for Crawling Target Nodes in Social Networks

arXiv

引用

arXiv 2024年

作者： Lukyanov, Kirill Drobyshevskiy, Mikhail Shaikhelislamov, Danil Turdakov, Denis Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia Moscow Institute of Physics and Technology National Research University Moscow Russia

Social networks crawling is in the focus of active research the last years. One of the challenging task is to collect target nodes in an initially unknown graph given a budget of crawling steps. Predicting a node property based on its partially known neighbourhood is at the heart of a successful crawler. In this paper we adopt graph neural networks for this purpose and show they are competitive to traditional classifiers and are better for individual cases. Additionally we suggest a training sample boosting technique, which helps to diversify the training set at early stages of crawling and thus improves the predictor quality. The experimental study on three types of target set topology indicates GNN based approach has a potential in crawling task, especially in the case of distributed target nodes. © 2024, CC BY-NC-ND.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

InSight-reverse engineer CASE tool

InSight-reverse engineer CASE tool

引用

International Conference on Software Engineering (ICSE)

作者： N. Rajala D. Campara N. Mansurov SW Development Management Nortel Limited Ottawa ONT Canada Head of Department Institute for System Programming Moscow Russia

Building upon existing software systems while maintaining or improving software quality is a major goal of software engineering. To achieve this, every software engineering phase (requirements analysis, software design, implementation, testing and maintenance) must produce good quality outputs for the next phase. We believe that a next generation reverse engineering tool can assist in realizing this need. InSight is a new and powerful CASE toolset for software developers and architects, designed to support the development and maintenance of software throughout the complete lifecycle. The inSight tool suite provides software architects and developers with new capabilities of understanding existing software systems, allowing them to ask their day-to-day questions directly to the tool and receive up-to-date answers while interacting with the tool. It includes data mining capabilities such as code flow extraction, and software interaction extraction such as operating system and application specific messaging, uses, needs, etc. The inSight tool suite also includes powerful graphical interfaces for presenting and manipulating the extracted information. Control flow is presented as editable flowcharts. InSight supports Protel, ANSI C, and C++. InSight uses a patent pending reverse engineering technique to perform these extractions.

关键词： Computer aided software engineering Data mining Software maintenance Software tools Software systems Software engineering Reverse engineering Maintenance engineering Buildings Software quality

来源：评论

学校读者我要写书评

暂无评论

Conservative out-of-core rendering of large dynamic scenes using HDLODs 31

Conservative out-of-core rendering of large dynamic scenes u...

引用

31st International Conference on Computer Graphics and Vision, GraphiCon 2021

作者： Semenov, Vitaly Shutkin, Vasily Zolotov, Vladislav Ivannikov Institute for System Programming of the Russian Academy of Sciences Alexander Solzhenitsyn st. 25 Moscow109004 Russia Moscow Institute of Physics and Technology 9 Institutskiy per. Dolgoprudny141701 Russia National Research University Higher School of Economics 11 Pokrovsky Bulvar Moscow109028 Russia

Rendering of large scenes in external memory is one of the most important problems of computer graphics, which is used in such areas as CAD/CAM/CAE, geoinformatics, project management, scientific visualization, virtual and augmented reality, computer games and animation. Unlike static scenes, for which a number of effective approaches have been proposed, in particular, levels of detail (LOD), rendering of large dynamic scenes with a given level of the tolerance and trustworthiness remains a big challenge. This paper discusses and investigates the possibility of using the previously proposed method of hierarchical dynamic levels of detail (HDLOD) for conservative rendering of dynamic scenes with a deterministic nature of events in external memory. The carried out series of computational experiments prove the feasibility and effectiveness of the method for real industrial scenes when employed in combination with memory management techniques. © 2021 Copyright for this paper by its authors.

关键词： Computer games

来源：评论

学校读者我要写书评

暂无评论

Implementation of Regularized Equations for the Disk Pump Simulation Problem in OpenFOAM

Implementation of Regularized Equations for the Disk Pump Si...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Tatiana Stenina Tatiana Elizarova Daniil Ryazanov Eugene Ryabinkin Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Keldysh Institute of Applied Mathematics of the RAS Moscow Institute of Physics and Technology NRC Kurchatov Institute

Creating an effective pump that is able to maintain blood circulation in a heart with appropriate medical indications is undoubtedly a crucial task. First versions of such devices are currently being created and tested on the basis of IFPM SB RAS, Novosibirsk. This work is devoted to a pump numerical simulations in order to optimize parameters. Equations of viscous incompressible fluid flow are used for this purpose. Implemented numerical algorithm is based on the regularization of the initial equations, which applies a finite volume method that avoids limiting procedures and includes them controlled numerical dissipation. Calculations are carried out within open software package OpenFOAM is installed at ISP RAS. Unsteady flow in the pump is studied.

关键词： Mathematical model Computational modeling Blood Numerical models Geometry Trajectory Rotors

来源：评论

学校读者我要写书评

暂无评论

Using intelligent transportation systems (ITS) data for emission estimation

Using intelligent transportation systems (ITS) data for emis...

引用

Air and Waste Management Association's - 99th Annual Conference and Exhibition 2006

作者： Schneider IV, William H. Zietsman, Josias Knowles, William E. Texas Transportation Institute Texas A and M University System 3135 TAMU College Station TX 77843-3135 United States Center for Air Quality Studies - Gilchrist Texas Transportation Institute Texas A and M University System College Station TX 77843-3135 United States Transportation Planning and Programming Division Texas Department of Transportation 12828 Texas Sage Court Austin TX 78732 United States

ISBN: (纸本)0923204806

A corridor sensitivity analysis was performed at Houston, TX, to help analyze the local placement of ITS technologies to improve the overall performance of current and future EPA emission models. There was a potential difference of > 20% depending on the base bin data, vehicle speed, and vehicle-miles traveled. As a result of these findings, a corridor sensitivity study was developed with real-time ITS data for one section of the I-10 corridor in San Antonio, TX. The impact of temporal aggregation associated with a nonrecurring incident was quantified. MOBILE6 emission rates were developed specifically for the San Antonio area. There was slight difference in vehicle emissions estimation between the two techniques for temporal aggregation between the 5 through 30 min aggregated bins. There was some difference in the emissions estimation between the 1-min and the 45 and 60 min aggregation levels. This is an abstract of a paper presented at the AWMA's 99th Annual Conference and Exhibition (New Orleans, LA 6/20-23/2006).

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：