Сортировать по:
| Выпуск | Название | |
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... in case of achieving the specified accuracy, is presented. Solvers on the basis of presented the BiCGStab ..." | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
| В. А. Платонов, А. В. Монаков | ||
| "... and BiCGStab) for GPU-based iterative linear system solvers. They allow to have an overlap of parallel ..." | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков | ||
| "... of other solvers such as multigrid, BiCGStab and IDR, and choosing drop tolerance automatically ..." | ||
| Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Платонов | ||
| "... for scalars used in MPI reductions. For preconditioning, we choose AINV as a suitable preconditioner for GPUs ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... solver as part of the OpenFOAM v1912 package for modeling the icing process at a typical particle size ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... as a constraint satisfiability problem and describe the construction of a sound and complete solver based ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... using the iceFoam solver developed as part of the OpenFOAM package. To solve the problem, two grids ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, М. У. Мандрыкин | ||
| "... formulae. The implementation is based on the CSIsat interpolating solver. The tool supports interpolation ..." | ||
| Том 24 (2013) | Анализ эффективности итерационных методов решения систем линейных алгебраических уравнений, реализованных в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... of the multigrid preconditioner. Some test problems are considered and the efficiency of BiCGStab (BiConjugate ..." | ||
| Том 33, № 6 (2021) | Разработка решателя flagmanFoam для моделирования обледенения летательных аппаратов в условиях натекания мелких капель | Аннотация PDF (Rus) похожие документы |
| Кирилл Александрович ВАТУТИН, Матвей Викторович КРАПОШИН, Максим Александрович КУДРОВ, Алексей Борисович МИЛЛЕР, Валерия Геннадиевна МЕЛЬНИКОВА, Софья Михайловна САУТКИНА, Алексей Олегович МОРОЗОВ, Александр Алексеевич ШЕВЕЛЕВ | ||
| "... of the OpenFOAM v2012 package. A solver has been developed to simulate icing in conditions of small droplet ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... are implemented with help of SMT solver. Practical applications of the developed methods and algorithms ..." | ||
| Том 31, № 6 (2019) | Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке | Аннотация PDF (Rus) похожие документы |
| Константин Борисович Кошелев, Сергей Владимирович Стрижак | ||
| "... process using the formulated mathematical model. The work is devoted to the development of new solvers ..." | ||
| Том 35, № 5 (2023) | Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания | Аннотация PDF (Rus) похожие документы |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| "... of matrix-vector operations in a usual iterative solver. It requires several synchronization points ..." | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| "... of the blade with a subsonic air flow is done in OpenFOAM library (solvers simpleFOAM and pimpleFOAM ..." | ||
| Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... is a collection of three solvers. The first solver iceFoam1 is intended for preliminary estimation of the icing ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... of appropriate decision procedures implemented within existing SMT-solvers. But at the same time both the SMT ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... SMT solvers are widely applied for deductive verification of C programs using various verification ..." | ||
| Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация похожие документы |
| А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
| "... The paper describes the development and testing processes of a modification of an existing solver ..." | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... intermediate result caching. For path condition solving Avalanche uses STP which uses MiniSAT solver ..." | ||
| Том 32, № 6 (2020) | Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА | ||
| "... , the architecture of the multiphaseEulerChangeFoam solver was developed, which implements a three-phase multi ..." | ||
| Том 35, № 5 (2023) | Моделирование процесса обледенения корпуса рыболовецкого судна на поверхности воды с учетом влияния волнения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... , the simulation was performed using the interDyMFoam solver, taking into account the assignment of the Stokes wave ..." | ||
| Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
| М. Д. Калугин, И. Е. Евдокимов | ||
| "... In this paper, we present the newly developed open-source density-based solver pisoCentralDyMFoam ..." | ||
| Том 33, № 2 (2021) | Решение проблемы обеспечения качества дерева многоадресной рассылки услуг | Аннотация PDF (Rus) похожие документы |
| Клаудио Энрике РИССО-МОНТАЛЬДО, Франко Рафаэль РОБЛЕДО-АМОЗА, Серджо Энрике НЕСМАЧНОВ-КАНОВАС | ||
| "... that standard exact solvers can find solutions to real-world size instances. Exact method is applied ..." | ||
| Том 30, № 6 (2018) | Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики | Аннотация PDF (Rus) похожие документы |
| М. В. Крапошин, С. В. Стрижак | ||
| "... KinematicCloud class to the ABLSolver solver, which describes a kinematic cloud of particles and an example ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... of refinement types, verified via an SMT solver. The integration of the two aspects allows a scenario where ..." | ||
| Том 33, № 6 (2021) | Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК | ||
| "... the solvers created at the MAI and ISP RAS. A physical and mathematical model, numerical algorithms ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... of typical solvers from shared mathematical libraries is exceedingly limited. A usage of object-oriented ..." | ||
| Том 26, № 5 (2014) | Численное моделирование стратифицированных течений с использованием OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Н. Ф. Димитриева, Я. В. Загуменный | ||
| "... the stratification and diffusion effects a new own solver, stratifiedFoam, was developed and tested using ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... and verified in the fUML virtual machine and using SMT/SAT solvers. ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... -solver formula and checked for counter example. We tested the method on simplified version of notorious ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... . If this condition is proved to be satisfiable by an SMT-solver, we use its model given by the solver to detect error ..." | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... systems solving allows to achieve 2-fold computation time reduction in comparison with the BiCGStab method ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... analysis is based on symbolic execution with the union of states at merge points of paths. An SMT solver ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... statements. The new inputs are generated by systematically solving saved constraints using constraint solver ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... analyzer (Frama-C), a machine code analyzer (MicroTESK), and an SMT solver (CVC4). The modular design ..." | ||
| Том 37, № 2 (2025) | Построение гидравлической модели теплообменного аппарата | Аннотация PDF (Rus) похожие документы |
| Елена Сергеевна БАЙМЕТОВА, Мария Равилевна КОРОЛЕВА | ||
| "... carried out in the OpenFOAM package using the simpleFoam solver. Based on mathematical modeling, full-size ..." | ||
| Том 24 (2013) | Расчет течений непрерывно стратифицированной жидкости с использованием открытых вычислительных пакетов на базе технологической платформы UniHUB | Аннотация PDF (Rus) похожие документы |
| Ярослав Викторович Загуменный, Юлий Дмитриевич Чашечкин | ||
| "... and extended OpenFOAM utilities, own solvers development, numerical data processing and visualization ..." | ||
| 1 - 39 из 59 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
