Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... OpenFOAM. The avalanche is considered as a turbulent two-phase flow - snow and air. We take incompressible ..."
 
Том 32, № 6 (2020) Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... avalanche. In the course of a numerical experiment, distributions of such quantities as flow velocity, depth ..."
 
Том 33, № 4 (2021) Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... We calibrate the k − ε turbulence model for free surface flows in the channel or on the slope ..."
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
"... , the appearance and movement of liquid droplets-particles is possible. When studying two-phase flows containing ..."
 
Том 31, № 6 (2019) Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Аннотация  PDF (Rus)  похожие документы
Константин Борисович Кошелев, Сергей Владимирович Стрижак
"... , the appearance and movement of liquid and solid particles is possible. In the study of two-phase flows containing ..."
 
Том 33, № 6 (2021) Разработка решателя flagmanFoam для моделирования обледенения летательных аппаратов в условиях натекания мелких капель Аннотация  PDF (Rus)  похожие документы
Кирилл Александрович ВАТУТИН, Матвей Викторович КРАПОШИН, Максим Александрович КУДРОВ, Алексей Борисович МИЛЛЕР, Валерия Геннадиевна МЕЛЬНИКОВА, Софья Михайловна САУТКИНА, Алексей Олегович МОРОЗОВ, Александр Алексеевич ШЕВЕЛЕВ
"... in-flow, with a characteristic droplet size of up to 40 microns, which corresponds to Appendix C ..."
 
Том 33, № 5 (2021) Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... . Разработанная библиотека ICELIB это совокупность трех решателей. Первый решатель iceFoam1 предназначен для ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... for hypersonic reacting flow within the OpenFOAM numerical simulation framework. The modification is suited ..."
 
Том 29, № 1 (2017) Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева
"... flows have been performed. They are characterized by a wide range of values of internal scales ..."
 
Том 29, № 6 (2017) Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов
"... , the techniques of solving problem for a static and dynamic aeroelasticity in which calculation of flow ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... Control flow obfuscation is one of widespread methods used to protect application binary code from ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... simulation of the flow around a circular profile, which makes forced transverse oscillations. The difference ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... data generation. Techniques of program transformation allowing execution trace extraction, data flow ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... MHD flow control is a relevant topic in today’s aerospace engineering. An OpenFOAM density-based ..."
 
Том 37, № 3 (2025) Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Андрей Леонидович ПАВЛЕВИЧ
 
Том 26, № 5 (2014) Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами Аннотация  PDF (Rus)  похожие документы
Б. Л. Канцырев
"... It is proposed to modify the Godunov computation method for modeling the gas-liquid bubble flow ..."
 
Том 31, № 1 (2019) Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев
"... for the interaction of air flows with moving parts of a device for a recently created turbine spirometer of a new type ..."
 
Том 35, № 5 (2023) Моделирование динамики электризованного потока частиц при ветровом выносе средствами OpenFoam Аннотация  PDF (Rus)  похожие документы
Елена Александровна МАЛИНОВСКАЯ, Геннадий Ильич ГОРЧАКОВ, Алексей Владимирович КАРПОВ, Леонид Олегович МАКСИМЕНКОВ, Олег Игоревич ДАЦЕНКО
"... over an irregular surface. The particles move under the influence of air flow over two elements ..."
 
Том 33, № 4 (2021) Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU Аннотация  похожие документы
Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ
"... the flow tables. In our work, we consider the NP without the associative memory. Flow tables ..."
 
Том 32, № 3 (2020) Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Аннотация  похожие документы
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ
"... ). OpenFlow switch performs flow entry lookup in a flow table by the values of packet header fields ..."
 
Том 35, № 5 (2023) Моделирование процесса обледенения корпуса рыболовецкого судна на поверхности воды с учетом влияния волнения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... the flow of a model vessel with a gas-droplet flow and the occurrence of the icing process. Initially ..."
 
Том 35, № 2 (2023) Параметрические исследования течений в микросоплах Аннотация  PDF (Rus)  похожие документы
Екатерина Александровна МИТРЮКОВА
"... The work is devoted to parametric investigations of the krypton flow in a conical micronozzle when ..."
 
Том 28, № 3 (2016) Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... The hybrid method for approximation of advective terms is proposed in order to resolve flows ..."
 
Том 37, № 2 (2025) Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega Аннотация  PDF (Rus)  похожие документы
Ксения Сергеевна КОРОЛЁВА, Игорь Иванович ПОТАПОВ
"... In this paper, a mathematical model for solving the problem of developed turbulent flow ..."
 
Том 29, № 1 (2017) Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Аннотация  похожие документы
М. Д. Калугин, И. Е. Евдокимов
"... volume to the whole mode and helps to locate the region having influence on the mean flow at specific ..."
 
Том 26, № 5 (2014) Численное моделирование стратифицированных течений с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Я. В. Загуменный
"... stratified fluid flows in field of external mass forces accounting for dissipative factors, viscosity ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... for finding unreachable code in C/C++ programs. We described three data-flow analysis problems: value interval ..."
 
Том 34, № 5 (2022) Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... моделируется с помощью решателя iceFoam, разработанного в рамках пакета OpenFOAM. Для решения задачи ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
 
Том 22 (2012) Интерполяция формул с кванторами в CSIsat на основе инстанцирования Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, М. У. Мандрыкин
"... подкванторных выражений с использованием внешнего SMT-решателя CVC3. В статье описываются изменения, которые ..."
 
Том 32, № 4 (2020) Модели процессов, сопровождающих кристаллизацию переохлажденных капель Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ
"... The creation of high-performance methods for calculating the interaction of aerosol flows ..."
 
Том 30, № 6 (2018) Методы анализа информационных потоков в сети Интернет Аннотация  PDF (Rus)  похожие документы
А. А. Аветисян, М. Д. Дробышевский, Д. Ю. Турдаков
"... of information flows on the Internet and divide them into two groups: explanatory models, which suggest ..."
 
Том 36, № 5 (2024) Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ
"... удовлетворения ограничений, после чего на основе реляционного подхода “решатель-из-верификатора” конструируется ..."
 
Том 25 (2013) Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов
"... применения данного подхода, реализованного в рамках инструмента динамического анализа Avalanche. На основе ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing ..."
 
Том 34, № 5 (2022) Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич БЕНДЕРСКИЙ, Алена Алексеевна ЧЕРНОВА
"... The issues of mathematical modeling of turbulent flows in channels with blowing of different cross ..."
 
Том 24 (2013) Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB Аннотация  PDF (Rus)  похожие документы
Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин
"... for numerical simulation and computations of continuously stratified fluid flows based on the open source ..."
 
Том 29, № 6 (2017) Технология обработки изображений для гидравлических приложений Аннотация  похожие документы
Дж. Теллез-Альварез, М. Гомез, Б. Руссо
"... In this paper, we present techniques Surface Flow Image Velocimetry (SFIV) that is a practical ..."
 
Том 28, № 2 (2016) Образовательный визуальный потоковый язык для программирования роботов Аннотация  похожие документы
Г. А. Зимин, Д. А. Мордвинов
"... educational robotic programming tools (commonly these tools provide languages which are based on control flow ..."
 
1 - 39 из 225 результатов 1 2 3 4 5 6 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)