?
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling
P. 13–25.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 7979: Lecture Notes in Computer Science. , Berlin, Heidelberg: Springer, 2013.
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
В статье представлена методика интегральной оценки кибератак на автоматизированные системы управления технологическим процессом с использованием связки «киберполигон Ampire + цифровой двойник». Подход базируется на расчете пяти критериев (тяжесть, возможности нарушителя, уязвимость, сложность, эффективность защиты), формирующих интегральный индекс угрозы. Проверка на трех сценариях подтвердила устойчивость индекса и чувствительность к настройкам защиты. Результаты позволяют количественно ранжировать угрозы и ...
Добавлено: 13 сентября 2026 г.
Энатская Н. Ю., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 139–147
Рассматриваемый класс схем размещения частиц по ячейкам характеризуется введением верхнего ограничения уровней заполнения ячеек с его обязательным достижением хотя бы в одной ячейке каждого исхода каждой схемы. Схемы различаются между собой парными качествами составляющих их элементов (ячеек и частиц) по их различимостям. Из направлений исследования схем выделяются представляющие наибольший интерес по нестандартным приемам доасимптотического анализа ...
Добавлено: 11 сентября 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Zanko G., Назарова В. В., MULTIDISCIPLINARY SCIENCE JOURNAL 2026 Vol. 8 No. 10 P. e2026780
Добавлено: 10 мая 2026 г.
Беляев Н. Д., Лебедев В. В., Нуднер И. С. и др., Гидротехническое строительство 2025 № 11 С. 50–58
В работе представлены описание методики проведения экспериментов и результаты опытов по физическому моделированию взаимодействия длинных волн типа цунами с заякоренным сооружением. Произведена оценка усилий в связях системы заякорения при волновом воздействии. Выполнен анализ полученных результатов. Сделаны выводы о характере изменения усилий в зависимости от системы раскрепления конкретного объекта; веса якорей в этой системе; максимальной высоты ...
Добавлено: 25 марта 2026 г.
Gabdrahmanov R., Tsoy T., Martinez-Garcia E. и др., , in: Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - (Volume 1) ICINCO 2024.: SciTePress, 2024. P. 511–518.
Добавлено: 17 марта 2026 г.
Khabibullin A., A. S. Pozanenko, Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 4 P. 1459–1470
Добавлено: 20 февраля 2026 г.
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Ilyanova D. S., Назаров И. В., Елизаров А. А. и др., , in: 2025 Systems of Signal Synchronization, Generating and Processing in Telecommunications (SYNCHROINFO).: IEEE, 2025. P. 1–6.
Добавлено: 6 декабря 2025 г.
Магид Е. А., Abbyasov B., Lavrenov R. и др., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 5 P. 2382–2395
Добавлено: 25 ноября 2025 г.
Туханова В. Ю., Канкулов А. Ж., Костюмология 2025 Т. 9 № 4
В статье представлено исследование, посвященное разработке концептуальной научно-методической модели проектирования изделий швейной и обувной промышленности в цифровом пространстве. Рассмотрены особенности этапов проектирования изделий легкой промышленности с учетом внедрения инновационных технологий в образовательную программу высшего образования подготовки специалистов бакалавриата и магистратуры по специальности «Дизайн одежды». Автором представлен обзор актуального состояния развития цифровой моды в индустрии легкой ...
Добавлено: 3 октября 2025 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
Добавлено: 17 сентября 2025 г.
Zanko Georgii, MULTIDISCIPLINARY SCIENCE JOURNAL 2025 Vol. 8 No. 1 P. e2026126
Добавлено: 12 сентября 2025 г.
Энатская Н. Ю., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 97–106
Рассматриваются схемы размещения частиц по ячейкам неразличимыми (схема A) и различимыми (схема B) комплектами с достижением заданного минимального уровня заполнения ячеек в их исходах. Анализ схем проводится перечислительным методом на основе построения итерационного случайного процесса прямого бесповторного нумерованного перечисления их исходов в доасимптотической области изменения параметров по следующим направлениям: перечисления исходов и нахождения их числа, ...
Добавлено: 4 сентября 2025 г.
Энатская Н. Ю., Труды Карельского научного центра Российской академии наук 2025 № 4 С. 89–96
Рассматривается схема C размещения r = r(k) неразличимых частиц по n различимым ячейкам до момента наступления события Ak, когда впервые оказывается k (k r) непустых ячеек. Доасимптотический анализ схемы проводится авторским перечислительным методом (ПМ) по следующим направлениям: бесповторное перечисление и определение числа ее исходов, решение задачи нумерации, состоящей в установлении взаимно-однозначного соответствия между номерами и ...
Добавлено: 4 сентября 2025 г.
Добавлено: 4 сентября 2025 г.
Bulatov Y., Kryukov A., Suslov K., Renewable Energy 2026 Vol. 256. Part A P. 1–9
Добавлено: 21 июля 2025 г.
Курсовой проект «Моделирование организации» является обязательным компонентом проектной и исследовательской работы, обеспечивающей подготовку бакалавров Высшей школы бизнеса ВШЭ по направлению 38.03.05 «Бизнес-информатика». Курсовой проект проводится в соответствии с утвержденными рабочими учебными планами образовательных программ бакалавриата в целях интеграции полученных ранее знаний, умений и навыков, а также приобретения прикладного, организационного и исследовательского опыта проектной деятельности. Он ...
Добавлено: 11 мая 2025 г.
Oleg Sukhoroslov, Makogon A., , in: Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II* 2.: Springer, 2025. P. 90–106.
Добавлено: 22 февраля 2025 г.