Сортировать по:
| Выпуск | Название | |
| Том 37, № 4: часть 2. июль-август | Проверка ослабленной ленивой бездефектности для сетей Петри с данными | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Ирина Александровна ЛОМАЗОВА | ||
| "... and lazy soundness could be adapted to resource-oriented Data Petri nets but deciding them requires solving ..." | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... . Recent methods allow to generate artificial event logs by simulating ordinary Petri nets. In this paper ..." | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
| Кирилл Геннадьевич Серебренников | ||
| "... priorities for live Petri nets. Priorities are a form of constraints which can be imposed to ensure liveness ..." | ||
| Том 20 (2011) | О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри | Аннотация PDF (Rus) похожие документы |
| Л. В. Дворянский | ||
| "... This paper provides the analysis of the express power of Petri nets to model counters with infinite ..." | ||
| Том 33, № 3 (2021) | Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства | Аннотация похожие документы |
| Роман Александрович НЕСТЕРОВ, Семен Юрьевич САВЕЛЬЕВ | ||
| "... In this paper, we present an approach to the generation of Petri nets exhibiting desired ..." | ||
| Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация похожие документы |
| Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
| "... In this paper, we present a method for state space reduction of dense-time Petri nets (TPNs ..." | ||
| Том 34, № 5 (2022) | Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ | ||
| "... Timed-arcs Petri nets are a time extension of Petri nets that allows assigning clocks to tokens ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... ) using Petri nets. A MAS is modeled as a set of workflow nets. The agent-to-agent interactions ..." | ||
| Том 27, № 3 (2015) | Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами | Аннотация PDF (Rus) похожие документы |
| Сергей Черненок, Валерий Непомнящий | ||
| "... into coloured Petri nets (CPN). The method is applied to the property verification of these diagrams ..." | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... ; and, their performance was measured through the runs on such models as Petri Nets and Lossy Channel Systems ..." | ||
| Том 32, № 6 (2020) | Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ | ||
| "... Timed-Arcs Petri nets (TaPN-nets) are a time extension of Petri nets that allows assigning clocks ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... allows for dealing with classical graphs, Petri nets, finite-state machines and their systems ..." | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| "... . Для моделирования процессов мы применяем обыкновенные сети Петри. Алгоритмы process discovery ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... components of a system. The combination of Colored Petri Nets (CPNs) and Automata Theory has proved ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... , FUML, OCL structures and mechanisms, the Petri nets mathematical apparatus, time automata and time ..." | ||
| Том 34, № 2 (2022) | Архитектура программной системы для проектирования надежных бизнес-процессов | Аннотация похожие документы |
| Катарина Вадимовна САМОЙЛОВА, Елена Борисовна ЗАМЯТИНА | ||
| "... , mass service theory, Petri nets. As an example, the logistics process of ship boarding in the port ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
| "... основан на известной идее ленивой инициализации, позволяющей избавить пользователя от необходимости ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... process model, typically represented by a Petri net, and a corresponding event log fit each other ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... Petri nets to model a system control flow with the ability to model relational database states ..." | ||
| Том 33, № 3 (2021) | Локализованное применение частичной типизации | Аннотация похожие документы |
| Виктор Сергеевич КРЫШТАПОВИЧ | ||
| "... . Although scientific research aim for soundness of type systems, many of languages intentionally make ..." | ||
| Том 34, № 5 (2022) | Способ оценки похожести программ методами машинного обучения | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич БОРИСОВ, Юрий Владимирович КОСОЛАПОВ | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| Том 35, № 4 (2023) | Технология синтеза программных комплексов с гибридной визуализацией Vulkan-OpenGL | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК | ||
| Том 32, № 4 (2020) | Эффективные методы и алгоритмы синтеза видео 360 градусов на основе кубической проекции виртуального окружения | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич ТИМОХИН, Михаил Васильевич МИХАЙЛЮК, Евгений Михайлович ВОЖЕГОВ | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| Том 35, № 5 (2023) | Применение мультимодального трансформера для прогнозирования выходных параметров насыщенных углеводородных соединений из состава тяжелой нефти в присутствии катализаторов | Аннотация PDF (Rus) похожие документы |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Елизавета Георгиевна ЗАЙЦЕВА | ||
| Том 36, № 3 (2024) | Автоматизация задачи прогнозирования рецидива рака шейки матки с помощью условной порождающей состязательной сети | Аннотация PDF (Rus) похожие документы |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Ольга Николаевна ЧУРУКСАЕВА | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| 1 - 41 из 51 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
