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ę "Petri Nets" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 90
Tytuł:
A framework for additional server activation
Autorzy:
Savić, G.
Makajić-Nikolić, D.
Vujošević, M.
Powiązania:
https://bibliotekanauki.pl/articles/409328.pdf
Data publikacji:
2012
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
queue
Additional server
Activation rule
Petri nets
data envelopment analysis
Opis:
This paper assesses the performance of the queuing system with several fixed and additional multitask servers. The additional server serves customers in the case of necessity to avoid congestion and decrease the number of impatient customers. An additional server will be activated whenever the length of queue becomes greater than or equal to user defined size i.e. threshold value. Also, this server will be switched off when the length of queue falls below user defined size, but ongoing service has to be finished.The main issue is to decide when and how long the additional server would work with customers. This paper proposes a methodology to choose the best activation rule for the work of an additional server, based on the performance evaluation of queuing system. The Petri nets (PN) simulation is used to calculate the performance measures. Relative efficiency evaluation of different activation rules is carried out by data envelopment analysis (DEA). The methodology is applied on real-life data collected from a postal office.
Źródło:
Research in Logistics & Production; 2012, 2, 4; 387-397
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A net presentation of Lithuanian sentences containing verbal forms with the grammatical suffix -dav-
Autorzy:
Roszko, Danuta
Roszko, Roman
Powiązania:
https://bibliotekanauki.pl/articles/677153.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
Petri nets
the aspect and tense
the Lithuanian language
verbal forms with the suffix -dav- (the so-called iterative past tense)
Opis:
A net presentation of Lithuanian sentences containing verbal forms with the grammatical suffix -dav-In the article the authors make an attempt to present the meaning of Lithuanian sentences containing verbal forms with the grammatical suffix -dav- (the so-called iterative past tense forms) by means of Petri nets. The authors gradually develop the net to such complexity that it makes it possible to avoid interpretative similarities to other Lithuanian verbal forms.
Źródło:
Cognitive Studies; 2014, 14
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Novel Continuous Model to Approximate Time Petri Nets: Modelling and Analysis
Autorzy:
Gu, T.
Dong, R.
Powiązania:
https://bibliotekanauki.pl/articles/908478.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
sieć Petriego
system hybrydowy
system dyskretny
continuous Petri nets
hybrid systems
discrete event systems
Opis:
In order to approximate discrete-event systems in which there exist considerable states and events, David and Alla define a continuous Petri net (CPN). So far, CPNs have been a useful tool not only for approximating discrete-event systems but also for modelling continuous processes. Due to different ways of calculating instantaneous firing speeds of transitions, various continuous Petri net models, such as the CCPN (constant speed CPN), VCPN (variable speed CPN) and the ACPN (asymptotic CPN), have been proposed, where the continuous flow is specified uniquely by maximal firing speeds. However, in applications such as chemical processes there exist situations where the continuous flow must be above some minimal speed or in the range of minimal and maximal speeds. In this paper, from the point of view of approximating a time Petri net, the CPN is augmented with maximal and minimal firing speeds, and a novel continuous model, i.e., the Interval speed CPN (ICPN) is defined. The enabling and firing semantics of transitions of the ICPN are discussed, and the facilitating of continuous transitions is classified into three levels: 0-level, 1-level and 2-level. Some policies to resolve the conflicts and algorithms to undertake the behavioural analysis for the ICPN are developed. In addition, a chemical process example is presented.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2005, 15, 1; 141-150
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A timed Petri net framework to find optimal IRIS schedules
Autorzy:
Werner, M.
Powiązania:
https://bibliotekanauki.pl/articles/970869.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
IRIS
increasing reward with increasing service
scheduling
timed Petri nets
critical path
real time
Opis:
IRIS (increasing reward with increasing service) realtime scheduling appears frequently in real-time control applications such as heuristic control. IRIS requires not only meeting deadlines, but also finding the schedule with the best result (highest reward). In this paper, a framework is presented that uses Timed Petri nets (TPN) to transform an IRIS problem into a dynamic programming (DP) problem, allowing the application of known TPN and DP techniques. In the presented approach, an IRIS problem with tasks having discrete-time optimal parts is transformed into a (possibly unbounded) TPN. Then, the critical path problem of the TPN state graph can be tackled with DP. This approach allows for the IRIS problem multiple constraints and negative rewards.
Źródło:
Control and Cybernetics; 2006, 35, 3; 703-719
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
About Certain Semantic Annotation in Parallel Corpora
Autorzy:
Koseska-Toszewa, Violetta
Powiązania:
https://bibliotekanauki.pl/articles/677255.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
direct approach to semantics
semantic annotation
perfective aspect
inperfective aspect
event
state
Petri nets
parallel corpora
contrastive linguistics
Opis:
About Certain Semantic Annotation in Parallel CorporaThe semantic notation analyzed in this works is contained in the second stream of semantic theories presented here – in the direct approach semantics. We used this stream in our work on the Bulgarian-Polish Contrastive Grammar. Our semantic notation distinguishes quantificational meanings of names and predicates, and indicates aspectual and temporal meanings of verbs. It relies on logical scope-based quantification and on the contemporary theory of processes, known as “Petri nets”. Thanks to it, we can distinguish precisely between a language form and its contents, e.g. a perfective verb form has two meanings: an event or a sequence of events and states, finally ended with an event. An imperfective verb form also has two meanings: a state or a sequence of states and events, finally ended with a state. In turn, names are quantified universally or existentially when they are “undefined”, and uniquely (using the iota operator) when they are “defined”. A fact worth emphasizing is the possibility of quantifying not only names, but also the predicate, and then quantification concerns time and aspect.  This is a novum in elaborating sentence-level semantics in parallel corpora. For this reason, our semantic notation is manual. We are hoping that it will raise the interest of computer scientists working on automatic methods for processing the given natural languages. Semantic annotation defined like in this work will facilitate contrastive studies of natural languages, and this in turn will verify the results of those studies, and will certainly facilitate human and machine translations.
Źródło:
Cognitive Studies; 2013, 13
2392-2397
Pojawia się w:
Cognitive Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza cyklicznych sieci Petriego przy pomocy dekompozycji blokowej
Analysis of Cyclic Petri Nets by Means of Block Decomposition
Autorzy:
Karatkiewicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/152902.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
dekompozycja
eksploracja stanów
Petri nets
decomposition
state exploration
Opis:
Artykuł przedstawia metodę analizy żywotności i bezpieczeństwa sieci Petriego, na których znakowanie początkowe i strukturę nałożone są pewne ograniczenia, typowe dla sieci cyklicznych, modelujących algorytmy sterowania. Metoda jest wzorowana na metodzie analizy operacyjnych sieci Petriego i jest jej zaadaptowaniem do innej klasy sieci. Przedstawiona metoda polega na dekompozycji sieci i konstruowaniu przestrzeni osiągalności bloków, w kolejności wyznaczonej strukturą sieci. W artykule przytoczono wyniki eksperymentów, opisujące stopień redukcji przestrzeni stanów.
The paper presents a methods of deciding of liveness and safeness of Petri nets with certain restrictions imposed on their structure and initial marking, which are typical for cyclic nets, modeling the control algorithms. The method is based on the method of analysis of operational Petri nets, and it is an adaptation of this method to another class of nets. The method decomposes the net and explores state spaces of its blocks in an order depending on the net structure. The experimental results are presented, demonstrating reduction of state space.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 69-71
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza systemu transportowego z wykorzystaniem sieci Petriego
Analysis of transportation system with the use of Petri nets
Autorzy:
Kowalski, M.
Magott, J.
Nowakowski, T.
Werbińska-Wojciechowska, S.
Powiązania:
https://bibliotekanauki.pl/articles/300966.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
system wsparcia logistycznego
system transportowy
sieci Petriego
proces symulacji
logistic support system
transportation system
procurement process
Petri nets
simulation process
Opis:
W pracy poruszono problem analizy funkcjonowania systemu transportu miejskiego. Badanie niezawodności tego typu złożonych systemów powinno dodatkowo uwzględnić szereg zagadnień. Jednym z nich jest zawodność elementów wsparcia logistycznego, zdefiniowana jako możliwość pojawienia się braku elementów wymiennych w zapasie, w chwili i miejscu gdy wystąpi na nie zapotrzebowanie. Taka sytuacja może doprowadzić do pogorszenia się charakterystyk eksploatacyjnych systemu wspieranego. Dlatego też oba systemy, wspierany i wspierający, powinny być wspólnie modelowane. Jednakże, uwzględnienie wszystkich parametrów strukturalnych systemów (np. rezerwowanie, zdolność operacyjna systemu obsługi) oraz zmiennych losowych (np. poziom zapasów części wymiennych, parametry polityki obsługiwania, rezerwa czasowa) w jednym modelu jest zadaniem trudnym z matematycznego punktu widzenia. Dlatego też, w artykule zastosowano model sieci Petriego oraz procesy symulacji Monte Carlo. Ponadto, w artykule przedstawiono porównanie wyników teoretycznych oraz uzyskanych z procesu funkcjonowania rzeczywistego systemu komunikacji miejskiej.
The paper considers problem of city transportation system performance. Reliability analysis of such a complex system is complicated by several factors. One of them is the possibility of logistic support elements unreliability defined as unavailability of spare elements when desired, what in result may lead to decrease of performance of the system being supported. Thus, both systems must be considered in a single model. However, the simultaneous setting of all structural parameters (e.g. redundancy, repair shop capacity) and control variables (e.g. spare part inventory levels, maintenance policy parameters, time resource) is mathematically a hard problem. This paper investigates Petri net model of the system with the use of Monte Carlo simulation as a solution technique. Comparison of the simulation results with characteristics of real-life system is given.
Źródło:
Eksploatacja i Niezawodność; 2011, 1; 48-62
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of transportation system with the use of Petri nets
Autorzy:
Kowalski, M.
Magott, J.
Nowakowski, T.
Werbińska-Wojciechowska, S.
Powiązania:
https://bibliotekanauki.pl/articles/2069666.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
logistic support system
transportation system
procurement process
Petri nets
simulation process
Opis:
The paper considers problem of city transportation system performance. Reliability analysis of such a complex system is complicated by several factors. One of them is the possibility of logistic support elements unreliability defined as unavailability of spare elements when desired, what in result may lead to decrease of performance of the system being supported. Thus, both systems must be considered in a single model. However, the simultaneous setting of all structural parameters (e.g. redundancy, repair shop capacity) and control variables (e.g. spare part inventory levels, maintenance policy parameters, time resource) is mathematically a hard problem. This paper investigates Petri net model of the system with the use of Monte Carlo simulation as a solution technique. Comparison of the simulation results with characteristics of real-life system is given.
Źródło:
Journal of Polish Safety and Reliability Association; 2009, 2; 265--276
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of agent cooperation by means of DES supervision to manufacturing system
Autorzy:
Čapkovič, F.
Powiązania:
https://bibliotekanauki.pl/articles/229948.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
agents
control
cooperation
discrete event systems
continuous systems
hybrid Petri nets
supervisor
synthesis
Opis:
The supervision of complex manufacturing systems is handled in this paper. Production lines of manufacturing systems are understood here to be hybrid agents. Such an agent expresses continuous material flow together with a set of imperative discrete operations. In other words, the hybrid agent makes a cooperation of continuous and discrete event devices possible. The results are applied to complex continuous manufacturing system. First Order Hybrid Petri Nets (FOHPN) are utilized in order to model the elementary autonomous hybrid agents. The cooperation of hybrid agents is based on the DES (discrete-event systems) control theory. It is realized by means of DES supervision methods and the agent negotiation is based on place/transition Petri nets (P/T PN). The proposed approach is illustrated in details on the cooperation of hybrid production lines in the real complex manufacturing systems recycling waste plastics into plastic bags. The usefulness and applicability of the approach consists especially in the fact that the procedures in analytical terms can be employed. In such a way the approach turns lucid also in complicated cases.
Źródło:
Archives of Control Sciences; 2011, 21, 4; 395-417
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of the possibility of using Bayesian nets and Petri nets in the process of selecting additive manufacturing technology in a manufacturing company
Autorzy:
Topczak, Marcin
Śliwa, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/1837799.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
additive manufacturing
Bayesian network
Petri nets
process modelling
produkcja dodatkowa
Sieć bayesowska
Sieci Petriego
modelowanie procesów
Opis:
The changes caused by Industry 4.0 determine the decisions taken by manufacturing companies. Their activities are aimed at adapting processes and products to dynamic market requirements. Additive manufacturing technologies (AM) are the answer to the needs of enterprises. The implementation of AM technology brings many benefits, although for most 3D printing techniques it is also relatively expensive. Therefore, the implementation process should be preceded by an appropriate analysis, in order, finally, to assess the solution. This article presents the concept of using the Bayesian network when planning the implementation of AM technology. The use of the presented model allows the level of the success of the implementation of selected AM technology, to be estimated under given environmental conditions.
Źródło:
Applied Computer Science; 2021, 17, 1; 5-16
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automation of the smart house system-level design
Automatyzacja systemowego poziomu projektowania inteligentnego domu
Autorzy:
Teslyuk, V.
Beregovskyi, V.
Pukach, A.
Powiązania:
https://bibliotekanauki.pl/articles/408452.pdf
Data publikacji:
2013
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
smart house
automation
design
system
colored Petri nets
inteligentny dom
automatyzacja
projektowanie
kolorowe sieci Petri
Opis:
In the article the smart house (SH) structural scheme, the general performance algorithm of the SH system, and the SH system model based on colored Petri nets, which enables exploring dynamics of the whole system as well as internal interaction of its main structural and functional subsystems at the system level design, have been developed.
W artykule przedstawiono opracowanie schematu strukturalnego inteligentnego domu (ID), ogólny algorytm pracy systemu ID, a także model systemu ID na podstawie kolorowej sieci Petri, co pozwala badać dynamikę zachowania zarówno całego systemu ID, jak i wewnętrznego współdziałania jej głównych podsystemów.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2013, 4; 81-84
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatyczny system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów
CAD system for automatic decomposition of discrete systems based on hypergraphs
Autorzy:
Wiśniewska, M.
Powiązania:
https://bibliotekanauki.pl/articles/156956.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
graf
hipergraf
dekompozycja systemów dyskretnych
autorski system wspomagający proces dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów (system Hippo)
graph
hypergraph
decomposition of discrete system
CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
Opis:
W artykule zaprezentowany został autorski system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów. Narzędzie Hippo składa się ze zbioru bibliotek, realizujących najważniejsze operacje z zakresu teorii grafów i hipergrafów (m. in. kolorowanie, pokrycie, dopełnienie, dualizm, itd.), które zostały zrealizowane pod kątem ich zastosowania w dekompozycji systemów dyskretnych. Głównym zadaniem systemu jest usprawnienie oraz automatyzacja procesu dekompozycji systemów dyskretnych stosowanych m.in. w projektowaniu zaawansowanych układów cyfrowych (redukcja rozmiaru pamięci, selekcja klas kompatybilności, minimalizacja funkcji logicznych, dekompozycja automatów cyfrowych). Opracowany system Hippo umożliwia przeprowadzenie automatycznego procesu dekompozycji z zastosowaniem różnych algorytmów (zarówno grafowych, jak i hipergrafowych), w efekcie pozwalając wybrać użytkownikowi najkorzystniejsze rozwiązanie.
In the paper a dedicated CAD system Hippo for automatic decomposition of discrete systems is presented. The tool consists of a set of libraries. Each library was designed as a separate module to solve the particular problem from the field of the graph and hypergraph theories (among others: vertex coloring, vertex covering, transversal computation, dualism, computation of the graph and hypergraph complement). The main task of the system is to improve the process of decomposition of discrete systems (for example: reduction of the microinstruction length, selection of the compatibility classes, decomposition of concurrent automata). The Hippo system consists of eight main modules:- complement -calculation of graph/hypergraph complement;- coloring - five methods of coloring of graph and hypergraph (four greedy and one backtracking);- transversal - four methods of transversals computation (fast reduction algorithm, greedy, backtracking, mixed fast reduction and greedy);- exact transversals - the calculation of the exact transversals is based on the Knuth DLX algorithm, the main advantage of such a solution is polynomial computational time in case of exact hypergraphs;- dualism (only for hypergraphs) - calculates the dual hypergraph;- converting graph to hypergraph;- converting hypergraph to graph;- conversion of the graph/hypergraph description to the TeX format.In the paper particular libraries are described in detail. Moreover, the stand-alone application (Hippo) is shown. Finally, an example of automatic decomposition of the discrete system is presented. All steps and required operations are described.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 726-728
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego
CAD system for automatic decomposition of Petri Nets
Autorzy:
Wiśniewska, M.
Powiązania:
https://bibliotekanauki.pl/articles/155267.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala dokładna
system Hippo wspomagający proces dekompozycji sieci Petriego
hypergraph
hypergraph transversal
CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
Opis:
W referacie przedstawiono autorski system komputerowy wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego. System sterujący zostaje opisany za pomocą sieci Petriego, na podstawie której określany jest graf lub hipergraf współbieżności. Macierz incydencji hipergrafu współbieżności stanowi dane wejściowe systemu Hippo. Aplikacja oferuje przeprowadzenie dekompozycji z zastosowaniem operacji bazujących na teorii hipergrafów różnymi metodami i umożliwia wybór najlepszej z nich.
The dedicated CAD system Hippo for automatic decomposition of Petri Nets into concurrent automata is presented. At the beginning the reachability graph is calculated for the Petri Net which may be easily represented by a concurrency graph or a hypergraph. Such structures are input for main decomposition process. There are several methods for decomposition of Petri Nets. The most popular one is based on the colouring of the concurrency graph, however recently, a few new algorithms based on hypergraph theory have appeared. Contrary to a concurrency graph, application of a concurrency hypergraph to the decomposition of Petri Net enables using new and fast methods. The solution can be found by colouring of a concurrency hypergraph, calculating its complement or finding exact transversals. Especially, the last method is most interesting, because it allows reducing the computational complexity to a polynomial. In the paper the decomposition process is presented in detail. There are several ways of decomposition presented (based on colouring graphs/hypergraphs), calculating hypergraph complement or finding its exact transversals. Each of the presented method was implemented in Hippo. The decomposition process is automated. As the input of the Hippo system, a description of a concurrency graph or hypergraph is required. Based on this structure and a selected decomposition method, Hippo finds and prints results. The obtained results are presented in graphical and text form.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 948-950
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Availability analysis of an offshore oil and gas production system subjected to age-based preventive maintenance by Petri Nets
Autorzy:
Lotovskyi, Eduard
Teixeira, Angelo Palos
Soares Guedes, Carlos
Powiązania:
https://bibliotekanauki.pl/articles/1841926.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
production availability
age-based imperfect preventive maintenance
offshore installations
oil and gas production
Petri Nets
Monte Carlo simulation
Opis:
The main objective of this paper is to model an offshore oil production system subjected to age-based preventive maintenance strategies by Petri Nets and to evaluate its availability by Monte Carlo Simulation. The oil processing and the separation equipment with their reliability and maintainability characteristics, the corrective and preventive maintenance policies and the operational dependencies that lead to the reconfiguration of the system after the failure are implemented. A special attention is given to the effect of age-based perfect and imperfect preventive maintenance strategies on the system availability. The maintenance actions consider the components’ age thresholds and an age reduction ratio. Moreover, the variation of the oil and gas flows from the well over the years is accounted by the model. As case study, an offshore production installation that operates in a Brazilian oilfield is adopted. An elasticity analysis on the model parameters is conducted to assess influence of the maintenance policy on the system availability and on the oil production.
Źródło:
Eksploatacja i Niezawodność; 2020, 22, 4; 627-637
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Capacity assessment of the airport cargo screening system under disruptions
Ocena przepustowości systemu kontroli bezpieczeństwa cargo w porcie lotniczym w warunkach zakłóceń
Autorzy:
Skorupski, Jacek
Uchroński, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/38955788.pdf
Data publikacji:
2023
Wydawca:
Politechnika Warszawska, Wydział Transportu
Tematy:
air cargo
security screening
airport capacity
Petri nets
simulation analysis
cargo lotnicze
kontrola bezpieczeństwa
przepustowość lotniska
sieci Petriego
analiza symulacyjna
Opis:
Cargo shipments are a growing part of the transport carried out by many air carriers. One of the critical elements in this area of activity is shipment security inspection, which is a mandatory part of the transportation process. This article aimed to study the inspection system's capacity under disruption conditions and determine its dependence on possible technical and organizational improvements. For this purpose, simulation modeling was applied using a microscale model of the cargo security inspection process realized in a colored, timed, stochastic Petri net. Bayesian networks representing the actual process were used to validate the model. As a result of the research, experiments showed that for Katowice Airport in Pyrzowice, more advanced technical solutions can increase capacity by up to 50%. On the other hand, introducing modifications to the procedure, involving at least two checks using specialized assistive devices, can reduce it by up to 40%. Relatively small changes in capacity are expected with changes in the training and experience of screening operators. Based on these results, it can be recommended that airport managers consider using technical solutions with the parameters analyzed in the article. In addition, it is necessary to maintain the level of training at least at the current level. At the same time, any changes in control procedures should be made prudently, only when necessary, due to the need to strengthen the effectiveness of controls during periods of increased terrorist threat.
Przesyłki cargo stanowią coraz większą część przewozów realizowanych przez wielu przewoźników lotniczych. Jednym z kluczowych elementów w tym obszarze działalności jest kontrola bezpieczeństwa przesyłek, która jest obowiązkowym elementem procesu przewozowego. Celem artykułu było zbadanie przepustowością systemu kontroli w warunkach zakłóceń, a także określenie jej zależności od możliwych ulepszeń technicznych i organizacyjnych. W tym celu zastosowano modelowanie symulacyjne z wykorzystaniem mikroskalowego modelu procesu kontroli bezpieczeństwa cargo zrealizowanego w postaci kolorowanej, czasowej, stochastycznej sieci Petriego. Do walidacji modelu wykorzystano sieci Bayesowskie reprezentujące rzeczywisty przebieg procesu. W wyniku przeprowadzonych eksperymentów badawczych wykazano dla lotniska Katowice w Pyrzowicach, że użycie bardziej zaawansowanych rozwiązań technicznych może zwiększyć przepustowość nawet o 50%. Z kolei wprowadzenie modyfikacji procedury, polegające na co najmniej dwukrotnej kontroli z wykorzystaniem specjalizowanych urządzeń wspomagających, może doprowadzić do jej zmniejszenia nawet o 40%. Stosunkowo niewielkie zmiany przepustowości są spodziewane w przypadku zmian w zakresie wyszkolenia i doświadczenia operatorów kontroli bezpieczeństwa. Na podstawie tych wyników można rekomendować, aby zarządzający portem lotniczym rozważyli użycie rozwiązań technicznych o parametrach, które były analizowane w artykule. Dodatkowo, konieczne jest utrzymanie poziomu wyszkolenia na co najmniej dotychczasowym poziomie, zaś wszelkie zmiany procedur kontroli należy wprowadzać rozważnie, tylko wówczas kiedy jest to niezbędne z powodu konieczności wzmocnienia skuteczności kontroli w okresach zwiększonego zagrożenia terrorystycznego.
Źródło:
WUT Journal of Transportation Engineering; 2023, 136; 101-122
1230-9265
Pojawia się w:
WUT Journal of Transportation Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 90

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