MS Word.doc

Tematy prac dyplomowych magisterskich Informatyka Studia magisterskie stacjonarne

1. Temat Badanie podobieństwa głosu śpiewaczego i głosów wybranych instrumentów muzycznych

Wersja angielska

tytułu pracy:

Searching for similarity of singing voices and musical instruments sound

Cel pracy Celem pracy jest weryfikacja tezy teoretyków muzyki okresu baroku, dotyczącej podobieństwa głosu niektórych instrumentów muzycznych do głosu śpiewaczego

Dane wyjściowe 1. Literatura dotycząca tematu

2. wyniki wstępnych badań podobieństwa wioli da gamba i głosów śpiewaczych

3. nagrania studyjne instrumentów muzycznych i głosu śpiewaczego

Zadania 1. Utworzyć bazę nagrań służących badaniom

2. dokonać analizy sygnałowej zebranych nagrań

3. zbadać podobieństwo głosów śpiewaczych i instrumentalnych za pomocą metod uczenia maszynowego

Promotor Dr inż Ewa Łukasik

Opiekun

2. Temat Rozbudowa modelu 3D zabytkowego instrumentu muzycznego

Wersja angielska

tytułu pracy:

Extending 3D model of ancient musical instrument

Cel pracy Celem pracy jest rozbudowa modelu 3D zabytkowego klawikordu, tj. wyposażenie go w funkcje umożliwiające wirtualną grę na instrumencie

Dane wyjściowe 1. Istniejący projekt wirtualnego klawikordu

2. baza dźwięków klawikordu

3. specyfikacja techniczna narzędzi wirtualnego interfejsu

Zadania 1. zamodelować mechanizm poruszania klawiszami instrumentu za pomocą narzędzi wirtualnego interfejsu

2. wbudować bazę dźwięków do modelu i zaprojektować mechanizm współpracy z modelem instrumentu

3. przeprowadzić badania i testy


Opiekun

3. Temat Oparte na treści wyszukiwanie dźwięków w bibliotece cyfrowej

Wersja angielska

tytułu pracy:

Content based sound retrieval in digital library

Cel pracy Celem pracy jest umieszczenie bazy dźwięków skrzypiec w bibliotece cyfrowej i opracowanie efektywnego mechanizmu wyszukiwania na podstawie treści

Dane wyjściowe 1. Literatura dotycząca tematu

2. istniejące projekty wstępne rozbudowy

3. standard MPEG-7 audio

4. XML

5. specyfikacja systemu dLibra

Zadania 1. Opracowanie metody automatycznego przeniesienia zawartości multimedialnej bazy dźwięków skrzypiec (AMATI) do systemu dLibra,

2. przygotowanie zbioru metadanych na podstawie standardów Dublin Core i MPEG-7,

3. implementacja mechanizmu wyszukiwania,

4. zaprojektowanie i implementacja interfejsu użytkownika


Opiekun

4. Temat Moduły radiowe ZigBit

Wersja angielska

tytułu

ZigBit radio module

Cel pracy Celem pracy jest prezentacja możliwości wykorzystania modułów radiowych ZigBit firmy MeshNetics, zgodnych z protokołami transmisji radiowej 802.15.4 / ZigBee.

Dane wyjściowe Literatura, dokumentacja , źródła internetowe

Zadania 1. Organizacja i oprogramowanie firmowe modułów ZigBit

2. Projekt (CAD – Eagle) i oprogramowanie węzłów sieci bezprzewodowej

3. Opracować ćwiczenia z zakresu transmisji bezprzewodowej na bazie modułów ZigBit

Promotor Dr inż. Zygmunt Kubiak

Opiekun

5. Temat Mikrokontrolery ARM w laboratoriach dydaktycznych

Wersja angielska

Tytułu

ARM microcontrollers in didactic laboratories

Cel pracy Celem pracy jest prezentacja nowej rodziny mikrokontrolerów ARM na przykładzie modułów STR9-comSTICK i STM3210B PRIMER

Dane wyjściowe Literatura, dokumentacja , źródła internetowe

Zadania 1. Wprowadzenie do mikrokontrolerów ARM

2. Rozwiązania modułów uruchomieniowych z uwzględnieniem modułów STR9-comSTICK i STM3210B PRIMER

3. Opracowanie ćwiczeń laboratoryjnych z modułami STR9-comSTICK i STM3210B PRIMER

Promotor Dr inż. Zygmunt Kubiak

Opiekun

6. Temat Projekt systemu grupowania wyników zapytań do ontologicznych baz wiedzy

Wersja angielska

tytułu

Design of a query results clustering system for ontological knowledge bases

Cel pracy Celem pracy jest wykonanie szczegółowego projektu systemu grupowania wyników zapytań do baz reprezentowanych w językach Semantycznego Internetu (OWL, RDFS).

Dane wyjściowe Literatura dotycząca Semantycznego Internetu (dostarczona przez promotora), np.:

Semantic Web for the Working Ontologist, Dean Allemang and Jim Hendler, Morgan Kaufmann (2008)

A Semantic Web Primer, (2nd edition), Grigoris Antoniou and Frank van Harmelen, The MIT Press (2008)

Semantic Web for Dummies, Jeffrey T. Pollock, Wiley, (2009)

Semantic Web Programming, John Hebeler, Matthew Fisher, Ryan Blace, Andrew Perez-Lopez, Mike Dean, Wiley, (2009)

Literatura dotycząca grupowania (analizy skupień).

Zadania 1. Zapoznanie się z literaturą.

2. Opracowanie projektu koncepcyjnego systemu.

3. Sformułowanie specyfikacji wymagań.

4. Opracowanie szczegółowego projektu systemu (UML).

5. Identyfikacja gotowych, zewnętrznych komponentów np. silników wnioskujących, które mogą zostać wykorzystane w ramach przyszłej implementacji systemu.

6. Opracowanie JAVA API systemu.

Promotor dr inż. Agnieszka Ławrynowicz

Opiekun j.w.

7. Temat Algorytmy grupowania wyników zapytań do ontologicznych baz wiedzy

Wersja angielska

Tytułu

Algorithms for query results clustering for ontological knowledge bases

Cel pracy Celem pracy jest analiza dostępnych algorytmów grupowania (analizy skupień) pod kątem ich zastosowania do zadania grupowania wyników zapytań do baz reprezentowanych w językach Semantycznego Internetu (OWL, RDFS), a następnie dokonanie adaptacji wybranych algorytmów do tego zadania.

Dane wyjściowe Literatura dotycząca Semantycznego Internetu (dostarczona przez promotora), np.:

Semantic Web for the Working Ontologist, Dean Allemang and Jim Hendler, Morgan Kaufmann (2008)

A Semantic Web Primer, (2nd edition), Grigoris Antoniou and Frank van Harmelen, The MIT Press (2008)

Semantic Web for Dummies, Jeffrey T. Pollock, Wiley, (2009)

Semantic Web Programming, John Hebeler, Matthew Fisher, Ryan Blace, Andrew Perez-Lopez, Mike Dean, Wiley, (2009)

Literatura dotycząca grupowania (analizy skupień).

Zadania 4. Zapoznanie się z literaturą.

5. Przeprowadzenie analizy dostępnych algorytmów grupowania pod kątem ich zastosowania do zadania grupowania wyników zapytań do baz reprezentowanych w językach Semantycznego Internetu (OWL, RDFS)

6. Opracowanie adaptacji wybranych algorytmów na potrzeby grupowania wyników zapytań do ontologicznych baz wiedzy.

7. Implementacja zaproponowanych algorytmów (JAVA).

8. Przeprowadzenie eksperymentów obliczeniowych i analiza ich wyników.

Promotor dr inż. Agnieszka Ławrynowicz

Opiekun j.w.

8. Temat Metoda Monte Carlo gry w Go w środowisku gridowym

Wersja angielska

tytułu

Playing Monte Carlo Go in grid environment

Cel pracy Projekt i budowa systemu grającego w grę Go z wykorzystaniem metody Monte Carlo realizowanej w środowisku przetwarzania rozproszonego typu grid.

Dane wyjściowe Literatura z dziedziny sztucznej inteligencji i maszynowego uczenia się na temat gry Go i metody Monte Carlo oraz literatura dotycząca narzędzi tworzenia oprogramowania dla platformy gridowej.

Zadania 1. Analiza metody Monte Carlo po kątem zastosowania w systemach

uczących się gry w Go.2. Analiza wersji współbieżnych metody Monte Carlo. i możliwości ich

realizacji w środowisku gridowym.3. Implementacja i walidacja systemu grającego w Go z wykorzystaniem

metody Monte Carlo zaimplementowanej w środowisku rozproszonym typu grid

Promotor dr inż. Artur Michalski

Opiekun j.w.

9. TematSystem uczący się sterowania inteligentnym agentem z pamięcią przypadków oparty na bibliotece RL-Glue

Wersja angielska

tytułu

RL system for learning and control of intelligent agent with instance memory based on RL-Glue library

Cel pracy Projekt, realizacja oraz weryfikacja na drodze eksperymentów obliczeniowych nowego mechanizmu zarządzania pamięcią przypadków zastosowanego w systemie uczącym się sterowania inteligentnym agentem w oparciu o opóźnione nagrody/kary

Dane wyjściowe Literatura z dziedziny sztucznej inteligencji na temat systemów uczących się oraz reprezentacji funkcji wartości i strategii działania, mechanizmu obsługi pamięci przypadków oraz pojęcia sąsiedztwa/podobieństwa przypadków

Zadania 1. Projekt i implementacja systemu uczącego się opartego na pamięci przypadków z wykorzystaniem biblioteki RL-Glue

2. Analiza mechanizmów modyfikacji sąsiedztwa (podobieństwa) przypadków i ich wpływu na wymagania pamięciowe inteligentnego agenta

3. Eksperymenty obliczeniowego dot. wpływu parametrów sąsiedztwa na szybkość uczenia się oraz jakość strategii decyzyjnej agenta


Opiekun j.w.

10. TematInternetowy system nauki programowania w języku Prolog oparty na testach jednostkowych

Wersja angielska

tytułu

Prolog programming learning via web-based system based on unit tests

Cel pracy Projekt, realizacja oraz weryfikacja na drodze testów użytkowych serwisu internetowego do nauki programowania w języku Prolog, wykorzystującego mechanizmy testów jednostkowych z podpowiedziami i wyjaśnieniami

podstawowych błędów

Dane wyjściowe Literatura z dziedziny sztucznej inteligencji na temat systemów tutorialowych, literatura odnośnie narzędzi tworzenia dynamicznych stron www; dokumentacja biblioteki testów jednostkowych w języku Prolog

Zadania 1. Projekt architektury systemu opartego na wybranej technologiach projektowania serwisów www z uwzględnieniem specyfiki narzędzi interpretacji programów języka Prolog

2. Analiza mechanizmów testów jednostkowych w języku Prolog i ich integracja z serwisem www

3. Testy użytkowe systemu i analiza możliwych przypadków użycia


Opiekun j.w.

11. TematJęzyk skryptowy TCL w procedurach użytkownika oprogramowania dyspozytorskiego

Wersja angielska

tytułu

The script language TCL in user procedures of the dispatcher software

Cel pracy Możliwość wprowadzania własnych procedur w języku TCL w aplikacji dyspozytorskiej bazującej na oprogramowaniu ANT-Studio

Dane wyjściowe Literatura: oprogramowania ANT-Studio, języka TCL, wybranego sterownika PLC.

Zadania 1. Zapoznanie się oprogramowaniem dyspozytorskim ANT Studio

i z elementami i możliwościami języka TCL w tworzeniu funkcji użytkownika.

2. Opracowanie instrukcji dla dyspozytorskiego stanowiska laboratoryjnego z procedurami TCL dla monitorowania i sterowania sterownika PLC.

Promotor dr inż. Roman Mielcarek

Opiekun dr inż. Roman Mielcarek

12. TematStruktury OPC-server i OPC-klient w tworzeniu aplikacji dyspozytorskich

Wersja angielska

Tytułu

OPC-server and OPC-client structures in the creation of dispatcher applications

Cel pracy Opracowanie zasad przekazu danych pomiędzy różnymi programami dyspozytorskimi typu SCADA

Dane wyjściowe Literatura dot. oprogramowania ANT-Studio i TELWIN oraz wybranego sterownika PLC.

Zadania 1.Zapoznać się i omówić zasady komunikacji OPC2.Opracować zasady stosowania servera i klienta OPC w komunikacji

pomiędzy oprogramowaniem dyspozytorskim TELWIN a ANT-Studio.

Promotor dr inż. Roman Mielcarek

Opiekun dr inż. Roman Mielcarek

13. Temat Projekt systemu monitorowania i wizualizacji dla linii produkcyjnej

Wersja angielska

tytułu pracy:

Project of monitoring and visualization system for the production line

Cel pracy Celem pracy jest opracowanie systemu monitorowania i wizualizacji pracy rzeczywistej linii produkcyjnej.

Dane wyjściowe Dane katalogowe linii produkcyjnej. Dokumentacja techniczna oprogramowania wizualizacyjnego. Literatura.

Zadania 1. Analiza modelu laboratoryjnego linii produkcyjnej.

2. Projekt i realizacja systemu monitorowania i wizualizacji rzeczywistego procesu produkcyjnego.

3. Weryfikacja opracowanego systemu monitorowania i wizualizacji linii produkcyjnej

Promotor dr inż. Mariusz Nowak

Opiekun

14. Temat Projekt i implementacja komputerowego systemu sterowania procesem wymiany ciepła

Wersja angielska

tytułu pracy:

Project and implementation of the computer control system of the heat transfer process

Cel pracy Celem pracy jest projekt komputerowego systemu sterowania i implementacja wielowarstwowej struktury sterowania procesem wymiany ciepła. W strukturze należy zastosować odpowiednie algorytmy sterowania.

Dane wyjściowe Dane katalogowe laboratoryjnego modelu wymiany ciepła. Literatura.

Zadania 1. Analiza procesu wymiany ciepła na przykładzie modelu laboratoryjnego.

2. Projekt i implementacja warstwowej struktury sterowania.

3. Weryfikacja i walidacja opracowanego systemu sterowania.

Promotor dr inż. Mariusz Nowak

Opiekun

15. Temat Zarządzanie zasobami obliczeniowymi i sieciowymi w środowisku obliczeniowym typu grid

Wersja angielska

tytułu

Management of computational and network resources on a grid

Cel pracy Opracowanie i implementacja algorytmu dopuszczalnego rozdziału zasobów obliczeniowych i sieciowych w środowisku obliczeniowym typu grid

Dane wyjściowe Literatura nt. zarządzania projektami informatycznymi i środowiska MS-Project

Zadania 4. Opracowanie algorytmu dopuszczalnego rozdziału zasobów obliczeniowych i sieciowych w środowisku obliczeniowym typu grid.

5. Implementacja zaprojektowanego algorytmu.

6. Zastosowanie opracowanego algorytmu do przykładowych problemów rozdziału zasobów w środowisku gridowym.

Promotor dr hab. inż. Grzegorz Waligóra

Opiekun

16. Temat Heurystyczny rozdział zasobu ciągłego dla wybranego dyskretno-ciągłego problemu rozdziału zasobów

Wersja angielska

Tytułu

Heuristic continuous resource allocation in a discrete-continuous project scheduling problem

Cel pracy Opracowanie i implementacja heurystycznego podejścia do rozdziału zasobu ciągłego w wybranym dyskretno-ciągłym problemie rozdziału zasobów

Dane wyjściowe Literatura i publikacje naukowe na zadany temat

Zadania 9. Opracowanie heurystycznego podejścia do rozdziału zasobu ciągłego w wybranym dyskretno-ciągłym problemie rozdziału zasobów.

10. Implementacja opracowanych procedur heurystycznych.

11. Opracowanie i wykonanie eksperymentu obliczeniowego w celu oceny efektywności zaproponowanych rozwiązań.

Promotor dr hab. inż. Grzegorz Waligóra

Opiekun

17. TematSterowanie rozmyte ruchem na złożonym skrzyżowaniu ulic

Wersja angielska

Tytułu

Fuzzy control of traffic on a complex street crossing

Cel pracyCelem pracy jest zamodelowanie procesu ruchu na złożonym skrzyżowaniu ulic oraz algorytmów sterowania rozmytego i przeprowadzenie badań symulacyjnych efektywności sterowania.

Dane wyjściowePakiet symulacyjny procesu ruchu, algorytmy sterowania ruchem na skrzyżowaniu ulic.

Zadania Konstrukcja modelu procesu ruchu na określonym skrzyżowaniu ulic w Poznaniu dla szeregu scenariuszy wyodrębnionych z rzeczywistych pomiarów,

implementacja programowa algorytmów sterowania ruchem różnych jego uczestników oraz szczegółowe badania symulacyjne jakości i wrażliwości sterowania ruchem.

Promotordr inż. Mariusz Kaczmarek

Opiekun j.w.

18. TematSterowanie rozmyte ruchem w korytarzu transportowym.

Wersja angielska

Tytułu

Fuzzy traffic control in a transportation corridor

Cel pracyCelem pracy jest zamodelowanie procesu ruchu w korytarzu oraz algorytmów sterowania rozmytego i przeprowadzenie badań symulacyjnych efektywności sterowania.

Dane wyjściowePakiet symulacyjny procesu ruchu, algorytmy sterowania ruchem w arterii

Zadania Konstrukcja modelu procesu ruchu w korytarzu transportowym w Poznaniu dla szeregu scenariuszy wyodrębnionych z rzeczywistych pomiarów, implementacja programowa algorytmów sterowania ruchem różnych jego uczestników oraz szczegółowe badania symulacyjne jakości i wrażliwości sterowania ruchem.

Promotordr inż. Mariusz Kaczmarek

Opiekun j.w.

19. Temat Bezpieczeństwo lokalnych sieci bezprzewodowych

Wersja angielska

tytułu pracy:

WLAN security

Cel pracy Celem pracy jest analiza zabezpieczeń stosowanych w lokalnych sieciach bezprzewodowych pod kątem ich odporności na zagrożenia nieautoryzowanego dostępu.

Dane wyjściowe Literatura na temat bezpieczeństwa sieci bezprzewodowych

Zadania 4. Analiza istniejących zabezpieczeń bezprzewodowych sieci lokalnych.

5. Testy odporności rozwiązań na ataki nieautoryzowanego dostępu.

Promotor dr inż. Tomasz Łukaszewski

Opiekun dr inż. Tomasz Łukaszewski

20. Temat Problematyka bezpiecznego usuwania i odzyskiwania danych

Wersja angielska

tytułu pracy:

Safe data removal and recovery

Cel pracy Celem pracy jest analiza istniejących rozwiązań problemu bezpiecznego usuwania danych wrażliwych, oraz odzyskiwania danych utraconych.

Dane wyjściowe Literatura na temat bezpieczeństwa sieci bezprzewodowych

Zadania 1. Analiza istniejących rozwiązań bezpiecznego usuwania danych i odzyskiwania danych.

2. Testy funkcjonalności wybranych rozwiązań.



21. Temat Bezpieczeństwo technologii VoIP

Wersja angielska

tytułu pracy:

VoIP security

Cel pracy Celem pracy jest analiza technologii VoIP i odporności na ataki nieautoryzowanego dostępu, podszywania się, odmowy usługi itp.

Dane wyjściowe Literatura na temat technologii VoIP

Zadania 4. Przegląd i analiza funkcjonalności istniejących rozwiązań VoIP.

5. Testy bezpieczeństwa implementacji stosowanych w rozwiązaniach komercyjnych.



22. Temat Problematyka bezpieczeństwa indywidualnych użytkowników Internetu

Wersja angielska

tytułu pracy:

Security Issues for individual Internet Users

Cel pracy Celem pracy jest analiza zagrożeń związanych z wykorzystaniem sieci Internet przez użytkownika indywidualnego – dotyczących głównie zarządzania zadaniami z wykorzystaniem przeglądarki internetowej (kwestia prywatności, anonimowości, ochrony danych wrażliwych itp.).

Dane wyjściowe Literatura na temat bezpieczeństwa sieci komputerowych

Zadania 1. Analiza istniejących zagrożeń związanych z wykorzystaniem Internetu przez użytkowników indywidualnych.

2. Szczegółowa analiza problemów wynikających z realizacją różnorodnych zadań za pomocą przeglądarki internetowej.

3. Zaproponowanie rozwiązań podnoszących bezpieczeństwo użytkowników Internetu.



23. Temat Klasyfikator Bayesowski

Wersja angielska Bayes classifier

tytułu pracy:

Cel pracy Celem pracy jest implementacja klasyfikatora Bayesowskiego w znanych konfiguracjach i wykonanie testów porównawczych

Dane wyjściowe Literatura dotycząca problematyki klasyfikacji i klasyfikatora bayesowskiego.

Zadania 1. Implementacja klasyfikatorów bayesowskich

2. Wykonanie eksperymentów porównawczych jakość klasyfikacji



24. Temat Badania eksperymentalne energochłonności zadań obliczeniowych

Wersja angielska

tytułu

Energy consumption of computational tasks – experimental study

Cel pracy Doświadczalne przebadanie charakterystyki szybkość wykonywania/ ilość zużytej energii wybranych zadań obliczeniowych w określonej architekturze komputerowej.

Dane wyjściowe Literatura i opracowania naukowe dotyczące modeli wykonania zadań obliczeniowych. Schematy stanowisk badawczych do badania zużycia energii w systemach komputerowych.

Zadania Wybór grupy typowych zadań obliczeniowych jako aplikacji testowych. Przygotowanie stanowiska badawczego. Testowania stanowiska badawczego. Przeprowadzenie eksperymentu i analiza jego wyników. Opracowanie przybliżonych charakterystyk wybranych zadań obliczeniowych.

Promotor dr inż. Rafał Różycki

Opiekun

25. Temat Szeregowanie zadań obliczeniowych w celu minimalizacji ryzyka przegrzania systemu wieloprocesorowego – analiza doświadczalna

Wersja angielska

tytułu

Scheduling of computational tasks to minimize the risk of multiprocessor system overheating – experimental analysis

Cel pracy Doświadczalne przebadanie wybranych algorytmów szeregowania zadań obliczeniowych minimalizujących ryzyko przegrzania procesorów.

Dane wyjściowe Literatura i opracowania naukowe dotyczące modeli termicznych zadań obliczeniowych i algorytmów szeregowania minimalizujących ryzyko przegrzania procesorów. Schematy stanowisk badawczych do badania stopnia nagrzania procesorów.

Zadania Wybór algorytmów oraz grupy typowych zadań obliczeniowych jako aplikacji

testowych. Przygotowanie stanowiska badawczego. Testowania stanowiska badawczego. Przeprowadzenie eksperymentu i analiza jego wyników. Ocena efektywności badanych algorytmów.

Promotor dr inż. Rafał Różycki

Opiekun

26. Temat Elektroniczna portmonetka

Wersja angielska

tytułu

Electronic purse

Cel pracyCelem jest projekt i implementacja elektronicznej portmonetki na ELS

Dane wyjściowe Literatura, dokumentacja ELS

Zadania 1. Przegląd rozwiązań płatności elektronicznych zeszczegółową analizą standardu EMV. 2. Analiza technologii NFC (Near Field Communication). 3. Wybór rozwiązania możliwego do zastosowania w PP. 4. Projekt systemu płatności elektronicznych w PP. 5. Projekt i implementacja komponentu płatności elektronicznej dla karty (dla rozwiązania wybranego w pkt. 2.2). 6. Projekt i implementacja API dla terminala.

Promotor Prof. dr hab. inż. Joanna Józefowska

Opiekun Mgr inż. Piotr Płusa

28. TematAkwizycja danych i sterowanie złożonym doświadczeniem z wykorzystaniem pakietu MATLAB

Wersja angielska

tytułu

Data acquisition and control of a complex experiment using MATLAB

Cel pracy

Dane wyjściowePrzykład złożonego procesu badań technologii uzdatniania wodyDokumentacji pakietu Data Acquisition Toolbox - MATLAB

Zadania 1. Omówić funkcje pakietu Data Acquisition Toolbox - MATLAB 2. Opracować strukturę systemu sterowania doświadczeniem3. Oprogramować system w zakresie wybranych funkcji

Promotor dr hab. inż. Andrzej Urbaniak

Opiekun

29. TematAkwizycja danych i sterowanie złożonym doświadczeniem z wykorzystaniem pakietu LabView

Wersja angielska

tytułu

Data acquisition and control of a complex experiment using LabView

Cel pracy

Dane wyjściowePrzykład złożonego procesu badań technologii uzdatniania wody

Dokumentacji pakietu LabView

Zadania 1. Omówić funkcje pakietu LabView 2. Opracować strukturę systemu sterowania doświadczeniem3. Oprogramować system w zakresie wybranych funkcji

Promotor dr hab. inż. Andrzej Urbaniak

Opiekun

30.

TematOpracowanie koncepcji i implementacja biblioteki usług sieciowych związanych z zachowaniem użytkownika w przestrzeni miejskiej, z wykorzystaniem metod inteligencji zbiorowej.

Wersja angielska

tytułu pracy:

Design and development of software library containing network services related to user behaviour in city area, with the usage of collective intelligence methods.

Cel pracy Celem pracy będzie opracowanie koncepcji mechanizmów analizy zbiorowych zachowań użytkowników w przestrzeni miejskiej i zaimplementowanie ich w postaci biblioteki programistycznej. Przy realizacji koncepcji należy przeprowadzić przegląd i analizę istniejących algorytmów z zakresu Collective Intelligence i zaproponować możliwości i sposób ich wykorzystania do analizy zachowań użytkowników. Ponadto celem pracy będzie zrealizowanie co najmniej jednej prototypowej aplikacji sieciowej wykorzystującej mechanizmy zaimplementowane w bibliotece, która pozwoli zweryfikować je w warunkach laboratoryjnych.

Dane wyjściowe- Zasoby informacyjne Miejskiego Informatora Multimedialnego (MIM), oficjalnego serwisu informacyjnego miasta Poznania; zasoby te dostępne sa zarówno z poziomu bazy danych oraz interfejsów specjalizowanych usług

- Otwarte punkty bezprzewodowego dostępu do Internetu w Poznaniu

Zadania

Promotor Prof. dr hab. inż. Jan Węglarz

Opiekun Dr inż. Maciej Stroiński

31. TematOpracowanie koncepcji i realizacja multimedialnego przewodnika po budynku, z wykorzystaniem technologii pozwalających na określenie lokalizacji użytkownika.

Wersja angielska

tytułu pracy:

Design and development of multimedia guide used inside buldings with the usage of technologies for user localization

Cel pracy Celem pracy jest opracowanie koncepcji oraz zbudowanie w warunkach laboratoryjnych prototypu multimedialnego przewodnika dla użytkowników mobilnych.

Dane wyjściowe - Zasoby informacyjne Miejskiego Informatora Multimedialnego (MIM),

oficjalnego serwisu informacyjnego miasta Poznania; zasoby te dostępne sa zarówno z poziomu bazy danych oraz interfejsów specjalizowanych usług

- Specjalizowane narzędzia MIMa pozwalające na budowanie multimedialnych publikacji cyfrowych mających swe odwzorowanie w przestrzeni; pozwalają one na budowanie multimedialnych przewodników i prezentowanie ich treści w portalu w oparciu o mapę cyfrową

Zadania Istotnym elementem pracy będzie zaproponowanie sprzętowo-programowych mechanizmów lokalizacji użytkowników wewnątrz budynków i ich wykorzystanie w prototypie. W ramach realizacji należy również przeanalizować i zastosować odpowiednie technologie komunikacyjne pozwalające na efektywne dostarczenie treści multimedialnych użytkownikom usługi. Kolejnym celem pracy będzie opracowanie aplikacji dostępu do usługi z urządzenia mobilnego, wspierającego przemieszczającego się użytkownika wewnątrz budynków i dostarczającego mu kontekstowych informacji w funkcji aktualnego położenia.



32. TematKoncepcja rozszerzeń protokołu GMPLS do sterowania strukturą VLANów w sieci Ethernet.

Wersja angielska

tytułu pracy:

The extension of GMPLS protocol for control of VLAN in Ethernet network

Cel pracy Celem pracy jest zaproponowanie rozszerzeń w protokołe GMPLS dla sterowania strukturą VLAN-ów w sieci Ethernet.

Dane wyjściowe protokół GMPLS i Grid-GMPLS, protokół Ethernet, oprogramowanie open source zrealizowane w ramach projektu europejskiego PHOSPHORUS

Zadania Praca obejmuje również realizacje pilotowej implementacji rozszerzeń protokołu GMPLS na bazie oprogramowania GMPLS open source z projektu Phosphorus.



33. TematOpracowanie koncepcji integracji sieci optycznych z codecami UHD/SHD.

Wersja angielska

tytułu pracy:

The integration of optical network and UHD/SHD codecs.

Cel pracy Celem pracy jest zaproponowanie rozszerzeń w protokołe GMPLS dla sterowania strumieniami wizyjnymi o rozdzielczości UHD/SHD w sieci optycznej.

Dane wyjściowe ieci optyczne, protokół GMPLS i Grid-GMPLS, technologie medialne o dużej rozdzielczości UHD/SHD oprogramowanie open source zrealizowane w ramach projektu europejskiego PHOSPHORUS

Zadania Praca obejmuje również realizacje pilotowej implementacji rozszerzeń protokołu GMPLS na bazie oprogramowania GMPLS open source z projektu

Phosphorus i sterowanie transmisją strumieni SHD w sieci laboratoryjnej.



32. Temat Algorytm ewolucyjny sterowany regułami decyzyjnymi dla wielokryterialnego problemu szeregowania zadań

Wersja angielska tytułu

An evolutionary algorithm driven by decision rules for multiobjective scheduling problem

Cel pracy Opracować i zaimplementować interaktywny algorytm ewolucyjny dla wielokryterialnego problemu szeregowania zadań sterowany preferencjami modelowanymi za pomocą reguł decyzyjnych wyidukowanych z przykładów decyzji.

Dane wyjściowe Publikacje na temat algorytmów ewolucyjnych i indukcyjnej konstrukcji reguł decyzyjnych i zbiorów przybliżonych.

Zadania Opracować i zaimplementować algorytm, oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

Promotor Prof. dr hab. inż. Roman Słowiński

Koreferent Dr inż. Piotr Zielniewicz

33. Temat Interaktywny algorytm ewolucyjny dla odpornej optymalizacji wielokryterialnej


Interactive evolutionary algorithm for robust multiobjective optimization

Cel pracy Opracować i zaimplementować procedurę dialogową dla optymalizacji wielokryterialnej z danymi przedziałowymi, w której ewolucyjne dochodzenie do rozwiązań Pareto-optymalnych byłoby sterowane preferencjami użytkownika modelowanymi za pomocą reguł decyzyjnych.

Dane wyjściowe Publikacje na temat optymalizacji wielokryterialnej, algorytmów ewolucyjnych, modelowania preferencji i analizy odporności rozwiązań.

Zadania Opracować i zaimplementować algorytm, oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.


Koreferent Dr inż. Piotr Zielniewicz

Temat System analizy satysfakcji klienta i konstrukcji strategii interwencji

34. Wersja angielska tytułu

A system for customer satisfaction analysis and for construction of a strategy of intervention

Cel pracy Opracować i zaimplementować algorytmy analizy satysfakcji klienta podejściem zbiorów przybliżonych opartym na dominacji. Z reguł wyidukowanych z przybliżeń klas satysfakcji wyprowadzić strategię interwencji polepszającej satysfakcję klientów w najbardziej efektywny sposób.

Dane wyjściowe Publikacje na temat zastosowania podejścia zbiorów przybliżonych opartego

na dominacji do analizy satysfakcji klienta, na temat indukcji reguł i konstrukcji strategii interwencji.

Zadania Opracować i zaimplementować algorytmy, oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.


Koreferent Mgr inż. Jerzy Błaszczyński

35. Temat Procedura generowania zbioru reguł optymalnych ze względu na suport, anti-support i istotność statystyczną


A procedure for induction of decision rules optimal with respect to support, anti-support and statistical significance

Cel pracy Opracować i zaimplementować procedurę generowania reguł znajdujących się na brzegu Pareto-optymalnym ze względu na trzy miary oceny: suport, anti-support i istotność statystyczną wg. testu χ2.

Dane wyjściowe Publikacje na temat indukcji reguł decyzyjnych, miar oceny jakości reguł i testów statystycznych.

Zadania Opracować i zaimplementować procedurę, oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.


Koreferent Dr inż. Izabela Szczęch

36. Temat Efektywne algorytmy routingu w rzeczywistej dużej sieci drogowej

Wersja angielska

tytułu

Efficient routing algorithms for a large real-life road network

Cel pracy Celem pracy jest opracowanie i testy efektywnych algorytmów planowania tras dla dużych, rzeczywistych sieci drogowych.

Dane wyjściowe Literatura przedmiotu. Przykładowe mapy cyfrowe.

Zadania 7. Analiza literatury.

8. Propozycja algorytmów routingu w rzeczywistej dużej sieci drogowej.

9. Projekt i implementacja prototypowego systemu.

10. Testy opracowanych algorytmów i systemu.

Promotor prof. dr hab. inż. Andrzej Jaszkiewicz

Opiekun prof. dr hab. inż. Andrzej Jaszkiewicz

37. Temat Poszukiwanie wzorców zmian sytuacji drogowej w danych z monitoringu GPS

Wersja angielska Traffic patterns in GPS monitoring data

Tytułu

Cel pracy Celem pracy jest opracowanie i testy algorytmów wyszukiwania i wykorzystania wzorców zmian sytuacji drogowej w danych z monitoringu GPS

Dane wyjściowe Literatura przedmiotu. Przykładowe dane z monitoringu GPS. Przykładowe mapy cefrowe.


2. Propozycja algorytmów wyszukiwania i wykorzystania wzorców zmian sytuacji drogowej w danych z monitoringu GPS





38. Temat Zastosowanie metod maszynowego uczenia do klasyfikacji manewrów w systemach nawigacji GPS

Wersja angielska

Tytułu

Machine learning methods for the classification of maneuvers in GPS navigation systems

Cel pracy Celem pracy jest opracowanie i testy algorytmów maszynowego uczenia do klasyfikacji manewrów w systemach nawigacji GPS

Dane wyjściowe Literatura przedmiotu. Przykładowe dane z monitoringu GPS. Przykładowe mapy cyfrowe.


2. Propozycja algorytmów maszynowego uczenia do klasyfikacji manewrów w systemach nawigacji GPS





39. Temat Wielokryterialny dialogowy algorytm ewolucyjny

Wersja angielska

Tytułu

Multiobjective interactive evolutionary algorithm

Cel pracy Celem pracy jest opracowanie i testy wielokryterialnego dialogowego algorytmu ewolucyjnego

Dane wyjściowe Literatura przedmiotu.


2. Propozycja wielokryterialnego dialogowego algorytmu ewolucyjnego.





40. Temat Algorytmy koewolucyjne w uczeniu się strategii gier

Wersja angielska

tytułu

Coevolutionary algorithms for game strategy learning

Cel pracy Zaprojektowanie, zaimplementowanie, i przebadanie nowych odmian algorytmów koewolucyjnych w kontekście możliwości ich zastosowania do uczenia się strategii prostych gier

Dane wyjściowe Literatura nt. algorytmów ewolucyjnych i koewolucyjnych, biblioteki programistyczne algorytmów ewolucyjnych

Zadania Przegląd literatury. Zaprojektowanie algorytmu i jego implementacja. Przeprowadzenie testów. Przeprowadzenie eksperymentów obliczeniowych i opracowanie wyników.

Promotor Dr hab. inż. Krzysztof Krawiec

Opiekun Mgr inż. Wojciech Jaśkowski

41. Temat Metody automatycznej dekompozycji problemów programowania genetycznego

Wersja angielska

tytułu

Automatic problem decomposition for genetic programming

Cel pracy Opracowanie, implementacja, i przetestowanie autorskich metod automatycznego generowania podcelów (subgoals) i ich eksploatacji celem dekompozycji problemów rozwiązywanych z wykorzystaniem programowania genetycznego (wybór podcelu prowadzi wprost do dekompozycji problemu na dwa podproblemy (lub więcej), które mogą być następnie rozwiązane przez przeszukiwanie mniejszych przestrzeni programów).

Dane wyjściowe Literatura nt. algorytmów ewolucyjnych i metod automatycznej dekompozycji problemów, biblioteki programistyczne algorytmów ewolucyjnych



Opiekun Mgr inż. Bartosz Wieloch

42. Temat Obliczenia ewolucyjne w generatywnych metodach rozpoznawania obrazów

Wersja angielska

tytułu

Evolutionary generative pattern recognition

Cel pracy Opracowanie, implementacja, i przetestowanie metod rozpoznawania opartych na obliczeniach ewolucyjnych, których główną cechą jest generatywność: zadaniem uczącego się agenta nie jest (lub: jest nie tylko) rozpoznanie

postrzeganego obiektu, ale jego częściowa rekonstrukcja. Potencjalnie: wykorzystanie wektorowego sygnału uczącego.

Dane wyjściowe Literatura nt. algorytmów ewolucyjnych i rozpoznawania obrazów, biblioteki programistyczne algorytmów ewolucyjnych



Opiekun

43. Temat Wykorzystanie przestrzeni semantyk w projektowaniu operatorów genetycznych

Wersja angielska

tytułu

Exploatation of semantic space in design of evolutionary operators

Cel pracy Zbadanie właściwości semantycznych operatorów genetycznych (krzyżowanie, mutacja) dla programowania genetycznego. Operatory semantyczne to operatory których celem jest zachowanie pożądanych właściwości programów-rozwiązań w przestrzeni semantyk, czyli w przestrzeni opisującej działanie programu (w odróżnieniu od tradycyjnych operatorów, które pracują na składni programów; para pojęć składnia-semantyka odpowiada w tym kontekście parze genotyp-fenotyp).

Dane wyjściowe Literatura nt. algorytmów ewolucyjnych, biblioteki programistyczne algorytmów ewolucyjnych



Opiekun

44. Temat Systemy uczące się ze strumieni danych

Wersja angielska

tytułu

Learning from data streams

Cel pracy Tematyka dotyczy przetwarzania dużych wolumenów danych pochodzących ze zmiennych środowisk, w których przykłady uczące dostępne są w postaci tzw. strumieni – co oznacza np. ograniczone możliwości zapamiętywania tych danych oraz potrzebę odpowiednio wydajnych obliczeń podstawowych wielkości.

W oparciu o studia na literaturą dotyczącą maszynowego uczenia się i eksploracji danych, dokonać analizy i wyboru najefektywniejszych metody tworzenia klasyfikatorów złożonych. Dokonać własnych modyfikacji tzw. on-line ensembles.

Dane wyjściowe Literatura na temat uczenia maszynowego, dotychczasowe implementacje wybranych klasyfikatorów złożonych (on line bagging, boosting) oraz klasyfikatory z pakietu o nazwie WEKA lub podobnych środowisk.

Zadania Zapoznać się z literaturą. W konsultacji z promotorem wybrać metodę t konstrukcji klasyfikatora. Wykonać projekt i implementacje oraz przeprowadzić

eksperymenty weryfikujące.

Promotor dr hab. inż. Jerzy Stefanowski, prof. PP

Opiekun

45. Temat Złożone systemy klasyfikujące dla danych z niezrównoważonymi liczebnie klasami decyzyjnymi.

Wersja angielska

Tytułu

Ensembles for imbalanced data

Cel pracy Praca dotyczy problematyki poprawy rozpoznania klas o mniejszej liczności w zagadnienia uczenia się klasyfikatorów z przykładów. Należy zbadać możliwości wykorzystania idei filtrowania wstępnego danych użytej w integracji z budową złożonego systemu uczącego (modyfikacja odpowiedniego schematu losowania).

Dane wyjściowe Literatura na temat uczenia maszynowego, analizy skupień oraz dotychczasowe implementacje wybranych algorytmów wstępnego przetwarzania danych oraz klasyfikatory z pakietu o nazwie WEKA.

Zadania Zapoznać się z literaturą i wybranym algorytmem przetwarzania wstepnego, który mógłby być przydatny do wykonania dekompozycji klas obiektów na obszary o szczególnym znaczeniu. W konsultacji z promotorem zaproponować stosowne modyfikacje znanych algorytmów. Wykonać projekt i implementacje oraz przeprowadzić eksperymenty weryfikujące.


Opiekun

46. Temat Podejścia wykorzystujące częściowo nadzorowaną analizę skupień w środowisku aktywnego uczenia się

Wersja angielska

Tytułu

Semi-supervised active learning

Cel pracy Praca dotyczy problematyki systemów uczących się, w szczególności analizy strumienia nadchodzących przykładów (emajli, stron WWW lub dokumentów tekstowych), które są tylko częściowo etykietowane (przydziału do klasy decyzyjnej). Wykorzystuje się ideę tzw. douczania istniejącego klasyfikatora z wykorzystaniem złożonego klasyfikatora etykietującego wybrane przykłady dostępne w strumieniu zgłoszeń. Ponadto częściowo nadzorowana analiza skupień (tzw. semi-supervised clustering) jest wykorzystana do wyboru przykładów, które należy zaetykietować. Celem pracy jest zaprojektowanie implementacji jednego z algorytmów wykorzystujących taki paradygmat aktywnego uczenia.

Dane wyjściowe Literatura na temat uczenia maszynowego, oraz klasyfikatory z pakietu o nazwie WEKA, dotychczasowe implementacje podobnych środowisk.

Zadania Zapoznać się z literaturą i wybranym algorytmem aktywnego uczenia się oraz częściowo nadzorowanej analizy skupień. W konsultacji z promotorem zaproponować stosowne modyfikacje wybranego algorytmów. Wykonać projekt i implementacje oraz przeprowadzić eksperymenty weryfikujące.

Promotor dr hab. inż. Jerzy Stefanowski

Opiekun

47.. Temat Metody oceny i wyjaśniania ważności elementów danych w systemach

uczących się w zastosowaniach medyczny

Wersja angielska

tytułu

Finding explanations of induced classifiers – supporting medical decisions

Cel pracy Zaprojektować i zaimplementować aplikację, która ma wspomagać wyjaśniania decyzji klasyfikatora poprzez wskazanie, które atrybuty i ich wartości miały największe znaczenie dla poprawnych sugestii decyzji. W miarę możliwości dokonać weryfikacji tej metody w zastosowaniu medycznym.

Dane wyjściowe Literatura na temat uczenia maszynowego, statystyki oraz dotychczasowe implementacje wybranych algorytmów uczących się.

Zadania Zapoznać się z aktualnym stanem prac nad generowaniem uzasadnień systemów klasyfikujących opartych na uczeniu się z przykładów oraz metod statystycznej oceny ważności atrybutów oraz ich wartości. Przy współpracy z opiekunem/promotorem stworzyć połączenie lub rozszerzenie istniejących metod. Stworzyć implementację prototypu takiego systemu.


Opiekun

48. Temat Segmentacja tekstu dla potrzeb skanowanie i przetwarzania starodruków


Text segmentation for old manuscripts

Cel pracy Opracować i zaimplementować algorytm automatycznej segmentacji tekstu z uwzględnieniem specyfiki starodruków (teks wielołamowy, fotografie, ryciny).

Dane wyjściowe Publikacje na temat analizy i przetwarzania obrazów.

Zadania Opracować i zaimplementować algorytm, oraz wykonać eksperyment weryfikujący skuteczność segmentacji. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

Promotor dr inż. Jacek Jelonek

Opiekun

49. Temat System automatycznego rozpoznawania tekstu


Optical character recognition system

Cel pracy Opracować i zaimplementować algorytm automatycznego rozpoznawania tekstu.

Dane wyjściowe Publikacje na temat systemów rozpoznawania tekstu

Zadania Opracować i zaimplementować algorytm, oraz wykonać eksperyment obliczeniowy weryfikujący skuteczność rozpoznawania tekstu. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.


Opiekun

50. Temat Synteza mowy na urządzeniach mobilnym


Speech synthesis for mobile devices

Cel pracy Projekt platformy mobilnej i osadzenie na niej wybranego systemu syntezy mowy

Dane wyjściowe Literatura na temat cyfrowych układów elektronicznych oraz systemów syntezy mowy.

Zadania Projekt i wykonanie układu elektronicznego urządzenia mikroprocesorowego. Analiza dostępnych systemów syntezy mowy dedykowanej dla urządzeń mobilnych i osadzenie jednego z nich na platformie mobilnej.


Opiekun

51. Temat Internetowy system komunikacji ze studentami

Wersja angielska

tytułu

Communication system order in the Internet System of the Company Management

Cel pracy Celem pracy jest stworzenie systemu, który pozwala na sprawne komunikowanie za pomocą internetu. Celem jest też realizacja GUI i sprawozdawczość w języku Java.

Dane wyjściowe Literatura na temat technologii internetowych. Propozycja architektury systemu. Specyfikacja wymagań systemu.

Zadania 4. Zapoznanie się z odpowiednimi narzędziami i komponentami.

5. Skonfigurowanie serwera zapewniającego dostęp za pośrednictwem stron internetowych do bazy danych.

6. Zaprojektowanie oraz implementacja bazy danych.

7. Zaprojektowanie interfejsu.

8. Implementacja procedur przetwarzania.

Promotor dr inż. Paweł Kominek

Opiekun dr inż. Paweł Kominek

52. Temat System ewidencji majątku trwałego

Wersja angielska

tytułu

Design and implementation of the Assets Management System.

Cel pracy Celem pracy jest stworzenie systemu, który pozwala na ewidencję i zarządzanie majątku trwałego. Celem jest realizacja GUI i wdrożenie systemu w języku Java.

Dane wyjściowe Literatura na temat technologii internetowych i java. Propozycja architektury systemu. Specyfikacja wymagań systemu.

Zadania 1. Zapoznanie się z odpowiednimi narzędziami i komponentami.

2. Utworzenie struktury bazy.

3. Zaprojektowanie interfejsu do wizualizacji.

4. Wdrożenie systemu.



53. Temat Internetowy system ankietowania


Questionnaire construction system

Cel pracy Celem pracy jest stworzenie systemu do konstrukcji ankiet. W ramach celu głównego realizacja GUI, implementacja bazy oraz raportowanie wyników.

Dane wyjściowe Literatura na temat technologii internetowych, konstrukcji ankiet. Specyfikacja systemu.

Zadania 1. Zaprojektowanie GUI.

2. Utworzenie struktury bazy.

3. Utworzenie instalatora.

4. Wdrożenie systemu.

5. Udokumentowanie wykonanych prac.



54. Temat Koewolucja strategii dla gry Go

Wersja angielska

tytułu

Coevoluton of strategies for the Go game

Cel pracy Wykorzystanie optymalizacji w architekturze koewolucyjnej do zaprojektowania strategii gry w Go – ewentualnie w innej, wybranej grze.

Dane wyjściowe Literatura na temat gry Go i jej zasad, kod źródłowy bibliotek i programów do gry w Go

Zadania 6. Zapoznanie się z dostępnym kodem źródłowym

7. Zaproponowanie reprezentacji strategii i operatorów genetycznych

8. Przeprowadzenie eksperymentów koewolucyjnych

Promotor dr inż. Maciej Komosiński

Opiekun

55. Temat System wspomagający naukę gry na instrumencie klawiszowym

Wersja angielska

Tytułu

The system that supports learning to play the piano keyboard

Cel pracy Rozwój systemu wspomagającego w czasie rzeczywistym naukę gry na pianinie (podłączonym przez MIDI do komputera).

Dane wyjściowe Źródła i dokumentacja istniejącego systemu

Zadania 1. Zapoznanie się z poprzednimi pracami i niedoskonałościami istniejącego oprogramowania

2. Ulepszenie wizualizacji zapisu nutowego, zdefiniowanie „lekcji”

3. Przeprowadzenie doświadczeń badających skuteczność nauki


Opiekun

56. Temat Ewolucja komunikacji

Wersja angielska

Tytułu

Evolution of communication

Cel pracy Wykorzystanie optymalizacji ewolucyjnej do wykształcenia komunikacji między agentami

Dane wyjściowe Dokumentacja środowiska Framsticks i mechanizmów komunikacji; źródła istniejących eksperymentów wykorzystujących komunikację

Zadania 1. Zapoznanie się z dostępnymi mechanizmami komunikacji

2. Zaprojektowanie i zaimplementowanie eksperymentu w którym do osiągnięcia sukcesu niezbędna jest wymiana informacji między agentami

3. Przeprowadzenie doświadczeń i analiza wykształconych sposobów komunikacji


Opiekun

57. Temat Moduł wspomagający redakcję czasopisma naukowego w doborze recenzentów.

Wersja angielska

Tytułu

Scientific journal editorial system - reviewer suggestion module.

Cel pracy Projekt i implementacja modułu wspomagającego sekretarza redakcji czasopisma wydawanego w Instytucie Informatyki w zakresie trafnego doboru recenzentów dla wpływających artykułów.

Dane wyjściowe Literatura z zakresu technologii .NET. Dokumentacja techniczna internetowego systemu obsługi FCDS. Specyfikacja wymagań sekretariatu.

Zadania Zapoznać się z literaturą i specyfiką problemu doboru kompetentnych recenzentów. Poznać budowę i działanie systemu obsługi czasopisma wykorzystywanego w redakcji. Zaimplementować moduł ułatwiający dobór kompetentnych recenzentów na podstawie słów kluczowych artykułów, uprzednio wykonywanych recenzji, odsetka odmów, spóźnień i rzetelności recenzentów. Import danych archiwalnych z poprzedniego systemu. Przetestować działanie systemu w rzeczywistej pracy sekretariatu czasopisma. Opracować dokumentację techniczną i instrukcję użytkownika.

Promotor dr inż. Irmina Masłowska

Opiekun jw.

58. Temat Identyfikacja i ekstrakcja opinii w treściach generowanych przez użytkowników Internetu.

Wersja angielska

Tytułu

Opinion identification and extraction in user-generated content.

Cel pracy Celem pracy jest opracowanie metody wykrywania fragmentów będących opiniami nt. produktów, usług, osób, czy zdarzeń w treściach generowanych przez użytkowników Internetu takich jak: blogi, grupy dyskusyjne, fora internetowe, itp.

Dane wyjściowe Literatura z zakresu analizy lingwistycznej oraz z dziedziny problemu.

Zadania Zapoznać się z dostępną literaturą i dokonać przeglądu literatury dotyczącej badań nad identyfikacją i ekstrakcją opinii dla języka angielskiego. Zaproponować i zaimplementować metodę automatycznej identyfikacji i ekstrakcji opinii w wypowiedziach użytkowników Internetu. Dokonać eksperymentalnej oceny zaproponowanego podejścia.


Opiekun jw.

59. Temat Klasyfikacja opinii zamieszczanych w Internecie.

Wersja angielska

tytułu

Classification of opinions from the Web.

Cel pracy Celem pracy jest opracowanie projektu i implementacji klasyfikatora polskojęzycznych tekstów będących opiniami zamieszczanymi przez użytkowników w Internecie. Klasyfikator powinien wykorzystywać informację nt. zabarwienia emocjonalnego poszczególnych słów i zwrotów użytych w tekście opinii.

Dane wyjściowe Literatura z zakresu uczenia maszynowego oraz z dziedziny problemu. Zbiory polskojęzycznych recenzji pochodzących z Internetu. Wyniki eksperymentów wykonanych na zbiorach testowych z wykorzystaniem popularnych klasyfikatorów tekstów.

Zadania Zapoznać się z literaturą. Zaprojektować klasyfikator opinii wykorzystujący zewnętrzne słowniki lub inne mechanizmy pozwalające na ustalenie zabarwienia emocjonalnego poszczególnych słów i zwrotów użytych w tekście opinii. Dokonać implementacji klasyfikatora i przetestować jego działanie na dostępnych zbiorach recenzji. Opracować wyniki i sprecyzować wnioski z uwzględnieniem porównania otrzymanych wyników z wynikami eksperymentów wykonanych na ww. zbiorach z wykorzystaniem popularnych klasyfikatorów tekstów.


Opiekun jw.

60. Temat Społecznościowy system rekomendacyjny lokali gastronomicznych

Wersja angielska

tytułu

Social recommendation web system for gastronomy

Cel pracy Stworzenie aplikacji webowej umożliwiającej ocenianie lokali gastronomicznych przez użytkowników wraz z zaproponowaniem algorytmu rekomendacyjnego.

Dane wyjściowe literatura dotycząca uczenia się preferencji i metod wspomagania decyzji, literatura dotycząca projektowania i wytwarzania aplikacji Web 2.0 z technologią AJAX

Zadania projekt i implementacja aplikacji webowej, prace nad algorytmem rekomendacyjnym

Promotor dr inż. Bartłomiej Prędki

Opiekun

61. Temat Generator list odtwarzania zgodnych z preferencjami użytkownika

Wersja angielska

tytułu

Playlist generator based on user preferences

Cel pracy Stworzenie aplikacji współpracującej z biblioteką iTunes umożlwiającej tworzenie list odtwarzania zgodnych z wymaganiami użytkownika, a jednocześnie odpowiadających jego preferencjom

Dane wyjściowe literatura dotycząca uczenia się preferencji, program iTunes wraz ze swoim API

Zadania zaproponowanie i implementacja algorytmu tworzenia list odtwarzania zgodnych z preferencjami użytkownika


Opiekun

62. Temat Narzędzie do tworzenia interaktywnych map w technologi Windows Presentation Foundation

Wersja angielska

tytułu

Interactive map tool using Windows Presentation Foundation

Cel pracy projekt i implementacja narzędzia umożliwiającego wykonywanie wizualizacji informacji w postaci map, możliwość importu map z formatu SVG, zapis w technologii XAML

Dane wyjściowe litertatura dotycząca technologii WPF i Silverlight, znajomość XAML i formatu SVG

Zadania projekt i implementacja biblioteki kontrolek umożliwiającej interaktywne tworzenie i przeglądanie map


Opiekun

63. Temat System do wielokryterialnej oceny reguł decyzyjnych typu „at-least” i „at-most”.

Wersja angielska

tytułu

Multicriteria evaluation system for “at-least” and “at-most” rules.

Cel pracy Opracowanie, implementacja i integracja z istniejącym systemem Miner metody generowania reguł typu „at-least” i „at-most”, uwzględniającej dodatkowo procent w jakim reguły pokrywają zbiór przykładów wejściowych.

Dane wyjściowe Literatura z zakresu metod generowania reguł typu „at-least”, „at-most” oraz dokumentacja systemu Miner.

Zadania Zapoznanie się z literaturą i wybranym algorytmem indukcji reguł typu „at-least” i „at-most”. Opracowanie i dostosowanie metodyki by uwzględniała parametr związany z procentowym pokryciem zbioru danych wejściowych przez zbiór reguł. Zaprojektowanie, implementacja i integracja z systemem Miner opracowanych algorytmów. Przetestowanie algorytmów. Przeprowadzanie porównawczych eksperymentów obliczeniowych. Opracowanie wyników eksperymentalnych i wyciągnięcie konkluzji.

Promotor Dr inż. Izabela Szczęch

Opiekun jw.

64. Temat Ewaluacja i porównanie algorytmów generowania reguł asocjacyjnych.

Wersja angielska

tytułu

Evaluation and comparison of algorithms for generation of association rules.

Cel pracy Praca ma charakter przeglądowy. Jej celem jest analiza teoretyczna i implementacja kilku wybranych algorytmów generowania reguł asocjacyjnych oraz dokonanie porównawczej oceny ich wydajności, szybkości i wyników działania.

Dane wyjściowe Literatura z zakresu metod generowania reguł asocjacyjnych.

Zadania Zapoznanie się z literaturą dotyczącą wybranych algorytmów (i ich rozszerzeń) indukcji reguł asocjacyjnych. Dokonanie teoretycznego porównania wybranych algorytmów, a następnie zaimplementowanie ich i przeprowadzanie porównawczych eksperymentów obliczeniowych. Opracowanie wyników eksperymentalnych i wyciągnięcie konkluzji.


Opiekun jw.

65. Temat Przegląd i porównanie miar oceny atrakcyjności reguł.

Wersja angielska

tytułu

Survey and comparison of rule attractiveness measures.

Cel pracy Literatura dotycząca reguł asocjacyjnych i decyzyjnych szeroko porusza problem oceny wygenerowanych reguł za pomocą miar oceny ich atrakcyjności. Celem pracy jest utworzenie przeglądu literatury oraz zaimplementowanie algorytmu generacji reguł uwzględniającego wybrane miary oceny reguł, a następnie analiza porównawcza wyników otrzymanych przez zastosowanie różnych miar..

Dane wyjściowe Literatura dotycząca miar oceny atrakcyjności reguł oraz metod generowania reguł.

Zadania Zapoznanie się z literaturą i dokonanie jej przeglądu. Opracowanie zestawienia porównawczego różnych miar oceny reguł. Implementacja algorytmu generowania reguł uwzględniającego wybrane miary. Przeprowadzanie porównawczych eksperymentów obliczeniowych. Opracowanie wyników eksperymentalnych i wyciągnięcie konkluzji.


Opiekun jw.

66. Temat Obfuskator dla platformy .Net

Wersja angielska

tytułu

Obfuscation engine for the .Net platform

Cel pracy Dla języka Java istnieje bardzo potężny (i darmowy) obfuskator, code-shrinker i optymalizator Proguard. Podobne narzędzia dla platformy .Net są komercyjne i żadne z istniejących nie jest tak elastyczne w konfiguracji jak wspomniany Proguard. Celem pracy jest opracowanie (na podstawie istniejących zasobów) algorytmów i implementacji programu obfuskacji dla programów napisanych w kodzie maszynowym platformy .Net.

Dane wyjściowe Specyfikacja platformy .Net (ECMA). Kod źródłowy programów open-source Proguard oraz Mono.Cecil i Mono.Linker.

Zadania 9. Zapoznanie się z celami i specyfiką obfuskacji oraz code-shrinking.

10. Analiza rozwiązań w Proguard oraz Mono.Cecil i Mono.Linker.

11. Zaprojektowanie algorytmu obfuskacji i code-shrinking oraz jego implementacja.

Promotor dr inż. Dawid Weiss

Opiekun

Stopień trudności:Trudny (wymagana pasja do analizy kodu maszynowego oraz struktur niskopoziomowych.)

Magistrant:

67. Temat Lematyzacja słów pozasłownikowych dla języka polskiego

Wersja angielska

tytułu

Stemming of non-dictionary Polish words

Cel pracy Celem pracy jest zastanowienie się nad możliwością konstrukcji automatów

predykcyjnych, zdolnych sprowadzać odmienione formy słów nieistniejących w słowniku do ich „podstawowych” wersji (lematów). Przykładowo: obciachowego -> obciachowy (lub obciach); Matełki -> Matełko. Istnieją w literaturze naukowej prace, które podejmowały już ten temat (np. Jan Daciuk), choć interesujące byłoby spojrzenie na problem z perspektywy słownika form istniejących w projekcie Morfologik.

Dane wyjściowe Literatura dotycząca lematyzacji w języku polskim. Indeks Tokarskiego. Projekt Morfologik.

Zadania 4. Opracowanie przeglądu literatury.

5. Opracowanie i opis istniejących metod.

6. Implementacja i ewaluacja algorytmu wg własnego pomysłu.


Opiekun

Stopień trudności:Średni do trudnego (wymagana inwencja własna).

Magistrant:

68.. Temat Programowanie aspektowe w J2ME.

Wersja angielska

tytułu

Aspect oriented programming in J2ME.

Cel pracy Programowanie aspektowe jest bardzo rozpowszechnione w językach obiektowych i pozwala na wygodne wplatanie niezależnych od funkcjonalności programu aspektów (np. logowania, autoryzacji, weryfikacji asercji). W Java2 Micro Edition programowanie aspektowe jest trudniejsze do implementacji z powodu braku mechanizmu reflection oraz wymuszonej preweryfikacji kodu. Celem pracy jest opracowanie mechanizmu wplatania (wybranych) aspektów do programów napisanych pod KVM (J2ME) oraz Google Android.

Dane wyjściowe Literatura i systemy implementujące AOP dla J2SE. Literatura dotycząca Javy Micro Edition i Google Android.

Zadania 4. Przeglądu literatury i sporządzenie taksonomii wybranych aspektów do przeniesienia do J2ME.

5. Opracowanie sposobu implementacji aspektów i przekazywania parametrów w J2ME.


Opiekun

Stopień trudności:Łatwy do średniego (wymagana przynajmniej dobra znajomość J2ME).

Magistrant:

69. Temat Interfejsy użytkownika oparte na modelu

Wersja angielska

tytułu

Model-based user interfaces

Cel pracy Zapoznanie się z zagadnieniem interfejsów użytkownika opartych na modelu. Budowa przykładowego systemu wykorzystującego tą koncepcję.

Dane wyjściowe Literatura na temat interfejsów użytkownika opartych na modelu. Dostępne narzędzia i biblioteki programistyczne.

Zadania 11. Przygotować przegląd literatury na temat interfejsów opartych na modelu.

12. Dokonać krytycznego porównania dostępnych rozwiązań i wybrać jedno do wykorzystania w implementacji.

13. Zaprojektować przykładowy system (do wspomagania decyzji klinicznych) działający na wielu różnych platformach (WWW, komputery stacjonarne, urządzenia mobilne).

14. Zaimplementować i udokumentować tworzony system.

15. Przetestować stworzony system.

Promotor dr inż. Szymon Wilk

Opiekun

70. Temat Zastosowanie modeli ontologicznych w projektowaniu klinicznych systemów wspomagania decyzji

Wersja angielska

Tytułu

Application of ontological models in the design of clinical decision support systems

Cel pracy Zapoznanie się z modelami ontologicznymi i ich zastosowaniem w projektowaniu klinicznych systemów wspomagania decyzji. Realizacja przykładowego systemu klinicznego wykorzystującego tą koncepcję.

Dane wyjściowe Literatura na temat wykorzystania modeli ontologicznych w systemach medycznych. System Protégé do tworzenia modeli ontologicznych i jego dokumentacja.

Zadania 12. Zapoznać się z systemem Protégé oraz udostępnionym API.

13. Przygotować przegląd literatury na temat zastosowania modeli ontologicznych w klinicznych systemach wspomagania decyzji.

14. Zaprojektować przykładowy kliniczny system wspomagana decyzji wykorzystujący modele ontologiczne do reprezentacji wiedzy eksperckiej (służącej do rozwiązywania problemów klinicznych) oraz struktury samego systemu.




Opiekun

Temat wydany

71. Temat Wyszukiwanie informacji klinicznej dla aktualnego kontekstu

Wersja angielska

Tytułu

Searching context-specific clinical evidence

Cel pracy Zapoznanie się z pojęciem medycyny opartej na faktach (evidence-based medicine) oraz metodami wyszukiwania informacji medycznej istotnej w aktualnym kontekście. Budowa przykładowego systemu pozwalającego na wyszukiwanie informacji istotnej w aktualnym kontekście (np. uwzględniającym aktualny stan pacjenta lub sugerowane leczenie).

Dane wyjściowe Literatura na temat medycyny opartej na faktach oraz systemów do

wyszukiwania informacji medycznej. Dokumentacja systemu MMTx.

Zadania 1. Zapoznać się z systemem MMTx.

2. Przygotować przegląd literatury na temat wyszukiwania informacji klinicznych.

3. Zaprojektować przykładowy system pozwalający na wyszukiwanie istotnej informacji biorąc pod uwagę stan pacjenta oraz sugerowane leczenie.




Opiekun

72. Temat System wspomagający naukę mowy u dzieci głuchych i niedosłyszących

Wersja angielska

tytułu

A computer system sapporting speech learning by hearing-impaired children

Cel pracy Zaimplementowanie systemu służącego do ćwiczeń nad wymową oraz głośnością wydawanych dźwięków

Dane wyjściowe Literatura

Zadania Stworzyć i zaimplementować dostępny przez przeglądarkę internetową system umożliwiający rehabilitację dzieci z zaburzeniami mowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

Promotor Dr inż. Barbara Wołyńska

Opiekun mgr inż. Luiza Budzyńska

73. Temat Symulacja zmian położenia środka ciężkości cysterny samochodowej w zależności od parametrów ruchu pojazdu

Wersja angielska

tytułu

Simulation of the changes of the center of gravity in a tanker lorry due to the parameters of its motion

Cel pracy Opracowanie lub adaptacja oprogramowania dla przeprowadzania analiz związanych z oceną zmian poziomu bezpieczeństwa ruchu pojazdu samochodowego, wynikających z przemieszczania ciekłych ładunków w cysternach samochodowych podczas jazdy przy różnych parametrach ruchu pojazdu, właściwościach ładunku i stopnia napełnienia cysterny.

Dane wyjściowe Parametry techniczne wybranych cystern samochodowych, zakres parametrów ruchu pojazdu (prędkości, przyspieszenia i opóźnienia, parametry drogi - promień łuku, nachylenie), właściwości przewożonych materiałów

Zadania 1. Analiza obciążeń działających na pojazd znajdujący się w ruchu – wybór parametrów krytycznych

2. Analiza możliwych zmian położenia ładunku ciekłego w pojemniku w wyniku działania na ten ładunek sił bezwładności

3. Wyznaczenie wpływu wybranych: parametrów ruchu, właściwości drogi i

właściwości ładunku na sposób przemieszczania się ładunku w cysternie4. Opracowanie lub adaptacja oprogramowania do wykonywania symulacji

umożliwiających ocenę wpływu przemieszczania się ładunku na stateczność pojazdu w zmiennych warunkach eksploatacji

Promotor dr inż. Barbara Wołyńska

Opiekun dr inż. Barbara Wołyńska

74. Temat System wspomagający rehabilitację dzieci z zaburzeniami percepcji

Wersja angielska

tytułu

System for supporting the rehabilitation of children with percepcion disorders

Cel pracy Zaimplementowanie systemu służącego do ćwiczeń poprawiających i rozwijających postrzeganie i koordynację wzrokowo-ruchową u dzieci


Zadania Stworzyć i zaimplementować dostępny lokalnie i przez przeglądarkę internetową system umożliwiający rehabilitację dzieci z zaburzeniami percepcji. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

Promotor Dr inż. Barbara Wołyńska

Opiekun dr inż. Barbara Wołyńska, mgr Barbara Kuszewska (specjalista logopeda)

75. Temat Implementacja metody Electre TRI na platformie DecisionDeck

Wersja angielska

tytułu

Implementation of Electre TRI method on Decision Deck platform

Cel pracy Celem pracy jest implementacja rozszerzonej metody wielokryterialnego sortowania Electre TRI na platformie Decision Deck

Dane wyjściowe Literatura z zakresu Wielokryterialnego Wspomagania Decyzji, metody ELECTRE TRI, platformy Decision Deck oraz programowania w języku Java

Zadania Zaprojektowanie, zaimplementowanie i przetestowanie modułu platformy Decision Deck, umożliwiającego wprowadzanie informacji preferencyjnych metody Electre TRI w sposób bezpośredni, a także przez inferencję tych parametrów z przykładów decyzji dostarczanych przez decydenta

Promotor dr inż. Piotr Zielniewicz

Opiekun dr inż. Piotr Zielniewicz

76. Temat Analiza efektywności open-sourcowych solwerów programowania liniowego w językach Java i C#

Wersja angielska

Tytułu

Performance analysis of open-source LP solvers in Java and C# languages

Cel pracy Celem pracy jest przegląd dostępnych open-sourcowych solwerów programowania matematycznego, opracowanie efektywnych mechanizmów ułatwiających korzystanie z w.w. solwerów z poziomu języka Java i platformy .NET (C#) oraz przeprowadzenie oceny ich efektywności

Dane wyjściowe Literatura z zakresu programowania matematycznego oraz programowania w językach Java, C# oraz środowiska .NET

Zadania Zaprojektowanie i zaimplementowanie dla solwerów natywnych bibliotek pośredniczących dla języków Java oraz C#, opracowanie krótkich programów testujących, przeprowadzenie testów efektywnościowych solwerów w różnych środowiskach

Promotor dr inż. Piotr Zielniewicz

Opiekun dr inż. Piotr Zielniewicz

77. Temat Bioinformatyczna analiza kontaktów RNA-białko

Wersja angielska

tytułu

Bioinformatic analysis of RNA-protein contacts

Cel pracy Zaprojektowanie oraz implementacja narzędzia do wyszukiwania i analizy danych o kontaktach w kompleksach RNA-białko.

Dane wyjściowe Literatura dotycząca podstawowych zagadnień biologii strukturalnej, struktury przestrzennej oraz parametrów strukturalnych cząsteczek RNA, białke i kompleksów RNA-białko. Dokumentacja programów służących do obliczeń strukturalnych i formatu danych deponowanych w Protein Data Bank

Zadania Zapoznanie się z postacią danych i parametrami opisującymi cząsteczki RNA oraz białka. Zapoznanie się z formatem danych przechowywanych w Protein Data Bank oraz z programami do obliczania parametrów strukturalnych dla kompleksów RNA-białko (programem HBPlus: http://www.icm.edu.pl/kdm/HBPLUS oraz bazą danych NPIDB: a database of structures of nucleic acid-protein complexes dostępną pod adresem: http://monkey.belozersky.msu.ru/NPIDB/). Projekt i implementacja narzędzia do wyszukiwania i analizy informacji o kontaktach. Przetestowanie narzędzia i wkomponowanie go w bazę danych RNA FRABASE. Stworzenie dokumentacji technicznej.

Promotor prof. dr hab. inż. Jacek Błażewicz

Opiekun

(ewentualny)

dr inż. Marta Szachniuk

78. Temat Opracowanie wersji równoległej algorytmu ClustalW na GPU

Wersja angielska

tytułu

Development of ClustalW method on Graphics Processing Unit

Cel pracy Celem pracy jest opracowanie równoległej wersji algorytmu dopasowania wielu sekwencji – ClustalW - z wykorzystaniem kart graficznych.


Zadania 17. Przegląd technologii umożliwiających przeprowadzenie obliczeń na kartach graficznych (technologie: CUDA firmy NVIDIA i ATI Stream).

18. Analiza działania metody ClustalW pod kątem możliwości zrównoleglenia obliczeń.

19. Implementacja algorytmu wykorzystującego karty graficzne do obliczeń.

20. Analiza wydajności zaproponowanego rozwiązania.

21. Porównanie algorytmów dedykowanych dla kart graficznych firmy ATI i

http://www.icm.edu.pl/kdm/HBPLUS

NVIDIA.

Promotor prof. dr hab. Inż. Jacek Błażewicz

Opiekun mgr inż. Paweł Wojciechowski

79. Temat Opracowanie wersji równoległej algorytmu T-COFFEE na GPU

Wersja angielska

Tytułu

Development of T-COFFEE method on Graphics Processing Unit

Cel pracy Celem pracy jest opracowanie równoległej wersji algorytmu dopasowania wielu sekwencji – T-COFFEE – z wykorzystaniem kart graficznych.


Zadania 1. Przegląd technologii umożliwiających przeprowadzenie obliczeń na kartach graficznych (technologie: CUDA firmy NVIDIA i ATI Stream).

2. Analiza działania metody T-COFFEE pod kątem możliwości zrównoleglenia obliczeń.

3. Implementacja algorytmu wykorzystującego karty graficzne do obliczeń.

4. Analiza wydajności zaproponowanego rozwiązania.

5. Porównanie algorytmów dedykowanych dla kart graficznych firmy ATI i NVIDIA.

Promotor prof. dr hab. Inż. Jacek Błażewicz

Opiekun Mgr inż. Paweł Wojciechowski

80. Temat Opracowanie algorytmów równoległych budowy drzew filogenetycznych

Wersja angielska

tytułu

Formulation of parallel algorithms for phylogenetic tree construction

Cel pracy Celem pracy jest opracowanie oraz implementacja algorytmów budowy drzew filogenetycznych w języku CUDA wykonywanych na procesorach graficznych


Zadania 1. Przegląd literatury dotyczącej algorytmów budowy drzew filogenetycznych

2. Zapoznanie się z językiem programowania CUDA wykonywanym na procesorach graficznych

3. Opracowanie równoległych algorytmów budowy drzew filogenetycznych w języku CUDA

4. Implementacja wybranych algorytmów równoległych


Opiekun mgr inż. Paweł Kędziora

81. Temat Analiza danych mikromacierzowych przy użyciu metod uczenia

maszynowego

Wersja angielska

tytułu

Analysis of microarray data with machine learning methods

Cel pracy Celem pracy jest opracowanie oraz implementacja metody do analizy danych pochodzących z eksperymentu biochemicznego na mikromacierzach DNA. Ze względu na ogromna liczbę danych uzyskiwanych w trakcie serii takich eksperymentów, należy te dane wstępnie przetworzyć – pogrupować geny ulegające podobnej ekspresji w celu znalezienia wzorca. Temu celowi miałby właśnie służyć konstruowany algorytm do klastrowania danych.

Dane wyjściowe Na wejściu algorytm otrzymuje znormalizowane dane przedstawiające ekspresje genów na mikromacierzach DNA. Zadanie polega na klastrowaniu genów i wyszukaniu wzorców eksprresjii.

Zadania 1. Zapoznanie się z literatura dotyczącą przedmiotu pracy

2. Zapoznanie się ze środowiskiem programowania R oraz dostępnymi metodami do klastrowania (mapy samoorganizujące się, hierarchiczne klastrowanie)

3. Współpraca w zakresie opracowania algorytmu klastrowania danych

4. Przetestowanie programu dla dostarczonych rzeczywistych danych oraz porównanie wyników działania algorytmów z innymi metodami dostępnymi w środowisku R

5. Złożenie pracy dyplomowej w formie pisemnej


Opiekun dr inż. Aleksandra Świercz

82. Temat Wizualizacja efektywności obliczeń równoległych

Wersja angielska

tytułu

Visualization of parallel processing efficiency

Cel pracy Opracować narzędzia do wizualizacji efektywności obliczeń równoległych i ocenić nimi jakość wybranych algorytmów szeregowania dla przykładowych aplikacji równoległych.

Dane wyjściowe Literatura na temat szeregowania zadań, oceny efektywności przetwarzania równoległego.

Zadania 1. Zaimplementować i przetestować przykładowe algorytmy szeregowania z opóźnieniami komunikacyjnymi

2. Przetestować efektywność powyższych algorytmów dla różnych parametrów systemu rozproszonego

3. Zaimplementować i przetestować system wizualizujący wyniki efektywności w zależności od parametrów systemu.

Promotor dr hab. inż. Maciej Drozdowski

Opiekun

83. Temat Badanie dostępności usług internetowych

Wersja angielska

tytułu

Internet services availability testing

Cel pracy Opracowanie narzędzi do badania dostępności usług sieciowych. Testy dostępności dla przykładowych systemów.

Dane wyjściowe Literatura na temat sieci komputerowych, aplikacji internetowych, oceny efektywności systemów komputerowych i analizy danych

Zadania 1. Zaprojektować, zaimplementować i przetestować system pomiaru czasu dostępu do wybranych zasobów sieciowych oraz prezentacji wyników w postaci miar dostępności


Opiekun

84. Temat Badanie wpływu odległości komputerów na czasu obliczeń równoległych

Wersja angielska

tytułu

Impact of computer distance on performance of parallel processing

Cel pracy Przeprowadzić badanie zależności czasu wykonania aplikacji rozproszonej od odległości komputerów biorących udział w obliczeniach

Dane wyjściowe Literatura na temat przetwarzania równoległego.

Zadania 1. Zaprojektować, zaimplementować przykładowe aplikacje rozproszone.

2. Zaprojektować, zaimplementować i przetestować metody pomiaru odległości między komputerami biorącymi udział w obliczeniach.

3. Badać wpływ odległości między komputerami na czas obliczeń. Opracować wyniki.


Opiekun

85. Temat System prezentacji wyników oceny efektywności komputerów klasy PC

Wersja angielska

tytułu

PC-class computer performance results presentation system

Cel pracy Opracować system gromadzący i prezentujący wyniki testów wydajności dla komputerów klasy PC

Dane wyjściowe Literatura na temat oceny efektywności systemów komputerowych, aplikacji internetowych. Przykładowe testy wydajności podsystemów komputera osobistego.

Zadania 16. Zaprojektować, zaimplementować i przetestować system gromadzący wyniki testów wydajności komputerów osobistych.

17. Zaprojektować, zaimplementować i przetestować system prezentujący wyniki testów w Internecie.


Opiekun

86. Temat Projektowanie komputerów DNA

Wersja angielska

tytułu

DNA computers design

Cel pracy Celem pracy jest sformułowanie ogólnych zasad projektowania układów wykonujących obliczenia opartych na cząsteczkach DNA.


Zadania 3. Przegląd literatury dotyczącej algorytmów opartych na DNA.

4. Sporządzenie listy operacji elementarnych komputera DNA.

5. Sformułowanie ogólnych zasad projektowania oligonukleotydów przeznaczonych do kodowania informacji w komputerach DNA.

6. Zaprojektowanie komputera DNA rozwiązującego wybrany problem kombinatoryczny.

Promotor dr hab. inż. Piotr Formanowicz

Opiekun

87. Temat Algorytmy przybliżone dla problemów szeregowania zadań w systemach jednoprocesorowych z ograniczoną dostępnością

Wersja angielska

Tytułu

Heuristic algorithms for scheduling tasks in single processor systems with limited availability

Cel pracy Celem pracy jest opracowanie i przetestowanie algorytmów przybliżonych dla wybranych problemów szeregowania zadań w systemach jednoprocesorowych z ograniczoną dostępnością.


Zadania 1. Przegląd podstaw teorii szeregowania zadań ze szczególnym uwzględnieniem systemów jednoprocesorowych.

2. Analiza podstawowych algorytmów przybliżonych wykorzystywanych do szeregowania zadań w systemach jednoprocesorowych.

3. Konstrukcja, implementacja i przetestowanie algorytmów przybliżonych dla wybranych problemów szeregowania zadań w systemach jednoprocesorowych z ograniczoną dostępnością.


Opiekun

88. Temat Projektowanie mikromacierzy DNA

Wersja angielska

tytułu

DNA microarrays design

Cel pracy Celem pracy jest opracowanie systemu wspomagającego projektowanie mikromacierzy DNA.


Zadania 1. Przegląd kryteriów stosowanych przy projektowaniu sond DNA.

2. Opracowanie modułu wyznaczającego energię wiązań kwasów nukleinowych.

3. Opracowanie modułu analizy sekwencji docelowych.

4. Opracowanie modułu generacji i weryfikacji sond.

5. Integracja poszczególnych składników systemu.


Opiekun

89. Temat Algorytmy kwantowe dla problemów szeregowania zadań

Wersja angielska

Tytułu

Quantum algorithms for scheduling problems

Cel pracy Celem pracy jest zapoznanie się z ideą obliczeń kwantowych oraz zaproponowanie algorytmów kwantowych dla wybranych podstawowych problemów szeregowania zadań.


Zadania 1. Przegląd literatury dotyczącej komputerów i algorytmów kwantowych.

2. Analiza wybranych algorytmów kwantowych.

3. Zaprojektowanie algorytmów kwantowych dla wybranych problemów szeregowania zadań.


Opiekun

90. Temat Algorytm grafowy dla asemblacji DNA w technologii Solexa

Wersja angielska

Tytułu

Graph algorithm for DNA assembly by Solexa technology

Cel pracy Celem pracy jest opracowanie i implementacja nowego algorytmu

heurystycznego opartego o model z teorii grafów, rozwiązującego problem asemblacji łańcuchów DNA z wykorzystaniem danych pochodzących z eksperymentu przeprowadzonego w technologii Solexa. Program miałby być zaimplementowany w języku C/C++ i działać w środowisku Unix. Szczególny nacisk należy położyć na efektywność czasową i pamięciową algorytmu, który będzie przetwarzał wielomilionowe zbiory sekwencji, oraz na jego skuteczność tak, aby wypadł korzystnie w porównaniu z innymi metodami. Zaimplementowany algorytm należy przetestować na dostarczonych instancjach w sposób umożliwiający porównanie z innymi metodami.

Dane wyjściowe Na wejściu algorytm wczytuje pliki tekstowe z milionami krótkich sekwencji (o długości około 35 znaków każda), będące rezultatem maszynowego zsekwencjonowania genomów organizmów lub ich fragmentów. Zadanie polega na odtworzeniu oryginalnej sekwencji genomowej poprzez właściwe uporządkowanie nakładających się sekwencji wejściowych. Osoba podejmująca się realizacji niniejszej pracy musi posiadać wiedzę niezbędną do właściwego wykonania wszystkich zadań składowych.

Zadania 1. Zapoznanie się z literaturą dot. przedmiotu pracy dostarczoną przez promotora.

2. Współpraca nad teoretycznymi podstawami algorytmu.

3. Implementacja algorytmu wraz z optymalizacją kodu pod kątem zmniejszenia zajętości pamięci i skrócenia czasu obliczeń.

4. Przetestowanie programu w celu usunięcia wszystkich błędów i niespójności.

5. Przetestowanie programu na dostarczonych instancjach w sposób umożliwiający porównanie z innymi metodami, na wskazanej maszynie obliczeniowej.

6. Opracowanie wyników eksperymentu obliczeniowego.

7. Złożenie pracy dyplomowej w formie pisemnej.

Promotor dr hab. inż. Marta Kasprzak

Opiekun

91. Temat Algorytm przeszukiwania tabu dla asemblacji DNA w technologii Solexa

Wersja angielska

Tytułu

Tabu search algorithm for DNA assembly by Solexa technology

Cel pracy Celem pracy jest opracowanie i implementacja nowego algorytmu opartego o metaheurystykę tabu search, rozwiązującego problem asemblacji łańcuchów DNA z wykorzystaniem danych pochodzących z eksperymentu przeprowadzonego w technologii Solexa. Program miałby być zaimplementowany w języku C/C++ i działać w środowisku Unix. Szczególny nacisk należy położyć na efektywność czasową i pamięciową algorytmu, który będzie przetwarzał wielomilionowe zbiory sekwencji, oraz na jego skuteczność tak, aby wypadł korzystnie w porównaniu z innymi metodami. Zaimplementowany algorytm należy przetestować na dostarczonych instancjach w sposób umożliwiający porównanie z innymi metodami.

Dane wyjściowe Na wejściu algorytm wczytuje pliki tekstowe z milionami krótkich sekwencji (o długości około 35 znaków każda), będące rezultatem maszynowego zsekwencjonowania genomów organizmów lub ich fragmentów. Zadanie polega na odtworzeniu oryginalnej sekwencji genomowej poprzez właściwe uporządkowanie nakładających się sekwencji wejściowych. Osoba podejmująca się realizacji niniejszej pracy musi posiadać wiedzę niezbędną do

właściwego wykonania wszystkich zadań składowych.

Zadania 1. Zapoznanie się z literaturą dot. przedmiotu pracy dostarczoną przez promotora.

2. Współpraca nad teoretycznymi podstawami algorytmu.

3. Implementacja algorytmu wraz z optymalizacją kodu pod kątem zmniejszenia zajętości pamięci i skrócenia czasu obliczeń.

4. Przetestowanie programu w celu usunięcia wszystkich błędów i niespójności.

5. Przetestowanie programu na dostarczonych instancjach w sposób umożliwiający porównanie z innymi metodami, na wskazanej maszynie obliczeniowej.

6. Opracowanie wyników eksperymentu obliczeniowego.

7. Złożenie pracy dyplomowej w formie pisemnej.

Promotor dr hab. inż. Marta Kasprzak

Opiekun

92. Temat Przedziałowe programowanie liniowe

Wersja angielska

tytułu pracy:

Interval linear programming

Cel pracy Opis i analiza przedziałowego zadania programowania liniowego.

Dane wyjściowe Monografia „Linear Optimization Problems with Inexact Data” (M. Fiedler, J. Nedoma, J. Ramik, J. Rohn, K. Zimmermann) i inna literatura. Pakiet programistyczny Delphi.

Zadania 1. Opis przedziałowego zagadnienia programowania liniowego.

2. Analiza zakresu wartości optymalnej.

3. Zaprogramowanie algorytmu obliczającego przedział wartości optymalnej.

Promotor dr hab. Andrzej Marciniak

Opiekun -

93. Temat Programowanie liniowe ze współczynnikami zbiorowymi

Wersja angielska

tytułu pracy:

Linear programming with set coefficients

Cel pracy Opis i analiza zadania programowania liniowego ze współczynnikami zbiorowymi.

Dane wyjściowe Monografia „Linear Optimization Problems with Inexact Data” (M. Fiedler, J. Nedoma, J. Ramik, J. Rohn, K. Zimmermann) i inna literatura. Pakiet programistyczny Delphi.

Zadania 1. Opis zadania programowania liniowego ze współczynnikami zbiorowymi.

2. Uogólniona metoda sympleks do rozwiązania zadania programowania liniowego ze współczynnikami zbiorowymi.

3. Zaprogramowanie algorytmu obliczającego dualne rozwiązanie optymalne.

Promotor dr hab. Andrzej Marciniak

Opiekun -

94. Temat Algorytmy dokładne i przybliżone dla wybranego problemu szeregowania zadań na procesorach dedykowanych

Wersja angielska

tytułu

Exact and Heuristic Algorithms for Shop Scheduling Problem

Cel pracy Celem pracy jest implementacja metody dokładnej oraz metod przybliżonych, w szczególności wybranej metody metaheurystycznej, rozwiązujących wybrany problem szeregowania zadań na procesorach dedykowanych.

Dane wyjściowe Podstawowa literatura z omawianego zakresu. Wstępna specyfikacja wymagań.

Zadania 1. Implementacja metody dokładnej.

2. Implementacja metod heurystycznych.

3. Implementacja modułu generacji danych testowych.

4. Przeprowadzanie eksperymentu obliczeniowego i analiza uzyskanych wyników.

Promotor dr hab. inż. Małgorzata Sterna

Opiekun

95. Temat Biblioteka algorytmów grafowych

Wersja angielska

Tytułu

Graph Algorithms Library

Cel pracy Celem pracy jest opracowanie biblioteki podstawowych algorytmów grafowych dla zastosowań dydaktycznych. System powinien umożliwiać wizualizację reprezentacji maszynowych grafu, zasady działania poszczególnych algorytmów oraz przeprowadzanie eksperymentów obliczeniowych z ich wykorzystaniem.


Zadania 1. Implementacja wybranych klasycznych algorytmów grafowych.

2. Implementacja modułu wizualizacji grafu i jego reprezentacji maszynowych.

3. Implementacja modułu wizualizacji przebiegu obliczeń dla poszczególnych algorytmów grafowych.

4. Implementacja generatora danych wejściowych.

5. Implementacja modułu testującego zaimplementowane algorytmy grafowe dla zadanego zbioru danych.


Opiekun

96. Temat Biblioteka algorytmów sortowania

Wersja angielska

Tytułu

Sorting Algorithms Library

Cel pracy Celem pracy jest opracowanie biblioteki algorytmów sortowania dla zastosowań dydaktycznych. System powinien umożliwiać prezentację zasady działania algorytmów oraz przeprowadzanie testów dla różnych rozkładów danych wejściowych.


Zadania 1. Utworzenie bogatej biblioteki implementacji algorytmów sortowania.

2. Implementacja modułu wizualizacji przebiegu obliczeń dla poszczególnych metod sortowania.

3. Implementacja generatora danych wejściowych o różnym rozkładzie.

4. Implementacja modułu testującego metody sortowania dla zadanego zbioru danych.


Opiekun

97. Temat Wspomaganie analizy szeregowalności w systemach silnie uwarunkowanych czasowo

Wersja angielska

tytułu

Scheduling analysis support for hard-real time systems

Cel pracy Celem pracy jest stworzenie oprogramowania wspomagającego analizę szeregowalności oprogramowania współbieżnego

Dane wyjściowe literatura na temat wykorzystywanych języków programowania (Ada/Spark, Java, C), zasady projektowania systemów sterowania, analiza artefaktów oprogramowania

Zadania 1. projekt narzędzie wspierającego analizę szeregowalności oprogramowania

2. implementacja i testy narzędzia

Promotor dr inż. Wojciech Complak

Opiekun

98. Temat Monitorowanie jakości serwisu w komunikacji z klientami mobilnymi

Wersja angielska

Tytułu

QoS monitoring in communication with mobile clients

Cel pracy Celem pracy jest stworzenie oprogramowania monitorującego spełnianie wymagań czasowych odnośnie komunikacji między klientem mobilnym a siecią kablową

Dane wyjściowe literatura na temat protokołów sieciowych i programowania w środowisku .NET

Zadania 1. Projekt i implementacja dwóch modułów programowych. Jeden z modułów jest uruchomiony po stronie klienta mobilnego, drugi – po stronie serwera wpiętego do sieci kablowej.

2. Analizowanie bieżącej przepustowości sieci oraz gromadzenie danych historycznych.

3. Przetestowanie i udokumentowanie aplikacji.

Promotor dr inż. Wojciech Complak

Opiekun

99. Temat Tolerowanie defektów w systemach informatycznych

Wersja angielska

tytułu

Faults toleration of computer systems

Cel pracy Analiza istniejących metodologii, metod i narzędzi wspomagających projektowanie i budowę systemów informatycznych tolerujących defekty w tym wbudowanych czasu rzeczywistego.

Dane wyjściowe Uwagi prowadzącego, literatura przedmiotu

Zadania Systematyzacja wiedzy na temat defektów, uszkodzeń,…. Analiza sposobów i technik tolerowania defektów. Wykonanie modelu i przeprowadzenie badań porównawczych technik dla celów dydaktycznych.

Promotor dr inż. Rafał Klaus

Opiekun -

100.24.

Temat Inżynieria wymagań systemów czasu rzeczywistego

Wersja angielska

tytułu

Requirements engineering for real time systems.

Cel pracy Analiza istniejących metodologii, metod i narzędzi wspomagających stosowanie zasad inżynierii wymagań w systemach czasu rzeczywistego.

Dane wyjściowe Uwagi prowadzącego, literatura przedmiotu

Zadania Definicja i współczesne założenia inżynierii wymagań. Klasyfikacja i analiza porównawcza metod i narzędzi stosowanych w inżynierii wymagań systemów czasu rzeczywistego. Wykonanie modelu dydaktycznego i przeprowadzenie badań ze szczególnym uwzględnieniem wiarygodności systemu.

Promotor dr inż. Rafał Klaus

Opiekun

(ewentualny)

-

101.25.

Temat Domowe centrum medyczne

Wersja angielska

tytułu

Family health care system

Cel pracy Opracowanie systemu wspomagającego opiekę zdrowotną rodziny, obejmującego rejestrowanie danych pomiarowych i opisowych, doradztwo i archiwizację.

Dane wyjściowe Literatura dotycząca systemów programowania wizualnego. Wiedza dziedzinowa z zakresu podstawowych działań związanych z troską o zdrowie.

Zadania 1. Opracowanie projektu koncepcyjnego domowego centrum medycznego, sformułowanie specyfikacji wymagań

2. Implementacja oprogramowania domowego centrum medycznego

3. Opracowanie dokumentacji technicznej i podręcznika użytkownika

Promotor dr inż. Jan Kniat

Opiekun

102.26.

Temat System wspomagający inwentaryzację dla urządzenia PDA

Wersja angielska

tytułu

Stock-taking supporting system for PDA

Cel pracy Opracowanie aplikacji dla urządzenia PDA, która wspomaga przeprowadzenie inwentaryzacji w obiekcie handlowym

Dane wyjściowe Literatura dotycząca systemów programowania wizualnego dla urządzeń PDA. Wiedza dziedzinowa z zakresu zasad prowadzenia inwentaryzacji.

Zadania 1. Opracowanie projektu koncepcyjnego systemu wspomagającego inwentaryzację, sformułowanie specyfikacji wymagań

2. Implementacja oprogramowania systemu wspomagającego inwentaryzację



Opiekun

103.Temat System wspomagający relacje z zawodów sportowych publikowanych

27. bezpośrednio w Internecie

Wersja angielska

tytułu

Sport’s events internet life transmission supporting system

Cel pracy Zrealizowanie systemu, który ułatwiałby wypełnianie programów zawodów żużlowych dla serwisu prowadzącego relacje na żywo w Internecie

Dane wyjściowe Literatura dotycząca tworzenia aplikacji internetowych. Wiedza dziedzinowa z zakresu zarządzania bezpośrednimi transmisjami z zawodów żużlowych.

Zadania 1. Opracowanie projektu koncepcyjnego systemu wspomagającego transmisję, sformułowanie specyfikacji wymagań

2. Implementacja oprogramowania systemu wspomagającego transmisję



Opiekun

104.28.

Temat Modelowanie wybranych molekularnych struktur przestrzennych

Wersja angielska

tytułu

Development of a computational technique to identify optimal alignments leading to a modeling pipeline.

Cel pracy Zaprojektowanie i implementacja metody optymalnego dopasowania modeli przestrzennych.

(realizacja pracy wymaga czasowego pobytu na Uniwersytecie Kalifornijskim w Davis, USA)

Dane wyjściowe 1. Literatura

2. Opis aplikacji i technologii

3. Propozycja architektury systemu

Zadania 1. Implementacja formalizmów deskryptorowych

2. Zaprojektowanie i implementacja reprezentacji wybranych danych genetycznych z mechanizmami wyszukiwania

3. Zaprojektowanie i implementacja metody oceny jakości struktur.

4. Implementacja metody SVR

5. Zaprojektowanie i Integracja całego procesu ewaluacji optymalnego dopasowania modeli przestrzennych

Promotor dr inż. Piotr Łukasiak

Opiekun

105.29.

Temat Ocena jakości wybranych molekularnych struktur przestrzennych

Wersja angielska

Tytułu

Quality assessment of genetic 3D structures

Cel pracy Zaprojektowanie i implementacja aplikacji umożliwiającej ocenę jakości wzajemnego dopasowania struktur przestrzennych..

Dane wyjściowe 1. Literatura

2. Opis aplikacji i technologii

3. Propozycja architektury systemu i algorytmów

Zadania 1. Zaprojektowanie i implementacja schematu decyzyjnego umożliwiającego porównanie modeli przestrzennych w oparciu o sąsiedztwo lokalne

2. Implementacja istniejących metod służących do porównywania struktur przestrzennych

3. Przetestowanie zaimplementowanych rozwiązań na rzeczywistych danych

4. Zintegrowanie zaimplementowanych algorytmów w jednolitą aplikację internetową

Promotor dr inż. Piotr Łukasiak

Opiekun

106.30.

Temat Zarządzanie agentami w systemie produkcyjnym

Wersja angielska

tytułu

Agent Management algorithms in the production systems

Cel pracy Celem pracy jest opracowanie i algorytmów dla modelu zarządzania agentami w systemie produkcyjnym.


Wstępna specyfikacja wymagań

Zadania 1. Model matematyczny

2. Opracowanie algorytmów

3. Przeprowadzenie eksperymentu obliczeniowego

Promotor dr inż. Grzegorz Pawlak

Opiekun

107.31.

Temat RNAcomposer – budowanie przestrzennej struktury RNA

Wersja angielska

tytułu

RNAcomposer – a construction of RNA tertiary structure

Cel pracy Zaprojektowanie oraz implementacja narzędzia z interfejsem sieciowym do konstruowania cząsteczek RNA z elementów strukturalnych.

Dane wyjściowe Literatura dotycząca tworzenia aplikacji sieciowych. Literatura dotycząca podstawowych zagadnień biologii strukturalnej, struktury przestrzennej oraz parametrów strukturalnych cząsteczek RNA. Dokumentacja programów służących do obliczeń strukturalnych i formatu danych deponowanych w Protein Data Bank

Zadania Zapoznanie się z postacią danych i parametrami opisującymi cząsteczki RNA. Zapoznanie się z formatem danych przechowywanych w Protein Data Bank. Projekt i implementacja serwera realizującego fragmentację struktur, wyszukiwanie elementów strukturalnych i składanie ich w pojedynczą strukturę cząsteczki. Stworzenie interfejsu sieciowego. Przetestowanie systemu. Stworzenie dokumentacji technicznej.

Promotor dr inż. Marta Szachniuk

Opiekun

108.32.

Temat Wyszukiwarka małych elementów strukturalnych kwasów nukleinowych.

Wersja angielska

tytułu

Small structural elements of nucleic acids search engine.

Cel pracy Zaprojektowanie oraz implementacja narzędzia do wyszukiwania małych elementów strukturalnych cząsteczek RNA i DNA. Połączenie wyszukiwarki z bazą danych RNA FRABASE 2.0.

Dane wyjściowe Literatura dotycząca tworzenia wyszukiwarek i aplikacji sieciowych. Literatura dotycząca podstawowych zagadnień biologii strukturalnej, motywów RNA, parametrów struktury. Dokumentacja dotycząca bazy danych RNA FRABASE.

Zadania Zapoznanie się z postacią danych i parametrami opisującymi cząsteczki RNA oraz z notacją do zapisu motywów strukturalnych. Zapoznanie się z architekturą i funkcjonalnością bazy danych RNA FRABASE. Projekt i implementacja narzędzia realizującego wyszukiwanie w RNA FRABASE małych elementów strukturalnych przy zadanych parametrach. Połączenie wyszukiwarki z bazą RNA FRABASE. Przetestowanie systemu. Stworzenie dokumentacji technicznej.

Promotor dr inż. Marta Szachniuk

Opiekun

109.33.

Temat Przeglad i przeszukiwanie baz danych RNA

Wersja angielska

Tytułu

The review and search of the RNA databases

Cel pracy Celem pracy jest zapoznanie się ze sposobem wyszukiwania sekwencji RNA w różnych bazach danych. Przeszukiwanie baz danych będzie się odbywało dla sekwencji RNA organizmu Sus scrofa, dostarczonych przez biochemików z laboratorium.

Dane wyjściowe Dla dostarczonej biblioteki sekwencji RNA należy przeszukać bazy danych w celu odrzucenia niektórych sekwencji nie spełniających kryteriów, oraz znalezienia sekwencji pasujących (komplementarnych).

Zadania 1. Zapoznanie się z dostarczoną literaturą

2. Zapoznanie się ze sposobem przeszukiwania sekwencji RNA w różnych bazach danych oraz z programem BLAST do porównywania sekwencji.

3. Przeszukanie baz danych RNA (Rfam oraz RepBase) w celu usunięcia

sekwencji RNA, nie spełniających pewnych kryteriów.

4. Weryfikacja czy pozostałe sekwencje znajdują się w bazie danych znanych sekwencji miRNA.

5. Wyszukanie w bazach danych typu GenBank sekwencji komplementarnych do badanych RNA.

6. Opracowanie wyników dla poszczególnych etapów przeszukiwania baz danych.

7. Złożenie dokumentacji sposobu przeszukiwania baz danych w formie pracy dyplomowej

Promotor dr. inż Aleksandra Świercz

Opiekun

110.34.

Temat Projekt i implementacja systemu organizującego spotkania i wypoczynek użytkownikom serwisu internetowego

Wersja angielska

tytułu

Design and implementation of the system organizing meetings and recreation of the users of web service

Cel pracy Opracowanie systemu, który z jednej strony ułatwi organizowanie spotkań użytkownikom serwisu internetowego, a z drugiej zagwarantuje, że obsługująca go firma będzie zabezpieczona przed wahaniami i niesolidnością użytkowników serwisu

Dane wyjściowe Koncepcja serwisu netowisko.pl.

Zadania 1. Analiza zapotrzebowania użytkowników polskich serwisów web2.0 na wspólne organizowanie spotkań

2. Koncepcja wielofazowej organizacji spotkania i charakterystyka każdej z faz

3. Konstrukcja przypadków użycia

Promotor dr inż. Andrzej Urbański

Opiekun

111.35.

Temat Projekt i implementacja systemu prostego czatu z wykorzystaniem połączeń asynchronicznych (AJAX) w PHP/MySQL

Wersja angielska

Tytułu

Design and implementation of the simple chat system using asynchronous connections (AJAX) in PHP/MySQL

Cel pracy Opracowanie prostego i wygodnego systemu organizującego sesje czat ze sprawną wymianą komunikatów.

Dane wyjściowe Kod systemów czat dla opowiadam.pl i piszmy.pl.

Moduły systemu AJAX

Zadania 1. Opracowanie podziału na moduły PHP, JavaScript, AJAX i zasad ich współpracy

2. Kodowanie poszczególnych modułów

3. Testy

Promotor dr inż. Andrzej Urbański

Opiekun

112.36.

Temat Optymalizacja kosztów logistycznych

Wersja angielska

tytułu

Management optimization in logistic

Cel pracy Analiza problemu, propozycja rozwiązań i implementacja procedur dla optymalizacji zarządzania logistyką w przedsiębiorstwie produkcyjnym na przykładzie sytuacji z logistycznej gry decyzyjnej.

Dane wyjściowe Opis sytuacji, literatura

Zadania Analiza problemu, propozycja metod i implementacja procedur wspomagających podejmowanie decyzji w zarządzaniu podsystemami logistycznymi.

Promotor dr inż. Rafał Walkowiak

Opiekun

113.37.

Temat Przetwarzanie jednorodne w systemie wielokomputerowym zrealizowanym w strukturach FPGA

Wersja angielska

Tytułu

Divisible job computing in FPGA multicomputer

Cel pracy Zbudowanie systemu wielokomputerowego w oparciu o procesory programowo implementowane w FPGA. Realizacja przetwarzania współbieżnego bazującego na modelu zadania jednorodnego.

Dane wyjściowe Opis DE2, procesora NIOS.

Zadania Zbudowanie systemu wielokomputerowego i przygotowanie dla niego oprogramowania wspomagającego przetwarzanie współbieżne

Promotor dr inż. Rafał Walkowiak

Opiekun

114.38.

Temat Refaktoryzacja programów dla języków o dynamicznym systemie typów

Wersja angielska

tytułu

Refactoring programs written in languages with dynamic type system

Cel pracy Celem pracy jest dokonanie oceny możliwości dokonywania refaktoryzacji w językach o dynamicznym systemie typów, zdefiniowanie kilku przekształceń, określenie warunków ich poprawności oraz określenie mechaniki.

Dane wyjściowe Literatura dot. refaktoryzacji

Zadania 1. Ocena możliwości dokonywania refaktoryzacji w językach o dynamicznym systemie typów,

2. Zdefiniowanie odpowiednich przekształceń

3. określenie warunków poprawności przekształceń oraz określenie mechaniki.

Promotor dr inż. Bartosz Walter

Opiekun

115.39.

Temat Wykrywanie anomalii projektowych w kodzie programów na podstawie historii zmian w repozytorium

Wersja angielska

Tytułu

Identification of software design anomalies based on history of changes in code repository

Cel pracy Opracowanie metody wykrywania anomalii związanych ze zmianami w kodzie. Implementacja metody. Walidacja metody i analiza wyników

Dane wyjściowe Literatura dot. wzorców i antywzorców projektowych

Zadania 1. Zaprojektowanie metody wykrywania anomalii związanych ze zmianami w kodzie.

2. Implementacja metody.

3. Walidacja metody i analiza wyników

Promotor dr inż. Bartosz Walter

Opiekun

116.40.

Temat Wirtualny testament


Virtual testament

Cel pracy Zebranie informacji o istniejących systemach gromadzenia elektronicznych zasobów, które mogą zmienić dysponenta po śmierci ich autora/właściciela.

Propozycja i prototypowa realizacja pakietu usług informacyjnych wspierających powiadomienie o śmierci i możliwości otwarcia wirtualnego testamentu.

Dane wyjściowe Publikacje z zakresu projektowania aplikacji internetowych.

Algorytm aktywacji wirtualnego nekrologu w systemie społecznościowym.

Zadania Zebranie informacji o istniejących systemach gromadzenia elektronicznych zasobów, które mogą zmienić dysponenta po śmierci ich autora/właściciela.

Implementacja usług wirtualny nekrolog i wirtualny testament.

Przewidywane jest opracowanie publikacji stanowiącej podsumowanie przeprowadzonych badań.

Promotor dr inż. Adam Wojciechowski

Opiekun

117.41.

Temat Eksperymentalna optymalizacja wybranych strategii inwestycyjnych na rynku kontraktów terminowych

Wersja angielska

Tytułu

Experimental optimization of selected investment strategies on futures market

Cel pracy Implementacja i eksperymentalna optymalizacja wybranych strategii inwestycyjnych oraz doskonalenie narzędzia testującego strategie.

Dane wyjściowe Środowisko do testowania strategii inwestycyjnych.

Literatura z dziedziny rynków terminowych i instrumentów pochodnych.

Przykładowe strategie inwestycyjne.

Zadania Zapoznanie się i rozbudowa środowiska do testowania strategii inwestycyjnych.

Implementacja własnych strategii inwestycyjnych.

Przeprowadzenie testów i optymalizacji strategii w szerokim zakresie zmienności parametrów symulacji. Wybór optymalnych zestawów parametrów dla badanych strategii.

Przewidywane jest opracowanie publikacji stanowiącej podsumowanie przeprowadzonych badań eksperymentalnych.

Promotor dr inż. Adam Wojciechowski

Opiekun

118.1

Temat Feedback Miner – system do eksploracji komentarzy w serwisie aukcyjnym

Wersja angielska

tytułu pracy:

Feedback Miner – a system for mining online auction feedback data

Cel pracy Celem pracy jest opracowanie i implementacja zbioru narzędzi, które wspomogą użytkowników serwisu aukcyjnego Allegro poprzez inteligentną analizę i wizualizację danych dotyczących komentarzy oraz reputacji potencjalnych kontrahentów. Produktem finalnym projektu jest wtyczka do przeglądarki lub zestaw skryptów Greasemonkey oferujący pożądaną funkcjonalność

Dane wyjściowe Literatura i dane dostarczone przez prowadzącego

Zadania 1. Zapoznanie się z literaturą dotyczącą eksploracji danych tekstowych

2. Opracowanie modeli eksploracji danych tekstowych ze szczególnym uwzględnieniem algorytmów odkrywania cech

3. Implementacja środowiska eksploracji komentarzy tekstowych, publikacja interfejsu w postaci usługi sieciowej

4. Opracowanie i implementacja komponentu klienckiego (wtyczka lub skrypty JS)

Promotor Dr inż. Mikołaj Morzy

Opiekun

119.1

Temat ContextDB – system zarządzania kontekstową bazą danych i generator aplikacji WWW

Wersja angielska

tytułu pracy:

ContextDB – context-oriented database management system and Web application generator

Cel pracy Celem pracy jest implementacja koncepcji kontekstowego systemu zarządzania bazą danych. Częścią KSZBD jest generator aplikacji WWW, który automatycznie tworzy widoki danych właściwe dla bieżącego kontekstu. W ramach projektu należy opracować operatory kontekstowego modelu danych (selekcja, wywodzenie, porządkowanie), generator aplikacji WWW oraz wybrane konteksty domyślne (kalendarz). Produktem finalnym projektu jest w pełni funkcjonalny prototyp kontekstowego systemu bazy danych.

Dane wyjściowe Dane dostarczone przez prowadzącego

Zadania 1. Zapoznanie się z technologiami potrzebnymi do implementacji projektu (PL/SQL, SQL, JavaScript, Java EE lub .NET), wybór pomocniczych bibliotek i architektur szkieletowych

2. Implementacja kontekstowego modelu danych

3. Implementacja generatora aplikacji WWW


Opiekun

120.1

Temat Wielowymiarowa analiza sieci społecznych

Wersja angielska

tytułu pracy:

Multi-dimensional social network analysis

Cel pracy Celem projektu jest opracowanie i implementacja środowiska wielowymiarowej analizy sieci społecznych. Środowisko MDSNA umożliwia implementację operatorów analizy wielowymiarowej w odniesieniu do sieci społecznych (pivot, drill-down, roll-up, center), import i eksport danych oraz wizualizację uzyskanych wyników.


Zadania 1. Zapoznanie się z literaturą dotyczącą analizy sieci społecznych

2. Wybór operatorów do analizy wielowymiarowej sieci społecznych

3. Implementacja środowiska do wielowymiarowej analizy sieci społecznych


Opiekun

121.1

Temat Platforma integracji systemów medycznych oparta na SOA.

Wersja angielska

tytułu pracy:

Medial systems integration platform based on SOA.

Cel pracy Celem pracy jest projekt i implementacja platformy umożliwiającej integrację danych medycznych pochodzących z różnych źródeł zgodnie z paradygmatem SOA.

Dane wyjściowe Dokumentacja dotycząca technologii .NET, dokumentacja dotycząca architektury zorientowanej na usługi, materiały własne dotyczące

funkcjonowania jednostek służby zdrowia.

Zadania 1. Opracowanie przeglądu istniejących podobnych rozwiązań.

2. Propozycja koncepcji platformy integracji systemów medycznych.

3. Implementacja prototypowego systemu w oparciu o wybraną technologię.

4. Walidacja zaproponowanego rozwiązania.

Promotor dr inż. Jacek Kobusiński

Opiekun dr inż. Jacek Kobusiński

122.1

Temat Platforma rejestracji zdarzeń medycznych oparta na SOA.

Wersja angielska

tytułu pracy:

Medical events acquisition platform based on SOA.

Cel pracy Celem pracy jest projekt i implementacja platformy umożliwiającej ewidencję zdarzeń medycznych zgodnie z paradygmatem SOA.

Dane wyjściowe Dokumentacja dotycząca technologii .NET, dokumentacja dotycząca architektury zorientowanej na usługi, materiały własne dotyczące funkcjonowania jednostek służby zdrowia i ewidencjonowania danych medycznych.

Zadania 1. Opracowanie przeglądu istniejących rozwiązań.

2. Propozycja koncepcji platformy rejestracji zdarzeń medycznych.





123.1

Temat Platforma lokalizacji usług medycznych oparta na SOA.

Wersja angielska

tytułu pracy:

Medical services localization platform based on SOA.

Cel pracy Celem pracy jest projekt i implementacja zgodnie z paradygmatem SOA platformy pozwalającej na lokalizację usług medycznych .

Dane wyjściowe Dokumentacja dotycząca technologii .NET, dokumentacja dotycząca architektury zorientowanej na usługi, materiały własne dotyczące funkcjonowania jednostek służby zdrowia i kontraktowania usług medycznych.


2. Propozycja koncepcji platformy lokalizacji usług medycznych.





124.1

Temat Platforma udostępniania danych medycznych oparta na SOA.

Wersja angielska

tytułu pracy:

Medical data sharing platform based on SOA.

Cel pracy Celem pracy jest projekt i implementacja zgodnie z paradygmatem SOA platformy udostępniania danych medycznych.

Dane wyjściowe Dokumentacja dotycząca technologii .NET, dokumentacja dotycząca architektury zorientowanej na usługi, materiały własne dotyczące funkcjonowania jednostek służby zdrowia i ochrony medycznych danych osobowych.


2. Propozycja koncepcji platformy udostępniania danych medycznych.





125.1

Temat Odkrywanie zbiorów częstych z ograniczeniami w Oracle 11g

Wersja angielska

tytułu pracy:

Constraint-based frequent itemset mining in Oracle 11g

Cel pracy Celem pracy jest praktyczna weryfikacja wydajności odkrywania zbiorów częstych z ograniczeniami w Oracle 11g oraz zaprojektowanie, implementacja i przetestowanie biblioteki mającej za zadanie zwiększenie wydajności odkrywania zbiorów częstych poprzez lepszą integrację ograniczeń w procesie eksploracji danych.

Dane wyjściowe Literatura na temat odkrywania zbiorów częstych i dokumentacja Oracle 11g.

Zadania Zapoznanie się z funkcjonalnością Oracle 11g dotyczącą odkrywania zbiorów częstych. Eksperymentalna ocena wpływu ograniczeń na czas eksploracji poprzez dostępne mechanizmy. Opracowanie koncepcji, implementacja i eksperymentalna weryfikacja biblioteki uzupełniającej dostępne standardowo mechanizmy o techniki lepiej wykorzystujące specyfikowane przez użytkowników ograniczenia.

Promotor dr inż. Marek Wojciechowski

Opiekun

126.1

Temat Systemy zarządzania treścią oparte o PHP i MySQL

Wersja angielska

tytułu pracy:

Content management systems based on PHP and MySQL

Cel pracy Celem pracy jest przegląd istniejących darmowych systemów zarządzania treścią (CMS) zaimplementowanych w języku PHP i współpracujących z bazą danych MySQL oraz wybór odpowiedniego systemu dla wymagań przykładowego rzeczywistego serwisu internetowego, a następnie implementacja i wdrożenie tego systemu.

Dane wyjściowe Dokumentacja wybranych systemów zarządzania treścią; wymagania funkcjonalne przykładowego serwisu internetowego.

Zadania Przegląd istniejących darmowych systemów zarządzania treścią (CMS) zaimplementowanych w języku PHP i współpracujących z bazą danych MySQL. Wybór odpowiedniego systemu dla wymagań przykładowego rzeczywistego serwisu internetowego. Implementacja systemu. Przygotowanie dokumentacji technicznej i użytkowej. Wdrożenie systemu.


Opiekun

127.1

Temat Prototypowa multimedialna baza danych oparta o MPEG-7

Wersja angielska

tytułu pracy:

Prototype multimedia database system based on MPEG-7

Cel pracy Celem pracy jest zaprojektowanie systemu umożliwiającego składowanie, opis i wyszukiwanie danych multimedialnych przechowywanych w bazie danych Oracle.

Dane wyjściowe Literatura na temat standardu MPEG-7; dokumentacja Oracle 11g.

Zadania Opracowanie koncepcji systemu. Opracowanie formatu opisu multimediów zgodnego ze standardem MPEG-7. Implementacja systemu.


Opiekun

128.1

Temat Projekt i implementacja hurtowni danych do analizy danych sekwencyjnych

Wersja angielska

tytułu pracy:

Design and implementation of data warehouse for sequential data analysis

Cel pracy Zaprojektowanie schematu logicznego hurtowni danych, która będzie wspierać analizę danych sekwencyjnych. Następnie implementacja schematu fizycznego hurtowni, przeprowadzenie eksperymentalnych analiz.

Dane wyjściowe Piśmiennictwo dot. hurtowni danych. Prace badawcze dot. analizy danych sekwencyjnych

Zadania 1. Analiza literatury dot. sekwencyjnych hurtowni danych

2. Zaprojektowanie schematu logicznego hurtowni danych

3. Implementacja schematu fizycznego hurtowni danych

4. Przeprowadzenie szeregu eksperymentów dot. analiz danych sekwencyjnych.

Promotor dr inż. Bartosz Bębel

Opiekun

129.1

Temat Internetowy system kontroli przebiegu zajęć dydaktycznych

Wersja angielska

tytułu pracy:

Web-based system for didactic course controlling.

Cel pracy Zbudowanie aplikacji w technologii WWW, kontrolującej przebieg zajęć dydaktycznych. Funkcjonalność aplikacji:

1. Kontrola obecności na zajęciach

2. Prowadzenie indywidualnej „kartoteki” studenta – lista nieobecności, kontrola aktywności na zajęciach, możliwość przeglądu ocen uzyskanych w trakcie zajęć

Dane wyjściowe Informacje o żądanej funkcjonalności, uzyskane od promotora

Zadania 1. Opracowanie zbioru wymagań funkcjonalnych i niefunkcjonalnych projektowanego systemu.

2. Zaprojektowanie logicznego schematu bazy danych systemu.

3. Zaprojektowanie graficznego interfejsu użytkownika w wybranej technologii WWW.

4. Implementacja schematu fizycznego bazy danych i interfejsu graficznego systemu.

5. Testowanie działania systemu


Opiekun

130.1

Temat Projekt i implementacja elastycznego systemu definiowania i wykonywania raportów bazodanowych w wybranym silniku raportowania

Wersja angielska

tytułu pracy:

Design and implementation of flexible reporting system with use of selected reporting engine

Cel pracy Zaimplementowanie aplikacji, pozwalającej na zdefiniowanie dla wskazanego schematu bazodanowego zbioru raportów.

Dane wyjściowe Dokumentacje silników raportowania, wymagania prowadzącego

Zadania 1. Przegląd dostępnych na rynku komercyjnych i darmowych silników raportowania

2. Opracowanie projektu środowiska do definiowania i wykonywania raportów

3. Implementacja środowiska do definiowania i wykonywania raportów


Opiekun

131.1

TematAdaptacja i implementacja algorytmów eksploracji danych z wykorzystaniem procesorów kart graficznych za pomocą technologii CUDA.


Adaptation and implementation of knowledge discovery algorithms on GPUs using the CUDA platform.

Cel pracy Celem pracy jest adaptacja wybranych algorytmów eksploracji danych w celu zrównoleglenia wykonywanych przez nie działań na procesorach kart graficznych. Spodziewanym efektem jest przyspieszenie działania tych algorytmów pozwalające na przetwarzanie większych zbiorów danych i częstszą aktualizację budowanych modeli.

Dane wyjściowe 1. Opis algorytmów o eksploracji danych wskazanych przez promotora.2. Dokumentacja technologii CUDA.3. Materiały znalezione w Internecie.

Zadania 1. Zapoznanie się z algorytmami eksploracji danych i dokumentacją technologii CUDA.

2. Opracowanie wspólnie z promotorem metod zrównoleglenia przetwarzania w ramach wybranych algorytmów, bądź adaptacja istniejących algorytmów przetwarzających dane równolegle.

3. Implementacja algorytmów za pomocą metod klasycznych (na CPU) oraz za pomocą technologii CUDA.

4. Wykonanie eksperymentów porównujących wydajność implementacji algorytmów na CPU i GPU.

5. Przygotowanie treści pracy magisterskiej zawierającej m. in. opis opracowanych rozwiązań oraz wyniki eksperymentów wydajnościowych.

Promotor Dr inż. Witold Andrzejewski

132.1

TematImplementacja i testy wydajnościowe dwóch nowych indeksów wspierających zapytania o wzorce sekwencji.


Implementation and experimental evaluation of two indexes which support sequence pattern queries.

Cel pracy Celem pracy jest implementacja dwóch indeksów wspierających zapytania o wzorce sekwencji, a w tym algorytmów budowy i pielęgnacji indeksów, oraz realizacji zapytań za ich pomocą. Dodatkowo, wymagana jest implementacja najlepszego spośród rozwiązań konkurencyjnych.Zaimplementowane indeksy powinny zostać poddane wyczerpującym testom wydajnościowym, które pozwolą ustalić, czy nowe rozwiązania są bardziej wydajne od poprzednich, oraz pozwolą określić zakres stosowalności nowych indeksów.

Dane wyjściowe 1. Opis algorytmów przekazany przez promotora.2. Materiały znalezione w Internecie.

Zadania 12. Wyszukanie w sieci rozwiązań konkurencyjnych.13. Zapoznanie się z algorytmami budowy i pielęgnacji indeksów oraz realizacji

zapytań z ich pomocą.14. Implementacja najlepszego algorytmu konkurencyjnego, implementacja

algorytmu realizacji zapytań za pomocą pełnego przeglądu bazy danych oraz implementacja indeksów, których opis został przekazany przez promotora.

15. Wykonanie eksperymentów porównujących wydajność wszystkich zaimplementowanych metod indeksowania.

16. Przygotowanie treści pracy magisterskiej zawierającej m. in. opis wykorzystanych rozwiązań oraz wyniki eksperymentów wydajnościowych.

Promotor Dr inż. Witold Andrzejewski

133.1

TematAplikacja do monitorownia pracy użytkownika z interpreterem poleceń

Wersja angielska tytułu pracy:

An application for auditing user's shell activity

Cel pracy Opracowanie aplikacji pozwalającej śledzić w czasie rzeczywistym aktywność użytkownika podczas pracy z interpretem poleceń w systemie Linux. System powinien działać w środowisku rozproszonym.

Dane wyjściowe Linux, programowanie jądra systemu Linux, budowa i działanie intepretera poleceń, C/C++, Java, PHP, Perl, SQL

Zadania Opracowanie i implementacja aplikacji. Przygotowanie zakresu funkcjonalności aplikacji. Opracowanie mechanizmów wyszukiwania określonego typu aktywności użytkownika, zapisu sesji użytkownika, odtwarzania sesji użytkownika.

PromotorOpiekun mgr inż. Piotr Sasak

134.1

Temat Ochrona komunikacji w rozproszonych systemach SOA

Wersja angielska

tytułu

Communication security in SOA-based distributed systems

Cel pracy Analiza problematyki, projekt i realizacja przykładowej aplikacji przedstawiającej problematykę

Dane wyjściowe literatura przedmiotu, dokumentacja techniczna narzędzi

Zadania 1. Przegląd mechanizmów ochrony komunikacji

2. Projekt systemu wymuszającego politykę bezpieczeństwa w zakresie

ochrony komunikacji

3. Przykładowa implementacja

Promotor dr inż. Michał Szychowiak

Opiekun

135.1

Temat Mechanizmy uwierzytelniania dostępu do usług w systemach SOA

Wersja angielska

tytułu pracy:

Authentication mechanisms for SOA-based services

Cel pracy Analiza problematyki, projekt i realizacja przykładowej aplikacji przedstawiającej problematykę

Dane wyjściowe literatura przedmiotu, dokumentacja techniczna narzędzi

Zadania 1. Przegląd mechanizmów ochrony komunikacji

2. Projekt systemu wymuszającego politykę bezpieczeństwa w zakresie ochrony komunikacji

3. Przykładowa implementacja

Promotor dr inż. Michał Szychowiak

Opiekun

136.1

Temat Projekt i implementacja usługi sieciowej odpornej na awarie serwerów w oparciu o system komunikacji grupowej RESTGroups.

Wersja angielska

tytułu

Design and implementation of a fault-tolerant Web service based on the RESTGroups communication toolkit.

Cel pracy Jedną z metod uodpornienia usługi na awarie pojedynczych serwerów jest jej replikacja na wielu serwerach w oparciu o systemy komunikacji grupowej (SKG). SKG dostarczają protokołów powyżej TCP/IP lub UDP, które ułatwiają implementację replikowanych procesów. Celem pracy jest zaprojektowanie i implementacja rozszerzenia SKG opartego na protokole HTTP i stylu REST, przeznaczonego do replikacji usług sieciowych (ang. Web services), a także zastosowanie tego narzędzia do opracowania i implementacji wybranej usługi sieciowej odpornej na awarie.

Dane wyjściowe Materiały dostarczone przez promotora, WWW.

Zadania 1. Zaprojektowanie i implementacja RESTGroups, tj. rozszerzenia wybranego systemu komunikacji grupowej o interfejs zgodny z REST.

2. Zastosowanie RESTGroups do aktywnej lub pasywnej replikacji serwera wybranej usługi sieciowej.

Promotor Dr hab. inż. Paweł T. Wojciechowski

Opiekun

137.1

Temat Projekt i implementacja rozproszonej pamięci transakcyjnej (DSTM).

Wersja angielska

tytułu

Design and implementation of the Distributed Software Transactional Memory (DSTM).

Cel pracy Software Transactional Memory (STM) to mechanizm kontrolujący dostęp

współbieżnych wątków do dowolnych współdzielonych obiektów programu. STM gwarantuje własność atomowości (i/lub izolacji), analogicznie do bazodanowych transakcji atomowych ACID (Atomicity-Consistency-Isolation-Durability). STM nie gwarantuje Durability.. Celem pracy jest zaprojektowanie i implementacja rozproszonego STM w oparciu o algorytmy optymistyczne i pesymistyczne sterowania współbieżnością.


Zadania 1. Zaprojektowanie i implementacja rozproszonego STM.

2. Walidacja narzędzia przez opracowanie nechmarków i wykonanie testów.


Opiekun

138.1

Temat Analiza i porównanie wybranych realizacja pamięci transakcyjnej (STM).

Wersja angielska

tytułu

Analysis and comparison of selected Software Transactional Memory implementations (STM).

Cel pracy Software Transactional Memory (STM) to mechanizm kontrolujący dostęp współbieżnych wątków do dowolnych współdzielonych obiektów programu. STM gwarantuje własność atomowości (izolacji), podobnie do transakcji atomowych ACID (Atomicity-Consistency-Isolation-Durability) w systemach baz danych. STM nie gwarantuje własności Durability.. Celem projektu jest eksperymentalna walidacja i porównanie przykładowych implementacji STM przez opracowanie stosownych benchmarków, wykonanie pomiarów oraz analizę i opracowanie wyników.


Zadania 1. Opracowanie benchmarków.

2. Zaprojektowanie i implementacja narzędzia do testów.

3. Wykonanie pomiarów oraz analiza i opracowanie wyników


Opiekun

139.1

Temat Projekt i implementacja rozszerzenia protokołu HTTP o mechanizm operacji atomowych dla usług sieciowych w stylu REST.

Wersja angielska

tytułu

Design and implementation of the HTTP protocol extension with the support of atomicity for RESTful Web services.

Cel pracy REST (ang. REpresentational State Transfer) to styl architektury oprogramowania dla systemów rozproszonych, udostępniających zasoby w formie hypermediów, takich jak World-Wide Web (WWW). Implementacje tego stylu opierają się zwykle na protokole HTTP. Celem projektu jest zaprojektowanie i implementacja Atomic REST, tj. wsparcia dla operacji atomowych w stylu REST w postaci odpowiedniego API oraz sieci nakładkowej (ang. overlay network) na protokole HTTP.


Zadania 1. Zaprojektowanie i implementacja biblioteki Atomic REST.

2. Walidacja biblioteki przez zaimplementowanie prostej usługi sieciowej.


Opiekun

140.1

Temat Biblioteka komunikacji grupowej w języku OCaml: Projekt i implementacja protokołów przy założeniu awarii typu crash-recovery.

Wersja angielska

tytułu

The group communication library in OCaml: Design and implementation of protocols assuming the crash-recovery model of failures.

Cel pracy Celem pracy jest rozszerzenie eksperymentalnej implementacji protokołów komunikacji grupowej w języku OCaml o wsparcie dla awarii typu crash-recovery. Zadanie wymaga dobrej znajomości zagadnień systemów rozproszonych oraz umiejętności programowania w języku OCaml, F# lub ML.

Dane wyjściowe 1. Eksperymentalna implementacja protokołów komunikacji grupowej w języku OCaml dla grup statycznych przy założeniu awarii typu crash-stop.

2. Materiały dostarczone przez promotora, artykuły naukowe, WWW

Zadania 1. Zapoznanie się z dostarczoną implementacją.

2. Projekt i implementacja nowych protokołów.

3. Wykonanie testów na przykładzie prostej replikacji serwerów stanowych.


Opiekun

141.1

Temat Koncepcja optymalizacji wykonania procesów ETL i implementacja prototypowego optymalizatora

Wersja angielska

tytułu

Optimization concept of ETL execution and development of prototype optimizer

Cel pracy Celem pracy jest opracowanie koncepcji optymalizacji wykonania procesów ETL, przeprowadzenie testów efektywnościowych i zaimplementowanie prototypowego optymalizatora.

Dane wyjściowe Literatura dotycząca projektowania procesów ETL, technik optymalizacji zapytań w bazach danych, technik optymalizacji wykonania procesów ETL.

Zadania 18. Przegląd literatury badawczej i rozwiązań komercyjnych w zakresie projektowania i optymalizacji procesów ETL.

19. Opracowanie koncepcji optymalizacji wykonania procesów ETL.

20. Opracowanie algorytmów optymalizacji procesów ETL.

21. Zaimplementowanie opracowanych algorytmów w wybranym środowisku implementacyjnym (komercyjnym lub niekomercyjnym).

22. Wykonanie testów efektywności optymalizacji wykonania procesów ETL dla typowych scenariuszy testowych.

23. Zaimplementowanie prototypowego optymalizatora z graficznym interfejsem użytkownika.

Promotor dr hab. inż. Robert Wrembel

Opiekun dr hab. inż. Robert Wrembel

142.1

Temat Adaptatywne algorytmy kompresji indeksów bitmapowych

Wersja angielska Adapting bitmap index compression algorithms

Tytułu

Cel pracy Celem pracy jest opracowanie techniki kompresji indeksu bitmapowego umożliwiającej automatyczny wybór najlepszego algorytmu kompresji dla zadanego rozkładu jedynek w mapie bitowej.

Dane wyjściowe Literatura dotycząca indeksów bitmapowych, algorytmów kompresji ogólnego przeznaczenia, algorytmów kompresji indeksów bitmapowych.

Zadania 1. Zapoznanie się z algorytmami kompresji ogólnego przeznaczenia i algorytmami kompresji indeksów bitmapowych.

2. Zapoznanie się z testowym środowiskiem FastBit.

3. Opracowanie techniki kompresji indeksu bitmapowego umożliwiającej automatyczny wybór najlepszego algorytmu kompresji dla zadanego rozkładu jedynek w mapie bitowej.

4. Implementacja ww. techniki.

5. Wykonanie testów efektywnościowych ww. techniki.



143.1

Temat Ocena funkcjonalności oprogramowania COGNOS

Wersja angielska

Tytułu

COGNOS functionality evaluation

Cel pracy Celem pracy jest dokonanie oceny funkcjonalności oprogramowania klasy Business Intelligence, firmy COGNOS.

Dane wyjściowe Literatura dotycząca hurtowni danych i przetwarzania analitycznego.

Zadania 1. Rozpoznanie oprogramowania COGNOS i architektur instalacyjnych.

2. Ocena funkcjonalności oprogramowania pod kątem możliwości: (1) budowania interaktywnych aplikacji analitycznych, (2) budowania aplikacji analitycznych w postaci portali, (3) budowania zbalansowanych kart wynikowych, (4) aplikacji działających na modelu ROLAP i MOLAP.

3. Przygotowanie tutorialu dydaktycznego przedstawiającego budowanie ww. aplikacji analitycznych. Tutorial będzie dostępny w postaci portalu internetowego.



144.1

Temat Implementacja mechanizmu obsługi zadań interaktywnych w platformie g-Eclipse

Wersja angielska

Tytułu

Development of modules supporting interactivity under g-Eclipse platform.

Cel pracy Przetwarzanie danych w środowiskach rozproszonych (gridowych) przebiega zwykle w trybie wsadowych, bez możliwości interakcji. Dotyczy to najwiekszych i najpopularniejszych pakietów takich jak gLite, Unicore czy Globus. Z drugiej strony istnieje grupa użytkowników, która wymaga w swojej codziennej pracy trybu interaktywnej pracyz z aplikacjami. Plany rozwoju platformy g-Eclipse obejmują wsparcie aplikacji interaktywnych, umożliwiające łączenie się z aplikacją na dowolnym systemie obliczeniowym - otwieranie i zamykanie sesji, uruchomienie i zakończenie aplikacji oraz przesyłanie dodatkowych danych.

Pierwsze prace w tym zakresie prowadzone były już w projekcie europejskim int.eu.grid.

Dane wyjściowePlatforma programistyczna g-Eclipse powstała w ramach realizacji projektu międzynarodowego sfinansowanego przez Komisję Europejską (http://www.geclipse.eu/). Głównym zadaniem projektu było stworzenie zintegrowanego zestawu narzędzi do pracy z gridem (rozproszone środowisko obliczeniowe). Oprogramowanie bazuje na otwartym systemie Eclipse i umożliwia tworzenie własnych aplikacji gridowych, testowanie, monitorowanie, dostęp do usług za pomocą własnych interfejsów API i przede wszystkim dostęp do rozproszonej infrastruktury obliczeniowej.

Istnieje pakiet oprogramowania zrealizowany w ramach projektu g-Eclipse, dostępny pod adresem http://www.eclipse.eu

Zadania 1. Analiza istniejących rozwiązań.

2. Przygotowanie projektu dodatkowej funkjonalności.

3. Modyfikacja architektury platformy g-Eclipse.

4. Implementacja rozwiązania oraz przygotowanie dokumentacji powykonawczej.

Promotor dr inż. Maciej Stroiński

Opiekun dr inż. Maciej Stroiński

145.1

Temat Wykorzystanie metod wirtualizacji systemów jako sposobu zmniejszenia kosztów udostepniania uslug

Wersja angielska

Tytułu

Virtualisation methods used for decreasing cost of IT systems

Cel pracy Tematem pracy jest analiza rozwiązań wirtualizacji w środowiskach Linux oraz Windows, budowa środowiska testowego oraz wybór usług i zastosowań, których wykorzystanie jest ekonomicznie uzasadnione dla maszyn wirtualnych.

Dane wyjściowe Technologia wirtualizacji w infrastrukturze sprzętowej wykorzystywana jest do dzielenia systemów fizycznych na mniejsze lub tworzenia z kilku fizycznych systemów znacznie większego zasobu obliczeniowego. Głównym celem jest optymalizacja wykorzystania zasobów z punktu widzenia użytkownika. Innym podejściem jest współdzielenie zasobów w ramach dostępnego czasu procesora, wielkości pamięci operacyjnej bądź urządzeń we/wy. Ze względu jednak na zróżnicowane wymagania uzytkowników, nie zawsze możliwe jest współdzielenie. Wówczas efektywniejsze wykorzystanie zasobów dedykowanych daje mechanizm wirtualizacji. Z punktu widzenia użytkownika bądź usługi maszyna wirtualna zachowuje się w taki sam sposób jak zasób fizyczny. W chwili obecnej istnieje oprogramowanie do wirtualizacji zarówno w środowisku Windows jak i Linux.

Zadania 1. Analiza rozwiązań wirtualizacji w środowiskach Linux oraz Windows.

2. Budowa środowiska testowego.

3. Wybór usług i zastosowań, których wykorzystanie jest ekonomicznie uzasadnione dla maszyn wirtualnych.

4. Wykonanie testów porównawczych wybranych usług bądź aplikacji pracujących w środowisku tradycyjnym oraz w środowisku maszyn wirtualnych pod kątem ekonomicznym, niezawodności oraz skalowalności rozwiązania.

W trakcie wyboru usług i aplikacji należy wziąć pod uwagę rozwiązania proponowane w zadaniu 'usług obliczeń kampusowych' projektu krajowego Platon.



146.Temat Opracowanie polityki bezpieczeństwa w sieciach korporacyjnych z

1 wykorzystaniem systemu Meta-IDS

Wersja angielska

Tytułu

Implementation of security polcy in corporational networks based on Meta-IDS system

Cel pracy Wdrożenie systemu Meta-IDS w sieci korporacyjnej wymaga opracowania polityki bezpieczeństwa, zgodnej z wytycznymi danej jednostki/przedsiębiorstwa. Zakres pracy obejmuje budowę instalacji testowej, instalację komponentów meta-IDS, określenie wymagań związanych z reakcją na wykryte nadużycia w dostępie do zasobów oraz implementację procedur reakcji.

Dane wyjściowe Ochrona dużych sieci korporacyjnych wymaga wdrożenia mechanizmów ochrony danych, zarówno dla dostępu z zewnątrz sieci, jak również dla dostępu wewnętrznego. Praktyka w zakresie bezpieczeństwa kładzie taki sam nacisk na zabezpieczenie zasobów przed nieautoryzowanym dostępem użytkowników sieci korporacyjnej. Wynika to z faktu, iż łatwiejszy dostęp do danych jest oczywiście 'z wewnątrz', gdyż usługi korporacyjne są chronione w mniejszym zakresie.

Systemy detekcji intruzów umożliwiają monitorowanie zasobów sprzętowych i usług oraz wykrywają próby nieautoryzowanego dostępu. System Meta-IDS, rozwijany przez Poznańskie Centrum Superkomputerowo-Sieciowe, umożliwia monitorowanie zasobów, wykrywanie nadużyć w czasie rzeczywistym. Kolejnym krokiem realizacji jest reakcja na wykryte nadużycia.

Zadania 1. Określenie aktualnego stanu rozwoju.

2. Opracowanie wirtualnej sieci korporacyjnej wraz z zasadami funkjonowania.

3. Opracowanie projektu i implementacji modułów reakcji na bazie wdrożonej instalacji testowej.

4. Wykonanie dokumentacji powykonawczej.



147.1

Temat Implementacja zakresowego protokołu zarządzania współbieżnym dostępem w bazach danych dokumentów XML.

Wersja angielska

tytułu pracy:

Implementation of Range Concurrency Control Protocol of native XML databases access.

Cel pracy Celem pracy jest zaimplementowanie dwóch protokołów zarządzania współbieżnym dostępem w bazach danych dokumentów XML, a następnie ich jakościowe i ilościowe porównanie z innymi propozycjami.


Zadania Zapoznanie się z istniejącym środowiskiem testowym

Zapoznanie się z protokołami zarządzającymi współbieżnym dostępem do baz danych dokumentów XML

Implementacja dwóch nowych protokołów w istniejącym środowisku testowym.

Analiza i porównanie protokołów.

Promotor Dr inż. Krzysztof Jankiewicz

Opiekun

148.1

Temat Analiza i implementacja wybranych protokołów zarządzania transakcjami w środowisku SOA.

Wersja angielska

tytułu pracy:

Analysis and implementation of SOA transaction protocols.

Cel pracy Celem pracy jest zapoznanie się z istniejącymi protokołami zarządzania transakcjami w środowisku SOA, a następnie implementacja dwóch środowisk testowych opartych na architekturze SOA, w których zaimplementowane zostaną protokoły zarządzania transakcjami.

Dane wyjściowe Dane dostarczone przez prowadzącego

Zadania Zapoznanie się z architekturą SOA i specyfikacjami WS-*.

Zapoznanie się z protokołami zarządzania transakcjami w środowisku SOA.

Implementacja dwóch środowisk testowych opartych na architekturze SOA, w których zaimplementowane zostaną protokoły zarządzania transakcjami.

Analiza i ocena zaimplementowanych protokołów.


Opiekun

149.1

Temat Analiza języków opisujących współpracę procesów biznesowych w architekturze SOA pod względem opisu przetwarzania transakcyjnego.

Wersja angielska

tytułu pracy:

Analysis of business process execution languages in SOA architecture with the stress of transactional processing.

Cel pracy Analiza języków opisujących współpracę procesów biznesowych w architekturze SOA pod względem opisu przetwarzania transakcyjnego.

Opracowanie rozszerzeń wybranego języka pozwalających na uwzględnienie aktualnych i nowych protokołów zarządzania transakcjami w środowisku SOA.

Opracowanie rozszerzeń wybranego języka pozwalających na definiowanie prostych i złożonych zależności pomiędzy procesami.


Zadania Analiza języków opisujących współpracę procesów biznesowych w architekturze SOA pod względem opisu przetwarzania transakcyjnego

Opracowanie rozszerzeń wybranego języka pozwalających na uwzględnienie aktualnych i nowych protokołów zarządzania transakcjami w środowisku SOA.

Opracowanie rozszerzeń wybranego języka pozwalających na definiowanie prostych i złożonych zależności pomiędzy procesami.

Implementacja środowiska testowego


Opiekun

150.1

Temat System wspomagający definiowanie rozkładu zajęć oparty na architekturze SOA.

Wersja angielska

tytułu pracy:

Scheduling software based on SOA architecture

Cel pracy Celem pracy jest zbudowanie systemu informatycznego pozwalającego na zaawansowane definiowanie rozkładu zajęć na uczelni wyższej. System oparty ma być na wybranej architekturze SOA. Zakres prac obejmuje zarówno magistralę usługową jak i oprogramowanie klienckie.


Zadania Analiza i ocena architektur opartych na paradygmacie SOA.

Implementacja systemu informatycznego pozwalającego na zaawansowane definiowanie rozkładu zajęć na uczelni wyższej, opartego na wybranej architekturze SOA.

Utworzenie dokumentacji szczegółowej technicznej i użytkowej systemu.

Testowanie i wdrożenie.


Opiekun

151Temat PLM – systemy zarządzania cyklem życia produktu.

Wersja angielska

tytułu

PLM – Product Lifecycle Management systems.

Cel pracy Celem pracy jest dokonanie przeglądu narzędzi wspomagających zarządzanie cyklem życia produktu oraz opracowanie i implementacja uproszczonej wersji takiego systemu.

Dane wyjściowe 1. Literatura i dokumentacja systemów PLM

2. Specyfikacja wymagań

Zadania 1. Przegląd komercyjnych i niekomercyjnych rozwiązań z zakresu

systemów PLM.2. Identyfikacja najważniejszych wspólnych cech systemów PLM.3. Projekt i implementacja przykładowego, uproszczonego systemu

PLM.

Promotor dr inż. Marek Mika

Opiekun

152 Temat Problem rozdziału zasobów z dodatkowymi ograniczeniami.

Wersja angielska

Tytułu

Resource constrained project scheduling problem with additional constraints.

Cel pracy Celem pracy jest opracowanie efektywnych algorytmów heurystycznych dla problemu rozdziału zasobów rozszerzonego o dodatkowe ograniczenia.

Dane wyjścioweLiteratura na temat problemów rozdziału zasobów.

Zadania 1. Opracowanie i implementacja algorytmów heurystycznych dla

wybranego problemu.2. Opracowanie i przeprowadzenie testów efektywności

zaproponowanych podejść.3. Analiza wyników

Promotor dr inż. Marek Mika

Opiekun

153 Temat System informatyczny wspomagający wybrane aspekty funkcjonowania uczelni

Cel pracy Celem pracy jest opracowanie i wdrożenie internetowego systemu informatycznego wspomagający wybrane aspekty funkcjonowania uczelni. System powinien być zintegrowany z uczelnianym systemem e-konto i systemem obsługi dziekanatu Sokrates 2

Dane wyjścioweLiteratura na temat technologii internetowych, konsultacje z pracownikami dziekanatu iDziału Informatyki PP, dokumentacja systemu Sokrates 2

Zadania 1. Zapoznanie się z odpowiednimi narzędziami, niezbędnymi do realizacji projektu2. Opracowanie i dokumentacja procesów biznesowych objętych funkcjami

systemu 3. Opracowanie i dokumentacja założeń funkcjonalnych i poza-

funkcjonalnych systemu.4. Opracowanie koncepcji systemu i projektu bazy danych systemu. 5. Przygotowanie aplikacji systemu6. Przetestowanie systemu i jego wdrożenie .7. Opracowanie dokumentacji

Promotor Prof. dr hab. inż. Zbyszko Królikowski

Opiekun

MS Word.doc

Documents

Transcript of MS Word.doc