Propozycje tematów prac dyplomowych na rok akademicki 205/206 RW 09.07.205 Fizyka Techniczna - Nanoinżynieria - II stopień mgr Rozwój narzędzi przetwarzania danych do analizy pomiarów mikrofalowego profilowania temperaturowego Praca koncentruje się na rozoju programów obliczających koncentracje i temperatury gazów. Danymi wejściowymi są linie widmowe (głównie tlenu) w okolicach częstotliwości 60 Ghz, zmierzone samolotem badawczym HALO Temat jest proponowany dla studenta (imię i nazwisko): prof. Wacław Urbańczyk Michał Szajkowski TAK
Informatyka (algorytmika) - II stopień - mgr Wybrane algorytmy trójwymiarowej geometrii obliczeniowej 2 Sumy cyfr w liczbach 3 Ograniczenia geometryczne na K- wymiarowych obiektach Praca polega na przejrzeniu literatury dotyczącej geometrii obliczeniowej w trzech wymiarach, a następnie n zaprojektowaniu, analizie i implementacji algorytmów dla wybranych problemów Celem pracy jest wykorzystanie kombinatoryki analitycznej do policzenia liczby poszczególnych cyfr występujących w liczbach naturalnych z przedziału od do n dla systemów liczbowych o różnych podstawach Celem pracy jest zapoznanie z najnowszymi osiągnięciami w zakresie wyrażania ograniczeń geometrycznych. Zbadanie możliwości ich usprawnienia w oparciu o metody dostępne w bibliotece IBM i LOG Solver oraz dokonanie ich implementacji w języku C++ Temat jest proponowany dla studenta (imię i nazwisko): dr Maciej Gębala Damian Wnuk TAK dr Maciej Gębala Joanna Cisło TAK dr Przemysław Kobylański Andrzej Tarnowski TAK 4 Problemy eksploracji grafów W ramach pracy badane mają być podstawowe problemy eksploracji grafów. Badania obejmą przegląd znanych metod oraz ich porównanie za pomocą symulacji oraz analizy formalnej dr hab. Marek Klonowski Jarosław Mirek TAK 5 Równoległe przetwarzanie sygnałów dźwiękowych na karcie graficznej Należy zaimplementować w technologii NVidia CUDA algorytmy przetwarzające sygnały dźwiękowe. Wydajność implementacji należy porównać z podobną implementacją dla CPU dr Mirosław Korzeniowski Ilona Szydło TAK
6 Silnik symulatora ruchu ulicznego w oparciu o technologię CUDA Praca ma na celu przyspieszenie w środowisku równoległym symulacji ruchu ogromnej licznby pojazdów w środowisku miejskim dr Mirosław Korzeniowski Norbert Ciesielski TAK 7 8 9 0 2 Intergracja języka GNU MathProg z pakietu GLPK z Solverem CPLEX Uogólnione zagadnienie przydziału Zastosowanie programowania z więzami do problemów szeregowania Zastosowanie układu GPU w rozwiązywaniu problemów dyskretnej optymalizacji Wybrane problemy odpornej optymalizacji dyskretnej z możliwością modyfikacji Algorytmy filtrowania oparte na rozszerzonych automatach skończonych Celem pracy jest integracja języka modelowania GNU MathProg pakietu GLPK z Solverem CPLEX. Integracja ta umożliwi modelowanie problemów liniowego i całkowitoliczbowego programowania w języku GNU MathProg i rozwiązywaniu ich za pomocą profesjonalnego Solvera CPLEX W pracy przewiduje się analizę szeregu ważnych z praktycznego widzenia przypadków uogólnionego zagadnienia przydziału oraz konstrukcję algorytmów W pracy przewiduje się przegląd i analizę metod programowania z więzami zastosowanych do problemów szeregowania Celem pracy jest zbadanie wpływu akcelerowanych układami GPU obliczeń na efektywność rozwiązywania trudnych problemów optymalizacji dyskretnej W pracy planuje się analizę i konstrukcję algorytmów dla wybranych problemów optymalizacji dyskretnej z możliwością modyfikacji rozwiązania. Punktem wyjścia jest praca Nasrabadi i Orlina Celem pracy jest zapoznanie się z wynikami prac nad algorytmami filtrowania opartymi na rozszerzonych automatach skończonych, zbadanie możliwości ich ulepszenia z wykorzystaniem biblioteki IBM ILOG Solver oraz ich implementacja w języku C++. dr hab. Paweł Zieliński Piotr Lisowski TAK dr hab. Paweł Zieliński Rafał Bolanowski TAK dr hab. Paweł Zieliński Jacek Hoła TAK dr hab. Paweł Zieliński Filip Jany TAK dr hab. Paweł Zieliński Tomasz Strzałka TAK dr Przemysław Kobylański TAK
3 Wspomaganie komputerowe diagnostyki obrazowej nowotworów Z roku na rok przybywa liczba osób chorych na raka. Lekarze opisujący obrazy medyczne, stawiający diagnozy, mają coraz mniej czasu na szczegółową analizę, coraz większą szansę popełnienia błędu. Algorytmy i narzędzia, które chcemy zrealizować, mają umożliwić wsparcie lekarzy, opisujących zdjęcia, w celu postawienia diagnozy dr inż. Witold Dyrka Michał Błach TAK
Informatyka (computer security) - II stopień - mgr Side channel attacks on cryptographic schemes Celem pracy jest analiza podatności wybranych implenetacji schematów kryptograficznych na ataki typu side-channel. dr Filip Zagórski Temat jest proponowany dla studenta (imię i nazwisko): TAK
Informatyka - inż. 2 3 Efektywne energetyczne algorytmy dla sieci radiowych Realizacja kolejek priorytetowych oraz ich formalna weryfikacja Realizacja algorytmów sortowania i wyszukiwania oraz ich formalna weryfikacja Temetem pracy jest analiza i porównanie algorytmów dla sieci radiowych o ograniczonych zasobach energetycznych Celem jest opracowanie w języku SPARK 204 biblioteki realizującej kolejki priorytetowe oraz przeprowadzenie jej formalnej weryfikacji narzędziem GNATprove. Celem jest opracowanie w języku SPARK 204 biblioteki realizującej algorytmy sortowania i wyszukiwania oraz przeprowadzenie jej formalnej weryfikacji narzędziem GNATprove. Temat jest proponowany dla studenta (imię i nazwisko): dr hab. Marek Klonowski Marcin Gotszling TAK dr Przemysław Kobylański TAK dr Przemysław Kobylański zarezerwowany TAK
Inżynieria Biomedyczna - Elektronika medyczna - inż. Zbudowanie fantomu sztucznej skóry i badanie działania jonoforezy Zbudowanie fantomu sztucznej skóry, w celu zbadania głębokości wnikania kwasu hialuronowego, wprowadzonego metodą jonoforezy Temat jest proponowany dla studenta (imię i nazwisko): prof. Halina Podbielska Klaudia Abelunas TAK
Inżynieria Biomedyczna - Optyka medyczna - inż. 2 Wiązanie kwasów tłuszczowych do albuminy - badania spektroskopią FTIR - ATR Wykorzystanie stanowiska do eyetrackingu do analizy koncentracji kierowcy Badania mają na celu określenie wpływu wiązania kwasów tłuszczowych do albuminy. Do badań zostanie wykorzystana metoda ATR - osłabionego całkowitego wewnętrznego odbicia Celem pracy jest opracowanie (skonfigurowanie) stanowiska pomiarowego i procedury pomiarowej do badania koncentracji kierowcy podczas prowadzenia samochodu. Do badań będzie zastosowana metoda eyetrackingu wykorzystująca elektroogulografię. Autentyczne warunki prowadzenia samochodu w różnych sytuacjach drogowych będą odwzorowane metodą tzw "projekcji sceny" dr inż. Sylwia Olsztyńska - Janus Temat jest proponowany dla studenta (imię i nazwisko): Marta Markowska TAK dr inż. Andrzej Hachoł Justyna Doniec TAK
Inżynieria Biomedyczna - Biomechanika inżynierska - inż. Badania właściwości fizycznych i mechanicznych celulozy wykorzystywanej do zastosowań medycznych Celem badań jest ocena właściwości fizycznych (gęstość, porowatość, przepuszczalność) oraz mechanicznych ( moduł Younga, sztywność) celulozy. Materiał badawczy stanowią próbki celulozy stosowanej do wyrobów medycznych. Pomiar właściwości mechanicznych prowadzony będzie w próbach jednoosiowego ściskania i rozciągania z użyciem maszyny wytrzymałościowej MTS Temat jest proponowany dla studenta (imię i nazwisko): dr inż. Anna Nikodem Paulina Florczak TAK
Matematyka stosowana - I stopień - inż. Ocena inwestycji na giełdzie zakładów sportowych, jako alternatywa dla giełdy papierów wartościowych oraz rynku walutowego Forex Prezedstawienie nowego rodzaju inwestycji. Szeregowanie rynku za pomocą różnych miar ryzyka. Analiza giełdy zakładów sportowych pod kątem analogii z giełdy papierów wartościowych i rynkiem walutowym Forex. Oszacowanie opłacalności Temat jest proponowany dla studenta (imię i nazwisko): prof. Aleksander Weron Kamil Sikora TAK