Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "s-nets" wg kryterium: Wszystkie pola


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ł

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