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ę "automata" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 118
Tytuł:
Modeling of Dendritic Structure Evolution During Solidification of Al-Cu Alloy
Autorzy:
Zyska, A.
Boroń, K.
Kordas, P.
Powiązania:
https://bibliotekanauki.pl/articles/382278.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
alloy solidification
cellular automata
AlCu alloy
structure modeling
krzepnięcie stopu
automat komórkowy
stop AlCu
modelowanie struktury
Opis:
The paper presents the cellular automaton (CA) model for tracking the development of dendritic structure in non-equilibrium solidification conditions of binary alloy. Thermal, diffusion and surface phenomena have been included in the mathematical description of solidification. The methodology for calculating growth velocity of the liquid-solid interface based on solute balance, considering the distribution of the alloy component in the neighborhood of moving interface has been proposed. The influence of solidification front curvature on the equilibrium temperature was determined by applying the Gibbs Thomson approach. Solute and heat transfer equations were solved using the finite difference method assuming periodic boundary conditions and Newton cooling boundary condition at the edges of the system. The solutal field in the calculation domain was obtained separately for solid and liquid phase. Numerical simulations were carried out for the Al-4 wt.% Cu alloy at two cooling rates 15 K/s and 50 K/s. Microstructure images generated on the basis of calculations were compared with actual structures of castings. It was found that the results of the calculations are agreement in qualitative terms with the results of experimental research. The developed model can reproduce many morphological features of the dendritic structure and in particular: generating dendritic front and primary arms, creating, extension and coarsening of secondary branches, interface inhibition, branch fusion, considering the coupled motion and growth interaction of crystals.
Źródło:
Archives of Foundry Engineering; 2018, 18, 4; 87-92
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of the Dendritic Crystallization by the Cellular Automaton Method
Autorzy:
Zyska, A.
Konopka, Z.
Łągiewka, M.
Nadolski, M.
Powiązania:
https://bibliotekanauki.pl/articles/381219.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
binary alloys
crystallization
numerical modelling
cellular automata
structure modeling
stop dwuskładnikowy
krystalizacja
modelowanie numeryczne
metoda automatów komórkowych
Opis:
A numerical model of binary alloy crystallization, based on the cellular automaton technique, is presented. The model allows to follow the crystallization front movement and to generate the images of evolution of the dendritic structures during the solidification of a binary alloy. The mathematic description of the model takes into account the proceeding thermal, diffusive, and surface phenomena. There are presented the results of numerical simulations concerning the multi-dendritic growth of solid phase along with the accompanying changes in the alloying element concentration field during the solidification of Al + 5% wt. Mg alloy. The model structure of the solidified casting was achieved and compared with the actual structure of a die casting. The dendrite interaction was studied with respect to its influence on the generation and growth of the primary and secondary dendrite arms and on the evolution of solute segregation both in the liquid and in the solid state during the crystallization of the examined alloy. The morphology of a single, free-growing dendritic crystal was also modelled. The performed investigations and analyses allowed to state e.g. that the developed numerical model correctly describes the actual evolution of the dendritic structure under the non-equilibrium conditions and provides for obtaining the qualitatively correct results of simulation of the crystallization process.
Źródło:
Archives of Foundry Engineering; 2016, 16, 1; 99-106
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fault diagnosis in nonlinear hybrid systems
Autorzy:
Zhirabok, A.
Shumsky, A.
Powiązania:
https://bibliotekanauki.pl/articles/330628.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
hybrid system
finite automata
mode activator
fault diagnosis
nonparametric method
system hybrydowy
automat skończony
diagnostyka uszkodzeń
metoda nieparametryczna
Opis:
The problem of fault diagnosis in hybrid systems is investigated. It is assumed that the hybrid systems under consideration consist of a finite automaton, a set of nonlinear difference equations and the so-called mode activator that coordinates the action of the other two parts. To solve the fault diagnosis problem, hybrid residual generators based on both diagnostic observers and parity relations are used. It is shown that the hybrid nature of the system imposes some restrictions on the possibility of creating such generators. Sufficient solvability conditions of the fault diagnosis problem are found. Examples illustrate details of the solution.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2018, 28, 4; 635-648
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Improving Image Sharpness by Surface Recognition
Autorzy:
Zerbino, D.
Powiązania:
https://bibliotekanauki.pl/articles/410992.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
cellular automata
image contrasting
sharpness
correct gradient
logical correction of colors
neocognitron
Opis:
The article proposes a rule for improving image sharpness and analyzes its implementation by means of the cellular automata formalism and neural networks. It has been proved, that the previously known contrasting algorithm, which uses a template and 3x3 pixels, can be improved considerably by repeatedly applying the iterative process over templates 2x2 with the rule "anti - blur" ( C 11 = C 11 x F - ( C 12 + C 21 + C 22) x S ) and gradient color correction at each step after the "anti - blur". Colors of images in the template are presented as real numbers (R, G, B). To correct the gradient (C11 < C12, C11 < C21, C11
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2019, 8, 2; 39-44
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nowa metoda modelowania powierzchni terenu dla potrzeb analiz i symulacji przestrzennych
A new method for terrain surface modeling for spatial analyses and simulations
Autorzy:
Wyczałek, I.
Powiązania:
https://bibliotekanauki.pl/articles/129562.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
automaty komórkowe
modelowanie przestrzenne
symulacje przestrzenne
cellular automata
spatial modeling
spatial simulations
Opis:
W pracy przedstawiono ideę i podstawy teoretyczne nowej metody modelowania terenu w oparciu o rozproszone punkty pomiarowe. Metoda wykorzystuje Interaktywne Automaty Komórkowe (IAK) jako narzędzie do sterowania procesem modelowania i wygładzania powierzchni. Pokazano wyniki modelowania wykonanego za pomocą programu realizującego omawianą metodę.
The paper presents the concept and theoretical basis of a new method of terrain modeling based on scattered sampling points. The method uses the Interactive Cellular Automata (ICA) as a tool for control of the modeling process and smoothing the surface. The results of modeling a sample terrain by a program implementing the described method are presented.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2010, 21; 447-457
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Użycie automatów komórkowych do modelowania i symulacji zjawisk przestrzennych
The use of cellular automata for modeling and simulation of spatial phenomena
Autorzy:
Wyczałek, I.
Powiązania:
https://bibliotekanauki.pl/articles/129787.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
automaty komórkowe
modelowanie przestrzenne
symulacje przestrzenne
cellular automata
spatial modeling
spatial simulation
Opis:
Wiedza o charakterze zjawisk na danym terenie stanowi podstawę prognozowania ich zmian wskutek planowanego wdrożenia decyzji przestrzennych. Jednym ze sposobów wspomagania prognozowania jest symulacja, czyli dynamiczny model danego zjawiska. Powtarzanie Symulacji przy zmieniających się parametrach jest jednym z bardziej efektywnych sposobów wnioskowania decyzyjnego. Zjawiska przestrzenne charakteryzują się powtarzalnością lokalnych interakcji między sąsiadującymi ze sobą fragmentami powierzchni. Suma tych lokalnych procesów daje obraz zróżnicowanego przestrzennie zjawiska, zachodzącego na rozległych nieraz obszarach. Narzędziem, które bardzo dobrze odzwierciedla te lokalne interakcje są automaty komórkowe. W modelowaniu zjawisk przyrodniczych komórka-automat odzwierciedla pojedynczy fragment danego składnika środowiska. Zakładając interakcje, między różnymi składnikami modelu lub ich relacje z otoczeniem, możemy tak opisać działanie automatu, aby realizował je poprzez podatność na bodźce zewnętrzne lub oddziaływanie na stan otoczenia. W ramach prezentowanej pracy wdrożono automaty ukierunkowane na przekształcanie otoczenia, nazwane Interaktywnymi Automatami Komórkowymi (IAK). Podczas, gdy dane zmieniają swój stan w ograniczonym zakresie wartości, to w zależności od tego stanu oraz stanu otoczenia (modelowanego zjawiska) powodują zmiany zarówno w przestrzeni automatów jak i w modelowanym otoczeniu. Wykazano, że tak sformalizowane działanie ma szeroki zakres zastosowań przestrzennych, różniących się jedynie postacią reguły zmian. Potwierdzają to wyniki adaptacji takiego formalizmu do modelowania terenu, poklasyfikacyjnej agregacji obiektów obrazowych oraz symulacji obiegu wody.
Knowledge of the nature of phenomena in a given area is the basis for prediction of the changes resulting from a planned implementation of spatial decisions. A way to aid the prediction is a simulation, e.g. a dynamic model of a phenomenon. Repeating the simulation with changing parameters is one of the most effective ways for decision making. Spatial phenomena are characterized by repetition of local interactions between neighboring pieces of the surface. The sum of these local processes gives an image of a spatially varying phenomenon occurring sometimes over wide areas. A tool that best reflects these local interactions are cellular automata. In modeling natural phenomena a cell-automaton reflects a single part of the environment. Assuming the interactions between different components of the model, or their relationship with the environment, we can describe the operation of the slot to pursue them due to its susceptibility to external stimuli, or the impact on the state of the environment. As a part of this work, automata have been implemented aimed at transforming the environment, called Interactive Cellular Automata (ICA). While the data changes in a limited range of values, depending on their state and the state of the environment (modeled phenomena), they cause changes both in the space of the automata and the modeled environment as well. It has been shown that such formal action has a wide range of spatial applications that differ only by the form of the transition rule. This has been confirmed by the results of the adaptation of such formalism for modeling the site after classification, aggregation of object imaging and simulation of water circulation.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2010, 21; 459-470
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie decyzyjnych automatów komórkowych w klasyfikacji wysokorozdzielczych obrazów satelitarnych
The use of decision-making cellular automata in the classification of remote sensing images
Autorzy:
Wyczałek, I.
Powiązania:
https://bibliotekanauki.pl/articles/130454.pdf
Data publikacji:
2006
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
klasyfikacja
segmentacja
metoda gęstościowa
automat komórkowy
classification
segmentation
consistence assessment method
cellular automata
Opis:
Klasyfikacja jest jednym z najczęściej stosowanych sposobów określania pokrycia terenów w teledetekcji. Metody stosowane w podejściu klasycznym są w dużym stopniu nieskuteczne i wymagają działań wspomagających, takich jak wstępna segmentacja, uwzględnianie dodatkowych parametrów lub zależności, stosowanie metod rozpoznawania wzorów, sztucznej inteligencji, sieci neuronowych itp. Rozwijane są też metody obiektowe, bazujące na różnorodnych relacjach między zbiorami hierarchicznie uporządkowanych segmentów o zbliżonych cechach radiometrycznych. W pracy zaproponowano podejście, w którym grupowane są wyniki klasyfikacji nienadzorowanej w oparciu o analizę gęstości. Metoda gęstościowa w wersji opracowanej na użytek niniejszej pracy uwzględnia zarówno cechy spektralne jak i relacje przestrzenne między grupami pikseli, przypisując do nowotworzonych klas zarówno piksele klasy dominującej, jak i nielicznie występujące na danym obszarze piksele pozostałych klas. Jako narzędzie informatyczne służące rozwiązaniu powyższej idei wykorzystano automat komórkowy wyposażony w mechanizmy decyzyjne. Proces grupowania klas ma charakter iteracyjny, sterowany za pomocą specyficznej „funkcji przejścia” o dopuszczalnych stanach zgodnych z zadanymi klasami pokrycia terenu. Decyzyjny charakter automatu wynika z typowej dla metod podejmowania decyzji postaci funkcji kryterialnej, a także charakterystycznego zestawu jej parametrów – czynników decyzyjnych i ograniczeń. Przedstawione podejście zweryfikowano na przykładzie praktycznym polegającym na wskazaniu terenów pokrytych zielenią wysoką na 4-kanałowym obrazie QuickBird, wyostrzonym metodą PanSharpeningu. W tym celu wybrano trzy fragmenty sceny obejmujące tereny zieleni miejskiej o różnym przeznaczeniu. Uzyskano wysoką dokładność selekcji szukanej klasy pokrycia terenu. Metoda będzie rozwijana w kierunku powiązania z wektorową informacją bazodanową.
Classification is one of the most often used methods for land cover detection in remote sensing applications. The classic approach is not always efficient and needs using various additional criteria or methods such as segmentation, pattern recognition, artificial intelligence, neural networks and so on. In this paper, a new approach based on density-based clustering is presented using a method dealing with previously-classified images. The decision-making Cellular Automata has been proposed as a tool for solving this task. The iterative process of clustering has been driven by a specific transition rule of CA, with an earlier established set of states. The decision-making nature of AK arises from a criterion function typical for decision making methods, and the set of their factors and constraints. The proposed method lies in multiplied crossing of the classified image (K-means method) by Automata at a certain shape. The task aggregate classes fulfilling defined criteria concerning density of existence, and its iterative form serves to bridge gaps and eliminate dispersed pixels which don’t fulfill the threshold values of the used criterion. The approach presented here has been verified on the example aimed at showing trees on 4-canal pan-sharpened multispectral QuickBird imagery. Three parts of a scene of enclosed urban green areas of various destinations have been chosen. Selected phases of clustering are shown in images 3, 4 and 5 containing a decreased number of tall trees. An assessment of the results shows the great potential capabilities of the method and is expected to be useful in further change detection of land cover.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2006, 16; 577-586
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SAT-based searching for k-quasi-optimal runs in weighted timed automata
Autorzy:
Woźna-Szcześniak, B.
Zbrzezny, A.
Powiązania:
https://bibliotekanauki.pl/articles/121744.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
SAT
timed automata
air traffic control problem
reachability problem
automat czasowy
problem kontroli ruchu lotniczego
problem osiągalności
Opis:
In the paper we are concerned with an optimal cost reachability problem for weighted timed automata, and we use a translation to SAT to solve the problem. In particular, we show how to find a run of length k ∈ IN that starts at the initial state and terminates at a state containing a target location, its total cost belongs to the interval [c,c+1), for some natural number c ∈ IN, and the cost of each other run of length k, which also leads from the initial state to a state containing the target location, is greater or equal to c. This kind of runs is called k-quasi-optimal. We exemplify the use of our solution to the mentioned problem by means of the air traffic control problem, and we provide some preliminary experimental results.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 163-176
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of two-stage solidification: Part I model development
Autorzy:
Wodo, O.
Gawrońska, E.
Powiązania:
https://bibliotekanauki.pl/articles/380434.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
automat komórkowy
krzepnięcie
modelowanie mikrostrukturalne
struktura eutektyczna
cellular automata
solidification
microstructure modeling
dendritic structure
eutectic structure
Opis:
The paper presents a new numerical model of solidification processes in hypoeutectic alloys. The model combines stochastic elements, such as e.g. random nucleation sites and orientation of dendritic grains, as well as deterministic methods e.g. to compute velocity of dendritic tips and eutectic grains. The model can be used to determine the temperature and the size of structure constituents (of both, the primary solid phase and eutectics) and the arrangement of individual dendritic and eutectic grains in the consecutive stages of solidification. Two eutectic transformation modes, typical to modified and unmodified hypoeutectic alloys, have been included in the model. To achieve this, cellular automata and Voronoi diagrams have been utilized.
Źródło:
Archives of Foundry Engineering; 2012, 12, 4; 151-156
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of two-stage solidification: Part II computational verification of the model
Autorzy:
Wodo, O.
Gawrońska, E.
Powiązania:
https://bibliotekanauki.pl/articles/380341.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cellular automata
solidification
microstructure modeling
dendritic structure
eutectic structure
automat komórkowy
krzepnięcie
modelowanie mikrostrukturalne
struktura eutektyczna
Opis:
In Part I of this article, two-stage solidification model was presented. In this part we use our model to simulate solidification of the Al 7% Si alloy for two cooling rates - 2 deg/s and - 20 deg/s. Simulations have been performed for two eutectic transformation modes, typical for modified and unmodified alloys. Obtained cooling curves are qualitatively consistent with the typical cooling curves for modified and unmodified alloys. Moreover, evolution of cooling-curve characteristics is compared with the analytical model and found to be in close agreement.
Źródło:
Archives of Foundry Engineering; 2013, 13, 1; 125-130
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Critical Phenomena : Towards Modeling with Cellular Automata
Autorzy:
Wiśniewski, A.
Powiązania:
https://bibliotekanauki.pl/articles/92942.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
phase transitions
cellular automata
self-organized criticality
Opis:
The paper presents basic description methods of critical phenomena, i.e. first-order, continuous phase transitions, and an overview of the self-organized criticality concept. In this approach an attempt is made to identify the determinant factors of modeling critical events using cellular automata.
Źródło:
Studia Informatica : systems and information technology; 2007, 2(9); 69-76
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cryptosystem Based on Reversible Two-dimensional Cellular Automata
Autorzy:
Wiśniewski, A.
Powiązania:
https://bibliotekanauki.pl/articles/92870.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
cellular automata
reversibility
cryptosystem
Opis:
Cellular Automata have been successfully applied to several scientific problems such as among others image processing or data encryption. One could find reversibility of dynamics is a fundamental feature of nature. While the most CA are not reversible in nature, one can find some CA with simple behavior could be reversible. Reversible cellular automata (RCA) as efficient encryption and decryption devices was originally conceived by Kari. In this introduction paper, we analyze and develop reversible cellular automata (RCA) based on Kari’s idea and some Clarridge’s concepts.
Źródło:
Studia Informatica : systems and information technology; 2009, 2(13); 97-105
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On mapping onto self-organized criticality
Autorzy:
Wiśniewski, A.
Powiązania:
https://bibliotekanauki.pl/articles/93038.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
cellular automata
self-organizing system
criticality
Opis:
In the report we have discussed a few aspects of SOC concept which in general have strongly influence on explicitness of mapping process. SOC idea is based on group of models and/does not seem to give quite clear instructions whether mapped phenomena exhibit SOC or not. To present the problem we have performed a computer simulation in order to investigate the effect of the critical point within the system evolution process without conservation. We have considered that on two-dimensional cellular automata whose rule consists of one or two subrules. The first one, based on Conway’s model (or very similar to), has represented the local behavior of transmission processes and has been applied in the experiment synchronously, as a fundamental mode. The second one, called a transport rule, has been applied sequentially. That subrule has described the motion of a fraction of individuals. As a result of comparing models of the various sets of rules for the applied size of lattice, we could find that the modified Conway’s model would be merely treated as subcritical.
Źródło:
Studia Informatica : systems and information technology; 2006, 1(7); 207-216
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
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ł
Wyświetlanie 1-15 z 118

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