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ę "system zdarzeń dyskretnych" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    A feasible schedule for parallel assembly tasks in flexible manufacturing systems
    Autorzy:
    Majdzik, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/2055155.pdf
    Data publikacji:
    2022
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    parallel system
    synchronization
    scheduling
    discrete event system
    wireless equipment
    system równoległy
    system zdarzeń dyskretnych
    sprzęt bezprzewodowy
    Opis:
    The paper concerns the design of a framework for implementing fault-tolerant control of hybrid assembly systems that connect human operators and fully automated technical systems. The main difficulty in such systems is related to delays that result from objective factors influencing human operators’ work, e.g., fatigue, experience, etc. As the battery assembly system can be considered a firm real-time one, these delays are treated as faults. The presented approach guarantees real-time compensation of delays, and the fully automated part of the system is responsible for this compensation. The paper begins with a detailed description of a battery assembly system in which two cooperating parts can be distinguished: fully automatic and semi-automatic. The latter, nonderministic in nature, is the main focus of this paper. To describe and analyze the states of the battery assembly system, instead of the most commonly used simulation, the classic max-plus algebra with an extension allowing one to express non-deterministic human operators’ work is used. In order to synchronize tasks and schedule (according to the reference schedule) automated and human operators’ tasks, it is proposed to use a wireless IoT platform called KIS.ME. As a result, it allows a reference model of human performance to be defined using fuzzy logic. Having such a model, predictive delays tolerant planning is proposed. The final part of the paper presents the achieved results, which clearly indicate the potential benefits that can be obtained by combining the wireless KIS.ME architecture (allocated in the semi-automatic part of the system) with wired standard production networks.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2022, 32, 1; 51--63
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Petri net models of discrete event systems and state sequence generation for closed loop plant-controller system
    Modele systemów zdarzeń dyskretnych skonstruowane w oparciu o sieci petriego i generacja sekwencji stanów zamkniętego systemu obiekt-sterownik
    Autorzy:
    Zech, W.
    Puchałka, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/389830.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Tematy:
    system zdarzeń dyskretnych
    sieci Petriego
    programowalne sterowniki sekwencyjne
    diagramy drabinkowe
    DES
    Petri nets
    PLC
    ladder diagram
    Opis:
    In this paper there has been provided a ladder diagram formal model as LD-P/T-system. Closed loop system which consists of the LD-controller model and the controlled object model is constructed. We propose an algorithm to construct a state-transition diagram of the system. A fault is detected when an unpredicted state is generated. Additional benefits from such an approach results in the fact that an abstraction of the transition diagram of this controller is possible, which can be used for LD-VHDL transformation into FPGA implementation.
    W artykule przedstawiono formalny model diagramu drabinkowego (LD) jako LD-P/T-system. Skonstruowano model zamkniętej pętli sprzężenia między sterownikiem (LD) i sterowanym obiektem. Przedstawiono algorytm generacji diagramu przejść między stanami takiego systemu. Możliwa jest detekcja uszkodzenia, gdy wygenerowany zostanie nieprzewidziany stan. Dodatkowa korzyść z takiego podejścia wynika z faktu, że możliwa jest konstrukcje diagramu przejść samego sterownika, co może być wykorzystane do transformacji diagramów drabinkowych na model dający się opisać w języku VHDL i implementować w FPGA.
    Źródło:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2011, 15; 19-35
    1899-0088
    Pojawia się w:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Event monitoring of parallel computations
    Autorzy:
    Gruzlikov, A. M.
    Kolesov, N. V.
    Tolmacheva, M. V.
    Powiązania:
    https://bibliotekanauki.pl/articles/330568.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    parallel computations
    monitoring
    discrete event system
    real time system
    obliczenia równoległe
    układ zdarzeń dyskretnych
    system czasu rzeczywistego
    Opis:
    The paper considers the monitoring of parallel computations for detection of abnormal events. It is assumed that computations are organized according to an event model, and monitoring is based on specific test sequences.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2015, 25, 2; 311-321
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie dyskretnej symulacji komputerowej w zarządzaniu systemami wytwórczymi małych i średnich przedsiębiorstw
    Autorzy:
    Junczyk-Bunkowska, Magdalena
    Powiązania:
    https://bibliotekanauki.pl/articles/40621641.pdf
    Data publikacji:
    2023-03-31
    Wydawca:
    Politechnika Częstochowska
    Tematy:
    małe i średnie przedsiębiorstwa (MŚP)
    podejmowanie decyzji
    symulacja komputerowa
    symulacja zdarzeń dyskretnych
    system wytwórczy
    Opis:
    W artykule pokazano, w jaki sposób symulacja komputerowa może wspierać zarządzanie systemami wytwórczymi w małych i średnich przedsiębiorstwach (MŚP). Możliwość jej wykorzystania otwiera się ze względu na postępujące upraszczanie narzędzi umożliwiających modelowanie i symulację komputerową. Rosnąca presja na szybkie dostosowanie się do sytuacji rynkowej i potrzeba oceny racjonalności wdrażania zmian sprawia, że MŚP widzą potrzebę wykorzystania rozwiązań bardziej wymagających niż intuicja i doświadczenie. Dlatego celem artykułu jest pokazanie potencjału wykorzystania symulacji komputerowej w praktyce zarządzania systemami wytwórczymi małych i średnich przedsiębiorstw. Cel zrealizowano na podstawie analizy czterech opublikowanych przykładów. Dwa z nich bazowały na własnych doświadczeniach polskich przedsiębiorstw zaliczanych do MŚP. Podstawą dwóch kolejnych były raporty z wykorzystania symulacji zdarzeń dyskretnych w średniej wielkości przedsiębiorstwie szwedzkim i małej firmie z Ekwadoru produkującej kanały deszczowe. Analiza zebranych w ten sposób spostrzeżeń pokazała z praktycznej strony efekty wykorzystania symulacji w zarządzaniu systemami wytwórczymi, ale także umożliwiła sformułowanie praktycznych wskazówek odnoszących się do zbierania danych dla opracowania modelu komputerowego, jego walidacji, a także planowania eksperymentów symulacyjnych.
    Źródło:
    Zeszyty Naukowe Politechniki Częstochowskiej. Zarządzanie; 2023, 1, 49; 61-74
    2083-1560
    Pojawia się w:
    Zeszyty Naukowe Politechniki Częstochowskiej. Zarządzanie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Cannibalization policies: adoption in the maintenance of fleet systems
    Autorzy:
    Diaz, Ermilso
    Muñoz-Añasco, Mariela
    Correcher-Salvador, Antonio
    Powiązania:
    https://bibliotekanauki.pl/articles/27312357.pdf
    Data publikacji:
    2023
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    fleet system
    maintenance systems
    cannibalization
    availability
    discrete event systems
    system flotowy
    systemy konserwacji
    kanibalizacja
    dostępność
    systemy zdarzeń dyskretnych
    Opis:
    Fleet systems are considered complex due to the interaction between their units and components. Maintenance management systems face various challenges to achieve acceptable availability and reliability rates at a reasonable cost. A critical task for making maintenance decisions is understanding the system requirements to select maintenance policies appropriate for the actual and future system state. When there is a replacement shortage in a fleet system, and it is impossible to supply new spare parts quickly, cannibalization policies can mitigate this scarcity via the interchange of components. However, this procedure presents the maintenance manager with different evaluation effects, such as increased maintenance hours, decreased system reliability rate, and unavailability in some units. Finding an equilibrium between the benefits and risks has caught the attention of researchers. This work gathers diverse proposals for applying cannibalization policies and the effects that arise from using them. Models, methods, tools, and identified gaps in understanding what parameters of the components and environments of the fleet systems favor cannibalization are discussed.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2023, 121; 63--75
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Badania symulacyjne rozproszonego systemu pomiarowo-sterującego
    Influence of node and system structure on feature of measuring and control network system
    Autorzy:
    Markowski, A.
    Miczulski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/152334.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    rozproszony system pomiarowo-sterujący
    symulacja zdarzeń dyskretnych
    analiza czasowa
    distributed measurement-control system
    discrete-event simulation
    timing analysis
    Opis:
    W artykule przedstawiono zastosowanie modelu rozproszonego systemu pomiarowo-sterującego do oceny wpływu struktury systemu i struktury węzła na poziom utraty danych i wartość czasu opóźnienia w transmisji danych w systemie. Zaprezentowano w tym zakresie przykładowe wyniki badań symulacyjnych systemu pracującego wg zasady peer to peer.
    Using a model of measuring and control system to assessment of system and node structure on level of data loss in system is presented. An influence of node structure on data transmission delay in measuring and control system is described. Results of peer to peer system simulation are presented.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 257-260
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Lyapunov-based anomaly detection in preferential attachment networks
    Autorzy:
    Ruiz, Diego
    Finke, Jorge
    Powiązania:
    https://bibliotekanauki.pl/articles/908114.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    network formation model
    discrete event system
    anomalous event detection
    model tworzenia sieci
    układ zdarzeń dyskretnych
    wykrywanie anomalii
    Opis:
    Network models aim to explain patterns of empirical relationships based on mechanisms that operate under various principles for establishing and removing links. The principle of preferential attachment forms a basis for the well-known Barabási–Albert model, which describes a stochastic preferential attachment process where newly added nodes tend to connect to the more highly connected ones. Previous work has shown that a wide class of such models are able to recreate power law degree distributions. This paper characterizes the cumulative degree distribution of the Barabási–Albert model as an invariant set and shows that this set is not only a global attractor, but it is also stable in the sense of Lyapunov. Stability in this context means that, for all initial configurations, the cumulative degree distributions of subsequent networks remain, for all time, close to the limit distribution. We use the stability properties of the distribution to design a semi-supervised technique for the problem of anomalous event detection on networks.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2019, 29, 2; 363-373
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorytm pracy symulatora bezprzewodowego rozproszonego systemu pomiarowo - sterującego z przetwarzaniem regułowym
    Running algorithm of simulator of wireless distributed measurement-control system with rule based processing
    Autorzy:
    Markowski, A.
    Miczulski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/152137.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    rozproszony system pomiarowo-sterujący
    symulacja zdarzeń dyskretnych
    przetwarzanie regułowe
    analiza czasowa
    distributed measurement-control system
    discrete-event simulation
    timing analysis
    Opis:
    W artykule przedstawiono algorytm pracy symulatora bezprzewodowego rozproszonego systemu pomiarowo - sterującego z przetwarzaniem regułowym, który umożliwia prowadzenie badań właściwości czasowych tych systemów.
    In the paper, algorithm of work of simulator of wireless distributed measurement-control system with rule based processing, is presnted. Use of simulator to assesment of time parameters of designed systems with implemented rule based prosessing was introduced.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 6, 6; 359-361
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
    Autorzy:
    Li, B.
    Khlif-Bouassida, M.
    Toguéyni, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/330272.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    fault diagnosis
    discrete event system
    labeled Petri nets
    on-the-fly diagnosability analysis
    verifier nets
    diagnostyka błędu
    układ zdarzeń dyskretnych
    sieci Petriego
    Opis:
    This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or unbounded with no deadlock after firing any fault transition. Our approach is novel and presents the on-the-fly diagnosability analysis using verifier nets. For a given LPN model, the verifier net and its reachability graph (for a bounded LPN) or coverability graph (for an unbounded LPN) are built on-the-fly and in parallel for diagnosability analysis. As soon as a diagnosability decision is established, the construction is stopped. This approach achieves a compromise between computation limitations due to efficiency and combinatorial explosion and it is useful to implement an engineering approach to the diagnosability analysis of complex systems.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2018, 28, 2; 269-281
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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