Сортировать по:
| Выпуск | Название | |
| Том 29, № 6 (2017) | Моделирование смешанной конвекции над горизонтальной пластиной | Аннотация похожие документы |
| М. Н. Никитин | ||
| "... четырех численных моделей на базе рейнольдсовых, вихревых и вязкостных моделей турбулентности. Основным ..." | ||
| Том 30, № 1 (2018) | Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель | Аннотация PDF (Rus) похожие документы |
| С. А. Дергачев | ||
| "... вихревых петель, позволяющий моделировать обтекание тел без необходимости предварительного задания линий ..." | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) похожие документы |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| "... Вихревые методы вычислительной гидродинамики – эффективный в инженерной практике метод определения ..." | ||
| Том 31, № 6 (2019) | Численное изучение влияния начальных турбулентных параметров на переходный режим над плоским крылом | Аннотация похожие документы |
| Никита Владимирович Тряскин, Рами Али | ||
| "... коэффициента вихревой вязкости на дальней границе сдвигается начало перехода к передней кромке и увеличивается ..." | ||
| Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) похожие документы |
| К. С. Кузьмина, И. К. Марчевский | ||
| "... Основная вычислительная сложность при использовании вихревых методов сосредоточена в вычислении ..." | ||
| Том 35, № 2 (2023) | Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики | Аннотация PDF (Rus) похожие документы |
| Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ | ||
| "... моделей, а достижение приемлемой эффективности обеспечивалось «экстенсивным» путем – привлечением ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... и итеративной разработки. При верификации программ или их моделей наличие нескольких уровней ..." | ||
| Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
| Д. С. Кильдишев, А. В. Хорошилов | ||
| "... требованиями Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор ..." | ||
| Том 35, № 4 (2023) | Численное моделирование переноса твёрдых частиц в атмосферном городском пограничном слое с использованием лагранжева подхода: физические задачи и параллельная реализация | Аннотация PDF (Rus) похожие документы |
| Александр Иванович ВАРЕНЦОВ, Очир Анатольевич ИМЕЕВ, Андрей Васильевич ГЛАЗУНОВ, Евгений Валерьевич МОРТИКОВ, Виктор Михайлович СТЕПАНЕНКО | ||
| "... Работа представляет результаты развития численной модели лагранжева переноса частиц и применения ..." | ||
| Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
| А. М. Эльдарханов | ||
| "... и отсутствие единого стандарта как в области теории (исчисление объектов, концепции моделей данных ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..." | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| "... этой проблемы является „обещающая“ модель памяти. Для того, чтобы некоторая модель могла быть ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... интеграций, составляет различные модели работы. В данной статье анализируются модели, которые могут ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..." | ||
| Том 26, № 2 (2014) | Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС | Аннотация PDF (Rus) похожие документы |
| Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван | ||
| Том 22 (2012) | О построении аппроксимирующих функций характеристик малого числа систем | Аннотация PDF (Rus) похожие документы |
| Я. А. Хетагуров | ||
| "... построения общих математических моделей (ММ), использующих одинаковые характеристики систем, частей ..." | ||
| Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
| "... генерации используется инфраструктура GRAPHITE компилятора GCC, использующая полиэдральную модель для ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) похожие документы |
| П. Н. Девянин | ||
| "... «Формальная модель политики безопасности», в том числе по определению языка, глубины и детализации ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| "... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..." | ||
| Том 30, № 5 (2018) | Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки | Аннотация PDF (Rus) похожие документы |
| О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров | ||
| "... моделей в задачах вычислительной метеорологии. К таким задачам относится, в частности, задача обоснования ..." | ||
| Том 27, № 1 (2015) | Объектные модели ODMG и SQL десять лет спустя: нет противоречий | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... .0 (объектная модель ODMG) и SQL:2003 (модель данных SQL) и убедительно (как мне тогда казалось) доказывал, что ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... , включающие недостаточные выразительные возможности моделей, используемых для реализации редакторов визуальных ..." | ||
| Том 27, № 2 (2015) | Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ | Аннотация PDF (Rus) похожие документы |
| А. Э. Молчанов | ||
| "... В статье рассматриваются алгебраические модели программ с процедурами. Для специфического класса ..." | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... правило, основаны на графовых моделях, однако графовые формализмы, используемые для представления моделей ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..." | ||
| 1 - 30 из 140 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
