Temat: automata - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Skocz do pozycji: 5.

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ł

Zmień widok

na półce

Skocz do pozycji: 6.

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ł

Zmień widok

na półce

Skocz do pozycji: 7.

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ł

Zmień widok

na półce

Skocz do pozycji: 8.

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ł

Zmień widok

na półce

Skocz do pozycji: 9.

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ł

Zmień widok

na półce

Skocz do pozycji: 10.

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ł

Zmień widok

na półce

Skocz do pozycji: 11.

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ł

Zmień widok

na półce

Skocz do pozycji: 12.

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ł

Zmień widok

na półce

Skocz do pozycji: 13.

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ł

Zmień widok

na półce

Skocz do pozycji: 14.

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ł

Zmień widok

na półce

Skocz do pozycji: 15.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "automata" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język