W publikacji przedstawiono wybrane zagadnienia opisu formalnego zależności stacyjnych. Opis formalny zależności stacyjnych stanowi pewien fragment modelu stacyjnego systemu sterowania ruchem kolejowym na stacji (srk) i obejmuje m.in. zbiory reklacji i zbiory funkcji zależnościowych. relacje i funkcje zależnościowe określają sprzeczność dróg przebiegów, wartości zmiennych stanu przebiegów i stan urządzeń zewnętrznych umożliwiając odwzorowanie zadania sterowania w systemie srk. Dziedziną relacji i funkcji zależnościowych są wyóżnione zbiory informacji statycznych i dynamicznych. Na podstawie relacji i funkcji zależnościowych tworzone są równania zależnościowe. Relacje, funkcje i równania zależnościowe mogą zostac przekształcone w instrukcje programów komputerowych tworzących oprogramowanie komputerowych systemów srk.
EN
This paper presents chosen problems of the formal description of interlocking relationships an station. The formal description of station interlosking relationships is making a certain fragment of the model of ATC (Automatic Train Control) system and embracing among others sets of the relation and sets of the function called interlocking. Interlocking relations and functions are determinning a contradiction of the routes, value of variables of the state of the routing process and the state of outside devices enabling the reflection the task control in ATC system. The domain of the interlocking relations and the functions there are specified sets of the static and dynamic information`s structures. On the base of the interlocking relations and the functions are created interlocking equations. the interlocking relations, functions and equations can be converted into instructions of computer programs of software of ATC system.
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ć.