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

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata

AUTOMATION AND REMOTE CONTROL 2023年第6期84卷 606-611页

作者： Burdonov, I. B. Evtushenko, N. V. Kossachev, A. S. Kushik, N. G. Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Inst Polytech Paris SAMOVAR Telecom SudParis Palaiseau France

The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata;corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state;in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called "gedanken" experiments with classical Finite State Machines;the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.

关键词： finite input/output automaton homing sequence synchronizing sequence

来源：评论

学校读者我要写书评

暂无评论

Towards the Salinity Profile Influence on an Internal Wave Attractor Formation

引用

WATER WAVES 2024年第2期6卷 333-348页

作者： Elistratov, Stepan But, Ivan RAS Shirshov Inst Oceanol Moscow Russia RAS Ivannikov Inst Syst Programming Moscow Russia

A wave attractor is a peculiar hydrodynamic structure that forms under certain conditions, including vertical stratification of water. Previous studies have mainly focused on wave attractors in fluids with a linear salinity profile. However, more complex non-linear salinity profiles are typical of real water reservoirs. To gain a better understanding of natural wave attractors, it is necessary to study their formation in basins with stratification similar to that found in real oceans. This study aims to compare the properties of wave attractors formed under non-uniform stratification with those formed under linear stratification. Energy accumulation and instability development are studied to clarify the influence of the salinity profile shape on the formation of wave attractors and their properties.

关键词： Wave attractor Internal waves Salinity profile CFD

来源：评论

学校读者我要写书评

暂无评论

Configurable Test system for RTOS

引用

programming AND COMPUTER SOFTWARE 2023年第4期49卷 286-294页

作者： Godunov, A. N. Khomenkov, I. I. Shchepkov, V. G. Khoroshilov, A. V. Russian Acad Sci Fed State Inst Sci Res Inst Syst Anal Moscow 117218 Russia Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia

The article describes a test system designed for verification of the real-time operating system (RTOS) for embedded systems, which was developed and used at the Scientific Research institute for system Analysis of the Russian Academy of Sciences (SRISA RAS). This Unix-like operating system is based on the POSIX and ARINC-653 programming standards. Of course, there exists specialized software for automation of testing of Unix-like systems: Avocado, LAVA, Linux Test Project, Linux Distribution Checker, Open POSIX Test Suite, UnixBench, etc. But the use of such ready-made software systems is not always convenient, because they either contain only highly specialized test suites, or support only certain hardware, or do not contain a flexible configuration system. Therefore, the researchers at the SRISA RAS developed their own original test system. The task was to create a convenient testing tool for both software testers and programmers. Many years of experience in using the test system has shown the effectiveness of its use to improve the quality of software products, reduction of time spent on testing and analysis of results, maximally automate software testing process, speed up the process of developing new software versions, and simplify the process of debugging, finding and fixing errors by software developers.

关键词： real time operating system RTOS software testing automation of software development cross-platform software development program language C C plus plus POSIX ARINC-653

来源：评论

学校读者我要写书评

暂无评论

Cloud Data Storage and Private Information Retrieval Algorithms

引用

programming AND COMPUTER SOFTWARE 2024年第6期50卷 425-434页

作者： Varnovskiy, N. P. Martishin, S. A. Khrapchenko, M. V. Shokurov, A. V. Lomonosov Moscow State Univ Informat Secur Sect Informat Secur Inst Moscow 119192 Russia Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia

The authors consider the private information retrieval (PIR) problem, in particular, the problem of ensuring secure queries to a database. Previously, the authors considered this problem for a cloud database in the presence of an active adversary who does not interfere with the execution of the PIR protocol but can carry out an attack with known open queries. In the proposed algorithms, bit number i is represented as an l-ary number with d digits. An algorithm for database placement on the cloud and an algorithm for bit querying with the use of permutations in the digits of a bit number, where bit number i is defined in a base-l number system, are proposed. The permutations are regarded as secret encryption keys. The communication complexity and the probability of guessing the bit number in a single attack with a known open query for bit number i, as well as in an attack with an unlimited number of known open queries, are estimated.

关键词： Structured Query Language

来源：评论

学校读者我要写书评

暂无评论

Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection

引用

IEEE ACCESS 2024年 12卷 80128-80137页

作者： Aslanyan, Hayk Movsisyan, Hovhannes Hovhannisyan, Hripsime Gevorgyan, Zhora Mkoyan, Ruslan Avetisyan, Arutyun Sargsyan, Sevak Russian Armenian Univ Ctr Adv Software Technol Yerevan 0051 Armenia Russian Acad Sci RAS Ivannikov Inst Syst Programming Moscow 109004 Russia

This article introduces a novel method for the precise and scalable detection of memory leaks comprising two primary stages. Initially, context-, flow-, and field-sensitive static analysis is used to identify potential memory leaks. This includes an annotation system that allows specifying key properties of functions. Therefore, they do not need to be reanalyzed every time they are called. It also allows manual annotation of important library or system functions, thus enhancing analysis quality. The static analysis is conducted in reverse topological order on the call graph, enabling the parallel processing of functions within the same level of hierarchy. Subsequently, directed symbolic execution provides path-sensitivity and effectively filters out false positives. This process is performed concurrently for each bug detected by static analysis. This two-stage approach aims to enhance the efficiency and precision of memory leak detection in industrial software. The proposed method was implemented in the MLH (Memory Leak Hunter) tool, which identified numerous bugs in the open-source software, including OpenSSL, FFmpeg, and Radare2. These bugs were reported and confirmed by the community, thereby proving the effectiveness of the developed method.

关键词： Directed symbolic execution static analysis memory leak

来源：评论

学校读者我要写书评

暂无评论

Identifying Transport Properties of Gas from Measurements of Heat Flux at Stagnation Point of Blunt Body. Technique and Experimental Results

引用

JOURNAL OF ENGINEERING THERMOPHYSICS 2024年第2期33卷 384-396页

作者： Nenarokomov, A. V. Reviznikov, D. L. Budnik, S. A. Titov, D. M. Morzhukhina, A. V. Netelev, A. V. Borisenko, I. A. Natl Res Univ Moscow Aviat Inst Dept Space Syst & Rocket Engn Moscow Russia Natl Res Univ Moscow Aviat Inst Dept Computat Math & Programming Moscow Russia

In their previous work [1], the authors presented a method of identifying the characteristics of a gaseous medium from measurements of the heat flux absorbed by the surface of a blunt body in a gas flow. The identification problem was stated in an extreme formulation: the sought-for transport properties of a gaseous medium were determined via minimization of the objective function of the estimated and measured heat fluxes absorbed by the surface of a solid body. For minimization of the objective function, the Nelder-Mead method was used in combination with random restarts;the results of testing the algorithm in a model experiment are given. This paper presents the technique of conduction of experiment to verify the method for identification of the gas flow parameters. Experimental results are given for two different gas flow sources.

关键词： Flow of gases

来源：评论

学校读者我要写书评

暂无评论

Named Entity Recognition for Code Review Comments

引用

programming AND COMPUTER SOFTWARE 2024年第7期50卷 511-523页

作者： Kachanov, V. V. Khitrova, A. S. Markov, S. I. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia Moscow Inst Phys & Technol Dolgoprudnyi 141701 Moscow Oblast Russia Lomonosov Moscow State Univ Moscow 119991 Russia

This paper addresses the problem of named entities recognition from source code reviews. The paper provides a comparative analysis of existing approaches and proposes its own methods to improve the quality of problem solving. Proposed and implemented improvements include: methods to deal with data imbalances, improved tokenization of input data, the use of large arrays of unlabeled data, and the use of additional binary classifiers. To assess quality, a new set of 3000 user code reviews was collected and manually labeled. It is shown that the proposed improvements can significantly increase the performance measured by quality metrics, calculated both at the token level (+22%) and at the entire entity level (+13%).

关键词： machine learning named entity recognition dataset

来源：评论

学校读者我要写书评

暂无评论

Discrete cutting path problems: a general solution framework and industrial applications

引用

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2025年第3期63卷 949-969页

作者： Khachai, Daniil Battaia, Olga Petunin, Alexander Khachay, Michael Kedge Business Sch 680 Cours Liberat Talence France Ural Fed Univ Ekaterinburg Russia NN Krasovskii Inst Math & Mech Ekaterinburg Russia RAS Ivannikov Inst Syst Programming Moscow Russia

The optimal tool routing for cutting machines, also known as cutting path optimisation is an important problem in production research. This problem is relevant in various manufacturing environments such as aeronautic, automotive, garment and semiconductor industries. In this paper, we introduce a general solution framework for the discrete Cutting Path Problem which includes: (i) the universal approach to reduce numerous settings of this problem to the appropriate auxiliary instances of the well-known Precedence Constrained Generalized Traveling Salesman Problem;(ii) the proposition of efficient solution methods for finding (sub-) optimal solutions. We carry out extensive computational experiments in order to evaluate performance of the proposed framework and the obtained results demonstrate its efficiency for real-life industrial instances.

关键词： Cutting path problem endpoint cutting problem precedence constrained generalised travelling salesman problem branch-and-cut algorithm adaptive large neighbourhood search industry innovation and infrastructure

来源：评论

学校读者我要写书评

暂无评论

A Survey of Software Dynamic Analysis Methods

引用

programming AND COMPUTER SOFTWARE 2024年第1期50卷 90-114页

作者： Kuliamin, V. V. Russian Acad Sci Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Lomonosov Moscow State Univ Leninskie Gory 1 Moscow 119991 Russia

A review of software dynamic analysis methods is presented, mainly focusing on the methods supported by tools targeted on software security verification and applicable to system software. Fuzzing, runtime verification and dynamic symbolic execution techniques are considered in detail. Dynamic taint data analysis methods and tools are excluded since gathering technical details on them is complicated. The review of fuzzing and dynamic symbolic execution is focused mostly on the techniques to solve various problems that arise during operation of the tools rather than the particular tools that amount to a number greater than 100. In addition, the fuzzing counteraction techniques are considered.

关键词： software dynamic analysis verification fuzzing dynamic symbolic execution runtime verification fuzzing counteraction

来源：评论

学校读者我要写书评

暂无评论

Implementation of the QGD Algorithm Using AMR Technology and GPU Parallel Computing 24th

Implementation of the QGD Algorithm Using AMR Technology and...

引用

24th International Conference on Computational Science (ICCS)

作者： But, Ivan Epikhin, Andrey Kirushina, Maria Elizarova, Tatiana RAS Ivannikov Inst Syst Programming Moscow 109004 Russia RAS Keldysh Inst Appl Math Moscow 125047 Russia

ISBN: (纸本)9783031637858;9783031637834

The paper presents an algorithm based on the quasi-gasdynamic approach for the solution of unsteady compressible flows over a wide range of Mach numbers. It is implemented on the AMReX open platform, which uses adaptive mesh refinement technology to facilitate parallelization of computations on GPU architectures. To validate its effectiveness, the developed solver is applied to the numerical simulation of the shock-vortex interaction problem with flow parameter values of M-v = 0.9 and M-s = 1.5. Cross-validation to assess its performance is conducted with OpenFOAM-based solvers, specifically rhoCentralFoam and QGDFoam. Schlieren fields are used to evaluate oscillations of the numerical schemes and algorithms, while resolution capabilities of the algorithm are assessed by comparing density fields in five cross-sections with the reference values.

关键词： Shock-vortex interactions Compressible flow Quasi-gas dynamic equations OpenFOAM AMReX

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：