Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 79

Liczba wyników na stronie
first rewind previous Strona / 4 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  railway traffic
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 4 next fast forward last
1
Content available remote Pomiary torów w ciągłym ruchu
PL
W artykule przedstawiono wyniki analizy ryzyka strat powodowanych wyładowaniami atmosferycznymi dla obiektu wyposażonego w cyfrowe urządzenia SRK. Wskazano na konieczność przeprowadzenia analizy ryzyka. Obliczenia wykonano za pomocą własnego arkusza kalkulacyjnego, adaptując procedurę zarządzania ryzykiem według PN-EN 62305-2:2012 do obiektu kolejowego. Przeanalizowano ryzyko strat piorunowych oraz różne sposoby obniżenia tego ryzyka za pomocą środków ochrony w postaci ograniczników przepięć i ekranowania okablowania miedzianego oraz poprzez zastosowanie okablowania światłowodowego. Rozwiązania ochrony przed skutkami wyładowań piorunowych dla rozważanych przypadków linü miedzianych i światłowodowych można uznać za równoważne pod względem funkcjonalnym. O wyborze okablowania światłowodowego powinny zadecydować inne jego istotne zalety oraz rachunek ekonomiczny.
EN
Presented are results of risk analysis of losses caused by atmospheric discharges for a facility equipped with SRK digital devices. Indicated is the necessity to carry out the risk analysis. Calculations were conducted with the help of the authors' own spreadsheet adapting the risk management procedure according to PN-EN 62305-2:2012 for railway facilities. Analysed is the risk of lightning losses together with various methods to lower this risk with the use of protection measures in form of surge arresters and copper cabling shielding as well as through application of fiber optic cabling. Solutions of lightning discharge protection applied for the considered cases of copper and fibre optic cabling can be regarded as functionally equivalent. Decision to choose fibre optic cabling should be taken on the basis of its other significant advantages and economic calculations.
EN
The article presents a new approach to building a passenger rail traffic generation model. It uses data on the number of passengers at stations and railway stops obtained from the databases of operators on the rail transport market through the Office of Rail Transport - market regulator - combined with data on the model of the area around the station built based on population, number of beds, individual motorization and gross domestic product (GDP). This enabled analyzing the potential of railway traffic generation at a very detailed level. The article presents a methodology for building a passenger rail traffic generation model and verification of this model based on limited variables describing railway stations and stops as well as traffic zones and available statistical data. The model takes into account three segments of the railway market: regional, interregional and inter-agglomeration transport. The results of these analyzes can be used to increase the accuracy and the reliability of rail traffic models used in the analysis of transport networks.
PL
W artykule przedstawiono nowe podejście do budowy modelu generacji pasażerskiego ruchu kolejowego. Przedstawiono propozycję metodyki budowy modelu generacji pasażerskiego ruchu kolejowego oraz weryfikacji tego modelu w oparciu o ograniczone zmienne opisujące stacje i przystanki kolejowe oraz rejony komunikacyjne i dostępne dane statystyczne. Wykorzystano w nim dane o liczbie pasażerów na stacjach i przystankach kolejowych w połączeniu z danymi opisującymi model obszaru wokół stacji budowany w oparciu o liczbę ludności, liczbę miejsc noclegowych, motoryzację indywidualną i produkt krajowy brutto (PKB). Wykorzystanie tych danych umożliwiło przeprowadzenie analizy potencjału generacji ruchu kolejowego na dużym poziomie szczegółowości. W metodzie uwzględniono trzy segmenty rynku kolejowego: przewozy regionalne, międzyregionalne i międzyaglomeracyjne.
EN
This article discusses the reason for the suspension of railway traffic on the Jelenia Góra - Karpacz route. The possibility of reactivating the transport on this route was indicated. Based on the equation of the train movement, calculations of the theoretical travel were carried out, as a result of which the technical and total travel time were determined. A rational interval of train runs was determined and a timetable was proposed, taking into account relations going beyond Jelenia Góra. The article justifies the need to introduce supplementary connection operated by electric buses. The concept of reactivating traffic in this area should be supplemented with the construction of a P + R car park. The possibility of further development of the transport system in the discussed area was also proposed.
PL
Dążenie do podnoszenia bezpieczeństwa jest priorytetem wszystkich podmiotów kolejowych. Ruch kolejowy generuje wiele zagrożeń, których unikanie spoczywa przede wszystkim na maszyniście. Istnieje szereg projektów polskich i międzynarodowych, których celem jest minimalizacja niepożądanych sytuacji mogących prowadzić do wypadku czy incydentu na torach. W artykule zostały omówione zagrożenia występujące w ruchu kolejowym oraz sposoby ich mitygacji. Przedstawiono również założenia i cele jednego z takich projektów pod nazwą „Maszynista 5.0”.
EN
Striving to increase safety is a priority all railway stakeholders. Railway traffic generates many hazards and avoidance them rests first of all on the Train Driver. There are many projects, polish and international, which have important aim: minimalization of the undesirable situations, that can lead to accident on the tracks. In the article have been discussed hazards in the railway traffic and ways to reduce tchem. Also assumptions and goals one of the projects „Train Driver 5.0” were presented.
PL
W artykule przedstawiono podstawowe informacje dotyczące pracowni laboratoryjnej wyposażonej w symulator prowadzenia ruchu kolejowego i działania urządzeń srk, zaprojektowanej i uruchomionej na Wydziale Inżynierii Lądowej Politechniki Krakowskiej. Przedstawiono funkcjonalność symulatora oraz możliwości szkoleń prowadzonych z jego wykorzystaniem. Omówiono dwa przykładowe scenariusze szkoleń. Wskazano możliwości wykorzystania symulatora nie tylko w procesie dydaktycznym, lecz również dla potrzeb podmiotów szeroko rozumianego rynku kolejowego.
EN
The article presents basic information about the laboratory laboratory equipped with the simulator of railway traffic management and operation of srk devices, designed and launched at the Faculty of Civil Engineering of the Cracow University of Technology. The functionality of the simulator and the possibilities of training conducted with its use are presented. Two examples of training scenarios are discussed. The possibilities of using the simulator were indicated not only in the didactic process, but also for the needs of entities in the broadly understood railway market.
EN
Movement of trains on the railway network, due to the need to conduct them in a smooth, safe and stable manner, must be properly structured. This arrangement is defined as the organization of railway traffic. One of the significant problems associated with the organization of traffic is the construction of the timetable. Timetable should be constructed in such a way as to avoid blockages mainly before operating control points. It can not be allowed to occur that the train will wait for the preceding train to release the platform edge. During building the mathematical models supporting the construction of the timetable should therefore take into account this problem. The article presents selected elements of the mathematical model of timetable construction of the passenger trains, taking into account the problem of the perimeter edges allocation. The formal record of the model, the input data necessary for its operation and the sought values were presented. Boundary conditions and indicators for the quality of the solution have been discussed. An example of model works on real data.
PL
W systemie transportowym kraju, przewozy towarów koleją spełniają ważne funkcje przewozowe, zwłaszcza w odniesieniu do przesyłek masowych. Zaspokajają w ten sposób potrzeby rynkowe. Wynika to zarówno z wielkości, jak i z ilościowo-jakościowej struktury potrzeb przewozowych gospodarki rynkowej. Po roku 2000 zostały sukcesywnie zlikwidowane szkoły kształcące przyszłe kadry dla potrzeb przedsiębiorstw kolejowych. Z rynku zniknęły więc Zasadnicze Szkoły Kolejowe oraz Technika Kolejowe, których absolwenci mogliby zasilić szeregi pracowników podzielonego przedsiębiorstwa PKP (np. PKP Polskie Linie Kolejowe SA., PKP CARGO SA., PKP INTERCITY SA. itp.) i nowo powstałych na zliberalizowanym rynku przewozów kolejowych przedsiębiorstw związanych z transportem kolejowym. Wynikiem powyższego jest sukcesywny ubytek wykwalifikowanych pracowników kadr kolejowych. Powstała tzw. „luka pokoleniowa" będąca efektem naturalnego odejścia z pracy pracowników, którzy nabyli uprawnienia emerytalne, przy jednoczesnym braku napływu młodej kadry głównie do wykonywania pracy na stanowiskach wykonawczych. W ostatnich latach reaktywuje się w szkolnictwie klasy o profilu kolejowym, w których kształci się przyszłe kadry przystosowane do pracy na kolei, jednak jest to wciąż zbyt mało na potrzeby zatrudnieniowe w branży kolejowej. W niniejszej pracy skoncentrowano się na problemie związanym z odejściem i redukcją kadry pracowniczej zatrudnionej na stanowiskach rewidenta taboru kolejowego, ustawiacza i manewrowego w PKP CARGO SA. na przykładzie Zakładu zlokalizowanego w Polsce Centralnej. Są to kluczowe stanowiska z punktu widzenia realizacji zadań przewozowych w tej Spółce, których praca ma bezpośredni wpływ na bezpieczeństwo ruchu kolejowego. W pracy wykorzystano studia literaturowe oraz obserwacje jako metody badawcze. Celem niniejszego opracowania było wykazanie wpływu odejścia pracowników zatrudnionych na wybranych stanowiskach (ustawiacz, manewrowy, rewident taboru) na bezpieczeństwo ruchu kolejowego w zakładzie.
9
Content available remote Nowe systemy w zarządzaniu ruchem kolejowym w Polsce
PL
Wdrażanie nowych rozwiązań informatycznych oraz techniki mikroprocesorowej, mikrokomputerów i sterowników programowalnych PLC do zarządzania ruchem pociągów przyczyniło się do powstania nowych systemów sterowania ruchem kolejowym, które zapewniają wysoką niezawodność, mały pobór mocy, stabilność pracy i bezpieczeństwo przemieszczania się pociągów. Również bardzo ważną kwestią dla zarządów kolejowych państw europejskich jest ujednolicenie systemów transportowych kolejowych, a w szczególności unifikacja systemów sygnalizacyjnych i sterowania ruchem kolejowym. Dobrym rozwiązaniem jest jak najszybsze wdrożenie Europejskiego Systemu Zarządzania Ruchem Kolejowym (ERTMS), który łączy w sobie system bezpiecznego prowadzenia pociągów ETCS i system cyfrowej łączności komórkowej GSM R przeznaczonej dla kolejnictwa.
EN
The new computer’s solutions and microprocessor technology, microcomputers and the programmable controllers (PLC) for management of train traffic, which are implemented, contribute to the creation of modern rail traffic control systems. These systems provide high reliability, low power consumption, stability and safety of the trains’ movement. One of the most important things for the boards of railway European countries is unification the systems of rail transport, in particular unification the signaling systems and control of the rail traffic. A good solution is as soon as possible implementation the European Rail Traffic Management System (ERTMS), which connect the system of safe operation of trains ETCS and the digital Global System for Mobile Communications - Railways GSM-R.
10
Content available remote Koncepcja zewnętrznego stanowiska badawczego inżynierii ruchu kolejowego
PL
Niniejszy artykuł stanowi syntezę zagadnień dotyczących stworzenia stanowiska badawczego inżynierii ruchu kolejowego na potrzeby Wydziału Transportu Politechniki Warszawskiej. Obejmuje on skrót wybranych dotychczasowych przemyśleń związanych z zagadnieniami sformułowanymi na drodze jego projektowania. W pierwszej części omówiono skąd wynika zapotrzebowanie na opracowanie takiego stanowiska oraz przedstawiono proponowane warianty konfiguracji i ograniczenia wpływające na jego budowę. W dalszej części ukazano metody, za pomocą których zostanie dobrana jego końcowa postać, oraz wymieniono, jakie prace należy jeszcze wykonać, aby doprowadzić do realizacji całego przedsięwzięcia.
EN
This article is a synthesis of the issues related to the creation of a railway engineering research station for the Faculty of Transport of the Warsaw University of Technology. It includes a short summary of the previous reflections on the selected issues formulated by its design. The first part discusses the need for such a stand, and outlines the proposed configuration variants and constraints affecting its construction. The following sections show the methods by which the final form will be chosen and what work needs to be done to achieve the whole project.
PL
W artykule przedstawiono wyniki badań warunków pracy w centrach sterowania ruchem kolejowym na przykładzie 10 wybranych pomieszczeń. Badaniami objęto ergonomię środowiska pracy oraz czynniki, które mogą wpłynąć na ryzyko popełnienia przez pracownika błędu, hałas, drgania mechaniczne i oświetlenie. Warunki pracy poddano ocenie w oparciu o aktualne przepisy i normy dotyczące środowiska pracy. Wykazała ona, ze zarówno hałas na stanowiskach pracy, jak i akustyka pomieszczeń, poza pojedynczymi przypadkami, spełniają wymagania określone w odpowiednich normach. W przypadku wpływu drgań mechanicznych na ludzi znajdujących się w budynkach centrów, wykazała przekroczenia wartości dopuszczalnych we wszystkich badanych nastawniach. Ocena oświetlenia elektrycznego ujawniła, ze najczęstszym problemem było występowanie odbić dekontrastujących na pulpitach nastawczych. W zakresie oceny ergonomicznej na stanowiskach z wieloma monitorami stwierdzono zbyt wysokie ustawienie monitorów komputerowych. Stwierdzono również brak komfortu pozycji pracy wynikający z braku miejsca na nogi ze względu na konstrukcje biurek ograniczające miejsce na nogi (m.in. zbyt grube blaty stołów) oraz brak regulacji podłokietników krzeseł, które ograniczają możliwość przysunięcia krzesła do stołu.
EN
This article presents a study of the working conditions in 10 rooms in railway control centers. The study focused on factors that can increase the risk of an employee committing an error: noise, mechanical vibration, lighting, and workstation ergonomics. Working conditions were evaluated on the basis of current national legislation and International standards. An analysis of the results showed that both noise at workstations and room acoustics generally met the requirements of the relevant regulations, but permissible values for the impact of mechanical vibration on people in buildings were exceeded in all investigated rooms. An assessment of electrical lighting showed that reflections on control desks were the most common problem. An ergonomics assessment showed that at multi-monitor stations, monitors were positioned too high. Moreover, tables tops were too thick, hence legroom was limited, and armrests could not be adjusted, so chairs could not be pulled dose to tables.
PL
Na przykładzie spółki Polregio Gdynia omówiono system szkolenia w zakresie bezpieczeństwa ruchu kolejowego wdrożonego dla nowoprzyjętych pracowników. Zwrócono uwagę na profile nowoprzyjętych kandydatów na stanowisko konduktor/kierownik pociągu,omówiono podstawowe zagadnienia uzwględniane w procesie szkolenia, niezbędne do wykonywania powierzonych zadań jak również przeanalizowano metody weryfikacji wiedzy i umiejętności nabytych podczas przygotowania zawodowego.
EN
Training system of railway traffic safety of newly employed workers on the example of Polregio Gdynia Ltd. is presented in the thesis. The attention has been paid on the profiles of newly employed candidates on the position of train guards/managers, the basic questions necessary in the process of training that are essential to approach given tasks as well as methods of knowledge and skills acquired during occupational preparation verifications are analysed.
PL
W artykule przedstawiono analizę techniczną systemu ERTMS/ETCS, jako zunifikowanego systemu sterowania, wdrażanego na liniach kolejowych w Polsce. Przedstawiona perspektywa rozwoju systemu, jego architektura i zastosowanie w obecnych realiach rozwoju rynku kolejowego, ukazuje możliwości płynące z interoperacyjności linii kolejowych różnych zarządów. Omówiono istotę European Train Control System (ETCS) poziomu 1, 2 i 3. Dokonano krótkiej charakterystyki wdrożenia systemu w Polsce z uwzględnieniem kosztów budowy i utrzymania.
EN
The article presents the technical analysis of the ERTMS/ETCS system as a unified control system, implemented on railway lines in Poland. The presented perspective of system development, its architecture and its application in the present developments of the railway market, shows the possibilities of the interoperability of railway lines of various boards. The essence of the European Train Control System (ETCS) was discussed at Levels 1, 2 and 3. A brief description of the system implementation in Poland was made, taking into account the construction and maintenance costs.
PL
Systemy sterowania ruchem kolejowym (srk) działają często w trudnych warunkach, a ich podstawowym zadaniem jest zapewnienie bezpiecznego i sprawnego ruchu pojazdów kolejowych. W związku z tym istotne jest pozyskiwanie informacji eksploatacyjnych o urządzeniach srk na podstawie różnych badań eksploatacyjnych, w tym również z wykorzystaniem metod symulacji komputerowych. Tworzenie modeli symulujących działanie rzeczywistych systemów transportowych jest współcześnie głównym motywem rozwoju badań dynamicznych (m.in. dotyczących procesu eksploatacji) prowadzonych z systemami transportu kolejowego. Analiza niezawodnościowa modelu systemu sterowania ruchem kolejowym stanowi jedną z alternatywnych dróg podnoszenia niezawodności systemu. Konieczne staje się prognozowanie niezawodności podzespołów systemu srk, które może mieć istotny wpływ na kształtowanie procesu eksploatacyjnego tego systemu, przy znajomości charakterystyk niezawodnościowych zastosowanych podzespołów oraz uwzględnieniu wpływu otoczenia i innych czynników wymuszających. Otrzymane wyniki pozwalają na przeprowadzenie analiz ilościowych i częstotliwościowych obiektów w modelu systemu srk.
EN
The railway traffic control systems often work in different exploitation conditions and their purpose is to ensure safe and efficient movement of rail vehicles and the implementation of complex transport tasks. Therefore, it is essential to obtain exploitation information about railway traffic control devices based on the research of exploitation using simulation model. Creating models to simulate functioning of real transport systems is currently the main motive for the development of dynamic research (among others exploitation process) of systems existing in rail transport. Analysis of model reliability of railway traffic control system is one of the alternative ways to improve reliability of this system. It becomes necessary to predict reliability of railway traffic control system components, which may have a significant influence on the process of exploitation this system, the knowledge of the characteristics of used components reliability and taking into account the impact of the environment and other forcing factors. The results obtained from research of simulation allow to perform detailed analysis of quantitative and frequency of the different types of objects featured in the railway traffic control system model.
PL
W artykule przedstawiono koncepcje i rozwiązania związane z zastosowaniem standardów transmisji bezprzewodowej w systemach zarządzania i sterowania ruchem kolejowym. Przedstawione koncepcje znalazły swoje odzwierciedlenie w pracach naukowo-badawczych, których wyniki potwierdzają możliwość stosowania takich rozwiązań do przesyłu danych. Zaproponowany w pracy aparat matematyczny w postaci procesów Markowa pozwolił na ocenę systemów przez pryzmat parametrów niezawodnościowych.
EN
In the paper authors presented conceptions and solutions related with application of wireless radio transmission in railway control and management systems. Presented conceptions are reflected in the work of scientific-research, whose results confirm the possibility of using such solutions for data transmission. The proposed in the paper mathematical apparatus in the form of Markov processes allowed for assessment systems through the prism of reliability parameters.
16
Content available remote Kształtowanie i ocena zdolności przewozowej systemu Kolei Dużych Prędkości
PL
Uruchomienie w Polsce w grudniu 2014 roku przewozów składami ED250 z prędkością 200 km/h stanowi ważny krok w procesie tworzenia sieci połączeń Kolejami Dużych Prędkości. Historia rozwoju takich systemów w Europie i na świecie potwierdza ich charakterystyczną cechę, jaką jest saturacja poszczególnych linii osiągających maksymalne zdolności przepustowe, a w konsekwencji także przewozowe. W artykule rozpatrzono podstawowe elementy decydujące o zdolności przepustowej Linii Dużych Prędkości oraz całego systemu KDP. Zebrane doświadczenia światowe wykorzystano do autorskiej próby ich zastosowania w warunkach polskich w odniesieniu do Centralnej Magistrali kolejowej.
EN
Launching in Poland in December 2014 of ED250 (EMU Pendolino) railway connections at a speed of 200 km/h represents an important step in the process of creating a network of Polish High Speed Railways. The history of development of such systems in Europe and the world confirms their characteristic, which is the saturation of numerous lines reaching the maximum capacities. In the paper examines the basic elements determining the capacity of High Speed Lines and the entire HSR system. The gathered world experience was used for proposed by the author application in Polish conditions on the Central Trunk Line (CMK).
17
Content available remote Extensible language for data description in diagnostic of traffic control systems
EN
Modern railway traffic control systems commonly use Information Technology (IT) in order to perform processing and logging diagnostics data in diagnostic centres. The lack of standards for diagnostic data structures and the lack of common mechanisms of acquiring data causes, that the producers of systems use their own solutions in this domain. Thus, in spite of using modern technologies, there is a great difficulty in obtaining consistent diagnostic data and makes its further analysis difficult. In the article the using of the specialised XML-based markup language was proposed. This language can be used to unify structures of diagnostic data obtained from the different railway traffic control systems. The unification of diagnostic data structures would allow not only for building interfaces between railway traffic control systems and diagnostic centres, but also for developing the unified diagnostic system.
PL
Współczesne systemy sterowania ruchem kolejowym powszechnie wykorzystują technologie informacyjne IT (ang. Information Technology) w celu wykonywania diagnostyki i rejestracji zdarzeń, na potrzeby centrów diagnostycznych. Brak standardów dla formatów danych diagnostycznych oraz mechanizmów ich zbierania powoduje, że producenci systemów stosują w tym zakresie własne rozwiązania. Tak więc, mimo wykorzystywania nowoczesnych technologii, istnieje duża trudność w pozyskiwaniu spójnych danych diagnostycznych, co utrudnia ich późniejszą analizę. W artykule zaproponowano wykorzystanie bazującego na standardzie XML (ang. eXtensible Markup Language) specjalizowanego języka znaczników, który może posłużyć do unifikacji sposobu reprezentowania danych diagnostycznych pochodzących z różnych systemów sterowania ruchem kolejowym. Ujednolicenie struktur danych diagnostycznych pozwoliłoby nie tylko na zbudowanie interfejsów pomiędzy systemami srk a centrami diagnostycznymi, ale również na opracowanie jednolitego systemu diagnostycznego.
18
Content available remote Definition of data exchange standard for railway applications
EN
Railway similar to the other branches of economy commonly uses information technologies in its business. This includes, inter alia, issues such as railway traffic management, rolling stock management, stacking timetables, information for passengers, booking and selling tickets. Variety aspects of railway operations as well as a large number of companies operating in the railway market causes that currently we use a lot of independent systems that often should work together. The lack of standards for data structures and protocols causes the need to design and maintain multiple interfaces. This approach is inefficient, time consuming and expensive. Therefore, the initiative to develop an open standard for the exchange of data for railway application was established. This new standard was named railML. The railML is based on Extensible Markup Language (XML) and uses XML Schema to define a new data exchange format and structures for data interoperability of railway applications. In this paper the current state of railML specification and the trend of development were discussed.
PL
Kolej podobnie jak inne działy gospodarki Unii Europejskiej powszechnie wykorzystuje w swojej działalności technologie informatyczne. Dotyczy to między innymi takich zagadnień jak zarządzanie ruchem kolejowym, zarządzanie taborem, układanie rozkładów jazdy, informacja pasażerska, sprzedaż biletów. Różnorodność aspektów działalności kolejowej, a także duża liczba firm działających na rynku kolejowym powoduje, że mamy aktualnie wiele systemów informatycznych. Bardzo często wymagana jest współpraca tych systemów. Przy braku standaryzacji struktur danych i protokołów wymusza to konieczność tworzenia i konserwowania licznych interfejsów. Takie podejście jest nieefektywne, czasochłonne i kosztowne. Dlatego też powstała inicjatywa opracowania otwartego standardu wymiany danych dla aplikacji kolejowych nazwana railML. W tym celu, jako baza został wykorzystany język XML, w którym za pomocą XML Schema zdefiniowano nowy język opisu struktur danych aplikacji kolejowych. W artykule omówiono aktualny stan tej specyfikacji oraz tendencje rozwojowe.
19
Content available remote Analiza właściwości funkcjonalno-diagnostycznych urządzeń srk
PL
Artykuł przedstawia zagadnienie kontroli funkcjonowania urządzeń srk. Zaprezentowano ogólną strukturę urządzeń srk. Wykonano analizę funkcjonowania systemu podczas realizacji zadania i określono możliwe stany zdatności funkcjonalnej urządzeń. Zaprezentowano model kontroli funkcjonowania systemu podczas jego użytkowania i dodatkowych testów funkcjonalnych. Wyniki tych prac będą podstawą opracowania modelu funkcjonalno-diagnostycznego urządzeń srk niezbędnego do generowania testów i określania stanu urządzeń sterowania ruchem kolejowym.
EN
The article presents the issue of functional control of railway traffic control devices. Was described a general structure of railway traffic control devices. Analysis of system functioning during performance of a task was made and was defined the possible fitness functional states of devices. Model of functional control of the system during exploitation and additional functional tests has been made. The results of this work will be the basis of a functional and diagnostic model necessary to generate the test and determining the state of railway traffic control devices.
20
Content available Wybrane zagadnienia formalizacji systemów srk
PL
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.
EN
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.
first rewind previous Strona / 4 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.