Temat: interlocking functions

Skocz do pozycji: 1.

Tytuł:: Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Computer-aided specification and verification of formal description for interlocking functions
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2014
Słowa kluczowe:: sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym
Autorzy:: Kawalec, P.
Koliński, D.
Data publikacji:: 2011
Słowa kluczowe:: system zależnościowy
odcinek torowy
modelowanie
explicit method of interlocking functions
interlocking system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Interlocking functions of ATC station system
Autorzy:: Zabłocki, W.
Data publikacji:: 2008
Słowa kluczowe:: ruch kolejowy
sterowanie ruchem kolejowym (SRK)
funkcje zależnościowe
railway traffic
Automatic Train Control (ATC)
interlocking functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk
Autorzy:: Maciejewski, M.
Zabłocki, W.
Data publikacji:: 2010
Słowa kluczowe:: system srk
sterowanie
ruch kolejowy
układ przełączający
funkcje zależnościowe
równania zależnościowe
system transportowy
srk system
control
rail traffic
switching machine
interlocking functions
interlocking equations
transport system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk w językach opisu sprzętu
Autorzy:: Kawalec, P.
Rżysko, M.
Data publikacji:: 2012
Słowa kluczowe:: języki opisu sprzętu
funkcje zależnościowe
urządzenia sterowania ruchem kolejowym
język VHDL
hardware description languages
interlocking functions
railway traffic control devices
VHDL language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wykorzystanie podsystemu sterowania blokowaniem i ryglowaniem do ograniczania ryzyka użytkowania maszyn
Autorzy:: Strawiński, T.
Data publikacji:: 2018
Słowa kluczowe:: osłona ruchoma
urządzenie blokujące
urządzenie ryglujące
funkcje bezpieczeństwa blokowania i ryglowania
elementy systemu sterowania związane z bezpieczeństwem
movable guard
interlocking devices
locking device
interlocking and locking safety functions
safety related elements of control system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Synteza funkcji należnościowych stacyjnego systemu srk
Autorzy:: Zabłocki, W.
Data publikacji:: 2009
Słowa kluczowe:: transport
ruch kolejowy
system
sterowanie
modelowanie
opis formalny
droga przebiegu
przebieg
sprzeczność
relacje i funkcje zależnościowe
rail traffic
control
modelling
formal specification
rout
routing process
contradiction
interlocking relations and functions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Wykorzystanie podsystemu sterowania blokowaniem i ryglowaniem do ograniczania ryzyka użytkowania maszyn
The application of interlocking and locking control subsystem for risk reduction at machinery
Autorzy:: Strawiński, T.
Data publikacji:: 2018
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:: osłona ruchoma
urządzenie blokujące związane z osłoną
urządzenie ryglujące związane z osłoną
funkcje bezpieczeństwa blokowania i ryglowania
związane z bezpieczeństwem elementy systemu sterowania
movable guard
interlocking device associated with guard
locking device associated with guard
interlocking and locking safety functions
safety related elements of control system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja