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ę "automaton" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 27
Tytuł:
Izomorfizm półgrupy charakterystycznej sumy prostej i iloczynu prostego „G” i AG automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń związanych z izomorfizmami DFASC2
Isomorphism of the characteristic semi-group of the direct sum and direct product of the asynchronous automatons of the strongly connected and determined analogs of their extensions
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/312147.pdf
Data publikacji:
2018
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
automat
półgrupa charakterystyczna
izomorfizm
automaton
semigroup
isomorphism
Opis:
W artykule W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów "G" i "AG" asynchronicznych silnie spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prosta iloczyn prosty można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).
In this article it is presented that the characteristic semi-group of the direct sum and direct product "G" and "AG" of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphism. Taking into account that the characteristic semi-group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi-groups).
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 12; 312-315
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309744.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
automat
teoria automatów
automat asynchroniczny spójny
iloczyn prosty
półgrupa charakterystyczna
automaton
automata theory
asynchronous automaton
direct sum
characteristic semi-group
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1322-1326, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
Complexity of the characteristic semi-group “AG” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/309692.pdf
Data publikacji:
2017
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
pojazd szynowy
sterowanie pojazdem
symulacja sterowania
teoria automatów
automaty asynchroniczne
analiza graficzna
izomorfizm
model matematyczny
rail vehicle
vehicle control
control simulation
automata theory
asynchronous automaton
graphical analysis
isomorphism
mathematical model
Opis:
W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,..., gq-1 where is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1473-1477, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of pseudo-equivalent microprogram automata on programmable logic devices
Projektowanie pseudoekwiwalentnych automatów mikroprogramowalnych na układach PLD
Autorzy:
Bułatowa, I.
Radziwoniuk, M.
Powiązania:
https://bibliotekanauki.pl/articles/341119.pdf
Data publikacji:
2011
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
automat mikroprogramowalny
automat pseudoekwiwalentny
programowalne układy logiczne
sieć działań
dodatkowe stany wewnętrzne
microprogram automaton
algorithmic state machine
pseudoequivalent automaton
additional internal states
programmable logic devices
Opis:
Metody syntezy automatów mikroprogramowalnych oparte na wprowadzeniu dodatkowych stanów wewnętrznych prowadzą do otrzymania automatów pseudoekwiwalentnych. Sekwencja słów wyjściowych takich automatów naruszana jest pojawieniem się zerowych słów wyjściowych w stanach dodatkowych, co nie zawsze jest dopuszczalne w zastosowaniach praktycznych. W artykule została przedstawiona nowa metoda syntezy automatów mikroprogramowalnych, która pozwala przekształcić automat pseudoekwiwalentny na postać ekwiwalentną. Zaproponowana została zmodyfikowana struktura automatu mikroprogramowalnego, w której zmiana sygnałów wyjściowych jest możliwa wyłącznie w stanach podstawowych, tym samym eliminuje się słowa zerowe na wyjściach automatu. Badania eksperymentalne pokazały, że złożoność realizacji zaproponowanej struktury na układach programowalnych wzrasta w nieznacznym stopniu, natomiast takie podejście pozwala znacznie rozszerzył obszar zastosowania metod syntezy automatów mikroprogramowalnych opartych na wprowadzeniu dodatkowych stanów wewnętrznych.
In this paper, a new method of synthesis of microprogram automata from ASM specification is presented. This method allows converting pseudo-equivalent automaton to an equivalent one by eliminating the zero-value output sets appearing in additional internal states. The proposed method is based on a modified model of microprogram automaton, which permits changing the output signals only in the basic internal states, thereby eliminating the zero-value sets of output signals generated in additional states of pseudo-equivalent automata. This allows removing the adverse effects of introducing additional states and provides a wider application of numerous methods for the synthesis of pseudo-equivalent microprogram automata. The experimental results show that the cost of realization of the proposed structure in programmable logic devices increases insignificantly, but then it leads to extend the field of application synthesis methods based on the introduction of additional internal states.
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2011, 7; 17-29
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of eutectic saturation influence on microstructure in thin wall ductile iron casting using cellular automata
Autorzy:
Burbelko, A. A.
Gurgul, D.
Kapturkiewicz, W.
Górny, M.
Powiązania:
https://bibliotekanauki.pl/articles/380375.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
proces krzepnięcia
automat komórkowy
modelowanie
solidification process
thin cellular automaton
modeling
Opis:
The mathematical model of the globular eutectic solidification in 2D was designed. Proposed model is based on the Cellular Automaton Finite Differences (CA-FD) calculation method. Model has been used for studies of the primary austenite and of globular eutectic grains growth during the ductile iron solidification in the thin wall casting. Model takes into account, among other things, non-uniform temperature distribution in the casting wall cross-section, kinetics of the austenite and graphite grains nucleation, and non-equilibrium nature of the interphase boundary migration. Calculation of eutectic saturation influence (Sc = 0.9 - 1.1) on microstructure (austenite and graphite fraction, density of austenite and graphite grains) and temperature curves in 2 mm wall ductile iron casting has been done.
Źródło:
Archives of Foundry Engineering; 2012, 12, 4; 11-16
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja automatu komórkowego „Gra w życie” Johna Conwaya na wybranym mikrokontrolerze
Simulation of John Conway’s “Game of Life” cellular automaton on a selected microcontroller
Autorzy:
Burdziński, Paweł
Poczekajło, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/37520125.pdf
Data publikacji:
2022
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
automat komórkowy
Gra w życie
Conway John
Arduino DUE
cellular automaton
Game of Life
Opis:
Wykonany prototyp pozwala na symulację automatu komórkowego „Gry w Życie” Johna Conwaya oraz innych wariantów dwuwymiarowych automatów bazujących na liczbie żywych komórek w sąsiedztwie Moore’a. Urządzenie umożliwia wczytywanie podstawowych struktur z pamięci mikrokontrolera oraz dowolnych map z ustawieniami reguł symulacji z karty microSD. Struktury można edytować, tworzyć własne lub generować losowo. Sterowanie odbywa się pilotem na podczerwień, a symulacja jest wyświetlana poprzez przejściówkę VGA. Implementacja programu pozwala na symulację dwóch niezależnych automatów komórkowych jednocześnie, przełączanie istnienia ścian na krawędzi mapy oraz inne drugorzędne opcje.
Cellular automata are capable of simulating complex structures with a short list of simple rules. Some of them can process computer operations inside the simulation and others are used in everyday life. Each cell’s state of the automaton can be calculated based on states of their surrounding cells at the same time for the next generation. The purpose of the following thesis was to analyze cellular automata and to create a prototype device using a selected microcontroller to simulate a cellular automaton and output its visual representation on a monitor through a VGA connector – that converts digital signal from the device to analog VGA signal to the monitor. The Arduino DUE development board was used to build the prototype. The device allows the user to simulate the structures of John Conway's "Game of Life" cellular automaton and others by modifying the simulation rules. Structures can be loaded from the program menu or from a microSD memory card. The device allows the user to simulate two independent cellular automata at the same time, pause and resume simulation with the option to increase or decrease the time between generations, turning walls on or off and modify cell states. The prototype is controlled by an infrared remote control.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2022, 75; 13-18
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Innowacyjne rozwiązania nagrodzone w ogólnopolskich konkursach w I półroczu 2019 roku
The innovative solutions awarded in national competitions in the first half of the year 2019
Autorzy:
Chmielewski, Ryszard
Powiązania:
https://bibliotekanauki.pl/articles/883722.pdf
Data publikacji:
2019-09-05
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:
instytuty naukowo-badawcze
sieci badawcze
Siec Badawcza Lukasiewicz-Przemyslowy Instytut Maszyn Rolniczych
innowacje
wynalazki
rozwiazanie Automat z systemem wizyjnym do skaryfikacji oraz oceny zdrowotnosci nasion debu
rozwiazanie Agregat o duzej szerokosci roboczej do przedsiewnej uprawy gleby i jednoczesnego wysiewu nasion
nagrody
wyroznienia
wystawy
automaton for acorns scarification
combine seed drill
modular construction
pre-sowing soil cultivation
vision system
exhibitions
awards
Opis:
W artkule przedstawiono innowacyjne rozwiązania Sieci Badawczej Łukasiewicz - Przemysłowego Instytutu Maszyn Rolniczych i partnerów, nagrodzone w ogólnopolskich konkursach organizowanych przez ZG SIMP na „Najlepsze osiągnięcie techniczne roku 2018” oraz przez ZG FSNT-NOT pn. „Mistrz Techniki FSNT-NOT” 2018/2019 za wybitne osiągnięcia w dziedzinie techniki”. Opisano budowę i działanie automatu do skaryfikacji i oceny zdrowotności nasion dębu oraz agregatu do przedsiewnej uprawy gleby i wysiewu nasion.
The paper presents the innovative solutions of Łukasiewicz Research Network - Industrial Institute ofAgricultural Engineering and Partners, awarded in national competitions as „, Najlepsze osiągnięcie techniczne roku 2018” ("The besttechnical achievement of 2016”), „Mistrz Techniki FSNT-NOT 2018/2019 za wybitne osiągnięcia w dziedzinie techniki” ("Master of Technology FSNT- NOT 2018/2019 for outstanding achievements in the field of technology '). The construction and operation of the automaton for scarification and assessment of the health of acorns and aggregate for pre-sowing soil cultivation and sowing Seeds is described.
Źródło:
Technika Rolnicza Ogrodnicza Leśna; 2019, 3; 2-4
1732-1719
2719-4221
Pojawia się w:
Technika Rolnicza Ogrodnicza Leśna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A mechanism reliability analysis method considering environmental influence and failure modes’ correlation : a case study of rifle automaton
Autorzy:
Fang, Yi-chuan
Wang, Yong-juan
Sha, Jin-long
Gu, Tong-guang
Zhang, He
Powiązania:
https://bibliotekanauki.pl/articles/24200826.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
mechanism reliability
environmental influence
failure modes’ correlation
copula function
Kaplan-Meier estimation
rifle automaton
Opis:
In order to overcome the challenge of quantifying the influence of environmental conditions and the coexistence of multiple failure modes involved in mechanism reliability modelling under different environments. In this paper, we propose a method for the analysis of mechanism reliability that takes into account the influence of environmental factors and failure modes’ correlation, quantifies the influence of environmental factors as the random distribution and degradation path of parameters, and derives the Copula description of failure mode correlation from the historical data of environmental experiments. On the basis of the discrete mechanism dynamics model, the output parameters of the characteristic points are calculated, and the failure rate of each failure mode is calculated based on the failure criterion and the performance margin theory. Additionally, the dynamic change pattern of the mechanism reliability is compared with the Kaplan-Meier estimation of the corresponding environmental test history data to assess the validity of the calculation results. The reliability modelling problem of a motion mechanism of an automatic rifle automaton in a high and low temperature environment is applied to the method, and the reliability calculation results are close to those of Kaplan-Meier estimation of the test history data, and all are within the upper and lower bounds given by the reliability boundary theory, demonstrating the method's validity.
Źródło:
Eksploatacja i Niezawodność; 2023, 25, 2; art. no. 166145
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cellular Automaton Finite Element Method Applied for Microstructure Prediction of Aluminium Casting Treated by Laser Beam
Autorzy:
Hajkowski, J.
Popielarski, P.
Ignaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/382992.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
microstructure alloys prediction
aluminium alloys
remelting by laser beam
tribology
finite element method applied
cellular automaton
dendrite arm spacing
prognoza mikrostruktury stopów
stopy aluminium
przetapianie wiązką laserową
trybologia
zastosowanie metody elementów skończonych
Opis:
What is the limit of improvement the structure obtained directly from the liquid state, with possible heat treatment (supersaturation and aging)? This question was posed by casting engineers who put arbitrary requirements on reducing the DAS (Dendrite Arm Spacing) length to less than a dozen microns. The results of tests related to modification of the surface microstructure of AlSi7Mg alloy casting treated by laser beam and the rapid remelting and solidification of the superficial casting zone, were presented in the paper. The local properties of the surface treated with a laser beam concerns only a thickness ranging from a fraction to a single mm. These local properties should be considered in the aspect of application on surfaces of non-machined castings. Then the excellent surface layer properties can be used. The tests were carried out on the surface of the casting, the surface layer obtained in contact with the metal mould, after the initial machining (several mm), was treated by the laser beam. It turned out that the refinement of the microstructure measured with the DAS value is not available in a different way, i.e. directly by casting. The experimental-simulation validation using the Calcosoft CAFE (Cellular Automaton Finite Element) code was applied.
Źródło:
Archives of Foundry Engineering; 2019, 3; 111-118
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulations of behaviour of granular bodies using a lattice-gas automaton
Autorzy:
Kozicki, J.
Tejchman, J.
Powiązania:
https://bibliotekanauki.pl/articles/241283.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Budownictwa Wodnego PAN
Tematy:
collisions
dissipation
granular flow
gravity
lattice-gas automaton
Opis:
A lattice-gas automaton of hydrodynamics was used to calculate the kinematics of non-cohesive granular materials during 3 different complex two-dimensional problems: granular pile, granular flow in a vertical channel and granular flow in a parallel/converging silo. In the model, collisions and dissipation of particles were taken into account. The simulation results were qualitatively compared with experimental results.
Źródło:
Archives of Hydro-Engineering and Environmental Mechanics; 2005, 52, 1; 21-37
1231-3726
Pojawia się w:
Archives of Hydro-Engineering and Environmental Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja obniżeń górotworu spowodowana wielokrotną eksploatacją górniczą z wykorzystaniem teorii automatów komórkowych
Simulation of rockmass subsidence caused by frequent mining exploitation with the use of cellular automaton theory
Autorzy:
Mielimąka, R.
Sikora, P.
Powiązania:
https://bibliotekanauki.pl/articles/167133.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Górnictwa
Tematy:
obniżenia
górotwór
automat komórkowy
subsidence
rock mass
Cellular Automaton
Opis:
W pracy przedstawiono przykład rzeczywistej wielokrotnej eksploatacji pokładowej węgla kamiennego, która spowodowała powstanie na powierzchni terenu górniczego niecki obniżeniowej. Deformacje powierzchni objęte były systematycznymi pomiarami niwelacyjnymi wzdłuż linii pomiarowej „H”. Dla przedstawionego przykładu podziemnej eksploatacji wykonano obliczenia numeryczne z wykorzystaniem teorii automatów komórkowych, a następnie porównano je z wynikami obserwacji geodezyjnych. Celem artykułu była weryfikacja założeń teoretycznych modelu i wykazanie praktycznych możliwości zastosowania przedmiotowej metody do oceny deformacji terenu górniczego.
This paper presents an example of real multiple hard coal mining which caused the formation of a subsidence trough on the surface of the mining area. Surface deformations were covered by systematic leveling measurements along the measurement line “H”. For the illustrated example of underground mining, numerical calculations were made using the theory of cellular automata, and then compared with the results of geodetic observations. The aim of the paper was to verify the theoretical assumptions of the model and to demonstrate the practical possibilities of applying this method to assess the deformation of the mining area.
Źródło:
Przegląd Górniczy; 2017, 73, 12; 84-92
0033-216X
Pojawia się w:
Przegląd Górniczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja obniżeń górotworu spowodowanych eksploatacją kolejnych ścian z wykorzystaniem teorii automatów komórkowych
Simulation of rock mass subsidence due to subsequent mining extraction using the theory of cellular automata
Autorzy:
Mielimąka, R.
Sikora, P.
Powiązania:
https://bibliotekanauki.pl/articles/112788.pdf
Data publikacji:
2018
Wydawca:
STE GROUP
Tematy:
obniżenia
górotwór
automat komórkowy
subsidence
rock mass
cellular automaton
Opis:
W pracy przedstawiono przykład rzeczywistej eksploatacji pokładowej węgla kamiennego kolejnych dwóch ścian. Eksploatacja spowodowała powstanie na powierzchni terenu górniczego niepełnej niecki obniżeniowej. Deformacje powierzchni objęte były systematycznymi pomiarami niwelacyjnymi wzdłuż linii pomiarowej „1”. Dla przedstawionego przykładu podziemnej eksploatacji wykonano obliczenia numeryczne z wykorzystaniem teorii automatów komórkowych a następnie porównano je w wynikami obserwacji geodezyjnych. Celem niniejszego artykułu jest weryfikacja założeń teoretycznych przyjętych dla przestrzennego modelu górotworu jako deterministycznego skończonego automatu komórkowego.
The paper presents an example of real subsequent hard coal mining, which caused the formation of a subsidence trough on the surface of the mining area. Surface deformations were covered by systematic leveling measurements along the measurement line “1”. For the illustrated example of underground mining, numerical calculations were made using the theory of cellular automata. Calculated data were compared with the results of geodetic observations. The aim of the article was to verify the theoretical assumptions of the model and to demonstrate the practical possibilities of applying the method to assess the subsidence of the mining area.
Źródło:
Systemy Wspomagania w Inżynierii Produkcji; 2018, 7, 1; 457-469
2391-9361
Pojawia się w:
Systemy Wspomagania w Inżynierii Produkcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja deformacji górotworu spowodowanych eksploatacją górniczą w sąsiedztwie szczelin uskokowych z wykorzystaniem teorii automatów komórkowych
Simulation of rock mass deformation caused by mining exploitation in the vicinity of fault gaps using the theory of cellular automata
Autorzy:
Mielimąka, Ryszard
Sikora, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/165000.pdf
Data publikacji:
2019
Wydawca:
Stowarzyszenie Inżynierów i Techników Górnictwa
Tematy:
obniżenia górotworu
szczelina uskokowa
automat komórkowy
rock mass subsidences
fault gap
cellular automaton
Opis:
W pracy przedstawiono rozwinięcie koncepcji budowy płaskiego modelu górotworu zbudowanego w oparciu o teorię automatów komórkowych. Pokazana została możliwość odwzorowania dyslokacji tektonicznych. Odwzorowanie szczeliny uskokowej odbywa się na zasadzie podobieństwa geometrycznego. Jej oddziaływanie na rozkład deformacji w modelu zależne jest od szeregu czynników. M.in. od głębokości eksploatacji, nachylenia szczeliny uskokowej oraz grubości nadkładu. Wpływ wymienionych czynników został przedstawiony na przykładach abstrakcyjnej eksploatacji górniczej.
This paper presents the evolution of the concept of development of the 2-dimensional rock mass model based on the theory of cellular automata. The possibility of mapping tectonic dislocations has been shown. The projection of the fault gap is based on geometric similarity. Its influence on the deformation distribution in the model depends on a number of factors, among others, the depth of exploitation, the slope of the fault gap and the thickness of the overburden. The influence of these factors has been presented based on examples of abstract mining exploitation.
Źródło:
Przegląd Górniczy; 2019, 75, 2; 28-34
0033-216X
Pojawia się w:
Przegląd Górniczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
IS MULTIPLE LINEAR REGRESSION THE PROPER TOOL OF MODELLING A BEHAVIOUR OF REAL SYSTEMS?
Autorzy:
Nowak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/453283.pdf
Data publikacji:
2009
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
Tematy:
model of real system
multiple linear regression
real system structure
discrete automaton
„black box” modelling
quality of approximation
Opis:
Methodological assumption that multiple linear regression is an adequate tool of modelling the behaviour of real systems is checked. To do this the experiment is organised on the basis of simple “real” system represented as finite discrete automaton. Main result is that in situation of “black box” modelling the approximation of output variables with multiple linear regressions (from several samples and under different conditions) may not fulfil any of criterions of feasible approximation of systems behaviour, also in situations where real relation between input and output variables is strictly linear and only one of variables is omitted.
Źródło:
Metody Ilościowe w Badaniach Ekonomicznych; 2009, 10, 1; 194-206
2082-792X
Pojawia się w:
Metody Ilościowe w Badaniach Ekonomicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Semigroups defined by automaton extension mapping
Autorzy:
Osys, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/729089.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
automaton mapping
Mealy automaton
semigroup
Opis:
We study semigroups generated by the restrictions of automaton extension (see, e.g., [3]) and give a characterization of automaton extensions that generate finite semigroups.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 103-118
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 27

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