Wykaz tematów prac dyplomowych w roku akademickim 2009/2010

Wykaz tematów prac dyplomowych
w roku akademickim 2009/2010
kierunek: informatyka
L.p Nazwisko i imię
. studenta
Promotor
1
Kuik Jakub
2
Majewski Krzysztof
3
Misiak Rafał
4
Orzechowski Sebastian
5
Paliński Arkadiusz
6
Paprzycki Bartosz
dr Maria BerndtSchreiber
Temat pracy
magisterskiej
Analiza wybranych metod grafiki
komputerowej w powiązaniu z
algorytmami przetwarzania obrazów
w zastosowaniu do rewitalizacji
obrazów
Metody ukrywania i odkrywania
informacji tekstowej w obrazach
cyfrowych
Analiza wybranych metod grafiki
komputerowej w powiązaniu z
algorytmami przetwarzania obrazów
zastosowaniu do obrazów
biomedycznych
Metody ukrywania i odkrywania
informacji obrazowej w obrazach
cyfrowych
Analiza wybranych metod
segmentacji dla obrazowania
medycznego
Wykorzystanie złoŜonych metod
morfologii matematycznej w
ekstrakcji obiektów i analizie
kształtów dla obrazów
biomedycznych
Opis zadania stawianego studentowi
Przegląd wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Przegląd wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Przegląd wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
7
Piotrowska Martyna
dr Maria BerndtSchreiber
8
Prądzyński Piotr
9
Wojdyło Paweł
10
Zając Katarzyna
Wybrane algorytmy segmentacji w
zastosowaniu do obrazów
okulistycznych
Wykorzystanie złoŜonych metod
morfologii matematycznej w
ekstrakcji obiektów i analizie
kształtów dla obrazów lotniczych i
satelitarnych
Wybrane algorytmy segmentacji w
zastosowaniu do obrazów lotniczych
i satelitarnych
Analiza wybranych algorytmów
steganografii i steganoanalizy
Metody ukrywania i odkrywania
informacji dźwiękowej w obrazach
cyfrowych
Renderowanie trójwymiarowych scen
przy wykorzystaniu technologii
CUDA
11
Zasada Michał
1
Łukasz Buczkowski
2
Piotr Falantynowski
Analiza sekwencji filmowych pod
katem detekcji i opisu postaci.
3
Marcin Wasilewski
Realistyczna wizualizacja scen
reprezentowanych przez
wielkoobjętościowe
zbiory danych.
dr Michał Chlebiej
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania.
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania
Przegląd wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania
Analiza wybranych algorytmów;
implementacja w aplikacji własnej;
przykładowe zastosowania
Opracowanie zrównoleglonych algorytmów
wizualizacji przestrzennej ze szczególnym
uwzględnieniem charakterystyki
multiprocesorów strumieniowych CUDA.
Opracowanie algorytmów pozwalających na
wykrywanie postaci na podstawie
ruchomych obrazów oraz generowanie opisu
przestrzennego parametryzującego
wizualizowane postacie.
Opracowanie metod zarządzania,
przetwarzania i wizualizacji danych o
wielkich objętościach. W ramach pracy
zostanie zaimplementowany kompletny
system renderingu.
1
Piotr Cichocki
2
Mariusz Felisiak
3
Jakub Prabucki
Michał Tycz
Mateusz Woźniak
Prof. dr hab. Daniel
Simson
Typy Coxetera morsyfikacji
macierzowych dla diagramu Dynkina
E_8 z zastosowaniem MAPLE,
C++ i pakietu ,,Weyl''
Obliczenia symboliczne i algorytmy
oczkowe w klasyfikacji
morsyfikacji macierzowych dla
diagramu Dynkina A_n.
Obliczenie orbit Weyla i graficznoalgorytmiczna klasyfikacja geometrii
oczkowych morsyfikacji dla
diagramu Dynkina D_n.
Algorytmy opisujące orbity WeylaCoxetera macierzowych morsyfikacji
dla diagramu Dynkina E_6.
Algorytmiczne opisy typów Coxetera
i podstawowych konfiguracji
geometrii oczkowych morsyfikacji
dla diagramu Dynkina E_7.
Opracowanie numerycznych i graficznych
algorytmów oraz implementacji
rozwiązujących podstawowe zadania
błądzenia kwadratowego na skończonych
grafach i posetach. Opracowanie
algorytmów obliczających orbity
Weyla macierzowych morsyfikacji dla
diagramów Dynkina oraz algorytmów
graficznych opisujących równowaŜności
dwuliniowe róŜnych typów Coxetera
błądzeń całkowitych na grafach lub
posetach z błądzeniami zdefiniowanymi
przez diagramy Dynkina lub diagramy
Euklidesa (z wykorzystaniem MAPLE,
JAVY, C++ oraz zasobów biblioteki
CREP. Grupa seminaryjna opracuje
w ramach seminarium magisterskiego
zintegrowany pakiet algorytmów
opisujących rozwiązania klasy układów
równań oraz nierówności o spółczynnikach
całkowitych (w programowaniu
całkowitym), równowaŜności oraz rozkłady
macierzy sąsiedztwa skończonych grafów
i posetów, , a takŜe pomocnych w
rozwiązaniu podstawowych problemów
błądzenia kwadratowego. Jednym z zadań
magistrantów będzie dyskusja złoŜoności
obliczeniowej stosowanych algorytmów.
1
Piotr Ackermann
2
Dawid Gorajek
3
Łukasz Siewierski
4
Adam Soboczyński
5
Natalia Szawelska
6
Paweł Wiśniewski
1
Michał Stogowski
2
Krzysztof Janiszewski
dr hab. G.
Jarzembski, prof.
UMK
Dr hab. Piotr Bała,
prof. UMK
Redukcja nieskończonych termów – Formalizacja pojęcia termu nieskończonego
model matematyczny i zastosowania w oparciu o teorię algebr omega-ciągłych i
określenie podstawowych pojęć specyfikacji
równościowej dla języków zawierających
nieskończone termy
Opis logik zdaniowych w języku
Zunifikowana prezentacja wybranych logik
logiki rownościowej
zdaniowych (klasyczna, intuicjonistyczna,
modalna) w języku logiki równościowej
pierwszego rzędu
Poset Turinga
Prezentacja ,,teorii stopni
nierozstrzygalności” ze szczególnym
uwzględnieniem zastosowania to klasyfikacji
teorii pierwszego rzędu
Redukcja hipergrafów jako
Prezentacja nowych trendów w
semantyka operacyjna
programowaniu równościowym – opis
programowania równościowego
semantyki operacyjnej opartej o
wykorzystanie reguły ,,double pushout” do
redukcji hipergrafów (dŜungli)
Dedukcja naturalna
Przedstawianie i analiza porównawcza
metody dedukcji naturalnej dla róŜnych logik
Gęste morfizmy monad
Uogólnienie klasycznych wyników
dotyczących zawierania rozmaitości
(twierdzenia Betha i Isbella) dla kategorii
monadycznych nad lokalnie przedstawianymi
kategoriami, (w oparciu o pracę Karazerisa i
Venebila)
Integracja aplikacji ze środowiskiem Opracowanie metod tworzenia interfejsów
gridowym UNICORE
graficznych do aplikacji umieszczanych w
środowisku gridowym UNICORE
Rozproszone bazy danych w
Integracja systemu bazodanowego iRODS z
systemach gridowych
systemem gridowym UNICORE 6.
3
Przemysław Fusik
4
Bartosz Ubrbański
5
Stanisław Szczęsny
6
Marek Nowicki
7
Jarosław Okoński
8
Mikołaj Schmidt
1
Paweł Ćwik
2
Arkadiusz Boruczenko
Dr hab. Piotr Bała,
prof. UMK
Dr hab.Zygmunt
Pogorzały, prof.
UMK
Aplikacje rozproszone w środowisku Zbadanie przydatności środowiska
ProActive
ProActive do zrównoleglania aplikacji na
przyładzie asynchronicznej dynamiki
molekularnej
Aplikacje rozproszone w środowisku Wykorzystanie najnowszych technologii
Google
Google (Google Web Toolkit, Google
Application) do tworzenia aplikacji
rozproszonych
Rozproszony system rejestracji
Stworzenie rozproszonego systemu
pacjentów kardiologicznych
rejestracji pacjentów kardiologicznych z
wykorzystaniem technologii gridowych i
webowych.
Rozproszony system elektronicznej
Stworzenie rozproszonego systemu
rejestracji przebiegu leczenia
rejestracji przebiegu leczenia pacjentów
pacjentów kardiologicznych
kardiologicznych z wykorzystaniem
technologii gridowych i webowych.
Autoryzacja w systemach
Integracja mechanizmów autoryzacji
portalowych z wykorzystaniem
opartych o Shibboleth z systemami
technologii Shibboleth
portalowymi i gridowymi.
Modelowanie procesów kwantowych Wykorzystanie zaleŜnej od czasu dynamiki
kwantowej do modelowania procesów
kwantowych
Algorytmy słuŜące do rozpoznawania W pracy zawarty będzie opis i analiza
twarzy na podstawie zdjęć
najczęściej stosowanych algorytmów
fotograficznych
słuŜących do rozpoznawania emocji ze zdjęć
fotograficznych. Na podstawie omówionych
algorytmów zostanie utworzona aplikacja
komputerowa.
Modele generowania fraktali i ich
W pracy zostaną przedstawione modele
zastosowania
generowania fraktali i ich zastosowania w
grafice komputerowej.
3
BłaŜej Filipiak
Panoramy sferyczne
Dr hab.Zygmunt
Pogorzały, prof.
UMK
4
Andrzej Konieczny
5
Robert KruŜa
6.
Grzegorz Leszko
7
Łukasz Makowski
W pracy zostaną opisane algorytmy
stosowane do łączenia zdjęć w panoramę
sferyczną. Przewiduje się równieŜ
utworzenie aplikacji komputerowej do
tworzenia panoramy sferycznej.
Progresywne generowanie map
W pracy zostaną przedstawione i
planet w czasie rzeczywistym
przeanalizowane najpopularniejsze
algorytmy słuŜące do generowania map.
Przewidziane jest równieŜ wykonanie
aplikacji komputerowej na podstawie
omówionych algorytmów.
Sterowanie głosowe komputerem
W pracy zostanie opisany program
umoŜliwiający sterowanie głosowe
podstawowymi funkcjami komputera.
Komendy będą wprowadzane na Windowsie.
Nie przewiduje się uczenia komend.
Algorytmy identyfikacji pojazdów na W pracy zostaną przedstawione podstawowe
podstawie tablic rejestracyjnych
algorytmy identyfikacji obrazów, które
moŜna zastosować do identyfikacji pojazdów
na podstawie tablic rejestracyjnych. Zostanie
wykonana aplikacja komputerowa
wykorzystująca przedstawione algorytmy.
Proste odszumianie obrazów przy
W pracy zostaną opisane podstawowe
uŜyciu algorytmów segmentacji
algorytmy segmentacji lokalnej, które
lokalnej
zazwyczaj stosuje się w odszumianiu
obrazów. Wykonana zostanie aplikacja
komputerowa na podstawie przedstawionych
algorytmów.
8
Mateusz Sowa
Wykrywanie działek rolnych na
podstawie zdjęć satelitarnych
Dr hab.Zygmunt
Pogorzały, prof.
UMK
9
Przemysław Tafliński
Algorytmy słuŜące do wyznaczania
najlepszej drogi przy czytaniu map
topograficznych
10
Mateusz Wyrzykowski
Algorytmy w superrozdzielczości
obrazów
1
śaneta Agacka
2
Michał Aleksinski
Dr hab. Tomasz
Schreiber, prof.
UMK
Algorytmy uczenia strukturalnego
typu PC dla sieci bayesowskich
Uczenie strukturalne map
bayesowskich w mobilnym
środowisku robota
W pracy zostanie omówione zastosowanie
segmentacji lokalnej do obliczania
powierzchni obszarów rolnych na podstawie
zdjęć satelitarnych. Zostaną omówione
podstawowe algorytmy słuŜące do
wykrywania takich działek i na ich
podstawie zostanie wykonana aplikacja
komputerowa.
W pracy zostaną omówione podstawowe
algorytmy, które są stosowane do analizy
map topograficznych i słuŜą do wyznaczania
najlepszej drogi od jednego punktu na mapie
do drugiego. Na podstawie omówionych
algorytmów zostanie wykonana aplikacja
komputerowa.
W pracy zostaną przedstawione podstawowe
algorytmy słuŜące do uzyskiwania wysokiej
rozdzielczości dla obrazów. Na podstawie
przedstawionych algorytmów zostanie
wykonana aplikacja komputerowa.
Implementacja oraz analiza działania i
wydajności algorytmów uczenia
strukturalnego PC oraz NPC dla sieci
bayesowskich.
Zaprojektowanie i implementacja
algorytmów tworzących mapy
bayesowskie dla mobilnych środowisk
robota przy zastosowaniu drzew ChowLiu.
3
Patryk Filipiak
Samoorganizujące się sieci
mieszankowe w reprezentacji
obrazów cyfrowych.
Implementacja algorytmu reprezentacji i
kompresji obrazów cyfrowych przy uŜyciu
samoorganizujących się gaussowskich
sieci mieszankowych (SOMN).
4
Kamil Golunski
Algorytmy typu SVQ na
przestrzeni kształtów
Zaprojektowanie i implementacja
algorytmu wysokopoziomowej
stochastycznej kwantyzacji wektorowej
(SVQ) na przestrzeni kształtów
generowanych z obrazów cyfrowych.
5
Marcin Gąsiorek
Bayesowskie diagramy wpływów
dla turowych gier strategicznych
Zaprojektowanie i implementacja
bayesowskich diagramów wpływów oraz
algorytmów optymalizacji strategii
decyzyjnych dla turowych gier
strategicznych.
6
Piotr Stachowski
Kompresja obrazów cyfrowych za
pomocą algorytmu SVQ.
Implementacja algorytmu kompresji
obrazów cyfrowych przy zastosowaniu
algorytmu stochastycznej kwantyzacji
wektorowej (SVQ).
7
Bartosz Zieliński
Metody Monte-Carlo w renderingu
przy uŜyciu sprzęŜonych map
fotonowych.
Zaprojektowanie i implementacja
algorytmu renderingu opartego o
sprzęŜone mapy fotonowe (dynamika z
czasem odwróconym) przy zastosowaniu
metod Monte-Carlo.
1.
Dr Andrzej Kurpiel
Czachorowski Adam
Systemy wprowadzania danych w
urządzeniach mobilnych
Porównanie aktualnie stosowanych
algorytmów i metod wprowadzania danych
w urządzeniach mobilnych za pomocą
ekranów dotykowych. Implementacja
własnego algorytmu czytania danych z
ekranu dotykowego.
2.
Gabryjeluk Piotr
3.
Kubiś Sebastian
4.
Łucarz Robert
5.
Markowski Bartosz
6.
Piotrowski Tomasz
Przeglądarki Internetowe dla
urządzeń mobilnych
Na tle istniejących implementacji silników
przeglądarek internetowych zaprojektowanie
oraz implementacja własnej przeglądarki dla
urządzeń mobilnych z dotykowym ekranem,
opartej o biblioteki QT4 oraz WebKit
Zdalne zarządzanie serwerami usług Zaprojektowanie i utworzenie
sieciowych z wykorzystaniem
modyfikowanej dystrybucji Systemu Linux
urządzeń mobilnych.
na urządzenie NetBook z celem stworzenia
narzędzia do zarządzania u monitorowania
Sieci Lokalnej dla administratora tej sieci.
Wykorzystywany język programowania:
Python
Małe urządzenia mobilne w
Wykorzystanie otwartego systemu
zadaniach monitorowania i usuwania OpenMoko jako narzędzia do monitorowania
awarii w Sieci Lokalnej.
i szybkiego reagowania na awarie w Sieci
Lokalnej przewodowej i bezprzewodowej.
Telefon OpenMoko zostanie wyposaŜony w
system operacyjny i aplikacje realizujące
powyŜsze zadania. Języki programowania:
C, Python
Przekazywanie multimediów w
Porównanie istniejących metod transmisji
sieciach komputerowych z
multimediów w sieciach z uŜyciem
wykorzystaniem protokołu IPv6
protokołów IPv4 oraz IPv6. Przygotowanie
systemu zarządzania programami serwera
multimediów z wykorzystaniem IPv6.
Zastosowanie Baz Danych w
Ocena przydatności i efektywności aktualnie
urządzeniach mobilnych.
uŜywanych baz danych w urządzeniach
mobilnych oraz implementacja własnej bazy
obiektowej dla systemu Android z biblioteką
dla programisty systemu.
Języki programowania: C, java, Python
7.
Szewczak Dawid
8.
Wachniew Jerzy
1
Kamil Kaproń
2
Artur Kałędkowski
3
4
Sławek Elhert
Michał Głamowski
5
Aleksander Niklas
Zarządzanie systemem operacyjnym Przygotowania jądra systemu, narzędzi
Android na przykładzie popularnych systemowych smartfonu oraz aplikacji na
smartfonów
komputer (język programowania – java )
pozwalających w pełni zarządzać
urządzeniem mobilnym z komputera.
Zastosowanie portu USB w
Wykorzystanie smartfonu Openmoko do
urządzeniu mobilnym do sterowania sterowania ruchem robota z
ruchem robota
wykorzystaniem portu USB. Przygotowanie
robota, urządzenia sterującego oraz
oprogramowania smartfonu
wykorzystujących wszystkie moŜliwości
portu USB (zarówno trybu hosta jak i
urządzenia). Język programowania: C oraz
cross-kompilatory C
Dr Piotr Wiśniewski Przetwarzanie zapytań z
Celem pracy jest opracowanie i
wykorzystaniem multiprocesorów
implementacja algorytmu przetwarzania
CUDA
operatora 'where' na karcie graficznej.
Przetwarzanie zapytań z
Celem pracy jest opracowanie i
wykorzystaniem multiprocesorów
implementacja algorytmu przetwarzania
CUDA
operatora '.' na karcie graficznej.
Kardionet II etap
Celem pracy jest kontynuacja rozwoju
warstwy bazodanowej systemu Kardionet
Równoległe przetwarzanie zapytań
Celem pracy jest opracowanie algorytmów
równoległego przetwarzania zapytań w
oparciu o wątki w języku Java
Bazy ontologi w systemach
Systemy agentowe wymagają szczególnej
agentowych
formy składowania danych trwałych. Celem
pracy jest opracowanie agenta składującego
dane z wykorzystaniem wybranej bazy
obiektowej.
6
Marcin Wasilewski
7
Marcin Kuczek
1
Bartosz Sikorski
2
Piotr Olszak
Prof. dr hab.W.
Duch
Konstrukcja parsera języka PySBQL Celem pracy jest konstrukcja parser języka
PySBQL dla systemu bazodanowyego
CookieDB.
Prototyp ewaluacji zapytań
System CookieDB posiada bardzo dobrze
opracowany skład danych. Celem niniejszej
pracy jest opracowanie prototypu ewaluatora
zapytań.
Akwizycja i weryfikacja wiedzy w
Akwizycja wiedzy o rzeczywistych
systemach dialogu z uŜytkownikiem. obiektach na przykładzie ras psów;
sposoby akwizycji danych, próba
akwizycja wiedzy poprzez grę;
opracowanie szablonów interakcji;
weryfikacja i aktualizacja wiedzy przy
pomocy odpowiedzi uŜytkownika;
ocena dialogów do akwizycji wiedzy;
metody logiki rozmytej.
Rozpoznawanie obiektów na
W jaki sposób budujemy wyobraŜenia o
zdjęciach poprzez zadawanie
realnych obiektach? Jak opisywane są rasy
minimalnej liczby pytań
psów w Internecie? O jakie cechy naleŜy
pytać i w jakiej kolejności? Zebranie danych
i próby klasyfikacji za pomocą prototypów,
róŜne funkcje podobieństwa, selekcja cech,
drzewa decyzyjne; uwzględnianie pomyłek;
implementacja w postaci aplikacji
internetowej.
3.
Michał Gawarkiewicz
1.
Dymek Sebastian
2.
Frankowski BłaŜej
3.
Krysztofiak Sławomir
4.
Łucewicz Tomasz
Tworzenie pamięci semantycznej w
wąskich dziedzinach na podstawie
dostępnej elektronicznie informacji
prof. dr hab. Adam
Jakubowski
Klasyfikatory statystyczne w
rozpoznawaniu struktury wzorów
matematycznych
Ontologiach, modele pamięci semantycznej
do gromadzenia i wyszukiwania informacji;
modele sieciowe; sieci skojarzeniowe;
pamięć semantyczna w mózgu;
przygotowanie danych dla bazy opisującej
rasy psów;
wykorzystanie zgromadzonych danych w
prostym systemie porównującym obiekty z
określonej dziedziny; porównanie wyników i
analiza efektywności wybranych modeli.
Praca dotyczy matematycznego
ramach pracy przewiduje się
wybranych metod rozpoznawania
ich samodzielną implementację
C++, C# lub Java.
Dynamiczne metody Monte Carlo w Praca dotyczy matematycznego
rozpoznawaniu struktury wzorów
ramach pracy przewiduje się
matematycznych
wybranych metod rozpoznawania
ich samodzielną implementację
C++, C# lub Java.
Metody analizy wielorozdzielczej w Praca dotyczy matematycznego
rozpoznawaniu struktury wzorów
ramach pracy przewiduje się
matematycznych
wybranych metod rozpoznawania
ich samodzielną implementację
C++, C# lub Java.
Metody sieci neuronowych w
Praca dotyczy matematycznego
rozpoznawaniu struktury wzorów
ramach pracy przewiduje się
matematycznych
wybranych metod rozpoznawania
ich samodzielną implementację
C++, C# lub Java.
OCR. W
adaptację
wzorców i
w języku
OCR. W
adaptację
wzorców i
w języku
OCR. W
adaptację
wzorców i
w języku
OCR. W
adaptację
wzorców i
w języku
5.
Mazalon Marcin
6.
PoboŜy Tomasz
7.
Wierzbicki Mariusz
8.
Wierzbowski Michał
Metody geometryczne w
rozpoznawaniu struktury wzorów
matematycznych
Praca dotyczy matematycznego OCR. W
ramach pracy przewiduje się adaptację
wybranych metod rozpoznawania wzorców i
ich samodzielną implementację w języku
C++, C# lub Java.
Identyfikacja indeksów we wzorach Praca dotyczy matematycznego OCR. W
matematycznych
ramach pracy przewiduje się implementację
wybranych metod rozpoznawania wzorców i
translację rezultatów do kodu TeX-a.
Rozpoznawanie symboli we wzorach Praca dotyczy matematycznego OCR. W
matematycznych
ramach pracy przewiduje się implementację
wybranych metod rozpoznawania wzorców i
translację rezultatów do kodu TeX-a.
Rozpoznawanie operacji
Praca dotyczy matematycznego OCR. W
matematycznych we wzorach
ramach pracy przewiduje się implementację
matematycznych
wybranych metod rozpoznawania wzorców i
translację rezultatów do kodu TeX-a.