ВЕРИФИКАЦИЯ ШЕСТИУГОЛЬНОЙ КОММУНИКАЦИОННОЙ РЕШЕТКИ БЕСКОНЕЧНЫМИ СЕТЯМИ ПЕТРИ
Journal Title: Радиотехника - Year 2018, Vol 3, Issue 194
Abstract
Построено формальное прямое параметрическое описание модели шестиугольной решетки со стороной k по указанным правилам композиции решетки. На основании прямого описания модели построена система линейных уравнений для нахождения инвариантов позиций. Применена методика вычисления линейных инвариантов бесконечных сетей Петри с регулярной структурой для открытой шестиугольной решетки, получено решение системы линейных уравнений в параметрической форме. Доказано, что модель шестиугольной решетки, представленная в форме бесконечной сети Петри, является p-инвариантной сетью Петри для произвольного натурального числа k и обладает свойствами ограниченности и консервативности. Коммуникационные решетки, представляющие собой реализацию изученной модели, могут быть построены с использованием накопителей конечной ёмкости без переполнения.
Authors and Affiliations
Т. Р. ШМЕЛЁВА
Keywords
Related Articles
- EP ID EP577166
- DOI -
- Views 176
- Downloads 0
Аппаратурно-методическое обеспечение научно-прикладной радиометрии атмосферы
Описан разработанный радиометрический комплекс для исследования атмосферы на частотах 12, 40 и 94 ГГц и обоснован выбор его рабочих частот для дистанционного зондирования и вспомогательных телекоммуникационных приложений...
ПОСТРОЕНИЕ СИСТЕМ ЧАСТОТНОЙ ИМПЕДАНСОМЕТРИИ БИОТКАНЕЙ С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМ “ARDUINO”
Исследуются электрические свойства биотканей растительного происхождения, рассматривается алгоритм функционирования системы расчета коэффициента жизнеспособности построенной на базе платформы «Arduino».
ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ХАРАКТЕРИСТИК ИЗЛУЧАТЕЛЯ ЛИДАРА НА ОСНОВЕ ЛАЗЕРА НА КРАСИТЕЛЕ С ЛАМПОВОЙ НАКАЧКОЙ
Представлены результаты экспериментальных исследований лазера на органическом красителе с лампо- вой накачкой с дисперсионным резонатором. Для сужения спектра и перестройки частоты излучения использо- вались внутрирезона...
Теоретическая модель измерения параметров лазерного излучения
Цель работы – создание теоретической модели измерения параметров излучения лазера как нелинейной динамической системы. Модель предусматривает измерение параметров в стационарном и хаотическом режимах. Модель может быть и...
ДОЦІЛЬНИЙ РОЗПОДІЛ ВИТРАТ НА ВПРОВАДЖЕННЯ ЗАХОДІВ ЗАХИСТУ ВІД ТЕХНІЧНИХ ЗАСОБІВ РОЗВІДКИ
Матеріальне виробництво сучасної продукції, розробка новітніх технологій виготовлення споживчих товарів, надання різноманітних послуг потребує захисту від конкурентів, у тому числі і від технічних засобів конкурентних ро...