Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2012 - zeszyt 8

Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego

nr katalogowy: 69791

W artykule przedstawiono metodę kodowania stanów lokalnych i globalnych cyfrowego sterownika matrycowego, realizowanego z wykorzystaniem struktur FPGA. Funkcjonowanie sterownika z wejściami i wyjściami opisanymi sygnałami binarnymi jest przedstawione z wykorzystaniem interpretowanej, sterującej sieci Petriego. Struktura topologiczna sieci jest odwzorowana na specyfikację logiczną w języku sekwentów Gentzena. Relacja sekwencyjności między miejscami sieci uzyskiwana jest metodą wnioskowania komputerowego. Abstract. The paper presents the method of local and global states encoding for configurable logic controller, which is designed by means of Field Programmable Logic Arrays (FPGA). The desired behaviour of controller is specified as hierarchical control interpreted Petri net. The inputs and outputs of controller are described as sets of binary signals. Relationship among places of Petri net, such as concurrency and sequentiality is obtained by using symbolic deduction method and presented as hypergraphs. (Macrostate encoding of reconfigurable digital controllers from topological Petri net structure). Słowa kluczowe: Przestrzeń stanów interpretowanej sieci Petriego, kodowanie stanów lokalnych i globalnych, hipergraf sekwencyjności, wnioskowanie formalne, sekwenty Gentzena. Keywords: Interpreted Petri net state space, local and global state encoding, hyperpgraph, formal reasoning, Gentzen sequents, Petri net colouring. Wstęp W artykule przedstawiono oryginalną metodę kodowania stanów lokalnych cyfrowego sterownika matrycowego, realizowanego z wykorzystaniem struktur FPGA [1, 2]. Funkcjonowanie rekonfigurowalnego sterownika logicznego z wejściami i wyjściami binarnymi jest przedstawione z zastosowaniem interpretowanej, sterującej sieci Petriego [3, 4, 5, 6]. Modelem formalnym bezpośrednio skojarzonym z siecią jest współbieżny automat cyfrowy (współbieżna maszyna stanów). Stanom lokalnym przypisano miejsca sieci Petriego, a jej stanom gl[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 69791 "Kodowanie makrostanów rek..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2012-8 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2012-8

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma