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-15 z 16
Tytuł:
Obecne i przyszłościowe systemy sterowania ruchem kolejowym
Current and of the future railway control command systems
Autorzy:
Lewiński, A.
Powiązania:
https://bibliotekanauki.pl/articles/250697.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
sterowanie ruchem kolejowym
system sterowania
transport kolejowy
ruch kolejowy
rail traffic control
control system
rail transport
rail traffic
Opis:
Znaczącym krokiem w rozwoju urządzeń zabezpieczenia ruchu pociągów było zastosowanie urządzeń elektrycznych (przekaźnikowych), których konstruowanie i wdrażanie rozpoczęto już w latach 40. XX w. Poprzedzone ono było fazą wdrożenia urządzeń hybrydowych (mechaniczno-elektrycznych), tj. urządzeń suwakowych z sygnalizacją świetlną [1, 5]. Współczesne systemy sterowania ruchem kolejowym w transporcie są systemami komputerowymi, komunikującymi się za pomocą standardów kablowych i bezprzewodowych.
Źródło:
TTS Technika Transportu Szynowego; 2013, 2-3; 28-35
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie sieci otwartych opartych o standard LTE do transmisji danych pomiędzy urządzeniami stacjonarnymi sterowania ruchem kolejowym
The use of open networks based on LTE data transmission between devices fixed rail traffic control
Autorzy:
Chrzan, M.
Powiązania:
https://bibliotekanauki.pl/articles/253860.pdf
Data publikacji:
2015
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
sieć otwarta
LTE
transmisja danych
sterowanie ruchem
ruch kolejowy
network
data transmission
traffic control
rail traffic
Opis:
W artykule przedstawiono ogólną charakterystykę systemu LTE w aspekcie wykorzystanie tej technologii do transmisji telegramów kolejowych. Zawiera on rozważania na temat możliwości przejścia od technologii GSM-R do LTE. Wstępna analiza teoretyczna i weryfikacja terenowa potwierdzają możliwości migracji GSM-R do LTE.
Paper presents the general characteristics of LTE systems in terms of the use of this technology for the transmission of telegrams stations. It contains reflec-tions on the possibility of transition from GSM-R to LTE. Preliminary theoretical analysis and field verification confirmed the possibility of migration of GSM-R to LTE.
Źródło:
TTS Technika Transportu Szynowego; 2015, 12; 310-313, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safe implementation of automatic microprocessor systems of level crossing on the example of the SPA-4 system
Bezpieczna realizacja mikroprocesorowych systemów samoczynnej sygnalizacji przejazdowej na przykładzie systemu SPA-4
Autorzy:
Kornaszewski, M.
Łukasik, Z.
Powiązania:
https://bibliotekanauki.pl/articles/375109.pdf
Data publikacji:
2007
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
ruch kolejowy
sterowanie ruchem
sygnalizacja przejazdowa
sygnalizacja samoczynna
SPA-4
railway traffic
traffic control
level crossing
Opis:
Fulfilling high requirements of safety and reliability is an important question in devices of railway traffic control. Increased safety in computer systems is reached in the simplest way through redundancy of hardware and software, but also with other methods. A microprocessor system of automatic SPA-4 level crossing, manufactured by Bombardier Transportation Katowice (Poland), is a benchmark in the paper.
Istotnym zagadnieniem w urządzeniach sterowania ruchem kolejowym jest spełnianie wysokich wymagań bezpieczeństwa i niezawodności. Zwiększenie bezpieczeństwa w systemach komputerowych najprościej osiąga się przez redundancję urządzeń i oprogramowania, ale także innymi sposobami. W referacie punktem odniesienia jest mikroprocesorowy system samoczynnej sygnalizacji przejazdowej typu SPA-4, wyprodukowany przez Bombardier Transportation (ZWUS) Polska Sp. z o.o. Katowice.
Źródło:
Transport Problems; 2007, 2, 2; 69-74
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ASN.1 notation for exchange of data in computer-based railway control systems
Zastosowanie notacji ASN.1 w wymianie danych dla komputerowych systemów sterowania ruchem kolejowym
Autorzy:
Łukasik, Z.
Nowakowski, W.
Powiązania:
https://bibliotekanauki.pl/articles/375606.pdf
Data publikacji:
2009
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
ruch kolejowy
sterowanie ruchem
abstrakcyjna notacja składniowa
język ASN.1
traffic control
railway traffic
Abstract Syntax Notation
ASN.1language
Opis:
Development of railway control systems aims at computerization. In most cases these systems are Distributed Real Time Systems. However, a huge problem in their putting into practice is the lack of interface standardization in the range of data structures and information exchange methods. It results in a variety of solutions, and thus in problems concerning cooperation of systems that come from different software vendors. Specification of protocols for data exchanging applications should therefore be created with the use of generally accepted standards. One of them is ASN.1 (Abstract Syntax Notation One) language, which shall be presented in this article.
Rozwój systemów sterowania ruchem kolejowym zmierza w kierunku ich komputeryzacji. W większości przypadków systemy te można traktować jako rozproszone systemy czasu rzeczywistego (ang. Distributed Real Time Systems). Jednak dużym problemem w ich wdrażaniu jest brak standaryzacji interfejsów w zakresie struktur danych i metod wymieniany informacji. Prowadzi to do różnorodności stosowanych rozwiązań, a tym samym problemów ze współpracą systemów pochodzących od różnych producentów. Specyfikacje protokołów dla komunikujących się aplikacji należy, wiec tworzyć z zastosowaniem ogólnie przyjętych standardów. Jednym z nich jest, zaprezentowany w tym artykule język ASN.1 (ang. Abstract Syntax Notation One), czyli abstrakcyjna notacja składniowa.
Źródło:
Transport Problems; 2009, 4, 2; 111-116
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości stosowania wybranych modeli generatorów udarowych w analizie zagrożeń urządzeń sterowania ruchem kolejowym
Possibilities of applying chosen models of surge generators in analysis of threats of devices of control command with rail traffic
Autorzy:
Wróbel, Z.
Powiązania:
https://bibliotekanauki.pl/articles/252539.pdf
Data publikacji:
2010
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
sterowanie
ruch kolejowy
rail traffic
control
Opis:
Układy zasilania urządzeń sterowania ruchem kolejowym są narażone na występowanie zakłóceń wywoływanych bezpośrednimi wyładowaniami atmosferycznymi w linie zasilające lub powstających w wyniku oddziaływania szybkozmiennych, impulsowych pól elektromagnetycznych, zaburzeń o wartościach porównywalnych z sygnałami użytecznymi. Nieprzewidywalny charakter tych zaburzeń, poprzez zakłócenia w pracy urządzeń elektrycznych i ich zestawów, wywołuje określone szkody [1].
Źródło:
TTS Technika Transportu Szynowego; 2010, 7-8; 56-58
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Struktura systemu sterowania ruchem kolejowym w ujęciu funkcjonalnym
The structure of railway traffic control system in a functional approach
Autorzy:
Kornaszewski, Mieczysław
Powiązania:
https://bibliotekanauki.pl/articles/249613.pdf
Data publikacji:
2015
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
sterowanie
ruch kolejowy
SRK
control
rail traffic
Opis:
Podejście systemowe powinno uwzględnić podrzędne podzespoły składowe systemu istotne z punktu widzenia jego budowy. Hierarchiczność struktury systemu sterowania ruchem kolejowym uwzględnia różne poziomy konstrukcyjne. Zadania realizowane przez system srk określają ciąg relacji pomiędzy jego elementami funkcjonalnymi tworzącymi strukturę funkcjonalną systemu. Funkcjonowanie systemu sterowania ruchem kolejowym ma odpowiednie przełożenie na jego właściwości techniczne i ruchowe.
The system approach should consider the subcomponents of the system important from the point of view of its construction. Hierarchical structure of railway traffic control system takes into account different structural levels. Tasks performed by the railway traffic control system determine the sequence of the relationship between the functional elements that form a functional structure of the system. The functioning of railway traffic control system has a significant impact on its technical and movement properties.
Źródło:
TTS Technika Transportu Szynowego; 2015, 12; 1963-1966, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Resurs urządzeń sterowania ruchem kolejowym w organizacji procesu eksploatacji
Signaling devices resource in organization of exploitation process
Autorzy:
Moczarski, Jarosław
Powiązania:
https://bibliotekanauki.pl/articles/252166.pdf
Data publikacji:
2015
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
SRK
ruch kolejowy
sterowanie
resurs
rail traffic
control
Opis:
W eksploatacji systemów srk podstawowym wymaganiem użytkownika jest zapewnienie bezpieczeństwa oraz minimalizacja zakłóceń w ruchu pociągów. Z uwagi na wysoki koszt systemów istotne jest także niedopuszczenie do uszkodzeń lub zniszczeń poszczególnych urządzeń lub ich elementów. Obsługi techniczne urządzeń srk są realizowane zgodnie z uproszczoną strategią według resursu. Efektywność zarządzania procesem eksploatacji zależy od poprawności oceny rzeczywistego stanu technicznego urządzenia oraz wartości resursu. Niezbędna jest analiza parametrów jakości procesu eksploatacji oraz określenie wag resursów cząstkowych. Prawidłowo określony resurs urządzenia umożliwia wskazanie długości okresów między kolejnymi obsługami profilaktycznymi.
In exploitation of signaling systems the user's basic requirement is safety assurance and minimization of disturbances in trains movement. Because of high cost of systems important is to prevent damages or destructions of individual devices or their elements. Signaling devices maintenance is carried out in accordance with simplified strategy by resource. Effectiveness of the exploitation process management depends on the correct qualification of device real technical condition and value of its resource. It is necessary to analyze the parameters connected with quality of exploitation processes and determine the importance of fragmentary resources. Properly defined device resource lets us to indicate the length of periods between successive preventive maintenances.
Źródło:
TTS Technika Transportu Szynowego; 2015, 12; 2021-2024, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
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ł:
Wpływ technologii HIMA COTS na rozwój bezpiecznych systemów sterowania ruchem kolejowym
Impact of HIMA COTS technology on the development of safe railway traffic control systems
Autorzy:
Nowakowski, Waldemar
Powiązania:
https://bibliotekanauki.pl/articles/303998.pdf
Data publikacji:
2019
Wydawca:
Wydawnictwo Druk-Art
Tematy:
system sterowania
ruch kolejowy
bezpieczeństwo ruchu kolejowego
technologia COTS
control system
railway traffic safety
COTS technology
Opis:
Systemy sterowania ruchem kolejowym (srk) pełnią ważną rolę w zapewnieniu bezpiecznego przemieszczania się osób i przewozu ładunków. Dlatego też muszą spełniać wysokie wymagania dotyczące bezpieczeństwa, rozumianego jako brak niedopuszczalnego ryzyka. W automatyce kolejowej aktualnie przeważa stosowanie technologii dedykowanych, co wynika z konieczności zagwarantowania odpowiedniego poziomu bezpieczeństwa. Jednak coraz częściej można spotkać się z tendencją budowania systemów srk w oparciu o standardowe technologie określane mianem commercial off-the-shelf (COTS). Przykładem takiego podejścia może być wykorzystanie specjalizowanych elementów sterowania należących do rodziny produktów HIMA. Zakłada się, że sterowniki COTS, które są sprzedawane w dużych ilościach jako komponenty standardowe i stosowane w różnych sektorach przemysłu, będą również coraz częściej stosowane w systemach związanych z bezpieczeństwem, w tym również w systemach srk.
Railway traffic control systems play an important role in ensuring the safe movement of persons and goods. They must therefore meet high safety requirements, understood as the absence of unacceptable risks. In railway automation, the use of dedicated technologies prevails at present - that comes from the need to guarantee an adequate level of safety. However, more and more often one can observe a tendency to build railway traffic control systems based on standard technologies called “commercial off-the-shelf” (COTS). An example of such approach is the use of special control elements belonging to the HIMA product family. It is assumed that COTS controllers, which are sold in large quantities as standard components and used in various industrial sectors, will also be increasingly used in safety-related systems, including railway traffic control systems.
Źródło:
Napędy i Sterowanie; 2019, 21, 12; 58-64
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transmission system model in the track-vehicle relationship based on Long Term Evolution technology
Autorzy:
Chrzan, Marcin
Pirosz, Paweł
Paś, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/27311803.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
rail traffic
track vehicle
safety
telecommunications
transport
control
operation
ruch kolejowy
pojazd szynowy
bezpieczeństwo
telekomunikacja
kontrola
operacja
Opis:
Because of degradations of the wired infrastructure connecting the element of railroad control systems, and related primarily to their destruction, the use of the radio transmission medium for independent management of railroad traffic control devices is increasingly being considered. An undoubted problem in implying such solutions is the security of transmission in such systems. It should be noted that security at a certain level of transmission is currently already offered by the radio transmission systems themselves, which has also been used in the GSM-R standard. The creation of a separate dedicated system for railroads involves huge expenditures for the design, testing, certification and, finally, construction and implementation of such technology. Therefore, in the opinion of the author of this dissertation, it is possible to use public open radio networks for the needs of railroads, which significantly reduces costs, since such a system is based on existing infrastructure. It is necessary to develop a way of transmitting information that meets the requirements of secure transmission in the sense of railroad traffic control systems. The task is to develop a general model for open radio transmission in traffic control systems based on the latest public radio standard, which is LTE, 5G or Future Railway Mobile Communications System (FRMCS). The article will present the concept of data transmission in the track–vehicle relationship with the use of LTE (Long Term Evolution) technology. It will show the concept of transmission based on the PN EN50159:2011 standard and the results of the tests conducted during control trips on the railway route. The main element that will be subject to the research will include the transmission safety and its delay. The impact of a type of transmission encryption on its delay will be estimated with the assumed blocks of data sent during the transmission. A probability distribution and density functions of the transmission delay probability distribution with the message sizes in the range from 16B to 10 kB with four ways of the signal encoding according to the PN-EN50159:2011 standard will be also analysed.
Źródło:
Archives of Transport; 2023, 66, 2; 89--108
0866-9546
2300-8830
Pojawia się w:
Archives of Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczne sterowanie ruchem pociągów na liniach regionalnych
The safety control of regional railway lines
Autorzy:
Lewiński, A.
Ukleja, P.
Powiązania:
https://bibliotekanauki.pl/articles/310591.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
systemy sterowania ruchem kolejowym
ruch kolejowy
pojazdy szynowe
bezpieczeństwo ruchu
traffic safety
railway control systems
rail transport
Opis:
Praca dotyczy ważnego problemu jakim jest nowoczesne i efektywne sterowanie ruchem kolejowym na liniach regionalnych, gdzie ruch jest ograniczony do kilkunastu par pociągów na dobę. Linie te posiadają właściwą infrastrukturę (systemy sygnalizacji przejazdowej, zależnościowe, blokady liniowe), ale ze względu ekonomicznych potrzebna jest integracja takich systemów na poziomie Lokalnych Centrów Sterowania
The paper deals with very important problem of modern and efficient railway control for regional lines with traffic reduced to less than 20 pairs of trains per day. These lines are equipped with appropriate infrastructure (cross level systems, interlocking or line block control) but with regard to economic aspects all local systems must be integrated in one Local Control Centre.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2013, 14, 3; 1445-1450
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procesowe prezentowanie metod prowadzenia ruchu kolejowego
Process presentation of train operation methods
Autorzy:
Chyba, A.
Powiązania:
https://bibliotekanauki.pl/articles/950193.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
ruch kolejowy
posterunki ruchu
przyjmowanie i wyprawianie pociągów
schematy blokowe
railway traffic
operating control points
acceptance and routing trains
block diagrams
Opis:
Prowadzenie ruchu kolejowego wymaga wykonywania wielu operacji, które winny być celowe i tworzyć uporządkowany łańcuch działań. Mamy więc do czynienia z procesem. Tymczasem instrukcje służbowe dotyczące ruchu kolejowego koncentrują się na opisie poszczególnych operacji. Brakuje ukazania całego łańcucha wykonywanych operacji. W artykule, na przykładzie procesów przyjmowania i wyprawiania pociągów na posterunkach ruchu, zaproponowano ukazanie procedur ruchowych w postaci listy podstawowych operacji oraz w postaci schematów blokowych.
Train traffic routing demands execution of several operations, that should be intentional and arranged in a chain of activities. This way it could be treated as a process. Meanwhile, the official instructions referring to train traffic are focussing on description of particular action. There is lack of perceiving the chain of actions as a whole. Basing on the process of acceptance and routing trains at operating control points, the operating procedures have been shown as a list of basic actions and in form of block diagrams.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2012, 3(99); 83-90
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ł:
Europejski system sterowania ruchem kolejowym : analiza techniczno-ekonomiczna
European train control system (ETCS) : technical and economic analysis
Autorzy:
Kulińska, E.
Dendera-Gruszka, M.
Wojtynek, L.
Masłowski, D.
Szczurek, M.
Powiązania:
https://bibliotekanauki.pl/articles/311722.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
ruch kolejowy
analiza techniczno-ekonomiczna
Europejski System Sterowania Ruchem Kolejowym
ETCS
sterowanie ruchem kolejowym
ERTMS/ETCS
railway traffic
European Train Control System
technical and economic analysis
Opis:
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.
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.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1454-1459, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
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ł
Wyświetlanie 1-15 z 16

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