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

Tools for Capturing and Processing High-Speed Network Traffic

programming AND COMPUTER SOFTWARE 2022年第8期48卷 756-769页

作者： Larin, D. V. Get'man, A. I. Moscow Inst Phys & Technol Dolgoprudnyi 141700 Moscow Oblast Russia Russian Acad Sci Ivannikov Inst Syst Programming Moscow 109004 Russia Natl Res Univ Higher Sch Econ HSE Univ Moscow 109028 Russia

In modern realities, the Internet experience a permanent increase in network traffic volume. However, standard network stacks currently implemented in modern operating systems are not able to cope with the capturing and processing of traffic that comes at a speed of 10 Gb/s and higher. Therefore, various software frameworks are developed, being able to cope with high-speed network traffic. They allow high-performance packet IO on commodity hardware, expanding the domain of its use to cases previously available only to specialized hardware. In this paper, we explore modern traffic capturing and processing frameworks. For each tool, we describe its architecture and provide measurements of performance. Furthermore, we provide a comparison between them and define the area of applicability.

关键词： HIgh speed networks

来源：评论

学校读者我要写书评

暂无评论

Context Specificity Matters: Profile Attributes Prediction for Social Network Users 55

Context Specificity Matters: Profile Attributes Prediction f...

引用

55th Annual Conference on Information Sciences and systems (CISS)

作者： Gomzin, Andrey Drobyshevskiy, Mikhail Turdakov, Denis Lomonosov Moscow State Univ Inst Syst Programming Moscow Russia

ISBN: (纸本)9781665412681

Analysis of social network user profiles plays an important role in various applications such as recommender systems and marketing services. In this paper we consider the task of profile prediction given a sample of a social graph. We introduce a new node property named context specificity, which allows to enhance node attribute prediction methods by emphasizing more useful nodes and edges. Particularly, we show how to apply it to several existing methods: label propagation, classification based on node embeddings, graph convolutional neural network. Our experiments prove that context specificity feature improves methods quality in most considered tasks. Additionally, we suggest a new supervised method based on attribute values distributions that is competitive with state of the art approaches. We also describe and share two new datasets, representing a sample of VK social network.

关键词： demographic attributes demographics prediction social graph user profile inference context specificity graph embedding graph neural networks graph convolution label propagation

来源：评论

学校读者我要写书评

暂无评论

LAGNet: better electron density prediction for LCAO-based data and drug-like substances

引用

JOURNAL OF CHEMINFORMATICS 2025年第1期17卷 1-24页

作者： Ushenin, Konstantin Khrabrov, Kuzma Tsypin, Artem Ber, Anton Rumiantsev, Egor Kadurin, Artur AIRI Moscow 121170 Russia Ural Fed Univ Mira St Ekaterinburg 620002 Russia Ecole Polytech Fed Lausanne EPFL Stn Z CH-1015 Lausanne Switzerland Inst Syst Programming Alexander Solzhenitsyn St Moscow 109004 Russia

The electron density is an important object in quantum chemistry that is crucial for many downstream tasks in drug design. Recent deep learning approaches predict the electron density around a molecule from atom types and atom positions. Most of these methods use the plane wave (PW) numerical method as a source of ground-truth training data. However, the drug design field mostly uses the Linear Combination of Atomic Orbitals (LCAO) for computation of quantum properties. In this study, we focus on prediction of the electron density for drug-like substances and training neural networks with LCAO-based datasets. Our experiments show that proper handling of large amplitudes of core orbitals is crucial for training on LCAO-based data. We propose to store the electron density with the standard grids instead of the uniform grid. This allowed us to reduce the number of probing points per molecule by 43 times and reduce storage space requirements by 8 times. Finally, we propose a novel architecture based on the DeepDFT model that we name LAGNet. It is specifically designed and tuned for drug-like substances and del 2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\nabla <^>2$$\end{document}DFT dataset.

关键词： Electron density Deep learning Quantum chemistry Linear combination of atomic orbitals

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Operating systems Based on Abstract Models

引用

programming AND COMPUTER SOFTWARE 2023年第7期49卷 559-565页

作者： Efremov, D. V. Kopach, V. V. Kornykhin, E. V. Kuliamin, V. V. Petrenko, A. K. Khoroshilov, A. V. Shchepetkov, I. V. Russian Acad Sci Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia Natl Res Univ Higher Sch Econ Ul Myasnitskaya 20 Moscow 101978 Russia Moscow Inst Phys & Technol Inst skii Per 9 Dolgoprudnyi 141700 Moscow Oblast Russia

Because of high complexity of a modern operating system (OS) one has to use complex models in high-level languages even when specifying some separate aspects of OS functionality, such as, security functions. The problem of verifying the conformity between an OS and these models requires the establishment of a rather complex relationship between elements of OS implementation and elements of the model. In this paper, we present a method to establish and support this relationship, which can be effectively used in OS testing and monitoring. This method was successfully used in testing and monitoring the conformity between Linux kernel components and Event-B models.

关键词： runtime verification Linux kernel LSM IMA/EVM Event-B and ProB

来源：评论

学校读者我要写书评

暂无评论

Accuracy Certificates for Convex Minimization with Inexact Oracle

引用

JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS 2025年第1期204卷 1-23页

作者： Gladin, Egor Gasnikov, Alexander Dvurechensky, Pavel HSE Univ 11 Pokrovsky Blvd Moscow 109028 Russia Humboldt Univ Unter Linden 6 D-10117 Berlin Germany Innopolis Univ 1 Univ Str Innopolis 420500 Russia Moscow Inst Phys & Technol 9 Institutskiy Per Dolgoprudnyi 141701 Russia RAS Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia Weierstrass Inst Appl Anal & Stochast Mohrenstr 39 D-10117 Berlin Germany

Accuracy certificates for convex minimization problems allow for online verification of the accuracy of approximate solutions and provide a theoretically valid online stopping criterion. When solving the Lagrange dual problem, accuracy certificates produce a simple way to recover an approximate primal solution and estimate its accuracy. In this paper, we generalize accuracy certificates for the setting of an inexact first-order oracle, including the setting of primal and Lagrange dual pair of problems. We further propose an explicit way to construct accuracy certificates for a large class of cutting plane methods based on polytopes. As a by-product, we show that the considered cutting plane methods can be efficiently used with a noisy oracle even though they were originally designed to be equipped with an exact oracle. Finally, we illustrate the work of the proposed certificates in the numerical experiments highlighting that our certificates provide a tight upper bound on the objective residual.

关键词： Cutting plane methods Inexact subgradient Accuracy certificate Primal-dual algorithms Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Deriving homing sequences for Finite State Machines with timeouts

引用

COMPUTER JOURNAL 2023年第9期66卷 2181-2190页

作者： Tvardovskii, Aleksandr Yevtushenko, Nina Natl Res Tomsk State Univ Dept Appl Math & Comp Sci Tomsk 634050 Russia RAS Ivannikov Inst Syst Programming Dept Software Engn Moscow 109004 Russia Natl Res Univ Higher Sch Econ Dept Comp Sci Moscow 101000 Russia

State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based testing of software and hardware systems. When modern systems are modeled, it is necessary to take into account the timed aspects and for this reason classical Finite State Machines (FSM) are extended by clock variables. In this work, we study the homing problem for FSMs with timeouts (TFSM). For this purpose, we introduce the notion of a timed homing sequence (HS) that is different from that for classical FSMs and propose a method for checking the existence and deriving a timed HS if it exists. A proposed method is based on the FSM abstraction of a TFSM, i.e. on a classical FSM that partially describes the behavior of a corresponding TFSM and inherits many of its properties. Since timeouts allow the system to move from state to state without input impact, we define a timed HS as a sequence that sets a TFSM to a stable state where the system can stay infinitely long waiting for an input.

关键词： Finite State Machine (FSM) timeout FSM abstraction homing sequence

来源：评论

学校读者我要写书评

暂无评论

UVL: Feature modelling with the Universal Variability Language☆

引用

JOURNAL OF systEMS AND SOFTWARE 2025年 225卷

作者： Benavides, David Sundermann, Chico Feichtinger, Kevin Galindo, Jose A. Rabiser, Rick Thuem, Thomas Univ Seville Dept Comp Languages & Syst Ave Reina Mercedes Seville 41012 Spain Univ Ulm Inst Software Engn & Programming Languages Albert Einstein Allee 11 D-89069 Ulm Germany Karlsruhe Inst Technol KASTEL Dependabil Software intens Syst CRC 1608 Fasanengarten 5 D-76131 Karlsruhe Germany Johannes Kepler Univ Linz Christian Doppler Lab VaSiCS LIT CPS Lab Altenberger Str 69 A-4040 Linz Austria TU Braunschweig Inst Software Engn & Automot Informat Muhlenpfordtstr 23 D-38106 Braunschweig Germany

Feature modelling is a cornerstone of software product line engineering, providing a means to represent software variability through features and their relationships. Since its inception in 1990, feature modelling has evolved through various extensions, and after three decades of development, there is a growing consensus on the need for a standardised feature modelling language. Despite multiple endeavours to standardise variability modelling and the creation of various textual languages, researchers and practitioners continue to use their own approaches, impeding effective model sharing. In 2018, a collaborative initiative was launched by a group of researchers to develop a novel textual language for representing feature models. This paper introduces the outcome of this effort: the Universal Variability Language (UVL), which is designed to be human-readable and serves as a pivot language for diverse software engineering tools. The development of UVL drew upon community feedback and leveraged established literature in the field of variability modelling. The language is structured into three levels - Boolean, Arithmetic, and Type - and allows for language extensions to introduce additional constructs enhancing its expressiveness. UVL is integrated into various existing software tools, such as FeatureIDE and flamapy, and is maintained by a consortium of institutions. All tools that support the language are released in an open-source format, complemented by dedicated parser implementations for Python and Java. Beyond academia, UVL has found adoption within a range of institutions and companies. It is envisaged that UVL will become the language of choice in the future for a multitude of purposes, including knowledge sharing, educational instruction, and tool integration and interoperability. We envision UVL as a pivotal solution, addressing the limitations of prior attempts and fostering collaboration and innovation in the domain of software product line engineering.

关键词： Feature model Software product lines Variability

来源：评论

学校读者我要写书评

暂无评论

Analysis of Correct Synchronization of Operating system Components

引用

programming AND COMPUTER SOFTWARE 2020年第8期46卷 712-730页

作者： Andrianov, P. S. RAS Ivannikov Inst Syst Programming Moscow Russia

Most of the software model checker tools do not scale well on complicated software. Our goal was to develop a tool, which provides an adjustable balance between precise and slow software model checkers and fast and imprecise static analyzers. The key idea of the approach is an abstraction over the precise thread interaction and analysis for each thread in a separate way, but together with a specific environment, which models effects of other threads. The environment contains a description of potential actions over the shared data and synchronization primitives, and conditions for its application. Adjusting the precision of the environment, one can achieve a required balance between speed and precision of the complete analysis. A formal description of the suggested approach was performed within a Configurable Program Analysis theory. It allows formulating assumptions and proving the soundness of the approach under the assumptions. For efficient data race detection we use a specific memory model, which allows to distinguish memory domains into the disjoint set of regions, which correspond to a data types. An implementation of the suggested approach into the CPAchecker framework allows reusing an existed approaches with minimal changes. Implementation of additional techniques according to the extended theory allows to increase the precision of the analysis. Results of the evaluation allow confirming scalability and practical usability of the approach.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

SoC approach for low cost and low power consumption based on ARM Cortex M3 according to ISO 26262 18

SoC approach for low cost and low power consumption based on...

引用

18th International Multi-Conference on systems, Signals & Devices (SSD)

作者： Hafiz, Muhammad Ikram Abdelawwad, Mohamed Mueller, Waldemar Hahn, Eike Boercsoek, Josef Univ Kassel Inst Comp Architecture & Syst Programming ICAS Kassel Germany

ISBN: (纸本)9781665414937

The next milestone in the automotive industry is to achieve the complete autonomous driving capability. This demands high performance computing controllers and a larger number of Electronic Controller Units (ECUs) for realizing this goal. Also, the current shift towards electric cars where the battery capacity is limited, urges for new efficient approaches. Therefore, developing compact, miniaturized integrated controller that encompasses all the features is essential for minimizing the power consumption. At the same time, this approach of ECUs must also ensure the cost efficiency. To address and handle this need, the reduction in the ECUs numbers is necessary to reduce the cost factor but at the same time not compromising on the functionalities. Therefore, the approach of integrating these individual features in a single ECU is a promising way forward, i.e., system-on-Chip (SoC). To design and implement such an SoC for the automotive industry that ensures the safe operation of the controlled functions, it must follow a particular development criterion according to the ISO 26262 - functional safety of the road vehicles. This work focuses on the development of an SoC according to the ISO 26262 standard based on ARM Cortex M3 architecture which is an attractive candidate due to its low cost and low power consumption.

关键词： system-on-Chip ISO 26262 safety analysis safety element out of context

来源：评论

学校读者我要写书评

暂无评论

Communication SoC based on 1oo2D architecture for industrial human-robot-collaboration 18

Communication SoC based on 1oo2D architecture for industrial...

引用

18th International Multi-Conference on systems, Signals & Devices (SSD)

作者： Abdelawwad, Mohamed Drabesch, Malte Schwarz, Michael Hafiz, Muhammad Ikram Boercsoek, Josef Univ Kassel Inst Comp Architecture & Syst Programming ICAS Kassel Germany

ISBN: (纸本)9781665414937

The mechanical force imparted by industrial robots is enormous and can lead to dangerous situations for human workers and property if they malfunction. system designs based on the redundancy concept are essential to avoid or mitigate the resulting risk, which is recommended by the various safety standards. In this paper, a loo2D based safety SoC that provides multiple Ethernet communication interfaces is presented. Two different design approaches are implemented using the in-house FPGA development board based on the LEON3 soft processor. The software algorithms for each approach are developed and verified.

关键词： industrial human-robot collaboration safety system architectures safety Ethernet communication

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：