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

2024 ivannikov Open Conference, ISPRAS 2024

作者： Shaikhelislamov, Danil Drobyshevskiy, Mikhail Belevantsev, Andrey Moscow Institute of Physics and Technology State University Moscow Russia Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798331526023

Recently, large language models (LLMs), those pretrained on code, have demonstrated strong capabilities in generating programs from informal natural language intent. However, LLM -generated code is prone to bugs. Developers interacting with LLMs seek trusted code and, ideally, clear indications of potential bugs and vulnerabilities. Verified code can mitigate potential business risks associated with adopting generated code. We use model-agnostic framework CodePatchLLM, an extension for LLM that utilizes Svace feedback to enhance code generation quality. We evaluate CodePatchLLM on four popular LLMs across three datasets. Our experiments show an average absolute reduction of 19.1 % in static analyzer warnings for Java across all datasets and models, while preserving pass@ 1 code generation accuracy. © 2024 IEEE.

关键词： Code verification Large Language Model Trusted code

来源：评论

学校读者我要写书评

暂无评论

Multi-windows rendering using software OpenGL in avionics embedded systems 29

Multi-windows rendering using software OpenGL in avionics em...

引用

29th International Conference on Computer Graphics and Vision, GraphiCon 2019

作者： Barladian, B.Kh. Shapiro, L.Z. Mallachiev, K.A. Khoroshilov, A.V. Solodelov, Y.A. Voloboy, A.G. Galaktionov, V.A. Koverninskiy, I.V. Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow Russia FGUP «GosNIIAS» State Research Institute of Aviation Systems Moscow Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

Elaboration of modern airplane cockpit has tendency to use large displays instead of a lot of separate indicators. The large display should combine information about flight navigation and state of plane equipment. Information coming from a wide variety of devices should be displayed simultaneously. Therefore multi-windows rendering is vitally important here. Its implementation must be embedded in real-time operating system which controls the aircraft. Development of a Safety Critical Compositor for multi-windows rendering for OpenGL SC 1.0.1 software is considered in the paper. It works under the real-time operating system JetOS newly designed for aircraft. Development is based on the use of extensions designed to work in multi-core systems in addition to standard JetOS partitioning services. Copyright © 2019 for this paper by its authors.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

International Conference on Actual Problems of systems and Software Engineering

作者： Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona

ISBN: (纸本)9781728160627

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite state machine (FSM) Quasi-deterministic FSM Quasi-complete FSM Moore pair Synchronous composition Pairing multi-input output ports harbors finite state machines deterministic

来源：评论

学校读者我要写书评

暂无评论

Software Technology: Methods and Tools 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Manuel Mazzara Bertrand Meyer Jean-Michel Bruel Alexander Petrenko

ISBN: (数字)9783030298524

ISBN: (纸本)9783030298517

This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.;The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions.;The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.

关键词： Software Engineering system Performance and Evaluation The Computing Profession Artificial Intelligence Special Purpose and Application-Based systems Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of non/ductedpropeller under the influence of vertical wall

Comparative analysis of non/ductedpropeller under the influe...

引用

2022 ivannikov Open Conference, ISPRAS 2022

作者： Wang, Mengfei Qingxu Zhang, Qin Epikhin, Andrey Liang, Bingchen Ocean University of China College of Engineering Qingdao China Programming of the Ras Ivannikov Institute for System Moscow Russia Shandong Provincial Key Laboratory of Ocean Engineering Qingdao China

ISBN: (纸本)9798350398533

A numerical and experimental study has been conducted to explore the influence of vertical wall on the wake of the non/ducted propeller. The numerical simulation is achieved using a structured and transient sliding mesh approach. The control equations are closed by the Delayed Detached Eddy Simulation (DDES), and the computational results are compared with the available experimental data. By dividing the ducted propeller flow wake vortex shape into different behavior regions, the temporal vortex evolution near the wake of the propellers under the influence of different vertical walls are emphatically analysed. The results show that the jet flow wake reaches the wall, forming a conical low-speed area at the centre of the wall. The fluid circulates from the outer side to the inner side of the cone, forming a vortex whose size first increases and then decreases with the distance between the propellers and the wall. In addition, the change of propellers wake velocity profile is given. The wake velocity of propeller and ducted propeller decreases exponentially and linearly along the flow direction, respectively. © 2022 IEEE.

关键词： Wakes

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation of Supersonic Jet Noise Using Open Source Software 1

引用

23rd International Conference on Computational Science, ICCS 2023

作者： Epikhin, Andrey But, Ivan Ivannikov Institute for System Programming of the RAS Moscow109004 Russia Keldysh Institute of Applied Mathematics of the RAS Moscow125047 Russia Bauman Moscow State Technical University Moscow105005 Russia

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

The paper is devoted to the study of various numerical algorithms for calculating the flow and acoustics characteristics of supersonic jets implemented in open source software. The ideally expanded supersonic jet with parameters , is considered. A comparison of various approaches implemented in the OpenFOAM and block-structured adaptive mesh refinement framework of AMReX is conducted. Numerical algorithms for compressible gas flow implemented in pimpleCentralFoam, QGDFoam and CNS solvers are considered. Acoustic noise are calculated using the Ffowcs Williams and Hawkings analogy implemented in the libAcoustics library. Cross-validation comparison of the flow fields and acoustic characteristics is carried out. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

International Conference on Actual Problems of systems and Software Engineering

作者： Denis Kildishev Alexey Khoroshilov Software Engineering Ivannikov Institute for System Programming of the Russian Academy of Sciences

ISBN: (纸本)9781728160627

Requirements management is a significant part of development of complex safety-critical systems. Software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The paper reveals some implementation details of Requality open source requirements management tool that is being applied in several projects developed according DO-178C and that is expanding with features originating from these projects.

关键词： Requirements management tool Safety-critical systems Implementation details Requirements safety-critical software systems software open source Requirements management

来源：评论

学校读者我要写书评

暂无评论

PyTabby: A Docreader’s module for extracting text and tables from PDF with a text layer 4

PyTabby: A Docreader’s module for extracting text and table...

引用

4th Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2021

作者： Mikhailov, Andrey A. Shigarov, Alexey Kozlov, Ilya S. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Irkutsk664033 Russia Ivannikov Institute for System Programming of Russian Academy of Sciences 25 Alexander Solzhenitsyn St. Moscow109004 Russia

This paper presents a complete solution for extraction of textual information and tables from PDF with a text layer. The presented solution consist of two parts: PyTabby is a tool for extracting text and tables from PDF with a complex background and layout, and Python wrapper module for Docreader tool. The PyTabby tool extracts text and tables from the low level representation of the PDF format. It enables employment of the additional information excluded in scanned documents and provides improvement of quality and performance compared with Optical Character Recognition (OCR) methods. The presented solution is incorporated into Docreader tool to parse PDF files with a text layer and is used as a part of the TALISMAN technology for social analytics. © 2021 Copyright for this paper by its authors.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

Docmarking: Real-Time Screen-Cam Robust Document Image Watermarking

Docmarking: Real-Time Screen-Cam Robust Document Image Water...

引用

2022 ivannikov Open Conference, ISPRAS 2022

作者： Yakushev, Aleksey Markin, Yury Obydenkov, Dmitry Frolov, Alexander Fomin, Stas Akopyan, Manuk Kozachok, Alexander Gaynov, Arthur Ivannikov Institute for System Programming of the Ras Moscow Russia Russian Federation Security Guard Service Federal Academy Oryol Russia Ministry of Defence of the Russian Federation Moscow Russia

ISBN: (纸本)9798350398533

This paper focuses on investigation of confidential documents leaks in the form of screen photographs. Proposed approach does not try to prevent leak in the first place but rather aims to determine source of the leak. Method works by applying on the screen a unique identifying watermark as semi-transparent image that is almost imperceptible for human eyes. Watermark image is static and stays on the screen all the time thus watermark present on every captured photograph of the screen. The key components of the approach are three neural networks. The first network generates an image with embedded message in a way that this image is almost invisible when displayed on the screen. The other two neural networks are used to retrieve embedded message with high accuracy. Developed method was comprehensively tested on different screen and cameras. Test results showed high efficiency of the proposed approach. © 2022 IEEE.

关键词： Image watermarking

来源：评论

学校读者我要写书评

暂无评论

POD-based Hydrodynamical Structures Visualization in Flows with an Internal Wave Attractor

Scientific Visualization

引用

Scientific Visualization 2023年第2期15卷 125-133页

作者： Elistratov, S.A. Shirshov Institute of Oceanology of RAS Moscow Russia Ivannikov Institute for System Programming of RAS Moscow Russia

Hydrodynamical structure attending a flow can be hid and hardly to reveal. One of the methods to find them is to use mode decomposition (such as Proper orthogonal decomposition, POD). The method represents the field given as a series of spatial modes multiplied by corresponding temporal coefficients. In the article the method is discussed applyingly to a complex flow with a wave attractor structure. Attractor modes present structured vortex-like figure which cannot be claimed to be aleatory. As it turns out POD modes are not just a formal decomposition but have a physical origin: they are connected with instability cascade minor frequencies, as spectral investigation shows. Another consequence of that is that one of the collateral structure maximum can be visible. This proposition is proven as the structure is found to be visible in the flow itself. © 2023 National Research Nuclear University. All rights reserved.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：