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

12th International Conference on Computational Heat, Mass and Momentum Transfer (ICCHM2T)

作者： Epikhin, Andrey Kraposhin, Matvey Vatutin, Kirill RAS Ivannikov Inst Syst Programming Solzhenitsyna Str 25 Moscow 109004 Russia RAS Keldysh Inst Appl Math Miusskaya Pl 4 Moscow Russia Bauman Moscow State Tech Univ 2 Aya Baumanskaya Str 5 Moscow 105005 Russia MIPT Dept Aeromech & Flight Engn Gagarina Str 16 Zhukovskii 140180 Russia

The paper presents an analysis of various approaches for calculation gas-dynamic parameters and acoustic perturbations generated by a compressible jet at low Reynolds number (Al = 0.9, Re = 3600). The jet flow parameters at selected conditions are well studied and can be used for validation of the numerical methods and schemes. The OpenFOAM software package with various approaches (solvers) such as pimpleCentralFoam, dbnsTurbFoam and new QGDFoam solver based on QGD-algorithms are considered. The results of time-averaged flow parameters and acoustic properties are compared with the experimental data. To determine the acoustic perturbation the Ffowcs Williams and Hawkings analogy implemented in our OpenFOAM library (libAcoustic) has been used.

关键词： Acoustic properties

来源：评论

学校读者我要写书评

暂无评论

Open-source Validation Suite for RISC-V 20

Open-source Validation Suite for RISC-V

引用

20th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV)

作者： Chupilko, Mikhail Kamkin, Alexander Protsenko, Alexander Russian Acad Sci ISP RAS Ivannikov Inst Syst Programming Moscow 117901 Russia Lomonosov Moscow State Univ MSU Moscow Russia Moscow Inst Phys & Technol MIPT Moscow Russia Natl Res Univ Higher Sch Econ HSE Moscow Russia

ISBN: (数字)9781728150253

ISBN: (纸本)9781728150253

In this paper, we propose a validation suite, applicable for different RISC-V designs. The suite can be considered as a stack of the following three layers: a framework based on MicroTESK TPG and formal specifications of RISC-V ISA, the test templates layer, and the test program layer. All these layers are closely connected, allowing to automatically receive basic tests for ISA. The suite has been applied for Syntacore's SCR1 core and ETH Zurich's RISCY core.

关键词： Registers Tools Microprocessors Standards Object oriented modeling Generators Open source software

来源：评论

学校读者我要写书评

暂无评论

Numerical Modelling of High-frequency Internal Waves Generated by River Discharge in Coastal Ocean 5

Numerical Modelling of High-frequency Internal Waves Generat...

引用

5th International Conference on Geographical Information systems Theory, Applications and Management (GISTAM)

作者： Marchevsky, I. K. Osadchiev, A. A. Popov, A. Y. Bauman Moscow State Tech Univ 52-Ya Baumanskaya Str Moscow Russia RAS Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow Russia Russian Acad Sci Shirshov Inst Oceanol 36 Nahimovskiy Prospekt Moscow Russia

ISBN: (纸本)9789897583711

A method for numerical simulation of internal waves generation by discharges of small and rapid rivers flowing into a coastal sea is proposed. The method is based on PFEM-2 (Particle Finite Element Method, 2nd version) and utilizes particles to simulate convection as well as transfer salinity. Main simplifying assumptions and the mathematical model are presented for this problem. The numerical scheme is split into predictor (particles motion) and corrector (finite element method solution) steps. The resulting method is expected to be efficient in terms of mesh fineness and length of simulation time.

关键词： River Plume Internal Waves Coastal Ocean Small River Numerical Modelling Lagrangian-Eulerian Method

来源：评论

学校读者我要写书评

暂无评论

Simulation of turbulence mixing in the atmosphere boundary layer and analysis of fractal dimension

引用

PHYSICA SCRIPTA 2019年第6期94卷

作者： Tellez-Alvarez, Jackson Koshelev, Konstantin Strijhak, Sergei Redondo, Jose M. Tech Univ Catalonia Inst Flumen Dept Civil & Environm Engn Barcelona Spain Tech Univ Catalonia Dept Phys Barcelona Spain RAS Ivannikov Inst Syst Programming Moscow Russia

In the first part of this paper, a flow model for numerical simulation of turbulent parameters in atmospheric boundary layer (ABL), based on finite volume method and large-eddy simulation is introduced. This model consists of balance equations for mass, momentum and energy (for potential temperature) equations. The Lagrangian dynamic model of Smagorinsky with restriction of size for the coefficient Cs was used for sub grid turbulent viscosity. The second part of this paper is devoted to the numerical aspects of flow model using proper orthogonal decomposition (POD) method. In the final part of this paper, results from numerical studies on flow in ABL for the neutral and stable case and analysis of fractal dimensions are presented. These results constitute important tests for the assessment of the predictive capacity for the stratified flow model in hand. ImaCalc program was used to study the fractal parameter and structure functions. We calculated the maximum value of fractal dimension D selected among all of the velocity intensity and vorticity modules which was a good indicator of flow's complexity. The data of evolution of D(t) in the middle section of the domain of the multifractal spectra along the main downstream axis were also calculated. The reduction in the maximum value of the fractal dimension for intermediate velocity and vorticity values is consistent with laboratory experiments and with wind wane measurements.

关键词： computational fluids dynamics numerical simulation atmospheric boundary layer (ABL) velocity vorticity stratified turbulence fractal dimension

来源：评论

学校读者我要写书评

暂无评论

On the road to a scientific data lake for the High Luminosity LHC era

引用

INTERNATIONAL JOURNAL OF MODERN PHYSICS A 2020年第33期35卷

作者： Alekseev, Aleksandr Campana, Simone Espinal, Xavier Jezequel, Stephane Kirianov, Andrey Klimentov, Alexei Korchuganova, Tatiana Mitsyn, Valeri Oleynik, Danila Smirnov, Serge Zarochentsev, Andrey Plekhanov Russian Univ Econ Cloud Technol & Big Data Analyt Lab Moscow 117997 Russia Univ Andr Bello ATLAS Grp Santiago 7550196 Chile RAS Ivannikov Inst Syst Programming Compiler Technol Dept Moscow 109004 Russia CERN IT Dept CH-1211 Geneva 23 Switzerland LAPP ATLAS Grp F-74941 Annecy Le Vieux France NRC Kurchatov Inst PNPI Dept Comp Resources & Technol Gatchina 188300 Russia Brookhaven Natl Lab Phys Dept Technol St Upton NY 11973 USA Joint Inst Nucl Res Lab Informat Technol Dubna 141980 Russia Natl Res Nucl Univ MEPhI Inst Nucl Phys & Technol Moscow 115409 Russia St Petersburg State Univ Lab Ultra High Energy Phys St Petersburg Russia

The experiments at CERN's Large Hadron Collider use the Worldwide LHC Computing Grid, the WLCG, for its distributed computing infrastructure. Through the distributed workload and data management systems, they provide seamless access to hundreds of grid, HPC and cloud based computing and storage resources that are distributed worldwide to thousands of physicists. LHC experiments annually process more than an exabyte of data using an average of 500,000 distributed CPU cores, to enable hundreds of new scientific results from the collider. However, the resources available to the experiments have been insufficient to meet data processing, simulation and analysis needs over the past five years as the volume of data from the LHC has grown. The problem will be even more severe for the next LHC phases. High Luminosity LHC will be a multiexabyte challenge where the envisaged Storage and Compute needs are a factor 10 to 100 above the expected technology evolution. The particle physics community needs to evolve current computing and data organization models in order to introduce changes in the way it uses and manages the infrastructure, focused on optimizations to bring performance and efficiency not forgetting simplification of operations. In this paper we highlight a recent R&D project related to scientific data lake and federated data storage.

关键词： Data lake DOMA LHC

来源：评论

学校读者我要写书评

暂无评论

AC-RRNS: Anti-collusion secured data sharing scheme for cloud storage

引用

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2018年 102卷 60-73页

作者： Tchernykh, Andrei Babenko, Mikhail Chervyakov, Nikolay Miranda-Lopez, Vanessa Kuchukov, Viktor Cortes-Mendoza, Jorge M. Deryabin, Maxim Kucherov, Nikolay Radchenko, Gleb Avetisyan, Arutyun CICESE Res Ctr Ensenada BC Mexico North Caucasus Fed Univ Stavropol Russia South Ural State Univ Chelyabinsk Russia RAS Ivannikov Inst Syst Programming Moscow Russia

Cloud security issues are important factors for data storage and processing. Apart from the existing security and reliability problems of traditional distributed computing, there are new security and reliability problems. They include attacks on a virtual machine, attacks on the synchronization keys, and so on. According to the assessment of international experts in the field of cloud security, there are risks of cloud collusion under uncertain conditions. To mitigate this type of uncertainty and reduce harms it can cause, we propose AC-RRNS algorithm based on modified threshold Asmuth-Bloom and Mignotte secret sharing schemes. We prove that the algorithm satisfies the formal definition of computational security. If the adversary coalition knows the secret shares, but does not know the secret key, the probability to obtain the secret is less than 1/(2(l.(k-1))(2(l-k)-1)). The probability is less than 1/2((l-1))) with unknown secret shares and known secret key, and 1/2(l.k) with unknown secret key. Its complexity is equal to brute-force method. We demonstrate that the proposed scheme ensures security under several types of attacks. We propose approaches for selection of parameters for AC-RRNS secret sharing scheme to optimize the system behavior and data redundancy of encryption. (C) 2018 Elsevier Inc. All rights reserved.

关键词： Uncertainty Collusion Multi-cloud Cloud Computing Secret Sharing Schemes Residue Number system

来源：评论

学校读者我要写书评

暂无评论

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts 1

引用

30th IFIP WG 6.1 International Conference on Testing Software and systems (ICTSS)

作者： Tvardovskii, Aleksandr El-Fakih, Khaled Yevtushenko, Nina Tomsk State Univ Tomsk Russia Amer Univ Sharjah Sharjah U Arab Emirates RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (数字)9783319999272

ISBN: (纸本)9783319999272;9783319999265

In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialized deterministic FSMs with timeouts based on an appropriate FSM abstraction of the timed FSM specification. We also show how the same approach can be used for deriving tests for FSMs with both time guards and timeouts.

关键词： Conformance testing Timed finite state machines

来源：评论

学校读者我要写书评

暂无评论

Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation

引用

FORMAL ASPECTS OF COMPUTING 2018年第2期30卷 319-332页

作者： El-Fakih, Khaled Yevtushenko, Nina Kushik, Natalia Amer Univ Sharjah POB 26666 Sharjah U Arab Emirates Tomsk State Univ Tomsk Russia RAS Inst Syst Programming Moscow Russia Univ Paris Saclay CNRS SAMOVAR Telecom SudParis Evry France

A top-down approach is presented for checking the existence and derivation of an adaptive distinguishing test case (called also an adaptive distinguishing sequence) for a nondeterministic finite state machine (NDFSM). When such a test case exists, the method returns a canonical test case that includes all other distinguishing tests of the given complete observable NDFSM. In the second part of the paper, a constructive approach is provided for deriving a class of complete observable NDFSMs with n states, n > 2, and 2 (n) - n - 1 inputs such that a shortest adaptive distinguishing test case for each NDFSM in the intended class has the length (height) 2 (n) - n - 1. In other words, we prove the reachability of the exponential upper bound on the length of a shortest adaptive distinguishing sequence for complete observable NDFSMs while for deterministic machines the upper bound is polynomial with respect to the number of states. For constructing the intended class of NDFSMs for a given n, we propose a special linear order over all the non-empty subsets without singletons of an n-element set. The obtained tight exponential upper bound initiates further research on identifying certain NDFSM classes where this upper bound is not reachable.

关键词： Adaptive distinguishing experiments Nondeterministic finite state machines Finite state machine based testing

来源：评论

学校读者我要写书评

暂无评论

Minimizing Deterministic Timed Finite State Machines

Minimizing Deterministic Timed Finite State Machines

引用

14th IFAC International Workshop on Discrete Event systems (WODES)

作者： Bresolin, Davide Tvardovskii, Aleksandr Yevtushenko, Nina Villa, Tiziano Gromov, Maxim Univ Padua Padua Italy Tomsk State Univ Tomsk Russia RAS Inst Syst Programming Moscow Russia Univ 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. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Timed Finite State Machines Minimization Real-time systems Automata theory Timed Automata

来源：评论

学校读者我要写书评

暂无评论

Peripheral device register support for source code boilerplate generator of QEMU Development Toolkit

Peripheral device register support for source code boilerpla...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Efimov, Vasily Padaryan, Vartan RAS Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia

ISBN: (纸本)9781538676905

QEMU emulator is used together with different security tools to solve problems where maximum control over virtual machine is required. Absence of a proper VM with specific devices is a widespread issue. Also, development of a new virtual device (device model) is a error prone and time consuming process. The QEMU Development Toolkit (QDT) can be used to simplify the first stage of this process by generating boilerplate code for models. Currently QDT can generate the bulk of device model code. The paper discusses some extensions of QDT capabilities. A device register model was added. The register model allows to generate extra code for frequently met device register behavior patterns. The model is implemented as an extension to QDT device description API in Python. Evaluation showed that size of device register description is half of C-code boilerplate generated from it. The register description is gathered in one place, that's more convenient for developer whereas generated code is spread across the boilerplate.

关键词： QEMU boilerplate generation device semantic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：