Logo
Wydrukuj tę stronę

Modelowanie zmiany programu sygnalizacji za pomocą hierarchicznych grafów przejść automatów skończonych

Oceń ten artykuł
(0 głosów)
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.
Stosowane współcześnie metody sterowania wymagają stosowania wielu programów sygnalizacji, które są przełączane podczas pracy sterownika. Także w przypadku sterowania jednoprogramowego konieczne jest opracowanie zasad rozpoczynania oraz kończenia pracy sterownika - tzw. programu startowego i programu końcowego.
W sterownikach mikroprocesorowych zadanie zmiany programów jest realizowane przez warstwę oprogramowania systemowego, niezależnego od projektanta zajmującego się inżynierią i sterowaniem ruchem. Współczesne sterowniki mikroprocesorowe wyznaczają automatycznie programy przejściowe wykorzystywane do zmiany programów (...)

Artykuł zawiera 14632 znaków.

Źródło: Czasopismo Logistyka

Więcej w tej kategorii: « Henry Lloyd - łańcuchy zaopatrzenia Zastosowanie programów komputerowych wspomagających projektowanie silników spalinowych w odniesieniu do minimalizacji skutków oddziaływania na środowisko »
powrót na górę