Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modele specyfikacji formalnej urządzeń cyfrowych

Sortuj według:

Ogranicz wyniki do:

Metody modelowania algorytmów sterowania w specjalizowanych sterownikach ruchu drogowego

Firląg K.

Logistyka

2009

nr 6

CD-CD

W artykule przedstawiono początkowy etap projektowania lokalnych sterowników ruchu drogowego w formie sprzętowych sterowników specjalizowanych, realizowanych w układach programowalnych. Przedstawiono stosowane sposoby opisu algorytmów adaptacyjnego sterowania ruchem drogowym, ze szczególnym uwzględnieniem metod graficznych. Szczególnie skupiono się na metodach modelowania formalnego sprzętowych sterowników cyfrowych, dokonując klasyfikacji modeli oraz wyboru metody korzystnej do modelowania specjalizowanych sterowników ruchu drogowego.

The article presents the initial stage of designing of local traffic controllers in the form of hardware specialised controllers realized in programmable devices. Applied methods have been presented of algorithms description of adaptive traffic control, with significant consideration of graphic methods. Particular attention has been given to methods of formal modelling of digital hardware controllers, classifying the models and selecting advantageous method for modelling specialised traffic controllers.