Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Skorupski J.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modelowanie procesów ruchowych

Sortuj według:

Ogranicz wyniki do:

Modelowanie procedur startu i lądowania z wykorzystaniem sieci Petriego

Skorupski J.

Prace Naukowe Politechniki Warszawskiej. Transport

2013

z. 95

455--467

W artykule przedstawiono koncepcję modelowania ruchu lotniskowego przy wykorzystaniu kolorowanych, czasowych, stochastycznych sieci Petriego. Na przykładzie modelu lotniska z jedną drogą startową i jednoczesnymi operacjami startu i lądowania pokazano możliwości stosowania tych modeli w badaniach procesów ruchowych w transporcie. Model zastosowano do wyznaczania średniego czasu opóźnienia operacyjnego, przy przyjętych procedurach ruchowych, w zależności od wielkości obsługiwanego ruchu.

This paper presents the concept of airport traffic modelling using coloured, timed, stochastic Petri nets. By the example of the airport with one runway and simultaneous takeoff and landing operations, the applicability of such models in analysis of air traffic processes is shown. The model was used to determine the average delay in air traffic, depending on the volume of traffic, while operating under the assumed procedures.

Sieci Petriego jako narzędzie do modelowania procesów ruchowych w transporcie

Skorupski J.

Prace Naukowe Politechniki Warszawskiej. Transport

2011

z. 78

69-84

W artykule przedstawiono metodę modelowania procesów ruchowych w transporcie, pod kątem analizy poziomu bezpieczeństwa, wykorzystującą sieci Petriego. Pokazano sposób interpretacji zdarzeń i zjawisk ruchowych pozwalający na zastosowania odpowiedniego typu sieci, które zostały pokrótce omówione. Wskazano na te własności sieci Petriego, które w sposób szczególny pozwalają na analizę wybranych charakterystyk badanych systemów transportowych. Omówiono kwestię tworzenia grafu osiągalności oraz jego redukcji. Zaproponowane oryginalne metody redukcji grafu osiągalności pozwalają na znaczne zmniejszenie obszaru analizy bez utraty istotnych cech modelowanego systemu. Własność ta stanowi o efektywności metody i łatwości jej stosowania. Opracowanie dopełnia krótki przykład zastosowania metody.

In the paper a method of modeling traffic processes in transport is presented. Petri nets are used and modeling is carried out for safety analysis. The paper shows the way of interpretation of traffic events and phenomena, which allows use of the appropriate types of networks that were briefly discussed. The existence of properties of Petri nets, which specifically allow an analysis of selected characteristics of the transport systems, was indicated. The issue of creation of the reachability graph and its reduction was also discussed. The proposed, original method of reducing the reachability graph allows a significant reduction in the area of analysis without losing the essential characteristics of the modeled system. This feature makes for efficiency and ease of use of the method. The paper is completed with a brief example of the method application.