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-25 z 118
Tytuł:
On State-Synchronized Automata Systems
Autorzy:
Meduna, Alexander
Kučera, Jiřĭ
Powiązania:
https://bibliotekanauki.pl/articles/1373671.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
pushdown automata
determinism
recursively enumerable languages
state-synchronized automata systems
automata systems
Opis:
In this paper, we introduce a new kind of automata systems, called state-synchronized automata systems of degree $n$. In general, they consists of $n$ pushdown automata, referred to as their components. These systems can perform a computation step provided that the concatenation of the current states of all their components belongs to a prescribed control language. As its main result, the paper demonstrates that these systems characterize the family of recursively enumerable languages. In fact, this characterization is demostrated in both deterministic and nondeterministic versions of these systems. Restricting their components, these systems provides less computational power.
Źródło:
Schedae Informaticae; 2015, 24; 221-237
0860-0295
2083-8476
Pojawia się w:
Schedae Informaticae
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ł:
RCAFE Based Numerical Model of Dynamic Recrystallization
Autorzy:
Legwand, A.
Sitko, M.
Perzyński, K.
Madej, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/100012.pdf
Data publikacji:
2016
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
cellular automata
RCAFE
recrystallization
Opis:
The main goal of the paper is dedicated to proper arrangement of the Finite Element (FE) and Random Cellular Automata (RCA) methods in order to develop numerical model of dynamic recrystallization (DRX) and therefore to simulate microstructure morphology changes during plastic deformation at elevated temperatures. In the approach, Finite Element solver provides information on equivalent stress and strain fields after subsequent time steps. Then these data are transferred to RCA model, which is responsible for evaluation of corresponding microstructure morphology evolution and dislocation density changes. Finally, information from the CA part is send back to the FE solver as an input for the next time step. As a result, a fully coupled RCAFE model to simulate progress of DRX is established. The present paper is directly focused on development of algorithms and methods to transfer input/output data between both FE and RCA models. The developed communication protocol is based on the Abaqus VUMAT subroutine. Examples of obtained results from the developed model are also presented to highlight its potential.
Źródło:
Journal of Machine Engineering; 2016, 16, 2; 52-60
1895-7595
2391-8071
Pojawia się w:
Journal of Machine Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bisimulation relation for selected types of probabilistic and quantum automata
Autorzy:
Siedlecka-Lamch, O.
Powiązania:
https://bibliotekanauki.pl/articles/121922.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
bisimulation relation
probabilistic automata
quantum automata
relacja bisymulacji
automaty probabilistyczne
automaty kwantowe
Opis:
The first step to make transitional systems more efficient is to minimize the number of their states. A bisimulation relation is a mathematical tool that helps in searching for equivalent systems, what is useful in the minimization of algorithms. For two transition systems bisimulation is a binary relation associating systems which behave in the same way in the sense that one system simulates the other and viceversa. The definition for classical systems is clear and simple, but what happens with nondeterministic, probabilistic and quantum systems? This will be the main topic of this article.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 135-140
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of modified Ritchie-Knott-Rice criterion to cellular automata
Autorzy:
Janus-Gałkiewicz, Urszula
Neimitz, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/280710.pdf
Data publikacji:
2019
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
fracture mechanics
cleavage
cellular automata
Opis:
In this paper, the cellular automata model is applied to analyse cleavage and ductile fracture in front of a crack in three-point-bend specimens made of Hardox-400 steel. The research programme was composed of experiments followed by fractographic and numerical analyses. On the basis of microscopic observations, the sizes of cells used in the automata were determined. The algorithm enabled mapping of the two-dimensional crack surface as well as a simulation of temperature-dependent failure mechanisms by defining transition rules based on the modified Ritchie-Knott-Rice cleavage fracture criterion. The critical stress values were estimated and verified by the cellular automata model.
Źródło:
Journal of Theoretical and Applied Mechanics; 2019, 57, 3; 577-590
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of the electrophoresis of DNA by the method of cellular automata
Autorzy:
Krawczyk, Małgorzata
Kułakowski, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/747601.pdf
Data publikacji:
2002
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Biochemistry, molecular biology
Cellular automata
Opis:
.
The authors give the description of a new cellular automaton for simulating the electrophoresis of gel DNA. This automaton is deterministic, which corresponds to the well-known Monte Carlo rules holding for the electrophoresis at a low temperature and a high intensity electric field. The experimental results indicate that under such conditions the electrophoresis efficiency depends significantly on the string length.
Źródło:
Mathematica Applicanda; 2002, 30, 44/03
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
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ł:
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ł:
Cellular automata: structures and some applications
Automaty komórkowe: struktura i pewne zastosowania
Autorzy:
Burzyński, M.
Cudny, W.
Kosiński, W.
Powiązania:
https://bibliotekanauki.pl/articles/282005.pdf
Data publikacji:
2004
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
cellular automata
traffic flow
fuzzy rules
Opis:
A new approach to the modelling of various nature phenomena such as predator and prey ecological system, heat transport, spreading of oil slick and traffic flow is introduced. Cellular automata (CA) are discrete dynamical systems whose behaviour is completely specified in terms of simple local relations. They are mathematical models of spatialy distributed processes; however they can lead to an appropriate simulation of comlex dynamic processes. Applications to heat transfer and problems of environmental simulations are done. A discrete automaton model with fuzzy rules to simulate one-way traffic flow is also described. Results of simulations are consistent with phenomena observed in reality. It gives a base to propose the cellular automata tool as an option in modelling and solving problems of complex (and some times, not completely known) nature.
W pracy zaprezentowano metodę modelowania układów i zjawisk obserwowanych w przyrodzie, takich jak dynamika systemu ekologicznego drapieżnik-ofiara, przewodzenie ciepła, rozprzestrzenianie się plamy ropy naftowej po wycieku na wodzie czy ruch strumienia pojazdów na drodze miejskiej. Metodę oparto na tzw. automatach komórkowych, które są układami dyskretnymi o zachowaniach ściśle zdeterminowanych prostymi relacjami o charakterze lokalnym. Automaty komórkowe to matematyczne modele procesów przestrzennych, mogące z powodzeniem opisywać złożone zjawiska dynamiczne. W pracy przedstawiono aplikację do zagadnienia przewodzenia ciepła oraz kilku symulacji środowiskowych. Przedstawiono także model automatowy z regułami rozmytymi opisujący jednokierunkowy ruch pojazdów na drodze. Wyniki symulacji okazały się zgodne z obserwacjami rzeczywistych układów. Zachęcające rezultaty badań skłaniają do postrzegania automatów komórkowych jako efektywnej opcji w modelowaniu i rozwiązywaniu problemów o złożonej (czasem nie całkiem rozpoznanej) naturze.
Źródło:
Journal of Theoretical and Applied Mechanics; 2004, 42, 3; 461-482
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of water flows on ship traffic in narrow water channels based on cellular automata
Autorzy:
Hu, H.
Chen, X.
Sun, Z.
Powiązania:
https://bibliotekanauki.pl/articles/260068.pdf
Data publikacji:
2017
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
narrow channel
cellular automata
simulation
ship interaction
Opis:
In narrow water channels, ship traffic may be affected by water flows and ship interactions. Studying their effects can help maritime authorities to establish appropriate management strategies. In this study, a two-lane cellular automation model is proposed. Further, the behavior of ship traffic is analyzed by setting different water flow velocities and considering ship interactions. Numerical experiment results show that the ship traffic density-flux relation is significantly different from the results obtained by classical models. Furthermore, due to ship interactions, the ship lane-change rate is influenced by the water flow to a certain degree.
Źródło:
Polish Maritime Research; 2017, S 3; 130-135
1233-2585
Pojawia się w:
Polish Maritime Research
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ł:
On regular copying languages
Autorzy:
Wang, Yang
Hunter, Tim
Powiązania:
https://bibliotekanauki.pl/articles/24201233.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
reduplication
copying
finite-state machinery
queue automata
Opis:
This paper proposes a formal model of regular languages enriched with unbounded copying. We augment finite-state machinery with the ability to recognize copied strings by adding an unbounded memory buffer with a restricted form of first-in-first-out storage. The newly introduced computational device, finite-state buffered machines (FS-BMs), characterizes the class of regular languages and languages de-rived from them through a primitive copying operation. We name this language class regular copying languages (RCLs). We prove a pumping lemma and examine the closure properties of this language class. As suggested by previous literature (Gazdar and Pullum 1985, p.278), regular copying languages should approach the correct characteriza-tion of natural language word sets.
Źródło:
Journal of Language Modelling; 2023, 11, 1; 1--66
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
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ł:
The Complex Computer System Based on Cellular Automata Method Designed to Support Modelling of Laminar Cooling Processes
Autorzy:
Gołąb, R.
Madej, Ł.
Pietrzyk, M.
Powiązania:
https://bibliotekanauki.pl/articles/100057.pdf
Data publikacji:
2014
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
cellular automata
finite element method
cooling process
Opis:
The user friendly computer system that have the capability of modelling material behaviour both at the macro and micro scales was developed in this work. The system was designed to predict microstructure evolution during phase transformation in laminar cooling conditions with the use of the multi scale cellular automata finite element (CAFE) model. The finite element (FE) part is based on the conventional Fourier type equation and is used to predict macroscopic temperature distribution. This is an input for the micro scale cellular automata (CA) model of austenite-ferrite phase transformation. To facilitate the research, proposed micro scale CA model was implemented within developed universal object-oriented programming framework CAF. Description of major assumptions and functionality of the developed numerical system including efficient Graphical User Interface (GUI) is presented in the paper. The intuitive visualization of data obtained in different length scales facilitates work with the software.
Źródło:
Journal of Machine Engineering; 2014, 14, 1; 63-73
1895-7595
2391-8071
Pojawia się w:
Journal of Machine Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of changes of the Warsaw urban area 1969-2023 (application of cellular automata)
Autorzy:
Werner, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2032490.pdf
Data publikacji:
2006-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Tematy:
cellular automata
GIS
spatio-temporal processes
urbanization
Opis:
It is possible to make analyses within the field of GIS applying cellular automata. One of the purposes of socio-economic geography is indirect understanding of the phenomenon by analyzing spatial patterns and inferring spatio-temporal processes looking rather for local hotspots. The cellular automata are the tool both for spatio-temporal inferring based on local conditions and data visualization. The evidence is the case study of spatial simulation of Warsaw Urban Area (Poland). The author verifies the hypothesis that the present layout and extent of the Warsaw agglomeration determines further directions of the city's spatial development. To this end, he employs a method based on cellular automata theory.
Źródło:
Miscellanea Geographica. Regional Studies on Development; 2006, 12; 329-335
0867-6046
2084-6118
Pojawia się w:
Miscellanea Geographica. Regional Studies on Development
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The use of complexity hierarchies in descriptive set theory and automata theory
Autorzy:
Andretta, A.
Camerlo, R.
Powiązania:
https://bibliotekanauki.pl/articles/1964199.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
hierarchies
infinite games
Borel reducibility
automata theory
Opis:
The concept of a reduction between subsets of a given space is described, giving rise to various complexity hierarchies, studied both in descriptive set theory and in automata theory. We discuss in particular the Wadge and Lipschitz hierarchies for subsets of the Baire and Cantor spaces and the hierarchy of Borel reducibility for finitary relations on standard Borel spaces. The notions of Wadge and Lipschitz reductions are related to corresponding perfect information games.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 3; 337-356
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Probability timed automata for investigating communication processes
Autorzy:
Piech, H.
Grodzki, G.
Powiązania:
https://bibliotekanauki.pl/articles/331047.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
protocol logic
probabilistic timed automata
communication security
Opis:
Exploitation characteristics behaves as a decreasing valors factor (DVF) which can be connected with degradation processes. It is a structure that consists of independent attributes which represent situations generally connected with a given exploitation factor. The multi-attribute structure contains attributes directly and indirectly referring to the main factor. Attribute states, by definition, can only maintain or decrease their values. Such situations are met in security, reliability, exploitation, fatigues and many complex one-directed or irreversible processes. The main goal refers to protocol security analysis during the realization of the communication run that specifies the assessment of the level of current and oncoming threats connected with cryptography authentication. In the communication run, the operations of different protocols mutually interleave. Our concept is based on the algorithm of attributes correction during exploitation process realization (Blanchet et al., 2008). The monitoring and correcting procedures make it possible to provide forecast information about possible threats on the basis of the structure of the current attribute values.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2015, 25, 2; 403-414
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Development software for study the wood drying chamber by using a three-dimensional mathematical model based on cellular automata
Autorzy:
Sokolovskyy, Yaroslav
Sinkevych, Oleksiy
Volianskyi, Roman
Kapran, Ihor
Powiązania:
https://bibliotekanauki.pl/chapters/32304194.pdf
Data publikacji:
2021
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
wood drying chamber.
CAD model
cellular automata
Opis:
The paper describes the study of the drying processes of capillary-porous materials by using the CAD model of wood drying chamber. The study involves the determination of temperature and humidity in the stack of dried wood by using cellular automata. To accomplish this task, we developed a three-dimensional mathematical model of heat transfer of wood in the drying process. In order to use this mathematical model in practice, we described the ways of representing the CAD model in the form of multidimensional arrays whose elements are 3D cubes, as well as special schemes of the relation between the edges of these 3D cubes. This representation allows us to make the most effective use of the developed mathematical model, which is described by an interconnected system of partial differential equations in time derivatives and spatial coordinates. Also in this paper, the results of the calculations in the form of graphs of change in the temperature and humidity of the stack of dried wood according to time iterations are shown. In order to take simpler results, we developed a radial basis artificial neural network.
Źródło:
Methods and tools in CAD – selected issues; 133-144
9788366391871
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ł:
Detecting epileptogenesis in power variant domains
Autorzy:
Lewis, R. A.
Parks, B.
Shmueli, D.
Capinst, S.
Powiązania:
https://bibliotekanauki.pl/articles/206373.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
intracortical electroencephalograms automata
epilepsy
Fourier transforms
rough sets
Opis:
This paper presents the merging of two sets of experiments in the continuing endeavor to mine epileptiform activity from Electroencephalograms (EEG). The goal is to develop robust classification rules for identifying epileptiform activity in the human brain. We present advancements using the author's proprietary developed spectral analysis software to link power spectra of rat EEGs experiencing epilepsy seizures with the authors DFA algorithm and their MATLAB spectral analysis. Our system links 1) power spectra of seizures, in sleep, spike and seizure states, with 2) Deterministic Finite Automata (DFA). Combining power spectra with DFA to correctly predict and identify epileptiform activity (spikes) and epileptic seizures opens the door to creating classifiers for seizures. We also present a DFA that separates the states between seizure and nonseizure using robust testing and additional algorithms to increase the rigor when the methodology analyses noisy signals. Our results show optimal identification of seizures even when significant artifact and noise is present in the polyphonic domain. Herein we present a dual methodology that increases epileptoid identification in a noisy domain that links time and frequency domain components from MATLAB and proprietary software to clinical epileptiform activity.
Źródło:
Control and Cybernetics; 2011, 40, 2; 293-314
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oprogramowanie CrowdSim do modelowania dynamiki pieszych
CrowdSim – Pedestrian Dynamics Modeling Software
Autorzy:
Dobrowolski, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373081.pdf
Data publikacji:
2018
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
ewakuacja
modelowanie
automat komórkowy
evacuation
modelling
cellular automata
Opis:
Cel: Celem artykułu jest zaprezentowanie autorskiego oprogramowania CrowdSim służącego do modelowania dynamiki pieszych. W oprogramowaniu zaimplementowano algorytmy bazujące na dwuwymiarowym modelu automatu komórkowego Cellular Automata(CA). Uwzględniono w nich strategiczne możliwości pieszych dotyczące wyboru wyjścia (model CA-A) oraz możliwości powstawania zakłóceń płynności ruchu i blokad (model CA-B). Zaimplementowanie różnych pod względem złożoności modeli dało możliwości porównania ich efektywności, funkcjonowania oraz stopnia realizmu otrzymywanych wyników. Projekty i metody: W celu lepszego i bardziej wiarygodnego wyznaczania ścieżek poruszania się pieszych zaproponowano dwie modyfikacje usprawniające działanie algorytmów symulacyjnych. Pierwszą z nich było wprowadzenie zaawansowanych algorytmów rankingujących komórki: SRA (Simple Ranking Algorithm), BFS-RA (Breadth First Search Ranking Algorithm) i ARA (Advanced Ranking Algorithm). Wartość rankingu danej komórki w procesie symulacji jest dla każdego z aktorów wyznacznikiem drogi, po której się porusza. Kolejnym autorskim usprawnieniem było wprowadzenie do definicji automatu komórkowego pojęcia pamięci aktora, dzięki czemu piesi podczas symulacji, pamiętając swoje ostatnie ruchy, poruszają się bardziej płynnie i realistycznie. Wyniki: Na potrzeby porównania modeli przygotowana została specjalna mapa budynku o wymiarach kontygnacji 40 na 22,5 metra (900 m2 ) zdolnego pomieścić maksymalnie 3000 osób. Przeprowadzone symulacje wykazały, że w przypadku modelu CA aktorzy gromadzą się przy jednym z wyjść, podczas gdy pozostałe zostają w większości nieużywane. Wynika to z faktu, że w modelu CA brakuje funkcji kosztu, zatem aktor zawsze wybiera wyj-ście najbliższe. Inaczej sprawa ma się w przypadku modelu CA-A. Tu aktorzy w miarę równo obciążają każde z wyjść; są oni w stanie podjąć decyzje odnośnie do wyboru wyjścia nie tylko na podstawie odległości, ale również zagęszczenia osób przy danym wyjściu. W przypadku porównania modeli CA-A i CA-B praktycznie niezauważalne są różnice w otrzymanych statystykach obciążenia wyjść. Dopiero po bliższym przyjrzeniu się ruchowi aktorów podczas symulacji widać, że jeśli w przypadku czystego modelu CA-A ludzie poruszają według idealnego porządku, o tyle w modelu CA-B zauważalne są chwilowe blokady i zakleszczenia aktorów.Wnioski: Stworzone i zaprezentowane w niniejszej pracy oprogramowanie CrowdSim może posłużyć zarówno projektantom, architektom lub konstruktorom, jak i służbom porządkowym, ochronie danego obiektu lub organizatorom imprez masowych. Symulacje wykonane wielokrotnie dla jednego scenariusza przy różnych parametrach wejściowych uwidoczniają problemy i wąskie gardła mogące pojawić się w trakcie ewakuacji z zagrożonego obiektu. Przeprowadzanie takich symulacji na etapie projektowym może bardzo pozytywnie wpłynąć na bezpieczeństwo osób użytkujących dany obiekt, jak również poprawić jego funkcjonalność.
Aim: Phe aim of the article is to present CrowdSim, proprietary software for modeling the dynamics of pedestrians. The software offers algorithms based on a 2-dimensional model of aCellular Automaton (CA). They include strategic pedestrian choices of the exit (CA-A model) and the formation of blockages (Model CA-B). Implementation of various models in terms of their complexity provided the opportunity to compare their efficiency, functioning and realism of the results obtained.Project and methods: In order to better and more credibly determine pedestrian paths, two modifications were proposed to improve the operation of simulation algorithms. The first of these was the introduction of advanced algorithms ranking cells: SRA (Simple Ranking Algorithm), BFS-RA (Breadth First Search Ranking Algorithm) and ARA (Advanced Ranking Algorithm). The value of the ranking of a given cell in the simulation process is for each BITP VOL. 52 ISSUE 4, 2018, pp. 46–66, https://dx.doi.org/10.12845/bitp.52.4.2018.3SAFETY & FIRE TECHNIQUERESEARCH AND DEVELOPMENT47of the actors the determinant of the path on which it moves. Another proprietary improvement was the introduction of the concept of actor's memory to the definition of a cellular automata, thanks to which pedestrians, while remembering their last movements, move more smoothly and realistically.Results: For the purposes of model comparison, a special map of the building with the dimensions of 40 to 22.5 meters (900 m2) has been prepared, able to accommodate a maximum of 3000 people. The simulations showed that in the case of the CA model, the actors gather at one of the outputs while the others are mostly unused. This is due to the fact that the CA model lacks the cost function, so the actor always chooses the nearest output. Things are different in the case of the CA-A model. Here, the actors equally burden each exit, they are able to make decisions regarding the choice of the exit not only on the basis of the distance but also the concentration of actors at the given exit. When comparing the CA-A and CA-B models, there are practically no differences in the received output load statistics. Only after a closer look at the movement of the actors during the simulation can be seen that if in the case of a clean CA-A model people move according to the ideal order, in the CA-B model there are momentary blockages and deadlocks of actors.Conclusions: CrowdSim software created and presented in this work can be used by designers, architects or constructors as well as law enforcement, protection of a given facility or organizers of mass events. Simulations made repeatedly for one scenario with different input parameters reveal problems and bottlenecks that may appear during evacuation from an object at risk. Conducting such simulations at the design stage can have a very positive impact on the safety of people using a given facility, as well as improve its functionality.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2018, 52, 4; 46-66
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ordered Pure Multi-Pushdown Automata
Autorzy:
Meduna, A.
Soukup, O.
Zemek, P.
Powiązania:
https://bibliotekanauki.pl/articles/375792.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
pure multi-pushdown automata
total orders
accepting power
Opis:
In the presented paper we discuss pure versions of pushdown automata that have no extra non-input symbols. More specifically, we study pure multi-pushdown automata, which have several pushdown lists. We restrict these automata by the total orders defined over their pushdowns or alphabets and determine the accepting power of the automata restricted in this way. Moreover, we explain the significance of the achieved results and relate them to some other results in the automata theory.
Źródło:
Theoretical and Applied Informatics; 2015, 27, 1; 25-47
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulating the spread of the BSE disease: a cellular automata approach
Autorzy:
Magdoń-Maksymowicz, M.
Maksymowicz, A. Z.
Powiązania:
https://bibliotekanauki.pl/articles/1964173.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
computer simulation
disease spreading
BSE
cellular automata method
Opis:
The rules of evolution applied in the cellular automata approach may correspond to the propagation of the mad cow disease. In a computer simulation of the BSE disease's spread both inherited and infectious mechanisms are accounted for. The initial population of items is randomly distributed on a two-dimensional square lattice, Nx × Ny = 1000 × 1000, with a fraction of 1 percent the items already infected. Alternatively, faulty prions may spontaneously develop during the simulation with a very small frequency. Our results indicate a critical probability, pc, of BSE transmission, so that for p below the threshold the population recovers. For p > pc the disease is launched in the population with a dynamic equilibrium between the healthy and infected fractions of the population. The threshold is very sensitive to spatial clustering of the population and the detailed rules for the disease's onset, evolution and propagation.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 2; 179-185
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Capturing local material heterogeneities in numerical modelling of microstructure evolution
Autorzy:
Madej, Lukasz
Sitko, Mateusz
Fular, Aleksander
Sarzyn, Rafal
Werminski, Mariusz
Perzynski, Konrad
Powiązania:
https://bibliotekanauki.pl/articles/2052206.pdf
Data publikacji:
2021
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
microstructure
cellular automata
finite element method
spring algorithm
Opis:
The work focuses on developing the complex digital shadow of the metallic material microstructure that can predict its evolution during metal forming operations. Therefore, such a digital shadow has to consider all major physical mechanisms influencing the particular investigated phenomenon. The motivation for the work is directly related to the development of modern metallic materials, often of multiphase nature. Such microstructure types lead to local heterogeneities influencing material behaviour and eventually macroscopic properties of the final product. The concept of the digital material shadow, stages of the model development, and examples of practical applications to simulation of microstructure evolution are presented within the work. Capturing local heterogeneities that have a physical origin and eliminating numerical artefacts is particularly addressed. Obtained results demonstrate the capabilities of such a digital microstructure shadow approach in the numerical design of final product properties.
Źródło:
Journal of Machine Engineering; 2021, 21, 4; 29-48
1895-7595
2391-8071
Pojawia się w:
Journal of Machine Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 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