Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 29, выпуск 1, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

Н.Ф. Димитриева Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM Стр. 7-20.

М.Д. Калугин, И.Е. Евдокимов Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах Стр. 21-38.

П.С. Лукашин, С.В. Стрижак, Г.А. Щеглов Тестирование возможностей открытого кода BEM++ по решению задач акустики Стр. 39-52.

В.Г. Мельникова, О.С. Коцур, Г.А. Щеглов Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM Стр. 53-70.

В.В. Пузикова Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Стр. 71-84.

Д.И. Романова Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM Стр. 85-100.

А.Н. Нуриев, А.И. Юнусова, О.Н.Зайцева Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Стр. 101-118.

М.К. Ермаков, А.Ю. Герасимов, Д.О. Куц, А.А. Новиков Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Стр. 119-134.

С.П. Вартанов, М.К. Ермаков, А.Ю. Герасимов Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Стр. 135-148.

С.П. Вартанов, А.Ю. Герасимов, М.К. Ермаков, Д.О. Куц, А.А. Новиков Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Стр. 149-166.

А.Д. Татарников Обзор методов и средств генерации тестовых программ для микропроцессоров Стр. 167-194.

М.У. Мандрыкин, В.С. Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Стр. 195-230.

Р.С. Самарев Обзор состояния области потоковой обработки данных Стр. 231-260.

Вернуться к списку всех томов