МЕТОД ПРЕОБРАЗОВАНИЯ МОДЕЛЕЙ ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ ПРЕДСТАВЛЕННЫХ В ФОРМЕ СЕТЕЙ ПЕТРИ
Journal Title: Наукові праці ОНАЗ ім. О.С. Попова - Year 2017, Vol 1, Issue 1
Abstract
Разработан метод преобразования моделей телекоммуникационных систем представленных в форме бесконечных сетей Петри в раскрашенные сети Петри. Метод предназначен для оценки временных и вероятностных характеристик телекоммуникационных сетей. Базовый фрагмент бесконечной сети используется как графический шаблон при формировании раскрашенных сетей, дальнейший процесс преобразования модели состоит в детализации атрибутов элементов сети, с помощью абстрактных типов данных и функций языка функционального программирования CPN ML. Модель дополняется измерительными фрагментами для оценки производительности и качества обслуживания сети. На основе предварительных оценок ограниченности, живости и безопасности систем, выполненных путем анализа бесконечных сетей Петри, сформированы средства оценки количественных характеристик поведения систем. Построение выполнено на примере преобразования модели прямоугольной вычислительной решетки. Использование раскрашенных сетей позволило уточнить численные характеристики процессов блокирования решетки с помощью рабочей нагрузки.
Authors and Affiliations
Tetiana Shmelyova
Keywords
Related Articles
- EP ID EP335027
- DOI -
- Views 116
- Downloads 0
НЕКОГЕРЕНТНОЕ ВЫДЕЛЕНИЕ СИГНАЛА ТАКТОВОЙ СИНХРОНИЗАЦИИ ДЛЯ ДЕМОДУЛЯЦИИ СИГНАЛОВ ЧАСТОТНОЙ МОДУЛЯЦИИ С НЕПРЕРЫВНОЙ ФАЗОЙ
Дискретные сигналы частотной модуляции с непрерывной фазой (ЧМНФ) характеризуются постоянной огибающей, отсутствием скачков фазы при модуляции, а также высокими показателями энергетической и частотной эффективности. Все...
ТАЙМЕРНЫЕ СИГНАЛЬНЫЕ КОНСТРУКЦИИ КАК ИНСТРУМЕНТ КОДОВОГО УПЛОТНЕНИЯ КАНАЛОВ
Оценивается целесообразность передачи в одном кодовом слове информации от двух и более источников, предложен алгоритм увеличения информационной емкости найквистового элемента в двоичном канале без увеличения длительности...
THE METHOD OF SELECTING A HARDWARE-SOFTWARE IоT-PLATFORM TAKING TO ACCOUNT THE FACTORS OF FUNCTIONALITY AND COST
In the paper proposes a method for increasing the efficiency of the decision-making process for the selection of software and hardware platforms for the implementation of projects in the IoTsphere that taking into accoun...
ОПТИМІЗАЦІЯ СІТКОВОГО КОДУВАННЯ ТЕЛЕВІЗІЙНИХ ЗОБРАЖЕНЬ
У роботі розглядається пошук оптимальної комбінації методів кодування зв'язності і геометрії сіткових тривимірних телевізійних об'єктів. Запропоновано використовувати для кодування топології алгоритм Edgebreaker, в якому...
ПРОГРАММНЫЙ ГЕНЕРАТОР МОДЕЛЕЙ ПЕТРИ ТРЕУГОЛЬНЫХ КОММУНИКАЦИОННЫХ РЕШЕТОК
В настоящей работе представлен программный генератор моделей Петри треугольных коммуникационных решеток произвольного размера для верификации протоколов телекоммуникационных систем с треугольной ячейкой. Программны...