Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Przegląd Elektrotechniczny

1 2012

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: kodowanie stanów lokalnych

Sortuj według:

Ogranicz wyniki do:

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

Tkacz J., Adamski M.

Przegląd Elektrotechniczny

2012

R. 88, nr 8

137-140

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.

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.