发布求助
文献互助 智能选刊 最新文献

2021 Ivannikov Memorial Workshop (IVMEM)最新文献

筛选
英文 中文
Higher-Order Grid-Characteristic Schemes for the Acoustic System 声学系统的高阶网格特征格式
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00017
Igor Petrov, V. Golubev, Alex Shevchenko
{"title":"Higher-Order Grid-Characteristic Schemes for the Acoustic System","authors":"Igor Petrov, V. Golubev, Alex Shevchenko","doi":"10.1109/ivmem53963.2021.00017","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00017","url":null,"abstract":"The seismic survey process is the common technology nowadays for obtaining the correct information about the internal structure of oil and gas deposits. It relies on the seismic wave propagation inside the heterogeneous geological massif, their diffraction, backscattering, etc. To reduce estimation errors direct acoustic problems should be solved as precise as possible. In this work we successfully constructed novel high-order schemes for the numerical solution of the acoustic system. It is based on the method of splitting two-dimensional system along coordinate directions. To keep the approximation order achieved for the one-dimensional problem a special technique was used. We presented test results obtained with the smooth initial data.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117269410","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}
引用次数: 2
A framework for a systematic survey of known software defects 对已知软件缺陷进行系统调查的框架
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00019
S. Sargsyan, Movses Tovmasyan, J. Hakobyan, H. Aslanyan, S. Kurmangaleev
{"title":"A framework for a systematic survey of known software defects","authors":"S. Sargsyan, Movses Tovmasyan, J. Hakobyan, H. Aslanyan, S. Kurmangaleev","doi":"10.1109/ivmem53963.2021.00019","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00019","url":null,"abstract":"It is common practice to use third-party software in projects, which can lead to security problems. There are numerous cases when the known vulnerability was fixed in the upstream repository of the project but still exists in other projects. We present a framework for systematic analysis and detection of publicly known vulnerabilities in a large codebase. On the first stage, the vast codebase of open-source projects and known vulnerabilities are collected. On the second stage, for each known vulnerability, we try to find the corresponding source repository and extract the fixing patch. Based on extracted patches we construct possible vulnerable code fragments and try to find all their clones in the collected codebase. During the experimental setup, we have collected more than 42k open-source packages from Debian OS distribution. Analysis of these packages allowed us to detect more than four hundred copies of unfixed vulnerabilities, seven of them have already been approved and fixed by the vendors.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123417338","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
A Method to Evaluate Binary Code Comparison Tools 一种评估二进制代码比较工具的方法
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00006
Mariam Arutunian, Hripsime Hovhannisyan, V. Vardanyan, S. Sargsyan, S. Kurmangaleev, H. Aslanyan
{"title":"A Method to Evaluate Binary Code Comparison Tools","authors":"Mariam Arutunian, Hripsime Hovhannisyan, V. Vardanyan, S. Sargsyan, S. Kurmangaleev, H. Aslanyan","doi":"10.1109/ivmem53963.2021.00006","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00006","url":null,"abstract":"Binary code comparison tools are widely used to analyze vulnerabilities, search for malicious code, detect copyright violations, etc. The article discusses three tools - BCC, BinDiff, Diaphora. Those are based on static analysis of programs. The tools receive as input data two versions of the program in binary form and match their functions. The purpose of the article is to assess the quality of the tools. We developed a testing system to automatically determine the precision and recall of each instrument. F1 score on the developed testing system for BCC instrument is 85.6%, for BinDiff - 82.4%, for Diaphora - 64.7%.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130851365","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
Ontology Engineering at the Assertion Level Based on Semantic Annotation of Tabular Data 基于表格数据语义标注的断言级本体工程
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00011
N. Dorodnykh, A. Yurin, A. Shigarov, D. Y. Turdakov
{"title":"Ontology Engineering at the Assertion Level Based on Semantic Annotation of Tabular Data","authors":"N. Dorodnykh, A. Yurin, A. Shigarov, D. Y. Turdakov","doi":"10.1109/ivmem53963.2021.00011","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00011","url":null,"abstract":"Web tables are an important source of knowledge and can be used for ontology engineering. In this paper, we propose the approach for the semi-automated formation of domain ontologies at the assertion level (ABox) based on web tables. The proposed approach consists of 6 steps and is based on the use of the semantic annotation of separate elements of web tables. With the use of the semantic annotation procedure, we extract specific entities (ontology instances) from table cells. Our approach is implemented in the form of a web-based tool. We present a description of the architecture of this tool, as well as its experimental evaluation in the case of domain ontology engineering for the TALISMAN framework. We have formed a special dataset for our experiment. The results obtained show the prospects of using our approach and tool to support ontology engineering based on the semantic annotation of web tables.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"262 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133569322","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}
引用次数: 1
Coupled Calculations of Flows in Domains Including a Porous Medium and a Homogeneous Fluid 包括多孔介质和均质流体在内的域中流动的耦合计算
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00009
A. Churbanov, N. Churbanova, S. Polyakov, M. Trapeznikova
{"title":"Coupled Calculations of Flows in Domains Including a Porous Medium and a Homogeneous Fluid","authors":"A. Churbanov, N. Churbanova, S. Polyakov, M. Trapeznikova","doi":"10.1109/ivmem53963.2021.00009","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00009","url":null,"abstract":"In this paper, we consider a model for coupled calculations of porous medium-free flow systems. It is based on the generalized Navier-Stokes equations obtained by averaging over a representative elementary volume of a porous medium and written for the entire computational domain consisting of two subdomains differing in a medium composition. To calculate this model, a numerical algorithm based on the finite element method for the coupled formulation of the equations for the momentum and continuity is developed by applying Newton’s method. The verification of the developed calculation method was carried out on two verification cases using the known numerical results of other authors.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126781284","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}
引用次数: 1
The Efficiency of Hydrodynamic Code on Intel Xeon Scalable Architecture* 英特尔至强可扩展架构上流体动力代码的效率*
2021 Ivannikov Memorial Workshop (IVMEM) Pub Date : 2021-09-01 DOI: 10.1109/ivmem53963.2021.00013
I. Kulikov, I. Chernykh, D. Karavaev, A. Sapetina, S. Lomakin
{"title":"The Efficiency of Hydrodynamic Code on Intel Xeon Scalable Architecture*","authors":"I. Kulikov, I. Chernykh, D. Karavaev, A. Sapetina, S. Lomakin","doi":"10.1109/ivmem53963.2021.00013","DOIUrl":"https://doi.org/10.1109/ivmem53963.2021.00013","url":null,"abstract":"The results of the study of the hydrodynamics computing node equipped with Intel Cascade Lake processors, which is part of the NKS-1P Siberian Supercomputer Center, are presented in the article. In this work, we also propose a first modification of the numerical technique, which makes it possible to obtain a reproduction of an invariant numerical solution. In this work, we investigated not only weak and strong scalability but also investigated the energy efficiency of using various configurations of cores using the Intel RAPL interface. In this work, we try to offer some variants of weak and strong energy efficiency, which should be considered on an equal footing with the code efficiency in terms of time costs.","PeriodicalId":360766,"journal":{"name":"2021 Ivannikov Memorial Workshop (IVMEM)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129925618","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学术官方微信