Сортировать по:
| Выпуск | Название | |
| Том 25, № 2 (2025) | Проверка соответствия поведения системы на основе автоматных объектов формальным требованиям | Аннотация похожие документы |
| Ф. А. Новиков, И. В. Афанасьева, Л. Н. Федорченко, Т. А. Харисова | ||
| "... on the use of the CIAO (Cooperative Interaction of Automaton Objects) language to specify the interaction ..." | ||
| Том 24, № 6 (2024) | Язык спецификации взаимодействия автоматных объектов | Аннотация похожие документы |
| Ф. А. Новиков, И. В. Афанасьева, Л. Н. Федорченко, Т. А. Харисова | ||
| "... is critical. The traditional testing of such systems can be difficult; thus, more advanced verification tools ..." | ||
| Том 23, № 2 (2023) | Валидация автоматных спецификаций | Аннотация PDF (Rus) похожие документы |
| А. А. Шалыто | ||
| "... of the term “verification of state machine programs”, it is proposed to use the terms “verification of state ..." | ||
| Том 23, № 4 (2023) | Верификация событийно-управляемых программных систем с использованием языка спецификации взаимодействующих автоматных объектов | Аннотация похожие документы |
| И. В. Афанасьева, Ф. А. Новиков, Л. Н. Федорченко | ||
| "... The CIAO (Cooperative Interaction Automata Objects) specifcation language is intended to describe ..." | ||
| Том 23, № 6 (2023) | Численный алгоритм поиска оптимального состава реагирующей смеси на основе кинетической модели реакции | Аннотация PDF (Rus) похожие документы |
| Е. В. Антипина, С. А. Мустафина, А. Ф. Антипин | ||
| "... концентраций реагирующих веществ во времени представлено в виде системы обыкновенных дифференциальных уравнений ..." | ||
| Том 22, № 2 (2022) | Облегченный механизм аутентификации на основе ECC и токенов для WSN-IoT | Аннотация похожие документы |
| Л. Сасиега, Ч. Шанти | ||
| "... out during token key verification process. If the user needs to access the data, he must go through ..." | ||
| Том 23, № 1 (2023) | Улучшение процесса автоматической стабилизации температуры в криовакуумной установке | Аннотация похожие документы |
| О. Ю. Голиков, Д. Ережеп, Д. Ю. Соколов | ||
| "... создана управляющая программа для термоконтроллера LakeShore 325, реагирующая на приближение (рабочей ..." | ||
| Том 23, № 3 (2023) | Метод выявления групп атакующих на основании анализа полезной нагрузки сетевого трафика по протоколу HTTP | Аннотация PDF (Rus) похожие документы |
| А. В. Павлов, Н. В. Волошина | ||
| "... , расследующих и реагирующих на инциденты, снизить влияние событийной усталости при анализе событий безопасности ..." | ||
| Том 24, № 1 (2024) | Обеспечение режимов функционирования кориолисовых вибрационных гироскопов с низкодобротными резонаторами | Аннотация PDF (Rus) похожие документы |
| В. В. Матвеев, В. В. Лихошерст, А. В. Каликанов, М. Г. Погорелов, М. Д. Кирсанов, С. В. Телухин | ||
| "... первичной информации, реагирующих на вращение основания резонатора посредством сил инерции Кориолиса ..." | ||
| Том 22, № 3 (2022) | Эффективная инкрементная хеш-цепочка с вероятностным методом на основе фильтра для обновления легких узлов блокчейна | Аннотация похожие документы |
| М. А. Маалла, С. В. Беззатеев | ||
| "... in the network and composing Merkle branch for every transaction verification request are time-consuming process ..." | ||
| Том 24, № 5 (2024) | Усовершенствование контроля доступа на основе атрибутов с помощью технологий Ethereum и ZK-SNARK | Аннотация похожие документы |
| М. Маалла, С. В. Беззатеев | ||
| "... resource, they must submit their attributes for the verification process which may reveal the privacy ..." | ||
| Том 22, № 5 (2022) | Генерация слабейших предусловий программ с динамической памятью в символьном исполнении | Аннотация PDF (Rus) похожие документы |
| А. В. Мисонижник, Ю. О. Костюков, М. П. Костицын, Д. А. Мордвинов, Д. В. Кознов | ||
| "... ; it allows solving a number of important problems related to verification of correctness: searching ..." | ||
| Том 23, № 3 (2023) | Интеллектуальная поддержка клинических решений при небольших выборках числа пациентов | Аннотация PDF (Rus) похожие документы |
| А. С. Ватьян, А. А. Голубев, Н. Ф. Гусарова, Н. В. Добренко, А. А. Зубаненко, Е. С. Кустова, А. А. Татаринова, И. В. Томилов, Г. Ф. Шовкопляс | ||
| "... different for different ranking methods. The proposed method of intellectual support and verification ..." | ||
| Том 23, № 5 (2023) | Аналитическое и имитационное моделирование гибких сочленений для мехатронных и робототехнических систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Ракшин, И. И. Борисов | ||
| "... , verification in simulation environment is carried out, full-scale experiment is carried out, comparison ..." | ||
| Том 24, № 4 (2024) | Конфигурируемые модели горения в камере сгорания микротурбинного двигателя с возможностью подключения различных физико-химических процессов | Аннотация PDF (Rus) похожие документы |
| П. В. Булат, Л. О. Вокин, К. Н. Волков, А. Б. Никитенко, Н. В. Продан, М. Е. Ренев | ||
| "... and verification of a mathematical model of in-chamber processes. ..." | ||
| Том 23, № 2 (2023) | Моделирование тепло-гидродинамических процессов в испарителях низкотемпературных систем с внутриканальным кипением хладагентов | Аннотация PDF (Rus) похожие документы |
| О. С. Апицына, А. А. Малышев, А. В. Зайцев, О. С. Малинина | ||
| "... and 20 % for a rectangular flow section. The verification results showed the possibility of using ..." | ||
| Том 24, № 6 (2024) | Сравнительный анализ сгенерированных и оригинальных аннотаций научных статей по филологической тематике | Аннотация PDF (Rus) похожие документы |
| М. В. Хохлова, М. В. Корышев | ||
| "... and syntactic coherence is broken and ambiguity is present), but also verification of the facts and terms ..." | ||
| Том 25, № 3 (2025) | Глубокое обучение для адаптивной аутентификации на основе электрокардиограммы в системе телемедицины с поддержкой интернета вещей | Аннотация похожие документы |
| М.А.Э. Азаб | ||
| "... Network (SNN) for dynamic verification, followed by a Convolutional Neural Network (CNN) for feature ..." | ||
| 1 - 18 из 18 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
