Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Д. И. Романова | ||
"... двухфазный турбулентный поток (снег - воздух). За основу был взят численный метод для решения задач движения ..." | ||
Том 33, № 4 (2021) | Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента | Аннотация PDF (Rus) похожие документы |
Дарья Игоревна РОМАНОВА | ||
"... В работе проводится калибровка k − ε модели турбулентности для потоков со свободной поверхностью в ..." | ||
Том 32, № 6 (2020) | Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах | Аннотация PDF (Rus) похожие документы |
Дарья Игоревна РОМАНОВА | ||
"... математическую модель для описания динамики потоков на склонах с учётом захвата и отложения материала. Также ..." | ||
Том 22 (2012) | Подход к восстановлению потока управления запутанной программы | Аннотация PDF (Rus) похожие документы |
И. Н. Ледовских, М. Г. Бакулин | ||
"... Запутывание потока управления является одним из наиболее распространенных способов защиты бинарного ..." | ||
Том 31, № 6 (2019) | Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом | Аннотация похожие документы |
Никита Владимирович Тряскин, Рами Али | ||
"... дальнем потоке на структуру турбулентного пограничного слоя и на характеристики зоны ламинарно ..." | ||
Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) похожие документы |
Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
"... В работе проведено исследование алгоритмов машинного обучения для предсказания турбулентной ..." | ||
Том 31, № 2 (2019) | Ориентированное на данные планирование с применением отказоустойчивого метода динамической кластеризации для поддержки потоков научных работ в облаках | Аннотация PDF (Rus) похожие документы |
Зульфикар Ахмад, Али Имран Джехангири, Мехрин Ифтихар, Ариф Икбал Умер, Ибрар Афзал | ||
"... как потоки научных работ. Потоки научных работ являются приложениями, интенсивно использующими данные ..." | ||
Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация похожие документы |
Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
"... приходящих пакетов коммутатор выполняет поиск записи (правила) в таблице потоков по значениям полей заголовка ..." | ||
Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
"... ++, разработанного в ИСП РАН для поиска критических ошибок и уязвимостей. Применение межпроцедурного анализа потока ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
"... статического анализа. Основной идеей подхода является абстракция от точного взаимодействия потоков и анализ ..." | ||
Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
Р. Р. Мулюков, А. Е. Бородин | ||
"... других анализов. Формально поставлены три задачи анализа потока данных: анализ интервалов значений ..." | ||
Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация похожие документы |
А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
"... инструментарий для исследования концепции магнитогидродинамического управления потоком и его возможных применений ..." | ||
Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
Г. А. Зимин, Д. А. Мордвинов | ||
"... обычно предоставляют языки, основанные на модели потока управления, и сложными индустриальными средами ..." | ||
Том 27, № 4 (2015) | Модель представления данных при проведении глубокого анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов | ||
"... поддерживается восстановление потоков данных, а также проведение их дальнейшего разбора. Тем самым обеспечивается ..." | ||
Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) похожие документы |
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин | ||
"... терминах анализа потока данных. При анализе элементы домена используются в качестве свойств потока данных ..." | ||
Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
Том 26, № 1 (2014) | Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt | Аннотация PDF (Rus) похожие документы |
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин | ||
Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Алексей Бородин | ||
Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
"... . Предложенное представление основано на гиперграфе и позволяет реализовать ручной анализ потока данных на ..." | ||
Том 29, № 6 (2017) | Программный пакет для расчета аэродинамических характеристик летательных аппаратов | Аннотация похожие документы |
В. Н. Котеров, В. М. Кривцов, В. И. Зубов | ||
"... потоков газа в сложных устройствах. Модель математического потока, используемая в пакете, основана на ..." | ||
Том 35, № 5 (2023) | Моделирование динамики электризованного потока частиц при ветровом выносе средствами OpenFoam | Аннотация PDF (Rus) похожие документы |
Елена Александровна МАЛИНОВСКАЯ, Геннадий Ильич ГОРЧАКОВ, Алексей Владимирович КАРПОВ, Леонид Олегович МАКСИМЕНКОВ, Олег Игоревич ДАЦЕНКО | ||
"... эоловой поверхности под влиянием воздушного потока. За препятствиями поток сальтирующих частиц становится ..." | ||
Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
Евгений Анатольевич ГЕРЛИЦ | ||
"... . Гонки по данным - это ошибки в многопоточных программах, возникающие, когда два потока выполняют ..." | ||
Том 31, № 1 (2019) | Математическая модель, описывающая динамику воздушных потоков в турбинном спирометре | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Киселев, Алексей Владимирович Максимов, Сергей Дмитриевич Кургалин, Сергей Алексеевич Зуев | ||
"... математическую модель взаимодействия потоков воздуха с подвижными частями прибора для недавно созданного ..." | ||
Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
С. А. Смолов | ||
"... извлечения таких семейств моделей, как графы потока и зависимостей, а также автоматные модели. Подробно ..." | ||
Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация похожие документы |
Андрей Николаевич Черных, Аллел Хаджали | ||
"... данные планирование, потоки научных работ, облачные вычисления, эволюционные алгоритмы, сети ..." | ||
Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
"... обработка; 2) построение графа потока управления; 3) трансформация графа потока управления в решающую ..." | ||
Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) похожие документы |
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
1 - 30 из 30 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)