Temat: rail systems - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Diagnostyka zasilania systemów sterowania ruchem kolejowym
Diagnosis of power systems of rail control systems
Autorzy:: Chrzan, M.
Kornaszewski, M.
Nowakowski, W.
Ciszewski, T.
Powiązania:: https://bibliotekanauki.pl/articles/250363.pdf
Data publikacji:: 2012
Wydawca:: Instytut Naukowo-Wydawniczy TTS
Tematy:: ruch kolejowy
sterowanie ruchem
aplikacja KomNet ZUS
rail control systems
KomNet ZUS application
Opis:: W artykule została przedstawiona problematyka diagnostyki zasilania systemów sterowania ruchem kolejowym na przykładzie aplikacji KomNet ZUS.
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.
Źródło:: TTS Technika Transportu Szynowego; 2012, 9; 129-134, CD
1232-3829
2543-5728
Pojawia się w:: TTS Technika Transportu Szynowego
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Programowanie obiektowe jako metoda tworzenia oprogramowania w komputerowych systemach sterowania ruchem kolejowym
Autorzy:: Sumiła, M.
Lewiński, A.
Powiązania:: https://bibliotekanauki.pl/articles/224259.pdf
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: sterowanie ruchem kolejowym
programowanie obiektowe
bezpieczne oprogramowanie
rail control systems
object-oriented programming
safe software
Opis:: 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.
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.
Źródło:: Archives of Transport; 2010, 22, 2; 219-237
0866-9546
2300-8830
Pojawia się w:: Archives of Transport
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "rail systems" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język