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

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

来源：评论

学校读者我要写书评

暂无评论

Ontological Approach to the Formal Specification of the Standard Life Cycle

Ontological Approach to the Formal Specification of the Stan...

引用

Science and Information Conference

作者： Ekaterina Lavrishcheva Software Engineering Department Institute for System Programming of the RAS Prof. MIPT Moscow Russia

ISBN: (纸本)9781479985487

Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protégé systems. An eventual result of this system Protégé got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.

关键词： ontology the life cycle standard model of life cycle processes actions task testing DSL description Protégé XML

来源：评论

学校读者我要写书评

暂无评论

Exception Analysis for Errors Detection in the SharpChecker Static Analyzer for C#

Exception Analysis for Errors Detection in the SharpChecker ...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Mikhail Belyaev Valery Ignatyev Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Moscow Russian Federation

ISBN: (纸本)9781665423311

Exception handling is a widely used runtime error management method in object-oriented languages, especially C#, where it is deeply embedded in the standard library (CoreFX). Accurate and efficient exception analysis is an important requirement for an industrial-level static analyzer. We propose a novel approach to manage exceptions while performing static symbolic execution of C# programs, which is able to process the newest features of the language, such as catch filters. In contrast to the approaches implemented in other static analysis tools, it is much more accurate, because it is path-sensitive thanks to consideration of exception conditions, field- and object-sensitive thanks to the representation of separate exceptions and its fields with distinct symbolic values. We evaluate our approach on a large set of open source projects having 4.2 mln LOC and nearly 2000 reviewed warnings of different types.

关键词： Runtime Costs Static analysis Maintenance engineering Libraries C# languages Standards

来源：评论

学校读者我要写书评

暂无评论

Application of Artificial Intelligence Technology to Prevent Sudden Cardiac Death

Application of Artificial Intelligence Technology to Prevent...

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Helena Godunova Sergei Prokhorov Rehabilitation Center “Barvikha” Moscow Russia Ivannikov Institute for System Programming RAS Institute for History of Science and Technology RAS Moscow Russia

ISBN: (数字)9798350376968

ISBN: (纸本)9798350376975

The causes of sudden cardiac death (SCD) have not yet been completely studied. At the same time, their share of mortality from heart disease is constantly growing. The use of artificial intelligence (AI) technology for timely diagnosis of the risk of sudden cardiac death, in particular for ECG analysis, is showing impressive and promising results. Of course, simple ECG analysis is not enough for an accurate prediction. Therefore, AI can be a powerful tool for testing hypotheses about additional medical factors that can improve diagnostic accuracy. In practice, the primary issue is the absence of established standards for AI use, coupled with the technical challenge of promptly transmitting ECG readings to the diagnostic center and receiving a real-time diagnosis from the AI system.

关键词： Heart Accuracy Electrocardiography Death Software Real-time systems Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

User Defined Checkers for Static Analysis with Symbolic Execution

User Defined Checkers for Static Analysis with Symbolic Exec...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Artemiy Galustov Alexey Borodin Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

Many modern static analysis tools provide toolkits that allow creation of custom checkers by end users. The majority of existing solutions choose AST-based approaches to provide a simpler declarative API. Solutions based on dataflow analysis or symbolic execution use complex explicit APIs that require much more expertise to achieve decent results compared to AST-based checkers. Even though the latter approach is much more powerful simplicity of the former made it much more *** this paper we introduce SvaceAPI a tool to write checkers based on symbolic execution in a declarative way. We describe a simple pattern-based API that leverages symbolic execution and attributes provided by Svace. Testing the API on a couple of checkers and open source programs across the variety of languages showed the same quality results as for built-in Svace checkers without noticeable performance regressions.

关键词： Java Conferences Static analysis Detectors C++ languages Testing Python

来源：评论

学校读者我要写书评

暂无评论

The Algorithm of the Path Length Optimization on the Polyhedron Surface 49th

The Algorithm of the Path Length Optimization on the Pol...

引用

Advanced Problem in Mechanics III - Proceedings of the 49th International Summer School-Conference "Advanced Problems in Mechanics", 2021

作者： Gumirova, Alia Marchevsky, Ilia Safronov, Yurii Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow105005 Russia Ivannikov Institute for System Programming of the RAS Al. Solzhenitsyn st. 25 Moscow109004 Russia

ISBN: (纸本)9783031372452

Finding a short path between two given points lying on the polyhedron is an actual problem arising in various applications in science and technology;polyhedron faces without any restrictions can be considered triangular. An algorithm for the shortest pathfinding is suggested that uses Dijkstra’s algorithm for the first (coarse) approximation. This path is split into parts consist of two segments. The positions of the middle nodes are optimized and they are placed on the corresponding edges of the polyhedron such as to provide a minimal length of each part. Then a similar procedure is performed once again, but the path is split into parts with the shift by one section. Thus, the positions are optimized for the nodes that have been fixed in the previous step. Such an algorithm is rather fast and it allows for a finding of an optimized path without "steep kinks" on a polyhedral surface, which is not optimal in the mathematical sense but is usually suitable for solving a number of applied problems. Further steps of optimization are based on the layouts considering and allow to achieve the exact solution of the problem. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

RKDG method for 2D gas dynamics simulation on uniform rectangular meshes 10

RKDG method for 2D gas dynamics simulation on uniform rectan...

引用

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

作者： Korchagova, Victoria Fufaev, Ivan Lukin, Vladimir Marchevsky, Ilia Sautkina, Sofya 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 Keldysh Institute of Applied Mathematics RAS Miusskaya sq. 4 Moscow125047 Russia

This paper is devoted to a numerical simulation of 2D gas dynamics flows on uniform rectangular meshes using the Runge-Kutta-Discontinuous-Galerkin (RKDG) method. The RKDG algorithm was implemented with in-house C++ code based on the experience in the investigation of 1D case. The advantage of the RKDG method over the most popular finite volume method (FVM) is discussed: Three basis functions being applied in the framework of the RKDG approach lead to a considerable decrease of the numerical dissipation rate with respect to FVM. The results of the acoustic pulse simulation on a sufficiently coarse mesh with the piecewise-linear approximation show a good agreement with the analytical solution in contrast to the FVM numerical solution. For the Sod problem, the results of the discontinuities propagation illustrate the dependence of the scheme resolution on the numerical fluxes, troubled cell indicator and the limitation technique choice. The possibility to resolve strong shocks is demonstrated with the Sedov cylindrical explosion test. © Published under licence by IOP Publishing Ltd.

关键词： Finite volume method

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Valency Patterns for Motion Verbs in Vakh Khanty by Means of Lingvodoc

A Case Study of Valency Patterns for Motion Verbs in Vakh Kh...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Novitskaya, Irina Vorobeva, Victoria National Research Tomsk State University Department of Foreign Languages Tomsk Russia Ivannikov Institute for System Programming of the Ras Information Systems Department Tomsk Moscow Russia Tpu Information Systems Department Tomsk Moscow Russia

ISBN: (纸本)9798350398533

The article presents a study of the syntactic compatibility of verbs of motion in the Vakh dialect of the Khanty language. The study was conducted with the help of the tools of the platform for documentation of the Uralic languages Lingvodoc. The purpose of the article is to describe patterns of syntactic valency that Vakh Khanty verbs of motion have. © 2022 IEEE.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Casr-Cluster: Crash Clustering for Linux Applications

arXiv

引用

arXiv 2021年

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

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. © 2021, CC BY-NC-ND.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：