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

10th International Conference on Supercomputing, ISUM 2019

作者： Pulido-Gaytan, Luis Bernardo Tchernykh, Andrei Nesmachnow, Sergio Cristóbal-Salas, Alfredo Avetisyan, Arutyun Barrera, Harold Enrique Castro Hernandez, Carlos Jaime Barrios CICESE Research Center EnsenadaBC22860 Mexico Universidad de la República Montevideo Uruguay Universidad Veracruzana Veracruz Mexico Ivannikov Institute for System Programming of the RAS Moscow Russia University of Los Andes Bogotá Colombia Industrial University of Santander Bucaramanga Colombia

ISBN: (纸本)9783030380427

Cities host more than half of the population in only 2% of the earth’s surface and consume 75% of the resources extracted from the planet, this abrupt demographic growth in urban areas has worsened the level of pollution in the city, as well as the problems of road congestion. Therefore, smart cities propose the incorporation of technologies to optimize the use of existing infrastructure and thus, achieve a sustainable and inclusive city. In this context, we propose an optimization method based on a multi-objective cellular genetic algorithm to determine an adequate routing of vehicles that allows to diminish the environmental impact in highly concurred areas, while providing alternative routes that minimize the associated costs of moving from one place to another, this under the premise that not always the shortest path represents the best solution. The presented algorithm simultaneously minimizes three important objectives: the time, the amount of pollutants emitted and an environmental penalty, where the latter represents the implicit cost of moving through a certain segment of the map. That is, an approximate set of Pareto is obtained, which contains alternative routes that avoid traveling through areas with a high degree of pollution and that, in turn, minimize the time and quantity of emissions when traveling through a certain network of routes. Our experimental analysis based on several quality indicators, like Hypervolume and Spread, shows a competitive performance of the proposed approach in terms of convergence and diversity, this with respect to NSGA II and SPEA2, well-known multi-objective algorithms in the literature. © Springer Nature Switzerland AG 2019.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Simulation of viscoelastic flow past circular airfoil by using the modified LS-STAG immersed boundary method 10

Simulation of viscoelastic flow past circular airfoil by usi...

引用

10th All-Russian Conference on Irreversible Processes in Nature and Technology

作者： Puzikova, Valeria V. Applied Mathematics Department Bauman Moscow State Technical University 2-ya Baumanskaya st. 5 str. 1 Moscow105005 Russia Compiler Technology Department Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia

The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Rate type viscoelastic flow models (linear and quasilinear) are considered. The obtained numerical method is implemented in the LS-STAG software package developed by the author. This software allows to simulate viscous incompressible flows by using the LS-STAG method and it modifications. The LS-STAG-discretization of extra-stress equations for viscoelastic Maxwell, Jeffreys, upper-convected Maxwell, Maxwell-A, Oldroyd-B, Oldroyd-A, Johnson Segalman fluids was developed. Formulae for differential types of convected time derivatives (Oldroyd, Cotter-Rivlin, Jaumann-Zaremba-Noll derivatives) the LS-STAG discretization was obtained. Normal non-newtonian stresses are computed at the centers of base LS-STAG mesh cells and shear non-newtonian stresses are computed at the cell corners. Time-stepping algorithm is based on the first order predictor-corrector scheme. To validate developed numerical method the test problem about viscoelastic Oldroyd-B flow past a circular airfoil was used. Computational experiments were carried out at Weissenberg number in the range from 0 to 4. The computed values of the drag coefficients and the wake length are in good agreement with the experimental data. © Published under licence by IOP Publishing Ltd.

关键词： Airfoils

来源：评论

学校读者我要写书评

暂无评论

Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments 5

Scientific Data Lake for High Luminosity LHC project and oth...

引用

5th International Conference on Particle Physics and Astrophysics, ICPPA 2020

作者： Alekseev, A. Kiryanov, A. Klimentov, A. Korchuganova, T. Mitsyn, V. Oleynik, D. Smirnov, A. Smirnov, S. Zarochentsev, A. Compiler Technology Department Ivannikov Institute for System Programming of the Ras Moscow109004 Russia Cloud Technologies and Big Data Analytics Laboratory Plekhanov Russian University of Economics Moscow117997 Russia Atlas Group Universidad Andres Bello Santiago7550196 Chile Department of Computing Resources and Technologies Nrc "kurchatov Institute"-PNPI Gatchina188300 Russia Physics Department Brookhaven National Laboratory UptonNY11973 United States Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg198504 Russia

The next phase of LHC Operations-High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and will deliver an unprecedented scientific data volume of multi-exabyte scale. This amount of data has to be stored and the corresponding storage system should ensure fast and reliable data delivery for processing by scientific groups distributed all over the world. The present LHC computing and data processing model will not be able to provide the required infrastructure growth even taking into account the expected hardware technology evolution. To address this challenge the new state-of-The-Art computing infrastructure technologies are now being developed and are presented here. The possibilities of application of the HL-LHC distributed data handling technique for other particle and astro-particle physics experiments dealing with large-scale data volumes like DUNE, LSST, Belle-II, JUNO, SKAO etc. are also discussed. © Published under licence by IOP Publishing Ltd.

关键词： Luminance

来源：评论

学校读者我要写书评

暂无评论

70 years of ongoing innovations

70 years of ongoing innovations

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Arutyun Avetisyan Sergei Prokhorov Ivannikov Institute for System Programming of RAS Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative development. The article is devoted to the history of the formation of Russian computer science. One of the stages of the continuous innovation development of computer science in Russia is connected with the intensive development of new directions in system and applied programming, to which the reports presented at the conference are devoted.

关键词： programming Technological innovation History Computer security Computer industry Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Better Reuse of Architecture Models: Profits and Costs

Better Reuse of Architecture Models: Profits and Costs

引用

SAE AeroTech Congress and Exhibition, AEROTECH 2017

作者： Buzdalov, Denis Khoroshilov, Alexey Institute for System Programming of RAS Russia

Different modelling techniques intended to deal with complexity of modern IMA systems are widely used now. Models can be used to help developers to lay out relevant information structurally. They can also be used to perform different formal analyses on machine-readable models like schedulability analysis, network load checks, WCET for software parts, FTA and FMEA and etc. For some kinds of analyses, special models are created on different stages of development. We suppose that reuse of models for different aspects and development stages is generally a good thing. In some cases it allows to reduce costs on development process;also it allows to make preservation of consistency between models more automatic. We are aware that using the same model for different stages or aspects can cause additional cost in the model maintenance. In this paper we are trying to make a step to further (including practical) research on this topic. We are considering AADL as an architecture modelling language to use. We also are considering the MASIW [9, 12] framework to work with AADL models and to analyze them. Considering particular modelling aspects, we suggest a case where we want to show how models can be reused on different stages of development. We hope that approach applied for this case would work for other cases that can appear in the avionics development domain. © 2017 SAE International.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

OpenFOAM High Performance Computing Solver for Simulation of Internal Wave Attractors in Stratified Flows Using Regularized Hydrodynamic Equations

OpenFOAM High Performance Computing Solver for Simulation of...

引用

Ivannikov ISPras Open Conference (ISPras)

作者： Matvey Kraposhin Daniil Ryazanov Tatiana Elizarova Ilias Sibgatullin Michael Kalugin Vasily Velikhov Eygene Ryabinkin Lomonosov Moscow State University Ivannikov Institute for System Programming of the RAS Keldysh Institute of Applied Mathematics of the RAS NRC Kurchatov institute

ISBN: (纸本)9781728112763;9781728112756

Paper presents some results of the implementation of a quasi-hydrodynamic (QHD) approach as finite volume method (FVM) solver mulesQHDFoam on the basis of OpenFOAM. Application of the QHD numerical algorithm to the simulation of the attractor of internal gravity waves is considered. A comparison of FVM with spectral element method (SEM) implemented in Nek5000 is given. Convergence of the QHD FVM solver model to the SEM Nek5000 model is shown. The Big Data analysis method (Proper Orthogonal Decomposition) is used as a tool for comparing the calculation results between QHDFoam and Nek5000.

关键词： Mathematical model Numerical models Cavity resonators Salinity (geophysical) Hydrodynamics Gravity Numerical analysis

来源：评论

学校读者我要写书评

暂无评论

Comparison of hierarchies for occlusion culling based on occlusion queries 27

Comparison of hierarchies for occlusion culling based on occ...

引用

27th International Conference on Computer Graphics and Vision, GraphiCon 2017

作者： Gonakhchyan, V.I. Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9785794429633

Efficient interactive rendering of large datasets still poses a problem. Widely used algorithm frustum culling is too conservative and leaves a lot of hidden objects in view. Occlusion culling with hardware occlusion queries is an effective technique of culling of hidden objects inside view. In the paper, we perform the comparative analysis of popular indexing techniques in conformity to occlusion culling. © GraphiCon 2017 - Computer Graphics and *** right reserved.

关键词： Large dataset

来源：评论

学校读者我要写书评

暂无评论

On estimates of computational complexity and error of the fast algorithm in the vortex methods

引用

Journal of Physics: Conference Series 2020年第1期1614卷

作者： K S Kuzmina V S Moreva Bauman Moscow State Technical University 105005 Russia Moscow 2nd Baumanskaya str. 5 Ivannikov Institute for System Programming of the RAS 109004 Russia Moscow Alexander Solzhenitsyn st. 25

One of the efficient ways to speedup calculations in the vortex method, namely the Barnes – Hut-type algorithm, is considered. This method is based on the introducing of a hierarchical structure of domains (binary tree), which allows one to take into account approximately mutual influences of clusters of vortex elements located far from each other when calculating convective velocities. Estimates of the computational complexity of the algorithm for convective velocities calculating are derived, as well as estimates of the error, which depend on the parameters of the algorithm. In practice, these estimates make it possible to choose optimal values of the algorithm parameters and to achieve the maximal speedup of calculations at a given level of acceptable calculation error.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Test Program Generator MicroTESK for RISC-V

Test Program Generator MicroTESK for RISC-V

引用

International Workshop on Microprocessor Test and Verification (MTV)

作者： Mikhail Chupilko Alexander Kamkin Artem Kotsynyak Alexander Protsenko Sergey Smolov Andrei Tatarnikov Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Lomonosov Moscow State University (MSU) National Research University - Higher School of Economics (HSE)

ISBN: (纸本)9781538692516

The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA and ISA-independent core. The specifications describe instructions' syntax and semantics and can be easily modified to support more instructions (including custom extensions). The core implements techniques of instruction sequences composition and test data generation. Test programs are generated from test templates, describing the programs' structural and behavioral properties; among generation techniques, random, combinatorial, and constraint-based ones are supported.

关键词： Registers Microprocessors Object oriented modeling Generators Syntactics Standards Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Deductive verification of unmodified linux kernel library functions

arXiv

引用

arXiv 2018年

作者： Efremov, Denis Mandrykin, Mikhail Khoroshilov, Alexey National Research University Higher School of Economics Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Moscow Institute of Physics and Technology Moscow Russia Lomonosov Moscow State University Moscow Russia

This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel. Copyright © 2018, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：