PRZEWODNICZĄCY I RADA DYSCYPLINY INFORMATYKI TECHNICZNEJ I TELEKOMUNIKACJI AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE |
|
---|---|
zapraszają na publiczą dyskusję nad rozprawą doktorską mgr inż. Krzysztofa Podsiadły |
|
Efficient algorithms for three-dimensional computational mesh generations and air pollution simulations based on hypergraph grammars | |
Termin: | 3 listopada 2022 roku o godz. 10:00 |
Miejsce: | sala 1.20, Centrum Informatyki D-17, ul. Kawiory 21 |
PROMOTOR: | Prof. dr hab. Maciej Paszyński, Instytut Informatyki, Akademia Górniczo-Hutnicza |
RECENZENCI: | Dr hab. Barbara Strug, prof. UJ - Uniwersytet Jagielloński |
Prof. Luis Garcia-Castillo - Uniwersytet Carlosa III w Madrycie | |
Z rozprawą doktorską i opiniami recenzentów można się zapoznać w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 |
mgr inż. Krzysztof Podsiadło
Promotor: prof. dr hab. Maciej Paszyński (AGH)
Dyscyplina: Informatyka Techniczna i Telekomunikacja
Celem niniejszej rozprawy jest opracowanie i przetestowanie nowych algorytmów generacji siatek obliczeniowych i solwerów dla metody elementów skończonych w celu efektywnego prze\-prowadzania symulacji problemów propagacji zanieczyszczeń opisanych równaniami adwekcji-dyfuzji-reakcji. W szczególności przedstawienie procesu obliczeniowego, w tym generacji trójkątnych siatek obliczeniowych w oparciu o dane topograficzne terenu oraz generacja trójwymiarowych siatek czworościennych wyrażone zostało poprzez produkcje gramatyki hipergrafowej. Umożliwia to uzyskanie większej dokładności i możliwości zrównoleglenia obliczeń. Ponadto przeprowadzono szeregu testów numerycznych na różnych architekturach maszyn równoległych.
Symulacje komputerowe do rozwiązywania problemów niestacjonarnych takich jak propagacja zanieczyszczeń powietrza za pomocą metody elementów skończonych są aktualnie uważane za gorący temat naukowy, ze względu na konieczność redukcji kosztu obliczeniowego algorytmów klasycznych oraz konieczność automatycznej kontroli poprawności procesu obliczeniowego.
Wyrażenie procesu obliczeniowego poprzez produkcję gramatyki hipergrafowej pozwalają rozwiązać zarówno problem automatycznej kontroli poprawności generowanych siatek obliczeniowych (proces generacji siatki opisany jest za pomocą kilku powtarzalnych produkcji gramatyki), pozwola ono również na redukcję kosztu obliczeniowego (poprzez lepszą lokalizacji tasków obliczeniowych, które mogą być przetwarzane równolegle). Praca ta stanowi remedium na powszechnie znany problem dużego kosztu obliczeniowego solwerów do zadań niestacjonarnych, oraz problemów związanych z generacją niestrukturalnych siatek obliczeniowych.
W pracy zaproponowano również algorytm modyfikacji solwera zmienno-kierunkowego w celu umożliwienia uwzględnienia nieregularnej topografii terenu. Zaproponowana metoda stwarza nowe możliwości symulacji zjawisk atmosferycznych za pomocą solwerów zmienno-kierunkowych.
This thesis aims to design, implement, and test a new class of graph-grammar-based algorithms for the generation of computational meshes and air pollution simulations. The algorithms will employ the finite element method solver based on the advection-reaction-diffusion formulation. They will use the graph representation of the computational mesh adaptively built with the triangular finite elements, constructed based on the terrain topographic data. In particular, we express by the graph-grammar productions the process of generation of the computational mesh approximating the terrain structure, the generation of three-dimensional tetrahedral meshes filling the atmosphere on top of the terrain mesh, and the graph-grammar productions expressing the iterative solver algorithm. The expression of the mesh generation problem by graph-grammar production allows for parallel processing of the computational grid.
Computer simulations solving non-stationary problems such as the propagation of air pollutants using the finite element method are currently considered a hot scientific topic. This is because there is a need to reduce the computational cost of classical algorithms and the need to control the correctness of the computational process automatically. Expressing the computational process through the production of hypergraph grammar allows solving both the problem of automatic control of the correctness of the generated computational meshes (the mesh generation process is described by means of several repetitive grammar productions), it also reduces the computational cost (through the better location of computational tasks that can be processed in parallel). This work is a remedy for the well-known problem of the high computational cost of solvers for non-stationary simulations and the problems related to the generation of unstructured computational meshes.
This dissertation also proposes an algorithm for modifying the alternating-direction solver in order to take into account the irregular topography of the terrain. The proposed method opens new horizons for simulating atmospheric phenomena with the use of alternating-direction solvers.
Praca doktorska: doktorat.pdf
Recenzja prof. B. Strug: recenzja_BS.pdf
Recenzja prof. L. Garcia-Castillo: recenzja_LGC.pdf
Publikacje doktoranta: