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ł:
Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
Complexity of the characteristic semi-group “AG” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309692.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
pojazd szynowy
sterowanie pojazdem
symulacja sterowania
teoria automatów
automaty asynchroniczne
analiza graficzna
izomorfizm
model matematyczny
rail vehicle
vehicle control
control simulation
automata theory
asynchronous automaton
graphical analysis
isomorphism
mathematical model
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,..., gq-1 where is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1473-1477, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309744.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
automat
teoria automatów
automat asynchroniczny spójny
iloczyn prosty
półgrupa charakterystyczna
automaton
automata theory
asynchronous automaton
direct sum
characteristic semi-group
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1322-1326, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie metody automatów komórkowych do opracowania cyfrowej reprezentacji wybranych cech mikrostruktury w oparciu o obrazy binarne jej składników
Application of cellular automata method to develop a digital representation of selected features of the microstructure based on the binary images of its components
Autorzy:
Opara, J.
Wrożyna, A.
Powiązania:
https://bibliotekanauki.pl/articles/181775.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Metalurgii Żelaza im. Stanisława Staszica
Tematy:
cyfrowa reprezentacja materiału
automaty komórkowe
mikrostruktura
stereologia
digital material representation
cellular automata
microstructure
stereology
Opis:
W ramach pracy stworzono program komputerowy, w którym zaimplementowano dwuwymiarowy automat komórkowy wraz z autorskim algorytmem do przetwarzania obrazów binarnych rzeczywistej mikrostruktury na jej cyfrową reprezentację. Szczegółowo opisano schemat dyskretyzacji badanego obszaru mikrostruktury. Zaprezentowano możliwości opracowanego rozwiązania.
A computer program was built in this work, where a two-dimensional cellular automaton is implemented and including authors’ algorithm for conversion of binary images of the real microstructure to the digital microstructure representation. Discretization scheme of the investigated microstructure is explained in detail. The possibilities of the developed solution were presented.
Źródło:
Prace Instytutu Metalurgii Żelaza; 2013, T. 65, nr 4, 4; 2-7
0137-9941
Pojawia się w:
Prace Instytutu Metalurgii Żelaza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie automatu komórkowego do modelowania ruchu drogowego w zmiennych warunkach pogodowych
Application of cellular automata for road traffic modelling in varying weather conditions
Autorzy:
Bernaś, M.
Płaczek, B.
Powiązania:
https://bibliotekanauki.pl/articles/197698.pdf
Data publikacji:
2011
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
ruch drogowy
modelowanie ruchu
warunki pogodowe
road traffic
road traffic modelling
cellular automata
weather conditions
Opis:
Publikowane w literaturze wyniki badan dowodza, e warunki pogodowe maja znaczny wpływ na zachowania kierujacych, a co za tym idzie take na parametry strumieni pojazdów i efektywnosc sterowania ruchem drogowym. Istnieje zatem potrzeba prognozowania wpływu warunków pogodowych na zmiany efektywnosci procedur sterowania ruchem drogowym. Chcac umoliwic taka prognoze, niezbedne jest opracowanie modelu ruchu, który bedzie uwzgledniał wpływ czynników pogodowych. W tym celu zaproponowano modyfikacje automatu komórkowego Nagela-Schreckenberga (NaSch). Dokonano rozszerzenia definicji modelu NaSch o elementy, które pozwalaja odwzorowac funkcjonowanie sygnalizacji swietlnej na skrzyowaniu oraz dostosowac predkosc maksymalna pojazdów do warunków pogodowych. Przedstawione w artykule wyniki symulacji dotycza wpływu zmiany warunków pogodowych na straty czasu i liczby zatrzyman pojazdów obserwowane na wlocie skrzyowania z sygnalizacja swietlna.
The research presented in many papers suggests that weather conditions have major influence on drivers’ behaviour; leading to parameters change of vehicles streams in road network. Therefore, there is a need to forecast the influence of the weather conditions on traffic control procedures. To make it possible the weather sensitive traffic model has to be proposed. Nagel-Schreckenberg (NaSch) model were used as a base for a proposed model. The model were enhanced by three equations to simulate traffic signal control and to adjust the maximum speed representing various weather conditions. Results of performed simulations show changes in number of stops and stop delays at the intersection approach in various weather conditions.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2011, 72; 5-12
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie automatów komórkowych w modelowaniu konfliktów przestrzennych na przykładzie modelowania epidemii
Application of cellular automata in modeling of spatial conflicts in the example of epidemia modeling
Autorzy:
Stachura-Terlecka, B.
Ligęza, A.
Powiązania:
https://bibliotekanauki.pl/articles/324268.pdf
Data publikacji:
2018
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
modeling of epidemics
Cellular Automata
Layered Competitive Cellular Automata
modeling spatial conflicts
modelowanie epidemii
automaty komórkowe
modelowanie konfliktów przestrzennych
Opis:
This article presents a different approach to epidemics modeling. For the purpose of this modeling, an outbreak as well as its prevention methods are considered as a special kind of spatial conflict. A new type of cellular automata - Layered Competitive Cellular Automata (LCCA) - were used to model it. Thanks to using the LCCA one can not only model the result of the conflict, but above all its development, while the possibility of adding various physical phenomena and their influence on the conflict makes the results even more realistic. The results of the conflict modeling are presented on a map, which allows to observe and analyze them at different stages of modeling. This approach meets the requirements of modeling algorithms
W artykule zaprezentowano inne podejście do modelowania epidemii. Epidemia i metody jej przeciwdziałania na potrzeby tego modelowania traktowana jest jako specjalny rodzaj konfliktu przestrzennego. Do jej modelowania użyto nowego typu automatów komórkowych – Layered Competitive Cellular Automata. Zastosowanie LCCA umożliwia nie tylko modelowanie samego wyniku konfliktu, ale przede wszystkim jego przebiegu, zaś możliwość dodania wpływu zjawisk fizycznych na poszczególne strony konfliktu urealnia wyniki. Wyniki modelowania zaprezentowane są na mapie dzięki czemu można obserwować je na poszczególnych etapach modelowania. Takie podejście wychodzi na przeciw wymaganiom stawianym algorytmom modelowania.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 130; 567-574
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie przestrzennego automatu deterministycznego do symulowania obniżeń terenu spowodowanych podziemną eksploatacją
Application of the spatial deterministic automaton to simulate area subsidences caused by underground exploitation
Autorzy:
Sikora, P.
Powiązania:
https://bibliotekanauki.pl/articles/167544.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Górnictwa
Tematy:
obniżenia
górotwór
automat komórkowy
subsidences
rock mass
cellular automata
Opis:
W pracy przedstawiono rozwinięcie koncepcji budowy płaskiego modelu górotworu zbudowanego w oparciu o teorię automatów komórkowych do podstawowego modelu trójwymiarowego, a także pokazano podstawową zależność matematyczną wiążącą przyjęte, odwzorowywane w rzeczywistości, wymiary komórki, wartość maksymalnego obniżenia z głębokością eksploatacji oraz maksymalnym nachyleniem niecki na powierzchni modelu dla niecki nadpełnej.
This paper presents the expansion of the building concept from the 2-dimensional rock mass model to the 3-dimensional model on the basis of the cellular automata theory. The author presents the basic formula describing the relation between maximum subsidence, depth of exploitation, cell dimensions and maximum inclination, all remapped in reality for the full subsidence through.
Źródło:
Przegląd Górniczy; 2014, 70, 8; 131-136
0033-216X
Pojawia się w:
Przegląd Górniczy
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ł:
Wykorzystanie automatów komórkowych w modelowaniu ruchu drogowego
Use of cellular automata for traffic analysis
Autorzy:
Małecki, K.
Rokita, M.
Wątróbski, J.
Powiązania:
https://bibliotekanauki.pl/articles/154665.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automaty komórkowe
symulacja
cellular automata
simulation
Opis:
Uniwersalność automatów komórkowych spowodowała, iż znajdują zastosowanie w wielu dziedzinach, np. w modelowaniu i symulacji ruchu drogowego. Autorzy prezentują dokonania w tym zakresie (tab. 1) oraz formułują nowy model, będący rozwinięciem modelu skrzyżowania dróg prezentowanego w [1] i [8]. Dodatkowo autorzy przedstawiają charakterystykę opracowanego, nowatorskiego systemu, umożliwiającego modelowanie dowolnego obszaru (zespół skrzyżowań i dróg) oraz symulowanie ruchu w ujęciu mikroskopowym.
Cellular automata are considered by some researchers to belong to one of the IT department, which is an artificial intelligence. Even though their history goes back to the forties of the last century, much attention is still paid to the use of cellular automata for the process of testing and simulation of different phenomena. The universality of cellular automata caused their application to many areas such as: physics, computer graphics and traffic modeling. The authors present the achievements in this field (Table 1) and formulate a new traffic model which is a development of the crossroads model defined by Chowdhury-Schadschneider [1] and later by Bartodziej [8]. This new model helps to simulate traffic at the crossroads of two-lane and two-way roads. In addition, there is given the worked out system characteristics which enables modeling any area (intersections and roads) and carrying out the traffic simulations in a microscopic approach. The software consists of two applications: TrafficCA (traffic simulator based on cellular automata) and the map editor (this application enables generating any area including roads, traffic lights and the surroundings). Taking into account the fact that the simulated cases are always correct (carried out in accordance with properly defined models of cellular automata), the developed system, except for the traffic modeling, can be used for showing driver behaviour unfavourable for traffic capacity.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 724-727
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane aspekty zastosowania 2D automatów komórkowych do przetwarzania informacji
Choosen aspects of using of 2D cellular automata for information processing
Autorzy:
Wasiewicz-Porębska, A.
Powiązania:
https://bibliotekanauki.pl/articles/268082.pdf
Data publikacji:
2009
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
automaty komórkowe
reguły
przetwarzanie obrazów
cellular automata
rules
pictures processing
Opis:
Automaty komórkowe dobrze nadają się do modelowania zjawisk globalnych powstających w wyniku lokalnego oddziaływania sieci powtarzalnych elementów. Dla zadania przetwarzania informacji istotne jest aby były one stabilne i nietrywialnie. Proponowany „klucz” wyszukiwania przydatnych automatów komórkowych oparty jest na analizie liczby komórek niezerowych i grafach połączeń w obrębie tzw. sąsiedztwa. Pokazano, jak struktura reguły rzutuje na dynamikę jednorodnych automatów komórkowych.
Cellular automata are a good tool for modelling global processes which occur during local interaction of a net of the same elements. From information processing point of view it is important that such cellular automata are nontrivial and stable. The manner for searching of such automata proposed in the text bases on analysis of number of nonzero cells in configuration and the graphs on connections within the neighbourhood. The connection between the rule structure and behaviour of homogenous automata is shown.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2009, 26; 121-124
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ marketingu szeptanego na zachowania konsumentów na rynku oligopolistycznym
Impact of word of mouth marketing on consumer behavior in an oligopolistic market
Autorzy:
Kowalska-Styczeń, A.
Powiązania:
https://bibliotekanauki.pl/articles/322238.pdf
Data publikacji:
2013
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
marketing szeptany
sieć społeczna
grupa nieformalna
preferencje konsumenta
automat komórkowy
zachowania konsumentów
oligopol
word of mouth marketing
social network
informal group
consumer preferences
cellular automata
consumer behaviour
oligopoly
Opis:
W artykule przedstawiono badanie zależności dynamiki mechanizmu „word of mouth” od różnego rozmiaru nieformalnych grup (otoczenie 4-elementowe i otoczenie 12- elementowe) oraz różnej wielkości sieci (społeczeństwa, w którym ma miejsce komunikacja word of mouth). Istotnym założeniem tego procesu jest uwzględnienie możliwości różnicowania źródeł informacji przez wprowadzenie do modelu ruchu agentów/konsumentów. Jest to modelowanie zachowań konsumentów rynku oligopolistycznego. Badany jest wpływ wielkości i ilości źródeł marketingu szeptanego na ryzyko zmiany preferencji konsumentów produktów dwóch konkurencyjnych firm. Do modelowania wykorzystano dwuwymiarowy automat komórkowy.
In this article, a study how the dynamic of word of mouth mechanism depends on different informal groups sizes (4 and 12 -element neighborhoods) and different lattice sizes (societies) is presented. A key assumption of this process is possibility to differentiate information sources by introducing agent/consumer movement to the model. It is modeling of customer behavior in oligopoly markets. The impact of size and number of sources of the word of mouth marketing to the risk of changes in consumer preferences products of two competing companies is being investigated. For modeling two-dimensional cellular automaton has been used.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2013, 64; 157-167
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
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ł:
Using shared memory as a cache in cellular automata water flow simulations on GPUs
Autorzy:
Topa, P.
Młocek, P.
Powiązania:
https://bibliotekanauki.pl/articles/305529.pdf
Data publikacji:
2013
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
cellular automata
GPU computation
modelling physical phenomena
Opis:
Graphics processors (GPU – Graphic Processor Units) recently have gained a lot of interest as an efficient platform for general-purpose computation. Cellular Automata approach which is inherently parallel gives the opportunity to implement high performance simulations. This paper presents how shared memory in GPU can be used to improve performance for Cellular Automata models. In our previous works, we proposed algorithms for Cellular Automata model that use only a GPU global memory. Using a profiling tool, we found bottlenecks in our approach. With this paper, we will introduce modifications that takes an advantage of fast shared memory. The modified algorithm is presented in details, and the results of profiling and performance test are demonstrated. Our unique achievement is comparing the efficiency of the same algorithm working with a global and shared memory.
Źródło:
Computer Science; 2013, 14 (3); 385-401
1508-2806
2300-7036
Pojawia się w:
Computer Science
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ł:
Two–lane traffic analysis by means of cellular automata solutions within a highway model
Modelowanie automatem komórkowym ruchu na dwupasmowej autostradzie
Autorzy:
Burzyński, M.
Schultz, T.
Zając, P.
Kosiński, W.
Powiązania:
https://bibliotekanauki.pl/articles/375270.pdf
Data publikacji:
2009
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
model Nagela-Schreckenberga
autostrada
automat komórkowy
speedway
Nagel-Schreckenberg model
cellular automata
Opis:
A discrete model to simulate two–way traffic flow is introduced. The well known cellular automata Nagel-Schreckenberg model is extended by adding another road lane. New sets of state rules is developed to provide lane change maneuver for vehicle overtaking and returning to lane designated for slower traffic. Results of numeric simulations are consistent with the so-called fundamental diagram (flow vs. density), as is observed in the real free-way traffic.
W artykule przedstawiono dyskretny model ruchu drogowego. Znamy model Nagela-Schreckenberga oparty na automatach komórkowych został rozszerzony o dodatkowe pasmo ruchu. Opracowano nowy zestaw reguł zmiany stanów umożliwiający manewr zmiany pasa ruchu-wyprzedzania oraz powrót na pas przeznaczony do jazdy z mniejsza prędkością. Wyniki numerycznych symulacji są zgodne z podstawowym diagramem fundamentalnym (przepływ versus gęstość), zależnością obserwowana w ruchu rzeczywistym.
Źródło:
Transport Problems; 2009, 4, 4; 25-32
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:
Daszczuk, W. B.
Powiązania:
https://bibliotekanauki.pl/articles/305419.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata
Opis:
Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 23-36
1508-2806
2300-7036
Pojawia się w:
Computer Science
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