PRZEWODNICZĄCY I RADA DYSCYPLINY INFORMATYKI, ELEKTRONIKI I TELEKOMUNIKACJI AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE |
|
---|---|
zapraszają na publiczą dyskusję nad rozprawą doktorską mgr Tomasza Przedzińskiego |
|
METHODOLOGY FOR DEVELOPMENT OF SCIENTIFIC SOFTWARE AND TEST FRAMEWORKS IN FUNCTION OF PRECISION OF THE EXPECTED RESULTS Metodyka rozwoju oprogramowania naukowego i środowisk testowych w funkcji precyzji oczekiwanych wyników |
Termin: | 21 marca 2022 roku o godz. 15:30 |
---|---|
Miejsce: | Online: Link do spotkania w MS Teams |
PROMOTOR: | dr hab. Maciej Malawski, Instytut Informatyki AGH |
DRUGI PROMOTOR: | Prof. dr hab. Zbigniew Wąs, Instytut Fizyki Jądrowej PAN, Kraków |
RECENZENCI: | Prof. dr hab. inż. Zbigniew Huzar, Wydział Informatyki i Zarządzania, Politechnika Wrocławska |
Prof. dr hab. inż. Jerzy Nawrocki, Instytut Informatyki, Politechnika Poznańska | |
Z rozprawą doktorską i opiniami recenzentów można się zapoznać w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 |
mgr Tomasz Przedziński
Rozwój oprogramowania naukowego wiąże się z wieloma wyzwaniami wynikającymi z nieprzewidywalnej natury tego procesu oraz ze złożoności problemów, z którymi mierzą się środowiska naukowe. Celem wielu projektów naukowych jest poprawa precyzji wyników poprzedniego projektu. Niniejsza rozprawa skupia się na procesie rozwoju oprogramowania tych projektów. Prezentuje metodykę, która wyłoniła się przez lata rozwoju oprogramowania naukowego. Prezentowana metodyka bazuje na cyklu rozwoju oprogramowania, który prowadzi do nowej wersji oprogramowania z usprawnionym modelem naukowym i opisem matematycznym jak również z usprawnionym środowiskiem testów, które razem tworzą oprogramowania dające wyniki o wyższej precyzji.
Rozprawa obejmuje opis podstawowych konceptów i terminów związanych z fizyką wysokich energii potrzebnych, by zrozumieć naturę omawianych tematów. Zawiera również krótki opis różnych typów oprogramowania obecnego w fizyce eksperymentalnej oraz opisuje wyzwania związane z rozwojem oprogramowania naukowego. Pokazane jest, dlaczego najpopularniejsze metodyki rozwoju oprogramowania nie radzą sobie z tymi wyzwaniami.
Przedstawiony jest również proces rozwoju kilku projektów naukowych wraz z kluczowymi elementami tego procesu. Te przykłady pokazują, że rozwój kolejnych kamieni milowych tych projektów podąża za cyklem: usprawniania modelu fizycznego, opisu modelu fizycznego z użyciem matematycznego formalizmu, implementacji tego modelu z uwzględnieniem przybliżeń numerycznych, tworzenia struktury oprogramowania oraz dokumentowania i weryfikacji wyników.
Rozprawa opisuje historię kilku projektów, wliczając kluczowe decyzje podjęte podczas ich rozwoju oraz wskazując na których etapach rozwoju tych projektów zwiększona została precyzja ich wyników. Pokazana została relacja między podwyższoną precyzją wyników a zwiększoną złożonością testów i środowiska testowego tych projektów.
Szczególną uwagą objęty został temat testów oprogramowania naukowego. Opisane zostały testy wykonywane dla oprogramowania naukowego oraz ich taksonomia w zestawieniu z taksonomią innych testów oprogramowania. Przedstawione zostały użyteczne techniki testowania oprogramowania naukowego użyte w niektórych z prezentowanych projektów.
Rozprawa opiera się o doświadczenie zdobyte podczas rozwoju kilku narzędzi Monte Carlo stworzonych dla środowiska eksperymentów Fizyki Wysokich Energii. Autor tej rozprawy jest współautorem narzędzi opisywanych w tej rozprawie. Część z nich została z powodzeniem wdrożona w środowiska naukowe. Część stała się częścią analiz przeprowadzanych w eksperymentach wokół Wielkiego Zderzacza Hadronów. Analiza procesu rozwoju tych narzędzi może pomóc w estymacji wysiłku potrzebnego by usprawnić model i precyzję złożonych algorytmów. Jest to temat, którego popularność w środowiskach naukowych, jak i w komercyjnych zastosowaniach badawczo-rozwojowych, wciąż rośnie w związku ze stale rosnącą złożonością nowych problemów i rosnącym zapotrzebowaniem na wyniki o wyższej precyzji.
Praca udostępniona publicznie:
tp-phd-thesis-18-nov-2020.pdf
Recenzje:
tomasz_przedzinski_recenzja_prof._huzar.pdf
tomasz_przedzinski_recenzja_prof._nawrocki.pdf
Ważniejsze publikacje doktoranta:
Pełna lista publikacji doktoranta:
Autor "T. Przedzinski" na inspirehep.net
CSCI: Confronting Theoretical Predictions With Experimental Data; A Fitting Strategy For Multi-Dimensional Distributions