The paper presents a method for formalising and determining the value of interlocking function in a context of static and dynamic framework, containing information about train routing conflict. The information framework is an element necessary for description of relations in traffic controI systems at the station, as well as for creating control functions. The publication also presents a new method of defining ATC system and creating its model.
PL
W publikacji omówiono metodę formalizacji funkcji sterowania, a następnie na podstawie zaproponowanych statycznych i dynamicznych struktur informacji przedstawiono sposób określania wartości funkcji zależnościowych. Struktury informacji są także niezbędne do określania wartości funkcji sprzeczności dróg przebiegów i tworzenia równań zależnościowych. Ponadto w publikacji przedstawiono nowy sposób definiowania systemu SRK i metodę tworzenia jego modelu.
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ć.