Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020). Val. 2651

?

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020.

Научный редактор: M. Köhler-Bussmeier, E. Kindler, H. Rölke

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49–67.

Добавлено: 12 августа 2020 г.

Modeling Trading Systems using Petri Net Extensions

Карраскель Г. Х., Ломазова И. А., Rivkin A., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 118–137.

Добавлено: 19 октября 2020 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

Ключевые слова: verification software engineering Petri nets process mining

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

Профессиональная верификация: Руководство по продвинутой функциональной верификации

Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.

Книга, которую вы держите в руках, продолжает серию «Книжная полка истового инженера», которая издается при поддержке компании YADRO. Данная книга представляет собой учебник по теоретическим основам продвинутой функциональной верификации и содержит лучшие практики, используемые в настоящее время. В ней подробно описана унифицированная методология верификации (UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное покрытие, утверждения, формальная верификация, тестбенчи, косимуляция, эмуляция, аппаратное ...

Добавлено: 30 июля 2026 г.

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Evaluation of Correlation Functions and Multi-model Forecasting of Geopotential Height and Temperature in the Troposphere and Lower Stratosphere

Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028

Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...

Добавлено: 17 февраля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.

Добавлено: 24 декабря 2025 г.

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

Добавлено: 1 декабря 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

InGrid: Towards a Simulation-Based Automated Decision-Making System for Transportation

Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.

Добавлено: 3 октября 2025 г.

Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions

Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68

Добавлено: 21 сентября 2025 г.

Подготовка специалистов по разработке компьютерных игр

Лебедев С. А., Максименкова О. В., Поздняков Д. А., В кн.: Текущие вызовы в подготовке кадров. Обучение специалистов по современным направлениям информационных технологий, кибербезопасности и ИКТ-электроники, актуальным для экономики данных: сборник научных трудов.: Тверь: Издательство Тверского государственного университета, 2024. С. 106–108.

В докладе рассмотрены вопросы подготовки специалистов в области разработки компьютерных игр. Авторы анализируют мировой и общероссийский образовательный ландшафт указанного направления и обсуждают опыт выстраивания системной подготовки в рамках образовательной программы высшего образования по направлению подготовки «Программная инженерия». Дополнительно рассмотрены вопросы научных и прикладных проектов, связанных с областью разработки компьютерных игр, а также их взаимовлияние друг ...

Добавлено: 20 февраля 2025 г.

Использование анализа данных для оптимизации учебного процесса: оценка студентами интересности и полезности деловых игр

Мустафина Н. И., Плаксин М. А., В кн.: BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей X Международной научно-практической конференции в двух частях, Часть 1 (Республика Беларусь, Минск, 13 марта 2024 года).: Мн.: БГУИР, 2024. С. 457–469.

Добавлено: 18 февраля 2025 г.

Four-dimensional ACC analysis

Mustafina N. I., Плаксин М. А., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58

В статье обсуждаются вопросы планирования и управления ресурсами в процессе тестирования программных систем. В работе представлен метод анализа ACC, используемый в Google для оптимизации распределения усилий по тестированию различных частей системы. Расширение метода путем добавления четвертой характеристики - актеров (роли пользователей системы) позволяет более гибко оценивать требования к действиям и уровни навыков пользователей. Иллюстративные примеры атрибутов и компонентов системы ...

Добавлено: 17 февраля 2025 г.

Wind Speed Analysis Method within WRF-ARW Tropical Cyclone Modeling

Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239

В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...

Добавлено: 10 декабря 2024 г.

Merging Directly-Follows Graphs and Sankey Diagrams for Visualizing Acyclic Processes

Дерезовский И. Д., Шаимов Н. Д., Ломазова И. А. и др., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 4 P. 155–168

В данной статье предлагается метод визуализации моделей ациклических процессов, основанный на объединении графов непосредственного следования и диаграмм Санкей. Графы непосредственного следования - популярная графическая модель для визуализации моделей дискретных процессов, в то время как диаграммы Санкей используются для представления потоковых данных. Наш метод, основанный на потоковых диаграммах, позволяет выделять на общей модели отдельные экземпляры или группы экземпляров процесса. ...

Добавлено: 3 октября 2024 г.

Discovering hierarchical process models: an approach based on events partitioning

A. K. Begicheva, I. A. Lomazova, R. A. Nesterov, Modeling and Analysis of Information Systems 2024 Vol. 31 No. 3 P. 294–315

Process mining — это область компьютерных наук, которая занимается синтезом и анализом моделей процессов на основе автоматически генерируемых журналов событий. В настоящее время многие организации используют эту технологию для оптимизации и совершенствования бизнес-процессов. Однако синтезированная модель процесса может быть слишком подробной, сложной и трудной для понимания экспертами. В работе мы рассматриваем задачу синтеза иерархической модели ...

Добавлено: 14 сентября 2024 г.

Hardware-Software Complex for Prototyping NoCs Using a Few FPGA Chips

Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.

Добавлено: 13 июня 2024 г.

IT Crisisology Models: Object-Based Optimization for Sustainable Development

Sergey V. Zykov, Singapore: Springer, 2024.

Добавлено: 10 марта 2024 г.

Отношение студентов программистских специальностей к включению в учебный процесс компьютерных тренажеров и деловых игр

Мустафина Н. И., Плаксин М. А., Афанасье Н. В., Современные информационные технологии и ИТ-образование 2023 Т. 19 № 1 С. 189–200

В подготовке студентов программистских специальностей важную роль играет знакомство с современными технологиями разработки программных систем. При их изучении лекционно-семинарских занятий недостаточно. Требуется подкрепление их практикой. Но, во-первых, организовать для всех студентов практику в реальных фирмах невозможно, во-вторых, цели производственного процесса отличаются от целей учебного. Поэтому вместо реальной практики в учебном процессе нескольких компьютерных специальностей двух ...

Добавлено: 29 февраля 2024 г.