Zaloguj się

Wspomagana komputerowo specyfikacja i weryfikacja algorytmów sterownia obszarowego

Streszczenie: 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.
1. WSTEP
Obserwowany w latach siedemdziesiątych XX wieku rozwój motoryzacji, którego niezwykła i nieprzewidziana intensywność dała się we znaki w latach osiemdziesiątych i dziewięćdziesiątych, oraz jego skutki, zauważalne szczególnie w obszarach miejskich, stały się oczywistym impulsem do poszukiwania nowych, bardziej złożonych metod sterowania ruchem drogowym. Cykliczny program sygnalizacji świetlnej na wybranym skrzyżowaniu, choćby najskrupulatniej przygotowany, w sytuacji sąsiedztwa nierzadko wielu skrzyżowań sterowanych, okazał się rozwiązaniem niewystarczającym.
Zwiększająca się liczba skrzyżowań z sygnalizacją świetlną zrodziła potrzebę uzależniania od siebie (koordynowania) sygnalizacji sąsiednich skrzyżowań.
Również w nowych rozwiązaniach sterowników lokalnych i systemów sterowania ruchem drogowym, konieczne stało się uwzględnianie zagadnień sterowania obszarowego.
Dotychczasowe wyniki badań poświęconych realizacji sterowników lokalnych w programowalnych strukturach logicznych [1,2] pozwalają stwierdzić, że zasadne jest rozważenie zastosowania takich rozwiązań na poziomie sterowania obszarowego.
Niewielkie wykorzystanie zasobów struktur FPGA przez sterowniki lokalne na pojedynczym skrzyżowaniu, stwarza szansę wykorzystania specjalizowanych sterowników zrealizowanych w FPGA, do sterowania w obszarze ulic. Należy oczekiwać, że odpowiednie algorytmy sterowania obszarowego będące połączeniem sterowania adaptacyjnego z pewnego rodzaju optymalizacją sieci, opierającą się na kryterium strat czasu, oraz długości kolejek, pozwolą na poprawę warunków ruchu w sterowanym obszarze miasta. (...)

Artykuł zawiera 16127 znaków.

Źródło: Czasopismo Logistyka

Zaloguj się by skomentować