Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Mielcarek K.

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: automatic synthesisi of digital controllers

Sortuj według:

Ogranicz wyniki do:

Rozpoznawanie grafów doskonałych na potrzeby automatycznej syntezy układów cyfrowych

Mielcarek K.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

14-16

Niniejszy artykuł ma na celu wskazanie potencjalnej użyteczności algorytmów do rozpoznawania grafów doskonałych. Zagadnienia prezentowane poniżej dają się rozwiązać w czasie wielomianowym, gdzie dla grafów w ogólności problem złożoności należy do klasy problemów NP-zupełnych. Zastosowanie grafów doskonałych jako pośredniego modelu formalnego jest o tyle użyteczne, że znacząca większość zależności, opisujących rzeczywiste układy sekwencyjne, daje w wyniku grafy należące do podklasy grafów doskonałych. Badania w tej dziedzinie są prowadzone w wielu ośrodkach światowych mają na celu przy-spieszenie procesów automatycznej analizy i syntezy układów dyskretnych. Referat jest związany z wykorzystaniem sieci Petriego do opisu układów cyfrowych, a w szczególności rekonfigurowalnych sterowników logicznych. Pokazano przykład analizy dyskretnej przestrzeni stanów lokalnych automatu współbieżnego, modelującego program sterownika logicznego przedstawionego w języku SFC. Do analizy wykorzystano metody badania grafów doskonałych.

: This paper should to point out potential strength of perfect graph algorithms for automated synthesis of digital circuits. Typically known problems are NP-complete but using perfect graphs complexity is decreasing to polynomial. Studies in this matter shows that plenty of dependencies describing real sequential circuits can be described using perfect graphs. There shown the analysis of digital controller described in SFC. In analysis was used methods for testing perfect graphs.