Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25 (2013) Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Described and proved the algorithm for finding some solution of algebraic equations over arbitrary ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... in 1965. He proposed to use special basis in such rings named “Gröbner Basis” in the honor of his teacher ..."
 
Том 30, № 6 (2018) Минимальный базис модуля сизигий старших членов Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... ] brings a system of algebraic equations to the system of a special type defined by the Gröbner original ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..."
 
Том 27, № 2 (2015) Конечные автоматы в теории алгебраических схем программ Аннотация  PDF (Rus)  похожие документы
Р. И. Подловченко
"... Algebraic models of programs considered in this paper generalize two models of programs introduced ..."
 
Том 24 (2013) Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... phenomena and technological processes is solving of linear algebraic equations systems arising from ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... leads to the need to solve a system of linear algebraic equations with a dense matrix. The de facto ..."
 
Том 27, № 2 (2015) Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ Аннотация  PDF (Rus)  похожие документы
А. Э. Молчанов
"... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..."
 
Том 35, № 5 (2023) Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... in continuum mechanics consists in the solving of large sparse systems of linear algebraic equations ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... are well known approaches for solving symmetric and asymmetric systems of linear algebraic equations ..."
 
Том 31, № 5 (2019) Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко
"... дифференциальных уравнений. Предполагается, что коэффициентами уравнений являются формальные степенные ряды ..."
 
Том 35, № 4 (2023) Символьное вычисление условия резонанса произвольного порядка в системе Гамильтона Аннотация  PDF (Rus)  похожие документы
Александр Борисович БАТХИН, Зафар Хайдар угли ХАЙДАРОВ
"... that this condition for each resonant vector can be represented as a rational algebraic curve. By methods of computer ..."
 
Том 28, № 2 (2016) Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем Аннотация  PDF (Rus)  похожие документы
И. И. Чукляев
"... of data and is presented in the form of polybasic algebraic structure which displays structure ..."
 
Том 32, № 5 (2020) Моделирование инфразвукового пистонфона Аннотация  PDF (Rus)  похожие документы
Дмитрий Витальевич ГОЛОВИН
"... квазигидродинамических (КГиД) уравнений вязкого сжимаемого теплопроводного газа, определены границы устойчивости ..."
 
Том 28, № 2 (2016) Refinement типы для языка Jolie Аннотация  похожие документы
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера
"... technique for numeric, array and algebraic data types. They rely on corresponding SMT-theories. Recently SMT ..."
 
Том 37, № 2 (2025) Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega Аннотация  PDF (Rus)  похожие документы
Ксения Сергеевна КОРОЛЁВА, Игорь Иванович ПОТАПОВ
"... турбулентного потока в канале. В качестве уравнений, описывающих течение жидкости, используются уравнения ..."
 
Том 26, № 6 (2014) Решение автоматных уравнений для временных автоматов относительно параллельной композиции Аннотация  PDF (Rus)  похожие документы
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли
"... уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... для уравнений Лапласа, Гельмгольца и Максвелла. Сравнение с известными аналитическими решениями ..."
 
Том 37, № 2 (2025) Исследование распространения примеси в среде в одной прикладной осесимметричной задаче Аннотация  PDF (Rus)  похожие документы
Евгений Александрович МИХАЙЛОВ, Игорь Олегович ТЕПЛЯКОВ, Дмитрий Андреевич ВИНОГРАДОВ
"... ». Распределение скоростей в основном объеме ищется с помощью решения уравнения Навье – Стокса, для примеси ..."
 
Том 29, № 1 (2017) Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... , ячейки которой являются контрольными объемами для дискретизации уравнения для расчета касательных ..."
 
Том 35, № 2 (2023) Параметрические исследования течений в микросоплах Аннотация  PDF (Rus)  похожие документы
Екатерина Александровна МИТРЮКОВА
"... . Математическое моделирование проводилось на основе численного решения полной системы уравнений Навье-Стокса ..."
 
Том 34, № 5 (2022) Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря Аннотация  PDF (Rus)  похожие документы
Елена Владимировна АМОСОВА, Кирилл Сергеевич КУЗНЕЦОВ, Виталий Сергеевич ЛЕМЕШЕВ
"... Японского моря. Система уравнений Навье-Стокса записана в предположении гидродинамического приближения ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... Работа посвящена поиску приближенного решения системы уравнений газовой динамики методом RKDG ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... Описываются работы по оптимизации решателя систем линейных уравнений пакета OpenFOAM для ..."
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
"... нестационарной системой уравнений Навье-Стокса. Исследуются вопросы повышения эффективности движения виброробота ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... интегрального уравнения Линдли методом спектрального разложения. Показано, что в этом случае законы ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... усредненных по Рейнольдсу уравнениях Навье-Стокса для двухкомпонентной равновесной турбулентной среды и ..."
 
Том 35, № 6 (2023) Применение алгоритмов машинного обучения для предсказания турбулентной вязкости Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА
 
Том 32, № 6 (2020) Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... глубине уравнений механики сплошной среды (уравнений типа мелкой воды) и с использованием трёхмерного ..."
 
Том 29, № 5 (2017) Численное исследование теплоотдачи в каналах с неглубокими подковообразными лунками Аннотация  PDF (Rus)  похожие документы
А. А. Цынаева, С. Е. Разоренов, В. В. Белая
"... нанесением неглубоких лунок. Математическое моделирование выполнено на базе уравнения Навье-Стокса, уравнения ..."
 
Том 37, № 2 (2025) О размыве дна, вызванном взвешенной турбулентной струей Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич ПЕТРОВ, Игорь Иванович ПОТАПОВ
"... математическая модель задачи, включающая уравнения Рейнольдса, уравнения переноса кинетической энергии ..."
 
Том 29, № 2 (2017) Математическая формализация задач проектного планирования в расширенной постановке Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... neutral specification of the optimization problem under algebraic constraints of the predefined sorts ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... in Section 5 a new class of truncated substitutions and study the basic algebraic properties of composition ..."
 
Том 26, № 5 (2014) Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами Аннотация  PDF (Rus)  похожие документы
Б. Л. Канцырев
"... Представлен анализ влияния вида пульсационных слагаемых в системе осредненных уравнений ..."
 
Том 33, № 5 (2021) Численное исследование микроклимата помещения с использованием СПО Аннотация  PDF (Rus)  похожие документы
Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА
"... своевременного изменения этих параметров. Математическое моделирование было произведено на базе уравнения ..."
 
Том 28, № 1 (2016) Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью Аннотация  PDF (Rus)  похожие документы
В. В. Пузикова
"... are used. Also, serial code sections are optimized. The FGMRES method usage for linear algebraic equations ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... of sequential programs are formally defined. The algebraic properties of semigroups of commutative and absorbing ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... , устройств. Для получения уравнений ММ применяются линейные и гиперболические аппроксимирующие зависимости ..."
 
1 - 39 из 64 результатов 1 2 > >> 

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

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