Wykaz tematów prac dyplomowych w roku akademickim 2008/2009
Transkrypt
Wykaz tematów prac dyplomowych w roku akademickim 2008/2009
Wykaz tematów prac dyplomowych w roku akademickim 2008/2009 kierunek: informatyka L.p Nazwisko i imię . studenta 1 Delikat Michał Promotor dr Michał Chlebiej Temat pracy Opis zadania stawianego studentowi magisterskiej Wykorzystanie metody Free• Opracowanie algorytmu, który Form Deformation do symulacji umoŜliwiałby w łatwy sposób oddziaływań pomiędzy symulowanie oddziaływań obiektami. pomiędzy obiektami 3D, wykorzystując FFD oraz modele fizyczne • Stworzenie wizualizacji wykorzystującej ten algorytm • Wskazanie i implementacja przykładowych zastosowań algorytmu 2 Gollent Marcin Generowanie i realistyczna wizualizacja środowisk naturalnych. • Stworzenie systemu graficznego umoŜliwiającego skomponowanie i wyświetlanie w czasie rzeczywistym rozległych terenów. • Edytor sceny ma umoŜliwiać znaczne zróŜnicowanie roślin między sobą, a system poziomu szczegółów ma zapewnić płynność animacji przy bardzo duŜym zasięgu widzenia. 3 Modzelewski Piotr Realistyczne techniki animacji komputerowej postaci. • Zaprojektowanie, implementacja oraz opis biblioteki umoŜliwiającej realistyczne animowanie postaci na scenie trójwymiarowej. • Praca będzie zawierać przegląd technik i zastosowanych technologii oraz ich modyfikacje wykonane w ramach pracy mające na celu zwiększenie efektywności oraz efektowności metod oryginalnych 4 Olzacki Paweł 5 Rutkowski Andrzej Symulacja i realistyczna wizualizacja zachowań systemów wielocząsteczkowych. • Opracowanie algorytmów mających na celu symulację zachowań układów wielu ciał • Efektywna wizualizacja wspomagana sprzętowo dąŜąca do rozwiązań czasu rzeczywistego Rekonstrukcja modeli • Opracowanie i implementacja trójwymiarowych na podstawie algorytmu, który w pełni sekwencji obrazów 2D. automatycznie zrekonstruuje trójwymiarowy model obiektu mając do dyspozycji jego reprezentacje dwuwymiarowe. • W szczególności działanie algorytmu będzie zorientowane na rekonstrukcję na podstawie zdjęć cyfrowych. 6 Stachowiak Tomasz Elastyczny system renderingu scen trójwymiarowych czasu rzeczywistego. • Zaprojektowanie, implementacja oraz opis działania elastycznego systemu renderingu wykorzystującego najnowsze osiągnięcia technologiczne. • System ma być prosty w obsłudze jednocześnie dając programistom moŜliwość ingerencji w wiele aspektów obliczeń. • Zintegrowany edytor umoŜliwi tworzenie oraz modyfikacje zaawansowanych efektów graficznych bez konieczności napisania pojedynczej linii kodu. 1. Marta Czerniewicz prof. dr hab. Piotr Algorytmiczne rozstrzyganie Dowbor podobieństwa macierzy kwadratowych i izomorfizmu modułów Kroneckera. Celem pracy jest dokładne przedstawienie metody rozstrzygania podobieństwa macierzy kwadratowych, opartej na algorytmie sprowadzania macierzy o współczynnikach w k[x] do postaci kanonicznej (i technice dzielników elementarnych), a następnie zaadaptowanie jej do konstrukcji algorytmu, którego zadaniem jest rozstrzyganie izomorfizmu tzw. modułów Kroneckera (o ustalonym wektorze wymiaru). Planuje się równieŜ stworzenie pakietu w SAK MAPLE realizującego omawiane wyŜej zagadnienia. 2. Konrad Flaszyński Zastosowania redukcji kratowych w problemie efektywnego rozkładu wielomianów na nierozkładalne – algorytm LLL. 3. Daniel Kardach Bazy Gröbnera i algorytmy programowania całkowitego. Celem pracy jest przedstawienie algorytmu Lovasz-Lenstra-Lenstra, związanego z problemem szukania najkrótszego niezerowego wektora w kratach (wraz z dokładnym wyjaśnieniem jego działania), a następnie wykorzystanie go do konstrukcji algorytmu znajdowania rozkładu wielomianu w [x] na nierozkładalne. Drugim celem pracy jest stworzenie pakietu oprogramowania w SAK MAPLE, który będzie zawierał implementacje wszystkich omawianych algorytmów. Celem pracy jest przedstawienie wybranych algorytmów związanych ze znajdowaniem baz Gröbnera ideałów w pierścieniach wielomianów nad ciałem, w tym algorytmu Buchbergera, a następnie zastosowanie ich do konstrukcji algorytmów rozwiązujących podstawowe problemy programowania całkowitego. Planowane jest stworzenie odpowiedniego pakietu w SAK MAPLE realizującego omawiane algorytmy. 4. Krzysztof Szulc Wybrane zagadnienia algebry liniowej i ich algorytmiczne rozwiązania. Celem pracy jest przedstawienie kilku zagadnień z obszaru algebry liniowej od strony moŜliwości ich algorytmicznego i efektywnego rozwiązywania. Dotyczy to m.in. szybkiego mnoŜenia macierzy (np. algorytm Strassena), a przede wszystkim potęgowania i roli w tym zakresie twierdzeń Cayleya-Hamiltona oraz Jordana, a takŜe pojęć wielomianu charakterystycznego i minimalnego, w tym opisu róŜnych metod ich wyznaczania. NiezaleŜnie w pracy zostaną przedstawione algorytmiczne podejście do problemu znajdowania postaci Jordana dla macierzy, a takŜe róŜne aspekty zagadnień związanych z szukaniem wartości własnych. Planuje się równieŜ omówienie algorytmów realizujących rozkłady macierzy na iloczyny (np. „LU”, „LPU”, „PLU”, itp.) i ich zastosowań w rozwiązywaniu klasycznych problemów algebry liniowej. Wszystkie omówione algorytmy będą zaimplementowane w postaci pakietu SAK MAPLE. prof. dr. hab. Krzysztof Frączek Kodowanie zbioru liczb naturalnych 1. Bzdawka Kamil 2. Bartoszyńska Maliwina Zastosowanie kodów arytmetycznych w kompresji danych 3. Jasiński Marcin Kompresowanie danych oparte na algorytmie przyrostkowego podziału Celem pracy jest przedstawienie problemu prefiksowego kodowania elementów zbioru przeliczalnego w sposób stosunkowo optymalny. W pracy znajdzie się opis kilku podstawowych takich kodów oraz przedstawione zostaną szacowania długości słów kodowych. Praca dotyczyć będzie kompresji danych przy załoŜeniu, Ŝe statystyczne własności źródła są znane. Głównym celem pracy jest szczegółowa analiza tzw. kodu Pasco, wraz z przedstawieniem dowodu jego asymptotycznej optymalności. Praca dotyczyć będzie problemu asymptotycznej optymalności dla tzw. kodów uniwersalnych. W pracy analizowane będą własności kodów opartych na algorytmie przyrostkowego podziału słów, przy uŜyciu złoŜoności Lempela-Ziva. 4. Kiełkowski Paweł 1 Agnieszka Holka 2 Michał Ferliński dr hab. Jacek Kobus Kompresja danych za pomocą czasów pierwszego powrotu Celem pracy będzie przedstawienie asymptotycznych własności dla kodów opartych na czasach pierwszego powrotu. Tego typu kody uniwersalne okazują się być, w pewnym sensie, kodami asymptotycznie optymalnymi dla źródeł ergodycznych. Międzyplatformowy interfejs systemu FolaNessus wykonany przy uŜyciu biblioteki Qt4 Zaprojektowanie i wykonanie przy uŜyciu biblioteki Qt4 graficznego interfejsu do systemu FolaNessus, który słuŜy do nadzorowania bezpieczeństwa sieciowych systemów komputerowych w oparciu o skaner luk sieciowych Nessus. Zaprojektowanie i zaimplementowanie w Perlu systemu wspomagającego profilowanie ruchu sieciowego dla serwerów i stacji roboczych pracujących w lokalnej sieci komputerowej oraz komputerów osobistych korzystających z modemowego podłączenia do Internetu. Profilowanie ruchu sieciowego w systemie GNU/Linux 3 Tomasz Kapelak Nadzorowanie stanu serwerów i Rozbudowa modułu FolaHostMonitor ich wykorzystania przez o funkcje pozwalające na zbieranie dodatkowych danych o pracy uŜytkowników serwerów i stacji roboczych oraz danych charakteryzujących wykorzystanie tych systemów komputerowych przez uŜytkowników. Wykonanie aplikacji webowej pozwalającej na zarządzanie modułem, wyszukiwanie, wizualizację i eksportowanie danych gromadzonych w raportach, udostępnianie określonych informacji (stan konta, historia logowań, wykorzystane zasoby) i usług (zmiana hasła, archiwizacja danych, itp.) wybranym uŜytkownikom. 4 Szymon Klimuk Monitorowanie i zarządzanie urządzeniami sieciowymi przy pomocy narzędzi Net-SNMP Rozbudowa modułu FolaSNMP o moŜliwość monitorowania i zarządzania dowolnymi urządzeniami sieciowymi (drukarkami, przełącznikami ethernetowymi, itp.) w oparciu o narzędzia dostępne w ramach pakietu Net-SNMP, gdyŜ dotychczasowa wersja modułu wykorzystuje narzędzia SCLI, które pozwalają tylko na (ograniczoną) obsługę wybranych urządzeń. 5 Piotr Dawid Pietryga System wspomagający ocenę umiejętności praktycznego zarządzania serwerem 6 Karol Wróbel Separacja usług sieciowych przy wykorzystaniu OpenVZ Zaprojektowanie i wykonanie systemu wspomagającego ocenę umiejętności praktycznego zarządzania i rozwiązywania problemów przez administratora stacji roboczej/serwera. Student otrzymuje do dyspozycji specjalnie przygotowaną wirtualną maszynę oraz zestaw zadań do wykonania. Testy są przeprowadzane przy uŜyciu odpowiednich funkcji systemu moodle. Ocena kaŜdego z zadań odbywa się automatycznie na podstawie zebranych przez skrypty perlowe informacji o zmianach dokonanych w konfiguracji systemu operacyjnego. Zaprojektowanie i wykonanie (w języku Perl) narzędzia pozwalającego na rozdzielenie wielu usług sieciowych (DNS, DHCP, SSH, SMPT, POP, HTTP, LDAP, itp.) realizowanych przez jeden serwer na usługi (lub odpowiednio dobrane grupy usług) świadczone przez oddzielne serwery funkcjonujące w oddzielnych kontenerach systemu OpenVZ. 1. Konrad Dolecki dr Piotr Malicki Wspólne transwersale dla rodzin zbiorów 2. Łukasz Kowalski O b-skojarzeniach w grafach dwudzielnych 3. Michał Kozłowski Transwersale i grafy dwudzielne Wprowadzenie pojęcia wspólnej transwersali dla dwóch rodzin zbiorów. Omówienie wspólnych trans wersal częściowych. Przedstawienie zagadnień dotyczących pakowania oraz pokrycia wspólnej transwersali. Wprowadzenie i omówienie pojęć bskojarzenia, pokrycia wwierzchołkowego oraz pokrycia bkrawędziowego. Przedstawienie związków pomiędzy b-skojarzeniami a pokryciami b-krawędziowymi. Planuje się równieŜ napisanie programu komputerowego związanego z przedstawianą problematyką. Twierdzenie Halla, twierdzenie Rado. Omówienie transwersal częściowych. Przedstawienie zagadnień dotyczących pakowania oraz pokrycia transwersal. 4. Piotr Makowski Kolorowanie krawędzi w grafach dwudzielnych 5. Karol Wakarecy Metody programowania liniowego dla grafów dwudzielnych 6. Krzysztof Zdziarski Najliczniejsze skojarzenia w grafach dwudzielnych Omówienie pokrycia krawędziowego w grafach dwudzielnych, zbiorów stabilnych, pakowania pokryć krawędziowych oraz pokryć przez skojarzenia doskonałe. Planuje się równieŜ napisanie programu komputerowego związanego z przedstawianą problematyką. Wprowadzenie pojęć polytopu skojarzenia i polytopu skojarzenia doskonałego dla grafów dwudzielnych. Omówienie dolnej i górnej otoczki polytopu skojarzenia doskonałego. Omówienie związków macierzy całkowicie unimodularnych z grafami dwudzielnymi oraz skojarzeń stabilnych dla tych grafów. Omówienie oraz implementacja algorytmu znajdowania najliczniejszego skojarzenia w grafach dwudzielnych. Omówienie znajdowania skojarzenia doskonałego w regularnych grafach dwudzielnych oraz metody węgierskiej dla najliczniejszych skojarzeń. 1 Michał Matuszak prof. dr hab. Wojciech Niemiro Algorytmy wnioskowania w sieciach bayesowskich z czasem ciągłym wykorzystujące metody Monte Carlo Sieci bayesowskie z czasem ciągłym zostały zaproponowane stosunkowo niedawno w celu uwzględnienia dynamiki w sieciach bayesowskich. Ze względu na złoŜoność obliczeniową, do aproksymacji docelowego rozkładu prawdopodobieństwa w tych sieciach stosuje się algorytmy Monte Carlo. Praca będzie zawierać wprowadzenie do tematyki, opis algorytmów wnioskowania, implementacje tych algorytmów i doświadczenia symulacyjne. 2 Jarosław Przygódzki Algorytmy losowania dokładnego wykorzystujące łańcuchy Markowa i zastosowania W wielu zadaniach statystyki bayesowskiej, fizyki statystycznej i kombinatoryki pojawiają się tak skomplikowane rozkłady prawdopodobieństwa, Ŝe bezpośrednie generowanie próbek z tych rozkładów jest niemoŜliwe. UŜywając metod MCMC moŜemy konstruować ergodyczne łańcuchy Markowa zbieŜne do tych rozkładów. W roku 1996 został wynaleziony pierwszy algorytm, który pozwala generować próbki dokładnie z docelowego rozkładu, uŜywając łańcucha Markowa, później pojawiło się takich algorytmów więcej. W pracy znajdzie się opis klasycznych algorytmów losowania dokładnego na skończonej przestrzeni stanów, wraz z uzasadnieniem poprawności. Podane zostaną zastosowania tych algorytmów do kilku typowych zadań obliczeniowych. Praca będzie zawierała implementacje algorytmów i wyniki doświadczeń symulacyjnych. 3 Mirosława śurek 1 Tomasz Głowiński 2 Anna Gogolińska prof. dr hab. Edward Ochmański Zastosowanie filtrów cząsteczkowych do estymacji rozkładów a posteriori w statystyce bayesowskiej W statystyce bayesowskiej pojawiają się skomplikowane rozkłady a posteriori, do obliczania których konieczne jest stosowanie metod Monte Carlo. Oprócz metod MCMC uŜywa się tzw. “filtrów cząsteczkowych”, które są wyspecjalizowanymi algorytmami losowania istotnego. W pracy zostanie omówiony ogólny schemat tych algorytmów i ich wersje dla wybranych modeli bayesowskich. Częścią pracy będzie implementacja tych algorytmów i seria doświadczeń symulacyjnych mających zbadać efektywność metody i ewentualnie jej porównanie z algorytmami typu MCMC lub EM. Rozmyte neuronowe sieci Petriego Modelowanie sieci neuronowych za pomocą sieci Petriego. Adaptacja algorytmu wstecznej propagacji jako metody samouczenia. Systemy współbieŜne (sieci Petriego, systemy Lindenmayera) pod kątem zastosowań do modelowania zjawisk biologicznych Modelowanie systemów biologicznych 3 Joanna Jaranowska 4 Radosław Kania 5 Szymon Kaniewski 6 Kinga Kleps 7 Michał Marciniak 8 Zbyszko Papierski Techniki wnioskowania rozmytego Teoria zbiorów rozmytych i jej zastosowanie do wnioskowania z niepełną informacją Kolorowane sieci Petriego i ich Teoria kolorowanych sieci Petriego i zastosowania jej zastosowanie w modelowaniu systemów rzeczywistych (produkcyjnych, komunikacyjnych) Problemy osiągalności w Aspekty problemu osiągalności (stanu, róŜnych klasach sieci Petriego stanu pustego, placu pustego) w sieciach Petriego róŜnych typów wyniki znane i nowe wyniki autora Aspekty czasowe w sieciach Modelowania systemów Petriego rzeczywistych z uwzględnieniem czasu (czas aktywności Ŝetonów, czas trwania akcji) Sieci Petriego w projektowaniu Programowanie gier z gier ekonomicznowykorzystaniem sieci Petriego. Teoria strategicznych i praktyka - przykładowe wdroŜenie. Koncepcja języka Zaprojektowanie i wdroŜenie języka programowania równoległego programowania współbieŜnego w oparciu o sieci Petriego 1. Marcin Duchiński 2. Anna Furman prof. dr hab. Daniel Simson Pakiet algorytmów i implementacji w MAPLE opisujących nieujemne kwadratowe błądzenie na posetach i analizujących problem Birkhoffa. Wykonanie zadania opisanego w temacie pracy z zastosowaniem kryterium Sylvestera, jego uogólnień oraz programów przygotowanych przez A. Furman, P. Mackiewicz, G. Matczaka, a takŜe z wykorzystaniem pakietu CREP dostępnego w sieci. Wykonanie zadań opisanych w Obliczenia symboliczne, temacie. Opracowanie wspólnie programowanie w MAPLE, C++ JAVA z zastosowaniem do P.Mackiewicz części programów i słabo nieujemnych błądzeń implementacji do pakietu opisanego kwadratowych Eulera na w temacie M. Duchińskiego, w tym posetach Loupias. algorytmu ograniczonego zliczania oraz algorytmu Deana-Pena. Zbudowanie algorytmu ustawiającego orbity Coxetera-Eulera w kołczan oczkowy lub tuby klepsydralne. Zastosowanie do błądzeń kwadratowych Eulera na posetach Loupias. Optymalizacja czasu obliczeń symbolicznych i numerycznych stosowanych programów. Schematy blokowe budowanych algorytmów 3. Paulina Mackiewicz 4. Agnieszka Polak Opisanie algorytmów budujących Ekrytyczne podposety klasy posetów LZS, reprezentantów orbit Coxetera, wielomianów Coxetera oraz liczby Coxetera. Opracowanie wspólnie z A. Furman części programów i implementacji do pakietu opisanego w temacie M. Duchińskiego. Optymalizacja czasu obliczeń symbolicznych i numerycznych stosowanych programów. Schematy blokowe budowanych algorytmów. Pakiet algorytmów i Wykonanie zadań opisanych w implementacji w MAPLE temacie. Współudział w pracy nad opisujących geometrię pakietem algorytmów i implementacji pierwiastków posetów LZS oraz w MAPLE wspólnie z M. arytmetykę algebry macierzy Duchińskim (z zastosowaniem skośnych twierdzenia Perrona-Frobeniusa do macierzy sąsiedztwa posetów i grafów). Zbudowanie pakietu algorytmów i implementacji w MAPLE opisujących arytmetykę skośnych algebr macierzy nad ciałem liczb wymiernych. Zastosowanie MAPLE oraz C++ w błądzeniu kwadratowym na posetach Loupias. Algorytm Deana-Pena 1 Krzysztof Kosyl prof. dr hab. Przechowywanie danych Krzysztof Stencel hierarchicznych w relacyjnych bazach danych Celem pracy jest przedstawienie róŜnych metod przechowywania danych hierarchicznych w relacyjnych bazach danych. W porównaniu szczególna uwaga zostanie zwrócona na wydajność oraz łatwość wykonywania standardowych operacji. Zostaną podane metody zarówno uniwersalne, dostępne dla kaŜdej bazy danych, jak i specyficzne dla konkretnych SZBD. WaŜnym elementem pracy będzie ocena przydatności poszczególnych metod do współpracy z O/RM, wraz z przedstawieniem przykładowych rozwiązań. Uzupełnieniem pracy będą przykładowe implementacje zaprezentowanych metod. 2 Łukasz Kufel Narzędzie WWW do projektowania i obsługi relacyjnych baz danych z moŜliwością pracy bezpołączeniowej. Celem pracy jest stworzenie systemu do projektowania i obsługi relacyjnej bazy danych poprzez przeglądarkę. WaŜną funkcjonalnością oferowaną przez aplikację będzie moŜliwość pracy bezpołączeniowej i późniejszej synchronizacji dokonanych zmian. Tematem badań będą teŜ problemy synchronizacji danych po powrocie w tryb połączeniowy. Zajmę się takŜe zagadnieniami wielodostępu do pojedynczej bazy danych oraz komunikacji uŜytkowników korzystających równocześnie z jednej bazy danych. Będę dąŜył do tego, by moŜna było łatwo wymienić SZBD uŜywany jako podstawa budowanego przeze mnie systemu. Mechanizmem umoŜliwiającym pracę bezpołączeniową będzie Gears (rozszerzenie do przeglądarek zaproponowane przez Google i rozwijane jako projekt open source). 3 Sebastian Madajczyk Hybrydowy system plików Praca ma zbadać przykład nowego podejścia do systemów plików. Tytułowa hybrydowość bierze się z rozszerzenia pomysłu semantycznego systemu plików zaproponowanego przez twórców systemu TagFS o elementy obiektowości oraz dziedziczenie, które jest związane z pojęciem hierarchii. System będzie wykorzystywał bazę danych jako narzędzie do przechowywania metadanych o plikach. Celem pracy jest zaimplementowanie prototypu systemu i rozwaŜenie zalet i wad nowego podejścia z punktu widzenia uŜytkownika. Praca zawierać będzie takŜe ocenę moŜliwości wdroŜenia nowego podejścia z uwzględnieniem trudności implementacyjnych. 4 Paweł Piątkowski Rozszerzenie przestrzenne dla bazy danych db4o Celem pracy jest stworzenie oprogramowania dodającego do obiektowej bazy danych db4o moŜliwość pracy z danymi przestrzennymi. Rozszerzenie będzie udostępniać przestrzenne typy danych i zestaw podstawowych operacji przestrzennych. W dalszych planach jest dodanie indeksowania przestrzennego. Implementacja będzie zgodna ze specyfikacją OpenGIS stworzoną przez OGC (Open Geospatial Consortium). Funkcjonalnością opcjonalną będzie obsługa formatów GML (Geography Markup Language) i GML (Google Maps), który jest standardem OGC. 5 Marcin Tomczyk Badanie właściwości zapytań generowanych przez ORM Celem pracy będzie badanie róŜnych implementacja Object-Relational Mapping (ORM), np. LINQ i NHibernate. W głównej mierze skupiać się będzie na testach wydajnościowych, badaniu zapytań generowanych przez te mapowania, moŜliwości jakie dostarczają (np. wielodziedziczenie) przy jednoczesnym uwzględnieniu stopnia skomplikowania w uŜyciu. Przeprowadzone badania będą miały na celu porównanie cech wybranych ORM. 6 Piotr Wicenty Natywna obsługa formatu XML Głównym celem pracy będzie w relacyjnych systemach przedstawienie oraz porównanie najwaŜniejszych mechanizmów zarządzania bazami danych natywnej obsługi formatu XML w wybranych systemach zarządzania bazami danych. Analizie poddaną zostaną m.in. składowanie dokumentów, operacje modyfikacji, walidacji, indeksowania oraz zapytania z uŜyciem XQuery, XPath na danych typu XML. Przedmiotem badań pracy będą mechanizmy zaimplementowane w bazach PostgreSQL, Microsoft SQL Server, IBM DB2 oraz Oracle. Dodatkowo, na przykładzie bazy danych Oracle podjęta zostanie próba zaimplementowania aplikacji realizującej niektóre z wytycznych standardu XBRL (standard sprawozdawczości finansowej bazujący na XML) będącego rozszerzeniem XML.