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

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Olga Bazhenova “Linguistic platforms” laboratory Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

The Upper Kama dialect is spoken by the Komi ethnic group residing in the upper Kama River region. The idiom developed independently from the area of distribution of Komi dialects and existed solely in oral form. In Komi linguistics, there is debate regarding the position of the Upper Kama idiom within the dialectal area of the Komi language. The paper presents the main stages of data processing for four Komi-Permyak dictionaries, including two archival dictionaries from the turn of the 19th-20th centuries, two audio dictionaries of the southern Komi-Zyryan dialects, and an audio dictionary of the Upper Kama dialect uploaded on the LingvoDoc platform. The study found that, based on phonetic-etymological criteria, the Upper Kama dialect is the most similar to the modern Upper Sysola dialect of the Komi-Zyryan language. However, when analyzing the similarity of the basic vocabulary, the dialect in question is most similar to the Kudymkar dialect of the southern Komi-Permyak language. This contradiction may explain the numerous discussions about the position of the Upper Kama dialect in the Komi language dialectal area.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On CPU and GPU parallelization of VM2D code for 2D flows simulation using vortex method 6

On CPU and GPU parallelization of VM2D code for 2D flows sim...

引用

6th ECCOMAS European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th ECCOMAS European Conference on Computational Fluid Dynamics, ECFD 2018

作者： Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia

ISBN: (纸本)9788494731167

VM2D is an open-source software being developed by the authors for two-dimensional incompressible flows simulations around airfoils. VM2D is based on meshless Lagrangian vortex methods. The main operations of the algorithm are pointed out, and the estimations of their computational complexity are given. Two model problems with different parameters are considered in order to analyze the ratio between computational complexities of the operations. Parallel algorithms are implemented for all time-consuming operations to perform the simulations on CPU and GPU. Test problems show that VM2D is efficiently parallelized;the accelerations achieved on GPUs are comparable to acceleration on hundreds and even thousands of CPU cores. copyright © Crown copyright (2018).All right reserved.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Research on automatic generation of fuzz-target for software library functions

Research on automatic generation of fuzz-target for software...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Chi Thien Tran Dmitry Ponomarev Andrey Kuznhesov Ivannikov Institute for System Programming of the RAS Moscow Russia LLC “Fobos-NT” Moscow Russia

To avoid re-development, software libraries are widely used. However, the automated testing of software libraries remains challenging. This article focuses on the use of fuzzing technology and automatic code generation for testing software libraries. Since late of 2020, the instrument Futag [1] – Fuzz-targets automatic generator for software libraries – has been developed in Ivannikov institute for system programming of Russian academy of science. The instrument gathers data on the building process, generates the fuzz-targets for library functions, and performs static analysis to find entity dependencies in library source code. As result, Futag has found bugs in software libraries such as libpng, tinyxml2, libpq-standalone, etc.

关键词： Software libraries Codes Instruments Source coding Static analysis Fuzzing programming

来源：评论

学校读者我要写书评

暂无评论

Crash Report Accumulation During Continuous Fuzzing

arXiv

引用

arXiv 2024年

作者： Yegorov, Ilya Savidov, Georgy Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

Crash report accumulation is a necessary step during continuous fuzzing. Dynamic software analysis techniques like fuzzing and dynamic symbolic execution generate a large number of crashes for analysis. However, the time and resource constraints often lead to the postponement of fixing some less critical issues, potentially introducing new errors in future releases. Thus, there is a need to distinguish new errors from old ones. We propose a crash accumulation method and implemented it as part of the CASR [1] toolset. We evaluated our approach on crash reports collected from fuzzing results. © 2024, CC BY-NC-ND.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Using open source software for solving aeroelasticity case for wind turbine blade 6

Using open source software for solving aeroelasticity case f...

引用

6th ECCOMAS European Conference on Computational Mechanics: Solids, Structures and Coupled Problems, ECCM 2018 and 7th ECCOMAS European Conference on Computational Fluid Dynamics, ECFD 2018

作者： Lukashin, Pavel S. Melnikova, Valeriia G. Shcheglov, Georgy A. Strijhak, Sergei V. Bauman Moscow State Technical University 5/1 2-nd Baumanskaya st. Moscow105005 Russia Ivannikov Institute for System Programming of the RAS 25 Alexander Solzhenitsyn st. Moscow109004 Russia

ISBN: (纸本)9788494731167

Due to the development of Wind Energy and construction of new wind farms in the Russian Federation and Europe there is a need for solution of application-oriented problems and development of effective methods for numerical modelling of wind turbine's elements. One of the directions for computational continuous mechanics is connected with problems in aeroelasticity (fluid-structure interaction). The possibility of solving one of the problem in aeroelasticity using a complex program approach on the basis of open source software OpenFOAM and Code_Aster is shown in this article. On the example of the blade for wind turbine, which has 61.5 meters long, the techniques of solving problem for a static and dynamic aeroelasticity in which flow simulation of the blade with a subsonic air flow is done in OpenFOAM library (solvers simpleFoam and pimpleFoam) are considered. The calculation of the stress-strain state of the blade is done in Code_Aster. The flowcharts for four different approaches for solving problems of aeroelasticity are provided in article. The finite-volume mesh consisting hexahedral elements, the total number is about 400000 elements, for simulation of the flow around the blade is created in OpenFOAM library, the finite-element mesh consisting of triangular shell elements of first order, the total number is 7714, for calculation of the stress-strain state is created in Salome-Meca. The results of analysis are provided in the form of pressure and velocities fields;projections of aerodynamic force from time;displacement and stress diagrams;the values of pressure for two points on the surface of the blade and displacement of the tip of the blade from time. The calculations are run using resources of UniHUB web-laboratory ISPRAS. Copyright © Crown copyright (2018).All right reserved.

关键词： Fluid structure interaction

来源：评论

学校读者我要写书评

暂无评论

Are the Type of Conjugation and Stress Related in the Mari Language?

Are the Type of Conjugation and Stress Related in the Mari L...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Normanskaja Julia Viktorovna The Institute of linguistics of the RAS (Moscow) Ivannikov's Institute for System Programming of the RAS (Moscow) Moscow Russian Federation

The question about the Mari stress was the discussion's subject from 1775 (the year of the creating of the first grammar). In the modern Mari language, the type of stress depends on the dialect. Analyzing these data, O.A. Sergeev comes to the following conclusions that in all two-syllable names, the stress in the manuscripts corresponded to modern dialects. However, the analysis of the verbal forms in the first books, which are availible of *** shows that in the XIX century their stress had certain systemic differences from modern dialects. Two books were analysed: A. Albinsky's grammar of the Hill Mari language, published in 1837 and a manuscript translation of the Gospel of Matthew into the Vyatka Northwest dialect of the Mari language, created in 1821. In both books, it was discovered that in the 3rd person singular and plural of the present and past tenses the placement of the stress depends on the type of conjugation, but there are some duplicate forms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Strong Optimistic Solving for Dynamic Symbolic Execution

arXiv

引用

arXiv 2022年

作者： Parygina, Darya Vishnyakov, Alexey Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert the branches along some execution path and help fuzzer examine previously unavailable program parts. DSE often faces over- and underconstraint problems. The first one leads to significant analysis complication while the second one causes inaccurate symbolic execution. We propose strong optimistic solving method that eliminates irrelevant path predicate constraints for target branch inversion. We eliminate such symbolic constraints that the target branch is not control dependent on. Moreover, we separately handle symbolic branches that have nested control transfer instructions that pass control beyond the parent branch scope, e.g. return, goto, break, etc. We implement the proposed method in our dynamic symbolic execution tool Sydr. We evaluate the strong optimistic strategy, the optimistic strategy that contains only the last constraint negation, and their combination. The results show that the strategies combination helps increase either the code coverage or the average number of correctly inverted branches per one minute. It is optimal to apply both strategies together in contrast with other configurations. © 2022, CC BY-NC-ND.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing

arXiv

引用

arXiv 2024年

作者： Parygina, Darya Mezhuev, Timofey Kuts, Daniil Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

Directed fuzzing performs best for targeted program testing via estimating the impact of each input in reaching predefined program points. But due to insufficient analysis of the program structure and lack of flexibility and configurability it can lose efficiency. In this paper, we enhance directed fuzzing with context weights for graph nodes and resolve indirect edges during call graph construction. We construct flexible tool for directed fuzzing with components able to be easily combined with other techniques. We implement proposed method in three separate modules: DiFuzzLLVM library for graph construction and indirect calls resolving, DiFuzz static analysis tool for processing program graphs and computing proximity metrics, and LibAFL-DiFuzz directed fuzzer based on LibAFL fuzzing library. We create additional LibAFL modules for enabling custom power scheduling and static instrumentation. We evaluate indirect calls resolving and get increase in directed fuzzing efficiency for reaching deeper target points. We evaluate context weights contribution and get benefits in TTE and scheduling iterations number. We evaluate our fuzzer in comparison with AFLGo and BEACON, and reveal speedup in time to exposure on several benchmarks. Furthermore, our tool implements some important usability features that are not available in mentioned tools: target points detection, multiple target points support, etc. © 2024, CC BY-NC-ND.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

Open Source Code for 2D Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods

Open Source Code for 2D Incompressible Flow Simulation by Us...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Kseniia S. Kuzmina Ilia K. Marchevsky Evgeniya P. Ryatina Bauman Moscow State Technical University Ivannikov Institute for System Programming of RAS Moscow Russia

Open Source C++ code is developed for 2D incompressible flow simulation by using vortex methods. The code has modular structure, it permits users to simulate flow around airfoils (as well as around system of airfoils) and compute unsteady hydrodynamic loads acting the airfoils. It is also possible to simulate hydroelastic regimes of airfoil motion in the flow by using weakly coupled and strongly coupled algorithms. Well known vortex methods algorithms as well as original numerical schemes developed by authors are implemented, which makes it possible to raise the accuracy of simulation significantly in comparison to traditional algorithms of vortex methods. It is possible to run simulations in parallel mode, OpenMP and MPI technologies are supported. The source code of VM2D is available on GitHub under GNU GPL license (https://***/vortexmethods/VM2D).

关键词： Automotive components Atmospheric modeling Mathematical model Numerical models Two dimensional displays Computational modeling Load modeling

来源：评论

学校读者我要写书评

暂无评论

About One Property of Number Rank in RNS

About One Property of Number Rank in RNS

引用

IEEE NW Russia Young Researchers in Electrical and Electronic Engineering Conference (EIConRusNW)

作者： Mikhail Babenko Elena Golimblevskaia North-Caucasus Federal University Stavropol Russia Ivannikov Institute for System Programming Moscow Russia

ISBN: (数字)9781665404761

ISBN: (纸本)9781665446426

An approximate value of the number rank is used to increase the speed of homomorphic encryption algorithms. The use of an approximate rank of a number allows reducing the computational complexity of the data encryption algorithm, but at the same time leads to a loss of accuracy. In this paper, we investigate the properties of the number rank. We have shown that it is possible to reduce the accuracy of calculating the approximate rank of a number, but the homomorphic encryption scheme will have the same properties.

关键词： Productivity Conferences Distributed databases Reliability theory Approximation algorithms Reliability engineering Encryption

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：