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-5 z 5
    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ł:
    The role of neighborhood density in the random cellular automata model of grain growth
    Autorzy:
    Czarnecki, Michał
    Sitko, Mateusz
    Madej, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/29520228.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    random cellular automata
    grain growth
    digital material representation
    Opis:
    The paper focuses on adapting the random cellular automata (RCA) method concept for the unconstrained grain growth simulation providing digital microstructure morphologies for subsequent multi-scale simulations. First, algorithms for the generation of initial RCA cells alignment are developed, and then the influence of cells density in the computational domain on grain growth is discussed. Three different approaches are proposed based on the regular, hexagonal, and random cells’ alignment in the former case. The importance of cellular automata (CA) cell neighborhood definition on grain growth model predictions is also highlighted. As a research outcome, random cellular automata model parameters that can replicate grain growth without artifacts are presented. It is identified that the acceptable microstructure morphology of the solid material is obtained when a mean number of RCA cells in the investigated neighborhood is higher than ten.
    Źródło:
    Computer Methods in Materials Science; 2021, 21, 3; 129-137
    2720-4081
    2720-3948
    Pojawia się w:
    Computer Methods in Materials Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Sphere packing algorithm for the generation of digital models of polycrystalline microstructures with heterogeneous grain sizes
    Algorytm spadających sfer dla generacji cyfrowej reprezentacji modelu polikrystalicznych mikrostruktur z heterogenicznymi rozmiarami ziaren
    Autorzy:
    Hajder, Lucyna
    Madej, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/29520283.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    DMR
    sphere packing algorithm
    cellular automata
    algorytm pakowania kuli
    automaty komórkowe
    Opis:
    Development of the cellular automata (CA) sphere packing algorithm dedicated to the generation of two- and three-dimensional digital, synthetic microstructure models with heterogenous grain size distribution is presented within the paper. The synthetic microstructure model is generated in four major steps: generation of 2D/3D cellular automata computational domain, generation of circles/spheres with a required size distribution, close-packed filling of the computational domain with generated circles/spheres, growth of the circles/spheres according to the unconstrained CA growth algorithm. As a result, synthetic microstructure models with specific, required grain size distribution described by e.g. uni- or bimodal one are obtained. To reduce computational complexity and decrease execution time, the rotation of the circles/spheres during the packing stage is based on the vector accounting for the distance from computational domain borders and other spheres. The CA grain growth algorithm is also implemented using threads mechanism allowing parallel execution of computations to increase its efficiency. The developed algorithm with the implementation details as well as a set of examples of obtained results are presented within the paper.
    W pracy przedstawiono opracowanie algorytmu pakowania sferycznego automatu komórkowego (CA) dedykowanego do generowania dwu- i trójwymiarowych, cyfrowych, syntetycznych modeli mikrostruktury o niejednorodnym rozkładzie ziarnistości. Syntetyczny model mikrostruktury jest generowany w czterech głównych etapach: generowanie domeny obliczeniowej automatu komórkowego 2D/3D, generowanie okręgów/kul o wymaganym rozkładzie wielkości, wypełnianie domeny obliczeniowej wygenerowanymi okręgami/kulami, wzrost okręgów/kul zgodnie z algorytmem nieograniczonego wzrostu CA. W rezultacie otrzymujemy syntetyczne modele mikrostruktury o specyficznym, wymaganym rozkładzie uziarnienia opisanym np. jedno- lub dwumodalnym rozkładem. Aby zmniejszyć złożoność obliczeniową i skrócić czas wykonania, rotacja kół/kul podczas etapu pakowania opiera się na wektorowym rozliczaniu odległości od granic domen obliczeniowych z innymi sferami. Algorytm wzrostu ziarna CA jest również zaimplementowany z wykorzystaniem mechanizmu wątków, co pozwala na równoległe wykonywanie obliczeń w celu zwiększenia jego wydajności. W artykule przedstawiono opracowany algorytm wraz ze szczegółami implementacji oraz zestawem przykładów uzyskanych wyników.
    Źródło:
    Computer Methods in Materials Science; 2020, 20, 1; 22-30
    2720-4081
    2720-3948
    Pojawia się w:
    Computer Methods in Materials Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automaty komórkowe jako narzędzie modelowania i symulacji procesów przestrzennych w systemach informacji geograficznej
    Cellular automata - a tool for spatio-temporal modelling and simulation in GIS
    Autorzy:
    Drzewiecki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/262335.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    system informacji geograficznej
    GIS
    automaty komórkowe
    modelowanie
    geographic information system (GIS)
    cellular automata
    modeling
    Opis:
    W artykule przedstawiono definicję i zasadę funkcjonowania automatu komórkowego oraz sposoby integracji automatów komórkowych z systemami informacji geograficznej. Zaprezentowano również zaczerpnięte z literatury przykłady zastosowań automatów komórkowych jako narzędzia modelowania i symulacji dynamicznych procesów przestrzennych w systemach informacji geograficznej.
    The paper presents a cellular automata definition and functionality as well as ways of its integration with Geographical Information Systems. In the second part a short review of cellular-based GIS applications to modelling and simulation of dynamic spatial processes is given.
    Źródło:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2006, 12, 2/1; 183-195
    1234-6608
    Pojawia się w:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
    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-5 z 5

      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