==== Zaproszenie na obronę pracy doktorskiej ==== Poniżej przedstawiono przykład zaproszenia na obronę pracy doktorskiej. \\ ^ **PRZEWODNICZĄCY i RADA DYSCYPLINY** \\ **INFORMATYKI TECHNICZNEJ I TELEKOMUNIKACJI** \\ **AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE** ^^ | zapraszają na \\ publiczną dyskusję nad rozprawą doktorską \\ \\ //mgr inż. Artura Basiury// \\ || | **GRAFOWY MODEL FORMALNY WSPÓŁBIEŻNEGO PROJEKTOWANIA OŚWIETLENIA ULICZNEGO** || ^ Termin:|17 czerwca 2020 roku o godz. 12:00 | ^ Miejsce:| Online: [[https://bit.ly/2zTi8I1|Link do spotkania]] | ^ **PROMOTOR:**|dr hab. Adam Sędziwy, prof. AGH , Akademia Górniczo-Hutnicza im. St. Staszica w Krakowie| ^ ** RECENZENCI:**|prof. dr hab. Ewa Grabska, Uniwersytet Jagielloński | ^ ** **|prof. dr hab. inż. Marek Kurzyński, Politechnika Wrocławska | | Z rozprawą doktorską i opiniami recenzentów można się zapoznać \\ w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 || \\ ---- \\ ==== GRAFOWY MODEL FORMALNY WSPÓŁBIEŻNEGO PROJEKTOWANIA OŚWIETLENIA ULICZNEGO ==== \\ //mgr inż. Artur Basiura // \\ **Promotor:** dr hab. Adam Sędziwy, prof. AGH \\ **Dyscyplina:** Informatyka \\ Jednym z istotniejszych i narastających problemów, na współczesnym etapie rozwoju systemów informacyjnych jest ogromna podaż danych, oraz stosunkowo niewielka ilość metod, które umożliwiają ich efektywne usystematyzowanie, wydajne przetwarzanie i rozumienie. Niniejsza praca wprowadza nowy aparat formalny, pozwalający na modelowanie problemów o dowolnej skali. Dzięki zastosowaniu struktur grafowych i reguł ich transformacji, możliwy jest podział problemu głównego na mniejsze, niezależne zadania, które mogą być przetwarzane równolegle, bez utraty informacji strukturalnych, przechowywanych w reprezentacji grafowej. Takie skalowalne podejście daje możliwość wykonania obliczeń w akceptowalnym czasie i uzyskanie optymalnych rozwiązań. Zaproponowane podejście, przedstawione zostało w rozprawie na przykładzie problemu projektowania i optymalizacji oświetlenia drogowego. Dziedzinę te wybrano nie tylko z uwagi na jej znaczenie dla komfortu i bezpieczeństwa, ale również ze względu na aspekt zdrowotny i ekonomiczny. Jest to ponadto obszar, w którym prowadzone są intensywne prace badawcze, potwierdzające konieczność wprowadzenia formalnego modelu i wydajniejszych algorytmów. Praca wprowadza dwie nowe struktury grafowe: IAG (ang. Infrastructure Abstract Graph), służący do modelowania strukturalnego (np. infrastruktury oświetleniowej), oraz KAG (ang. Knowledge Abstract Graph), używanego do definiowania wiedzy (np. reguł dotyczących konfiguracji punktów świetlnych czy obowiązujących norm dziedzinowych). Grafy te mogą zostać wykorzystane do modelowania dowolnego problemu, niekoniecznie związanego z oświetleniem, czego przykład, dotyczący obszaru finansów, został również zaprezentowany w pracy. Dopełnieniem proponowanego podejścia jest opracowanie środowiska obliczeniowego, które pozwala w wydajny sposób przetwarzać zadania. Oprócz wprowadzenia reguł transformacji, zdefiniowano pojęcie kontekstu przetwarzania i mechanizmu opóźnionej produkcji. Te dwa generyczne mechanizmy pozwalają na efektywną czasowo analizę i obróbkę danych, niezależnie od dziedziny, do której należy określony problem obliczeniowy. Na końcu pracy zdefiniowano środowisko agentowe, służące do przetwarzania grafów IAG i KAG. Za jego pomocą przeanalizowano rzeczywiste dane ok. 4 000 punktów świetlnych, zlokalizowanych na terenie Krakowa. Grafy, będące środowiskiem działania systemu agentowego, składały się z tysięcy wierzchołków i milionów krawędzi (dokładne dane zostaną przedstawione w dalszej części pracy). Dla potwierdzenia efektywności i skuteczności zaproponowanych reprezentacji i metod obliczeniowych, porównano trzy algorytmy wyszukiwania optymalnego projektu instalacji oświetleniowej. Zaproponowane metody pozwoliły uzyskać 57% poprawę efektywności względem stanu początkowego inwestycji (bez zmiany technologii oświetlenia). Wydaje się celowe wykazanie, że zaproponowany mechanizm jest uniwersalny i możliwy do zastosowania w innej tematyce. Dyskusja uzyskanych wyników potwierdza postawioną w pracy tezę, że zastosowanie obliczeń opartych na rozproszonych reprezentacjach grafowych i ich transformacjach, umożliwia wykonanie obliczeń i uzyskanie pożądanych wyników w akceptowalnym czasie. ---- \\ **Recenzje** \\ {{:2020:basiura::basiura_recenzja_prof_grabska.pdf| Rezenzja - prof. dr hab. Ewa Grabska}}\\ {{:2020:basiura::basiura_recenzja_prof_kurzynski.pdf| Rezenzja - prof. dr hab. inż. Marek Kurzyński}} \\ ---- **Odpowiedzi na uwagi ** \\ {{:2020:basiura:odpowiedz_prof_grabska_v10.pdf|Odpowiedź na uwagi - prof. dr hab. Ewa Grabska}} \\ {{:2020:basiura:odpowiedz_prof_Kurzynski_v10a.pdf|Odpowiedź na uwagi - prof. dr hab. inż. Marek Kurzyński}} \\ ---- **Lista wszystkich publikacji**: [[https://bpp.agh.edu.pl/autor/?idA=30775&af|BG AGH]] \\ .