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ł:
Concept of separation method between aircraft in the transition period
Autorzy:
Żuchowska, Daria
Stelmach, Anna
Powiązania:
https://bibliotekanauki.pl/articles/38955842.pdf
Data publikacji:
2022
Wydawca:
Politechnika Warszawska, Wydział Transportu
Tematy:
Airborne Separation Assurance System
distributed air traffic control
new concepts of air traffic control
multi-agent systems
ruch lotniczy
sterowanie ruchem lotniczym
kontrola ruchu lotniczego
system wieloagentowy
Opis:
The current concept of air traffic control based on human work was created many years ago and is now approaching the limit of its performance. Therefore, new concepts for air traffic control are being sought. One of the ideas is to delegate the responsibility for ensuring separation between aircraft to aircraft crews. The issue of self-separation is quite a difficult task. Analysis of the literature concludes that the transition from one phase to another will occur in stages. This paper focuses on the transition period. The concept of a method of ensuring separation when changing traffic organization was proposed. A vital element of the separation method in the transition period is to define the negotiation and communication process between aircraft, which was presented in this paper.
Źródło:
WUT Journal of Transportation Engineering; 2022, 135; 5-16
1230-9265
Pojawia się w:
WUT Journal of Transportation Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling a negotiation process between aircraft using petri nets
Autorzy:
Żuchowska, Daria
Stelmach, Anna
Powiązania:
https://bibliotekanauki.pl/articles/27315982.pdf
Data publikacji:
2023
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
air traffic control
ICT systems
ASAS
Petri Nets
transportation systems
kontrola ruchu lotniczego
systemy ICT
sieci Petriego
systemy transportowe
Opis:
New air traffic control ideas are sought. Many studies point out the delegation of the responsibility for ensuring separation from air traffic controllers to the aircraft crews, but it should be assumed that the transition from centralized to decentralized air traffic control will occur in stages. It is, therefore, necessary to ensure effective communication between conflicting aircraft and to define the negotiation process between aircraft. The concept of the process of negotiation and communication between aircraft in conflict using a monotonic concession protocol is presented. The proposed solution was modeled using a Petri Net, which allowed us to analyze all the dependencies present in the system. The analysis allowed us to evaluate the method in the context of safety. The conducted research showed that, under the assumed conditions, the negotiation method allows obtaining the desired effect of negotiations while maintaining an adequate level of safety.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2023, 121; 267--285
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problem ryzyka w inwestycjach systemów SRK
Problem of risk in investments of signaling systems
Autorzy:
Zabłocki, W.
Kycko, M.
Powiązania:
https://bibliotekanauki.pl/articles/249353.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
ryzyko
inwestycje kolejowe
system srk
risk
railway investments
railway traffic control systems
Opis:
W dobie dynamicznych zmian w obszarze kolejnictwa polskiego, charakteryzujących się wzrostem intensywności inwestycji na rynku kolejowym, istotne stają się zagadnienia ryzyka inwestycji. W publikacji zostały przedstawione wybrane problemy analizy ryzyka oraz metody identyfikacji zagrożeń dotyczących inwestycji począwszy od fazy projektowania a skończywszy na procesie wdrożenia. Jako podstawę rozważań przyjęto odniesienia do metody RAMS.
In the era of dynamic changes within Polish railways that are characterized by an increase in investment in the railway market, a problem of the investment risk becomes very essential. Some problems of risk analysis and how to identify investment risks beginning from the design phase through to the implementation process were presented in the publication. The RAMS method has been accepted as a basis of considerations.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 175-181
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane zagadnienia formalizacji systemów srk
Question contradictions and special exclusions in technology railway traffic control
Autorzy:
Zabłocki, W.
Powiązania:
https://bibliotekanauki.pl/articles/248872.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
ruch kolejowy
systemy sterowania
komputer zależnościowy
droga przebiegu
sprzeczność dróg przebiegu
opis formalny
railway traffic
control systems
interlocking computer
route (drive path, overlap path and protective object)
Opis:
W publikacji przedstawiono wybrane zagadnienia opisu formalnego na przykładzie opisu funkcji sprzeczności. Zamieszczony przykład opisu formalnego został poprzedzony rozważaniami dotyczącymi opisów nieformalnych i półformalnych w ogólnym odniesieniu do procesu projektowania systemu srk i tworzenia dokumentacji systemu. Proces tworzenia poprawnych i pełnych opisów n-p-f staje się istotny z punktu widzenia warunków bezpieczeństwa. Opracowane dokumenty i formy opisu systemu srk stają się bazowymi dokumentami dowodu bezpieczeństwa. Metoda opisu formalnego sprzeczności dróg przebiegów odwołuje się do analizy właściwości obiektów uczestniczących w drogach przebiegów, tj. uwzględnia szczegółowo właściwości obiektów drogi jazdy, drogi ochronnej i obiektów ochronnych. Zaproponowany przykład metody formalizacji pozwala określić wystarczające warunki sprzeczności. Jednakże proponuje się zachować tablicę zależności z wykazanymi sprzecznościami dróg przebiegów jako podstawową formę klasycznego opisu półformalnego.
The publication presents selected issues of formal description on the example of the function description contradictions. Included example on formal description was preceded by considerations relating to informal and semi-formal descriptions in relation to the overall system design process ATC and system documentation. The process of creating the correct and complete, informal, semi-formal, formal descriptions becomes important from the point of view of safety requirements. Background documents and forms of SRK description of the system are treated as the base documents of proof of safety. The method of formal description of contradiction routes refers to the analysis of properties of objects involved in routes, taking into account the detailed properties of objects route (drive path, overlap path and protective object). The proposed formalization of such methods allows you to specify sufficient conditions of contradictions. However, it is proposed to keep the interlocking board according to the disclosed contradiction routes as the basic form of the classical semi-formal description.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2015, 3(107); 147-156
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk
Question contradictions and special exclusions in technology railway traffic control
Autorzy:
Zabłocki, W.
Powiązania:
https://bibliotekanauki.pl/articles/248698.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
ruch kolejowy
systemy sterowania
komputer zależnościowy
droga przebiegu
sprzeczność dróg przebiegu
wykluczenia specjalne dróg przebiegów
funkcje zależnościowe
railway traffic
control systems
interlocking computer
route (drive path, overlap path and protective object)
contradiction routes
special exclusion routes
interlocking function of ATC
Opis:
W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.
The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2014, 2(104); 399-406
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Passage Planning System in Ports: An overview
Autorzy:
Yip, T. L.
Powiązania:
https://bibliotekanauki.pl/articles/116807.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
Sea Ports
Passage Planning
Passage Planning System in Ports
Maritime Traffic
Traffic Control
Vessel Traffic Control
vessel traffic service (VTS)
Passage Planning System (PPS)
Opis:
A conceptual model is proposed to monitor marine traffic through precautionary areas, which can provide us with a systematic control of passage planning in ports. On one hand, vessel traffic control has its special features and is fundamentally different from highway, air and pedestrian traffic control. The existing traffic control systems cannot be simply extended to vessel traffic control without addressing marine traffic features. On the other hand, existing vessel traffic control focuses on one ship or two ships but does not address the flows of marine traffic.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 4; 483-487
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The optimal power control method in multiuser cellular networks
Autorzy:
Yaremko, O.
Stryhalyuk, B.
Maksymyuk, T.
Lavriv, O.
Kozhurov, D.
Powiązania:
https://bibliotekanauki.pl/articles/411155.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
WCDMA
MIMO
power control policy
signal-to-noise ratio
traffic localization
Opis:
In this paper a method of power control policies optimization in radiointerface of mobile network with code-division multiplexing is proposed. It allows reducing the interference level in downlink and uplink channels. The optimum SNR is provided in the cell based on this power control method. The SNR is enough to ensure capacity requirements and service quality parameters.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2013, 2, 1; 63-67
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
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ł:
SAT-based searching for k-quasi-optimal runs in weighted timed automata
Autorzy:
Woźna-Szcześniak, B.
Zbrzezny, A.
Powiązania:
https://bibliotekanauki.pl/articles/121744.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
SAT
timed automata
air traffic control problem
reachability problem
automat czasowy
problem kontroli ruchu lotniczego
problem osiągalności
Opis:
In the paper we are concerned with an optimal cost reachability problem for weighted timed automata, and we use a translation to SAT to solve the problem. In particular, we show how to find a run of length k ∈ IN that starts at the initial state and terminates at a state containing a target location, its total cost belongs to the interval [c,c+1), for some natural number c ∈ IN, and the cost of each other run of length k, which also leads from the initial state to a state containing the target location, is greater or equal to c. This kind of runs is called k-quasi-optimal. We exemplify the use of our solution to the mentioned problem by means of the air traffic control problem, and we provide some preliminary experimental results.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 163-176
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Badanie czasochłonności projektowania urządzeń sterowania ruchem kolejowym
Study on time-consumption of designing of railway traffic control devices
Autorzy:
Wontorski, P.
Kochan, A.
Więsek, A.
Powiązania:
https://bibliotekanauki.pl/articles/248885.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
automatyzacja
sterowanie ruchem kolejowym
projektowanie
czasochłonność
automation
rail traffic control
designing
time-consumption
Opis:
Artykuł stanowi podsumowanie badań czasochłonności projektowania urządzeń sterowania ruchem kolejowym w warunkach rzeczywistej pracy biura projektowego. Badania miały na celu wykazanie różnic między projektowaniem bez oraz z zastosowaniem automatyzacji. Ponadto przeprowadzono analizę czynników wpływających na proces projektowania, zidentyfikowano etapy wymagające poprawy efektywności, zbadano możliwości i racjonalne przesłanki za wprowadzeniem automatyzacji w poszczególne fazy projektowania. Wnioski przekonują do dalszego rozwoju automatyzacji, a następnie posłużą do ustalenia priorytetów we wdrażaniu właściwych metod i narzędzi. W wyniku analiz wprowadzono pojęcia wskaźnika efektywności automatyzacji oraz wskaźnika czasochłonności projektowania. Znajomość wartości wskaźników oraz umiejętne posługiwanie się nimi przyczynią się do usprawnienia zarządzania czasem i zasobami jednostki projektowej.
This paper was created as a summary of time-consumption research on the designing of railway traffic control devices under the real-world conditions of the design office. The research was aimed at demonstrating the difference between designing without and using automation. In addition, analysis of the factors influencing the design process has been identified, steps have been identified to improve efficiency, and opportunities and rationale for the introduction of automation into the design phases have been explored. Conclusions persuade further development of automation and will then serve to prioritize the implementation of appropriate methods and tools. As a result of the analyse, the concepts of the automation efficiency index and the design time ratio were introduced. Knowing the value of the indicators and skilful use of them will help to improve the time management and resources of the project unit.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2017, 2(113); 187-198
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ł:
Elektroniczny system obiegu dokumentacji projektowej urządzeń srk – wybrane zagadnienia
Electronic workflow system for documentation of railway traffic control devices – some issues
Autorzy:
Wontorski, P.
Kochan, A.
Powiązania:
https://bibliotekanauki.pl/articles/248586.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
system srk
dokumentacja
projektowanie
BIM
rail traffic control system
documentation
design
Opis:
W artykule przedstawiono koncepcję elektronicznego systemu obiegu dokumentacji projektowej na wszystkich etapach życia systemu sterowania ruchem kolejowym (srk), począwszy od projektowania, poprzez instalację aż po eksploatację. Efektem wdrożenia takiego systemu ma być redukcja ilości dokumentacji papierowej i przejście na cyfrowy standard zapis projektu (e-projekt, a następnie bim-projekt srk). Dostęp do projektu powinien podlegać pełnej kontroli, ze względu na jego zawartość i rolę w zapewnieniu bezpieczeństwa na kolei. W artykule przedstawiono typowy obieg dokumentacji oraz wynikającą z analizy tego obiegu koncepcję struktury sieci teleinformatycznej docelowego systemu, obejmującą serwery baz danych i terminale operatorskie. Opisano wymianę informacji między Zamawiającym a jednostką projektową. Przedstawiono postać i zasady zabezpieczenia danych tworzących bim-projekt srk. Poruszono kluczowe kwestie problemowe, takie jak ograniczenia formalno-prawne oraz rolę podpisu cyfrowego w zarządzaniu projektem.
The article presents the concept of an electronic system for the circulation of project documentation at all stages of the railway traffic control system (rtc), from design, through installation to operation. The effect of the implementation of such a system is to be displacement of paper documentation and the transition to the digital form of designs (e-design, and then bim-design srk). Access to the design should be subject to full control, due to its content and role in ensuring railway safety. The article presents a typical circulation of documentation and the resulting concept of the structure of the teleinformation network of the target system, including database servers and operator terminals. The information exchange between the Investor and the design office is described. The form and principles of securing data forming the bim-design srk are presented. Key issues, such as formal and legal restrictions and the role of digital signature in project management were discussed.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2018, 2(116); 143-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ł:
Projektowanie zdecentralizowanych struktur komputerowych systemów sterowania ruchem kolejowym
Designing of decentralised structures of computer systems for railway traffic control
Autorzy:
Wontorski, P.
Kochan, A.
Powiązania:
https://bibliotekanauki.pl/articles/248624.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
sterowanie ruchem kolejowym
decentralizacja
grafy
suboptymalizacja
rail traffic control
decentralization
graphs
sub-optimization
Opis:
W artykule przedstawiono koncepcję projektowania zdecentralizowanych struktur komputerowych systemów sterowania ruchem kolejowym (srk). W formułowaniu założeń posłużono się praktycznymi aspektami projektowania i instalacji urządzeń srk. Zaproponowano podejście oparte na agregacji urządzeń wewnętrznych srk do autonomicznych zespołów urządzeń wewnętrznych, jako szczególnego typu punktów rozdzielczych (węzłowych) struktury urządzeń i połączeń. Jest to podejście alternatywne do tradycyjnego, opartego na modelu z pełną centralizacją. Strukturę urządzeń i połączeń scharakteryzowano poprzez wybrane właściwości (liczba i rozmieszczenie węzłów, stopień centralizacji, topologia sieci), a następnie zdefiniowano za pomocą grafu, gdzie wierzchołki stanowią punkty rozdzielcze a krawędzie – połączenia. W rozważaniach wskazano trzy główne kierunki suboptymalizacji modelu: kosztowy, niezawodnościowy i dotyczący dostępności systemu.
The article presents the concept of designing decentralized computer structures of railway traffic control systems (rtc). While formulation of the assumptions, the practical aspects of the design and installation of srk devices have been used. The approach was based on the aggregation of internal devices rtc to autonomous units of internal devices as a special type of distribution points (nodes) of devices and connections. This is an alternative approach to traditional, model-based, full centralization. The structure of devices and connections was characterized by selected properties (number and distribution of nodes, degree of centralization, network topology), and then defined by graph, where vertices are the distribution points and the edges - connections. Three main directions of sub-optimization of the model have been pointed out: cost, reliability and availability of the system.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2017, 2(113); 173-185
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