Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... The paper describes the development and testing processes of a modification of an existing solver ..."
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
"... solver that is capable of handling MHD supersonic flow problems with constant magnetic field is developed ..."
 
Том 32, № 4 (2020) Разработка решателя iceFoam для моделирования процесса обледенения Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК
"... , the appearance and movement of liquid droplets-particles is possible. When studying two-phase flows containing ..."
 
Том 26, № 5 (2014) Численное моделирование стратифицированных течений с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Я. В. Загуменный
"... stratified fluid flows in field of external mass forces accounting for dissipative factors, viscosity ..."
 
Том 29, № 1 (2017) Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Аннотация  похожие документы
М. Д. Калугин, И. Е. Евдокимов
"... In this paper, we present the newly developed open-source density-based solver pisoCentralDyMFoam ..."
 
Том 30, № 6 (2018) Тестирование различных методов моделирования внутренних течений несжимаемой жидкости Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова
"... to minimize the number of expensive experimental tests of products and reduces development time. The flow ..."
 
Том 28, № 1 (2016) Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева, Ю. Д. Чашечкин
"... into account the stratification and diffusion effects a new own solver was developed and tested using ..."
 
Том 24 (2013) Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB Аннотация  PDF (Rus)  похожие документы
Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин
"... for numerical simulation and computations of continuously stratified fluid flows based on the open source ..."
 
Том 22 (2012) Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, Д. В. Сидоров
"... Recently, a number of dynamic analysis tools were developed that perform tainted data flow tracing ..."
 
Том 29, № 6 (2017) Технология обработки изображений для гидравлических приложений Аннотация  похожие документы
Дж. Теллез-Альварез, М. Гомез, Б. Руссо
"... In this paper, we present techniques Surface Flow Image Velocimetry (SFIV) that is a practical ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... and BiCGStab) for GPU-based iterative linear system solvers. They allow to have an overlap of parallel ..."
 
Том 31, № 6 (2019) Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке Аннотация  PDF (Rus)  похожие документы
Константин Борисович Кошелев, Сергей Владимирович Стрижак
"... , the appearance and movement of liquid and solid particles is possible. In the study of two-phase flows containing ..."
 
Том 29, № 1 (2017) Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Аннотация  PDF (Rus)  похожие документы
Д. И. Романова
"... OpenFOAM. The avalanche is considered as a turbulent two-phase flow - snow and air. We take incompressible ..."
 
Том 29, № 1 (2017) Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Аннотация  PDF (Rus)  похожие документы
Н. Ф. Димитриева
"... flows have been performed. They are characterized by a wide range of values of internal scales ..."
 
Том 28, № 1 (2016) Численное моделирование течения в канале с неглубокими лунками с использованием Code Saturne Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, М. Н. Никитин
"... elements with six viscous layers totalling 3 mm thick applied to smooth walls. A turbulent flow (Re = 31627 ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... . Quasi-one dimensional models of blood flow through blood vessels are the most popular. They allow ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... Работа посвящена численному исследованию теплоотдачи в прямоугольных каналах с односторонним ..."
 
Том 31, № 6 (2019) Исследование условий возникновения эолова микрорельефа Аннотация  PDF (Rus)  похожие документы
Елена Александровна Малиновская
"... The possibilities of numerical modeling of the motion of hydrodynamic flows around objects ..."
 
Том 22 (2012) Оптимизация расчётов в пакете OpenFOAM на GPU Аннотация  PDF (Rus)  похожие документы
А. В. Монаков
"... of other solvers such as multigrid, BiCGStab and IDR, and choosing drop tolerance automatically ..."
 
Том 32, № 4 (2020) Модели процессов, сопровождающих кристаллизацию переохлажденных капель Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ
"... The creation of high-performance methods for calculating the interaction of aerosol flows ..."
 
Том 30, № 6 (2018) Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... The paper presents a multiscale approach for simulation of the two-phase flows processes in complex ..."
 
Том 28, № 3 (2016) Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
"... The hybrid method for approximation of advective terms is proposed in order to resolve flows ..."
 
Том 31, № 6 (2019) Анализ полного сопротивления корпуса судна на различных скоростях хода Аннотация  PDF (Rus)  похожие документы
Кирилл Дмитриевич Овчинников
"... in the OpenFOAM software. The standard solver interDyMFoam and DTMB 5415 hull data uses. Three grids uses for mesh ..."
 
Том 31, № 3 (2019) Графический DSL для разработки мобильных приложений Аннотация  похожие документы
Артур Владимирович Гудиев, Александра Сергеевна Гражевская
"... of logic. Controllers in turn consist of various states which allow to describe a data flow ..."
 
Том 30, № 5 (2018) Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка Аннотация  PDF (Rus)  похожие документы
М. П. Левин
"... to the numerical modelling of non-stationary two-phase flows through porous media with the essentially ..."
 
Том 29, № 1 (2017) Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов
"... for the prototype of the flow rate regulator of new design; transient analysis of regulator’s internal flow ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... target application developers can adjust the application solver properly taking into account application ..."
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... simulation is investigated via systematic simulations of fully-developed turbulent channel flow. A total ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... as “dispatching” can be used to transform application control flow similarly to virtual machine insertion. Our ..."
 
Том 31, № 6 (2019) Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом Аннотация  похожие документы
Никита Владимирович Тряскин, Рами Али
"... . Численные результаты были проанализированы и обнаружено, что переменные турбулентности в дальнем потоке ..."
 
Том 29, № 6 (2017) Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов
"... of the blade with a subsonic air flow is done in OpenFOAM library (solvers simpleFOAM and pimpleFOAM ..."
 
Том 24 (2013) Автоматический поиск ошибок синхронизации в приложениях на платформе Android Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, С. П. Вартанов, М. К. Ермаков
"... and spread of Android platform and, more importantly, high importance of concurrent work flow for all user ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... to be processed by SMT solver. The resulting test cases are valid within automatically extracted GUI structure ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... in the linear solver by using a Tesla K20X accelerator in addition to a 10-core Xeon CPU, but only ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
 
Том 22 (2012) Интерполяция формул с кванторами в CSIsat на основе инстанцирования Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, М. У. Мандрыкин
"... formulae. The implementation is based on the CSIsat interpolating solver. The tool supports interpolation ..."
 
Том 29, № 6 (2017) Трехмерный численный анализ прорыва плотины с использованием OpenFOAM Аннотация  похожие документы
Э. Санчес-Кордеро, М. Гомез, Э. Блейд
"... This paper presents a 3D numerical analysis of flow field patterns in a dam break laboratory scale ..."
 
Том 24 (2013) Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев
"... . The paper presents a static instrumentation technique with incomplete control flow edge covering and its ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... Control flow obfuscation is one of widespread methods used to protect application binary code from ..."
 
1 - 40 из 239 результатов 1 2 3 4 5 6 > >> 

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

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