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

20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020

作者： Strijhak, Sergei V. Gergel, Victor P. Ivanov, Aleksandr V. Gadal, Sebastien Zh. Ivannikov Institute for System Programming of the RAS Moscow109004 Russia Moscow Aviation Institute Moscow125993 Russia Lobachevsky State University of Nizhny Novgorod Nizhnij Novgorod603950 Russia Aix-Marseille Univ CNRS ESPACE UMR 7300 Univ Nice Sophia Antipolis Avignon Univ Aix-en-Provence13545 France North-Eastern Federal University Yakutsk Sakha Yakutia67000 Russia

ISBN: (纸本)9783030787585

The paper considers the problem of choosing the optimal parameters for the operation of 3 horizontal wind turbines of the wind farm in the town Tiksi, in the Sakha Republic. The open-source WRF-ARW and FLORIS packages are used to calculate the physical parameters in the wind farm. During the calculation, the values of wind velocity, temperature, pressure fields, and the value of the generated power of wind power plants were obtained. The optimization problem is formulated, the objective function is defined, and 2 variable parameters are selected, namely, yaw angle and angle of attack. The calculations were carried out on the computing cluster of ISP RAS. © 2021, Springer Nature Switzerland AG.

关键词： Angle of attack

来源：评论

学校读者我要写书评

暂无评论

Lemma functions for frama-C: C programs as proofs

arXiv

引用

arXiv 2018年

作者： Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed. Copyright © 2018, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the Impact of Various Local Data Caching Configurations on Tier2/Tier3 WLCG Sites 4

Evaluation of the Impact of Various Local Data Caching Confi...

引用

4th International Workshop on Data Life Cycle in Physics, DLC 2020

作者： Alekseev, Aleksandr Jezequel, Stephane Kiryanov, Andrey Klimentov, Alexei Korchuganova, Tatiana Mitsyn, Valery Oleynik, Danila Smirnov, Serge Zarochentsev, Andrey Nrc ÂKurchatov Instituteâ A- Pnpi Gatchina Russia Saint Petersburg State University Saint Petersburg Russia Brookhaven National Laboratory UptonNY United States Joint Institute for Nuclear Research Dubna Russia National Research Nuclear University MEPhI Moscow Russia Institute for System Programming Ras Moscow Russia University Andres Bello Santiago Chile Plekhanov University of Economy Moscow Russia Laboratoire DâAnnecy de Physique des Particules Annecy France

In this paper, we describe various data caching scenarios test implementation and lessons learned. In particular, we show how local data caches may be configured, deployed, and tested. In our studies, we are using xCache, which is a special type of Xrootd server setup to cache input data for a physics analysis. A relatively large Tier2 storage is used as a primary data source and several geographically distributed smaller WLCG sites configured specifically for this test. All sites are connected to the LHCONE network. The testbed configuration is evaluated using both synthetic tests and real ATLAS computational jobs submitted via the HammerCloud toolkit. The impact and realistic applicability of different local cache configurations is explained, including both the network infrastructure and the configuration of computing nodes. © 2020 CEUR-WS. All rights reserved.

关键词： High energy physics

来源：评论

学校读者我要写书评

暂无评论

Numerical simulation of the interaction between suspended sediment and moving plate based on the drift-flux model

Numerical simulation of the interaction between suspended se...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Bo Yang Qin Zhang Bingchen Liang Xin Liu Mengxiang Qu Kraposhin Matvey Erwan Bertevas College of Engineering Ocean University of China Qingdao China Ivannikov Institute for System Programming of the RAS Moscow Russia Keppel-NUS Corporate Laboratory National University of Singapore France

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

In recent years, the research on deep-sea mining has become more and more popular, especially in the interaction between the harvesting system and seabed to estimate and minimize seabed disturbance. In this paper, an inclined plane is adopted to simplify the front of the nodule harvester, and a solver for simulating turbulent sediment transport and fluid-structure interaction is developed based on the drift-flux model in the OpenFOAM. The volume of fluid (VOF) algorithm is used to simulate the diffusion and sedimentation process of sediment in the water, and the kOmegaSST model is used to calculate the turbulent diffusion coefficient of the mixed solution. Two different dynamic mesh strategies, overset and arbitrarily coupled mesh interface (ACMI) methods, are used to simulate the movement of the tilting push plate. This paper compares the simulation results of two different strategies. The results show that under the same simulation accuracy, ACMI method is more reliable and efficient than overset method.

关键词： Solid modeling Simulation Numerical simulation Numerical models Sediments Reliability Optimization

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of Homomorphic Comparison Methods

Experimental Evaluation of Homomorphic Comparison Methods

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Mikhail Babenko Andrei Tchernykh Bernardo Pulido-Gaytan Elena Golimblevskaia Jorge M. Cortés-Mendoza Arutyun Avetisyan Ivannikov Institute for System Programming Moscow Russia South Ural State University Chelyabinsk Russia CICESE Research Center Ensenada Mexico North-Caucasus Federal University Stavropol Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The use of cloud technologies for processing confidential data requires a solution to the data security problem. One of the mechanisms to solve it is homomorphic encryption. However, homomorphic encryption only allows the arithmetic operations of addition and multiplication to be performed over encrypted numbers. Consequently, when implementing algorithms for matrix algebra, artificial neural networks, and deep learning, it becomes necessary to implement the comparison operation in a homomorphic cipher. In this paper, we study methods for comparison operations in a homomorphic cipher. One of the methods is to use the subtraction of numbers and determine the sign of a number. Two families of polynomials and their composition are used to approximate the sign function. We provide estimates of the accuracy of the sign function approximation obtained as a result of modeling and show that they are 1.98 times better than the state-of-the-art theoretical estimate for polynomials fn(x). Also, we show that the theoretical estimate of gn(x) is not applicable for n ≤ 4.

关键词： Deep learning Ciphers Artificial neural networks Approximation error Matrices Encryption Function approximation

来源：评论

学校读者我要写书评

暂无评论

Universal mitigation of NBTI-induced aging by design randomization

Universal mitigation of NBTI-induced aging by design randomi...

引用

East-West Design & Test Symposium (EWDTS)

作者： Maksim Jenihhin Alexander Kamkin Zainalabedin Navabi Somayeh Sadeghi-Kohan Department of Computer Engineering Tallinn University of Technology ESTONIA Institute for System Programming of the Russian Academy of Sciences (ISP RAS) RUSSIA Department of Electrical and Computer Engineering University of Tehran IRAN

ISBN: (纸本)9781509006946

In this paper we propose to think out of the box and discuss an approach for universal mitigation of Negative Bias Temperature Instability (NBTI) induced aging untied from the limitations of its modelling. The cost-effective approach exploits a simple property of a randomized design, i.e., the equalized signal probability and switching activity at gate inputs. The techniques considered for structural design randomization involve both the hardware architecture and embedded software layers. Ultimately, the proposed approach aims at extending the reliable lifetime of nanoelectronic systems.

关键词： Negative bias temperature instability Thermal variables control Logic gates Delays Registers Aging Degradation

来源：评论

学校读者我要写书评

暂无评论

Regularization of linear machine learning problems

arXiv

引用

arXiv 2024年

作者： Liu, S. Kabanikhin, S.I. Strijhak, S.V. Novosibirsk State University Novosibirsk Russia Sobolev Institute of Mathematics Siberian Branch of the Russian Academy of Sciences Novosibirsk Russia V.P. Ivannikov Institute of System Programming of the Russian Academy of Sciences Moscow Russia

In this paper, we consider the simplest version of a linear neural network(LNN). Assuming that for training (constructing an optimal weight matrix $Q$)we have a set of training pairs, i.e. we know the input data \\begin{equation}G=\\left\\{g^{\\left(1\ight)},g^{\\left(2\ight)},\\cdots,g^{\\left(K\ight)}\ight\\},\\end{equation} as well as the correct answers to these input data\\begin{equation}H=\\left\\{h^{\\left(1\ight)},h^{\\left(2\ight)},\\cdots,h^{\\left(K\ight)}\ight\\}.\\end{equation} We will study the possibilities of constructing a weight matrix$Q$ of a neural network that will give correct answers to arbitrary input databased on the connection of the specified problem with a system of linearalgebraic equations (SLAE). Consider a class of neural networks in which eachneuron has only one output signal and performs linear operations. We will showhow such LNEs are reduced to SLAEs. Since the questions $G$ and the correctanswers $H$ are known to us, the desired weight matrix $Q$ must satisfy theequations \\begin{equation} Qg^{\\left(k\ight)}=h^{\\left(k\ight)},k=1,2,\\cdots,K. \\end{equation} It is required to restore $Q$. In the generalcase, the matrix $Q$ is rectangular $Q=Q_{MN}=\\left\\{q_{mn}\ight\\}$, $m$ isthe row number, and $g^{\\left(k\ight)}\\in\\mathbb{R}^N$,$h^{\\left(k\ight)}\\in\\mathbb{R}^M$. Let $G_{NK}$ be a matrix composed ofcolumns $g^{\\left(1\ight)}, g^{\\left(2\ight)},\\cdots,g^{\\left(k\ight)}$, and$H_{MK}$ be a matrix composed of columns$h^{\\left(1\ight)},h^{\\left(2\ight)},\\cdots,h^{\\left(k\ight)}$. Then, withrespect to $Q_{MN}$, we obtain a matrix SLAE. \\begin{equation}Q_{MN}G_{NK}=H_{MK}. \\end{equation} This paper will present methods forregularizing the constructed system. © 2024, CC BY.

关键词： Input output programs

来源：评论

学校读者我要写书评

暂无评论

Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory

Real-time analytics, hybrid transactional/analytical process...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Sergey D. Kuznetsov Pavel E. Velikhov Qiang Fu Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Institute of Physics and Technology (State University) National Research University Higher School of Economics Moscow Russia Huawei Russian Research Institute Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

These days, real-time analytics is one of the most often used notions in the world of databases. Broadly, this term means very fast analytics over very fresh data. Usually the term comes together with other popular terms, hybrid transactional/analytical processing (HTAP) and in-memory data processing. The reason is that the simplest way to provide fresh operational data for analysis is to combine in one system both transactional and analytical processing. The most effective way to provide fast transactional and analytical processing is to store an entire database in memory. So on the one hand, these three terms are related but on the other hand, each of them has its own right to life. In this paper, we provide an overview of several in-memory data management systems that are not HTAP systems. Some of them are purely transactional, some are purely analytical, and some support real-time analytics. Then we overview nine in-memory HTAP DBMSs, some of which don't support real-time analytics. Existing real-time in-memory HTAP DBMSs have very diverse and interesting architectures although they use a number of common approaches: multiversion concurrency control, multicore parallelization, advanced query optimization, just in time compilation, etc. Additionally, we are interested whether these systems use non-volatile memory, and, if yes, in what manner. We conclude that an emergence of new generation of NVM will greatly stimulate its use in in-memory HTAP systems.

关键词： Nonvolatile memory Multicore processing Query processing Distributed databases Transforms Real-time systems Concurrency control

来源：评论

学校读者我要写书评

暂无评论

Designing and validating a cost effective safe network: application to a PACS system

Designing and validating a cost effective safe network: appl...

引用

International Conference on Advances in Biomedical Engineering (ICABME)

作者： Georges EL HAJAL Roy ABI ZEID DAOU Yves DUCQ Josef Börcsök IMS laboratory Univ. Bordeaux Talence France Faculty of Public Health Lebanese German University Institute for Computer Architecture and System Programming University of Kassel 34121 Kassel Germany

Network security has been a major issue long time ago. Confidentiality, integrity and availability of data are the primary concerns of any network administrator. Recently, several attacks have resulted in huge losses of resources and of data availability. For example, in May 2017, medical entities in the United Kingdom have been paralyzed due to WannaCry ransomware world-wide cyber-attack. Thus, the main objective of this paper is to propose a more secured network architecture that will be designed for the case of the PACS - Picture Archiving and Communication system - that is used for storing and transmitting radiography images and reports through the hospital internal network. This paper presents an off-the-shelf solution based on the concept of one-way link data diode and open source softwares to assure safety and security in a cost effective manner. The novelty of this approach is in the design of a data diode that limits the physical connection to two network interfaces, and eliminates the need for a third network connection needed to provide a carrier signal for the transmitter. This system has shown some latency in data transfer but has increased the safety and the security of files transferred between the PACS network and the external network.

关键词： Picture archiving and communication systems Security Biomedical imaging Hospitals Malware Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Deep Neural Networks Generalization and Fine-Tuning for 12-lead ECG Classification

arXiv

引用

arXiv 2023年

作者： Avetisyan, Aram Tigranyan, Shahane Asatryan, Ariana Mashkova, Olga Skorik, Sergey Ananev, Vladislav Markin, Yury The Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow109004 Russia The Russian-Armenian University Yerevan375051 Armenia The Novgorod State University Veliky Novgorod173003 Russia

Numerous studies are aimed at diagnosing heart diseases based on 12-lead electrocardiographic (ECG) records using deep learning methods. These studies usually use specific datasets that differ in size and parameters, such as patient metadata, number of doctors annotating ECGs, types of devices for ECG recording, data preprocessing techniques, etc. It is well-known that high-quality deep neural networks trained on one ECG dataset do not necessarily perform well on another dataset or clinical settings. In this paper, we propose a methodology to improve the quality of heart disease prediction regardless of the dataset by training neural networks on a variety of datasets with further fine-tuning for the specific dataset. To show its applicability, we train different neural networks on a large private dataset TIS containing various ECG records from multiple hospitals and on a relatively small public dataset PTB-XL. We demonstrate that training the networks on a large dataset and fine-tuning it on a small dataset from another source outperforms the networks trained only on one small dataset. We also show how the ability of a deep neural networks to generalize allows to improve classification quality of more diseases. Copyright © 2023, The Authors. All rights reserved.

关键词： Electrocardiography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：