Сортировать по:
| Выпуск | Название | |
| Том 30, № 5 (2018) | Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки | Аннотация PDF (Rus) похожие документы |
| О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров | ||
| "... , the authors developed a robust, highly specialized CFD-RANS model and a calculation code for modelling ..." | ||
| Том 34, № 6 (2022) | Влияние относительного продольного расстояния на динамическое поведение двух взаимодействующих судов при встречном волнении | Аннотация похожие документы |
| Рами АЛИ | ||
| "... in this paper. A CFD approach has been adopted to simulate the dynamic behavior of the interacting ships ..." | ||
| Том 26, № 2 (2014) | Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС | Аннотация PDF (Rus) похожие документы |
| Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван | ||
| "... , ii) deterministic safety assessment (DSA) with meta model representation of the system using pre ..." | ||
| Том 30, № 5 (2018) | Онтологический репозиторий для CFD-расчетов | Аннотация PDF (Rus) похожие документы |
| В. А. Зенкин | ||
| "... information about the CFD-calculations performed. The software is a set of scripts written in bash and python ..." | ||
| Том 29, № 1 (2017) | Особенности построения расчетной схемы для моделирования динамики стабилизатора расхода в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| В. Г. Мельникова, О. С. Коцур, Г. А. Щеглов | ||
| "... CFD toolbox OpenFOAM in the field of simulation of hydraulic units’ dynamics using Finite Volume ..." | ||
| Том 35, № 2 (2023) | Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики | Аннотация PDF (Rus) похожие документы |
| Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ | ||
| "... and implementing the necessary mathematical models, and the achievement of acceptable efficiency was ensured ..." | ||
| Том 37, № 3 (2025) | Макромоделирование компонентов защиты от электростатического разряда с применением программного обеспечения с открытым исходным кодом | Аннотация похожие документы |
| Вадим Вадимович КУЗНЕЦОВ, Владимир Викторович АНДРЕЕВ, Семён Андреевич ЛОМАКИН | ||
| "... of ESD diode and GGMOS macro models using open-source circuit simulation tools (Qucs-S and Ngspice ..." | ||
| Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
| Е. В. Давыдова, В. Н. Корчагова | ||
| "... and axisymmetric model setup and also correct modeling of surface tension. Gerris can significantly accelerate ..." | ||
| Том 29, № 6 (2017) | Трехмерный численный анализ прорыва плотины с использованием OpenFOAM | Аннотация похожие документы |
| Э. Санчес-Кордеро, М. Гомез, Э. Блейд | ||
| "... by applying the numerical code based on Finite Volume Method (FVM), OpenFOAM. In the numerical model ..." | ||
| Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
| Д. Н. Василик | ||
| "... measured the performance of a single-node system and validated the model using the obtained results. ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Model-based test generation is widely spread in functional verification of hardware designs ..." | ||
| Том 37, № 3 (2025) | Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Андрей Леонидович ПАВЛЕВИЧ | ||
| "... design process. The article focuses on workflow organization, aerodynamical design and CFD simulation ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... methods and tools were developed for modelling and analysis of NP-nets models, the synthesis part of multi ..." | ||
| Том 37, № 2 (2025) | Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем | Аннотация похожие документы |
| Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН | ||
| "... упомянутых инструментов с открытым исходным кодом. ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... easily compose isolated components without component developers. We use formal models to specify ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... a model which specifies data structures used to store the information about these code fragments ..." | ||
| Том 26, № 1 (2014) | Инструменты анализа и разработки эффективного кода для параллельных архитектур | Аннотация PDF (Rus) похожие документы |
| Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич | ||
| "... for GPUs and its use for accelerating linear system solving in OpenFOAM CFD package. ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... and сonjoint code and data analysis. A key element for all of these tasks is a universal data format model ..." | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| "... interpretation framework are used together to define a model pipeline for a target instruction set architecture ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... model suitable for verification, which accurately preserves the properties of the source program. ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... предлагается использовать инструментацию кода и постобработку ее результатов: по наблюденным промахам кэша в ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... коду. Данная работа посвящена разработке формального логического языка описания функциональных ..." | ||
| Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) похожие документы |
| К. Д. Овчинников | ||
| "... model in regular head waves with and without ship speed show good agreement with the experimental data ..." | ||
| Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
| Д. Д. Кожевников, Н. В. Красилич | ||
| "... and environment for modelling hardware memristor-based neural networks. An extensive review of the domain has been ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... to combine the pre- and postcondition specifications with the machine code behavior model. The paper presents ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... that are unattainable for dynamic methods. Static methods are algorithms for studying a static model of a program ..." | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| "... execution diagram. The flowchart of the algorithm is a representation consisting only of function models ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... . This article offers a second one method. The first aim of the paper is the way to describe a mathematical model ..." | ||
| Том 21 (2011) | Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели | Аннотация PDF (Rus) похожие документы |
| Андрей Белеванцев, Алексей Кравец, Александр Монаков | ||
| "... В данной работе предлагается способ автоматической генерации кода для стандарта OpenCL из гнезд ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... in an environment for dynamic analysis of binary code and evaluated it against a model example and two real-world ..." | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян | ||
| "... models which describe input and output buffers, and automatic analysis of data flows between buffers ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... practices and standards require a formal security policy model (SPM). The SPM must be verified using formal ..." | ||
| Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... The article describes TLA+ access control model specification for computer systems, ensuring ..." | ||
| Том 35, № 1 (2023) | Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT | Аннотация PDF (Rus) похожие документы |
| Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ | ||
| "... and graph embeddings as part of a hybrid model can improve the accuracy of type classification by more than ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... systems. By using a model-based approach it is possible to build an architecture model from the existing ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... were carried out for the X-59 demonstrator wing models on a scale of 1:25 and 1:1 for the case of loose ..." | ||
| Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
| В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
| "... based on their stay in web applications). The original feature of the system is the used model ..." | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... . The paper is devoted to the evolution of models for the standard library historically used by SharpChecker ..." | ||
| 1 - 39 из 728 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
