PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
Tytuł artykułu

Wspomagana komputerowo specyfikacja i weryfikacja algorytmów sterownia obszarowego

Identyfikatory
Warianty tytułu
EN
Computer supported specification and verification of area control algorithms
Języki publikacji
PL
Abstrakty
PL
W artykule zaprezentowano mechanizm tworzenia algorytmów sterowania ruchem drogowym w wybranym obszarze miasta z wykorzystaniem wspomagania komputerowego. W specyfikacji tych algorytmów wykorzystano grafy przejść automatów skończonych, w tym grafów hierarchicznych. Opracowane algorytmy adaptacyjnego sterowania obszarowego zostały wyspecyfikowane w edytorze FSM, pozwalającym na weryfikację poprawności działania algorytmu w trybie funkcjonalnej symulacji komputerowej. Przytoczono wyniki specyfikacji i weryfikacji opracowanych algorytmów, oraz ich implementacji w programowalnych strukturach logicznych FPGA.
EN
The article presents a mechanism of creating algorithms of traffic control in a selected area of the city with the use of computer support. In the specification of these algorithms transition graphs of finite state machines have been used, including hierarchical graphs. Designed algorithms of adaptive area control have been specified in FSM editor, which allows verification of correctness of algorithm operation in the mode of functional computer simulation. Results of specification and verification of the designed algorithms have been quoted, as well as their implementation in programmable logic FPGA structures.
Czasopismo
Rocznik
Tom
Strony
CD--CD
Opis fizyczny
-pełny tekst, Bibliogr. 7 poz., rys.
Twórcy
autor
  • Politechnika Warszawska; Wydział Transportu
Bibliografia
  • 1. Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie. Oficyna Wydawnicza Politechniki Warszawskiej, Prace Naukowe-Transport , z. 68, Warszawa, 2009.
  • 2. Kawalec P., Firląg K.: Synteza specjalizowanych układów sterowania ruchem drogowym w strukturach FPGA. Pomiary Automatyka Kontrola, 7bis 2006, Agenda Wydawnicza Stowarzyszenia SIMP, Warszawa, s. 8–10.
  • 3. Wrześniowski Z.: Koordynacja sygnalizacji świetlnej. WKŁ, Warszawa 1977.
  • 4. Leśko M., Guzik J.: Sterowanie ruchem drogowym, sterowniki i systemy sterowania i nadzoru ruchu. Wydawnictwo Politechniki Śląskiej, Gliwice 2000.
  • 5. Szatkowski M.: materiały do wykładów z przedmiotu Sterowanie ruchem drogowym, Warszawa, 2005.
  • 6. http://faculty.kfupm.edu.sa
  • 7. Sobieszuk-Durka S: Zastosowanie języków opisu sprzętu do modelowania wybranych algorytmów sterowania ruchem drogowym. Praca magisterska, Wydział Transportu PW, Warszawa, 2006.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPL6-0023-0006
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.