МОДЕЛИРОВАНИЕ ТЕХНОЛОГИИ СКВОЗНОЙ КОММУТАЦИИ БЕСКОНЕЧНЫМИ СЕТЯМИ ПЕТРИ
Journal Title: Наукові праці ОНАЗ ім. О.С. Попова - Year 2016, Vol 1, Issue 2
Abstract
Выполнен анализ технологии сквозной коммутации пакетов с помощью моделей, построенных в форме бесконечных сетей Петри. Построена модель коммуникационного устройства со сквозной коммутацией пакетов. Выполнена композиция прямоугольной коммуникационной решетки произвольного размера. Прямое и двойственное параметрические описания сетей Петри с регуляр- ной структурой применены для спецификации бесконечных систем линейных уравнений, вычисления инвариантов позиций и переходов сети Петри, верификации протоколов телекоммуникационных систем с прямоугольной ячейкой. Показано, что в прямоугольных коммуникационных решетках произвольного размера с коммуникационным устройством, реализующим сквозную коммутацию пакетов, возникают взаимные блокировки устройств и сложные тупики.
Authors and Affiliations
T. R. Shmeleva
Keywords
Related Articles
- EP ID EP407856
- DOI -
- Views 93
- Downloads 0
НЕКОГЕРЕНТНОЕ ВЫДЕЛЕНИЕ СИГНАЛА ТАКТОВОЙ СИНХРОНИЗАЦИИ ДЛЯ ДЕМОДУЛЯЦИИ СИГНАЛОВ ЧАСТОТНОЙ МОДУЛЯЦИИ С НЕПРЕРЫВНОЙ ФАЗОЙ
Дискретные сигналы частотной модуляции с непрерывной фазой (ЧМНФ) характеризуются постоянной огибающей, отсутствием скачков фазы при модуляции, а также высокими показателями энергетической и частотной эффективности. Все...
ДОСЛІДЖЕННЯ ВПЛИВУ ПРІОРИТЕТІВ НА ЧАС ОЧІКУВАННЯ ПАКЕТІВ В ОДНОКАНАЛЬНІЙ СИСТЕМІ
У мультисервісних пакетних мережах зв’язку в залежності від типу служби (сервісу) необхідні певні характеристики якості обслуговування її трафіка. Для цього з метою регулювання трафіка різних служб широко застосовується...
METHOD OF DETERMINING THE LENGTH OF THE AMPLIFYING SECTION BY FOUR-WAVE MIXING FOR THE LINE BASED ON THE STANDARD FIBER
The method for determining the length of the amplifying section limited by the four-wave mixing for the optical line based on the standard single-mode optical fiber, for the transmission system with the spectral sealing...
ГРАНИЧНЫЕ ЗНАЧЕНИЯ ЭНТРОПИИ ПРИ ПОСТОЯННОЙ ДЛИТЕЛЬНОСТИ КОДОВЫХ СЛОВ
Проведен анализ информационных параметров позиционных и таймерных кодов, а также методов увеличения содержания информации в кодовых словах (энтропии) при постоянной длительности интервала реализации (m = const найквистов...
АЛГОРИТМ РЕШЕНИЯ ЗАДАЧИ ВЫБОРА ОПТИМАЛЬНОГО НАБОРА РЕСУРСОВ СЕРВЕРА ДЛЯ УСЛУГИ IPTV
В работе предложен алгоритм решения задачи выбора оптимального набора комплектующих сервера, входящего в состав сервисной платформы для предоставления услуги IPTV в режиме одноадресного вещания. Задача формализуется в те...