Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
В. В. Пузикова | ||
"... вязкоупругих жидкостей, описываемых линейными и квазилинейными моделями скоростного типа (моделями Максвелла ..." | ||
Том 28, № 2 (2016) | Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения | Аннотация похожие документы |
Ю. В. Белякова | ||
"... программирования, это поддержка множественных моделей. В статье рассматриваются преимущества и недостатки этой ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров. ..." | ||
Том 33, № 2 (2021) | Новая интеллектуальная система для обнаружения сахарного диабета 2-го типа с модифицированной функцией потерь и регуляризацией | Аннотация PDF (Rus) похожие документы |
Маллика Г.К., Абир АЛЬСАДУН, Дуонг Тху Ханг ФАМ, Сальма Хамиди АБДУЛЛА, Ха Тхи МАЙ, П.В. Чандана ПРАСАД, Чан Куок Винь НГУЕН | ||
"... Сахарный диабет 2-го типа (СД2) составляет около 90% случаев диабета, и одним из ключевых аспектов ..." | ||
Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
М. Д. Калугин, И. Е. Евдокимов | ||
"... ортогонального разложения получены из набора временных срезов, рассчитанных с помощью модели Навье-Стокса. Для ..." | ||
Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Д. И. Романова | ||
"... модели снег был представлен как нелинейно вязкая жидкость, описываемая реологическими соотношениями ..." | ||
Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
Е. В. Давыдова, В. Н. Корчагова | ||
"... Задачи течения вязкой несжимаемой жидкости со свободной поверхностью представляют собой отдельный ..." | ||
Том 29, № 1 (2017) | Моделирование перемещения клиновидного виброробота в вязкой жидкости при различных законах движения внутренней массы в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
А. Н. Нуриев, А. И. Юнусова, О. Н. Зайцева | ||
"... модель взаимодействия робота со средой, в рамках которой движение жидкости описывается полной ..." | ||
Том 30, № 1 (2018) | Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания | Аннотация PDF (Rus) похожие документы |
А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева | ||
"... разной формой торцов в диапазоне чисел Рейнольдса 10 | ||
Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
"... и итеративной разработки. При верификации программ или их моделей наличие нескольких уровней ..." | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
"... требованиями Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор ..." | ||
Том 34, № 3 (2022) | Унифицированная система типов для современного языка программирования общего назначения | Аннотация похожие документы |
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ | ||
"... Данная статья представляет обзор системы типов, которая отражает тенденцию конвергенции ..." | ||
Том 32, № 5 (2020) | Применение метода неинвазивного оценивания нарушений углеводного обмена при скрининге населения | Аннотация похожие документы |
Андрей Александрович БЕРЕЗИН, Роман Сергеевич НОВИКОВ, Максим Александрович НОВОПАШИН, Борис Аронович ПОЗИН, Александр Викторович ШМИД | ||
"... углеводного обмена (НУО). Новизна методики заключается в том, что по неинвазивному типу скрининга еще не ..." | ||
Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) похожие документы |
К. С. Кузьмина, И. К. Марчевский | ||
"... ускорения вычислений в методе вихревых элементов - алгоритм типа Барнса - Хата. Метод основан на построении ..." | ||
Том 30, № 2 (2018) | Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом | Аннотация PDF (Rus) похожие документы |
Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук | ||
"... вязкой несжимаемой жидкости в методе конечных элементов с частицами PFEM-2. Осесимметричная модель ..." | ||
Том 35, № 4 (2023) | Численное моделирование переноса твёрдых частиц в атмосферном городском пограничном слое с использованием лагранжева подхода: физические задачи и параллельная реализация | Аннотация PDF (Rus) похожие документы |
Александр Иванович ВАРЕНЦОВ, Очир Анатольевич ИМЕЕВ, Андрей Васильевич ГЛАЗУНОВ, Евгений Валерьевич МОРТИКОВ, Виктор Михайлович СТЕПАНЕНКО | ||
"... Работа представляет результаты развития численной модели лагранжева переноса частиц и применения ..." | ||
Том 21 (2011) | Обзор моделей данных объектно-ориентированных СУБД | Аннотация PDF (Rus) похожие документы |
А. М. Эльдарханов | ||
"... и отсутствие единого стандарта как в области теории (исчисление объектов, концепции моделей данных ..." | ||
Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
Н. Никитина, А. Мицюк | ||
"... Модели процессов и графы широко используются для моделирования и визуализации процессов в ..." | ||
Том 29, № 6 (2017) | Моделирование смешанной конвекции над горизонтальной пластиной | Аннотация похожие документы |
М. Н. Никитин | ||
"... четырех численных моделей на базе рейнольдсовых, вихревых и вязкостных моделей турбулентности. Основным ..." | ||
Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
"... проверяемым. В статье рассматривается возможность объединить динамическую и статическую проверку типов с ..." | ||
Том 35, № 1 (2023) | Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT | Аннотация PDF (Rus) похожие документы |
Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ | ||
"... составе гибридной модели позволяет повысить точность классификации типов более чем на 10%. ..." | ||
Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
Виктор Сергеевич КРЫШТАПОВИЧ | ||
"... типизации. Но несмотря на то, что научные исследования направлены на корректность систем типов, многие языки ..." | ||
Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
Д. А. Грушин, Н. Н. Кузюрин | ||
"... Разработанная в ИСП РАН программная система Unihub является облачной вычислительной системой типа ..." | ||
Том 27, № 6 (2015) | Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний | Аннотация PDF (Rus) похожие документы |
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов | ||
"... повышения энергоэффективности с учитом конфликтов использования ресурсов. Мы предлагаем модель оптимизации и ..." | ||
Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
"... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Лаврищева, А. К. Петренко | ||
Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
А. Р. Волков, М. У. Мандрыкин | ||
"... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..." | ||
Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
"... этой проблемы является „обещающая“ модель памяти. Для того, чтобы некоторая модель могла быть ..." | ||
Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... интеграций, составляет различные модели работы. В данной статье анализируются модели, которые могут ..." | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..." | ||
1 - 30 из 156 результатов | 1 2 3 4 5 6 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)