Trudy Instituta sistemnogo programmirovaniia RAN最新文献_第5页

Application of Design Patterns in the Development of the Architecture of Monitoring Systems 设计模式在监控系统体系结构开发中的应用

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-10

Alexandra Alekseevna Pasinkova, Olga Leonidovna Vikentyeva

引用次数: 0

“Symcrete” memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE KLEE中具有延迟初始化和符号大小对象的“对称”内存模型

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-7

Sergey Antonovich Morozov, Aleksandr Vladimirovich Misonizhnik, Dmitry Aleksandrovich Mordvinov, Dmitry Vladimirovich Koznov, Dmitry Arkadevich Ivanov

引用次数: 0

On Problems in 2D Viscous Flows Simulation at Higher Values of the Reynolds Numbers by Vortex Methods Using the VM2D Code 基于VM2D代码的高雷诺数下二维粘性流动的涡法模拟问题

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-14

Irina Aleksandrovna Korobova, E. Ryatina, Anna Aleksandrovna Khorosheva

{"title":"On Problems in 2D Viscous Flows Simulation at Higher Values of the Reynolds Numbers by Vortex Methods Using the VM2D Code","authors":"Irina Aleksandrovna Korobova, E. Ryatina, Anna Aleksandrovna Khorosheva","doi":"10.15514/ispras-2023-35(2)-14","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-14","url":null,"abstract":"Vortex methods of computational fluid dynamics are an efficient tool in engineering practice for estimating hydrodynamic loads acting on bodies placed in a flow. Their usage allows for solving of coupled hydroelastic problems with relatively small computational cost. In many applications, the cross flow around structural elements with large elongation is considered, that allows one to use the flat cross-sections method providing the acceptable accuracy. Thus, flat flows simulation around airfoils is required. Modern modifications of vortex particle methods make it possible to simulate flows of a viscous incompressible medium. Based on the method of viscous vortex domains in 2017-2022 the VM2D code have been developed in Bauman University and Ivannikov Institute for System Programming. This code allows for flow simulating around airfoils with acceptable accuracy at low Reynolds numbers, while for higher Reynolds numbers, correct results are observed only for airfoils with sharp edges and corner points, and only in regimes where the most intensive flow separation takes place at these points. The reason for the error in the results for other regimes is seen in incorrect modeling of the flow separation on smooth airfoil surface line at high Reynolds numbers, which, in turn, is a consequence of incorrect modeling of vorticity evolution in the vicinity of separation points (zones). Some results of flow simulations around different airfoils at different values of the Reynolds number are presented and a hypothesis explaining the reason for the discrepancy between numerical results and experimental data is proposed. It is shown that the kinetic energy spectrum of turbulence corresponds to “two-dimensional turbulence”.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"254 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76339095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On open third-party libraries usage in implementation of vortex particle methods of computational fluid dynamics 开放第三方库在计算流体动力学涡旋粒子方法实现中的应用

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-13

I. Marchevsky, Yulia Izmailova, M. A. Erofeeva, D. Y. Kobzar

引用次数: 0

Software project estimation using smooth curve methods and variable selection and regularization methods using a wedge-shape form database 软件项目估算采用光滑曲线法，变量选择和正则化方法采用楔形形式的数据库

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-9

F. Valdés-Souto, Lizbeth Naranjo-Albarrán

{"title":"Software project estimation using smooth curve methods and variable selection and regularization methods using a wedge-shape form database","authors":"F. Valdés-Souto, Lizbeth Naranjo-Albarrán","doi":"10.15514/ispras-2023-35(1)-9","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(1)-9","url":null,"abstract":"Context: The impact of an excellent estimation in planning, budgeting, and control, makes the estimation activities an essential element for the software project success. Several estimation techniques have been developed during the last seven decades. Traditional regression-based is the most often estimation method used in the literature. The generation of models needs a reference database, which is usually a wedge-shaped dataset when real projects are considered. The use of regression-based estimation techniques provides low accuracy with this type of database. Objective: Evaluate and provide an alternative to the general practice of using regression-based models, looking if smooth curve methods and variable selection and regularization methods provide better reliability of the estimations based on the wedge-shaped form databases. Method: A previous study used a reference database with a wedge-shaped form to build a regression-based estimating model. This paper utilizes smooth curve methods and variable selection and regularization methods to build estimation models, providing an alternative to linear regression models. Results: The results show the improvement in the estimation results when smooth curve methods and variable selection and regularization methods are used against regression-based models when wedge-shaped form databases are considered. For example, GAM with all the variables show that the R-squared is for Effort: 0.6864 and for Cost: 0.7581; the MMRE is for Effort: 0.1095 and for Cost: 0.0578. The results for the GAM with LASSO show that the R-squared is for Effort: 0.6836 and for Cost: 0.7519; the MMRE is for Effort: 0.1105 and for Cost: 0.0585. In comparison to the R-squared is for Effort: 0.6790 and for Cost: 0.7540; the MMRE is for Effort: 0.1107 and for Cost: 0.0582 while using MLR.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"84 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86838520","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Approach to end-to-end testing of the application for managing the configuration of enterprise virtual infrastructure 用于管理企业虚拟基础设施配置的应用程序的端到端测试方法

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-10

E. Geraskin, N. Voinov

引用次数: 0

Peculiarities of numerical simulation of air/heat curtain operation in OpenFOAM OpenFOAM中空气/热幕运行数值模拟的特点

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-15

S. Grigorev, M. Koroleva, O. Mishchenkova

{"title":"Peculiarities of numerical simulation of air/heat curtain operation in OpenFOAM","authors":"S. Grigorev, M. Koroleva, O. Mishchenkova","doi":"10.15514/ispras-2023-35(2)-15","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-15","url":null,"abstract":"The issues of mathematical modeling of turbulent heat-conductive flow of compressible viscous medium in the internal volume of the body of an air-thermal curtain equipped with a tangential fan are considered. The solution of the problem is constructed on the basis of averaged Reynolds (Favre) Navier-Stokes equations. The solution of the problem is obtained using the MRF (Multiple Reference Frame) approach, which uses a rotating reference frame, and using a transformation of the basic Navier-Stokes equations in the rotation zone. In order to correctly describe the working processes occurring in the internal volume of the air-thermal curtain and in the environment, modular multiblock meshes are applied in the work, including those allowing to separate rotating and stationary areas. The solution of the set tasks is constructed using the tools of the OpenFOAM package. As a result of the work, the peculiarities of the flow structure in the flowing part of the air-heat curtain are described in detail, and the gas velocities achieved at different fan speeds are estimated. The self-similarity of velocity profiles at the air curtain nozzle outlet is shown.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90845334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Parallelism reduction method in the high-level VLSI synthesis implementation 高阶VLSI合成实现中的并行减少方法

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2022-06-22 DOI: 10.15514/ispras-2022-34(1)-5

D. Romanova, O. Nepomnyashchiy, I. Ryzhenko, A. Legalov, Natalya Yurievna Sirotinina

引用次数: 1

Protocol automata recovery method using binary code 协议使用二进制代码自动恢复方法

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2022-01-01 DOI: 10.15514/ispras-2022-34(5)-3

Ivan Vladimirovich Sharkov

{"title":"Protocol automata recovery method using binary code","authors":"Ivan Vladimirovich Sharkov","doi":"10.15514/ispras-2022-34(5)-3","DOIUrl":"https://doi.org/10.15514/ispras-2022-34(5)-3","url":null,"abstract":"Security analysis of network programs includes set of reverse engineering tasks of network protocols. Data formats restoring and implemented protocol automaton are the previous task issues. Unlike quite researched problem of formats restoring where there are lots of scientist’s papers, finding out the protocol's automaton program implementation looks like terra incognita and the cornerstone is a protocol state description currently undefined. There are two general ways to retrieve the implemented protocol automaton: an analysis of the network traces and looking into binary trace of the target application. This article offers a second one method. The first aim of the paper is the way to describe a mathematical model of a protocol automaton and a method for projecting it onto an executing application binary code. The second is concept of the protocol state definition and a principle to detect the states transitions based on some \"global\" binary trace objects, are described. Thirdly, there is suggested a protocol automaton precising manner by in-memory fuzzing based on a \"floating\" fork-server to manage states transitions. Finally, developed toolset's scheme and experiments on its using with a real VPN client, are shown.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"69 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77865426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

An Approach to Test Program Generation for Memory Coherence Verification of “Elbrus” Microprocessors Elbrus微处理器内存一致性验证的测试程序生成方法

Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2022-01-01 DOI: 10.15514/ispras-2022-34(2)-1

Vladimir Agafonov, Pavel Frolov, A. Meshkov

引用次数: 0