?
The tool for modeling of wireless sensor networks with nested Petri nets
P. 15–18.
Бучина Н. Г., Дворянский Л. В.
В данной работе был разработан подход к графическому моделированию и имитационному моделированию беспроводных сенсорных сетей (WSN) с помощью трансляции во вложенные сети Петри (NP-сети). Инструмент графического моделирования позволяет построить модель беспроводной сенсорной сети с учетом топологии анализируемой или проектируемой беспроводной сенсорной сети.
На основе построенной модели генерируется поведенчески эквивалентная вложенная сеть Петри.
Маршрутизация в беспроводной сенсорной сети между узлами-сенсорами и рабочей станцией WSN реализована
с использованием алгоритма распределенной маршрутизации "least hops".
Симулятор позволяет исполнить полученную модель NP-сети и обнаружить дефекты и узкие места системы на этапе
проектирования сети.
Ключевые слова: беспроводные сенсорные сетиnested Petri netsвложенные сети Петриwireless sensors networks
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Борисовская А. В., Тюрликов А. М., Вопросы радиоэлектроники. Серия: Техника телевидения 2022 № 3 С. 93–100
Рассмотрены системы мониторинга экологической обстановки с использованием LPWAN сетей в режиме случайного доступа к радиоканалу. Предложена методика определения числа сенсоров в таких системах. ...
Добавлено: 27 сентября 2023 г.
Борисовская А. В., Успехи современной радиоэлектроники 2022 Т. 76 № 12 С. 82–89
Постановка проблемы. При построении систем мониторинга, основанных на технологии LoRaWAN, основной задачей является выбор наилучших параметров системы, который производится путем оценки качества ее работы на различных наборах параметров. Основная функция систем мониторинга - обеспечение высокой вероятности доставки информации о событии. Поскольку в настоящее время вопрос о критерии качества работы систем мониторинга остается открытым, значение этой ...
Добавлено: 27 сентября 2023 г.
Борисовская А. В., T-Comm: Телекоммуникации и транспорт 2023 Т. 17 № 7 С. 21–28
Одним из важных научных направлений исследований интернета вещей является анализ систем мониторинга случайных событий с зависимыми источниками, основанных на случайном множественном доступе. Учет зависимости данных от близкорасположенных сенсоров повышает энергоэффективность системы и обеспечивает стабильность её работы. Существуют различные модели таких систем, однако отсутствует связь между ними. Целью данной работы является разработка единой системы допущений для ...
Добавлено: 27 сентября 2023 г.
Банков Д. В., Levchenko P. A., Ляхов А. И. и др., Journal of Communications Technology and Electronics 2022 Vol. 67 No. 6 P. 747–754
Добавлено: 27 июня 2022 г.
Новиков К. В., Полесский С. Н., , in: 2021 International Seminar on Electron Devices Design and Production (SED).: IEEE, 2021. P. 1–4.
Добавлено: 8 июня 2022 г.
Вследствие стремительного развития Интернета вещей появляется все больше технологий энергоэффективных сетей дальнего радиуса действия. Одна из них — технология NB-Fi — принята в качестве предварительного национального стандарта Российской Федерации и планируется к широкому использованию. Однако на данный момент исследования технологии NB-Fi практически не представлены в научной литературе, и открытой задачей является исследование её возможностей, потенциальных ...
Добавлено: 20 декабря 2021 г.
Mecheraoui K., Карраскель Г. Х., Ломазова И. А., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. P. 34–45.
Добавлено: 14 января 2021 г.
Добавлено: 20 октября 2020 г.
Карраскель Г. Х., Ломазова И. А., Itkin I., , in: Proceedings of the MACSPro Workshop 2019Vol. 2478: CEUR Workshop Proceedings.: CEUR-WS.org, 2019. P. 92–103.
Electronic trading systems provide the computational support for stock exchanges. Liquid markets use order-driven systems, i.e., where client requests, for trading financial instruments, are served through individual orders. This paper presents Petri net models assembling some crucial processes executed within order-driven systems such as orders submission, application of precedence rules, and the order matching mechanism. ...
Добавлено: 14 октября 2019 г.
Guimarães R. R., Passos L., Filho R. H. и др., IEEE Network 2019 Vol. 33 No. 2 P. 126–131
Добавлено: 19 декабря 2018 г.
Мицюк А. А., Котылев Я. В., , in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected PapersVol. 779: Communications in Computer and Information Science.: Springer, 2018. Ch. 11 P. 127–138.
Добавлено: 30 января 2018 г.
Петухов А. А., В кн.: Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2017): материалы 20-межд. науч. конф., 25-29 сент. 2017 г., Москва.: М.: Рекламно-издательский центр "ТЕХНОСФЕРА", 2017. С. 328–335.
Взаимодействие человека с виртуальной средой остается одной из проблем при внедрении технологий виртуальной (VR) и дополненной (AR) реальности в такие области, как образование, производство, медицина, игры и аттракционы. В данной работе дается описание разрабатываемой нательной системы захвата движения человека, которая служит человеко-компьютерным интерфейсом для VR и AR-приложений. Проводится сравнительный анализ стандартов беспроводной связи и моделирование ...
Добавлено: 22 октября 2017 г.
Дворников А. А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского.: М.: МИЭМ НИУ ВШЭ, 2017. С. 157–158.
Беспроводные сенсорные сети имеют тенденцию к наращиванию свободных ресурсов, которые можно использовать для повышения эффективности сети. Предложена организация наложенных сетей небольшой пропускной способности поверх беспроводных сенсорных сетей для сокращения количества свободных ресурсов. При построении наложенного канала поверх беспроводной сенсорной сети возникает необходимость в оценке стоимости канала наложенной сети. Предложена формула стоимости наложенного канала поверх беспроводной ...
Добавлено: 31 мая 2017 г.
Омётов А. Я., Андреев С. Д., Тюрликов А. М. и др., Информатика и ее применения 2016 Т. 10 № 3 С. 23–31
Рассматривается беспроводная система связи, учитывающая особенности современных сенсорных сетей, в которых устройства передают свои данные на множество промежуточных агрегирующих узлов, имеющих подключение к сети Интернет по технологии IEEE 802.11-2014 (WiFi). Предполагается, что агрегатор осуществляет пересылку данных от многих сенсоров, участвуя при этом в состязании за общий канал связи с другими агрегаторами. Предлагается аналитическая модель такого ...
Добавлено: 30 января 2017 г.
Ермакова В. О., Ломазова И. А., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115–136
Вложенные сети Петри являются одним из удобных формализмов для моделирования и анализа поведения распределенных мультиагентных систем. Они естественным образом представляют структуру мультиагентных систем, так как фишки в системной сети сами являются классическими сетями Петри и могут иметь автономное поведение. Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами проверки модели (model ...
Добавлено: 21 октября 2016 г.
Дворянский Л. В., Ломазова И. А., Programming and Computer Software 2016 Vol. 42 No. 5 P. 292–306
Multi-level multi-agent systems (MASs) with dynamic structure are widely used in solving important applied problems in telecommunication, transportation, social, and other systems. Therefore, ensuring correct behavior of such systems is an actual and important task. One of the most error-prone stages of system development in the framework of model-oriented approach is the implementation stage, in ...
Добавлено: 27 сентября 2016 г.
Самохвалов Д. И., Дворянский Л. В., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 3 P. 65–84
Вложенные сети Петри – это расширение формализма раскрашенных сетей Петри, которые используют сети Петри в качестве фишек. Данный формализм позволяет создавать подробные модели мультиагентных систем, осуществлять имитационное моделирование, верифицировать и анализировать их свойства на формальном и строгом уровне. Мультиагентные системы находят применение во многих областях – начиная системами, для которых безопасность играет критическую роль, заканчивая ...
Добавлено: 15 сентября 2016 г.
Дворянский Л. В., , in: Formal Modeling and Analysis of Timed SystemsVol. 9884.: Switzerland: Springer, 2016. Ch. 1 P. 3–18.
Добавлено: 13 сентября 2016 г.