• Nie Znaleziono Wyników

Opis obniżeń górotworu pod wpływem podziemnej eksploatacji górniczej z wykorzystaniem teorii automatów komórkowych; Orogen subsidence description under the influence of underground mining using the theory of cellular automata - Digital Library of the Sile

N/A
N/A
Protected

Academic year: 2021

Share "Opis obniżeń górotworu pod wpływem podziemnej eksploatacji górniczej z wykorzystaniem teorii automatów komórkowych; Orogen subsidence description under the influence of underground mining using the theory of cellular automata - Digital Library of the Sile"

Copied!
1
0
0

Pełen tekst

(1)

Mgr inż. Paweł SIKORA

Politechnika Śląska w Gliwicach

Wydział Górnictwa i Geologii

Instytut Eksploatacji Złóż

Zakład Geodezji i Ochrony Powierzchni Terenów Górniczych

SUMMARY OF DOCTORAL THESIS:

„Orogen subsidence description under the influence of underground mining

using the theory of cellular automata.”

In this paper there was presented a new method of simulation of the orogen subsidence under the influence of underground mining. This method uses the theory of cellular automata.

Basing on the definition of the finite cellular automata there were built deterministic and nondeterministic flat models of orogen. There were defined mathematical formulas describing model subsidence and the subsidence on the surface for horizontal and inclined seams. Also there was shown opportunity of faults representation in the model cross-section and non-linear aggregation of the influences of multi-layer exploitation.

Cytaty

Powiązane dokumenty

Values of vertical displacements of measurement points located in an area influenced by mining presented in the paper make it possible to say that displacements

In this study, we aim to identify the necessary changes in the enterprise strategic control system through the prism of the latest strategic management trends, in

Fixed points of a generalized smoothing transformation and applications to the branching random walk.. On generalized

A recently emerging approach based on the use of the cellular automata (CA) para- digm is aimed at addressing the automated combined analysis and design of one-, two-,

We give a PSPACE veri cation algorithm to test whether a system modeled as a product of timed automata satis es its speci cation given as a deterministic timed Muller

Kompara- tystyki wymagał też — Jego zdaniem — zespół spraw tyczących się uformowania państwa ogólnopolskiego, konsolidacji jego aparatu państwowego, ustalenia granic,

A utorka bada rynek obrotów kredytowych Rewala w drugiej połowie X V III w., analizując jego zasięg geograficzny i struktury socjalne, a także rozm iary pożyczek,

Jest przy tym oczywiste, że efektywność i skuteczność systemu logistycznego zaczyna być wa- runkiem jego funkcjonowania na rynku oraz zastosowania w konkretnym typie firmy. Zgodnie