咨询与建议

限定检索结果

文献类型

  • 482 篇 会议
  • 163 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 651 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 364 篇 工学
    • 298 篇 计算机科学与技术...
    • 236 篇 软件工程
    • 47 篇 力学(可授工学、理...
    • 43 篇 控制科学与工程
    • 33 篇 信息与通信工程
    • 30 篇 机械工程
    • 23 篇 电气工程
    • 20 篇 安全科学与工程
    • 19 篇 电子科学与技术(可...
    • 15 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
    • 14 篇 生物工程
    • 12 篇 动力工程及工程热...
    • 11 篇 仪器科学与技术
    • 10 篇 生物医学工程(可授...
    • 9 篇 光学工程
    • 9 篇 交通运输工程
    • 8 篇 石油与天然气工程
    • 7 篇 材料科学与工程(可...
    • 7 篇 土木工程
  • 203 篇 理学
    • 122 篇 数学
    • 68 篇 物理学
    • 45 篇 统计学(可授理学、...
    • 16 篇 生物学
    • 16 篇 系统科学
    • 13 篇 化学
  • 64 篇 管理学
    • 33 篇 图书情报与档案管...
    • 31 篇 管理科学与工程(可...
    • 13 篇 工商管理
  • 8 篇 医学
    • 8 篇 临床医学
  • 6 篇 法学
  • 5 篇 农学
  • 3 篇 经济学
  • 1 篇 哲学
  • 1 篇 教育学
  • 1 篇 历史学

主题

  • 29 篇 static analysis
  • 24 篇 libraries
  • 20 篇 conferences
  • 19 篇 computer archite...
  • 18 篇 computational mo...
  • 17 篇 software
  • 15 篇 programming
  • 15 篇 safety
  • 14 篇 linux
  • 13 篇 registers
  • 13 篇 semantics
  • 13 篇 numerical models
  • 12 篇 tools
  • 12 篇 hardware
  • 12 篇 testing
  • 11 篇 xml
  • 11 篇 software testing
  • 10 篇 machine learning
  • 10 篇 cloud computing
  • 10 篇 mathematical mod...

机构

  • 57 篇 ivannikov instit...
  • 45 篇 lomonosov moscow...
  • 42 篇 ivannikov instit...
  • 36 篇 ivannikov instit...
  • 24 篇 moscow institute...
  • 21 篇 ivannikov instit...
  • 21 篇 institute for sy...
  • 19 篇 department of sy...
  • 18 篇 lomonosov moscow...
  • 18 篇 ivannikov instit...
  • 17 篇 bauman moscow st...
  • 17 篇 institute for sy...
  • 17 篇 south ural state...
  • 15 篇 institute for sy...
  • 15 篇 north-caucasus f...
  • 15 篇 institute for sy...
  • 13 篇 bauman moscow st...
  • 12 篇 ivannikov instit...
  • 11 篇 ivannikov instit...
  • 11 篇 ivannikov instit...

作者

  • 22 篇 yevtushenko nina
  • 14 篇 alexander kamkin
  • 13 篇 khoroshilov alex...
  • 12 篇 turdakov denis
  • 12 篇 josef börcsök
  • 12 篇 vishnyakov alexe...
  • 11 篇 mostafa abotaleb
  • 11 篇 kuts daniil
  • 10 篇 gasnikov alexand...
  • 10 篇 parygina darya
  • 10 篇 fedotov andrey
  • 10 篇 arutyun avetisya...
  • 9 篇 denis turdakov
  • 9 篇 avetisyan arutyu...
  • 9 篇 ilia marchevsky
  • 9 篇 burdonov igor
  • 9 篇 el-kenawy el-say...
  • 9 篇 nina yevtushenko
  • 9 篇 abotaleb mostafa
  • 8 篇 drobyshevskiy mi...

语言

  • 629 篇 英文
  • 14 篇 其他
  • 10 篇 俄文
  • 1 篇 中文
检索条件"机构=Institute of System Programming"
651 条 记 录,以下是471-480 订阅
排序:
Scale effects in internal wave attractors
收藏 引用
Physical Review Fluids 2017年 第11期2卷 114803-114803页
作者: C. Brouzet I. N. Sibgatullin E. V. Ermanyuk S. Joubaud T. Dauxois Université de Lyon ENS de Lyon Université Claude Bernard CNRS Laboratoire de Physique F-69342 Lyon France Moscow State University 119991 Moscow Russia Institute for System Programming 109004 Moscow Russia Shirshov Institute of Oceanology 117997 Moscow Russia Lavrentyev Institute of Hydrodynamics Novosibirsk 630090 Russia Novosibirsk State University Novosibirsk 630090 Russia
As a necessary preliminary step toward geophysically significant extrapolations, we study the scale effects in internal wave attractors in the linear and nonlinear regimes. We use two geometrically similar experimenta... 详细信息
来源: 评论
Improved algorithm of boundary integral equation approximation in 2D vortex method for flow simulation around curvilinear airfoil
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: Ilia Marchevsky Kseniia Kuzmina Irina Soldatova Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 105005 Moscow Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Alexander Solzhenitsyn st. 25 109004 Moscow Russia
The problem of the accuracy improving is considered for vortex method. It is shown, that the airfoil surface line representation as a polygon consisting of rectilinear panels can lead to incorrect behavior of the nume...
来源: 评论
Assessment of Turbulent Wake Behind two Wind Turbines Using Multi-Fractal Analysis
Assessment of Turbulent Wake Behind two Wind Turbines Using ...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Arina Kryuchkova Jackson Tellez-Alvarez Sergei Strijhak Jose M. Redondo Russian Academy of Sciences Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Department of Civil and Environmental Engineering Technical University of Catalonia BarcelonaTech Barcelona Spain Department of Physics Technical University of Catalonia BarcelonaTech Barcleona Spain
In this paper we present preliminary results of the multi-fractal analysis for describing the behavior of turbulence evolution in the wake behind two model wind turbines using the program ImaCal. The wind energy is an... 详细信息
来源: 评论
Development of OpenFOAM Solver for Compressible Viscous Flows Simulation Using Quasi-Gas Dynamic Equations
Development of OpenFOAM Solver for Compressible Viscous Flow...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Matvey V. Kraposhin Daniil A. Ryazanov Elena V. Smirnova Tatiana G. Elizarova Maria A. Istomina Ivannikov Institute for System Programming of Russian Academy of Sciences Moscow Russia Dept. of wave and gas dynamics Lomonosov Moscow State University Moscow Russia Bauman Moscow State Technical University Moscow Russia Keldysh Institute of Applied Mathematics (Russian Academy of Sciences) Moscow Russia
Results of QGD (quasi-gas dynamics) equations approximation using OpenFOAM Finite Volume Method library are presented. The new developed solver QGDFoam compared to standard OpenFOAM solver rhoCentralFoam. Two approach... 详细信息
来源: 评论
An approach to instruction stream generation for functional verification of microprocessor designs
An approach to instruction stream generation for functional ...
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Andrei Tatarnikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia
The paper proposes an approach to instruction stream generation for verification of microprocessor designs. The approach is based on using formal specifications of the instruction set architecture as a source of knowl... 详细信息
来源: 评论
Distributed Generation of Mobile Call Graphs with DPLN Degree Distribution
Distributed Generation of Mobile Call Graphs with DPLN Degre...
收藏 引用
Ivannikov ISPRAS Open Conference (ISPRAS)
作者: Kyrylo Chykhradze Ivan Malyshev Denis Turdakov Anton Korshunov Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Ivannikov Inst. for Syst. Program. Moscow Russia National Research University Higher School of Economics Moscow Russia Lomonosov Moscow State University Moscow Russia
Networks of human interactions (like social and mobile call networks) in most cases inherit natural properties of society, e.g. community structure or tie strength. The method for generating large random mobile call g... 详细信息
来源: 评论
Modular Fault Diagnosis in Fixed-Block Railway Signaling systems
收藏 引用
IFAC-PapersOnLine 2016年 第3期49卷 459-464页
作者: Durmus, Mustafa S. Ustoglu, lker Tsarev, Roman Y. Schwarz, Michael Electrical and Electronics Engineering Department Pamukkale University Denizli Turkey Control and Automation Engineering Department Yildiz Technical University Istanbul Turkey Institute of Space and Information Technology Siberian Federal University Krasnoyarsk Russia Computer Architecture and System Programming Kassel University Kassel Germany
The diagnosis of possible faults in railway signaling systems is an important issue to provide safe travel and transportation in railways. Signaling system designers have to consider the possible faults which may occu... 详细信息
来源: 评论
On investigation and efficient software implementation of fast methods for vortex influence computation in 2D flow simulation
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: Evgeniya Ryatina Kseniia Kuzmina Ilia Marchevsky 1Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 105005 Moscow Russia 2Ivannikov Institute for System Programming of the Russian Academy of Sciences Alexander Solzhenitsyn st. 25 109004 Moscow Russia
Two different fast methods are considered, which make it possible to compute approximately the velocity induced by given vorticity distribution. Such problem arises in incompressible flows simulation by using Lagrangi...
来源: 评论
High-resolution simulation of internal waves attractors and impact of interaction of high amplitude internal waves with walls on dynamics of waves attractors  7
High-resolution simulation of internal waves attractors and ...
收藏 引用
7th European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS Congress 2016
作者: Sibgatullin, Ilias Kalugin, Michael Institute of System Programming Solzhenitsina str. 25 Moscow Russia Moscow State University Faculty of Mechanics and Mathematics Main Building GSP-1 1 Leninskiye Gory Moscow119991 Russia
Internal wave attractors have received great attention since its discovery in 1995 by Leo Maas ([1, 2]). Now convectional theory describing the formation of attractors is generally accepted, and the principal interest... 详细信息
来源: 评论
Numerical modelling of two-dimensional perfect gas flows using RKDG method on unstructured meshes
收藏 引用
AIP Conference Proceedings 2018年 第1期2027卷
作者: V. N. Korchagova I. N. Fufaev V. V. Lukin S. M. Sautkina Applied mathematics dep. Bauman Moscow State Technical University 2-nd Baumanskaya st. 5 Moscow 105005 Russia Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow 109004 Russia Keldysh Institute of Applied Mathematics Miusskaya sq. 4 Moscow 125047 Russia
This paper is devoted to the simulation of the two-dimensional gas flows with oscillations and discontinuities using the Runge — Kutta Discontinuous Galerkin (RKDG) method, that has been implemented in the code proto...
来源: 评论