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 224
Tytuł:
Zastosowanie zapór sieciowych we współczesnych sieciach komputerowych
Application of Firewalls in Contemporary Computer Networks
Autorzy:
Chaładyniak, Dariusz
Niezgoda, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/91353.pdf
Data publikacji:
2019
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
zapora sieciowa
listy kontroli dostępu
filtrowanie ruchu sieciowego
bezpieczeństwo
firewall
access control lists
filtering network traffic
security
Opis:
Artykuł przedstawia podstawowe techniki filtrowania ruchu pakietów IP w sieciach teleinformatycznych realizowane przez zapory sieciowe. W części wstępnej omówiono mechanizmy filtrowania bezstanowego, stanowego i pełnostanowego. W części praktycznej przedstawiono komercyjną zaporę sieciową Cisco ASA oraz darmowe oprogramowanie PfSense, które wykorzystano w przykładowej konfiguracji.
The article presents the basic techniques of filtering the traffic of IP packets in IT networks performed by firewalls. The introductory part discusses the mechanisms of stateless, state and stateful filtering. The practical part shows the commercial firewall of Cisco ASA and the free PfSense software that was used in the example configuration.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2019, 13, 20; 7-28
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
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.
Powiązania:
https://bibliotekanauki.pl/articles/157358.pdf
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
Opis:
Wykorzystując rachunek macierzowy i teorię automatów, zaproponowano metodę formalnego zapisu funkcji zależnościowych realizowanych w systemach sterowania ruchem kolejowym (srk). Metoda ta stała się podstawą wspomaganej komputerowo specyfikacji tych funkcji w językach opisu sprzętu HDL. Zaproponowana metoda pozwala naintuicyjne przejście od formalnego opisu w postaci macierzy do grafów przejść automatów skończonych w edytorze FSM. Przytoczono wyniki weryfikacji w postaci przebiegów czasowych, na grafie przejść oraz na schemacie blokowym.
The paper presents a formal specification method of interlocking functions in railway traffic control systems. The method utilizes matrix calculus and the automata theory. After defining the set of automaton internal states (9), the transition matrixes (16) and transition priorities matrixes, describing the conditions checking order (17), were developed. The obtained general mathematical description of interlocking functions defines a method for determining control functions based on input data, so it can be assumed that the control algorithms for interlocking functions were defined. The developed method was then used as a basis for computer aided specification of these functions in hardware description languages (HDL). The intuitive transition from the matrix-based formal description to the finite-state machine graph in FSM editor (Fig. 1) is the advantage of the proposed method. Verification of the created interlocking functions can be performed on waveforms (Fig. 2), on the FSM graph (Fig. 3) and on the hierarchical block diagram (BDE) (Fig. 4). This specification and verification process was used to create all possible 39 interlocking functions for 10 object types of the railway interlocking system. The specification and verification results proved the correctness of the developed interlocking function execution algorithms. Obtaining the description of the functions in VHDL language is an additional advantage of the proposed method, which allows automatic synthesis, implementation and execution of these functions in FPGA devices.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 10, 10; 829-831
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie wnioskowania bayesowskiego w procesie diagnozowania systemów sterowania ruchem kolejowym
Application of bayesian inference in the process of diagnosing railway traffic control systems
Autorzy:
Nowakowski, Waldemar
Powiązania:
https://bibliotekanauki.pl/articles/248547.pdf
Data publikacji:
2019
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
systemy sterowania ruchem kolejowym
diagnostyka
wnioskowanie bayesowskie
railway traffic control systems
diagnostics
Bayesian inference
Opis:
Systemy sterowania ruchem kolejowym odgrywają istotne znaczenie w zapewnieniu bezpieczeństwa przemieszczania osób i przewozu ładunków. Bardzo duża ilość urządzeń i systemów sterowania ruchem kolejowym, a także fakt, że wykonane są one w różnej technologii powoduje istotne utrudnienie w zapewnieniu, przez zarządcę infrastruktury kolejowej, wymaganego poziomu niezawodności. Konieczne jest więc wspieranie procesu ich utrzymania z użyciem metod diagnostyki technicznej. Oprogramowanie diagnostyczne CUiD przeznaczone jest głównie dla rozwiązań technicznych konkretnych producentów systemów sterowania ruchem kolejowym. Dlatego też autor artykułu zaproponował uniwersalną metodę diagnostyczną wykorzystującą wnioskowanie bayesowskie. Bazując na tej metodzie oraz protokole SNMP opracowano oprogramowanie komputerowe, które następnie użyto do diagnozowania uszkodzeń systemu SSP.
Railway traffic control systems are essential to ensure the safety of passengers and freight transport. The very large number of controlling devices and systems, but also the fact that they are made in different technologies make it very difficult for the infrastructure manager to ensure the required level of reliability. Therefore, it is necessary to support the process of their maintenance with support of the application of technical diagnostic methods. The software M&DC is created mainly for technical solutions of specific manufacturers of railway traffic control systems. Therefore, the author of the article proposed a universal diagnostic method based on Bayesian inference. On the basis of this method and the SNMP protocol, computer software was developed, which is used to diagnose faults in the LCPS.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2019, 2(119); 159--168
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ł:
Zastosowanie wielopoziomowego modelu ruchu dla systemu TRISTAR
Application of multi-level traffic model for the TRISTAR system
Autorzy:
Jamroz, K.
Oskarbski, J.
Gumińska, L.
Kustra, W.
Powiązania:
https://bibliotekanauki.pl/articles/248218.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
sterowanie ruchem
modelowanie ruchu
narzędzia modelowania
model wielopoziomowy
traffic control
traffic modelling
modelling tools
multilevel model
Opis:
Warunki zmiennego popytu ruchu implikują konieczność pozyskiwania aktualnych informacji o funkcjonowaniu systemów transportu w celu umożliwienia optymalizacji procesów transportowych. Jednocześnie ze względu na dynamiczne zmiany zachodzące w strukturze systemów transportowych i zagospodarowaniu przestrzennym oraz znaczny koszt wykonywania badań ruchu i badań zachowań transportowych, wskazane jest stosowanie środków Inteligentnych Systemów Transportu w celu pozyskiwania danych, umożliwiających systematyczną aktualizację modeli systemów transportu, również w celach planistycznych. W artykule przedstawiono ideę budowy wielopoziomowego modelu ruchu z uwzględnieniem zastosowania środków Inteligentnych Systemów Transportu, które posłużą do zasilania modeli ruchu danymi pochodzącymi z systemów detekcji parametrów ruchu. Połączenie w jedną strukturę modelu wielopoziomowego z Systemem Planowania Ruchu, który jest realizowany w ramach systemu TRISTAR, pozwoli na wykorzystanie danych pochodzących z automatycznych pomiarów ruchu w sferze operacyjnej zarządzania transportem, jak również w analizach planistycznych. Ponadto w artykule skrótowo opisano szereg narzędzi (pakietów) do modelowania procesów transportowych. Ze względu na to, że poszczególne pakiety i programy opisane w niniejszym artykule posiadają funkcjonalności, które je wyróżniają i czynią użytecznymi dla różnych potrzeb, zasadne jest stosowanie szerokiego wachlarza oprogramowania, uzupełniającego sie i umożliwiającego wspomaganie procesu projektowania, planowania i zarządzania na różnych poziomach i płaszczyznach. Niezbędne jest również opracowywanie nowych aplikacji, modeli i narzędzi, które pozwolą na usprawnienie i rozszerzenie możliwości zastosowania oraz zakresu danych pozyskanych automatycznie.
Conditions of variable traffic demand imply the need to obtain updated information on the functioning of the transport system in order to allow the optimization of transport processes. At the same time due to dynamic changes in the structure of the transport systems and spatial development as well as the considerable cost of traffic and transport behaviour studies, it is advisable to use the Intelligent Transport Systems for data acquisition, allowing for regular updating of models of transport systems, including planning purposes. The idea of building a multi-level traffic model, taking into account the use of Intelligent Transport Systems, which would be used to power the traffic model with traffic parameters data from detection systems has been presented in the paper. The combination of a multi-level model and Transport Planning System, which is implemented under the TRISTAR, allows to the use of data from automatic measurements of traffic in the area of the transportation management operations, as well as planning analyses. In addition, it has been briefly described in the paper a number of tools (packages) for modelling of transport processes. Due to the fact that the various packages and programs described in this paper have features that stand out and make them useful for different purposes, it makes sense to use a wide range of software to complement and support the process of designing, planning and management at different levels and planes. It is also necessary to develop new applications, models and tools that will help to improve and extend the applicability and scope of the data obtained automatically.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2012, 1(97); 101-115
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ł:
Zastosowanie komputerowego symulatora przekaźnikowych urządzeń srk typu E dla potrzeb kształcenia dyżurnych ruchu i możliwości jego rozbudowy
Application of computer simulator for relay interlocking tools of train control system type E for teaching and professional training train dispatchers and some possibilities of its development
Autorzy:
Chyba, A.
Okrzesik, P.
Puchała, M.
Puławska, S.
Powiązania:
https://bibliotekanauki.pl/articles/248453.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
symulacja komputerowa
dokształcanie i doskonalenie zawodowe
systemy sterowania ruchem pociągów
kierowanie ruchem pociągów
stanowisko dyżurnego ruchu
computer simulation
additional and professional training
train control systems
train traffic management
train dispatcher
Opis:
Artykuł przedstawia możliwe zastosowania prezentowanego symulatora prowadzenia ruchu kolejowego i obsługi przekaźnikowych urządzeń stacyjnych typu E. Największy nacisk położono na zastosowanie programu do szkolenia i doskonalenia zawodowego dyżurnych ruchu, którzy muszą nabywać umiejętności obsługi urządzeń tego typu. Zaproponowano również możliwości rozbudowy programu w celu lepszego jego dopasowania do warunków szkolenia, a także wskazano inne obszary, w których wykorzystać można symulator lub jego elementy.
There are shown in the paper some possibilities of application of presented computer simulator for relay interlocking tools of train control system type E. The advantages in teaching and professional training of train dispatchers, who have to improve themselves skills at serving tools of such type have been emphasised. The possibilities of program development in order to its better adaptation to training conditions have been presented. In addition, the other areas, where the simulator could be applied, have been mentioned.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2012, 3(99); 91-101
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ł:
Zastosowanie języka VHDL do badania złożonych sieci zestykowych
Application of VHDL language to research complex contact networks
Autorzy:
Kawalec, P.
Kotliński, D.
Powiązania:
https://bibliotekanauki.pl/articles/156250.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie ruchem kolejowym
modelowanie
układy przekaźnikowe
język VHDL
railway traffic control
modelling
relay systems
VHDL language
Opis:
W artykule przedstawiono zagadnienia zastosowania języka opisu sprzętu VHDL do analizy obwodów przekaźnikowych stosowanych w sterowaniu ruchem kolejowym. Przedstawiona metoda modelowania sieci zestykowych pozwala na analizę hazardu statycznego i dynamicznego występujących w rzeczywistych obwodach przekaźnikowych. Po zamodelowaniu poszczególnych elementów tworzony jest model całej sieci zestykowej blokady samoczynnej, który następnie jest badany z wykorzystaniem symulatorów logicznych.
The article presents issues concerning the application of hardware description language VHDL to the analysis of relay systems used in railway traffic control. The modelling of contact networks method presented allows for the analysis of static and dynamic hazard which appears in real relay systems. After modelling particular elements, the model of the whole contact network of automatic interlocking is created, which is then tested with the use of logical simulators.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 529-531
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zasadność lokalizacji przystanków za skrzyżowaniami z sygnalizacją świetlną nadającą priorytet pojazdom transportu zbiorowego
Validity of tram stop location in vicinity of intersections with traffic lights and public transport priority
Autorzy:
Aleksandrowicz, J.
Piwowarczyk, M.
Powiązania:
https://bibliotekanauki.pl/articles/315723.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
transport zbiorowy
lokalizacja przystanków tramwajowych
skrzyżowanie z sygnalizacją świetlną
sterowanie ruchem tramwajowym
public transport
location tram
intersection with traffic lights
motion control tram
Opis:
Artykuł porusza tematykę lokalizacji przystanków tramwajowych w obrębie skrzyżowań z sygnalizacją świetlną umożliwiającą priorytetowy przejazd tramwajom. W pracy przedstawiono przykłady lokalizacji przystanków tramwajowych na wlotach i wylotach skrzyżowań. Na podstawie dotychczasowej wiedzy i własnych pomiarów przedstawiono wady i zalety każdego sposobu lokalizacji przystanków. Następnie przeanalizowano na przykładzie skrzyżowań w krakowskiej sieci tramwajowej, wyposażonych w priorytet dla tramwajów w sygnalizacji świetlnej, wpływ lokalizacji przystanków za skrzyżowaniami na ruch tramwajów oraz zasadność budowy tego typu przystanków.
This article brings up subject of tram stops in vicinity of intersections with traffic lights and priority for tram traffic. Several examples for tram stops located both on near and far sides of intersection and, based on previous knowledge and own survey, pros and cons of both location methods are presented. Following, taking Krakow tram traffic network as a model for analysis, impact of tram stop location on tram traffic flow was measured to reach a conclusion about validity of both methods.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 12; 532-536
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
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ł
Tytuł:
Wytyczne projektowania torów tramwajowych a obecnie używany tabor tramwajowy
Tram tracks design codes and contemporary trams
Autorzy:
Rychlewski, J.
Firlik, B.
Straszewski, W.
Powiązania:
https://bibliotekanauki.pl/articles/383534.pdf
Data publikacji:
2017
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
trasy tramwajowe
wytyczne projektowania
trasa w planie i w profilu
sterowanie ruchem tramwajowym
tram lines
design codes
tram track in horizontal and vertical plane
tram traffic control
Opis:
Projektowanie tras tramwajowych w polskich miastach odbywa się na podstawie starych aktów prawnych, a nieliczne nowe zapisy w innych aktach prawnych nie uwzględniają wystarczająco specyfiki ruchu tramwajowego. Zmiany są potrzebne gdyż od czasu napisania szczegółowych wytycznych nastąpiła zdecydowana wymiana taboru tramwajowego, zmieniły się uwarunkowania społeczne i urbanistyczne. Tramwaje muszą być konkurencyjne wobec ruchu samochodowego, a jednocześnie spełniać zwiększone wymogi ekologiczne. Obecne nieaktualne przepisy prowadzą w najlepszym razie do podejmowania nieoptymalnych decyzji, w skrajnych zaś przypadkach były jedną z przyczyn wypadków tramwajowych. Konieczne jest więc opracowanie nowych szczegółowych wytycznych i systemowa weryfikacja aktów prawnych pod kątem uwzględniania specyfiki tras tramwajowych.
Design of tram tracks in Polish cities is based on old regulations, with some new codes failing to include a specific character of tram traffic. New regulations are necessary, because from the time the old regulations were written, the rolling stock has changed significantly. Social, urban and environmental requirements have also changed, and the tram is now required to be competitive to car traffic. Using old codes in this new situation results at best in choosing non-optimal solutions, at worst causing tram crashes. There is therefore a need for writing new detailed rules for designing tram tracks and for a verification of the legal system how it includes the specific character of tram traffic.
Źródło:
Archiwum Instytutu Inżynierii Lądowej; 2017, 25; 335-355
1897-4007
Pojawia się w:
Archiwum Instytutu Inżynierii Lądowej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wymagania formalno-prawne dotyczące badania interfejsów w systemach sterowania ruchem kolejowym
Formal and Legal Requirements of Interfaces Testing in Railway Traffic Control Systems
Autorzy:
Kochan, A.
Konopiński, L.
Ilczuk, P.
Karolak, J.
Powiązania:
https://bibliotekanauki.pl/articles/214889.pdf
Data publikacji:
2015
Wydawca:
Instytut Kolejnictwa
Tematy:
interfejs
system srk
system ETCS
interface
railway traffic control system
ETCS
Opis:
Wprowadzanie w Polsce systemu ETCS poziomu pierwszego powoduje, że jego elementy są łączone z istniejącymi urządzeniami sterowania ruchem kolejowym. Powstające przy tym, a dotąd nie występujące interfejsy i powiązania, wymagają opracowania metod ich badania. Takie metody powinny umożliwić ocenę, czy wprowadzone w istniejących urządzeniach zmiany nie wpłyną w istotny sposób na ich funkcjonowanie, a w szczególności, że nie wpłyną negatywnie na bezpieczeństwo zapewniane przez te urządzenia. Zmiany w prawie dotyczącym dopuszczania do eksploatacji urządzeń, podsystemów i systemów kolejowych jednocześnie wprowadzają konieczność badania interfejsów, przy czym niejednoznaczne pozostają terminy interfejs i powiązanie. W artykule przedstawiono różne podejścia do definiowania pojęcia interfejsu i zaproponowano definicję interfejsu i powiązania. Przedstawiono wybrane typy interfejsów i zagadnienia formalno-prawne określone w przepisach na temat projektowania i badania interfejsów. Dokonano przeglądu dokumentów regulujących kwestie interfejsów. Analiza zebranych dokumentów wskazuje potrzebę doprecyzowania pojęcia interfejsu oraz określenia zasad przydzielania uprawnień jednostek do badania określonych rodzajów interfejsów i powiązań elementów systemów wykorzystujących te interfejsy.
Implementation of the first level of the ETCS in Poland makes that its elements are being connected with existing railway traffic control devices. Created and completely new interfaces and connections created by this, need development of methods for examination. Such methods should make possible assessment whether changes made in existing devices do not disturb their proper work and especially they do not change a safety achieved by utilization of those devices. At the same time changes made in acts and regulations on placing into service railway devices, subsystems and systems introduce the necessity of interfaces examination, with ambiguous terms: an interface and a connection. In this article different approaches of defining the interface term are presented and definitions of the interface and the connection are proposed. Selected types of interfaces are described and formal and legal issues included in acts and documents for interfaces designing and examination are explained. Review of documents specifying interfaces issues was made. An analysis of gathered documents indicates the necessity of clarification of the definition of the interface as well as specification of rules of allocation of the authorization for examination of specific interfaces and connections of system elements using these elements.
Źródło:
Problemy Kolejnictwa; 2015, 168; 21-26
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
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ł:
Wykorzystanie nowoczesnych technologii do kontroli usług przewozowych na przykładzie Zarządu Komunikacji Miejskiej w Gdyni
The use of modern technologies to control transport services on the example of the Public Transport Authority in Gdynia
Autorzy:
Helbin, Maciej
Wyszomirski, Olgierd
Powiązania:
https://bibliotekanauki.pl/articles/952788.pdf
Data publikacji:
2019
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
transport miejski
usługa przewozowa
kontrola przewozów
system zarządzania ruchem
urban transport
transport control
transport service
traffic management system
Opis:
Rozwijająca się technologia wkracza we wszystkie obszary ludzkiej działalności. Jednym z tych obszarów jest transport miejski. Pojazdy obsługujące duże miasta i aglomeracje coraz częściej wyposażone są w komputery pokładowe, czujniki GPS, systemy zliczania pasażerów czy też systemy nadzoru ruchu. Umożliwia to znacznie efektywniejszą organizację i zarządzanie usługami transportu miejskiego, w tym jego kontrolę. Kontrola jest jednym z najistotniejszych zadań realizowanych przez organizatora transportu. Wraz z rozwojem technologii zadanie to zaczęto realizować przy użyciu nowoczesnych systemów nadzoru ruchu. Systemy te, poza spełnianiem swojej dyspozytorskiej funkcji bieżącego zarządzania ruchem, zbierają także kompleksowe dane dotyczące wykonania rozkładu jazdy. Posiadanie całego lub prawie całego zbioru danych zapewnia dużo większą swobodę jego eksplorowania, umożliwia analizowanie danych z różnych perspektyw czy też bliższe przyjrzenie się pewnym ich przekrojom. Wykorzystanie języków programowania pozwala natomiast na doprowadzenie ich do pożądanej postaci oraz zdefiniowanie reguł badających zawinione przez operatorów odstępstwa od realizacji rozkładu jazdy zgodnie z wymaganymi standardami. W opracowaniu zaprezentowano możliwości wykorzystania tego rodzaju danych do kontroli realizacji przewozów na przykładzie inteligentnego systemu zarządzania ruchem TRISTAR wykorzystywanego przez Zarząd Komunikacji Miejskiej w Gdyni.
Developing technology is entering all areas of human activity. One of these areas is urban transport. Vehicles serving large cities and agglomerations are increasingly equipped with on-board computers, GPS sensors, passenger counting systems and traffic control systems. This enables much more efficient organization and management of urban transport services, including its control. Control is one of the most important tasks carried out by the transport organizer. With the development of technology, this task began to be implemented using modern traffic control systems. Apart from fulfilling their dispatcher's function of day-to-day traffic management, these systems also collect comprehensive data on the performance of the timetable. Having a whole or almost entire set of data provides much greater freedom of exploring it, it allows analyzing data from different perspectives or a closer look at some of their cross-sections. The use of programming languages, on the other hand, allows us to bring them to the desired form and define rules for examining operators' departures from the timetable. The article presents possibilities of using this type of data to control the services of transport on the example of the intelligent traffic management system TRISTAR used by the Public Transport Authority in Gdynia.
Źródło:
Transport Miejski i Regionalny; 2019, 3; 3-8
1732-5153
Pojawia się w:
Transport Miejski i Regionalny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie generatorów pseudolosowych w samotestowaniu urządzeń sterowania ruchem drogowym
The use of pseudo-random number generators in self-testing of road traffic control devices
Autorzy:
Firląg, K.
Powiązania:
https://bibliotekanauki.pl/articles/250501.pdf
Data publikacji:
2015
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
generator pseudolosowy
sterowanie ruchem
ruch drogowy
pseudorandom generator
traffic control
traffic
Opis:
Realizacja sterowników ruchu drogowego w formie urządzeń specjalizowanych z wykorzystaniem układów programowalnych wymaga stosowania nowoczesnych metod testowania tych urządzeń. W artykule do testowania sterowników zaproponowano wbudowane samotestowanie oraz odpowiednią architekturę BIST. Po przedstawieniu metod generacji sekwencji testowych i analizy odpowiedzi testowanego układu, przeanalizowano metody generowania pseudolosowych sekwencji testujących. Przedstawiono zastosowanie rejestrów LFSR oraz automatów komórkowych CA do generacji sekwencji pseudolosowych. W pracy przeanalizowano zastosowanie rejestrów LFSR zarówno w budowie generatorów testów TPG jak i analizatorów odpowiedzi testowanego układu ORA, do generacji sygnatury testowanego układu. Proponowana architektura BIST została zaimplementowana w specjalizowanym sterowniku ruchu drogowego. Przeanalizowano wpływ struktury BIST na parametry sterownika.
Realization of road traffic controllers in the form of specialized devices with the use of programmable circuits requires application of modern testing methods of these devices. The author of the present paper proposes a built-in self-test (BIST) and a proper BIST architecture for controller testing. After presenting the methods of test sequence generation and the analysis of the tested circuit responses, the methods of pseudo-random test sequences have been analyzed. The application of linear-feedback shift registers (LFSR) and cellular automata (CA) for pseudo-random sequence generation has been presented. The paper analyzes the application of LFSR registers both in the construction of test pattern generators (TPG) as well as in output response analyzers (ORA) of the tested circuit for generation of the tested circuit signature. The proposed BIST architecture has been implemented in a specialized road traffic controller. The influence has been analyzed of the BIST structure on the parameters of controller operation.
Źródło:
TTS Technika Transportu Szynowego; 2015, 12; 520-525, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie czujników indukcyjnych w układach lokalizacji pojazdów szynowych
Application of inductive sensors in rail vehicles localization
Autorzy:
Kornaszewski, M.
Nowak, A.
Powiązania:
https://bibliotekanauki.pl/articles/251268.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
czujnik indukcyjny
pojazd szynowy
układy lokalizacji
sterowanie ruchem kolejowym
inductive sensor
rail vehicle
location systems
control railway traffic
Opis:
W artykule przedstawiono charakterystykę techniczną czujników indukcyjnych, ze szczególnym naciskiem na ich zastosowanie w układach sterowania ruchem kolejowym. Bezpieczeństwo ruchu pociągów jest uzależnione od poprawności identyfikacji miejsca przebywania pociągu. Uwzględniono klasyfikację czujników indukcyjnych wg różnych kryteriów, zasadę działania oraz możliwości wynikające z ich zastosowania.
The paper presents technical characteristic of inductive sensors with particular emphasis on railway traffic control. The safety train is dependent on correct identification of train on the track. The paper is also concerned with classification of inductive sensors, their principle of operation and their potential applications.
Źródło:
TTS Technika Transportu Szynowego; 2016, 12; 439-441
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
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ł
Wyświetlanie 1-15 z 224

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