Wyniki wyszukiwania - BazTech

1

Presentation of railway route as a function of three variables

Jurczak M.

Zeszyty Naukowe Instytutu Pojazdów / Politechnika Warszawska

|

2018

|

z. 2/116

113--120

EN

The aim of the article is to introduce train or manoeuvre routes as function of the three variables which describe some of characteristic features of points. These switches are parts of railway routes. As a railway route can be understood – states set in order, in which should be found elements of controls, which are used to control railway traffic. They adjust, protect, and control define train route. In the article is the example of fictitious railway station with a fairly complex track layout with a few possibilities realize route from the start point A (entrance signal) to the end B (exit to the line). Then Author specifies three inputs (point statuses) which are necessary to make specific route. Then all points are written into the table with their values x, y and z. In the next step there is presentation of all station routes with devices. One route is a different function. These functions are reduced to the most simply equation. Author uses the most important rules from the Boolean algebra which consists of operations with two values: 0 and 1. In the formal logic the meanings are for: 0- false; 1- true. All routes on the station can be presented as a function of variables which describe devices (route parts). It does not have to be only switches. It could be of course signal, line block, axle counter, derail etc. This kind of information could be used on bigger stations as point machine characteristic, what specific has got bigger influence over station track layout.

PL

Celem artykułu jest przedstawienie przebiegów kolejowych na przykładowym posterunku za pomocą funkcji zmiennych określających zwrotnice będące w drodze przebiegu. Jako przebieg kolejowy należy rozumieć- zbiór uporządkowanych stanów, w jakich powinny znajdować się elementy urządzeń sterowania ruchem kolejowym, które nastawiają, zabezpieczają i kontrolują określoną drogę przebiegu. Przykład składa się z fikcyjnego kolejowego posterunku ruchu z rozbudowanym układem torowym dającym wiele możliwości ustawienia przebiegu z punktu A (semafor wjazdowy) do punktu B (wyjazd na szlak). Kolejno wyznaczono 3 stany wejść (zwrotnic), które wpływają na właściwą realizację konkretnej drogi jazdy. Kolejnym krokiem jest zestawienie przebiegów na stacji wraz z obiektami, które w nich występują. Każda funkcja charakteryzująca dany przebieg jest skracana do wartości najprostszej. W tym celu zastosowano metody działań związane z algebrą Boole'a. Charakteryzują ją działania na obiektach posiadających tylko dwie wartości: 0 i 1, w logice formalnej odpowiednio fałsz i prawda. Każdy przebieg można przedstawić za pomocą zmiennych charakteryzujących urządzenia, z których się składa. Informacja taka dotycząca szczególnie większych stacji przy jednoczesnym uwzględnieniu realizacji przebiegów przez dyżurnego może być znaczącą informacją charakterystyki pracy napędów i ogólnie zwrotnic.

2

Diagnostyka zasilania systemów sterowania ruchem kolejowym

Chrzan M., Kornaszewski M., Nowakowski W., Ciszewski T.

TTS Technika Transportu Szynowego

|

2012

|

R. 19, nr 9

129--134, CD

PL

W artykule została przedstawiona problematyka diagnostyki zasilania systemów sterowania ruchem kolejowym na przykładzie aplikacji KomNet ZUS.

EN

Computer railway control systems need the reliable power. The issue is crucial for the dispersed systems. The article presents the problem of control the power systems on the base of KomNet ZUS application.

3

Object-oriented programming as a method for developing software in rail-traffic-control computer systems

Sumiła M., Lewiński A.

Archives of Transport

|

2010

|

Vol. 22, iss. 2

219-237

EN

The paper focuses on a new method for specifying safe software for rail traffic control systems. The presented method is particularly convenient to define typical devices and subsystems used in traffic control, defined as software blocks in which control algorithms are directly applicable. The method uses the object-oriented methodology and the UML language. The program in UML language allows for modelling, verification, functional testing, and simulation in an environment that is typical for rail traffic control. The method takes the software implementation requirements into account, having in mind the safety and control in real time in accordance with the UIC and CENELEC standards and recommendations.

PL

Praca dotyczy nowej metody specyfikacji bezpiecznego oprogramowania dla systemów sterowania ruchem kolejowym. Przedstawiona metoda jest szczególnie dogodna do definiowania typowych urządzeń i podsystemów stosowanych w sterowaniu ruchem kolejowym, w postaci określonych bloków oprogramowania, w których stosuje się bezpośrednio algorytmy sterowania. W metodzie wykorzystano metodologię obiektową i język UML. Program w języku UML daje możliwość modelowania, weryfikacji, testowania funkcjonalnego oraz symulacji w typowym środowisku sterowania ruchem kolejowym. Metoda uwzględnia wymogi implementacji oprogramowania uwzględniając bezpieczeństwo i sterowanie w czasie rzeczywistym zgodnie ze standardami i zaleceniami UIC i CENELEC.