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

3D hydrodynamical simulation of accretion disk in binary star system using RKDG CFD solver

3D hydrodynamical simulation of accretion disk in binary sta...

Workshop on Numerical Modeling in MHD and Plasma Physics: Methods, Tools, and Outcomes. Honor of academician Anatoly Alekseev's 90th Birthday

作者： Galanin, M.P. Lukin, V.V. Chechetkin, V.M. Keldysh Institute of Applied Mathematics of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

We present the results of 3D-hydrodynamical simulations of accretion disk in close binary star system. The model includes the optical star filling its Roche lobe, a gas stream emanating from the inner Lagrangian point of the binary system, and the accretion disc structure. A cold hydrogen gas stream is initially emitted towards a point-like gravitational centre. A stationary accretion disc is formed in about 5 orbital periods after the beginning of accretion. The model uses realistic cooling function for hydrogen. The simulation of accreting gas dynamics is performed using second order Runge-Kutta discontinuous Galerkin CFD solver for unstructured tetrahedral meshes. The monotonicity technique based on Hermite WENO solution reconstruction is implemented. Utilizing the hydrodynamical simulations the sinthetic light curves of the system are calculated as the volume emission of optically thin layers along the line of sight. The simulations results are in a good agreement with observations. © 2018 institute of Physics Publishing. All rights reserved.

关键词： Gas dynamics

来源：评论

学校读者我要写书评

暂无评论

Verifying Multiple Virtual Networks in Software Defined Networks

Verifying Multiple Virtual Networks in Software Defined Netw...

引用

2021 IEEE East-West Design and Test Symposium, EWDTS 2021

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia

ISBN: (纸本)9781665445030

Software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired paths where packages can be sent, 'looping' when the packages are infinitely cycled and infinitely cloned, duplicate paths when the host receives the same package several times. We show that these effects can occur for the joint implementation of several virtual networks even if the implementation of each separate virtual network does not cause these effects. A method for verifying the implementation of several virtual networks is proposed. A sufficient condition is established for the graph of physical connections when any set of virtual networks can be implemented without the occurrence of the above undesirable effects. © 2021 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Adaptation of the TOSCA standard model for the Kubernetes container environment

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

引用

2020 Ivannikov Memorial Workshop, IVMEM 2020

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

ISBN: (纸本)9781728190884

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. © 2020 IEEE.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

LingvoDoc: Phonology Option Features (Using theExample of the Forest Nenets Languages)

LingvoDoc: Phonology Option Features (Using theExample of th...

引用

2023 Ivannikov ISPras Open Conference, ISPras 2023

作者： Koshelyuk, Natalia Ivannikov Institute for System Programming of the Ras Linguistic Platforms Laboratory Moscow Russia

ISBN: (纸本)9798350349993

The article presents the results of a study of the field material of the Purovsky dialect of the Forest Nenets language. His experimental phonological analysis was conducted using the LingvoDoc data processing algorithms. A comparison of the vowel sound system obtained as a result of this analysis with other phonetic systems of the Forest Nenets language proposed by linguists of the XX-XXI centuries, and its four separate native speakers, allowed us to conclude that this dialect is unique and further research is necessary, taking into account data on contact languages for the Forest Nenets. © 2023 IEEE.

关键词： Data handling

来源：评论

学校读者我要写书评

暂无评论

Deriving Distinguishing Sequences for Input/Output Automata

Deriving Distinguishing Sequences for Input/Output Automata

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (纸本)9781728198996

Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability relations is much bigger than for classical deterministic Finite State Machines (FSM). In order to avoid submitting the same test sequence several number of times, i.e., avoid the "all weather conditions"assumption, the separability relation can be considered. If two Input/Output automata are separable then there exists an input sequence such that after submitting this sequence and observing produced outputs it can be uniquely concluded which automaton is under testing. In this paper, we modify the discipline of applying input sequences and discuss the derivation of separating sequences for automata with mixed states, i.e., states where transitions both under inputs and under outputs are defined, as well as with cycles labeled by outputs. We also illustrate how an adaptive separating sequence can be derived when both automata are input-enabled. © 2020 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Axel Berg's Legacy in Cybernetics and Education. From the Council on Cybernetics to Axel Berg institute 5

Axel Berg's Legacy in Cybernetics and Education. From the Co...

引用

5th International Scientific Conference: History of Computers and Informatics in the Former Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020

作者： Semenov, Alexei Vardanyan, Valery Vishnyakov, Yury Gukasov, Ivan Rudchenko, Tatiana Uvarov, Alexander Axel Berg Institute Frc Csc of the Ras Moscow Russia Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (纸本)9781665403184

The history of the Scientific Council on Complex Problem 'Cybernetics' of the Academy of Sciences of the USSR created at the initiative of academician and navy admiral, Axel Ivanovich Berg, is covered. Axel Berg's brilliant predictions, relating to the cybernetics development and digital transformation in education are described. The current continuation of Berg's traditions is highlighted. © 2020 IEEE.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

MAJORCA: Multi-Architecture JOP and ROP Chain Assembler

MAJORCA: Multi-Architecture JOP and ROP Chain Assembler

引用

2021 Ivannikov Ispras Open Conference, ISPras 2021

作者： Nurmukhametov, Alexey Vishnyakov, Alexey Logunova, Vlada Kurmangaleev, Shamil Ivannikov Institute For System Programming Of The Ras Russia Moscow Institute Of Physics And Technology Moscow Russia

ISBN: (纸本)9781665423304

Nowadays, exploits often rely on a code-reuse approach. Short pieces of code called gadgets are chained together to execute some payload. Code-reuse attacks can exploit vul-nerabilities in the presence of operating system protection that prohibits data memory execution. The ROP chain construction task is the code generation for the virtual machine defined by an exploited executable. It is crucial to understand how powerful ROP attacks can be. Such knowledge can be used to improve software security. We implement MAJORCA that generates ROP and JOP payloads in an architecture agnostic manner and thoroughly consider restricted symbols such as null bytes that terminate data copying via strcpy. The paper covers the whole code-reuse payloads construction pipeline: cataloging gadgets, chaining them in DAG, scheduling, linearizing to the ready-to-run payload. MAJORCA automatically generates both ROP and JOP payloads for x86 and MIPS. MAJORCA constructs payloads respecting restricted symbols both in gadget addresses and data. We evaluate MAJORCA performance and accuracy with rop-benchmark and compare it with open-source compilers. We show that MAJORCA outperforms open-source tools. We propose a ROP chaining metric and use it to estimate the probabilities of successful ROP chaining for different operating systems with MAJORCA as well as other ROP compilers to show that ROP chaining is still feasible. This metric can estimate the efficiency of OS defences. © 2021 IEEE.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Modeling the reservoir flooding problem using the extended version of the porousmultiphasefoam library

Modeling the reservoir flooding problem using the extended v...

引用

2019 Ivannikov Ispras Open Conference, ISPras 2019

作者： Romanova, Daria Strijhak, Sergei Koshelev, Konstantin Kraposhin, Matvey Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781728160559

In this work, we develop software based on porousMultiphaseFoam library in OpenFOAM package to study enhanced oil recovery methods, and to study the influence of these methods on the oil recovery factor. New models of relative phase permeability and capillary pressure were implemented, and their comparative analysis was performed. The code was verified using the analytical approach. A new solver for simulating compressible flow was developed. © 2019 IEEE.

关键词： Horizontal wells

来源：评论

学校读者我要写书评

暂无评论

A Survey of Open-source Tools for FPGA-based Inference of Artificial Neural Networks

A Survey of Open-source Tools for FPGA-based Inference of Ar...

引用

2021 Ivannikov Memorial Workshop, IVMEM 2021

作者： Lebedev, Mikhail Belecky, Pavel Plekhanov Russian University of Economics Ivannikov Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9781665423274

During the recent years artificial neural networks have become a great part of everyday life. One of the big problems in AI is acceleration of neural network inference using different hardware: from CPUs and GPUs to FPGAs and ASICs. Many open-source tools have been proposed for this purpose. This article contains a review of a range of open-source tools for neural network optimization, acceleration and hardware synthesis. Tools of three types have been chosen for evaluation: 1) translating neural network models into synthesizable C;2) accelerating neural network models using custom hardware accelerators;3) synthesizing Verilog from neural network models. Some of the tools have been tested using five simple neural network examples. Intel CPU, NVIDIA GPU and Cyclone V FPGA hardware platforms have been used for evaluation. Results show that the tested tools can successfully process neural network models and optimize them for CPU and GPU execution, whereas FPGA execution results are controversial. © 2021 IEEE.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

Minimizing Deterministic Timed Finite State Machines

引用

IFAC-PapersOnLine 2018年第7期51卷 486-492页

作者： Bresolin, Davide Tvardovskii, Aleksandr Yevtushenko, Nina Villa, Tiziano Gromov, Maxim University of Padova Padova Italy Tomsk State University Tomsk Russia Institute for System Programming RAS Moscow Russia University of Verona Verona Italy

Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends the expressive power of FSMs by introducing a single clock, timed guards which restrict when the input/output transitions may happen, and timeouts on the transitions. We derived an abstraction procedure to convert a TFSM into an equivalent untimed FSM. Here, we extend the model with output timeouts and derive a minimal form for deterministic TFSMs that reduces the number of states, the number of transitions and the timeout values at each state. © 2018

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：