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-100 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ł
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ł:
On the semantic security of cellular automata based pseudo-random permutation using results from the Luby-Rackoff construction
Autorzy:
Faraoun, K. M.
Powiązania:
https://bibliotekanauki.pl/articles/106204.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
semantic security
reversible cellular automata
block ciphers
cryptography
Opis:
This paper proposes a semantically secure construction of pseudo-random permutations using second-order reversible cellular automata. We show that the proposed construction is equivalent to the Luby- Racko model if it is built using non-uniform transition rules, and we prove that the construction is strongly secure if an adequate number of iterations is performed. Moreover, a corresponding symmetric block cipher is constructed and analysed experimentally in comparison with popular ciphers. Obtained results approve robustness and ecacy of the construction, while achieved performances overcome those of some existing block ciphers.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2015, 15, 1; 21-31
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Image reconstruction with the use of evolutionary algorithms and cellular automata
Autorzy:
Seredyński, F.
Skaruz, J.
Piraszewski, A.
Powiązania:
https://bibliotekanauki.pl/articles/106216.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
image reconstruction
evolution algorithms
cellular automata
genetic algorithm
Opis:
In the paper we present a new approach to the image reconstruction problem based on evolution algorithms and cellular automata. Two-dimensional, nine state cellular automata with the Moore neighbourhood perform reconstruction of an image presenting a human face. Large space of automata rules is searched through efficiently by the genetic algorithm (GA), which finds a good quality rule. The experimental results show that the obtained rule allows to reconstruct an image with even 70% damaged pixels. Moreover, we show that the rule found in the genetic evolution process can be applied to the reconstruction of images of the same class but not presented during the evolutionary one.
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 4; 39-49
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Grain Size Dependence of Creep Lifetime Modeled by Means of Cellular Automata
Autorzy:
Nowak, K.
Powiązania:
https://bibliotekanauki.pl/articles/386257.pdf
Data publikacji:
2011
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
automaty komórkowe
pełzanie
zależność
cellular automata
creep
dependence
Opis:
Grain size dependence of creep is a complex relation. It can be increasing, decreasing or constant function accordingly to current conditions and material. It is a consequence of complex nature of microscopic mechanisms affecting creep. Some of them are analyzed in current paper by means of multiscale model, using simulation of damage development done by cellular automata technique. It was shown that enlarged sizes of grains, which promote development of intergranular microcracks, are compensated by reduced density of voids forming vacancies. Obtained in simulations grain size dependency follows experimentally observed dependency for small grains in dislocation creep range.
Źródło:
Acta Mechanica et Automatica; 2011, 5, 4; 81-85
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of the Kinetics of Carbonitrides Precipitation Process and Simulate the Image of Microstructure Using Cellular Automata Method in Microalloyed Steels
Autorzy:
Marynowski, Przemysław
Hojny, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2134114.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cellular automata
precipitation
carbonitrides
microalloying elements
microalloyed steel
Opis:
Microalloying elements such as Ti, Nb, V, entered into steel they influence their microstructure and mechanical properties, because formation of carbonitrides, M(C, N). Influence of carbonitrides to the microstructure and mechanical properties depends on their basic stereological parameters: volume fraction, Vv, and their size, r. In this work the Cellular Automata model of the kinetics of the carbonitrides precipitation which enable to predict the image of the microstructure and calculate the size of carbonitrides formed during isothermal annealing of supersaturated steel is presented. In the high temperature the microalloying elements inhibit the austenite grains growth. Chemical composition of steel has influence to volume fraction and size of precipitations. The work is supplemented with examples of experimental comparison.
Źródło:
Archives of Metallurgy and Materials; 2022, 67, 3; 1117--1124
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of a cellular automata model to granular flow
Autorzy:
Kozicki, J.
Tejchman, J.
Powiązania:
https://bibliotekanauki.pl/articles/1986936.pdf
Data publikacji:
2002
Wydawca:
Politechnika Gdańska
Tematy:
cellular automata
granular flow
silo
passive state
active state
Opis:
Paper presents the results of simulations of granular flow with a cellular automata model. Flow of granular material behind a moving retaining wall and in a silo with inserts was numerically analysed. Two different migration schemes during flow were assumed. Advantages and limits of the model were outlined.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2002, 6, 3; 429-436
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extracting Subregular constraints from Regular stringsets
Autorzy:
Rogers, James
Lambert, Dakotah
Powiązania:
https://bibliotekanauki.pl/articles/103839.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
regular languages
finite-state automata
local languages
piecewise languages
Opis:
We introduce algorithms that, given a finite-state automaton (FSA), compute a minimal set of forbidden local factors that define a Strictly Local (SL) tight approximation of the stringset recognised by the FSA and the set of forbidden piecewise factors that define a Strictly Piecewise (SP) tight approximation of that stringset, as well as a set of co-SL factors that, together with the SL and SP factors, provide a set of purely conjunctive literal constraints defining a minimal superset of the stringset recognised by the automaton. Using these, we have built computational tools that have allowed us to reproduce, by nearly purely computational means, the work of Rogers and his co-workers (Rogers et al. 2012) in which, using a mix of computational and analytical techniques, they completely characterised, with respect to the Local and Piecewise Subregular hierarchies, the constraints on the distribution of stress in human languages that are documented in the StressTyp2 database. Our focus, in this paper, is on the algorithms and the method of their application. The phonology of stress patterns is a particularly good domain of application since, as we show here, they generally fall at the very lowest levels of complexity. We discuss these phonological results here, but do not consider their consequences in depth.
Źródło:
Journal of Language Modelling; 2019, 7, 2; 143-176
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rewrite rule gram mars with multitape automata
Autorzy:
Hulden, M.
Powiązania:
https://bibliotekanauki.pl/articles/103887.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
grammar design
multitape automata
morphology
phonology
finite-state phonology
Opis:
The majority of computational implementations of phonological and morphophonological alternations rely on composing together individual finite state transducers that represent sound changes. Standard composition algorithms do not maintain the intermediate representations between the ultimate input and output forms. These intermedia te strings, however, can be very helpful for various tasks: enriching information (indispensable for models of historical linguistics), providing new avenues to debugging complex grammars, and offering explicit alignment information between morphemes, sound segments, and tags. This paper describes a multitape automaton approach to creating full models of sequences of sound alternation that implement phonological and morphological grammars. A model and a practical implementation of multitape automata is provided together with a multitape composition algorithm tailored to the representation used In this paper. Practical use cases of the approach are illustrated through two common examples: a phonological example of a complex rewrite rule grammar where multiple rules interact and a diachronic ex ample of modeling sound change over time.
Źródło:
Journal of Language Modelling; 2017, 5, 1; 107-130
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Combining fuzzy and cellular learning automata methods for clustering wireless sensor network to increase life of the network
Autorzy:
Aramideh, J
Jelodar, H
Powiązania:
https://bibliotekanauki.pl/articles/957968.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wireless sensor network
clustering
fuzzy logic
cellular learning automata
Opis:
Wireless sensor networks have attracted attention of researchers considering their abundant applications. One of the important issues in this network is limitation of energy consumption which is directly related to life of the network. One of the main works which have been done recently to confront with this problem is clustering. In this paper, an attempt has been made to present clustering method which performs clustering in two stages. In the first stage, it specifies candidate nodes for being head cluster with fuzzy method and in the next stage, the node of the head cluster is determined among the candidate nodes with cellular learning automata. Advantage of the clustering method is that clustering has been done based on three main parameters of the number of neighbors, energy level of nodes and distance between each node and sink node which results in selection of the best nodes as a candidate head of cluster nodes. Connectivity of network is also evaluated in the second part of head cluster determination. Therefore, more energy will be stored by determining suitable head clusters and creating balanced clusters in the network and consequently, life of the network increases.
Źródło:
Advances in Science and Technology. Research Journal; 2014, 8, 24; 1-8
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
There exist one-dimensional transitive cellular automata with non-empty set of strictly temporally periodic points
Autorzy:
Matyja, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/1373721.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:
one-dimensional cellular automata
transitive
strictly temporally
periodic points
Opis:
In a Cantor metric space $B^Z$, we present a one-sided cellular automaton which positively answers the question Does it exist a transitive cellular automaton $(B^Z, F)$ with non-empty set of strictly temporally periodic points? The question can be found in a current and recognized literature of the subject.
Źródło:
Schedae Informaticae; 2013, 22; 41-45
0860-0295
2083-8476
Pojawia się w:
Schedae Informaticae
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ł:
Cellular automata model of self-organizing traffic control in urban networks
Autorzy:
Szklarski, J.
Powiązania:
https://bibliotekanauki.pl/articles/200680.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
cellular automata model
self-organizing traffic control
urban networks
Opis:
A model of city traffic based on Nagel-Schreckenberg cellular automaton (CA) model is presented. Traffic control is realized at intersections with two conflicting streams each (at any time at most one stream can have “green light” assigned to it). For simple and regular lattice-like networks which are considered, it is easy to find optimal switching periods giving maximum possible flow rates. These optimal strategies are compared with a self-controlling approach proposed by [1], which has not been implemented in a CA model until now. Previous work proved that generally this method gives superior results when compared to classical methods. In this paper we show that for deterministic scenario such control leads to self-organization, and that the solution always quickly converges to the optimal solution which is known in this case. Moreover, we consider also non-deterministic case, in the sense that possibility of turning with given probability is allowed. It is shown that the self-controlling strategy always gives better results than any solution based on fixed cycles with green waves.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 435-441
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Spatial evolutionary games and radiation induced bystander effect
Autorzy:
Krześlak, M.
Świerniak, A.
Powiązania:
https://bibliotekanauki.pl/articles/229460.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
evolutionary games
bystander effect
biomathematical modelling
cellular automata
cancer
Opis:
We present an application of evolutionary game theory to modeling of some processes important from oncological point of view. A studied phenomenon is a radiation induced bystander effect, in which three different strategies (phenotypes) of cells take part. The proposed payoff table of fitness, related to environment adaptation and genetic cell behavior, contains costs/profits of bystander effect, choice of apoptotic pathway, producing growth factors and resistance against bystander effect. We consider a game theory model including spatial cells allocation (the game is played on lattice). We discuss also different polymorphic equilibrium points dependent on model parameters, types of spatial games and players distribution.
Źródło:
Archives of Control Sciences; 2011, 21, 2; 135-150
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Geospatial assessment of land use and land cover dynamics in the mid-zone of Ghana
Autorzy:
Koranteng, Addo
Adu-Poku, Isaac
Donkor, Emmanuel
Zawiła-Niedźwiecki, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/2041498.pdf
Data publikacji:
2020
Wydawca:
Instytut Badawczy Leśnictwa
Tematy:
LULC change
anthropogenic pressures
Cellular-Automata-Markov
forest loss
urbanization
Opis:
Land use and land cover (LULC) terrain in Ghana has undergone profound changes over the past years emanating mainly from anthropogenic activities, which have impacted countrywide and sub-regional environment. This study is a comprehensive analysis via integrated approach of geospatial procedures such as Remote Sensing (RS) and Geographic Information System (GIS) of past, present and future LULC from satellite imagery covering Ghana’s Ashanti regional capital (Kumasi) and surrounding districts. Multi-temporal satellite imagery data sets of four different years, 1990 (Landsat TM), 2000 (Landsat ETM+), 2010 (Alos and Disaster Monitoring Constellation-DMC) and 2020 (SENTINEL), spanning over a 30-year period were mapped. Five major LULC categories – Closed Forest, Open Forest, Agriculture, Built-up and Water – were delineated premised on the prevailing geographical settings, field study and remote sensing data. Markov Cellular Automata modelling was applied to predict the probable LULC change consequence for the next 20 years (2040). The study revealed that both Open Forest and Agriculture class categories decreased 51.98 to 38.82 and 27.48 to 20.11, respectively. Meanwhile, Built-up class increased from 4.8% to 24.8% (over 500% increment from 1990 to 2020). Rapid urbanization caused the depletion of forest cover and conversion of farmlands into human settlements. The 2040 forecast map showed an upward increment in the Builtup area up to 35.2% at the expense of other LULC class categories. This trend from the past to the forecasted future would demand that judicious LULC resolutions have to be made to keep Ghana’s forest cover, provide arable land for farming activities and alleviate the effects of climate change.
Źródło:
Folia Forestalia Polonica. Series A . Forestry; 2020, 62, 4; 288-305
0071-6677
Pojawia się w:
Folia Forestalia Polonica. Series A . Forestry
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
EEULA: an energy-aware event-driven unicast algorithm for wireless sensor network by learning automata
Autorzy:
Kashani, A. A. S.
Noori, A. M. M.
Powiązania:
https://bibliotekanauki.pl/articles/102180.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
network lifetime
wireless sensor network
learning automata
energy efficiency algorithm
Opis:
Energy consumption is one of the major challenges in wireless sensor networks, thus necessitating an approach for its minimization and for load balancing data. The network lifetime ends with the death of one of its nodes, which, in turn, causes energy depletion in and partition of the network. Furthermore, the total energy consumption of nodes depends on their location; that is, because of the loaded data, energy discharge in the nodes close to the base station occurs faster than other nodes, the model presented here, through using learning automata, selects the path appropriate for data transferring; the selected path is rewarded or penalized taking the reaction of surrounding paths into account. We have used learning automata for energy management in finding the path; the routing protocol was simulated by NS2 simulator; the lifetime, energy consumption and balance in an event-driven network in our proposed method were compared with other algorithms.
Źródło:
Advances in Science and Technology. Research Journal; 2016, 10, 30; 9-18
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Powstawanie tekstur w dwuwymiarowych automatach komórkowych
Textures formation in two-dimensional cellular automata
Autorzy:
Porębska, G.
Powiązania:
https://bibliotekanauki.pl/articles/266778.pdf
Data publikacji:
2010
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
tekstury
automaty komórkowe
grafika komputerowa
texture
cellular automata
computer graphics
Opis:
W tekście przedstawiono klasyfikację tekstur i opisano proces ich generowania za pomocą dwuwymiarowych automatów komórkowych. Automaty te, ze względu na swą architekturę, w naturalny sposób odpowiadają zastosowaniom w grafice komputerowej i w przetwarzaniu obrazów. W oparciu o komputerową symulację binarnych automatów komórkowych wygenerowano tekstury przynależne do różnych klas.
In this text a textures classification and process of their generating in two-dimensional cellular automata is described. Due to their parallel architecture, cellular automata are good tools in a computer graphic creation and pictures processing. Different types of textures were obtained, based on the computer simulation of binary cellular automata.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2010, 28; 123-126
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
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ł:
Mathematical modelling and simulation of interacting cell systems with cellular automata
Autorzy:
Deutsch, A.
Powiązania:
https://bibliotekanauki.pl/articles/332851.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
symulacja wzrostu guza
automaty komórkowe
simulation of tumour growth
cellular automata
Źródło:
Journal of Medical Informatics & Technologies; 2002, 3; IP3-6
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Neighbourhood coefficients of cellular automata for research on land use changes with map algebra
Autorzy:
Werner, Piotr A.
Powiązania:
https://bibliotekanauki.pl/articles/2035797.pdf
Data publikacji:
2012-11-10
Wydawca:
Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Tematy:
Spatio-temporal modelling
land use
cellular automata
map algebra
neighbourhood coefficients
Opis:
The dependency of land use and the neighbouring land cover patches is related to the existing neighbourhood or the predominant land use types in a given region, which stimulates further land changes of the lot being observed. Land use changes can be considered a complex and (to an extent) random process. The complexity of interactions means that the conventional deductive models are constrained, particularly in the case of the spatio-temporal phenomena, and implies the application of cellular automata to spatial research. Cellular automata are similar to the map algebra models in GIS. The concept of using neighbourhood coefficients in the analysis of land use changes is based on the combination of map algebra with two-dimensional cellular automata. The aims of this research included formulating the theoretical structure of neighbourhood coefficients, analysing their operationalization and testing their practical application. The verification of research and procedures included maps and statistics of simulations of land use changes in Poland.
Źródło:
Miscellanea Geographica. Regional Studies on Development; 2012, 16, 1; 57-63
0867-6046
2084-6118
Pojawia się w:
Miscellanea Geographica. Regional Studies on Development
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ł:
An Integrative Modelling Approach to Analyse Landscape Dynamics Through Intensity Analysis and Cellular Automata-Markov Chain Model
Autorzy:
Hasani, Mohammad
Salmanmahiny, Abdolrassoul
Tabrizi, Alireza Mikaeili
Powiązania:
https://bibliotekanauki.pl/articles/1019574.pdf
Data publikacji:
2020-06-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
landscape dynamics
satellite imagery
Cellular Automata-Markov Chain
Intensity Analysis
Iran
Opis:
The goal of this study is offer a deep understanding of the landscape dynamics in the Gorgan Township, the Golestan Province, Iran. Landsat satellite imagery of two different time thresholds, i.e. the years 1992 and 2011, was acquired from the US Geological Survey database and the changes were quantified for the Gorgan area covering a 19-year time span. Furthermore, an integrated Cellular Automata-Markov Chain (CA-MC) model was applied to predict future changes up to the year 2030. We used the intensity analysis method to compare the historical dynamics of different land categories at multiple levels. The results indicated that during the 19 years, the built-up and forest areas increased by 2.33% and 0.27%, respectively, while agriculture and remnant vegetation decreased by 2.43% and 0.24%, respectively. The CA-MC model illustrated that in the following 19 years, the built-up areas could increase by 2.45%. An intensity analysis revealed that forest gains and losses were dormant while remnant vegetation gains and losses were active. The built-up area’s gains and water bodies’ losses were active and stationary during both time intervals. The transitions from water bodies and remnant vegetation to agriculture were regularly targeting and stationary, while the transition from forest to agriculture was regularly avoiding and stationary. Our findings also indicated a heavy systematic transition from agriculture to built-up areas. Regarding the increasing population growth and urbanisation in the region, the outcomes of this study can help make informed decisions for the management and protection of natural resources in the study area.
Źródło:
European Spatial Research and Policy; 2020, 27, 1; 243-261
1231-1952
1896-1525
Pojawia się w:
European Spatial Research and Policy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of an equivalent truss model for determining the stress state in multi-phase materials with cellular automata method
Autorzy:
Staszczyk, A.
Sawicki, J.
Powiązania:
https://bibliotekanauki.pl/articles/103191.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
Cellular Automata
numerical methods
stress state
strength of materials
precipitation hardening
Opis:
The Cellular Automata represent a universal method of modelling and simulation. They enable the performance of calculations for even the most complex processes and phenomena. They are also used successfully in mechanical and material engineering. In this paper, the concept of application of the Cellular Automata method for simulating the behaviour of material under stress is presented. The proposed numerical algorithm created performs a number of calculations of local stress states in the structure of precipitation hardened material. The principle of its operation is based on the application of the equivalent truss model, which is often used in the optimisation and design of structures. In this paper, this model was used to simulate a system embodying a section of the material containing various phases with different mechanical properties.
Źródło:
Advances in Science and Technology. Research Journal; 2017, 11, 2; 51-57
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie ruchu drogowego z zastosowaniem automatów komórkowych
The modeling of traffic using the cellular automata
Autorzy:
Papliński, J. P.
Żółtowski, M. J.
Powiązania:
https://bibliotekanauki.pl/articles/152733.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie ruchem ulicznym
automaty komórkowe
modelowanie
traffic control
cellular automata
modeling
Opis:
W artykule przedstawiono możliwość zastosowania automatów komórkowych do modelowania ruchu ulicznego. Jako przykład zastosowań rozpatrzono skrzyżowanie równorzędne, z pierwszeństwem przejazdu, oraz z sygnalizacją świetlną. Przedstawione wyniki badań symulacyjnych pokazują możliwość doboru odpowiedniego sterowania w funkcji natężenia ruchu na poszczególnych drogach. Szczególnie zapewniają dobór odpowiedniego programu sygnalizacji świetlnej zapewniającego uzyskanie maksymalnej przepustowości skrzyżowania.
Development of road infrastructure and the increasing traffic, resulting more complex traffic control problems, and increasing the re-quirement of the optimal selection. It is possible to build models of road traffic based on cellular automata, which have simple rules of operation specified by transition function and state of self and near-est neighbors. Despite their simplicity they allow to build complex models. The article presents a model of traffic based on the stochastic cellular automata. The model allows the analysis of the capacity of crossroad, depending on the traffic intensity. The paper presents models of intersections with equality streets and with some dominant streets. The crossroads with the traffic lights are presented too. At all intersections, there is the ability to determine the probability distribution of choosing particular courses of vehicles at intersections, and the likelihood of the vehicle at the beginning of the access road. The proposed model for crossing with traffic lights, allows to select the appropriate control sequences providing street lights for maximum throughput junction. Models of intersections presented in the paper can be easily combined into a larger model that maps a real transportation system.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1036-1039
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
Dependence of creep failure probability on the size of metallic specimens
Autorzy:
Nowak, K.
Powiązania:
https://bibliotekanauki.pl/articles/387437.pdf
Data publikacji:
2013
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
size effect
creep damage
cellular automata
efekt rozmiarowy
zniszczenie przy pełzaniu
pełzanie
Opis:
The occurrence of statistical size effect is considered for damage in creep conditions. The numerical and experimental analysis have been performed. The obtained results are ambiguous. Numerical models confirm the scale effect which can be statistical or deterministic one. But this effect has no experimental verification. It may suggest that the weakest link model cannot be applied in creep conditions. Explanation of this needs further investigations.
Źródło:
Acta Mechanica et Automatica; 2013, 7, 3; 166-169
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
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ł:
Cellular-automata based modeling of heterogeneous biofilm growth for microbiological processes with various kinetic models
Autorzy:
Skoneczny, Szymon
Powiązania:
https://bibliotekanauki.pl/articles/185334.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
biofilm structure
cellular automata
mathematical modeling
struktura biofilmu
automaty komórkowe
modelowanie matematyczne
Opis:
The study concerns modeling and simulation of the growth of biofilms with heterogeneous structureswith a discrete mathematical model based on theory of cellular automata. The article presents two-dimensional density distributions of biofilms for microbial processes: oxidation of ammonium byNitrosomonas europaeabacteria and glucose utilization byPseudomonas aeruginosabacteria. Theinfluence of limiting substrate concentration in the liquid phase on biofilm structure was determined.It has been shown that the value of death rate coefficient of microorganisms has the qualitative andquantitative influence on the density and porosity of the biofilm.
Źródło:
Chemical and Process Engineering; 2019, 40, 2; 145--155
0208-6425
2300-1925
Pojawia się w:
Chemical and Process Engineering
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ł:
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ł:
Analysis of the stress concentration in the nanomultilayer coatings based on digital representation of the structure
Numeryczna analiza koncentracji naprężeń w wielowarstwowych nanopowłokach na bazie cyfrowej reprezentacji materiału
Autorzy:
Perzyński, K.
Major, Ł.
Madej, Ł.
Pietrzyk, M.
Powiązania:
https://bibliotekanauki.pl/articles/351065.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
automaty komórkowe (CA)
TEM
nanomateriał
XFEM
cellular automata (CA)
layers depositions
nanomaterials
Opis:
Investigation of the stress concentration in the nanomultilayer materials under exploitation conditions is the main objective of the work. During loading a failure can initiate and propagate, which have important impact on material strength and reliability. This is of importance when materials for biological applications are considered. Special features of the investigated material, including irregular shape of the boundaries and columnar structure of these layers lead to growth of local stresses in the material and may be responsible for mentioned instabilities. To capture this behavior during numerical modeling an innovative solutions are required. Authors propose numerical simulation, which combines algorithms of the deposition process for realistic digital material representation of coatings and finite element (FE) approach for modeling of material behavior under loading. Algorithm of the deposition process is implemented using the cellular automata (CA) approach. Based on the developed model, a simple plastometric compression tests are simulated to analyze stress distribution in the material and possibility of failure initiation. These results are compared qualitatively with experimental data, including ball-on-test and transmission electron microscope (TEM) observation. Obtained results are the basis for development of a numerical model for fracture propagation with adopted extended finite element method (XFEM).
Głównym celem pracy jest zaproponowanie podejścia numerycznego umożliwiającego analizę koncentracji naprężeń w materiałach o strukturze nanowarstwowej przeznaczonych dla bioinżynierii. Jest to szczególnie istotne w przypadku prowadzenia analizy zachowania się materiałów w warunkach eksploatacji ponieważ umożliwia zlokalizowanie miejsc szczególnie narażonych na uszkodzenia. Do przeprowadzenia szczegółowej analizy numerycznej konieczne jest uwzględnienie typowych cech nanowarstwowego materiału np. nieregularnego kształtu granicy pomiędzy warstwami. W tym celu Autorzy zastosowali model MES sprzężony z jawną reprezentacją mikrostruktury i automatami komórkowym (CA). Model na bazie CA uwzględnia wspomniane specyficzne cechy analizowanych materiałów. W pracy przedstawiono algorytm generowania cyfrowej reprezentacji nanowarstw oraz wyniki symulacji z wykorzystaniem opracowanego modelu numerycznego dla warstw bez uwzględnienia chropowatości granicy międzywarstwowej, jak i z jej uwzględnieniem. Uzyskane wyniki w formie rozkładów naprężeń stały się podstawą do opracowania modelu procesu pękania w analizowanych materiałach z wykorzystaniem metody eXtended Finite Element Method (XFEM). Przykłady uzyskanych wyników również zamieszczono w niniejszej pracy.
Źródło:
Archives of Metallurgy and Materials; 2011, 56, 2; 393-399
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The lattice of varieties of fibered automata
Autorzy:
Mućka, Anna
Powiązania:
https://bibliotekanauki.pl/articles/728906.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
fibered automata
many-sorted algebras
varieties of many-sorted algebras
lattice of varieties
Opis:
The class of all fibered automata is a variety of two-sorted algebras. This paper provides a full description of the lattice of varieties of fibred automata.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 87-107
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Behavior analysis of genetic fuzzy controller for an autonomous robot
Autorzy:
Cho, S.
Lee, S.
Powiązania:
https://bibliotekanauki.pl/articles/205937.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
robot
sterowanie rozmyte
automata
behavior analysis
genetic fuzzy controller
mobile robot
soft computing
Opis:
To program an autonomous robot so that it acts reliably in a dynamic environment is a very hard task. Towards a promising approach to this problem, we have developed a genetic fuzzy controller for a mobile robot, and showed the possibility by applying it to a simulated robot called Khepera. The robot gets input from eight infrared sensors and operates two motors according to the fuzzy inference based on the sensory input. This paper attempts to analyze the adaptive behaviors of the controller by using automata, which indicates the emergence of several strategies to make the robot to navigate the complex space without bumping agains the walls and obstacles.
Źródło:
Control and Cybernetics; 1998, 27, 4; 579-591
0324-8569
Pojawia się w:
Control and Cybernetics
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ł:
Self-learning controller of active magnetic bearing based on CARLA method
Samo uczący sie sterownik aktywnego łozyslka magnetycznego oparty na metodzie CARLA
Autorzy:
Brezina, T.
Turek, M.
Pulchart, J.
Powiązania:
https://bibliotekanauki.pl/articles/152983.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie aktywnego łożyska magnetycznego
active magnetic bearing control
continuous action reinforcement learning automata
Opis:
The active magnetic bearing control through analytically designed linear PD regulator, with parallel nonlinear compensation represented by automatic approximator is described in this contribution. Coefficient (parameter) values come from actions of Continuous Action Reinforcement Learning Automata (CARLAs). Influence of CARLAs parameters to learning is discussed. Parameters influence is proved by simulation study. It is shown that learning improvement can be reached by selecting appropriate parameters of learning.
W artykule przedstawiono sterowanie aktywnego łożyska magnetycznego za pomocą analitycznie dobranego regulatora PD z nieliniową kompensacją równoległą. Współczynniki kompensacji są wyznaczane automatycznie z użyciem metody CARLA (Continuous Action Reinforcement Automata). Zbadano wpływ parametrów metody na proces uczenia się kompensatora w oparciu o eksperymenty symulacyjne. Wykazano, że właściwy dobór parametrów metody prowadzi do poprawienia skuteczności procesu uczenia się.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 1, 1; 6-9
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selected aspects of traffic microsimulation based on cellular automata and traffic detection system
Autorzy:
Małecki, K.
Pietruszka, P.
Iwan, S.
Powiązania:
https://bibliotekanauki.pl/articles/393864.pdf
Data publikacji:
2013
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
traffic microsimulation
cellular automata
detection system
mikrosymulacja ruchu drogowego
automat komórkowy
system detekcji
Opis:
The authors of this publication provide selected achievements in the field of traffic modelling and simulation based on cellular automata. Presented models and experimental studies carried out on the basis of their application to simulate traffic movement. One of the most important aspects of traffic modelling is to use the motion detection systems. The authors simulate the detectors, which in practice will implement as induction loops. They contribute to the evaluation of queues at the intersection and entered the intersection to determine whether to enter the intersection is possible, from the point of view of possibility of leaving that intersection. Quantitatively characterizations are presented.
Źródło:
Archives of Transport System Telematics; 2013, 6, 1; 41-44
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A logical approach to grammar description
Autorzy:
Clément, L.
Kirman, J.
Salvati, S.
Powiązania:
https://bibliotekanauki.pl/articles/103895.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
grammar description
logic
Finite State Automata
logical transduction
lambda calculus
Abstract Categorial Grammars
Opis:
In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines conciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.
Źródło:
Journal of Language Modelling; 2015, 3, 1; 87-143
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie Systemów Złożonych. Profil działalności Koła Naukowego GLIDER
Complex Systems Modeling, activity proile of scientiic circle GLIDER
Autorzy:
Wąs, J.
Porzycki, J.
Pisulak, B.
Powiązania:
https://bibliotekanauki.pl/articles/275259.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
koło naukowe
systemy złożone
niehomogeniczne automaty komórkowe
systemy wieloagentowe
complex systems
cellular automata
Opis:
W artykule przedstawiono profil działalności studenckiego koła naukowego Glider. Tematyka prac koła koncentruje się wokół modelowania i symulacji systemów złożonych.
The article presents a profile of student scientific circle Glider, focuses mainly on modeling and simulation of complex systems.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 246-248
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The test of a new critical exponent Ϙ by using Ising model on the Creutz cellular automaton
Autorzy:
Merdan, Z.
Gokbel-Keklikoglu, D.
Powiązania:
https://bibliotekanauki.pl/articles/1050877.pdf
Data publikacji:
2018-05
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
Ising model
cellular automata
critical exponents
finite-size scaling
modified finite-size scaling
Opis:
Above the upper critical dimension d_{c} the Ising model is simulated on the Creutz cellular automaton. The values of a new critical exponent Ϙ are obtained by using the simulations for the order parameter and the magnetic susceptibility. At d=4,5,6,7,8, the values of the new critical exponent Ϙ are 0.9904(16), 1.2721(2), 1.4806(24), 1.7626(17), 1.9997(50) for the order parameter, respectively, while those 1.0415(13), 1.2987(27), 1.5133(1), 1.7741(1), 2.0133(28) are for the magnetic susceptibility in the same order. The computed values of the new critical exponent Ϙ are in agreement with theoretical values.
Źródło:
Acta Physica Polonica A; 2018, 133, 5; 1200-1204
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Individual-based model of self-reproduction system
Autorzy:
Jędruch, W.
Gramza, M.
Powiązania:
https://bibliotekanauki.pl/articles/1965894.pdf
Data publikacji:
2001
Wydawca:
Politechnika Gdańska
Tematy:
individual-based modelling
artifical life
cellular automata
emergent processes
self-modification
self-organization
Opis:
The paper presents results of a few preliminary simulation experiments of a self-reproduction system realized in a programming environment for individual-based modelling of physical systems and discusses the advantages and difficulties of such modelling. The programming environment named an abstract universe, is aimed at modelling of complex systems which manifest the self-organization, self-modification, growing and emergent behavior. The central idea of the universe are specific interactions of its entities in a two dimensional space. The entities move and collide according to rules like those of classical mechanics, and interact between themselves according to function encoded in them modifying their structures and functions.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2001, 5, 3; 373-387
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Correcting Spelling Errors by Modelling Their Causes
Autorzy:
Deorowicz, S.
Ciura, M. G.
Powiązania:
https://bibliotekanauki.pl/articles/908544.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
korekcja pisowni
automat skończony
błąd pisowni
spelling correction
finite state automata
spelling errors
Opis:
This paper accounts for a new technique of correcting isolated words in typed texts. A language-dependent set of string substitutions reflects the surface form of errors that result from vocabulary incompetence, misspellings, or mistypings. Candidate corrections are formed by applying the substitutions to text words absent from the computer lexicon. A minimal acyclic deterministic finite automaton storing the lexicon allows quick rejection of nonsense corrections, while costs associated with the substitutions serve to rank the remaining ones. A comparison of the correction lists generated by several spellcheckers for two corpora of English spelling errors shows that our technique suggests the right words more accurately than the others.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2005, 15, 2; 275-285
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and 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ł:
Podejścia mikroskopowe w modelowaniu zachowania tłumu – przegląd
Microscopic approaches in crowd behaviour modeling - a review
Autorzy:
Tabędzki, M.
Powiązania:
https://bibliotekanauki.pl/articles/404152.pdf
Data publikacji:
2013
Wydawca:
Polskie Towarzystwo Symulacji Komputerowej
Tematy:
modelowanie tłumu
systemy agentowe
automaty komórkowe
mikrosymulacja
crowd modeling
multiagents systems
cellular automata
microsimulation
Opis:
Niniejsza publikacja dotyczy zagadnienia modelowania ruchu tłumu z wykorzystaniem podejścia mikroskopowego. Podejście takie skupia się na zachowaniach i interakcjach zachodzących na poziomie pojedynczych osobników. W pracy przedstawiono różne modele (oparte na automatach komórkowych oraz modelowaniu agentowym), omówiono też współczesne kierunki badań oraz najważniejsze zastosowania. Nakreślono również możliwości rozwoju oraz kierunek dalszych prac autora.
This publication refers to the microscopic approach to the crowd modeling and simulation. This approach focuses on the behavior and interactions occurring at the level of single individuals. The paper presents models based on cellular automata and agent based modeling, discusses the current trends in research and the most important applications. Also outlines the opportunities and the direction of future work of the author.
Źródło:
Symulacja w Badaniach i Rozwoju; 2013, 4, 2; 109-119
2081-6154
Pojawia się w:
Symulacja w Badaniach i Rozwoju
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rough sets in identification of cellular automata for medical image processing
Autorzy:
Płaczek, B.
Powiązania:
https://bibliotekanauki.pl/articles/333253.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
rough sets
cellular automata
medical image processing
zbiory przybliżone
automaty komórkowe
przetwarzanie obrazów medycznych
Opis:
In this paper a method is proposed which enables identification of cellular automata (CA) that extract low-level features in medical images. The CA identification problem includes determination of neighbourhood and transition rule on the basis of training images. The proposed solution uses data mining techniques based on rough sets theory. Neighbourhood is detected by reducts calculations and rule-learning algorithms are applied to induce transition rules for CA. Experiments were performed to explore the possibility of CA identification for boundary detection, convex hull transformation and skeletonization of binary images. The experimental results show that the proposed approach allows finding CA rules that are useful for extraction of specific features in microscopic images of blood specimens.
Źródło:
Journal of Medical Informatics & Technologies; 2013, 22; 161-168
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
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ł:
Modelling of microstructure changes during hot deformation using cellular automata
Modelowanie za pomocą automatów komórkowych zmian mikrostruktury podczas odkształcenia na gorąco
Autorzy:
Kuc, D.
Gawąd, J.
Powiązania:
https://bibliotekanauki.pl/articles/351296.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
modelowanie
automaty komórkowe
stal austenityczna
mikrostruktura
modelling
cellular automata
austenitic steel
flow stress
microstructure
Opis:
The paper is focused on an application of the cellular automata (CA) method to description of microstructure changes in continuous deformation condition. The model approach consists of Cellular Automata model of microstructure development and the thermal-mechanical finite element (FE) code. Dynamic recrystallization phenomenon is taken into account in 2D CA model which takes advantage of explicit representation of microstructure, including individual grains and grain boundaries. Flow stress is the main material parameter in mechanical part of FE and is calculated on the basis of average dislocation density obtained from the CA model. The results obtained from the model were validated with the experimental data. In the present study, austenitic steel X3CrNi18-10 was investigated. The examination of microstructure for the initial and final microstructures was carried out, using light microscopy, transmission electron microscopy and EBSD technique. Compression forces were recorded during the tests and flow stresses were determined using the inverse method.
W artykule przedstawiono model, który opisuje zmiany struktury w warunkach ciągłego odkształcenia z wykorzystaniem automatów komórkowych. Opracowane rozwiązanie wykorzystuje połączenie modelu automatów komórkowych (ang. Cellular Automata, CA) zmian mikrostruktury i kodu elementów skończonych rozwiązującego problem termomechaniczny. Do opracowania modelu zmian mikrostruktury wykorzystano dwuwymiarową siatkę automatów komórkowych. Model zmian naprężenia uplastyczniającego bazuje na średniej gęstości dyslokacji wyliczonej poprzez homogenizację gęstości dyslokacji w siatce automatów komórkowych. Opracowany model zweryfikowano w oparciu o wyznaczone krzywe płynięcia dla stali austenitycznej X3CrNi18-10 i badania mikrostruktury z wykorzystaniem mikroskopii świetlnej, transmisyjnej mikroskopii elektronowej oraz techniki EBSD. Naprężenie uplastyczniające zostało wyznaczone w oparciu o metodę obliczeń odwrotnych na podstawie danych uzyskanych z prób osiowosymetrycznego ściskania.
Źródło:
Archives of Metallurgy and Materials; 2011, 56, 2; 523-532
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Extension of Critical Programs of the Computational Theory of Mind
Autorzy:
Baryshnikov, Pavel N.
Powiązania:
https://bibliotekanauki.pl/articles/31234160.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
anticomputationalism
computational theory of mind
Chinese room
finite automata
symbolic semantics
language of thought
Opis:
Technological advances in computer science have secured the computer metaphor status of a heuristic methodological tool used to answer the question about the nature of mind. Nevertheless, some philosophers strongly support opposite opinions. Anti-computationalism in the philosophy of mind is a methodological program that uses extremely heterogeneous grounds for argumentation, deserving analysis and discussion. This article provides an overview and interpretation of the traditional criticism of the computational theory of mind (computationalism); its basic theses have been formed in Western philosophy in the last quarter of the 20th century. The main goal is to reveal the content of the arguments of typical anti-computationalist programs and expand their application to the framework of the semantic problems of the Classic Computational Theory of Mind. The main fault of the symbolic approach in the classical computationalism is the absence of a full-fledged theory of semantic properties. The relevance of considering these seemingly outdated problems is justified by the fact that the problem of meaning (and general problems of semantics) remains in the core of the latest developments in various areas of AI and the principles of human-computer interaction.
Źródło:
Filozofia i Nauka; 2022, 10, zeszyt specjalny; 263-274
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generating Layout for Complex Cave-like Levels with Schematic Maps and Cellular Automata
Autorzy:
Antoniuk, Izabella
Powiązania:
https://bibliotekanauki.pl/articles/27323140.pdf
Data publikacji:
2023
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Instytut Informatyki Technicznej
Tematy:
cellular Automata
computer games
diamond-square
procedural cave generation
procedural level generation
schematic maps
Opis:
Abstract. In this paper an algorithm for creating cave-like, user-guided layout is presented. In applications such as computer games, underground structures offer unique challenges and interesting space for player actions. Preparation of such areas can be time consuming and tiresome, especially during the design process, when many ideas are often scrapped. Presented approach aims at improving this process. Schematic input is used so the user can quickly define the general layout. Cave system is divided into levels and tiles - easily-parallelizable modules for the following method stages. Cellular automata are used to extend initial system sketch with interesting shapes while the diamond-square algorithm spreads the final terrain heights. Each stage uses the results of the previously performed operations as input, providing space for alterations. Input maps can be reused to obtain different variations of the same system. The final structure is represented as a 3D point cloud. Chosen representation supports multilevel systems and can be used either as a base for further algorithms, or as a final mesh. The presented approach can be easily incorporated into game design process, while visualizing initial layouts and speeding up preparation of unique, interesting and challenging game spaces for the players to traverse.
Źródło:
Machine Graphics & Vision; 2023, 32, 2; 45--65
1230-0535
2720-250X
Pojawia się w:
Machine Graphics & Vision
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Influence of a Range of Interaction among Agents on Efficiency and Effectiveness of Knowledge Transfer within an Organisation
Autorzy:
Paradowski, K.
Kowalska-Styczeń, A.
Malarz, K.
Powiązania:
https://bibliotekanauki.pl/articles/1029627.pdf
Data publikacji:
2018-06
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
cellular automata
complex systems
social and economic systems
structures and organisation in complex systems
Opis:
In this study we examined how the size of non-formal groups between organisation members affect the transfer of knowledge in the context of the efficiency and effectiveness of this process. To analyse the dynamics of the transfer of knowledge the cellular automata model was used. The model is based on local interactions between members of the organisation, that take place in the nearest neighbourhood. These groups of close neighbours are represented by von Neumann's neighbourhood (four nearest-neighbours) and Moore's neighbourhood (four nearest-neighbours and four next-nearest neighbours) and complex neighbourhood (four nearest neighbours, four next-nearest neighbours and four next-next-neighbours). The results of the simulation show the influence of the size of the neighbourhood on the efficiency of knowledge transfer.
Źródło:
Acta Physica Polonica A; 2018, 133, 6; 1470-1476
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multi-grid model for crowd’s evacuation in ships based on cellular automata
Autorzy:
Chen, M.
Han, D.
Powiązania:
https://bibliotekanauki.pl/articles/963361.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
Tematy:
crowds’ evacuation in ships
multi-grid model
cellular automata model
finer lattice
interaction force
Opis:
In order to enhance the authenticity and accuracy simulation of passengers’ evacuation in ships, a new multi-grid model is proposed on the basis of cellular automata theory. By finer lattice the multi-grid model could enhance the continuity of passengers’ track and the precision of boundary’s qualification compared with traditional cellular automata model. Attraction, repulsion and friction are also quantized in the multi-grid model to present the impact of interaction force among pedestrians. Furthermore, crowd’s evacuation simulated by traditional cellular automata and multi-grid model in single exit room and typical cabin environment have been taken as examples to analyze crowd’s motion laws. It is found that the laws of passengers’ evacuation simulated by the two models are similar, and the simulation authenticity and accuracy is enhanced by the multi-grid model.
Źródło:
Polish Maritime Research; 2015, S 1; 75-81
1233-2585
Pojawia się w:
Polish Maritime Research
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ł:
Cellular particle swarm optimization with a simple adaptive local search strategy for the permutation flow shop scheduling problem
Autorzy:
Seck-Tuoh-Mora, Juan C.
Medina-Marin, Joselito
Martinez-Gomez, Erick S.
Hernandez-Gress, Eva S.
Hernandez-Romero, Norberto
Volpi-Leon, Valeria
Powiązania:
https://bibliotekanauki.pl/articles/230060.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
flow shop
particle swarm optimization (PSO)
local search strategy
hybrid search method
cellular automata
scheduling
Opis:
Permutation flow shop scheduling problem deals with the production planning of a number of jobs processed by a set of machines in the same order. Several metaheuristics have been proposed for minimizing the makespan of this problem. Taking as basis the previous Alternate Two-Phase PSO (ATPPSO) method and the neighborhood concepts of the Cellular PSO algorithm proposed for continuous problems, this paper proposes the improvement of ATPPSO with a simple adaptive local search strategy (called CAPSO-SALS) to enhance its performance. CAPSO-SALS keeps the simplicity of ATPPSO and boosts the local search based on a neighborhood for every solution. Neighbors are produced by interchanges or insertions of jobs which are selected by a linear roulette scheme depending of the makespan of the best personal positions. The performance of CAPSO-SALS is evaluated using the 12 different sets of Taillard’s benchmark problems and then is contrasted with the original and another previous enhancement of the ATPPSO algorithm. Finally, CAPSO-SALS is compared as well with other ten classic and state-of-art metaheuristics, obtaining satisfactory results.
Źródło:
Archives of Control Sciences; 2019, 29, 2; 205-226
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methodology for monitoring and diagnosing faults of hybrid dynamic systems: a case study on a desalination plant
Autorzy:
Achbi, Mohammed Said
Kechida, Sihem
Powiązania:
https://bibliotekanauki.pl/articles/328392.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
fault diagnosis
hybrid dynamic systems
ANFIS
hybrid automata
desalination plant
diagnostyka uszkodzeń
hybrydowy system dynamiczny
Opis:
The imperative of quality and productivity has increased the complexity of technological processes, posing the problem of reliability. Today, fault diagnosis remains a very important task because of its essential role in improving reliability, but also in minimizing the harmful consequences that can be catastrophic for the safety of equipment and people. Indeed, an effective diagnosis not only improves reliability, but also reduces maintenance costs. Systems in which dynamic behaviour evolves as a function of the interaction between continuous dynamics and discrete dynamics, present in the system, are called hybrid systems. The goal is to develop monitoring and diagnostic procedures to the highest level of control to ensure safety, reliability and availability objectives. This article presents an approach to the diagnosis of hybrid systems using hybrid automata and neural-fuzzy system. The use of the neural-fuzzy system allows modeling the continuous behaviour of the system. On the other hand, the hybrid automata gives a perfect estimate of the discrete events and make it possible to execute a fault detection algorithm mainly consists of classifying the appeared defects. On the implementation plan, the results were applied in a water desalination plant.
Źródło:
Diagnostyka; 2020, 21, 1; 27-33
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie dynamiki tłumu
Crowd dynamics modeling
Autorzy:
Wąs, J.
Powiązania:
https://bibliotekanauki.pl/articles/275295.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
dynamika pieszych
modelowanie tłumu
niehomogeniczne automaty komórkowe
systemy agentowe
pedestrian dynamics
crowd behavior
cellular automata
Opis:
Niniejsza praca obejmuje problematykę modelowania dynamiki tłumu. W artykule opisano podstawowe informacje na temat współczesnych technik modelowania tłumu, a także poruszono problematykę walidacji modeli. W pracy zwrócono również uwagę na perspektywy rozwoju technologii modelowania tłumu.
This paper covers the issues of modeling the crowd dynamics. The article describes the basics of modern modeling techniques to the crowd, and the issue of validation of models. The paper also highlighted the prospects for the development of crowd modeling technologies.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 217-219
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
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ł:
Automaty komórkowe w modelowaniu ewakuacji
Cellular Automata in Evacuation Modelling
Autorzy:
Barański, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373258.pdf
Data publikacji:
2016
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
bezpieczeństwo pożarowe
ewakuacja ludności
modelowanie ewakuacji
automaty komórkowe
fire safety
people evacuation
evacuation modelling
cellular automata
Opis:
Cel: Przedstawienie i omówienie modeli automatów komórkowych wykorzystywanych w oprogramowaniu do modelowania ewakuacji i zjawisk jej towarzyszących. Wprowadzenie: Bezpieczeństwo w budynkach i obiektach budowlanych obejmuje wiele zagadnień. Jednym z nich jest zapewnienie procesu bezpiecznej ewakuacji z zagrożonych budowli. W obliczeniach symulacyjnych ewakuacji szerokie zastosowanie znalazło specjalistyczne oprogramowanie pozwalające na przybliżenie rzeczywistych zjawisk panujących podczas ewakuacji. Programy te pozwalają również na oszacowanie czasu ewakuacji. Obliczenia czasu ewakuacji dokonuje się według określonych algorytmów i modeli. W pracy zaprezentowano możliwości zastosowania jednej z gałęzi informatyki jaką są automaty komórkowe do projektowania modeli pozwalających odwzorowywać ewakuację. Na wstępie zostały zawarte założenia niezbędne do prawidłowej budowy modelu. Następnie przedstawiono rozwój modeli wykorzystujących automaty komórkowe. Autorzy przedstawili również niedoskonałości modeli oraz problemy, które mogą występować podczas implementacji algorytmów opartych na automatach komórkowych. Zaprezentowany materiał w sposób syntetyczny przedstawia elementy, które mogą posłużyć do budowy programów modelujących ewakuację na bazie automatów komórkowych. Jednym z najważniejszych w tym obszarze jest model Floor Field. Model ten podlega ciągłym modyfikacjom i udoskonaleniom. Zastosowanie automatów komórkowych pozwala na modelowanie ewakuacji przy wykorzystaniu znacznie mniejszych zasobów obliczeniowych niż w przypadku modeli agentowych czy Social Force, a dokładność wykonanych obliczeń jest porównywalna. Zrozumienie własności automatów komórkowych ma ogromne znaczenie we właściwym odwzorowaniu procesu ewakuacji przy zastosowaniu tego typu modeli. Metodologia: Przegląd publikacji, analiza poszczególnych modeli. Wnioski: W wyniku analizy literatury przedstawiono rozwój modeli na przestrzeni ostatnich lat. Wykazano, że proste modele bazujące na automatach komórkowych mają niską złożoność obliczeniową, co pozwala na modelowanie ewakuacji dla dużej grupy osób przy niewielkiej mocy obliczeniowej komputerów. Prawidłowo zweryfikowany model można stosować do dokładnego szacowania czasu ewakuacji osób z budynków i obiektów budowlanych.
Aim: Presentation and discourse of issues associated with cellular automata models used in evacuation modelling software and accompanying events. Introduction: Security in buildings and construction works covers many issues. One of these addresses the matter of ensuring a process for the safe evacuation of endangered buildings. Specialized simulation software for approximation of real events, which prevail during an evacuation, was used in calculations. Such software also allows for the estimation of evacuation time. Evacuation time calculations are performed according to specific algorithms and models. This paper reveals the potential use of one branch of computer science, namely cellular automata, to design models, which facilitate the mapping of evacuations. At the outset it was necessary to make essential assumptions for a proper construction of the model. These were followed by the development of models using cellular automata. The authors described the model imperfections and problems, which can occur during implementation of algorithms based on cellular automata. Material revealed by the study shows in a synthetic way the elements, which can be used to build evacuation modelling programmes using cellular automata. One of the most important models in this area is known as Floor Field. This model is exposed to continuous modifications and improvements. The use of cellular automata allows for the modelling of evacuations using much less computational resources than in the case of agent models or Social Force and the accuracy of calculations is comparable. Understanding the properties of cellular automata is of great importance for the correct mapping of the evacuation process when using such models. Methodology: Review of publications and analysis of individual models. Conclusions: An analysis of literature reveals advances made in the development of models during recent years. It is revealed that simple models based on cellular automata have low computational complexity, which permits the modelling of evacuation for a large group of people with low computing power. A properly validated model can be used to estimate the time to evacuate people from buildings and construction works with great accuracy.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2016, 43, 3; 127-141
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
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ł:
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ł:
Automaty komórkowe w modelowaniu procesów przywództwa w organizacjach
Cellular automata in the modelling process of leadership in organizations
Autorzy:
Kowalska-Styczeń, A.
Powiązania:
https://bibliotekanauki.pl/articles/326719.pdf
Data publikacji:
2013
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
przywództwo
organizacja
automat komórkowy
modelowanie procesów
zmiana organizacyjna
leadership
organization
cellular automata
process modelling
organizational change
Opis:
W artykule przedstawiono możliwości zastosowania automatów komórkowych do modelowania procesów przywództwa w organizacjach. Ponieważ obecność liderów wydaje się być kluczowym czynnikiem powodzenia w przypadku zmian postaw w organizacjach, to mechanizm przekazywania informacji „z ust do ust”(w-o-m) jest decydującym narzędziem w tej sferze. W artykule pokazano możliwość modelowania dynamiki procesu zmian w organizacji, wynikającego z oddziaływanie liderów zmian. Przedstawiono także zależność dynamiki zmian od parametrów modelu.
The article presents the possibility of using cellular automata to model the processes of the leadership in organizations. Since the presence of leaders seems to be a key factor in the success of attitude change, the way of communication by the use of 'word of mouth' mechanism is a crucial tool in this sphere. The proposed paper shows the possibility of modeling the dynamics of the process of change in the organization, if the basic assumption of this process is the presence of leaders and the their impact on possible changes. The dependence of the model dynamics according to the changes in model parameters is shown.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2013, 64; 147-155
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Functional simulation of railway stations on the basis of finite-state automata
Funkcionalnoe modelirovanie zeleznodoroznyh stancij na osnove konecnych avtomatov
Autorzy:
Bobrovskiy, V
Kozachenko, D
Vernigora, R
Powiązania:
https://bibliotekanauki.pl/articles/374463.pdf
Data publikacji:
2014
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
railway station
simulation
ergodic model
finite-state automata
stacja kolejowa
symulacja
model ergodyczny
automaty skończenie stanowe
Opis:
The general scheme of railway station’s model and technique of formalizing the technologic processes at stations are described. To take into account the human impact on station’s operation is suggested to use ergatic models. In conformity with concept of stations’ ergatic models a person is directly involved into the simulation process and manages the station technological processes acting as a dispatcher. The formalization of technological processes for processing the objects is performed on the basis of deterministic finite-state automaton. Designed model can be used for optimization of technical and technological parameters of railway stations, as well as in computer simulators for training of railway traffic managers.
Приведена общая структура функциональной модели железнодорожной станции и методика формализации технологических процессов станций. Для учета влияния человека на станционные процессы предложено использовать эргатические модели. В соответствии с концепцией эргатического моделирования человек принимает непосредственное участие в процессе моделирования и управляет технологическим процессом станции, выполняя функции диспетчера. Разрабо-танная модель может быть использована для оптимизации технических и технологических параметров железнодорожных станций, а также в компьютерных тренажерах для подготовки диспетчерского персонала железных дорог.
Źródło:
Transport Problems; 2014, 9, 3; 57-65
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Modelowanie przywództwa w organizacjach – założenia modelu komputerowego
Leadership modelling in organisations – computer model assumptions
Autorzy:
Kowalska-Styczeń, A.
Powiązania:
https://bibliotekanauki.pl/articles/321185.pdf
Data publikacji:
2015
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
organizacja
przywództwo
system złożony adaptacyjny
symulacja
automaty komórkowe
organization
leadership
complex adaptive systems
simulation
cellular automata
Opis:
Celem artykułu jest opracowanie założeń modelu opartego na automacie komórkowym, przeznaczonego do badania procesów przywództwa w organizacjach w ujęciu złożonych systemów adaptacyjnych. Model komputerowy ma objaśniać zachowania systemu, jakim jest organizacja, przez dynamiczną analizę zachowań lokalnych, tzn. interakcji pomiędzy elementarnymi składnikami systemu. W związku z powyższym program komputerowy powinien pozwalać na elastyczne definiowanie i symulowanie procesów przywództwa przez określenie lokalnych reguł, ustalenie kluczowych parametrów modelu, a następnie analizę pojawiających się emergentnych zjawisk na poziomie makro.
This article aims to develop a model assumptions based on cellular automata. This model is designed to study the leadership processes in organizations in terms of complex adaptive systems (CAS). The task of computer model is to explain the behavior of the system which is the organization through a dynamic analysis of the behavior of local, i.e. the interaction between the elementary components of the system. Accordingly, the computer program should allow the flexibility to define and simulate the processes of leadership by specifying local rules to determine key parameters of the model and the analysis of emergent phenomena that appear at the macro-level.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2015, 86; 51-59
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimal state automata for detecting a β globin gene mutation
Autorzy:
Ferdania, Devi Fitri
Irawati, -
Garminia, Hanni
Akhmaloka, -
Rachmansyah, Kemal Aziez
Powiązania:
https://bibliotekanauki.pl/articles/1838203.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
minimal state automata
syntactic monoid
β-thalassemia
biological sequences
automat stanu minimalnego
monoid syntaktyczny
sekwencja biologiczna
Opis:
Beta-thalassemia is an autosomal recessive blood disorder characterized by abnormalities in the synthesis of β globin. Together with α globin, it is a subunit of globin protein, called hemoglobin, located inside our red blood cells to deliver oxygen from the lungs to all of the tissues throughout our body. Thereby, individuals with β-thalassemia will often feel limp due to a lack of oxygen dissolved in their blood. In this paper, a finite state automaton to detect and classify β globin gene mutations using its DNA sequence is constructed. Finite state automata have a close connection to an algebraic structure, that is, a monoid. Together with the theory of the syntactic monoid, we present a methodology to minimize the number of the internal states of an automaton to have minimal state automata. Therefore, a minimal state automaton can be constructed to detect β globin gene mutation causing the β-thalassemia disease. We have developed a MATLAB program to conduct the appropriate simulations.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2021, 31, 2; 337-351
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Block ciphers on the basis of reversible cellular automata
Szyfry blokowe na podstawie odwracalnych automatów komórkowych
Autorzy:
Tanasyuk, Yuliya
Burdeinyi, Petro
Powiązania:
https://bibliotekanauki.pl/articles/408746.pdf
Data publikacji:
2020
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
block cipher
symmetric encryption algorithm
reversible cellular automata
szyfr bloku
algorytm szyfrowania symetrycznego
odwracalny automat komórkowy
Opis:
The given paper is devoted to the software development of block cipher based on reversible one-dimensional cellular automata and the study of their statistical properties. The software implementation of the proposed encryption algorithm is performed in C# programming language in Visual Studio 2017. The paper presents specially designed approach for key generation. To ensure a desired cryptographic stability, the shared secret parameters can be adjusted in order to contain information needed for creating substitution tables, defining reversible rules, and hiding the final data. For the first time, it is suggested to create substitution tables based on iterations of a cellular automaton that is initialized by the key data.
Niniejszy artykuł poświęcony jest rozwojowi oprogramowania szyfrów blokowych opartychna odwracalnych jednowymiarowych automatach komórkowych oraz badaniu ich właściwości statystycznych. Zastosowanie oprogramowania w proponowanym algorytmie kodowania wykonywane jest w języku programowania C# w Visual Studio 2017. Artykuł przedstawia specjalnie zaprojektowane podejście do generowania klucza. Aby zapewnić pożądaną stabilność kryptograficzną, dostosowane mogą zostać wspólne tajne parametry w taki sposób,aby zawierały informacje wymagane dla stworzenia tabel substytucyjnych, określające zasadyodwracalne oraz ukrywające dane końcowe. Po raz pierwszy, proponowane jest tworzenie tabeli substytucyjnych w oparciu o iterację automatów komórkowych,które zostają zainicjowane poprzez dane klucza.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2020, 10, 1; 8-11
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effect of Mn contents on age-hardening and microstructure in AM60 magnesium alloys
Wpływ zawartości manganu na starzenie i mikrostrukturę stopów magnezu AM60
Autorzy:
Tsuchiya, T.
Kawabata, T.
Saikawa, S
Isizuki, H
Takeda, S.
Ikeno, S.
Matsuda, K.
Powiązania:
https://bibliotekanauki.pl/articles/353800.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
multiscale modeling
thixotropy effect
thixoforming
semi-solid state
cellular automata
modelowanie wielozakresowe
zjawisko tiksotropii
automaty komórkowe
Opis:
The thixotropy phenomenon is strongly connected with the change of viscosity in time, while the of Navier-Stockes equation. The micro- and macroscale models are coupled using CAFE approach.
Zjawisko tiksotropii polega na zmianie lepkości cieczy przy ustalonej prędkości ścinania i temperaturze. W komputerowym modelowaniu zachowania się materiału wykazującego skończonych.
Źródło:
Archives of Metallurgy and Materials; 2013, 58, 2; 327-328
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Monitoring and forecasting spatio-temporal LULC for Akure rainforest habitat in Nigeria
Autorzy:
Aliyu, Yahaya A
Youngu, Terwase T.
Abubakar, Aliyu Z.
Bala, Adamu
Jesulowo, Christianah I.
Powiązania:
https://bibliotekanauki.pl/articles/1444929.pdf
Data publikacji:
2020
Wydawca:
Politechnika Warszawska. Wydział Geodezji i Kartografii
Tematy:
LULC
change detection
Landsat
Cellular Automata Markov model
Nigeria
wykrywanie zmian
program Landsat
model Markowa
automaty komórkowe
Opis:
For several decades, Nigerian cities have been experiencing a decline in their biodiversity resulting from rapid land use land cover (LULC) changes. Anticipating short/long-term consequences, this study hypothesised the effects of LULC variables in Akure, a developing tropical rainforest city in south-west Nigeria. A differentiated trend of urban LULC was determined over a period covering 1999–2019. The study showed the net change for bare land, built-up area, cultivated land, forest cover and grassland over the two decades to be -292.68 km2, +325.79 km2, +88.65 km2, +8.62 km2 and -131.38 km2, respectively. With a projected population increase of about 46.85%, the study identified that the built-up land cover increased from 1.98% to 48.61%. The change detection analysis revealed an upsurge in built area class. The expansion indicated a significant inverse correlation with the bare land class (50.97% to 8.66%) and grassland class (36.33% to 17.94%) over the study period. The study observed that the land consumption rate (in hectares) steadily increased by 0.00505, 0.00362 and 0.0687, in the year 1999, 2009 and 2019, respectively. This rate of increase is higher than studies conducted in more populated cities. The Cellular Automata (CA) Markovian analysis predicted a 37.92% growth of the study area will be the built-up area in the next two decades (2039). The 20-year prediction for Akure built-up area is within range when compared to CA Markov prediction for other cities across the globe. The findings of this study will guide future planning for rational LULC
Źródło:
Reports on Geodesy and Geoinformatics; 2020, 110; 29-38
2391-8365
2391-8152
Pojawia się w:
Reports on Geodesy and Geoinformatics
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ł:
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ł:
Model ewakuacji wykorzystujący automaty komórkowe
An Evacuation Model Using Cellular Automata
Autorzy:
Barański, M.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/372998.pdf
Data publikacji:
2017
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
ewakuacja
modelowanie
szacowanie czasu ewakuacji
automat komórkowy
złożoność obliczeniowa
evacuation
modelling
estimating evacuation time
cellular automata
computational complexity
Opis:
Cel: Zapewnienie ludziom bezpieczeństwa podczas zgromadzeń i imprez masowych wymaga m.in. analizy warunków ewakuacji oraz właściwej organizacji ewakuacji w czasie zagrożenia. Modelowanie procesu ewakuacji to jeden z możliwych wariantów analizowania i planowania bezpiecznej ewakuacji zarówno z budynków, obiektów, jak i z terenu przeznaczonego na zorganizowanie imprezy. Celem artykułu jest zaprezentowanie praktycznego wykorzystania automatów komórkowych w modelowaniu ewakuacji oraz porównanie otrzymanych wyników z wynikami modelowania wykonanego dzięki wykorzystaniu oprogramowania komercyjnego. Dodatkowym celem pracy jest porównanie kosztu obliczeniowego modelowania ewakuacji przy zastosowaniu automatu komórkowego z kosztem obliczeniowym modelowania ewakuacji przy wykorzystaniu modelu Social Force. Projekty i metody: Posłużono się automatem komórkowym z siatką o stałych wymiarach 0,5 x 0,5 m. Podstawowym założeniem dla modelu ruchu były wartości pól warstwy statycznej Floor Field, obliczane zgodnie z metryką euklidesową, oraz algorytmem zachłannym. Wyznaczono wartość parametru μ = 0,55 określającą prawdopodobieństwo przejścia osoby do sąsiedniej komórki automatu. Implementację modelu wykonano w języku Python, korzystając z biblioteki do obliczeń naukowych Numpy i biblioteki matematycznej Math. Wyniki modelowania ewakuacji przy wykorzystaniu proponowanego modelu porównano z wynikami modelowania przy wykorzystaniu programu FDS+Evac dla pomieszczenia o wymiary 11,5 x 9 m z jednym wyjściem ewakuacyjnym i z dwoma wyjściami ewakuacyjnymi. Ponadto wykonano modelowanie i zestawiono uzyskane wyniki z wynikami programów FDS+Evac, Pathfinder oraz TraffGo zgodnie z testem Międzynarodowej Organizacji Morskiej (International Maritime Organization – IMO) IMO 9 dla 1000 osób. Wyniki: Stwierdzono, że zarówno przy modelowaniu ewakuacji z pomieszczenia zaproponowanego przez autorów, jak i przy modelowaniu ewakuacji z pomieszczeń zaproponowanych w teście IMO 9 oszacowane czasy ewakuacji są zbieżne z czasami oszacowanymi przy wykorzystaniu programów mających zastosowanie w inżynierii bezpieczeństwa pożarowego. Ponadto wykazano, że zastosowanie automatu komórkowego przy modelowaniu ewakuacji 1000 osób pozwala na wykonanie modelowania 20-krotnie szybciej niż w przypadku modelu Social Force zaimplementowanego w programie FDS+Evac. Średni koszt modelowania 1 s ewakuacji przy wykorzystaniu automatu komórkowego zależy liniowo od liczby osób podlegających ewakuacji, inaczej niż to jest w przypadku modelu Social Force, w którym czas modelowania zwiększa się wykładniczo w stosunku do liczby osób. Wnioski: Modele ewakuacji wykorzystujące automaty komórkowe, w przeciwieństwie do modelu Social Force, umożliwiają modelowanie ruchu dużych grup ludzi przy niższym koszcie obliczeniowym. Zastosowanie automatów komórkowych pozwala na wprowadzanie dodatkowych warstw wpływających na ruch ludzi przy niewielkim zwiększeniu się złożoności obliczeniowej. Wprowadzenie dodatkowych założeń i warstw do modeli opartych na automatach komórkowych umożliwi bardziej rzeczywiste odwzorowanie ewakuacji przy niewielkim wzroście kosztu zużycia zasobów sprzętowych. Ponadto narzędzia pozwalające na szybkie szacowanie czasu ewakuacji w przystępny dla inżynierów sposób byłyby pomocne w prawidłowym projektowaniu budynków. Obecnie komercyjne programy wymagają specjalistycznej wiedzy z zakresu modelowania. Zastosowanie prostego interfejsu z szybkim algorytmem szacowania czasu ewakuacji może przynieść wymierne korzyści w postaci poprawy bezpieczeństwa w projektowanych budynkach i obiektach budowlanych.
Aim: The safety of people during meetings and public events requires an analysis of the conditions of evacuation and the proper organisation of escape in times of danger. Modelling the evacuation process is one of the options for analysing and planning the safe evacuation of the buildings, facilities and spaces during events. The aim of the article was to present the practical use of cellular automata for evacuation modelling and comparing the results with the results achieved using commercial software. Additionally, the objective of this work was to compare the cost of computational evacuation modelling of cellular automata with the “Social Force” model. Project and methods: The authors used cellular automata on the grid with a fixed size of 0.5 m x 0.5m. The basic premise for the traffic model was the “Floor Field” static layer with Euclidean metric and the greedy algorithm. The determined value μ = 0.55 indicated the probability of the transition of a person to the neighbouring automat cell. The implementation of the model was made in “Python”, using the library for scientific computing “Numpy”, and the maths library “Math”. We compared the results of modelling the evacuation using the proposed model with the program “FDS + Evac” for room size 11.5 x 9 m with one and two emergency exits. Furthermore, the modelling was done and the results were juxtaposed with the results of the programs “FDS + Evac”, “Pathfinder” and “TraffGo”, using the example of a test of the International Maritime Organisation (IMO 9) covering the evacuation of 1,000 people. Results: For both the evacuation modelling proposed by the authors and the IMO 9 test estimated evacuation times are consistent with the times estimated using programs applicable in fire-safety engineering. It was further found that the use of cellular automata for modelling the evacuation of 1,000 people allows modelling 20 times faster than in the “Social Force” model implemented in the “FDS + Evac” program. The average cost of modelling of 1 s of evacuation using cellular automata depends linearly on the number of persons subjected to evacuation, in contrast to the “Social Force” model, where the modelling time will increase exponentially with the number of people. Conclusions: Evacuation models based on cellular automata, in contrast to the “Social Force” model, provide the ability to model the movement of large groups of people at a lower computing cost. The use of cellular automata allows the introduction of additional layers affecting the movement of people with a small increase in computational complexity. Introducing additional assumptions and layers to cellular automata models allow a more realistic representation of the evacuation with the small increase in the cost of the equipment used. Furthermore, a tool allowing fast estimates of the evacuation time in a manner accessible to engineers would help in the correct designing of buildings. Current commercial programs require expertise in the field of modelling. Using a simple interface with a fast algorithm estimating evacuation times can bring measurable benefits in terms of improving the safety of designed buildings and construction works.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2017, 45, 1; 68-79
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
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ł:
Diagnosis of hybrid systems through bond graph, observers and timed automata
Autorzy:
Mhamdi, Lotfi
Achbi, Mohammed Said
Dhouibi, Hedi
Kechida, Sihem
Powiązania:
https://bibliotekanauki.pl/articles/329496.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
bond graph
observer
timed automata
fault diagnosis
fault localization
grafy wiązań
obserwator
automaty czasowe
błędna diagnoza
lokalizacja uszkodzeń
Opis:
Despite technological advances and progress in industrial systems, the fault diagnosis of a system remains a very important task. In fact an effective diagnosis contributes not only to improved reliability but also to a decrease in maintenance costs. This paper presents an approach to a diagnosis of hybrid systems thanks to the use of Bond Graphs, Observer and Timed Automata. Dynamic models (in normal and failing mode) are generated by an observer based methods as well as through state equations generated by the Bond Graphs model. The procedure of fault localization through a method based on the observer does not allow locating faults with the same signature of failure. Thus the diagnosis technique for the localization of these defects will be based on the time analysis using Timed Automata. The proposed approach is then validated by simulation tests in a two tanks hydraulic system.
Źródło:
Diagnostyka; 2020, 21, 3; 113-125
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of rock mass horizontal displacements with usage of cellular automata theory
Symulacja przemieszczeń poziomych górotworu z wykorzystaniem teorii automatów komórkowych
Autorzy:
Sikora, P.
Powiązania:
https://bibliotekanauki.pl/articles/963989.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
przemieszczenia poziome
deformacje górotworu
ochrona terenów górniczych
automat komórkowy
horizontal displacements
rock mass deformation
mining area protection
cellular automata
Opis:
In the article there was presented two dimensional rock mass model as a deterministic finite cellular automata. Used to describe the distribution of subsidence of rock mass inside and on its surface the theory of automata makes it relatively simple way to get a subsidence trough profile consistent with the profile observed by geodetic measurements on the land surface. As a development of an existing concept of the rock mass model, as a finite cellular automaton, there was described distribution function that allows, simultaneously with the simulation of subsidence, to simulate horizontal displacements inside the rock mass model and on its surface in accordance with real observations. On the basis of the results of numerous computer simulations there was presented fundamental mathematical relationship that determines the ratio of maximum horizontal displacement and maximum subsidence, in case of full subsidence trough, in relation to the basic parameters of the rock mass model. The possibilities of presented model were shown on the example of simulation results of deformation distribution caused by extraction of abstract coal panel. Obtained results were consistent with results obtained by geometric-integral theory.
W artykule przedstawiono płaski model górotworu jako deterministyczny, skończony automat komórkowy. Wykorzystana do opisu rozkładu deformacji wewnątrz górotworu i na jego powierzchni teoria automatów pozwala w relatywnie prosty sposób uzyskać profil niecki obniżeniowej zgodny z profilem obserwowanym pomiarami geodezyjnymi na powierzchni terenu. Przedstawiony w pracy najprostszy model górotworu przedstawia jego płaski przekrój w postaci regularnej siatki komórek, które ściśle do siebie przylegają i mają jednakowy kształt (Rys. 1). Dla modelu zdefiniowano podstawowe parametry automatu komórkowego takie jak: warunki brzegowe, decydujące o początku i końcu symulacji, sąsiedztwo komórkowe, określające przestrzeń w siatce komórek, w obrębie której dochodzi do bezpośredniej wymiany informacji zapisanych w poszczególnych komórkach oraz funkcję przejścia, która decyduje o ostatecznej charakterystyce rozkładu symulowanego zjawiska w siatce automatu. W artykule zastosowano deterministyczną funkcję rozkładu. W wyniku licznych prób modelowych stwierdzono, że stosowana funkcja rozkładu dla symulacji rozkładu obniżeń (Rys. 3) nie pozwala na symulację ruchów poziomych jakościowo i ilościowo zgodnych z przemieszczeniami poziomymi obserwowanymi w rzeczywistości. Jako rozwinięcie dotychczasowej koncepcji budowy górotworu jako skończony automat komórkowy, w pracy opisano funkcję rozkładu (Rys. 5), która pozwala, równolegle do symulacji obniżeń, symulować przemieszczenia poziome zgodne z wynikami obserwacji geodezyjnych. Na podstawie wyników licznych symulacji komputerowych opisano podstawową matematyczną zależność (wzór 11) określającą stosunek maksymalnych przemieszczeń poziomych do maksymalnych obniżeń w niecce nadpełnej w odniesieniu do przyjętych parametrów opisanego modelu górotworu, tj.: odwzorowywanych w rzeczywistości wymiarów komórki, wartości tzw. przejścia głównego, głębokości eksploatacji oraz parametru maksymalnego nachylenia (będącego odpowiednikiem np. parametru tgβ w teorii Budryka-Knothego). Dla pokazania możliwości zaproponowanego automatu komórkowego wykonano symulację rozkładu deformacji wewnątrz modelu górotworu i wyznaczono profil linii obniżeń, nachyleń, przemieszczeń poziomych i odkształceń poziomych powierzchni modelu dla przykładu abstrakcyjnego, wyeksploatowanego pokładu o określonych parametrach górniczo-eksploatacyjnych. W wyniku symulacji otrzymano nadpełną nieckę obniżeniową o kształcie opisywanym przez całkę z funkcji Gaussa, w której rozkład przemieszczeń poziomych był zbieżny z modelem wzorcowym.
Źródło:
Archives of Mining Sciences; 2016, 61, 4; 749-763
0860-7001
Pojawia się w:
Archives of Mining Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Organizacja jako złożony system adaptacyjny
Organization as complex adaptive system
Autorzy:
Kowalska-Styczeń, A.
Powiązania:
https://bibliotekanauki.pl/articles/325584.pdf
Data publikacji:
2015
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
organizacja
złożony system adaptacyjny
symulacja
modele agentowe
automaty komórkowe
organization
complex adaptive systems
simulation
agent-based model
cellular automata
Opis:
W artykule przedstawiono koncepcję traktowania organizacji jako złożonego systemu adaptacyjnego (CAS). Wskazano cechy, jakie spełnia taki system, a także sposób, w jaki odnoszą się one do systemu społecznego, którym jest organizacja. Podano również przykłady narzędzi i metod, odzwierciedlających złożony charakter procesów zachodzących w CAS i stosowanych do ich badania. Są to symulacja, modele agentowe - w szczególności automaty komórkowe. W pracy pokazano także przykłady badań zjawisk zachodzących w organizacji w kontekście złożonego systemu adaptacyjnego z zastosowaniem modelu opartego na automacie komórkowym.
The paper presents the concept of treatment the organization as a complex adaptive system (CAS). The characteristics of the system, as well as the way in which they relate to the social system which is the organization are shown. Examples of tools and methods that reflect the complexity of the processes occurring in the CAS and are used for their study were also presented. It is a simulation, agent-based models - especially cellular automata. In addition, the article shows examples of studies of phenomena occurring in the organization in the context of a complex adaptive system using a model based on cellular automaton.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2015, 80; 179-188
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
De capite loquente – geneza legendy o mówiącej głowie papieża Sylwestra II
Autorzy:
Ewa, Balcerzyk,
Powiązania:
https://bibliotekanauki.pl/articles/897548.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:
talking head
Sylvester II
necromancy
teraphim
automata
astrology
demonology
prophecy
mówiąca głowa
Sylwester II
nekromancja
automat
astrologia
demonologia
przepowiednia
Opis:
The article is an attempt to trace the origins of the medieval legend of Pope Sylvester II. The main focus of the paper is to reveal what ancient and medieval notions have influenced the part of the tale that deals with an oracular talking head supposedly created by the magical powers of the pope, as described in the 12th-century chronicle of William of Malmesbury. The article aims to show that the concept owes its origin to the ancient ideas about necromancy and the Jewish legends about the so-called teraphim. Another key factor that played a part in the development of the legend is the tradition of automata. Other aspects of the legend discussed in the article are its astrological and demonological elements, and the ambiguous form of the prophecy pronounced by the talking head.
Źródło:
Przegląd Humanistyczny; 2016, 60(2 (453)); 121-135
0033-2194
Pojawia się w:
Przegląd Humanistyczny
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ł
Tytuł:
Quantitative safety analysis of train control system based on statistical model checking
Autorzy:
Lin, Junting
Min, Xiaoqin
Powiązania:
https://bibliotekanauki.pl/articles/2124711.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
train control systems
statistical model checking
safety analysis
hybrid automata
UPPAAL-SMC
system sterowania pociągiem
analiza bezpieczeństwa
automaty hybrydowe
Opis:
With the rapid development of communication technology, the Train-centric Communication-based Train Control (TcCBTC) system adopting the train-train communication mode to reduce the transmission link of control information, will become the direction of urban rail transit field development. At present, TcCBTC system is in the stage of key technology research and prototype development. Uncertain behavior in the process of system operation may lead to operation accidents. Therefore, before the system is put into use, it must undergo strict testing and security verification to ensure the safe and efficient operation of the system. In the paper, the formal modeling and quantitative analysis of train tracking operation under moving block are carried out. Firstly, the structure of TcCBTC system and the train tracking interval control strategy under moving block conditions are analyzed. The subsystem involved in train tracking and the uncertain factors in system operation are determined. Then, based on the Stochastic Hybrid Automata (SHA), a network of SHA model of train dynamics model, communication components and on-board controller in the process of train tracking is established, which can formally describe the uncertain environment in the process of system operation. UPPAAL-SMC is used to simulate the change curve of train position and speed during tracking, it is verified that the model meets the safety requirements in static environment. Finally, taking Statistical Model Checking (SMC) as the basis of safety analysis, the probability of train collision in uncertain environment is calculated. The results show that after accurately modeling the train tracking operation control mechanism through network of SHA, the SMC method can accurately calculate the probability of train rearend collision, which proves that the method has strong feasibility and effectiveness. Formal modeling and analysis of safety-critical system is very important, which enables designers to grasp the hidden dangers of the system in the design stage and safety evaluation stage of train control system, and further provides theoretical reference for the subsequent TcCBTC system design and development, practical application and related specification improvement.
Źródło:
Archives of Transport; 2022, 61, 1; 7--19
0866-9546
2300-8830
Pojawia się w:
Archives of Transport
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-100 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