Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "computer railway control systems" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Tendencje rozwojowe systemów srk w ciągu ostatnich lat
    Trends in the Development of Safety Installations During Recent Years
    Autorzy:
    Lewiński, A.
    Perzyński, T.
    Toruń, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/215351.pdf
    Data publikacji:
    2011
    Wydawca:
    Instytut Kolejnictwa
    Tematy:
    rozwój
    sterowania ruchem kolejowym
    system
    system ATP
    system SIMIS-W
    systemy srk
    Automatic Train Protection
    computer railway control systems
    development
    Opis:
    W artykule przedstawiono systemy srk eksploatowane w kolejnictwie polskim oraz zasady zapewnienia ich bezpieczeństwa. Przedstawiono również systemy przekaźnikowe oraz systemy komputerowe realizowane w postaci nadmiarowych konfiguracji sterowników, komunikujących się poprzez zamknięte sieci teleinformacyjne. Pokazano tendencje rozwojowe wykorzystujące otwarte (publiczne) systemy transmisji bezprzewodowej. Artykuł odwołuje się do norm obowiązujących przy wdrażaniu przedstawionych systemów oraz wniosków z ich eksploatacji.
    Safety installations used in the Polish Railways as well as the procedures to ensure their security is described in the paper. Also, transmitter and computer systems forming redundancy configuration controllers, communicating through closed circuit telecommunication network, are presented. Development trends based on the open (public) wireless communication systems are also presented. Reference is made to the standards applying to the implementation of the presented systems as well as to the conclusions drawn from their operation.
    Źródło:
    Problemy Kolejnictwa; 2011, 153; 23-43
    0552-2145
    2544-9451
    Pojawia się w:
    Problemy Kolejnictwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wstępna analiza możliwości wspomagania pracowników linii kolejowych w prowadzeniu dokumentacji mającej wpływ na bezpieczeństwo ruchu
    Preliminary analysis of the capability of computer aided railway operating documentation affecting on railway traffic safety
    Autorzy:
    Bugaj, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/249041.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    systemy kierowania i sterowania ruchem kolejowym
    dokumentacja dyżurnego ruchu
    wspomaganie prowadzenia dokumentacji
    systems of railway traffic supervisory and control
    train dispatcher documentation
    computer aided documentation
    Opis:
    W procesie prowadzenia ruchu dyżurni ruchu i inni pracownicy podejmują decyzje na podstawie wskazań urządzeń srk i zapisów dokonanych w różnych dokumentach. Dokumenty mogą mieć formę papierową lub elektroniczną. Decyzje pracowników mają wpływ na bezpieczeństwo ruchu. Dotyczy to również pracowników niezwiązanych bezpośrednio z prowadzeniem ruchu. Przykładowo pracownik służb automatyki może podjąć decyzję o możliwości odwołania obostrzenia (np. ograniczenia prędkości), co zapisuje w dokumencie „Książka kontroli urządzeń sterowania ruchem” (E1758).O ile wymagania dotyczące poziomu bezpieczeństwa zapewnianego przez urządzenia są zdefiniowane, to nie ma analogicznych wymagań stawianych dokumentom występującym w formie elektronicznej. Celem tego artykułu jest próba zdefiniowania podstawowego zbioru dokumentów mających wpływ na bezpieczeństwo ruchu.
    In the process of trains operation the train dispatcher and other workers take the decisions basing on railway traffic supervisory reading and recording in various documentation. The documentation is in written or electronic form. The decisions of the workers influence on railway traffic safety. It also refers to workers who are not directly bound with trains operations. For example automatic service worker can take a decision of the possibility to call off restrictions (e.g. speed limitation) and write it down in “Railway traffic supervisory and control devices book” (E1758). Although, the requirements towards the level of safety guarantee are defied, there are no such requirements for document in electronic form. The aim of the paper is a trial to define the basic set of documents that impact on traffic safety.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2012, 3(99); 49-55
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane zagadnienia formalizacji systemów srk
    Question contradictions and special exclusions in technology railway traffic control
    Autorzy:
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/248872.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    systemy sterowania
    komputer zależnościowy
    droga przebiegu
    sprzeczność dróg przebiegu
    opis formalny
    railway traffic
    control systems
    interlocking computer
    route (drive path, overlap path and protective object)
    Opis:
    W publikacji przedstawiono wybrane zagadnienia opisu formalnego na przykładzie opisu funkcji sprzeczności. Zamieszczony przykład opisu formalnego został poprzedzony rozważaniami dotyczącymi opisów nieformalnych i półformalnych w ogólnym odniesieniu do procesu projektowania systemu srk i tworzenia dokumentacji systemu. Proces tworzenia poprawnych i pełnych opisów n-p-f staje się istotny z punktu widzenia warunków bezpieczeństwa. Opracowane dokumenty i formy opisu systemu srk stają się bazowymi dokumentami dowodu bezpieczeństwa. Metoda opisu formalnego sprzeczności dróg przebiegów odwołuje się do analizy właściwości obiektów uczestniczących w drogach przebiegów, tj. uwzględnia szczegółowo właściwości obiektów drogi jazdy, drogi ochronnej i obiektów ochronnych. Zaproponowany przykład metody formalizacji pozwala określić wystarczające warunki sprzeczności. Jednakże proponuje się zachować tablicę zależności z wykazanymi sprzecznościami dróg przebiegów jako podstawową formę klasycznego opisu półformalnego.
    The publication presents selected issues of formal description on the example of the function description contradictions. Included example on formal description was preceded by considerations relating to informal and semi-formal descriptions in relation to the overall system design process ATC and system documentation. The process of creating the correct and complete, informal, semi-formal, formal descriptions becomes important from the point of view of safety requirements. Background documents and forms of SRK description of the system are treated as the base documents of proof of safety. The method of formal description of contradiction routes refers to the analysis of properties of objects involved in routes, taking into account the detailed properties of objects route (drive path, overlap path and protective object). The proposed formalization of such methods allows you to specify sufficient conditions of contradictions. However, it is proposed to keep the interlocking board according to the disclosed contradiction routes as the basic form of the classical semi-formal description.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2015, 3(107); 147-156
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk
    Question contradictions and special exclusions in technology railway traffic control
    Autorzy:
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/248698.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    systemy sterowania
    komputer zależnościowy
    droga przebiegu
    sprzeczność dróg przebiegu
    wykluczenia specjalne dróg przebiegów
    funkcje zależnościowe
    railway traffic
    control systems
    interlocking computer
    route (drive path, overlap path and protective object)
    contradiction routes
    special exclusion routes
    interlocking function of ATC
    Opis:
    W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.
    The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2014, 2(104); 399-406
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies