Trudy Instituta sistemnogo programmirovaniia RAN最新文献

筛选
英文 中文
On the Issue of Using the Developed Software in the Educational Process for the Study of Acoustic Paths of Magnetostrictive Displacement Transducers 论开发的软件在磁致伸缩位移换能器声路研究教学过程中的应用问题
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-3
Artem Alekseevich Ivzanov
{"title":"On the Issue of Using the Developed Software in the Educational Process for the Study of Acoustic Paths of Magnetostrictive Displacement Transducers","authors":"Artem Alekseevich Ivzanov","doi":"10.15514/ispras-2023-35(3)-3","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-3","url":null,"abstract":"The article is devoted to the research of the processes arising during the formation, translation and reading of information signals in the acoustic paths of magnetostrictive linear and angular displacement transducers. Mathematical models are given that make it possible to calculate the magnetic fields of annular permanent magnets and those formed by current pulses when they flow in a waveguide medium. To calculate the magnetization of the waveguide, a numerical method was developed that allows taking into account the magnetization of the waveguide material at a previous time. Mathematical models are also given to calculate the parameters of the magnetic flux of the solenoid and the output signal. Mathematical models for calculating permanent magnet magnetic fields, the developed numerical method and mathematical models for the formation of magnetic flux and output signal were implemented in the developed software used in the educational process. The research results, as well as refined and developed methods for calculating magnetic fields and the numerical method can be used to study magnetostrictive devices both at the stage of their design and operation, which reduces their final cost. It should also be noted that the article does not address issues related to the processing of the output signal, which provides opportunities for further research and further modification of the software.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135262540","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
Deployment Approaches in Distributed Complex Event Processing 分布式复杂事件处理中的部署方法
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-5
Arsenij Andreevich Zorin, Irina Evgenyevna Chernetskaya
{"title":"Deployment Approaches in Distributed Complex Event Processing","authors":"Arsenij Andreevich Zorin, Irina Evgenyevna Chernetskaya","doi":"10.15514/ispras-2023-35(3)-5","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-5","url":null,"abstract":"Big Data technologies have traditionally focused on processing human-generated data, while neglecting the vast amounts of data generated by Machine-to-Machine (M2M) interactions and Internet-of-Things (IoT) platforms. These interactions generate real-time data streams that are highly structured, often in the form of a series of event occurrences. In this paper, we aim to provide a comprehensive overview of the main research issues in Complex Event Processing (CEP) techniques, with a special focus on optimizing the distribution of event handlers between working nodes. We introduce and compare different deployment strategies for CEP event handlers. These strategies define how the event handlers are distributed over different working nodes. In this paper we consider the distributed approach, because it ensures, that the event handlers are scalable, fault-tolerant, and can handle large volumes of data.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135263922","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
Research into Occurrence of Insecurely-Serialized Objects in Client-Side Code of Web-Applications web应用程序客户端代码中不安全序列化对象的研究
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-14
Denis Dmitrievich Mironov, D. A. Sigalov, Maxim Petrovich Malkov
{"title":"Research into Occurrence of Insecurely-Serialized Objects in Client-Side Code of Web-Applications","authors":"Denis Dmitrievich Mironov, D. A. Sigalov, Maxim Petrovich Malkov","doi":"10.15514/ispras-2023-35(1)-14","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(1)-14","url":null,"abstract":"This paper studies the occurrence of insecure deserialization in communication between client-side code and the server-side of a web application. Special attention was paid to serialized objects sent from JavaScript client-side code. Specific patterns of using serialized objects within the client-side JavaScript code were identified and unique classes were formulated, whose main goal is to facilitate manual and automatic analysis of web applications. A tool that detects a serialized object in the client-side code of a web page has been designed and implemented. This tool is capable of finding encoded serialized objects as well as serialized objects encoded using several sequentially applied encodings. For found samples of serialized objects, the tool determines the context in which the found object appears on the page. For objects inside JavaScript code, the tool identifies the previously mentioned classes by mapping the vertices of the abstract syntax tree (AST) of the code. Web application endpoints were checked for whether programming objects were deserialized on the server side, after obtaining the results of the study. As a result of this check, previously unknown vulnerabilities were found, which were reported to the developers of this software. One of them was identified as CVE-2022-24108. Based on the results of this research, a method was proposed to facilitate both manual and automated searches for vulnerabilities of the \"Deserialization of untrusted data\". The proposed algorithm was tested on more than 50,000 web application pages from the Alexa Top 1M list, as well as on 20,000 web application pages from Bug Bounty programs.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81942500","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
Ways to Organize Parallel Access to Structured Data 组织结构化数据并行访问的方法
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-8
Alexey Olegovich Ignatyev, Sergey Yurievich Mokshin, Dmitry Vladimirovich Ivankov, Evgeny Alexandrovich Beketov
{"title":"Ways to Organize Parallel Access to Structured Data","authors":"Alexey Olegovich Ignatyev, Sergey Yurievich Mokshin, Dmitry Vladimirovich Ivankov, Evgeny Alexandrovich Beketov","doi":"10.15514/ispras-2023-35(2)-8","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-8","url":null,"abstract":"This paper explores ways to achieve the highest possible exchange performance with files containing structured data. The research was carried out on file systems with supercomputer systems parallel access designed to solve problems of physical and mathematical modeling of various processes and objects. For example, parallel access to raw data is considered using the Lustre file system. The article suggests a way to organize parallel access to structured data based on a specially developed PSIO storage format and the psio access library. A comparative analysis of the I/O performance of the developed data storage format and the HDF5 parallel version format is performed.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"33 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87949473","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
Design and implementation of a diagnostic tool for Ethernet networks 以太网络诊断工具的设计与实现
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-9
Grigoriy Pavlovich Okhrimenko, Sergey Yurievich Mokshin, Alexey Olegovich Ignatyev
{"title":"Design and implementation of a diagnostic tool for Ethernet networks","authors":"Grigoriy Pavlovich Okhrimenko, Sergey Yurievich Mokshin, Alexey Olegovich Ignatyev","doi":"10.15514/ispras-2023-35(2)-9","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-9","url":null,"abstract":"This paper describes the tools developed by the authors for analyzing the topology of Ethernet networks, collecting, accumulating and displaying statistics of their work. Approaches for assessing the quality of network devices operation based on statistics are described. The developed software is used to analyze the operation of Ethernet networks in high-performance computing systems designed to solve numerical simulation problems. This work may be useful to specialists involved in the development and operation of Ethernet networks in computing systems based on the Linux operating system.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"23 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76954412","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
Alias Analysis and Calculus based on Segmentation Address Memory Model 基于分段地址存储模型的别名分析与计算
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-9
Igor Andreevich Parfenov
{"title":"Alias Analysis and Calculus based on Segmentation Address Memory Model","authors":"Igor Andreevich Parfenov","doi":"10.15514/ispras-2023-35(3)-9","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-9","url":null,"abstract":"We present a straightforward implementation of a simplified imperative programming language with direct memory access and address arithmetic, and a simple static analyzer for memory leaks. Our study continues a line of research attempted (in Innopolis University in years 2016-2022) on alias calculi for imperative programming languages with decidable pointer arithmetic but differs by memory address model – we study segmented memory model instead linear one.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135262534","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
Writable PSI Generator for a Multi-Language IDE Platform 用于多语言IDE平台的可写PSI生成器
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-2
Alexander Sergeevich Bozhnyuk, Alexander Alexandrovich Zakharov, Nikolay Vladimirovich Tropin, Mikhail Valeryevich Volkov
{"title":"Writable PSI Generator for a Multi-Language IDE Platform","authors":"Alexander Sergeevich Bozhnyuk, Alexander Alexandrovich Zakharov, Nikolay Vladimirovich Tropin, Mikhail Valeryevich Volkov","doi":"10.15514/ispras-2023-35(3)-2","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-2","url":null,"abstract":"Any state-of-the-art integrated development environment (IDE) should provide software developers with services for quick and correct code transformation. Such services can be used both for program refactoring to improve its quality and for quick fixing of syntax errors in source code. This paper presents the method of constructing a subsystem that makes it possible to create the services described above and also has the property of fast extensibility to support different programming languages. The method of transformation of Program Structure Interface (PSI) - a special data structure, which provides API for development of IDE-services, is proposed. Besides, a method of generating types for PSI in accordance with the syntax of the supported programming language is proposed. The approach is developed for a multi-language platform of a large telecommunications company. Refactoring and Quick Fix features are implemented using on the proposed generator for two IDEs: a Python IDE and a Java IDE.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135262537","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
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations 利用事件关系从多智能体系统的事件日志中发现过程模型
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(3)-1
Anastasiya Sherstyugina, Roman Nesterov
{"title":"Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations","authors":"Anastasiya Sherstyugina, Roman Nesterov","doi":"10.15514/ispras-2023-35(3)-1","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(3)-1","url":null,"abstract":"The structure of a process model directly discovered from an event log of a multi-agent system often does not reflect the behavior of individual agents and their interactions. We suggest analyzing the relations between events in an event log to localize actions executed by different agents and involved in their asynchronous interaction. Then, a process model of a multi-agent system is composed from individual agent models between which we add channels to model the asynchronous message exchange. We consider agent interaction within the acyclic and cyclic behavior of different agents. We develop an algorithm that supports the analysis of event relations between different interacting agents and study its correctness. Experimental results demonstrate the overall improvement in the quality of process models discovered by the proposed approach in comparison to monolithic models discovered directly from event logs of multiagent systems.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135263936","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
Real Application of CNN Interpretation Methods: Document Image Classification Model Errors’ Detection and Validation CNN解译方法的实际应用:文档图像分类模型错误的检测与验证
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(2)-1
A. Golodkov, O.V. Belyaeva, A. Perminov
{"title":"Real Application of CNN Interpretation Methods: Document Image Classification Model Errors’ Detection and Validation","authors":"A. Golodkov, O.V. Belyaeva, A. Perminov","doi":"10.15514/ispras-2023-35(2)-1","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(2)-1","url":null,"abstract":"In this paper, we consider the case of applying convolutional neural networks interpretation methods to ResNet 18 model in order to identify and justify model errors. The model is used in the problem of classifying the orientation of text documents images. First, using interpretation methods, an assumption was made as to why the neural network shows low metrics on data that differs from training images. The alleged reason was the presence of artifacts on the generated training images, caused by the use of an image rotation function. Further, using the Vanilla Gradient, Guided Backpropagation, Integrated Gradients, GradCAM methods and the invented metric, we managed to accurately confirm the hypothesis put forward. The obtained results helped to significantly improve the accuracy of the model.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"130 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82707575","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
Students’ Systems Thinking Competencies Level Identification through Concept Maps Assessment 通过概念图评估识别学生的系统思维能力水平
Trudy Instituta sistemnogo programmirovaniia RAN Pub Date : 2023-01-01 DOI: 10.15514/ispras-2023-35(1)-7
J. R. Aguilar Cisneros, R. Valerdi, B. Sullivan
{"title":"Students’ Systems Thinking Competencies Level Identification through Concept Maps Assessment","authors":"J. R. Aguilar Cisneros, R. Valerdi, B. Sullivan","doi":"10.15514/ispras-2023-35(1)-7","DOIUrl":"https://doi.org/10.15514/ispras-2023-35(1)-7","url":null,"abstract":"Systems Thinking Competencies have become extremely important and widely studied due to increasing systems complexity. Because of this, when they are taught, it is extremely useful to identify whether or not students own Systems Thinking Competencies in order to design a specific teaching strategy. This research applied an Adapted Holistic Scoring Method to assess Concept Maps developed by postgraduate and undergraduate engineering students in order to identify Systems Thinking Competencies. It had two phases. At the first one, Students showed an acceptable knowledge of cost estimation drivers, and a certain level of Systems Thinking Competencies. In the second phase, both cost estimation drivers and Systems Thinking Competencies showed an improvement. Mann-Whitney U-test was applied in order to identify if there were significant differences between Phase 1 and Phase 2. Confidence level of 95%, and a significance level of 0.05 was considered.","PeriodicalId":33459,"journal":{"name":"Trudy Instituta sistemnogo programmirovaniia RAN","volume":"10 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82885327","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信