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ę "Wisniewski, R." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 28
Tytuł:
Zastosowanie hipergrafów w procesie selekcji implikantów prostych
Application of hypergraphs to the prime implicant selection process
Autorzy:
Wiśniewski, R.
Stefanowicz, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/155992.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
minimalizacja funkcji logicznych
selekcja implikantów prostych
hipergraf
transwersala dokładna
minimization of Boolean functions
selection of prime implicants
hypergraph
exact transversal
Opis:
W referacie przedstawiona została nowa koncepcja selekcji implikantów prostych w procesie dwupoziomowej minimalizacji funkcji logicznych. Aktualnie znane metody selekcji bazują na połączeniu metod dokładnych z przybliżonymi. W artykule zaproponowana została nowatorska metoda selekcji, która w całości opiera się na algorytmach dokładnych, poprzez zastosowanie teorii hipergrafów. Najbardziej istotną zaletą proponowanego rozwiązania jest wielomianowa złożoność obliczeniowa całej operacji selekcji, która w przypadku ogólnym ma złożoność wykładniczą.
: In the paper a new idea for the selection of prime implicants is proposed. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approach. Initially, the set of prime implicants for the logic function ought to be calculated. Next, the selection process is applied to achieve the minimal formula. Such an operation is a typical covering problem and in general case it has exponential computational complexity. In the paper we propose a new prime implicants selection method. An idea is based on the hypergraph theory. The prime implicants table is formed as a selection hypergraph. If the selection hypergraph belongs to the Exact Transversal Hypergraph class (xt-class), the solution may be obtained in a polynomial time, which is not possible in a general case. The proposed method is illustrated by an example. All necessary steps are shown in order to apply the proposed selection algorithm to minimize an exemplary Boolean function.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 11, 11; 1195-1197
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimization of the quintic equation of the state based model for the calculations of different thermodynamic properties
Autorzy:
Kozioł, A.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/778661.pdf
Data publikacji:
2008
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
równanie stanu
równowaga para-ciecz
wielomiany Hermita
NBP equation of state
vapour-liquid equilibrium
cubic Hermite polynomials
Opis:
Different thermodynamic properties (the vapour density, the liquid density and the saturation pressure) were calculated by the model based on the Nakamura-Breedveld-Prausnitz equation of state (NBP EOS). Since the original form of the NBP EOS often generates inaccurate results for liquids, it was modified to describe this phase better. The calculations were realized in the subcritical region. So far, the temperature-dependent NBP EOS parameters have been obtained by special correlations. Their constants were fitted to a lot of experimental data. In this paper the equation of state temperature-dependent parameters were obtained by a new method which was based at piecewise cubic Hermite interpolating polynomials (PCHIPs). In the proposed method some experimental data (called the key ones) were used, thus reducing the experimental effort. Seven substances were chosen for the test calculations. Each of them is common in industry. The calculation results were compared with the experimental data. The new method has made an accurate description of vapour-liquid equilibrium for the considered pure substances over a wide temperature range possible.
Źródło:
Polish Journal of Chemical Technology; 2008, 10, 1; 6-10
1509-8117
1899-4741
Pojawia się w:
Polish Journal of Chemical Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Euler-Poincare reduction of externally forced rigid body motion
Autorzy:
Wiśniewski, R.
Kulczycki, P.
Powiązania:
https://bibliotekanauki.pl/articles/970328.pdf
Data publikacji:
2004
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
modelowanie
sterowanie
ruch ciała sztywnego
mechanika Lagrange'a
kształtowanie energetyczne
modelling
control
rigid body motion
Lagrange mechanics
energy shaping
Opis:
If a mechanical system experiences symmetry, the Lagrangian becomes invariant under a certain group action. This property leads to substantial simplification of the description of movement. The standpoint in this article is a mechanical system affected by an external force of a control action. Assuming that the system possesses symmetry and the configuration manifold corresponds to a Lie group, the Euler-Poincare reduction breaks up the motion into separate equations of dynamics and kinematics. This becomes of particular interest for modeling, estimation and control of mechanical systems. A control system generates an external force, which may break the symmetry in the dynamics. This paper shows how to model and to control a mechanical system on the reduced phase space, such that complete state space asymptotic stabilization can be achieved. The paper comprises a specialization of the well-known Euler-Poincare reduction to a rigid body motion with forcing. An example of satellite attitude control illustrates usefulness of the Euler-Poincare reduction in control engineering. This work demonstrates how the energy shaping method applies for Euler-Poincare equations.
Źródło:
Control and Cybernetics; 2004, 33, 2; 297-310
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Anomalous Low Resistivity at Room and Elevated Temperatures of Manganin Alloy Implanted with High Dose Niobium Ions
Autorzy:
Wiśniewski, R.
Wilczyńska, T.
Powiązania:
https://bibliotekanauki.pl/articles/1492783.pdf
Data publikacji:
2011-12
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
72.15.Eb
Opis:
The anomalous low resistivity metallic material at room temperature has been discovered. Known high resistive material called manganin in form of 10 μm thick foil was one side implanted with high dose of niobium ions of 2.5 × $10^{17}$ Nb ions/$cm^2$ and then with 2.5 × $10^{13}$ Kr ions/$cm^2$. Before and after implantation procedure investigated manganin foils were temperature treated in 130°C during 100 h. Basic resistance measurements were performed just after implantation observing large decrease of its resistivity. In repeated measurements after long time later (about twelve months), at temperature of 22°C, practically no resistivity was measured. Four-terminal method for resistance measurements was used.
Źródło:
Acta Physica Polonica A; 2011, 120, 6; 1080-1083
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie pracy węzła fermentacji metanowej w warunkach zróżnicowanych temperatur. Część 1: Model pracy pojedynczej komory i jego weryfikacja
Modeling of efficiency of an anaerobic digestion process center in different fermentation temperature conditions. Part 1: Model of single chamber and its verification
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2070679.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie
biogas production
anaerobic digestion
modelling
Opis:
Opracowano rozszerzony model matematyczny pracy komory fermentacji metanowej w oczyszczalni ścieków przemysłowych i komunalnych pracującej w warunkach zróżnicowanych temperatur fermentacji i zweryfikowano jego poprawność w oparciu o dostępne dane procesowe. Wyniki badań mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i wydajności produkcji biogazu w procesie fermentacji metanowej.
The extended mathematical model of a methane fermentation unit in the sewage treatment plant for industrial and municipal wastes working in different fermentation temperature conditions was elaborated and its accuracy was verified against available process data. Results from this research can be applied to improve the sludge reduction and biogas production efficiency in anaerobic digestion process.
Źródło:
Inżynieria i Aparatura Chemiczna; 2009, 5; 105-106
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie pracy węzła fermentacji metanowej w warunkach zróżnicowanych temperatur, Część II: Model pracy układu wielu komór i jego weryfikacja
Modeling of anaerobic digestion node efficiency under variable fermentation temperature conditions. Part II. Multiple-chamber node model and its verification
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2070893.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie fermentacji
biogas production
anaerobic digestion
digestion modeling
Opis:
Opracowano model matematyczny pracy węzła fermentacji metanowej w oczyszczalni ścieków, składającego się z wielu komór o zróżnicowanych temperaturach fermentacji. Zweryfikowano model w oparciu o dane procesowe i modelowano pracę układów wielu komór pracujących w warunkach zróżnicowanych temperatur i czasów przebywania ścieków. Model i wyniki modelowania mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i wydajności produkcji biogazu w węźle fermentacji metanowej.
A mathematical model of methane fermentation node in a sewage-treatment plant, comprising multiple fermentation chambers working under variable fermentation time and temperature conditions, was elaborated. The model accuracy was verified against the process data. Modeling of multiple-chamber nodes performance under variable fermentation time and temperature was conducted. The achieved results can be used to improve the sludge reduction and biogas production efficiency in anaerobic digestion process.
Źródło:
Inżynieria i Aparatura Chemiczna; 2010, 2; 123-124
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optymalizacja pracy węzła fermentacji metanowej w oczyszczalni ścieków
Optimization of the methane fermentation node efficiency in a sewage plant
Autorzy:
Wiechecki, W.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2071556.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wytwarzanie biogazu
fermentacja metanowa
modelowanie fermentacji
biogas production
anaerobic digestion
digestion modeling
Opis:
Dla opracowanego modelu matematycznego pracy węzła fermentacji metanowej w oczyszczalni ścieków, składającego się z wielu komór o zróżnicowanych temperaturach fermentacji i czasach przebywania ścieków, przeprowadzono badania nad optymalizacją pracy węzła, dotyczące wpływu temperatur fermentacji i czasów przebywania ścieków w poszczególnych komorach. Wyniki badań mogą być wykorzystane w pracach nad zwiększeniem efektywności oczyszczania ścieków i produkcji biogazu w węźle fermentacji metanowej oraz do tworzenia systemu sterowania pracą węzła.
The elaborated mathematical model of anaerobic digestion node in a sewage-treatment plant, comprising of multiple fermentation chambers working under variable fermentation time and temperature conditions was used to conduct optimization study of fermentation time and temperature influence. The achieved results can be used to improve sludge reduction and biogas production efficiency in anaerobic digestion process and for creating the digestion node control system.
Źródło:
Inżynieria i Aparatura Chemiczna; 2011, 5; 108-109
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przyczynek do epidemiologii rzęsistkowicy i grzybic dróg moczopłciowych
A contribution to epidemiology of trichomonadosis and cycosis of urogenital tracts
Prilozhenie k ehpidemiologii trikhomonadoza i mikozojj mochepolovykh putejj
Autorzy:
Karp-Damdin
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2154169.pdf
Data publikacji:
1978
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1978, 24, 4; 425-430
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyniki badań nad obecnością pasożytów jelitowych u ludności miasta i powiatu Rzeszów
Results of investigations concerning the occurrence of the intestinal parasites in the area of town and the (rural) district of Rzeszow
Rezultaty issledovanijj prisutstvija parazitov kishechnika u naselenija goroda i poveta Zheshuv
Autorzy:
Głowniak, C.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2176413.pdf
Data publikacji:
1974
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1974, 20, 6; 855-864
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza mikroprogramowanych układów sterujących z identyfikacją wyjść oraz dekoderem funkcji
Synthesis of compositional microprogram control units with outputs identification and function decoder
Autorzy:
Wiśniewski, R.
Barkalov, A. A.
Powiązania:
https://bibliotekanauki.pl/articles/156316.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
mikroprogramowany układ sterujący
dekoder funkcji
programowalny układ FPGA
compositional microprogram control unit (CMCU)
function decoder
field programmable gate array (FPGA)
Opis:
W artykule zaprezentowana zostanie metoda umożliwiająca zmniejszenie liczby wyjść oraz funkcji logicznych modułów wewnętrznych układu sterującego poprzez zastosowanie identyfikacji wyjść łańcuchów bloków operacyjnych. Ponadto wprowadzony zostanie dodatkowy blok dekodera funkcji, który może zostać zrealizowany z wykorzystaniem dedykowanych bloków pamięci, co znacznie pozwala zmniejszyć liczbę elementów logicznych matryc FPGA. Szczegółowe badania przeprowadzone przez autorów potwierdzają skuteczność proponowanej metody. W porównaniu ze standardowym sposobem projektowania układów mikroprogramowanych, rozwiązanie wykorzystujące dekoder funkcji pozwala zmniejszyć liczbę wykorzystanych bloków logicznych średnio o 36%.
A new synthesis method of compositional microprogram control unit (CMCU) is presented in the article. The method is based on the modification in the traditional solutions. Application of an additional block - function decoder - permits to reduce the number of logic blocks used for implementation of the CMCU on FPGA. All steps required in order to synthesize CMCU with function decoder will be shown. Detailed investigations conducted by authors have shown that the proposed method permits to decrease the FPGA area used for implementation of the control unit up to 36% compared with traditional solutions.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 585-587
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ekstensywność zarażenia rzęsistkiem pochwowym, drożdżakami i dwoinką rzeżączki kobiet w Rzeszowie i okolicy
The extensiveness on infection with Trichomonas vaginalis, yeast-like fungi and Neisseria gonorrhoeae in women in the town Rzeszow and its vicinity
Ehkstensivnost zarazhenija trikhomonadojj, pervichnosumchatymi gribami i tripperom zhenshhin v Zheshuve i okrestnosti
Autorzy:
Karp-Damdin, M.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/2152685.pdf
Data publikacji:
1987
Wydawca:
Polskie Towarzystwo Parazytologiczne
Źródło:
Wiadomości Parazytologiczne; 1987, 33, 1; 47-51
0043-5163
Pojawia się w:
Wiadomości Parazytologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Compressibility of $AgI-Ag_{2}MoO_{4}$ System Measured in Wide Range of Composition
Autorzy:
Wiśniewski, Z.
Wiśniewski, R.
Wilczyńska, T.
Powiązania:
https://bibliotekanauki.pl/articles/1538417.pdf
Data publikacji:
2010-04
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
61.43.Er
61.66.Dk
62.50.-p
Opis:
Results of compressibility measurements of $AgI-Ag_{2}MoO_{4}$ materials for different concentrations of AgI were presented. The obtained results were compared with phase diagram and internal structure of material. It was found that observed values of compressibility coefficient can be related to internal structure of investigated material.
Źródło:
Acta Physica Polonica A; 2010, 117, 4; 601-602
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu
Exact transversals in decomposition of Petri Nets into concurrent subnets
Autorzy:
Wiśniewska, M.
Adamski, M.
Wiśniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/155099.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala dokładna
sieć Petriego
dekompozycja sieci Petriego na podsieci współbieżne typu automatowego
hypergraph
exact transversal
Petri net
decomposition of a Petri Net into concurrent subnets automata
Opis:
W artykule zaprezentowany został nowatorski sposób dekompozycji cyfrowych sterowników współbieżnych opisanych z wykorzystaniem sieci Petriego na podsieci typu automatowego. W proponowanym rozwiązaniu relacje pomiędzy miejscami sieci Petriego określone za pomocą hipergrafu współbieżności. W odróżnieniu od dotychczas stosowanych rozwiązań, w artykule zaproponowano autorską koncepcję wyznaczania zbiorów niewspółbieżnych, która bazuje na obliczeniu transwersal dokładnych w hipergrafie współbieżności.
In the paper a new decomposition method of a control system into concurrent automata is presented. The control unit is described as a Petri Net which is further decomposed into concurrent subnets. The main idea of the proposed method is application of exact transversals to the decomposition algorithm. Contrary to the traditional solutions, the authors propose the application of a concurrency hypergraph instead of a standard concurrency graph. The concurrent subnets are found by calculation of exact transversals in the hypergraph. The selection of concurrent automata is also performed with application of exact transversals. Such a solution allows achieving the optimal results (the fewest number of concurrent automata). The proposed concurrency hypergraph has some unique properties. First of all, it is defined to be an exact hypergraph. Therefore, each exact transver-sal in such a hypergraph refers to the concurrent automata. Moreover, all minimal transversals of the hypergraph are also exact transversals. Finally, computation and selection of all exact transversals can be performed in polynomial-time, and this is the most important advantage of the proposed method. The traditional solutions are based on the coloring of a concurrency graph, thus the complexity is NP-complete. All steps that are required in order to perform the decomposition of a controller described by a Petri Net are shown. The proposed method is compared with the traditional solution. Finally, the preliminary results of experiments are presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 851-853
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Usage of Hypergraph Theory in Decomposition of Concurrent Automata
Równoległa dekompozycja automatów współbieżnych z wykorzystaniem hipergrafów
Autorzy:
Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/155626.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
transwersala
stany lokalne automatu
sieć Petriego
hypergraph
transversals
local states of automata
Petri nets
Opis:
Hypergraphs are useful mathematical tools for a compact representation of relations among local states in the state space of distributed, concurrent control automata (concurrent state machines). Therefore, application of hypergraphs is more efficient and intuitive than traditional solutions. For this reason we propose their application during the design process of reconfigurable logic controllers. It makes it possible to decompose an SFC or a related control interpreted Petri net into parallel or sequentially
Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych cyfrowego automatu współbieżnego. Z tego względu zaproponowano ich wykorzystanie w projektowaniu rekonfigurowanego sterownika logicznego. Hipergraf pozwala w przejrzysty sposób opisywać nie tylko relację współbieżności miedzy stanami lokalnymi, lecz także poglądowo przedstawia ich przynależność do tego samego stanu globalnego. Ułatwia to dekompozycję diagramu SFC lub równoważnej mu interpretowanej sieci Petriego sterowania, na moduły, na przykład szeregowe lub równoległe. W artykule przedstawiono sposób dekompozycji równoległej cyfrowych układów współbieżnych, opisanych z wykorzystaniem sieci Petriego przeprowadzanej za pośrednictwem dekompozycji hipergrafów. Celem dekompozycji jest podział rekonfigurowanego sterownika logicznego na współbieżne moduły, z których każdy może być optymalizowany i syntezowany wykorzystaniem klasycznej teorii automatów cyfrowych. Sposób dekompozycji sieci Petriego z wykorzystaniem kolorowania grafu współbieżności lub wyszukiwania pokrycia klikami dopełnienia grafu współbieżności (a tym samym grafu niewspółbieżności, czyli grafu następstwa), jest już znany. Opracowując nową metodę, wzięto pod uwagę fakt, że hipergraf współbieżności miejsc sieci Petriego oprócz informacji o relacji między każdą parą miejsc przekazuje dodatkowe dane o istniejących w nim klikach, odpowiadających wcześniej wyznaczonym stanom globalnym. Metoda dekompozycji równoległej automatów współbieżnych zostanie zilustrowana przykładem. Pokazane zostaną niezbędne kroki, jakie są niezbędne do wykonania podziału sterownika logicznego z wykorzystaniem hipergrafów.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 66-68
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
A polynomial algorithm to compute the concurrency hypergraph in Petri nets
Autorzy:
Wiśniewski, R.
Wiśniewska, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/156447.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieć Petriego
hipergraf współbieżności
dekompozycja
Petri net
concurrency hypergraph
decomposition
Opis:
W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 650-652
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 28

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