Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: relacje i funkcje zależnościowe

Sortuj według:

Ogranicz wyniki do:

Synteza funkcji należnościowych stacyjnego systemu srk

Zabłocki W.

Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne

2009

Nr 91, z. 149

523-548

W artykule przedstawiono zarys metody formalizacji systemu srk. Podstawą formalizacji są własności drogi przebiegu analizowane zgodnie z zasadami bezpieczeństwa ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. Zaproponowana metoda formalizacji definiuje uporządkowane statyczne i dynamiczne struktury danych oraz relacje. Struktury informacji są podstawą konstrukcji relacji, które pozwalają sformułować funkcje i inne relacje zależnościowe systemu srk, a w tym i funkcje sprzeczności dróg przebiegów. Opis formalny relacji i funkcji zależnościowych umożliwia zredagowanie równań zależnościowych warunkujących algorytmizację sterowania. Rezultatem powyższych badań jest formalny (matematyczny) model systemu srk. Model i zbudowany na jego podstawie symulator stanowią narzędzia badawcze, które pozwalają nie tylko wnioskować o systemie srk, a także tworzyć system rzeczywisty.

The outline of the method of rail traffic control systems have been presented in the paper. The features of routing analysed according to safety rules including in particular functions of contradictory functions are the basis of formalisation. The proposed formalisation method defines static and dynamic ordered database structures and relations. The information structures are the basis for creating the relations that allow defining functions and other interlocking relations of rail traffic control facilities including functions of contradictory routings. The formal description of interlocking relations and functions allows defining interlocking equations qualifying control algorithmisation. The result of research is formal (mathematic) model of rail traffic control system. Model and the simulator, constructed basing on it, compose the research tools used for drawing conclusions on rail traffic control facilities and for creating real facilities.