Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25 (2013) Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Described and proved the algorithm for finding some solution of algebraic equations over arbitrary ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... A new method of investigation of ideals in the rings of polynomials was proposed by B. Buchberger ..."
 
Том 30, № 6 (2018) Минимальный базис модуля сизигий старших членов Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Systems of polynomial equations are one of the most universal mathematical objects. Almost all ..."
 
Том 26, № 6 (2014) Решение автоматных уравнений для временных автоматов относительно параллельной композиции Аннотация  PDF (Rus)  похожие документы
О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли
"... of the composition. The unknown component X is then designed as a solution to the equation where A and X are compared ..."
 
Том 32, № 5 (2020) Моделирование инфразвукового пистонфона Аннотация  PDF (Rus)  похожие документы
Дмитрий Витальевич ГОЛОВИН
"... ) equations of a viscous compressible heat-conducting gas with the use of a time-explicit difference scheme ..."
 
Том 37, № 2 (2025) Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega Аннотация  PDF (Rus)  похожие документы
Ксения Сергеевна КОРОЛЁВА, Игорь Иванович ПОТАПОВ
"... in a channel is proposed. The equations describing the fluid flow are the Reynolds equations and the equations ..."
 
Том 29, № 1 (2017) Тестирование возможностей открытого кода BEM++ по решению задач акустики Аннотация  PDF (Rus)  похожие документы
П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов
"... equations using Python libraries. Solution for the test problem of scattering plane wave on spherical ..."
 
Том 37, № 2 (2025) Исследование распространения примеси в среде в одной прикладной осесимметричной задаче Аннотация  PDF (Rus)  похожие документы
Евгений Александрович МИХАЙЛОВ, Игорь Олегович ТЕПЛЯКОВ, Дмитрий Андреевич ВИНОГРАДОВ
"... by solving the Navier-Stokes equation, and the transfer equation with a diffusion term is solved ..."
 
Том 30, № 2 (2018) Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Аннотация  PDF (Rus)  похожие документы
В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин
"... Работа посвящена поиску приближенного решения системы уравнений газовой динамики методом RKDG ..."
 
Том 35, № 2 (2023) Параметрические исследования течений в микросоплах Аннотация  PDF (Rus)  похожие документы
Екатерина Александровна МИТРЮКОВА
"... -Stokes equations, supplemented by the equation for the mass fraction of the condensate. The mathematical ..."
 
Том 34, № 5 (2022) Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря Аннотация  PDF (Rus)  похожие документы
Елена Владимировна АМОСОВА, Кирилл Сергеевич КУЗНЕЦОВ, Виталий Сергеевич ЛЕМЕШЕВ
"... of the Sea of Japan is presented. The system of Navier-Stokes equations is written under the assumption ..."
 
Том 30, № 1 (2018) Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..."
 
Том 31, № 5 (2019) Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко
"... of linear ordinary differential equations with infinite formal power series in the role of coefficients ..."
 
Том 29, № 1 (2017) Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева
"... by the full unsteady Navier-Stokes equations. The problems of improving the efficiency of vibration-driven ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... of Lindley’s integral equation using the method of spectral decomposition. It is shown that in this case ..."
 
Том 29, № 6 (2017) Программный пакет для расчета аэродинамических характеристик летательных аппаратов Аннотация  похожие документы
В. Н. Котеров, В. М. Кривцов, В. И. Зубов
"... -averaged Navier Stokes equations for a two-component equilibrium turbulent medium and a two-parameter ..."
 
Том 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 ..."
 
Том 35, № 6 (2023) Применение алгоритмов машинного обучения для предсказания турбулентной вязкости Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА
 
Том 24 (2013) Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM Аннотация  PDF (Rus)  похожие документы
И. К. Марчевский, В. В. Пузикова
"... phenomena and technological processes is solving of linear algebraic equations systems arising from ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... are well known approaches for solving symmetric and asymmetric systems of linear algebraic equations ..."
 
Том 35, № 5 (2023) Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА
"... in continuum mechanics consists in the solving of large sparse systems of linear algebraic equations ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... on programs that approximates the functional equivalence. Based on the polynomial-time equivalence checking ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
 
Том 35, № 5 (2023) Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС Аннотация  PDF (Rus)  похожие документы
Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ
"... Данная статья посвящена разработке доверенных средств проектирования цифровых схем в базисе ..."
 
Том 32, № 6 (2020) Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах Аннотация  PDF (Rus)  похожие документы
Дарья Игоревна РОМАНОВА
"... using the depth-averaged equations of continuum mechanics and using the complete, not depth-averaged ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... a possibility of building polynomial time equivalence checking procedures remains an open problem till nowadays ..."
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
"... polynomial time. ..."
 
Том 26, № 5 (2014) Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов Аннотация  PDF (Rus)  похожие документы
Ф. Б. Буртыка
"... batching" into recently proposed symmetric encryption scheme based on matrix polynomials. For one ..."
 
Том 36, № 1 (2024) Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения Аннотация  PDF (Rus)  похожие документы
Виктор Андреевич КУЧУКОВ
"... . The polynomial residue number system represents the input number as a set of polynomials over the finite field GF ..."
 
Том 37, № 2 (2025) О размыве дна, вызванном взвешенной турбулентной струей Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич ПЕТРОВ, Игорь Иванович ПОТАПОВ
"... . A mathematical model of the problem is proposed, including the Reynolds equations, kinetic energy transfer ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... of expansion coefficients of the Fourier series of orthogonal polynomials. An essential feature ..."
 
Том 33, № 5 (2021) Численное исследование микроклимата помещения с использованием СПО Аннотация  PDF (Rus)  похожие документы
Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА
"... of the Navier-Stokes equation, the energy equation, the continuity equation. The system of equations used ..."
 
Том 26, № 5 (2014) Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами Аннотация  PDF (Rus)  похожие документы
Б. Л. Канцырев
"... in the hydrodynamic averaged equations set - on the hydrodynamic wave properties is discussed. Sspecific solution ..."
 
Том 35, № 2 (2023) Особенности численного моделирования работы воздушно-тепловой завесы в OpenFOAM Аннотация  PDF (Rus)  похожие документы
Сергей ГРИГОРЬЕВ, Мария Равилевна КОРОЛЕВА, Ольга Владимировна МИЩЕНКОВА
"... -Stokes equations. The solution of the problem is obtained using the MRF (Multiple Reference Frame ..."
 
Том 31, № 3 (2019) Разработка программной среды для управления интеллектуальными устройствами в реальном времени Аннотация  похожие документы
Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович
"... using models based on recurrence relations and differential equations. The platform was developed using ..."
 
Том 35, № 4 (2023) Моделирование русловых процессов в створе канала Аннотация  PDF (Rus)  похожие документы
Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ
"... of passing flood wave, is formulated. The model includes the equation of motion of a quasi-steady ..."
 
Том 26, № 3 (2014) Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Платонов
"... Описываются работы по оптимизации решателя систем линейных уравнений пакета OpenFOAM для ..."
 
Том 22 (2012) О построении аппроксимирующих функций характеристик малого числа систем Аннотация  PDF (Rus)  похожие документы
Я. А. Хетагуров
"... to linear equations MM using performance data close to the destination and use of the systems, parts ..."
 
Том 26, № 2 (2014) Двусторонняя унификация программ и ее применение для задач рефакторинга Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... is the problem of solving linear equations of the form θ_1 X=θ_2 Y in the semigroup of substitutions. But some ..."
 
1 - 39 из 86 результатов 1 2 3 > >> 

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

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