Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... scheme for the problem solution is constructed by the LS-STAG method (immersed boundaries method ..."
 
Том 29, № 4 (2017) Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Аннотация  похожие документы
Д. Р. Башкирова, Ш. Йошидзава, Р. Х. Латыпов, Х. Йокота
"... ), необходимы эффективные и быстрые методы его аппроксимации, обладающие большей точностью по сравнению с ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... эту проблему путём доказательства корректности сгенерированного машинного кода методами дедуктивной ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
"... моделей протоколов: предложен метод моделирования почтовых протоколов, рассмотрены особенности почтовых ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... Методы подпространства Крылова, такие как метод сопряжённых градиентов и стабилизированный метод ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... метод декомпозиции области. В каждой подобласти задача на каждом шаге по времени расщепляется на ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... параллельная GPU-версия метода предобуславливания AINV и проведен ряд специфичных GPU-оптимизаций, в основном ..."
 
Том 27, № 5 (2015) Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... Одна из фундаментальных проблем в современных методах статической верификации программ состоит в ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... Работа посвящена поиску приближенного решения системы уравнений газовой динамики методом RKDG ..."
 
Том 30, № 1 (2018) Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Аннотация  PDF (Rus)  похожие документы
С. А. Дергачев
"... является актуальной инженерной задачей для различных технических приложений. В данной статье описан метод ..."
 
Том 32, № 2 (2020) Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка Аннотация  похожие документы
Евгений Валерьевич ТИМОЩУК
"... измеримой метрике. Использование метода GQM (Goal-Question-Metric) в процессе построения модели оценки может ..."
 
Том 26, № 5 (2014) Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин
"... разреженных систем уравнений на суперкомпьютерах и использует итерационные методы подпространства Крылова и ..."
 
Том 24 (2013) Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... by using the LS-STAG cut-cell immersed boundary method with level-set function. ..."
 
Том 30, № 5 (2018) Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка Аннотация  PDF (Rus)  похожие документы
М. П. Левин
 
Том 31, № 2 (2019) Эффективное сравнение чисел в системе остаточных классов на основе позиционной характеристики Аннотация  PDF (Rus)  похожие документы
Михаил Григорьевич Бабенко, Андрей Николаевич Черных, Николай Иванович Червяков, Виктор Андреевич Кучуков, Ванесса Миранда-Лопес, Рауль Ривера Родригес, Чжихуэй Ду
"... позиционной характеристики числа в СОК, основанный на использовании приближенного метода. Использование этого ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... эвристических методов конструирования маршрута. ..."
 
Том 31, № 4 (2019) Вычисление приоритетов срабатывания переходов для живых сетей Петри Аннотация  похожие документы
Кирилл Геннадьевич Серебренников
"... сложности алгоритма и примененные к нему оптимизации. В качестве основного метода повышения ..."
 
Том 31, № 6 (2019) Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах Аннотация  PDF (Rus)  похожие документы
Николай Игоревич Хохлов, Игорь Борисович Петров
"... использованием сеточно-характеристического метода. Рассматриваются технологии как для центральных процессоров ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... Основная вычислительная сложность при использовании вихревых методов сосредоточена в вычислении ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... соответствия реализаций протокола EAP и его методов спецификациям Интернета. В основе проекта лежит ..."
 
Том 30, № 6 (2018) Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах Аннотация  PDF (Rus)  похожие документы
М. В. Крапошин
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... тестовых задач рассеяния акустической волны на сфере методом граничных элементов показывает, что открытый ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... Рассматривается формальный метод, обеспечивающий поддержку критически важного шага в объектно ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... интегрального уравнения Линдли методом спектрального разложения. Показано, что в этом случае законы ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
"... анализ усложняется специфическими возможностями языка, такими как динамическое создание методов и ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... систем полезно сочетать разные методы анализа. В частности, это позволяет применять тот формализм и ту ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... Предложены теоретическое обоснование и алгоритмическая реализация спектрально-аналитического метода ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
 
Том 22 (2012) Оптимизация расчётов в пакете OpenFOAM на GPU Аннотация  PDF (Rus)  похожие документы
А. В. Монаков
"... GPU метода сопряжённых градиентов. Описаны несколько оптимизаций, часть из которых специфична для ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
 
Том 31, № 6 (2019) Влияние численной диссипации на расчетную точность метода моделирования крупных вихрей с пристенным моделированием Аннотация  похожие документы
Тимофей Дмитриевич Муха
"... метода моделирования крупных вихрей с пристенным моделированием. С этой целью в свободном программном ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
 
Том 28, № 1 (2016) Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... regridding when domain shape changes in the simulation process due to hydroelastic body motion. The LS-STAG ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... . Для преодоления объектно-реляционного несоответствия необходимо реализовать методы (паттерны ..."
 
1 - 40 из 51 результатов 1 2 > >> 

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

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