====== Marcin Tusiewicz ======

==== Zaproszenie na obronę pracy doktorskiej ====


^   **DZIEKAN i RADA WYDZIAŁU**    \\    **ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI i ELEKTRONIKI**    \\    **AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE**   ^
|   zapraszają na    \\    publiczą dyskusję nad rozprawą doktorską    \\      \\   //mgra Marcina Tusiewicza//      \\                 |
|  ** Kontrola alokacji zasobów podczas drążenia danych dla potrzeb dynamicznych analiz finansowych **  |
|  Obrona rozprawy doktorskiej odbędzie się 22 maja 2012 roku o godz. 12.00 \\ w pawilonie B-1, w sali nr 4, parter, AGH-Kraków, al. Mickiewicza 30  |
|  **PROMOTOR:** dr hab. Leszek Kotulski, prof. AGH  |
|  ** RECENZENCI:** prof. dr hab. Mariusz Flasiński   |
|  **            ** prof. dr hab. inż. Bogusław Filipowicz   |
|  Z rozprawą doktorską i opiniami recenzentów można się zapoznać \\ w Czytelni   Biblioteki Głównej AGH, al. Mickiewicza 30  |

\\
\\
==== Streszczenie ====

** Kontrola alokacji zasobów podczas drążenia danych dla potrzeb dynamicznych analiz finansowych **

     


//mgr Maciej Tusiewicz//

\\

**Promotor:** dr hab. Leszek Kotulski, prof. AGH \\
**Dyscyplina:** Informatyka

Poniższa dysertacja stawia oraz dowodzi tezę, iż procesy dynamicznych analiz finansowych można formalnie zaspecyfikować za pomocą transformacji grafowych w sposób, który pozwoli na optymalizację alokacji zadań w środowisku rozproszonym. W celu wykazania tezy scharakteryzowano schematy zachowań procesów DFA, z wyszczególnieniem problemów o charakterze wydajnościowym. Następnie wprowadzono model statyczny oparty na grafach atrybutowanych, pozwalający na reprezentację zadań DFA, za pomocą którego ściśle opisano zidentyfikowane wcześniej problemy. Użycie formalizmów transformacji grafowych uzupełnionych o czynnik czasowy umożliwiło rozproszoną kontrolę alokacji zasobów. Wprowadzony model stał się podstawą analizy zachowania procesów dynamicznych analiz finansowych oraz opracowania metod poprawiających wydajność obliczeń. Przedstawione wyniki eksperymentów potwierdziły efektywność proponowanego podejścia w praktyce.


----