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ę "s-nets" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Metodologia modyfikacji sieci obrazujących proces produkcyjny zawierający punkty kontroli jakości
    Modification methodology of nets illustrating the production process including quality control points
    Autorzy:
    Lasota, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/157408.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri nets
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Opis:
    Artykuł pokazuje jaki wpływ na poprawność procesu produkcyjnego ma wprowadzenie do jego realizacji punktów kontroli jakości. Weryfikacja oddziaływania tych zmian w procesach realizowanych współbieżnie odbywa przy wykorzystaniu sieci Petriego. Pośrednia kontrola jakości może przyczynić się do powstania błędów w strukturze procesu. W celu zobrazowania sposobu korekcji możliwych błędów behawioralnych sieci w pracy zaproponowano przykładowe rozwiązania poprzez wskazanie metodologii modyfikacji sieci.
    Quality control in the production process is one of the key moments and is compulsory, since it determines the quality of the completed product. The paper shows how the quality control accomplishment affects the process correctness. Indirect control of the quality may cause errors in the structure of the process. Convenient way to verify the behavioral correctness of the production process is its modeling by Petri nets. In order to depict the manner of the correction of possible errors in the paper the sample solutions are demonstrated. Studies have shown that Petri nets are a convenient tool for validation of behavioral correctness of the production processes. For carrying on the analysis it was necessary to propose modifications of the nets. The methodology adopts two input sets of data. The first one corresponds to Petri nets with single-token initial marking, called s-nets, while the second is -nets (s-nets belong to the class of extended free-choice nets). In the proposed method it is required to restart execution of the process, in the case of detection of deviations from the quality standards. Such restarting is implemented through the introduction of the additional transitions, which move tokens from the critical places to the initially marked place.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 320-323
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodologia weryfikacji procesu produkcyjnego z wykorzystaniem sieci Petriego na przykładzie modelowania produkcji frezarko-kopiarki
    Methodology of production process verification using Petri nets illustrated by case study of modeling production process milling-copier machine
    Autorzy:
    Lasota, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/152408.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    s-sieci
    alfa-sieci
    α-sieci
    proces produkcyjny
    kontrola jakości
    Petri net
    s-nets
    alpha-nets
    α-nets
    production process
    quality control
    Opis:
    Przedmiotem artykułu jest analiza skuteczności algorytmu weryfikacji procesów produkcyjnych. Zaproponowana metoda weryfikacji procesu oraz wskazane typy rozwiązań dla wykrytych błędów według autora przyczynią się do bezpieczniejszego specyfikowania i planowania przebiegu realizacji procesu produkcyjnego. Zasadność zaproponowanego podejścia została wykazana na przykładzie modelowania procesu produkcyjnego frezarko-kopiarki z wykorzystaniem diagramów aktywności UML oraz dwóch podklas sieci Petriego: s-sieci i α-sieci.
    The subject of the paper is analysis of the algorithm effectiveness of production processes verification. The proposed verification method (Section 3) and proposed types of solutions for faults (Section 4) according to the author will contribute to safer specifying and planning the implementation of a production process. The production process correct structure (Subsection 2.7) is a key condition for its implementation. Errors at the stage of the process modeling affect the process correctness. Introduction of intermediate quality control can additionally corrupt the process structure and requires its changes. Petri nets provide a convenient mathematical tool for verification of modeled processes (Section 2). Two classes of nets - the s-nets and its subclass α-nets - were selected as the most adequate for modeling the analyzed production processes [2, 3, 4, 7, 9]. To verify the correctness of the processes the "stubborn set method" and Andre method were proposed [1, 3, 4, 5, 8]. In order to depict the manner of the correc-tion of possible structural errors in a net, the paper describes a sample solution. The reasonableness of the proposed approach is shown on an example of modeling the production of a milling-copier machine (Section 4, Figs. 1-9). The area related to the milling-copier machine contains two main parts: the first is modeling the milling-copier machine production process and the second is modeling the copied process mapping.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 661-665
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Sprawozdanie z kursu Advanced Course In Diagnosis and Treatment of NET’S zorganizowanego przez Klinikę Onkologii Endokrynologicznej Szpitala Uniwersyteckiego w Uppsali (Szwecja) w dniach 26–28 listopada 2012 r.
    Autorzy:
    Kolasińska-Ćwikła, Agnieszka
    Powiązania:
    https://bibliotekanauki.pl/articles/1066138.pdf
    Data publikacji:
    2013
    Wydawca:
    Medical Education
    Źródło:
    OncoReview; 2013, 3, 1; 51-56
    2450-6125
    Pojawia się w:
    OncoReview
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the convergence of nets of sets
    Autorzy:
    Mrówka, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/1382927.pdf
    Data publikacji:
    1958
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Fundamenta Mathematicae; 1958, 45, 1; 247-253
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    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ł:
    Do ownership of mosquito nets, dwelling characteristics and mothers’ socio-economic status influence malaria morbidity among children under the age of 5 in Cameroon?
    Autorzy:
    Oyekale, Abayomi S.
    Powiązania:
    https://bibliotekanauki.pl/articles/2177342.pdf
    Data publikacji:
    2015-04-17
    Wydawca:
    Instytut Medycyny Pracy im. prof. dra Jerzego Nofera w Łodzi
    Tematy:
    malaria
    mosquito nets
    under-5 children
    Cameroon
    Opis:
    Objectives This study analyzed the effect of the number of mosquito nets that are owned by households, dwelling characteristics and maternal demographic characteristics on malaria infections. Material and Methods The 2011 Demographic and Health Survey (DHS) data for children under 5 years of age were used. The children were subjected to haemoglobin test and rapid diagnostic test (RDT) to ascertain the presence of malaria parasites. Data were analyzed using probit regression method. Results It was found that 2.43% and 8.68% of the children were living in houses that were prone to landslide and flooding, respectively. Also, 19.93%, 17.08% and 16.26% of the children lived in houses without windows, with broken windows, and with a hole in the roof, respectively. Only 5.59% and 23.96% of the children lived in houses with window and door nets, respectively. Mosquito nets were owned by 64.03% of the households, where Adamawa Region had the lowest coverage (52.23%). Reasons for not owning mosquito nets by all the households included: lack of financial means (25.17%), using something else (1.80%) and not having many mosquitoes in the vicinity (5.53%). In the probit regression, variables that significantly reduced malaria infections among the children (p < 0.05) included: the number of mosquito nets, urban residence, improved toilet, ownership of a radio, residence in flood-prone area, mother’s secondary education, mother’s tertiary education and residence in areas with not many mosquitoes, while infections increased along with the household size, residence in areas prone to landslide, severe anaemia, moderate anaemia, mild anaemia and age of the children. Conclusions Ownership of mosquito nets and dwelling characteristics are critical factors influencing infections with malaria. There is a need to ensure compliance with its use since there are disparities between access and actual usage. Also, addressing malaria problem in Cameroon should consider regional disparity in malaria incidence rates and more engagement of the media, among others, for appropriate sensitization.
    Źródło:
    International Journal of Occupational Medicine and Environmental Health; 2015, 28, 3; 479-497
    1232-1087
    1896-494X
    Pojawia się w:
    International Journal of Occupational Medicine and Environmental Health
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
    Using coloured Petri nets for real-time systems design
    Autorzy:
    Samolej, S.
    Trybus, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/156259.pdf
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kolorowane sieci Petriego
    systemy czasu rzeczywistego
    inżynieria oprogramowania
    coloured Petri nets
    real-time systems
    software engineering
    Opis:
    W artykule przedstawiono metodę zastosowania kolorowanych sieci Petriego (sieci CPN) do wytwarzania systemów czasu rzeczywistego. Opis systemu prowadzony jest przy użyciu metodyki SDRTS (Structured Design for Real-Time Systems) i sieci CPN. Ostatecznym rezultatem procesu projektowego jest zbiór hierarchicznych czasowych sieci CPN odpowiadajacych diagramom metodyki SDRTS, umożliwiający symulację i formalną analizę wytwarzanego systemu.
    A way of application of coloured Petri nets (CPN) in real-time systems development is presented in the paper. The system is described simultaneously using SDRTS (Structured Design for Real-Time Systems) method and CPN language. The final result of the development process is a set of hierarchical timed coloured Petri nets corresponding to SDRTS diagrams that makes it possible to simultane and formally analyse the system designed.
    Źródło:
    Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
    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ł:
    The alpha algorithm in modeling of the ship’s route
    Autorzy:
    Dramski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/393902.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Stowarzyszenie Telematyki Transportu
    Tematy:
    process mining
    event log
    ship's route
    alpha algorithm
    Petri nets
    operational suport
    rejestr zdarzeń
    algorytm alfa
    sieci Petriego
    wsparcie operacyjne
    Opis:
    In this paper the use of alpha algorithm in modeling of the ship’s route is described. Based on event log obtained from real data, a Petri net was created. This model let us to review the whole process of the ship’s route and take some interesting observations.
    Źródło:
    Archives of Transport System Telematics; 2016, 9, 2; 8-11
    1899-8208
    Pojawia się w:
    Archives of Transport System Telematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modeling shortest path games with Petri nets: A Lyapunov based theory
    Autorzy:
    Clempner, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/908393.pdf
    Data publikacji:
    2006
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    Nash equilibrium point
    shortest path game
    game theory
    Lyapunov equilibrium point
    Bellman’s equation
    Lyapunov-like fuction
    stability
    teoria gier
    funkcja Lapunowa
    równanie Bellmana
    stabilność
    Opis:
    In this paper we introduce a new modeling paradigm for shortest path games representation with Petri nets. Whereas previous works have restricted attention to tracking the net using Bellman’s equation as a utility function, this work uses a Lyapunov-like function. In this sense, we change the traditional cost function by a trajectory-tracking function which is also an optimal cost-to-target function. This makes a significant difference in the conceptualization of the problem domain, allowing the replacement of the Nash equilibrium point by the Lyapunov equilibrium point in game theory. We show that the Lyapunov equilibrium point coincides with the Nash equilibrium point. As a consequence, all properties of equilibrium and stability are preserved in game theory. This is the most important contribution of this work. The potential of this approach remains in its formal proof simplicity for the existence of an equilibrium point.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2006, 16, 3; 387-397
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie sieci komunikacyjnych w aspekcie rozwoju systemów diagnostycznych pojazdów mechanicznych
    Application of communication nets in aspect of development of modern systems of car diagnostics
    Autorzy:
    Śmieja, M.
    Piętak, A.
    Imiołek, M.
    Wierzbicki, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/208645.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    sieci wymiany danych
    CAN
    OBD
    diagnostyka
    network area
    diagnostics
    Opis:
    Rozwój konstrukcji pojazdów samochodowych podyktowany wzrastającymi wymaganiami w stosunku do emisji związków toksycznych oraz poprawy bezpieczeństwa oznacza coraz większą złożoność układów odpowiedzialnych za sterowanie i diagnostykę. Przepływ dużych ilości danych pomiędzy poszczególnymi elementami tych systemów wymusza stosowanie sieci o coraz większej przepustowości i niezawodności. Różnorodny charakter przesyłanych informacji wiąże się z koniecznością dostosowania sposobu transmisji do konkretnych zastosowań. Najistotniejsze właściwości wykorzystywanych protokołów sieciowych, takie jak maksymalne szybkości transmisji, sposób jej inicjacji czy stopień determinizmu czasowego, decydują m.in. o ich przydatności dla efektywnej diagnostyki. Przyjęcie międzynarodowych regulacji prawnych obowiązujących producentów pojazdów takich jak OBD II w zakresie bieżącej i okresowej kontroli stanu technicznego pojazdów obejmuje wymagania i standardy dotyczące przesyłania informacji diagnostycznej. Konsekwencją ciągłego rozwoju motoryzacji są również działania w kierunku traktowania samochodu jako elementu większej struktury niezawodnościowej, możliwej do osiągnięcia dzięki coraz dostępniejszym metodom komunikacji między pojazdem a jego otoczeniem.
    The development of modern cars is caused by the ever increasing demand to reduce toxic emission as well as to improve safety. This means that the systems responsible for diagnostics and controlling are becoming more and more complex. The flow of huge amounts of data between particular elements of these systems forces application of nets with greater capacity and increased reliability. Heterogeneous character of carried information is connected with the necessity to fit a type of transmission for a specific use. The most significant features of the used net protocols such as maximum speed, the way of triggering and the degree of time determinism, are the factors which decide about their helpfulness for effective diagnostics. Adoption of international regulations, obligatory for manufactures of cars such as OBDII ones, in the field of current and periodical checks on the technical state of cars, include demands and standards concerning the carrying of diagnostic information. The subsequent effect of such continual developments in motorisation is activity connected with treating a car as an element of a much wider reliability structure. This is possible to achieve thanks to more and more common methods of communication between a car and its environment.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 1; 231-241
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Intermittent fault’s parameter framework and stochastic petri net based formalization model
    Model parametryczny niezdatności przejściowej oraz model formalny oparty na stochastycznej sieci Petriego
    Autorzy:
    Shen, Q.
    Qiu, J.
    Liu, G.
    Lv, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/301928.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    intermittent fault
    parameter framework
    stochastic Petri nets
    formalization model
    niezdatność przejściowa
    model parametryczny
    stochastyczna sieć Petriego
    model formalny
    Opis:
    The intermittent fault widely exists in many products and brings high safety risk and maintenance cost. At present there are some different opinions on the notion of intermittent fault and there is no comprehensive parameter framework for fully describing intermittent fault. Also the formalization model which can mathematically describe intermittent fault hasn’t been constructed. In this paper, the conception of intermittent fault is discussed. A new definition of intermittent fault is put forward. Then the intermittent fault’s parameter framework is presented. After that, the Stochastic Petri Net (SPN) based formalization model for intermittent fault is constructed. Finally an application of the SPN formalization model is shown. The parameters for intermittent fault are computed based on the proposed model and a case study is presented. The result shows the validity of the model. The model could assist the further research such as intermittent fault diagnosis and prognostic of remaining life.
    Niezdatność przejściowa charakteryzuje wiele produktów i pociąga za sobą wysokie zagrożenie bezpieczeństwa oraz wysokie koszty eksploatacji. Obecnie istnieje wiele poglądów na temat pojęcia niezdatności przejściowej; nie stworzono jednak kompleksowego modelu parametrycznego pozwalającego w pełni opisać zjawisko niezdatności przejściowej. Nie skonstuowano także modelu formalnego, za pomocą którego można by opisać niezdatność przejściową w kategoriach matematycznych. W pracy omówiono koncepcję niezdatności przejściowej. Zaproponowano nową definicję tego pojęcia a następnie przedstawiono model parametryczny niezdatności przejściowej. Skonstruowano także model formalny niezdatności przejściowej oparty na stochastycznej sieci Petriego (SPN). Wreszcie, pokazano zastosowanie formalizacji SPN. Na podstawie zaproponowanego modelu obliczono parametry dla niezdatności przejściowej. Przedstawiono także studium przypadku. Otrzymane wyniki potwierdzają wiarygodność modelu. Opracowany model może być pomocny w dalszych badaniach dotyczących problemów, takich jak diagnozowanie niezdatności przejściowej czy prognozowanie pozostałego okresu użytkowania produktu.
    Źródło:
    Eksploatacja i Niezawodność; 2016, 18, 2; 210-217
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      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