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

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Georgy Savidov Andrey Fedotov Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781665423311

Crash report analysis is a necessary step before developers begin fixing errors. Fuzzing or hybrid (with dynamic symbolic execution) fuzzing is often used in the secure Development lifecycle. Modern fuzzers could produce many crashes and developers do not have enough time to fix them till release date. There are two approaches that could reduce developers' effort on crash analysis: crash clustering and crash severity estimation. Crash severity estimation could help developers to prioritize crashes and close security issues first. Crash clustering puts similar crash reports in one cluster what could speed up the analyzing time for all crash reports. In this paper, we focus on crash clustering. We propose an approach for clustering and deduplicating of crashes that occurred in Linux applications. We implement this approach as a tool that could cluster Casr [1] crash reports. We evaluated our tool on a set of crash reports that was collected from fuzzing results.

关键词： Linux Clustering methods Estimation Clustering algorithms Fuzzing Computer crashes Security

来源：评论

学校读者我要写书评

暂无评论

Some Aspects of Lexicalisation of Case Forms with Spatial Meaning in the Udmurt Language

Some Aspects of Lexicalisation of Case Forms with Spatial Me...

引用

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Kondratieva, N.V. Institute of History Language and Literature Udm Fic Ural Branch of the Russian Academy of Sciences 4 Lomonosova st Izhevsk424000 Russia Institute for System Programming of the Russian Academy of Sciences 25 Alexander Solzhenitsyn st. Moscow109004 Russia

ISBN: (纸本)9798350349993

The article is devoted to the study of the issues of lexicalisation of the so-called 'somatic lexicon' in the paradigm of spatial case forms in the modern Udmurt language in a typological aspect. The relevance of the research lies in the fact that the study of the above questions of Udmurt linguistics opens new perspectives to some lexico-grammatical problems of Permic linguistics both from a diachronic and synchronistic aspect. As a result of the study it was revealed that the somatic lexicon is represented in different degrees in the case paradigm of the modern Udmurt language, the most common being the use of the illative case. Apparently, this also explains the fact that the process of lexicalisation is most often implemented in the specified grammatical form. This is also confirmed by fixed word combinations, where one element has now lost its independent distribution: tode vajyny 'to remember', bure vajyny 'to remember', sane ponyny 'to take into account' and others. The phenomenon of lexicalisation, that is the transition of combinations of separate elements into fixed word combinations, in Udmurt is most often affected by linguistic units containing the verb forms pyryny 'to enter, come in and other words with the given meaning',lyktyny 'to come, come in, etc.', voź yny 'hold', potyny 'go out, go out, etc.' koš kyny 'go away, leave, etc. ' with examples like pele pyryny 'remember', jyre lyktyny 'come to mind', ś ulmaz voźyny 'hold in the heart', jyryś potyny 'forget', jyryś koš kyny 'forget', etc. The full illative - inessive - elative paradigm can be observed in the word-formation of a limited number of somatic lexical units such as jyr 'head', pel' 'ear', or ś ulem 'heart'. A typologically similar tendency can be observed in other languages, for example in Russian. Evidence is found in written attestations from the turn of the 19th-20th centuries: vojti v golovu 'to enter the head' - derzhat' v golove 'to keep in the head' - vyjti iz golovy 'to leave the h

关键词： Linguistics

来源：评论

学校读者我要写书评

暂无评论

Improving properties of a parallel program in ParJava environment

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2840卷 491-494页

作者： Ivannikov, Victor Gaissaryan, Serguei Avetisyan, Arutyun Padaryan, Vartan Institute for System Programming Russian Academy of Sciences 25 B. Kommunisticheskaya st. Moscow 109004 Russia

ParJava integrated environment supporting development and maintenance of data parallel Java-programs is discussed. When a parallel program is developed it is necessary to assure not only its correctness, but also its efficiency and scalability. For this purpose it is useful to know some dynamic properties of the program. This information may help to modify the program in order to improve its parallel features. ParJava provides a collection of such tools. Symbolic execution allows to estimate expected execution time and limits of scalability of Java SPMD-program. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

A viscous effect of wave attractor in geometry with underwater peak

引用

Intelligent Marine Technology and systems 2024年第1期2卷 1-9页

作者： Elistratov, Stepan But, Ivan Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia Sobolev Institute of Mathematics of Siberian Branch of RAS Novosibirsk Russia

The influence of the viscosity on a wave attractor flow has been previously studied, particularly in relation to the widening of the hydrodynamical structures. In this work, we simulate an attractor flow with a peculiar bottom shape that includes an underwater hill. During the simulation, we discovered a side structure appearing beyond the wave attractor. We determined that the appearance of this structure is connected to viscosity. In this article, we consider the behavior of this newly found structure. Additionally, we discuss the challenges of energy accumulation and the estimation of the Reynolds number, which is a non-trivial problem in the context of wave attractor flows.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On partitioned and monolithic coupling strategies in lagrangian vortex methods for 2D FSI problems 6

On partitioned and monolithic coupling strategies in lagrang...

引用

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

Lagrangian vortex methods are powerful tool for numerical simulation in CFD and coupled fluid structure interaction (FSI) problems. The main feature of vortex methods is vorticity considering as a primary computed variable, while velocity and pressure distributions can be reconstructed by using the Biot - Savart law and the Cauchy - Lagrange integral analogue. Advantages of vortex methods include the possibility to "concentrate" computational resources in the domain with non-zero vorticity and to simulate arbitrary large displacements of the airfoils in the flow. Moreover, in contrast to mesh methods, computational cost of such simulation just a little higher than for flow simulation around immovable airfoil. In this research the problems of flow simulation around oscillating and immovable circular cylinders using vortex methods are considered. The wind resonance phenomenon is investigated, when eigenfrequency of the mechanical system is close to vortex shedding frequency. All numerical results are in good agreement with experimental data. copyright © Crown copyright (2018).All right reserved.

关键词： Vorticity

来源：评论

学校读者我要写书评

暂无评论

Cost-Efficient Numerical Schemes for the Boundary Integral Equation Solution in 2D Vortex Methods 10

Cost-Efficient Numerical Schemes for the Boundary Integral E...

引用

10th All-Russian Conference on Irreversible Processes in Nature and Technology

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

The problem of the flow simulation around airfoils using Lagrangian vortex methods is considered. Numerical schemes of the second order of accuracy for free vortex sheet intensity distribution along the airfoil are developed for smooth and non-smooth airfoils. The schemes are based on the Galerkin approach with piecewise-constant and piecewise-linear basis functions. The finite element method ideas are used and the resulting piecewise-linear scheme has the same numerical complexity as the scheme with piecewise-constant numerical solution. The modification of a FEM-Type scheme is developed for non-smooth airfoils which permits to take into account the discontinuity of the solution at the specified points;its computational cost increases insignificantly. © Published under licence by IOP Publishing Ltd.

关键词： Airfoils

来源：评论

学校读者我要写书评

暂无评论

Exact solutions of boundary integral equation arising in vortex methods for incompressible flow simulation around elliptical and Zhukovsky airfoils 10

Exact solutions of boundary integral equation arising in vor...

引用

10th All-Russian Conference on Irreversible Processes in Nature and Technology

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

The problem of 2D incompressible flow simulation around airfoils using vortex methods is considered. An exact solution for the boundary integral equation with respect to a free vortex sheet intensity at the airfoil surface line that arises in such problems is obtained. The exact solution is constructed for flows around elliptical and Zhukovsky airfoils using the theory of complex potentials and conformal mappings technique. It is possible to take into account the influence of singularities in the flow domain-point vortices which simulate vortex wake. The obtained exact solutions can be used to verify and estimate the accuracy of numerical schemes for the boundary integral equation solution: such procedure is also described in details. © Published under licence by IOP Publishing Ltd.

关键词： Airfoils

来源：评论

学校读者我要写书评

暂无评论

Adaptation of the TOSCA standard model for the Kubernetes container environment

Adaptation of the TOSCA standard model for the Kubernetes co...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Alexandra Borisova Valeriya Shvetcova Oleg Borisenko Higher School of Economics Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781728190884

ISBN: (纸本)9781728190891

The main difference between container-based and virtualization-based cloud environments is the way of the virtualization methods for OS and auxiliary resources. Software applications can be both deployed in a cloud on virtual machines or in local data centres on physical machines. Containers are based on OS-level virtualization. So, container applications can be deployed on a virtual machine in the cloud too. To deal with the growth of various, but functionally similar cloud environments, the TOSCA [1] (Topology and Orchestration for Cloud Applications) standard was created. It allows to describe deployment resources in a TOSCA Domain-specific language that does not depend on the provider. Kubernetes [8] is an open-source system for deployment automation, scaling, and management of containerized applications. TOSCA standard was created to describe cloud applications, but the model may be suitable for describing container applications that Kubernetes orchestrate. This paper considers Kubernetes as a cloud provider and examines the applicability of the TOSCA standard for unifying deployment and orchestration not only of resources provided by virtualization-based clouds but also of containerized ones.

关键词： Cloud computing Adaptation models Containers Virtual machining Topology Virtualization Standards

来源：评论

学校读者我要写书评

暂无评论

Crash Report Accumulation During Continuous Fuzzing

Crash Report Accumulation During Continuous Fuzzing

引用

Ivannikov Memorial Workshop (IVMEM)

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

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

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 toolset. We evaluated our approach on crash reports collected from fuzzing results.

关键词： Conferences Fuzzing Computer crashes Software Time factors Computer security Software development management

来源：评论

学校读者我要写书评

暂无评论

Euclidean Division Method for the Homomorphic Scheme CKKS

Euclidean Division Method for the Homomorphic Scheme CKKS

引用

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

The use of cloud computing can reduce the economic costs of maintaining IT infrastructure, but at the same time, the likelihood of confidential data theft increases. To reduce the likelihood of it, cloud computing uses homomorphic encryption. However, a homomorphic cipher only allows adding and multiplying encrypted numbers; in some cases, a division operation is required to implement algorithms. To implement the division operation with encrypted numbers it is necessary to implement the encrypted number comparison operation. Considering that the operation of comparing encrypted numbers is carried out using numerical methods, it is necessary to adapt the existing algorithms for Euclidean division. In this article, we propose a two-stage algorithm for Euclidean division of numbers encrypted using the CKKS scheme and investigate its properties.

关键词： Economics Cloud computing Ciphers Conferences Encryption Cryptography Distributed computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：