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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Modeling of railway system maintenance and availability by means of Colored Petri nets
    Modelowanie utrzymania ruchu i gotowości systemu kolejowego za pomocą kolorowych sieci Petriego
    Autorzy:
    Song, H.
    Schnieder, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/300762.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    prognostics and health management
    colored Petri nets
    railway system
    maintenance
    availability
    prognostyka i zarządzanie zdrowiem
    kolorowe sieci Petriego
    system kolejowy
    utrzymanie ruchu
    gotowość
    Opis:
    Prognostics and health management (PHM) technologies permit actionable information to enable proper decision-making for improving systems’ performance. With the increasing requirements placed on the rail systems’ availability, better maintenance decisions should be evaluated before practical application. The aim of this work is to build maintenance models and estimate the performance of considered maintenance decisions regarding the rail system’s reliability and availability by means of Colored Petri nets. As a high-level formalization method, Colored Petri nets provide different color sets, which are suitable to represent different maintenance attributions. The maintenance models are evaluated at both the structure and parameterization levels. At the structure level, the structure correctness of the maintenance models is evaluated by using the state space analysis. At the parameterization level, specific maintenance decisions are illustrated. With various maintenance parameters, comparisons of system reliability and availability are made with the results obtained with the Colored Petri nets model.
    Technologie prognostyki i zarządzania zdrowiem (PHM) dostarczają praktycznych danych, które umożliwiają podejmowanie właściwych decyzji w zakresie poprawy wydajności systemów. Wraz z rosnącymi wymaganiami dotyczącymi gotowości systemów kolejowych, rośnie potrzeba oceny decyzji dotyczących utrzymania ruchu przed ich wprowadzeniem w życie. Celem przedstawionej pracy było zbudowanie modeli utrzymania ruchu oraz oszacowanie za pomocą kolorowych sieci Petriego możliwości realizacji rozważanych decyzji konserwacyjnych dotyczących niezawodności i gotowości systemu kolejowego. Kolorowe sieci Petriego to metoda o wysokim poziomie formalizacji, którą w przedstawionej pracy wykorzystano do reprezentacji za pomocą różnych zestawów kolorów, różnych atrybutów utrzymania ruchu. Modele utrzymania ruchu oceniano zarówno na poziomie struktury jak i parametryzacji. Na poziomie struktury, poprawność struktury modeli utrzymania ruchu oceniano za pomocą analizy przestrzeni stanów. Na poziomie parametryzacji, zilustrowano konkretne decyzje dotyczące konserwacji. Niezawodność i gotowość systemu przy różnych parametrach utrzymania ruchu porównano z wynikami uzyskanymi za pomocą modelu kolorowych sieci Petriego.
    Źródło:
    Eksploatacja i Niezawodność; 2018, 20, 2; 236-243
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    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ł:
    Colored decision process Petri nets: Modeling, analysis and stability
    Autorzy:
    Clempner, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/908525.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    proces decyzyjny
    kolorowane sieci Petriego
    metoda Lapunowa
    teoria gier
    decision process
    colored decision process Petri nets
    stability
    Lyapunov methods
    optimization
    game theory
    Opis:
    In this paper we introduce a new modeling paradigm for developing a decision process representation called the Colored Decision Process Petri Net (CDPPN). It extends the Colored Petri Net (CPN) theoretic approach including Markov decision processes. CPNs are used for process representation taking advantage of the formal semantic and the graphical display. A Markov decision process is utilized as a tool for trajectory planning via a utility function. The main point of the CDPPN is its ability to represent the mark-dynamic and trajectory-dynamic properties of a decision process. Within the mark-dynamic properties framework we show that CDPPN theoretic notions of equilibrium and stability are those of the CPN. In the trajectory-dynamic properties framework, we optimize the utility function used for trajectory planning in the CDPPN by a Lyapunov-like function, obtaining as a result new characterizations for final decision points (optimum point) and stability. Moreover, we show that CDPPN mark-dynamic and Lyapunov trajectory-dynamic properties of equilibrium, stability and final decision points converge under certain restrictions. We propose an algorithm for optimum trajectory planning that makes use of the graphical representation (CPN) and the utility function. Moreover, we consider some results and discuss possible directions for further research.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2005, 15, 3; 405-420
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      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