Show simple item record

dc.contributor.authorShmeleva, T.R.
dc.contributor.authorZaytcev, D.A.
dc.contributor.authorZaytcev, I.D.
dc.contributor.authorШмелева, Т.Р.
dc.contributor.authorЗайцев, Д.А.
dc.contributor.authorЗайцев, И.Д.
dc.contributor.authorШмельова, Т.Р.
dc.contributor.authorЗайцев, Д.А.
dc.contributor.authorЗайцев, І.Д.
dc.date.accessioned2017-05-11T11:25:53Z
dc.date.available2017-05-11T11:25:53Z
dc.date.issued2009
dc.identifier.issn0131-8675
dc.identifier.urihttp://hdl.handle.net/123456789/981
dc.descriptionShmeleva T.R. Analysis of covvunication grids via infinite petri nets / Т.Р.Шмелева, Д.А. Зайцев, И.Д. Зайцев // Наукові праці ОНАЗ ім.О.С.Попова : періодичний науковий збірник. – 2009. - Вип. 1. - С. 27 - 35.en_US
dc.description.abstractA technique of the linear invariants calculation for infinite Petri nets with the regular structure was presented and studied on the example of square communication grids of an arbitrary size. Linear systems of equations for the calculation of p-invariants and their solutions were constructed in parametrical form. The consistent firing sequence for proof of t-invariants was constructed, it contains all the transitions of the net on the base of the loop of the transmission graph which contains all its arcs. It was grounded that the compulsory buffering of the packets inevitably leads to possible blockings of communicating devices. The structure of complex deadlocks involving an arbitrary number of communicating devices caused by both the cycle of blockings and the isolation was studied. Надано методику обчислення інваріантів для нескінченних сітей Петрі з регулярною структурою на прикладі квадратних комунікаційних ґраток довільного розміру. Системи лінійних алгебраїчних рівнянь для знаходження p-інваріантів і отримані розв’язки подані у параметричному вигляді. Запропонована нова методика конструктивного доказу t-інваріантості на основі побудови базисних циклів спрацьовування переходів. Обґрунтовано, що примушена буферизація пакетів приводить до блокування телекомунікаційних пристроїв. Вивчено структуру складних тупиків, що містять довільну кількість комунікаційних пристроїв, зумовлених циклом блокувань та ізоляцією пристроїв. Представлена методика вычисления инвариантов для бесконечных сетей Петри с регулярной структурой на примере квадратных коммуникационных решеток произвольного размера. Системы линейных алгебраических уравнений для нахождения p-инвариантов и полученные решения представлены в параметрическом виде. Предложена новая методика конструктивного доказательства t-инвариантности на основе построения базисных циклов срабатывания переходов. Обосновано, что принудительная буферизация пакетов приводит к блокировке телекоммуникационных устройств. Изучена структура сложных тупиков, содержащих произвольное число коммуникационных устройств, вызванных циклом блокировок и изоляцией устройств.en_US
dc.language.isoenen_US
dc.publisherОНАЗ ім. О.С. Поповаen_US
dc.subjectInvariants calculationen_US
dc.subjectInfinite Petri netsen_US
dc.subjectCommunication gridsen_US
dc.subjectРасчет инвариантовen_US
dc.subjectБесконечные сети Петриen_US
dc.subjectКоммуникационная сетьen_US
dc.subjectРозрахунок інваріантівen_US
dc.subjectНескінченні сіті Петріen_US
dc.subjectКомунікаційна мережаen_US
dc.titleANALYSIS OF SQUARE COMMUNICATION GRIDS VIA INFINITE PETRI NETS*en_US
dc.title.alternativeАНАЛІЗ КВАДРАТНИХ КОМУНІКАЦІЙНИХ ҐРАТОК НЕСКІНЧЕННИМИ СІТЯМИ ПЕТРІen_US
dc.title.alternativeАНАЛИЗ КВАДРАТНЫХ КОММУНИКАЦИОННЫХ РЕШЕТОК БЕСКОНЕЧНЫМИ СЕТЯМИ ПЕТРИ*en_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Статті
    Статті з телекомунікаційних систем та мереж, антен та пристроїв мікрохвильової техніки, радіотехнічних пристроїв та засобів телекомунікацій, радіотехнічних та телевізійних систем, оптоелектронних систем, твердотільної електроніки, економіки та управління підприємствами (економіка зв'язку)

Show simple item record