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ę "control traffic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    The analysis of selected issues of signalling system selection for a railway line with set railway service and traffic parameters
    Autorzy:
    Kycko, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/214828.pdf
    Data publikacji:
    2018
    Wydawca:
    Instytut Kolejnictwa
    Tematy:
    system
    rail traffic control
    ERTMS/ETCS
    sterowanie ruchem kolejowym
    Opis:
    One of the essential elements of the railway transport modernization in Poland is the implementation of modern systems of interoperable ERTMS / ETCS (European Rail Traffi c Management System / European Train Control System) fulfilling the tasks and functions of CCS (control-command and signalling) systems. Th e investment process including the implementation of ERTMS / ETCS requires prior development of a number of documents, which include feasibility study, terms of reference, a description of the contract and many others. Th e initiation of the investment process is preceded by a series of activities including the evaluation and selection of the right target railway traffic control system for the selected railway line. Due to the interoperability requirements, it becomes necessary to develop methods for assessment of the possible ERTMS / ETCS confi gurations and later selection of a confi guration for a railway line with predefi ned service and traffic parameters. The aim of the publication is to present a concept that can be considered as the basis for methods of analysis and rail control traffic system selection. The sample line, which was selected to carry out research and analysis, is a section of the selected railway line section of the railway line No. 7 due to its strategic location and traffic load.
    Źródło:
    Problemy Kolejnictwa; 2018, 179; 83-88
    0552-2145
    2544-9451
    Pojawia się w:
    Problemy Kolejnictwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem ryzyka w inwestycjach systemów SRK
    Problem of risk in investments of signaling systems
    Autorzy:
    Zabłocki, W.
    Kycko, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/249353.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ryzyko
    inwestycje kolejowe
    system srk
    risk
    railway investments
    railway traffic control systems
    Opis:
    W dobie dynamicznych zmian w obszarze kolejnictwa polskiego, charakteryzujących się wzrostem intensywności inwestycji na rynku kolejowym, istotne stają się zagadnienia ryzyka inwestycji. W publikacji zostały przedstawione wybrane problemy analizy ryzyka oraz metody identyfikacji zagrożeń dotyczących inwestycji począwszy od fazy projektowania a skończywszy na procesie wdrożenia. Jako podstawę rozważań przyjęto odniesienia do metody RAMS.
    In the era of dynamic changes within Polish railways that are characterized by an increase in investment in the railway market, a problem of the investment risk becomes very essential. Some problems of risk analysis and how to identify investment risks beginning from the design phase through to the implementation process were presented in the publication. The RAMS method has been accepted as a basis of considerations.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 175-181
    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ł:
    Koncepcja metody lokalizacji balis na liniach wyposażonych w system ETCS
    The concept of method for localizing balises on lines equipped with ETCS
    Autorzy:
    Ilczuk, P.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249262.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    przepustowość
    sterowanie
    system ETCS
    lokalizacja balis
    transponder
    rail traffic
    capacity lines
    control
    balise
    Opis:
    W publikacji przedstawiono problemy dotyczące lokalizacji balis na liniach wyposażonych w system ETCS. Przeprowadzono analizę literaturową oraz sformułowano problem zależności przepustowości linii od rozmieszczenia balis. Zaproponowano także metodę symulacyjnych badań komputerowych, które pozwolą określić optymalne rozmieszczania balis dla zadanej linii kolejowej.
    The paper presents some problems concerning the localizing balises on lines equipped with ETCS. An analysis of literature has been carried out and the problem of the dependency on the line capacity of balise location has been formulated. A method of computer simulation studies that will determine the optimum placement of balises for a given railway line has also been proposed.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2013, 3(102); 121-132
    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ł:
    Metodyka budowy komputerowych systemów srk
    Methodology of construction of computer systems for atc
    Autorzy:
    Maciejewski, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249222.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    system
    metoda
    sterowanie
    projektowanie
    modelowanie
    automat
    specyfikacja systemu
    opis formalny
    cykl V
    droga przebiegu
    rail traffic
    method
    control
    project
    modeling
    machine (automat)
    specification for the system
    formal description
    cycle V
    route of the Road
    Opis:
    W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
    The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2011, 96, z. 158; 289-305
    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-6 z 6

      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