Сортировать по:
| Выпуск | Название | |
| Том 30, № 6 (2018) | Тестирование различных методов моделирования внутренних течений несжимаемой жидкости | Аннотация PDF (Rus) похожие документы |
| В. Г. Мельникова | ||
| "... . Standard numerical methods such as a finite volume method (FVM) and finite element method (FEM) are already ..." | ||
| Том 29, № 6 (2017) | Моделирование смазочной системы главной передачи | Аннотация PDF (Rus) похожие документы |
| Е. В. Авдеев, К. А. Волкова, В. А. Овчинников | ||
| "... In this paper, we describe the method, which is the composition of finite volume method (FVM ..." | ||
| Том 29, № 6 (2017) | Трехмерный численный анализ прорыва плотины с использованием OpenFOAM | Аннотация похожие документы |
| Э. Санчес-Кордеро, М. Гомез, Э. Блейд | ||
| "... by applying the numerical code based on Finite Volume Method (FVM), OpenFOAM. In the numerical model ..." | ||
| Том 30, № 2 (2018) | Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках | Аннотация PDF (Rus) похожие документы |
| В. Н. Корчагова, И. Н. Фуфаев, С. М. Сауткина, В. В. Лукин | ||
| "... . The advantage of the RKDG method over the most popular finite volume method (FVM) is discussed: three basis ..." | ||
| Том 30, № 2 (2018) | Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом | Аннотация PDF (Rus) похожие документы |
| Е. В. Смирнова, И. К. Марчевский, В. О. Бондарчук | ||
| "... In this paper, the particle finite element method (PFEM-2) for the simulation of the axisymmetric ..." | ||
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) похожие документы |
| Александр Твардовский | ||
| "... This paper addresses the problem of minimizing a Finite State Machine (FSM) augmented with input ..." | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация похожие документы |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| "... Trace models such as Finite State Machines (FSMs) are widely used in the area of analysis ..." | ||
| Том 34, № 5 (2022) | Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря | Аннотация PDF (Rus) похожие документы |
| Елена Владимировна АМОСОВА, Кирилл Сергеевич КУЗНЕЦОВ, Виталий Сергеевич ЛЕМЕШЕВ | ||
| "... , a numerical method is used to reconstruct the bottom topography and coastline. The free water surface equation ..." | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... In this paper a survey of existing methods of model extraction from hardware system descriptions ..." | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| "... there is a need for the solution of application-oriented problems and development of effective methods ..." | ||
| Том 28, № 1 (2016) | Численное моделирование МГД управления сверхзвуковым потоком в среде OpenFOAM | Аннотация похожие документы |
| А. И. Ряховский, А. А. Шмидт | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... such as the generation of a minimized deterministic finite-state automaton (FSA) from a CPN’s occurrence graph, language ..." | ||
| Том 35, № 4 (2023) | Моделирование русловых процессов в створе канала | Аннотация PDF (Rus) похожие документы |
| Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ | ||
| Том 36, № 2 (2024) | Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович МИХАЙЛОВ, Антон Александрович ТАРАНЮК, Анастасия Павловна СТЕПАНОВА | ||
| "... , using finite-difference methods. Nowadays, more and more often the solutions are investigated by means ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... . Functional test generation methods based on models are widespread at the moment. In this paper, a functional ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| "... Most FSM based methods for test derivation are developed for initialized Finite State Machines (FSM ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... . The extended finite state machine (EFSM) is known to be a powerful formalism for modelling digital hardware ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... based on tree finite state machines (FSM) is proposed. The first step is the extraction ..." | ||
| Том 30, № 6 (2018) | Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах | Аннотация PDF (Rus) похожие документы |
| М. В. Крапошин | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage ..." | ||
| Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
| "... Finite State Machines (FSMs) are widely used for analysis and synthesis of components of control ..." | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| "... extend the known results for classical Finite State Machines (FSM) to Finite State Machines with Timeouts ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... on the approach to the equivalence checking problem for finite state automata. The aim of this paper is to reveal ..." | ||
| Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
| А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
| "... In this paper, we continue our work that is devoted to the parallel composition of Timed Finite ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... . In this paper, we study the verification problem for the programs of this kind. We use finite state transducers ..." | ||
| Том 32, № 1 (2020) | Дополненная реальность при визуализации данных с использованием свойств «золотого» сечения | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Воронин | ||
| "... закономерностей зрительного восприятия объектов, связанных со свойствами «золотого» сечения, позволяет ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... models for low-level manufacturing testing. A particular test generation method is considered. The input ..." | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... The derivation of checking sequences for Finite State Machines (FSMs) has a long history ..." | ||
| Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, А. В. Лапутенко | ||
| "... Finite State Machines (FSMs) are widely used for analysis and synthesis of digital components ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... Finite State Machines (FSMs) are widely used as formal models for solving numerous tasks ..." | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... . For most known types of errors, a formalization is proposed that is based on finite automata over trees ..." | ||
| Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
| Е. В. Давыдова, В. Н. Корчагова | ||
| "... Finite Element Method v.2. They are realized in five open-source packages: OpenFOAM, Gerris, pySPH ..." | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... component. In this paper, we consider the composition of two Extended Finite State Machines and propose ..." | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация похожие документы |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| "... State identification is a long standing problem in the area of Finite State Machine (FSM) based ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... . Each method or function is associated with a finite-state automaton consisting of all variants of typed ..." | ||
| Том 34, № 5 (2022) | Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом | Аннотация PDF (Rus) похожие документы |
| Борис Яковлевич БЕНДЕРСКИЙ, Алена Алексеевна ЧЕРНОВА | ||
| "... различных форм поперечного сечения. В результате серии вычислительных экспериментов с использованием ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) похожие документы |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| "... Vortex methods of computational fluid dynamics are an efficient tool in engineering practice ..." | ||
| 1 - 39 из 615 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
