W "Inżynierii Ruchu Drogowego" (4/12) opublikowany został artykuł pt. Klasyczne formy detekcji służące priorytetowaniu tramwajów. Zawarto w nim przegląd detektorów stosowanych przez wiele dziesięcioleci do wykrywania tramwajów zbliżających się do skrzyżowań. Omówiono podstawowe zalety i wady różnorodnych rozwiązań, począwszy od czujników zwarciowych w postaci przewodu sygnałowego podwieszonego równolegle do przewodu trakcyjnego, a skończywszy na wideodetekcji. Niniejszy artykuł jest rozwinięciem tej tematyki. Ma na celu zapoznanie Czytelnika z możliwościami, jakie daje obecna technologia - technologia, w której sterownik sygnalizacji współpracuje interaktywnie z detektorem, by pozyskać w miarę możliwości informację pełną, pozwalającą na dużo więcej niż tylko przydzielenie zielonego światła.
EN
The article Classic forms of detection for tram prioritization, published in issue no 4/12 of "Traffic Engineering", included the overview of detectors that have been used for the detection of trams approaching crossroads for dozens of years. Basic advantages and disadvantages of various solutions were discussed, from short circuit detectors in the form of a signalling cable hanged alongside the traction cable, to video-detection. The article is the expansion of this thematic scope. Its aim is to present readers with the possibilities offered by current technology including signalling controller interactively co-operating with a detector in order to get thorough information, if possible, allowing for much more than assigning the green light.
Artykuł opisuje zagadnienia związane z modelowaniem zmiany programów sygnalizacji podczas realizacji opisu sterowników sygnalizacji świetlnej za pomocą języków opisu sprzętu. Zawarto w nim zagadnienia wymagań formalnych dla programów przejściowych, zagadnienie określenia liczby programów niezbędnych dla prawidłowego funkcjonowania sterownika oraz weryfikacji poprawności przyjętych założeń. Informacje przedstawione w artykule są oparte na projekcie algorytmu sterowania dla rzeczywistego skrzyżowania.
EN
The paper discribes problems of modelling of changing control program while describing traffic lights controllers with hardware description language. It discusses issues of formal requirements for interchange programs, determination of a number of programs necessary for proper controller operation as well as verification of assumptions. The baseline information for the paper was the design of traffic conrol algorithm for a real road crossing in Warsaw.
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ć.