fc.put.poznan.plfc.put.poznan.pl/sites/default/files/Tematy prac... · Web viewAgnieszka...

Propozycje tematów prac magisterskich 2015/16Studia stacjonarne

Temat Opracowanie nowoczesnego serwisu webowego umożliwiającego porównywanie cen zestawów produktów w sklepach internetowych

Cel pracy Korzystanie z oferty sklepów internetowych / aukcji internetowych posiada wiele zalet w odniesieniu do tradycyjnych sklepów. Najważniejszymi mogą być niższe ceny i możliwość zakupów z bardzo odległych miejsc. Niedawno zaprezentowano w literaturze i zdefiniowano Problem optymalizacji zakupów internetowych (ang. Internet Shopping Optimization Problem). Zostało udowodnione, że problem należy do klasy problemów silnie NP-trudnych. Niezmiernie ważne jest zatem opracowanie wydajnych (jakość, czas) algorytmów. Celem pracy będzie analiza problem ISOP, a następnie zaproponowanie efektywnej metody rozwiązania go. Obok pracy magisterskiej przewiduje się przygotowanie publikacji naukowej w języku angielskim.

Zadania 1. Przegląd literatury. Zapoznanie się z problemem Internet Shopping Optimization Problem, a także z powiązanymi problemami (jak np. Facility Location Problem, Knapsack Problem).

2. Opracowanie wyrafinowanego modelu środowiska testowego / przygotowanie narzędzi automatycznie pobierających oferty sklepów internetowych.

3. Opracowanie nowej metody rozwiązania problemu skomplikowanych zakupów internetowych – implementacja nowego pomysłu.

4. Wykonanie wyczerpujących eksperymentów obliczeniowych.5. Analiza uzyskanych wyników. Porównanie nowej metody do istniejących

rozwiązań.Promotor prof. dr hab. inż. Jacek Błażewicz

Opiekun dr inż. Jędrzej Musiał

Temat Wykrywanie różnic strukturalnych przy pomocy algorytmu asemblacji de novo[wykonuje Piotr Żurkowski]

Cel pracy Celem pracy jest stworzenie narzędzia do wykrywania różnic w strukturze genomu organizmów przy wykorzystaniu algorytmu asemblacji de novo. Narzędzie będzie wykorzystywało najnowsze standardy i technologie (GPU) do wyznaczania dopasowania krótkich sekwencji DNA

Zadania 1. Zapoznanie się z różnymi metodami do wykrywania różnic w strukturze genomu2. Opracowanie nowego podejścia wykorzystującego algorytm asemblacji3. Implementacja metody4. Testy obliczeniowe5. Napisanie pracy dyplomowej

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

Opiekun Dr inż. Aleksandra Świercz

Temat Algorytmy szeregowania zadań dla kolejowej stacji przeładunkowej

Cel pracy Kolejowe stacje przeładunkowe pełnią ważną rolę w transporcie lądowym łącząc różne stacje docelowe. Problemy, które występują w trakcie obsługi pociągów i przewożonych towarów wynikają z wielu ograniczeń, m.in. układu przestrzennego stacji, liczby dźwigów towarowych czy limitu czasowego na obsługę pociągów.Celem pracy jest opracowanie algorytmów umożliwiających rozwiązanie problemu szeregowania zadań i dokonanie porównania tych algorytmów. Analizowanym typem zadań jest przenoszenie towarów między pociągami przez dźwigi pracujące w wyznaczonych strefach stacji.

Zadania 1. Zapoznanie się z literaturą.2. Opracowanie i implementacja algorytmów rozwiązujących problem

szeregowania zadań dla kolejowej stacji przeładunkowej.3. Wykonanie eksperymentów obliczeniowych i porównanie opracowanych

metod.4. Przygotowanie pracy magisterskiej.

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

Opiekun mgr inż. Mateusz Cicheński

Temat Aplikacja Internetowa analizująca wyniki zapytań zewnętrznego serwisu

Cel pracy Celem pracy jest stworzenie serwisu, który pobierze surowe dane prezentowane przez bazę danych Web of Knowledge, przetworzy je i wygeneruje na ich podstawie raport. Baza WoK to serwis prezentujący różne statystyki dotyczące publikacji naukowych. Wiedza dziedzinowa dotycząca analizy statystyk zostanie przekazana przez promotora i opiekuna, natomiast celem dyplomanta jest opracowanie przetwarzających je algorytmów oraz serwisu Internetowego prezentującego je publicznie.

Zadania 1. Zaprojektowanie i implementacja bazy danych przechowującej wyniki zapytań oraz skryptów pobierających dane z bazy Web of Knowledge.

2. Opracowanie algorytmów przetwarzających i agregujących pobrane dane (łączenie duplikatów, rozpoznawanie typów publikacji) w sposób efektywny (minimalizacja liczby zapytań, cacheowanie).

3. Implementacja interfejsu www serwisu.4. Testy i poprawki serwisu.


Opiekun dr inż. Szymon Wąsik

Temat Aplikacja do efektywnego dopasowania długich biologicznych sekwencji

Cel pracy Celem pracy jest stworzenie efektywnego narzędzia wykorzystującego najnowsze technologie i standardy (GPU/SSE2) do dopasowywania długich ciągów biologicznych sekwencji DNA. Oprócz wartości dopasowania narzędzie powinno zwrócić ciąg reprezentujący samo dopasowanie w odpowiednim formacie.

Zadania 1. Zapoznanie się z algorytmami dopasowania sekwencji2. Przegląd dostępnych rozwiązań3. Implementacja jednego z algorytmów ze szczególnym zróceniem uwagi na efektywne jego działanie4. Testy wydajnościowe5. Ewentualne poprawki


Opiekun dr inż. Aleksandra Świercz

Temat Symulator przydziału nabrzeży do statków(Berth allocation planning simulator)

Cel pracy Projekt i implementacja symulatora dla problemu planowania przydziału miejsc cumowania na nabrzeżach

Zadania 1. Przegląd literatury. Zapoznanie się z problemem planowania przydziału nabrzeży (BAP).

2. Projekt i implementacja symulatora. Aplikacja powinna umożliwiać m.in.:a. tworzenie modeli symulacyjnych;b. zarządzanie schematami podziału nabrzeża;c. generowanie instancji testowych;d. wizualizację wyników.

3. Implementacja wybranych, zachłannych algorytmów planowania.4. Przeprowadzenie eksperymentów dla wybranych instancji testowych.

Promotor prof. dr hab. inż. Maciej Drozdowski

Opiekun mgr inż. Jakub Wawrzyniak

Temat Aplikacja wspierająca inspekcję użyteczności interfejsu użytkownika strony WWW

Cel pracy Projekt i implementacja aplikacji internetowej wspierającej przeprowadzanie inspekcji użyteczności interfejsu użytkownika strony WWW

Zadania 1. Przegląd literatury na temat projektowania aplikacji internetowych oraz metod inspekcji użyteczności takich jak m.in. ocena heurystyczna, wędrówka poznawcza, listy kontrolne.

2. Opracowanie i implementacja aplikacji internetowej wspierającej m.in. procesy gromadzenia informacji oraz analizy wyników.

3. Testy oprogramowania.Promotor prof. dr hab. inż. Maciej Drozdowski

Opiekun mgr inż. Jakub Wawrzyniak

Temat Szeregowanie zadań i przerw konserwacyjnych w systemach jednomaszynowych

Cel pracy Celem pracy jest opracowanie i implementacja algorytmów dla wybranych problemów szeregowania zadań i przerw konserwacyjnych w systemach jednomaszynowych.

Zadania 1. Przegląd literatury dotyczącej jednomaszynowych problemów szeregowania zadań z ograniczoną dostępnością procesora, ze szczególnym uwzględnieniem problemów z okresami niedostępności o zmiennej długości i/lub nieustalonej pozycji.2. Opracowanie wyczerpującego zestawienia opisanych w literaturze wyników dotyczących jednomaszynowych problemów szeregowania zadań w systemach z ograniczoną dostępnością procesora.3. Opracowanie algorytmów dla wybranych problemów.4. Implementacja algorytmów.5. Przeprowadzenie eksperymentu obliczeniowego.

Promotor prof. dr hab. inż. Piotr Formanowicz

Opiekun

Temat Modelowanie i analiza zjawisk leżących u podstaw procesu zapalnego za pomocą metod teorii gier ewolucyjnych

Cel pracy Celem pracy jest opracowanie modeli opartych na teorii gier ewolucyjnych zjawisk związanych z procesem zapalnym oraz przeprowadzenie ich analizy.

Zadania 1. Przegląd literatury dotyczącej zastosowania teorii gier ewolucyjnych do badania procesów zachodzących w organizmie człowieka.2. Opracowanie modeli opartych na teorii gier ewolucyjnych wybranych procesów związanych z powstawaniem zapalenia.3. Analiza opracowanych modeli.4. Sformułowanie wniosków.


Opiekun

Temat Szeregowanie zadań i przerw konserwacyjnych na procesorach równoległych

Cel pracy Celem pracy jest opracowanie i implementacja algorytmów dla wybranych problemów szeregowania zadań i przerw konserwacyjnych w systemach procesorów równoległych.

Zadania 1. Przegląd literatury dotyczącej problemów szeregowania zadań w systemach procesorów równoległych z ograniczoną dostępnością, ze szczególnym uwzględnieniem problemów z okresami niedostępności o zmiennej długości i/lub nieustalonej pozycji.2. Opracowanie zestawienia opisanych w literaturze wyników dotyczących

problemów szeregowania zadań w systemach procesorów równoległych z ograniczoną dostępnością.3. Opracowanie algorytmów dla wybranych problemów.4. Implementacja algorytmów.5. Przeprowadzenie eksperymentu obliczeniowego.


Opiekun

Temat Powierzchnie B-sklejane i ich wizualizacja

Cel pracy Opis powierzchni B-sklejanych i algorytmów ich konstrukcji

Zadania 1. Opis powierzchni B-sklejanych2. Przykłady konstrukcji powierzchni B-sklejanych3. Wizualizacja powierzchni B-sklejanych za pomocą pakietu Delhi

Promotor prof. dr hab. Andrzej Marciniak

Opiekun -

Temat Krzywe w reprezentacji Hermite’a i ich wizualizacja

Cel pracy Opis reprezentacji Hermite’a krzywych i algorytmu ich konstrukcji

Zadania 1. Opis reprezentacji Hermite’a krzywych2. Analiza numeryczna reprezentacji Hermite’a krzywych3. Opis algorytmu konstrukcji krzywych w reprezentacji Hermite’a4. Wizualizacja krzywych w reprezentacji Hermite’a za pomocą pakietu

DelhiPromotor prof. dr hab. Andrzej Marciniak

Opiekun -

Temat Warianty metody Newtona rozwiązywania równań nieliniowych i ich implementacje w arytmetyce przedziałowej

Cel pracy Porównanie implementacji wariantów metody Newtona w arytmetyce przedziałowej

Zadania 1. Opis różnych wariantów metody Newtona2. Implementacje wariantów metody Newtona w arytmetyce

przedziałowej3. Numeryczne porównanie wariantów metody Newtona

Promotor prof. dr hab. Andrzej Marciniak

Opiekun -

Temat Echolokator dla systemu Android

Cel pracy Konstrukcja systemu wykrywania przeszkód z wykorzystaniem echolokacji przy użyciu urządzenia mobilnego

Zadania Projekt, implementacja, testy

Promotor prof. dr hab. inż. Maciej Drozdowski

Opiekun

Temat Poszukiwanie cyklu Hamiltona w grafach quasi-sprzężonych

Cel pracy Implementacja metody rozwiązującej problem poszukiwania cyklu Hamiltona z wykorzystaniem znanego z literatury algorytmu dla grafów quasi-sprzężonych. Implementacja generatora losowego grafów quasi-sprzężonych. Porównanie osiągnięć nowej metody i algorytmów znanych z literatury dla instancji wzorcowych i wygenerowanych.

Zadania1. Implementacja generatora losowego grafów quasi-sprzężonych z

obsługą kilku podstawowych formatów grafów. Uwzględnienie w generatorze opcji dowolnego grafu skierowanego oraz procedury weryfikacji, czy graf podany na wejściu jest quasi-sprzężony.

2. Implementacja w C/C++ metody realizującej poszukiwanie cyklu Hamiltona w grafach skierowanych, z uwzględnieniem dwóch wariantów: gdy graf jest quasi-sprzężony lub nie.

3. Przeprowadzenie eksperymentu obliczeniowego z użyciem m.in. wzorcowych instancji dla problemu poszukiwania cyklu Hamiltona oraz wybranych dostępnych implementacji algorytmów znanych z literatury. Opracowanie wyników.

4. Złożenie pracy dyplomowej w formie pisemnej z załączeniem kodu źródłowego, instancji i wyników obliczeń na CD/DVD.

Promotor dr hab. inż. Marta Kasprzak

Opiekun

Temat Optymalizacja produkcji i transportu na przykładzie fabryki samochodów

Cel pracy Konstrukcja algorytmów i przeprowadzenie eksperymentów obliczeniowych dla optymalizacji produkcji z punktu widzenia wydajności jak i zachowania sekwencji pojazdów na przykładzie fabryki samochodów.

Zadania Zadaniem jest skonstruowanie modelu systemu produkcyjnego wraz z algorytmami optymalizującymi system produkcji oraz transport części

zapasowych. Proponowane algorytmu powinny być porównane pod względem wydajnościowym oraz efektywności uzyskania rozwiązania.

Promotor dr hab. inż. Grzegorz Pawlak

Opiekun

Temat Analiza problemów logistycznych na przykładzie systemu dystrybucji produktów świeżych

Cel pracy Konstrukcja algorytmów i przeprowadzenie eksperymentów obliczeniowych dla optymalizacji dystrybucji produktów świeżych uwzględniających dobór floty, trasowanie i załadunek.

Zadania Na podstawie danych historycznych należy przygotować część aplikacji optymalizatora.Zadania szczegółowe:

1. przygotowanie specyfikacji wymagań2. przygotowanie projektu aplikacji3. Implementacja aplikacji – konstrukcja algorytmów4. Przegotowanie dokumentacji i instrukcji dla użytkownika5. Weryfikacja modelu w eksperymentach obliczeniowych

Promotor dr hab. inż. Grzegorz Pawlak

Opiekun

Temat Optymalizacja przetwarzania programu do kompresji danych z wykorzystaniem GPGPU.

Cel pracy Celem pracy jest optymalizacja przetwarzania narzędzia FastQComp, które służy do kompresji/dekompresji sekwencji biologicznych zapisywanych w formacie fastq, z wykorzystaniem GPGPU.

Zadania 1. Zapoznanie się z literaturą i aktualnie dostępnymi technologiami wykorzystywanymi do przeprowadzania obliczeń na kartach graficznych (CUDA, OpenCL).

2. Weryfikacja architektury narzędzia poddawanego procesowi optymalizacji.

3. Przeprowadzenie eksperymentów wydajnościowych w celu identyfikacji złożonych obliczeniowo procedur/modułów, których czas przetwarzania można by znacząco skrócić poprzez wykorzystanie GPGPU.

4. Opracowanie i implementacja zoptymalizowanej wersji narzędzia FastQComp wykorzystującej GPGPU.

5. Przeprowadzenie eksperymentów obliczeniowych w celu porównania czasu przetwarzania z wersją bazową.

6. Stworzenie dokumentacji technicznej i użytkowej.7. Dołączenie kodu źródłowego zrealizowanych artefaktów wraz z

dokumentacją na płycie DVD.Promotor dr hab.inż. Marta Kasprzak, dr inż. Maciej Antczak

Opiekun -

Temat Opracowanie i zastosowanie łatwo rozszerzalnej architektury aplikacji internetowych.

Cel pracy Celem pracy jest projekt, implementacja i przykładowe zastosowanie łatwo rozszerzalnej architektury aplikacji internetowej, którą można rozbudowywać poprzez prostą, konfigurowalną integrację szeregu określonych komponentów.

Zadania 1. Opracowanie i implementacja zbioru podstawowych komponentów, które będą pełniły rolę podstawowych jednostek budujących architekturę aplikacji (w warstwach prezentacji, przechowywania danych, komunikacji i logiki biznesowej).

2. Opracowanie i implementacja mechanizmu tworzenia prostych scenariuszy przepływu danych pomiędzy rozpatrywanymi komponentami.

3. Zastosowanie zaproponowanych rozwiązań dla przykładowej aplikacji internetowej obejmującej następujące warstwy: prezentacji, dostępu do danych oraz określonej komunikacji co najmniej dwóch modułów obliczeniowych.

4. Przetestowanie aplikacji z uwzględnieniem aspektu funkcjonalnego i wydajnościowego.

5. Stworzenie dokumentacji technicznej i użytkowej.6. Dołączenie kodu źródłowego zrealizowanych artefaktów wraz z

dokumentacją na płycie DVD.Promotor dr inż. Maciej Antczak

Opiekun -

Temat Uniwersalny system sprzedażowy zrealizowany w oparciu o technologię meteor.js

Cel pracy Budowa uniwersalnego systemu sprzedażowego będącego frameworkiem do realizacji konkretnych implementacji systemów sprzedażowych z wykorzystaniem nowoczesnych technologii tworzenia aplikacji internetowych – meteor.js + mongoDb

Zadania 1. Przegląd literatury 2. Projekt frameworka 3. Przykładowa realizacja instancji systemu 4. Wnioski

Promotor dr inż. Marcin Borowski

Opiekun

Temat Opracowanie rozszerzenia edytora webowego w kontekście platformy chmury IBM Bluemix

Cel pracy Celem pracy jest opracowanie koncepcji i zaimplementowanie frameworka refaktoryzacji w środowisku Eclipse/Orion w kontekście platformy chmury IBM Bluemix

Zadania zapoznanie się z środowiskiem platformy chmury Cloud Foundry/Bluemix,zapoznanie się ze środowiskiem Eclipse Orion,opracowanie koncepcji, implementacja, testy i dokumentacja frameworka

Promotor dr inż. Wojciech Complak

Opiekun

Temat Wykorzystanie mechanizmów grywalizacji do poprawy efektywności szkoleń.

Cel pracy Budowa i wdrożenie systemu grywalizacji w celu poprawy zaangażowania studentów w proces nauczania.

Zadania Systematyzacja wiedzy na temat grywalizacji w szkolnictwie. Zaprojektowanie i zbudowanie systemu z mechanizmami grywalizacji dla wskazanych kursów, przedmiotów. Przygotowanie środowiska i zaimplementowanie systemu. Przeprowadzenie badań oceniających skuteczność zastosowanych mechanizmów. Planowana jest publikacja wyników.

Promotor dr inż. Rafał Klaus

Opiekun

Temat Wizualizacja oświetlenia pomieszczeń światłem słonecznym (ew. 2 osoby)

Cel pracy Opracowanie aplikacji wizualizującej przebieg dobowego oświetlenia pomieszczenia światłem słonecznym we wskazanym dniu roku.

Zadania Opracowanie interfejsu użytkownika umożliwiającego wprowadzenie: pozycji geograficznej budynku, wymiarów pomieszczenia, jego orientacji względem stron świata i wysokości nad poziomem terenu, lokalizacji i wymiarów okien, lokalizacji i wymiarów przeszkód terenowych (inne budynki, wzgórza itp.). Opracowanie projektu, implementacja i testowanie aplikacji, która wizualizuje przebieg dobowego oświetlenia pomieszczenia światłem słonecznym we wskazanym dniu roku.

Promotor dr inż. Jan Kniat

Opiekun -

Temat Cutoff - Nowa obliczeniowa miara do oceny jakości przestrzennego dopasowania struktur RNA i białekCutoff – new measure for quality evaluation of biomolecules

Cel pracy Celem pracy jest przetestowanie zaproponowanej miary oceny jakości struktur z geometrycznego punktu widzenia. W oparciu o dostarczoną definicję miary, należy dobrać na podstawie przeprowadzonych eksperymentów obliczeniowych najbardziej odpowiedni zestaw parametrów umożliwiający rozróżnienie między sobą i dokonanie odpowiedniego rankingu zadanych kształtów geometrycznych (w tym

przypadku reprezentowanym przez zbiór atomów. Wynikiem działania będzie system umożliwiający bioinformatyczną ewaluację zadanych przestrzennych kształtów.

Zadania 1. Zapoznanie się z technologiami informatycznymi wykorzystywanymi w projekcie.

2. Opracowanie, przetestowanie, wdrożenie i udokumentowanie nowej wersji systemu

Promotor Dr inż. Piotr Łukasiak

Opiekun

Temat FoodBase – serwis internetowy i baza danych do wspomagania analizy wytwarzania żywnościFoodBase – web based support service and database for food technology

Cel pracy Problem:Obecnie na szeroką skalę prowadzone są badania nad stworzeniem nowych technologii wytwarzania produktów żywnościowych charakteryzujących się wyższą wartością odżywczą. Niestety wyniki badań są najczęściej dostępne w postaci rozproszonej w wielu publikacjach i na różnych serwerach. Znalezienie i przeanalizowanie przeprowadzonych badań czy też receptur w celu ich wzbogacenia\zmiany staje się ogromnym wyzwaniem dla nauki i przemysłu. Bez wspomagania informatycznego i obliczeniowego zagadnienie to staje się bardzo czasochłonne i może prowadzić do niepotrzebnych błędów.Znaczenie problemu:Komercjalizacja, masowa sprzedaż oraz dążenie do maksymalizacji zysku przy minimalnych kosztach odciskają poważne piętno na produktach żywnościowych znajdujących się w sprzedaży dla przeciętnego konsumenta. Coraz częściej jakość dostępnych produktów pozostawia wiele do życzenia, w związku z czym w społeczeństwie pojawiają się poważne problemy zdrowotne. Istnieje ogromny nacisk ze strony konsumentów na stworzenie nowych technologii wytwarzania produktów żywnościowych, które powinny brać pod uwagę wszelkie aspekty przeprowadzonych dotychczasowo badań. Istnienie w jednym miejscu referencyjnej bazy danych pozwoli podwyższyć jakość prowadzonych badań, jak również przyspieszyć czas ich wprowadzenia na rynek.Koncepcja rozwiązania problemu:W chwili obecnej wszystkie dane dotyczące dotychczasowo osiągniętych wyników i opracowanych receptur są dostępne w postaci rozproszonej. Można je wyszukać przeglądając różne publikacje lub przeszukując różne branżowe serwisy poszczególnych producentów. Rozwiązaniem tego problemu jest stworzenie referencyjnej bazy danych dostępnej poprzez serwis internetowy zawierającej wyniki i technologie przeprowadzonych badań w odniesieniu do wybranych grup produktów żywnościowychCelem niniejszej pracy jest:

zaprojektowanie i implementację bazy danych odpowiadającej charakterystyce przechowywanych danych

zaprojektowanie i implementacja algorytmów przeszukiwania bazy

danych

wizualizacja otrzymanych wyników,

stworzenie serwisu internetowego umożliwiającego interaktywne przeszukiwanie bazy danych

integracja bazy danych z serwisem internetowymDodatkowe informacje:Realizowany projekt ma istotne i bezpośrednie praktyczne znaczenie na forum międzynarodowym i z tego też względu jest wyzwaniem dla osób ambitnych, komunikatywnych i kreatywnych.Do realizacji projektu wymagana jest jedynie wiedza informatyczna.

Zadania 1. Zapoznanie się z technologiami informatycznymi wykorzystywanymi w projekcie.

Opracowanie, przetestowanie, wdrożenie i udokumentowanie nowej wersji systemu

Promotor Dr inż. Piotr Łukasiak

Opiekun

Temat Szeregowanie zadań elastycznych z aproksymacją funkcji prędkości wykonywania.

Cel pracy Rozwiązanie problemu szeregowania zadań elastycznych podzielnych z dowolnymi funkcjami prędkości.

Zadania 1. Konstrukcja algorytmy aproksymacji funkcji prędkości wykonywania do postaci funkcji wypukłej.2. Przeprowadzenie eksperymentów obliczeniowych w oparciu o algorytm dla problemu ciągłego.3. Propozycja heurystyki dla problemu dyskretnego, w oparciu o wyniki eksperymentu.

Promotor dr Maciej Machowiak

Opiekun

Temat Aplikacja z wykorzystaniem gogli rzeczywistości wirtualnej

Cel pracy Stworzenie prostej aplikacji (możliwa np. wersja demonstracyjnej pełnej aplikacji) wykorzystującej gogle rzeczywistości wirtualnej. Laboratorium gier komputerowych dysponuje najnowocześniejszymi urządzeniami (np. do wyboru Oculus Rift DK2, Vrizzmo, Razer OSVR), z których będzie można korzystać podczas pracy nad projektem.

Zadania 1. Zbadanie obecnej sytuacji rynku aplikacji wykorzystujących rzeczywistość wirtualną.

2. Zapoznanie się z Software development kit (SDK). Wybór języka programowania.

3. Opracowanie planu wykonania projektu / aplikacji.

4. Programowanie / implementacja aplikacji.5. Testy stworzonego oprogramowania.

Promotor dr inż. Jędrzej Musiał

Temat Algorytm heurystyczny dla problemu degradacji RNA

Cel pracy Celem pracy jest wykonanie implementacji i testów algorytmu heurystycznego dla problemu degradacji RNA.

Zadania Zapoznanie się z problemem degradacji RNA. Wykonanie implementacji oraz testów algorytmu heurystycznego dla problemu degradacji RNA.

Promotor Dr inż. Agnieszka Rybarczyk

Opiekun

Title: Automatic non-functional size measurements of web-based graphical user interfaces

Goal: ProblemSoftware size measures are probably the most frequently used measures in software development projects. They are, for instance, used as independent variables in many models of effort estimation and pricing. They also constitute a natural normalizing factor for many indirect measures.In the late-1970’s, Allan Albrecht of IBM introduced one of the most well recognized sizing methods, which is called Function Point Analysis (FPA). It measures the functionality that was requested and received by the user. In 2007 International Function Point Users Group (IFPUG) started to work on developing a new method complementary to FPA called Software Non-functional Assessment Process (SNAP) that could handle measuring non-functional aspects of software systems.One of the aspects that could be measured with SNAP relates to “unique, user identifiable, independent graphical user interface elements added or configured on the user interface that do not change the functionality of the system but affect non-functional characteristics.” In other words one can measure the size of non-functional requirements that involve creation of graphical user interface (GUI). In order to do it one has collect information about all GUI widgets and properties being configured. Unfortunately, doing it manually for a large system is a cumbersome task.

Outline of solutionIn the case of web applications, the aforementioned problem could be solved by introducing a set of software tools that would enable to automatically analyze the structure of HTML and CSS files in order to collect information about the GUI widgets and their properties being configured in order to meet non-functional requirements.

The diploma project can be conducted either in Polish or English.

Tasks: Literature study of scientific papers, manuals, books related to

functional and non-functional size measurement (e.g., SNAP method manual).

Design of the method that can be used to automatically analyze the structure of HTML and CSS pages in order to calculate the SNAP size of graphical user interfaces.

Implementation of a prototype tool. Empirical evaluation of the method based on a set of web

applications.Supervisor: dr inż. Mirosław Ochodek

Consultant: -

Temat Metoda wspomagająca prognozowanie oglądalności audycji telewizyjnych.

Cel pracy Celem pracy jest opracowanie algorytmu opartego o proste metody statystyczne i/lub metaheurystyczne umożliwiającego przewidywanie oglądalności programów telewizyjnych w oparciu o dane historyczne.

Zadania 1. Zaprojektowanie i implementacja algorytmu przewidującego oglądalność konkretnych programów dla określonego zbioru widzów na podstawie danych historycznych.

2. Przeprowadzenie eksperymentów obliczeniowych.3. Opracowanie uzyskanych wyników.

Promotor dr hab. inż. Małgorzata Sterna, prof. PP

Opiekun mgr inż. Krzysztof Odasz

Temat Algorytm metaheurystyczny wspomagający optymalizację telewizyjnej kampanii reklamowej.

Cel pracy Celem pracy jest opracowanie algorytmu metaheurystycznego umożliwiającego optymalizację zakupu przerw reklamowych w celu optymalizacji wybranego kryterium tj. maksymalizacja oglądalności lub minimalizacja kosztu.

Zadania 1. Zaprojektowanie i implementacja algorytmu metaheurystycznego optymalizującego wybór przerw reklamowych w odniesieniu do wybranego kryterium.

2. Strojenie algorytmu w eksperymencie wstępnym.3. Przeprowadzenie eksperymentów obliczeniowych.4. Opracowanie uzyskanych wyników.

Promotor dr hab. inż. Małgorzata Sterna, prof. PP

Opiekun mgr inż. Krzysztof Odasz

Temat Program do wizualizacji oddziaływań na diagramach RNA.

Cel pracy Stworzenie programu do wizualizowania oddziaływań niekanonicznych na

diagramach RNA generowanych przez program VARNA.

Zadania Zapoznanie się z programem VARNA. Zapoznanie się z notacją LW do oznaczania typów oddziaływań RNA. Stworzenie programu umożliwiającego rysowanie na diagramach tworzonych przez aplikację VARNA oddziaływań zgodnie z notacją LW.

Promotor Dr inż. Marta Szachniuk

Opiekun

Temat Ocena efektywności obliczeń w niejednorodnym systemie równoległym.

Cel pracy Wykorzystanie systemu równoległego opartego o komputery wieloprocesorowe i procesory kart graficznych do obliczeń współbieżnych.

Zadania Konfiguracja systemu o wielu poziomach równoległości przetwarzania, pomiar parametrów utworzonego systemu . Opracowanie planu eksperymentów oceniających efektywność przetwarzania. Opracowanie wyników i wyprowadzenie ogólnych wniosków dotyczących efektywności przetwarzania w systemie o wielopoziomowej równoległości w zależności od struktury systemu i wielkości instancji problemu. Narzędzia: OpenMP, MPI, CUDA, model zadania jednorodne.

Promotor dr inż. Rafał Walkowiak

Opiekun

Temat Wpływ decyzji technologicznych na kierunki rozwoju systemu informatycznego

Cel pracy Dokonanie oceny, na ile decyzje technologiczne (np. dotyczące języka programowania albo użytych bibliotek) wpływają na dalszy rozwój systemu informatycznego

Zadania 1. Przegląd literatury 2. Wybór systemów do analizy 3. Analiza rozwoju systemów 4. Wnioski

Promotor dr inż. Bartosz Walter

Opiekun

Temat Rozbudowa analizatora przykrych zapachów w kodzie programu o nowe źródła informacji

Cel pracy Rozszerzenie możliwości istniejącego analizatora przykrych zapachów o dodawanie nowych

Zadania 1. Analiza istniejącej dokumentacji systemu 2. Opracowanie metod pozyskiwania danych z nowych źródeł informacji 3. Rozbudowa analizatora o nowe źródła informacji 4. Walidacja

Promotor dr inż. Bartosz Walter

Opiekun

Temat Automatyczne wyznaczanie wartości parametrów modelu matematycznego opracowywanego w grach crowdsourcingowych

Cel pracy Gra „Throw the hamster” to gra, która korzystając z technik crowdsourcingowych pozwala opracowywać nowe modele matematyczne systemów dynamicznych. Celem pracy jest rozszerzenie gry o nową funkcjonalność, dzięki której użytkownicy otrzymają wsparcie w procesie ustalania wartości parametrów występujących w modelu.

Zadania 1. Przegląd istniejących algorytmów wyznaczania wartości parametrów rzeczywistych i wybór kilku z nich.

2. Testy i porównanie wybranych algorytmów.3. Adaptacja i integracja wybranego, najlepszego algorytm z grą

społecznościową „Throw the Hamster”.4. Przeprowadzenie testów zintegrowanego rozwiązania.

Promotor dr inż. Szymon Wąsik

Opiekun -

Temat Optymalizacja procesu opracowywania modelu matematycznego w grach crowdsourcingowych

Cel pracy Gra „Throw the hamster” to gra, która korzystając z technik crowdsourcingowych pozwala opracowywać nowe modele matematyczne systemów dynamicznych. Celem pracy jest rozszerzenie gry o nową funkcjonalność, dzięki której możliwe będzie modelowanie bardziej skomplikowanych problemów niż obecnie.

Zadania 1. Opracowanie algorytmów dekompozycji problemów złożonych do problemów prostszych i ich implementacja.

2. Optymalizacja interfejsu użytkownika gry „Throw the hamster” w oparciu o opinie użytkowników i własne analizy.

3. Opracowanie elementów gry zręcznościowej, dzięki której opracowywanie modeli matematycznych przez społeczność będzie bardziej atrakcyjne dla użytkowników.

4. Zaprojektowanie i implementacja samouczka demonstrującego działanie gry.

5. Przeprowadzenie testów zoptymalizowanego rozwiązania.Promotor dr inż. Szymon Wąsik

Opiekun -

Temat Strona przykładowego muzeum w technologii 3D z wirtualnym zwiedzaniem i nabywaniem modeli lub wydrukowanych w 3D eksponatów

Cel pracy Celem pracy jest opracowanie oprogramowania pozwalającego zarabiać na sprzedaży wirtualnych i rzeczywistych kopiach eksponatów

Zadania 1.Model 3D sal wystawienniczych z wirtualnym zwiedzaniem 2.Baza modeli eksponatów 3.Sklep sprzedający modele 3D eksponatów 4.Pracownia wykonująca odpłatnie druk 3D wybranych eksponatów na miejscu lub z wysyłką

Promotor dr inż. Andrzej Urbański

Opiekun

Temat Metody, narzędzia i praktyka prowadzenia zbiórki pieniędzy w sieciach społecznościowych

Cel pracy Celem pracy jest dokonanie przeglądu metod i narzędzi prowadzenia publicznej zbiórki pieniędzy w sieci Internet. Identyfikacja cech charakterystycznych i różnic w sposobach prowadzenia kwesty publicznej w różnych krajach i różnych grupach społecznych.Ponadto jednym z zadań będzie przygotowanie – implementacja lub konfiguracja gotowego narzędzia – serwisu do prowadzenia publicznej zbiórki pieniędzy.

Zadania Przegląd metod i narzędzi do prowadzenia publicznej zbiórki pieniędzy.Ocena efektywności zbiórek pieniędzy prowadzonych w różnych, wybranych witrynach/systemach społecznościowych.Projekt i implementacja własnego systemu lub konfiguracja gotowego narzędzia do prowadzenia zbiórki pieniędzy na określony cel.Walidacja opracowanego rozwiązania.Przewidywane jest opracowanie publikacji.

Promotor dr inż. Adam Wojciechowski

Opiekun

Temat Ocena jakości metod asemblacji de novo.

Cel pracy Opracowanie metody oceny jakości algorytmów asemblacji de novo.

Zadania 1. Zapoznanie się z problematyką asemblacji de novo i miar jakości proponowanych rozwiązań.

2. Opracowanie nowej metodologii oceny jakości algorytmów rozwiązujących badany problem.

3. Przygotowanie zbiorów testowych.4. Przeprowadzenie testów jakościowych wybranych metod asemblacji

de novo z wykorzystaniem opracowanego zbioru.Promotor dr inż. Paweł Wojciechowski

Opiekun

Temat Replikowana przestrzeń krotek

Cel pracy Opracowanie koncepcji oraz implementacja mechanizmu komunikacji międzyprocesowej opartego na współdzielonej przestrzeni krotek, wraz z mechanizmem replikacji i utrzymania spójności zbioru krotek.

Zadania 1. Analiza istniejących rozwiązań w zakresie przestrzeni krotek (Linda, JavaSpaces, LIME, Tuple Spaces itp.)

2. Analiza modeli spójności i algorytmów synchronizacji danych.3. Opracowanie koncepcji oraz implementacji replikowanej przestrzeni

krotek.4. Przeprowadzanie testów poprawności, wydajności i skalowalności

zrealizowanej implementacji.Promotor dr inż. Dariusz Wawrzyniak

Opiekun dr inż. Dariusz Wawrzyniak

Temat Projekt i implementacja wielowersyjnego modelu spójności replik dla systemu gromadzenia danych w modelu klucz-wartość

Cel pracy Opracowanie i prototypowa implementacja mechanizmu replikacji dla systemu bazy danych typu NoSQL w modelu klucz-wartość, który umożliwia dostęp do danych zgodnie z modelem spójności wyspecyfikowanym przy zlecaniu operacji, wyrażonym jako kombinacja modelu danocentrycznego i/lub wymagań odnośnie gwarancji sesji.

Zadania 1. Przegląd rozwiązań w zakresie systemów baz danych typu klucz-wartość oraz mechanizmów replikacji w tych systemach ze szczególnym uwzględnieniem problematyki spójności.

2. Przegląd modeli spójności replik oraz mechanizmów synchronizacji danych.

3. Opracowanie koncepcji udostępniania replik w wielowersyjnym modelu spójności,

4. Realizacja opracowanej koncepcji w prototypowym systemie bazy danych typu klucz-wartość.

5. Analiza możliwości realizacji wielowersyjnego modelu spójności w istniejących systemach typu NoSQL.

Promotor dr inż. Dariusz Wawrzyniak

Opiekun dr inż. Dariusz Wawrzyniak

Temat Projekt i implementacja modułów rozszerzających funkcjonalność prototypowej hurtowni danych do analizy danych sekwencyjnych (2 osoby)

Cel pracy Celem pracy jest zaprojektowanie i zaimplementowanie zbioru modułów dla istniejącej prototypowej hurtowni danych do analizy danych

sekwencyjnych (np. modułu wykonawcy zapytań, modułu wizualizacji wyników, itd.)

Zadania Zadania wspólne obu wykonawców:1. Przegląd literatury dot. analiz danych sekwencyjnych (tzw.

sekwencyjny OLAP)2. Zapoznanie z prototypem hurtowni danych sekwencyjnych.Zadania indywidualne każdego wykonawcy:1. Zaprojektowanie modułu rozszerzającego funkcjonalność hurtowni

danych.2. Zaimplementowanie zaprojektowanego modułu.3. Przetestowanie poprawności działania zaimplementowanego modułu.

Promotor dr inż. Bartosz Bębel

Opiekun

Temat Problematyka integracji danych w nowoczesnych systemach baz danych.

Cel pracy Celem pracy jest zebranie informacji o technikach integracji danych, stosowanych w nowoczesnych systemach baz danych (np. interfejsy programowe, specyficzne oprogramowanie, itd.) oraz przetestowanie funkcjonalności wybranych rozwiązań.

Zadania 1. Przegląd technik integracji danych w systemach baz danych.2. Instalacja i konfiguracja środowiska testowego.3. Opracowanie zbioru kryteriów porównawczych.4. Przeprowadzenie testów wybranych technik.5. Opracowanie zbioru materiałów dydaktycznych, umożliwiających

zapoznanie z wybranymi technikami integracji danych.6. Opracowanie wniosków końcowych.

Promotor dr inż. Bartosz Bębel

Temat Projekt systemu hurtowni danych (2 osoby).

Cel pracy Celem pracy jest zaprojektowanie od podstaw systemu hurtowni danych (począwszy od procesu ETL, przez struktury wewnętrzne do przechowywania danych, aż do aplikacji analitycznych), wykorzystywanego później do celów dydaktycznych.

Zadania Zadania wspólne obu wykonawców:1. Zebranie wymagań funkcjonalnych i niefunkcjonalnych

projektowanego systemu.2. Przegląd rynku produktów do budowy hurtowni danych.3. Wybór produktów, które zostaną użyte w procesie budowy hurtowni

danych.4. Integracja zaimplementowanych elementów.5. Uruchomienie systemu hurtowni danych.Zadania indywidualne każdego wykonawcy:1. Implementacja poszczególnych elementów składowych hurtowni

danych.

2. Przeprowadzenie testów zaimplementowanych elementów.Promotor dr inż. Bartosz Bębel

Temat Nowe algorytmy zarządzania przetwarzaniem w środowiskach chmurowych z wykorzystaniem wirtualizacji na poziomie systemu operacyjnego (kontenerów)

Cel pracy Opracowanie, implementacja i analiza działania nowych algorytmów zarządzania przetwarzaniem w środowiskach chmurowych wykorzystując nowe podejścia do wirtualizacji oparte na technologiach kontenerowych takich jak Docker, CoreOS, OSv, MirageOS. Opracowane algorytmy mają na celu zwiększenie efektywności przetwarzania przy utrzymaniu wymaganej wydajności. Wyniki pracy obejmą analizę korzyści w porównaniu do tradycyjnych technik wirtualizacji. Praca będzie prowadzona z wykorzystaniem nowoczesnej infrastruktury obliczeniowej i laboratoryjnej PCSS.

Zadania 1. Analiza technologii wirtualizacji na poziomie systemu operacyjnego (kontenerowych)

2. Testy wybranych technologii kontenerowych i ich porównanie z powszechnie używanymi środowiskami do wirtualizacji

3. Opracowanie i implementacja nowych algorytmów zarządzania przetwarzaniem w środowiskach chmurowych z wykorzystaniem kontenerów

4. Testy algorytmów zarządzania i analiza wynikówPromotor Prof. zw. dr hab. inż. Jan Węglarz

Opiekun Dr inż. Ariel Oleksiak

Temat Nowe metody obliczeń energooszczędnych przy wykorzystaniu układów o niskim poborze mocy

Cel pracy Celem pracy jest zbadanie i opracowanie nowych metod wydajnych obliczeń energooszczędnych przy użyciu procesorów wykorzystywanych w systemach mobilnych i wbudowanych (ARM) lub układów rekonfigurowalnych (FPGA). Praca będzie prowadzona z wykorzystaniem nowoczesnej infrastruktury obliczeniowej i laboratoryjnej PCSS.

Zadania 1. Zbadanie efektywności energetycznej różnych modeli obliczeń na architekturach sprzętowych o niskim zużyciu energii (np. procesorach ARM, układach FPGA).

2. Dobór klas aplikacji i modeli obliczeń do architektur sprzętowych w celu minimalizacji zużycia energii.

3. Implementacja wybranych benchmarków.4. Zastosowanie układów energooszczędnych do obliczeń większej skali.

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


Temat Analiza i szacowanie zużycia energii przez urządzenia w domu i biurze za pomocą nieinwazyjnych technik monitorowania obciążenia

Cel pracy Celem pracy jest opracowanie i implementacja metodyki do analizy i szacowania

zużycia energii przez urządzenia w domu i biurze za pomocą nieinwazyjnych technik monitorowania obciążenia (ang. Non-Intrusive Load Monitoring, NILM). Stworzone oprogramowanie powinno umożliwić wykrycie poszczególnych urządzeń i pomiar zużywanej przez nie energii dla różnej częstotliwości pomiarów bez zastosowania dodatkowych dedykowanych mierników. Praca będzie prowadzona z wykorzystaniem nowoczesnej infrastruktury laboratoryjnej PCSS.

Zadania 1. Analiza metod nieinwazyjnych technik monitorowania obciążenia2. Opracowanie metody i oprogramowania do monitorowania zużycia

energii3. Implementacja opracowanej metodyki.4. Testy w środowisku rzeczywistym dla różnych urządzeń i

częstotliwości pomiarówPromotor Prof. zw. dr hab. inż. Jan Węglarz


Temat Metody monitorowania i oszczędzania energii dla systemu inteligentnego domu

Cel pracy Opracowanie metody monitorowania i oszczędzania energii dla systemu inteligentnego domu. Praca obejmie projekt całego systemu, propozycje rozwiązań automatyki, implementację oraz testy w rzeczywistym środowisku. Praca będzie prowadzona z wykorzystaniem nowoczesnej infrastruktury laboratoryjnej PCSS.

Zadania 1. Analiza systemów domów inteligentnych oraz rozwiązań zwiększających efektywność energetyczną

2. Opracowanie architektury systemu oraz metody oszczędzania energii3. Implementacja opracowanego systemu oraz metod monitorowania i

oszczędzania energii.4. Testy w środowisku rzeczywistym



Temat Metody zarządzania zadaniami obliczeniowymi użytkowników w hybrydowych środowiskach chmurowych i klastrowych dużej skali.

Cel pracy Głównym celem pracy będzie opracowanie i eksperymentalnie zbadanie metod zarządzania zadaniami obliczeniowymi z uwzględnieniem realnych charakterystyk zadań obliczeniowych użytkowników. W ramach pracy należy przeprowadzić analizy zachowań i preferencji użytkowników na bazie danych historycznych zebranych w systemie zarządzania zadaniami dużej skali. Zadania obejmują również implementację oraz testy wydajności modułu rozdziału zasobów z uwzględnieniem wybranych kryteriów oceny.

Praca będzie prowadzona z wykorzystaniem nowoczesnej infrastruktury obliczeniowej PCSS.

Zadania 1. Analiza danych historycznych pochodzących z logów systemów zarządzania zadaniami w celu określenia głównych profili użytkowników oraz zadań obliczeniowych2. Analiza zachowań użytkowników w procesie zdalnego kolejkowania i uruchamiania zadań3. Opracowanie metody zarządzania zadaniami obliczeniowymi z4. Testy modułu rozdziału zasobów w środowisku symulacyjnym i/lub rzeczywistym


Opiekun Dr inż. Krzysztof Kurowski

Temat Metody budowy i rekonfiguracji wirtualnych zasobów obliczeniowych z uwzględnieniem specyficznych wymagań oraz charakterystyk wybranej klasy aplikacji dużej skali

Cel pracy Celem pracy będzie wykonanie szczegółowej analizy wymagań zasobowych, komunikacyjnych oraz skalowalności dla wybranej klasy aplikacji obliczeniowych. Na podstawie wyników analiz należy opracować nowe metody reprezentacji elementów przetwarzania i komunikacji wraz z algorytmem wyboru i konfiguracji wirtualnych zasobów na żądanie. W ramach pracy należy przeprowadzić testy oraz eksperymenty obliczeniowe z wykorzystaniem nowoczesnej infrastruktury obliczeniowej i laboratoryjnej PCSS.

Zadania 1. Wybór i analiza wymagań zasobowych przykładowej klasy aplikacji dużej skali2. Analiza metod wirtualizacji zasobów obliczeniowych, sieciowych i dyskowych3. Opracowanie metody automatycznej reprezentacji wymagań zasobowych aplikacji4.Opracowanie algorytmu wyboru i rekonfiguracji wirtualnych zasobów5. Testy wydajności zaproponowanych metod


Opiekun Dr inż. Krzysztof Kurowski

Temat Analiza technologii tworzenia sensorowych sieci typu mesh

Cel pracy Celem pracy jest zbadanie istniejących i opracowanie nowych metod budowy wydajnych sieci urządzeń sensorowych. Proponowane kryteria wyboru to wydajność obliczeniowa, możliwości komunikacyjne (zasięg, przepustowość), energetyczne (niskie zapotrzebowanie na energię), samoorganizacyjne.

Zadania 1. Analiza wybranych rozwiązań do budowania sieci sensorowych – różne mikrokontrolery i układy komunikacyjne.

2. Zbadanie efektywności w/w kryteriów dla poszczególnych rozwiązań poprzez implementację prostych referencyjnych aplikacji testowych (benchmark).

3. Analiza zebranych wyników i zbudowanie modeli preferencji dla zbioru w/w kryteriów.

Promotor Prof. zw. dr hab. inż. Jan Węglarz/ dr inż. Maciej Stroiński

Opiekun Dr inż. Norbert Meyer / mgr inż. Tomasz Rajtar

Temat Odkrywanie modeli zjawisk występujących w środowiskach naturalnych i zurbanizowanych,

Cel pracy Celem pracy jest zbudowanie (odkrycie) na drodze uczenia maszynowego, modeli zjawisk zachodzących w przyrodzie i stworzenie systemu umożliwiającego ich automatyczną detekcję.

Zadania 1. Analiza dostarczonych wielowymiarowych danych sensorycznych (np.

meteorologia, fotografia) i możliwe zintegrowanie ich z danymi geolokalizacyjnymi.

2. Stworzenie systemu klasyfikacyjnego do rozpoznawania danych zjawisk przyrodniczych (nauczenie).

3. Zbadanie jakości zaproponowanego rozwiązania na danych testowych.4. Analiza zebranych wyników i przedstawienie wniosków.

Promotor Prof. zw. dr hab. inż. Jan Węglarz/ dr inż. Maciej Stroiński

Opiekun Dr inż. Norbert Meyer / mgr inż. Tomasz Rajtar

Temat Rozproszony system składowania danych na urządzeniach multimedialnych

Cel pracy Celem pracy jest zbudowanie systemu, który umożliwi przechowywanie danych w sieci zbudowanej z wykorzystaniem inteligentnych urządzeń multimedialnych (np. telewizory, odtwarzacze Blu-ray, set-top boxy)

Zadania 1. Implementacja oprogramowania po stronie klienckiej (Android) i serwerowej (Linux)

2. Integracja z platformą typu volunteer computing (np. BOINC)3. Implementacja algorytmu replikacji danych w modelu M z N4. Oszacowanie przewidywanego czasu dostępu na podstawie statystycznej

dostępności urządzeń tworzących siećPromotor Prof. zw. dr hab. inż. Jan Węglarz/ dr inż. Maciej Stroiński

Opiekun Dr inż. Norbert Meyer / dr inż. Paweł Wolniewicz

Temat Społecznościowa aplikacja webowa wykorzystująca dane z sensorów samochodowych.

Cel pracy Celem pracy jest stworzenie aplikacji webowej z wykorzystaniem danych pochodzących z sensorów samochodowych i udostępnionych w modelu społecznościowym. Przykładowe aplikacje: ocena efektywności jazdy, wykrywanie niebezpiecznych sytuacji na drodze, itd.

Zadania 1. Integracja z aplikacją androidową (np. Torque) do pobierania danych z interfejsu OBDII przez Bluetooth

2. Agregacja zebranych danych w bazie danych z zachowaniem prywatności i poufności

3. Implementacja algorytmów filtrujących danych z uwzględnieniem czasu i lokalizacji

4. Implementacja aplikacji webowej prezentującej dane na mapach.Promotor Prof. zw. dr hab. inż. Jan Węglarz/ dr inż. Maciej Stroiński

Opiekun Dr inż. Norbert Meyer / dr inż. Paweł Wolniewicz

Temat Radiowa lokalizacja osób i obiektów w pomieszczeniu

Cel pracy Celem jest przedstawienie problematyki lokalizacji obiektów w pomieszczeniach metodami radiowymi.

Zadania Wprowadzenie do metod radiowej lokalizacji obiektów. Realizacja sprzętowa systemu lokalizacji z uwzględnieniem wybranych układów radiowych i modułów rozwojowych. Opracowanie i uruchomienie aplikacji na PC / urządzenie mobilne. Testy systemu lokalizacji.

Promotor Dr inż. Zygmunt Kubiak

Opiekun

Temat Projekt i implementacja kognitywnej aplikacji wykorzystującej system IBM Watson

Cel pracy Opracowanie kognitywnej aplikacji wykorzystującej system IBM Watson

Zadania 1. Zebranie i przetworzenie wstępne korpusu dokumentów trenujących (pożądana tematyka: inżynieria bezpieczeństwa & BHP)

2. Opracowanie "złotego standardu" - par pytań i odpowiedzi do trenowania IBM Watsona

3. Opracowanie webowego lub mobilnego interfejsu

4. Integracja API IBM Watson z aplikacjąPromotor Dr inż. Agnieszka Ławrynowicz

Opiekun

Temat Inteligentne systemy komponowania muzyki dla robotów (temat zajęty)

Cel pracy Celem pracy jest przegląd i realizacja wybranych inteligentnych algorytmów automatycznej kompozycji dla robotów muzycznych

Zadania Studia literaturowe, opracowanie i oprogramowanie wybranych inteligentnych algorytmów kompozycji,

Promotor Dr inż. Ewa Łukasik /dr inż. Artur Michalski

Opiekun dr inż. Artur Michalski/dr inż. Ewa Łukasik (lub odwrotnie)

Temat Porównanie cech dźwięku skrzypiec w czasie rzeczywistym

Cel pracy Integracja algorytmów porównania kształtu obwiedni sygnału w dziedzinie czasu i częstotliwości dla kolejnych zdarzeń muzycznych, jakimi są kolejne nuty

Zadania Analiza częstotliwości podstawowej, wykrywanie początku granej nuty, analiza obwiedni w dziedzinie czasu i częstotliwości, zbadanie podobieństwa dla nagrań różnych instrumentów. Zastosowanie w czasie międzynarodowego konkursu lutniczego

Promotor Dr inż. Ewa Łukasik

Opiekun j.w.

Temat Adaptacja algorytmów SIFT (Scale Invariant feature transform) opisującej lokalne cechy obrazu do ich realizacji za pomocą akceleratorów sprzętowych

Cel pracy Celem pracy jest analiza algorytmów SIFT pod katem przyspieszenia obliczeń za pomocą akceleratorów sprzętowych

Zadania Przegląd zastosowań algorytmów SIFT, analiza algorytmów SIFT pod kątem ich przyspieszenia za pomocą akceleratorów sprzętowych (np. FPGA), realizacja programowa

Promotor Dr inż. Ewa Łukasik

Opiekun Dr inż. Paweł Śniatała/dr inż. Rafał Kapela

Temat Klasyfikacja danych z uwzględnieniem kosztów testów i wiedzy dziedzinowej.

Cel pracy Projekt i implementacja klasyfikatora dla środowiska WEKA, bazującego na naiwnym klasyfikatorze bayesowskim, minimalizującego koszty testów, i uwzględniającego wiedze dziedzinową w postaci poziomów abstrakcji wartości atrybutów

Zadania Zapoznanie się z istniejącą implementacją w języku JAVA dla środowiska WEKA klasyfikatora uwzględniającego wiedzę dziedzinową, projekt i implementacja w języku JAVA dla środowiska WEKA klasyfikatora uwzględniającego koszty testów i wiedzę dziedzinową

Promotor dr inż. Tomasz Łukaszewski

Opiekun dr inż. Tomasz Łukaszewski

Temat Naiwny klasyfikator bayesowski uwzględniający koszty testów i wiedzę dziedzinową

Cel pracy Projekt i implementacja klasyfikatora w języku JAVA, bazującego na naiwnym klasyfikatorze bayesowskim, minimalizującego koszty testów, i uwzględniającego wiedzę dziedzinową w postaci poziomów abstrakcji wartości atrybutów

Zadania Zapoznanie się z istniejącą implementacją w języku PASCAL klasyfikatora uwzględniającego wiedzę dziedzinową, projekt i implementacja w języku JAVA klasyfikatora uwzględniającego koszty testów i wiedzę dziedzinową

Promotor dr inż. Tomasz Łukaszewski

Opiekun dr inż. Tomasz Łukaszewski

Temat Cytadela AR – system rozszerzonej rzeczywistości Fortu Winiary (Cytadeli Poznańskiej) – temat dla dwóch osób

Cel pracy Projekt i budowa systemu rozszerzonej rzeczywistości dla platform mobilnych, prezentującego historyczne fortyfikacje Fortu Winiary

Zadania 1. Zebranie materiałów historycznych dotyczących konstrukcji i

architektury fortyfikacji Cytadeli Poznańskiej2. Technologia rozszerzonej rzeczywistości – wymagania, narzędzia, przegląd i wybór rozwiązań3. Projekt i implementacja systemu system rozszerzonej rzeczywistości Fortu Winiary

Promotor dr inż. Artur Michalski

Opiekun j.w.

Temat Możliwości wykorzystania sterownika FX5U firmy Mitsubishi Electric w monitorowaniu procesu rozproszonego za pośrednictwem sieci Ethernet

Cel pracy Zapoznanie się z możliwościami komunikacyjnymi sterownika FX5U.

Dane wyjściowe

Literatura systemowa i aplikacyjna sterownika FX5U firmy Mitsubishi Electric.

Zadania 1. Opracować własności sprzętowo-programowe sterownika FX5U.2. Opracować własności komunikacyjne sterownika FX5U.3. Uruchomić przykładową sieć przemysłową opartą na sterownikach FX5U i transmisji przewodowej i/lub bezprzewodowej.4. Opracować dydaktyczne ćwiczenie z omawianej tematyki.

Promotor dr inż. Roman Mielcarek

Opiekun dr inż. Roman Mielcarek

Temat Możliwości komunikacyjne sterowników kompaktowych FX firmy Mitsubishi Electric

Cel pracy Zapoznanie się z możliwościami komunikacji przewodowej i bezprzewodowej sterowników FX

Dane wyjściowe

Literatura systemowa i aplikacyjna sterowników rodziny FX Mitsubishi Electric oraz urządzeń komunikacyjnych.

Zadania 1. Przedstawić własności sprzętowo-programowe portów komunikacyjnych i modułów sieciowych sterownika FX.2. Przedstawić własności komunikacyjne modemów przemysłowych.3. Uruchomić przykładową sieć przemysłową opartą na sterownikach FX i transmisji przewodowej i/lub bezprzewodowej.4. Opracować dydaktyczne ćwiczenie z omawianej tematyki.

Promotor dr inż. Roman Mielcarek

Opiekun dr inż. Roman Mielcarek

Temat Zastosowanie technik automatycznej identyfikacji w procesie tworzenia, wypełniania i zatwierdzania formularzy (temat zajęty)

Cel pracy Celem pracy jest zaprojektowanie i wykonanie systemu informatycznego, w którym techniki automatycznej identyfikacji (kody kreskowe, RFID, NFC itp.) zostaną zastosowane w procesie wprowadzania danych do

formularzy, a następnie poświadczania poprawności i wiarygodności tych danych.

Zadania Analiza stanu obecnego w zakresie tematyki pracy. Wybór odpowiednich technologii związanych z automatyczną identyfikacją, które zostaną zastosowane w realizowanym rozwiązaniu. Zaprojektowanie, zaimplementowanie i przetestowanie systemu służącego do tworzenia formularzy z danymi, które wymagają zatwierdzenia oraz poświadczenia ich poprawności i autentyczności. Zaprojektowanie i wykonanie testów opracowanego rozwiązania.

Promotor dr hab. inż. Marek Mika

Opiekun

Temat Zastosowanie podejścia hiperheurystycznego dla pewnej klasy problemów rozdziału zasobów z kryterium kosztowym

Cel pracy Celem pracy jest opracowanie i zaimplementowanie hiperheurystyki dla wybranego problemu rozdziału zasobów, w którym miarą jakości uszeregowania jest kryterium kosztowe (np. koszty energii zużywanej przez zasoby) oraz zaprojektowanie i przeprowadzenie eksperymentu obliczeniowego.

Zadania Sformułowanie problemu, zaprojektowanie i zaimplementowanie hiperheurystyki, zaprojektowanie i przeprowadzenie eksperymentu obliczeniowego.


Opiekun

Temat Bezpieczna wymiana danych biznesowych poprzez sieć Internet – implementacja protokołu AS2

Cel pracy Prototypowa implementacja protokołu AS2 dla firmy zajmującej się wdrażaniem aplikacji biznesowych.

Zadania Projekt systemu bezpiecznego i niezawodnego przesyłania danych biznesowych przez Internet przy zastosowaniu protokołu AS2. Implementacja i testy funkcjonalne opracowanego rozwiązania.


Opiekun

Temat Projektowanie graficzne i wizualizacja przebiegu procesów typu workflow

Cel pracy Opracowanie i wykonanie prototypu systemu służącego do graficznego projektowania oraz wizualizacji przebiegów dla procesów typu workflow.

Zadania Opracowanie koncepcji narzędzi do graficznego projektowania oraz do wizualizacji procesów typu workflow. Implementacja i testy funkcjonalne prototypu.


Temat Internet rzeczy w inteligentnych budynkach.

Cel pracy Celem pracy jest analiza możliwości integracji i zarządzania inteligentnymi urządzeniami wyposażenia budynku inteligentnego.

Zadania 1. Analiza możliwości zdalnego zarządzania urządzeniami wyposażenia inteligentnego budynku.

2. Stworzenie koncepcji zdalnego zarządzania zespołem urządzeń w budynku i w kompleksie inteligentnych budynków.

3. Analiza bezpieczeństwa zaproponowanego rozwiązania.4. Analiza zysków z zastosowania systemu zarządzania inteligentnymi

urządzeniami budynkowymi.Promotor dr inż. Mariusz Nowak

Opiekun

Temat Projekt i implementacja inteligentnych algorytmów sterowania dla Internetu rzeczy na platformie Arduino zintegrowanej ze środowiskiem programistycznym Matlab

Cel pracy Celem pracy jest integracja platformy Arduino ze środowiskiem Matlab do realizacji systemu sterowania wybranym obiektem z wykorzystaniem inteligentnych algorytmów sterowania.

Zadania 1. Integracja platformy Arduino ze środowiskiem Matlab.2. Wybór obiektu sterowania i realizacja komunikacji między Arduino

a czujnikami pomiarowymi i urządzeniami wykonawczymi.3. Implementacja wybranych inteligentnych algorytmów sterowania w

środowisku Matlab i na platformie Arduino.4. Weryfikacja i walidacja zaproponowanego rozwiązania.

Promotor dr inż. Mariusz Nowak

Opiekun

Temat Projekt i implementacja inteligentnych algorytmów sterowania dla Internetu rzeczy na platformie Raspberry zintegrowanej ze środowiskiem programistycznym Matlab

Cel pracy Celem pracy jest integracja platformy Raspberry ze środowiskiem Matlab do realizacji systemu sterowania wybranym obiektem z wykorzystaniem inteligentnych algorytmów sterowania.

Zadania 1. Integracja platformy Raspberry ze środowiskiem Matlab.2. Wybór obiektu sterowania i realizacja komunikacji między

Raspberry a czujnikami pomiarowymi i urządzeniami wykonawczymi.

3. Implementacja wybranych inteligentnych algorytmów sterowania w środowisku Matlab i na platformie Raspberry.

4. Weryfikacja i walidacja zaproponowanego rozwiązania.Promotor dr inż. Mariusz Nowak

Opiekun

Temat Metoda projektowania w oparciu o model z wykorzystaniem platform Arduino/Raspberry i narzędzi Matlab/Simulink dla Internetu rzeczy

Cel pracy Celem pracy jest integracja platformy Arduino/Raspberry ze środowiskiem Matlab oraz syntezę inteligentnych algorytmów sterowania w oparciu o modele obiektów.

Zadania 1. Integracja platform Arduino/Raspberry ze środowiskiem Matlab/Simulink

2. Implementacja modeli obiektów sterowania w środowisku Matlab/Simulink

3. Synteza wybranych inteligentnych algorytmów sterowania z wykorzystaniem symulowanych modeli obiektów.

4. Weryfikacja i walidacja opracowanych algorytmów sterowania.Promotor dr inż. Mariusz Nowak

Opiekun

Temat Predykcja zużycia energii w budynku z wykorzystaniem modelu zachowań mieszkańców

Cel pracy Celem pracy jest stworzenie komputerowego systemu monitorującego zachowania mieszkańców budynków. Na podstawie zgromadzonych danych należy stworzyć model zachowań mieszkańców. Na bazie modelu zachowań stworzyć system predykujący zużycie energii w budynku.

Zadania 1. Projekt i wykonanie systemu komputerowego do monitoringu zachowań mieszkańców.

2. Opracowanie komunikacji między systemem komputerowym a serwerem danych.

3. Opracowanie algorytmów predykujących zużycie energii w budynku.

4. Weryfikacja opracowanego systemu i algorytmów.Promotor dr inż. Mariusz Nowak

Opiekun

Temat Modelowanie i szeregowanie zadań obliczeniowych z uwzględnieniem ograniczeń termicznych

Cel pracy Opracowanie modelu zadania obliczeniowego i algorytmu szeregowania z uwzględnieniem ograniczeń termicznych procesora

Zadania Przegląd i analiza znanych modeli termicznych procesora. Dostosowanie wybranego modelu termicznego do dynamicznego modelu zadania obliczeniowego. Opracowanie algorytmu dokładnego i/lub heurystycznego

dla wybranego kryterium optymalizacji.Promotor dr hab.inż. Rafał Różycki

Temat Uniwersalny mobilny system informowania w oparciu o lokalizacje wewnątrzbudynkową

Cel pracy Opracowanie aplikacji mobilnej, której zadaniem jest prezentowanie informacji dedykowanej dla określonej lokalizacji uzyskanej w oparciu o wybraną metodę lokalizacji wewnątrzbudynkowej.

Zadania Przegląd i opracowanie klasyfikacji istniejących metod lokalizacji wewnątrzbudynkowej, dobór platformy dla aplikacji mobilnej, opracowanie projektu aplikacji, implementacja i testowanie gotowego rozwiązania

Promotor dr hab.inż. Rafał Różycki

Temat Wybrane zagadnienia optymalizacji w Internecie Rzeczy (Przedmiotów)

Cel pracy Analiza możliwości wykorzystanie narzędzi badań operacyjnych w Internecie Rzeczy. Zaproponowanie przykładowych algorytmów optymalizacyjnych.

Zadania Dokonanie przeglądu zagadnień związanych z Internetem Rzeczy w celu rozpoznania nietrywialnych zagadnień optymalizacyjnych, opracowanie odpowiedniego modelu matematycznego dla wybranego zagadnienia, opracowanie algorytmu optymalizacyjnego, przeprowadzenie eksperymentu obliczeniowego.


Temat Metody numerycznego wyznaczania rozdziału zasobów w pewnym problemie szeregowania zadań z ograniczeniami energetycznymi

Cel pracy Dobór lub opracowanie specjalizowanej metody numerycznego wyznaczania rozwiązania pewnego problemu nieliniowego programowania matematycznego

Zadania Przegląd darmowych i komercyjnych solwerów nieliniowych; przygotowanie ich klasyfikacji i opisu; analiza metod numerycznego wyznaczania rozwiązań nieliniowych problemów optymalizacyjnych wykorzystywanych w solwerach; przygotowanie eksperymentu obliczeniowego; dobór kryteriów oceny badanych algorytmów; przeprowadzenie eksperymentów obliczeniowych i ocena badanych algorytmów.


Temat System monitorowania stanu wód gruntowych i powierzchniowych.

Cel pracy Opracowanie i realizacja systemu monitorowania stanu wód

wykorzystującego platformę sprzętową BeagleBone Black.Zadania - opracowanie zdalnego systemu monitorowania,

- implementacja aplikacji internetowej, - realizacja systemu pomiarowego.

Promotor dr inż. Przemysław Zakrzewski

Opiekun

Temat Wykorzystanie sztucznych sieci neuronowych do sterowania procesem napowietrzania w oczyszczalni ścieków.

Cel pracy Opracowanie i implementacja w środowisku MATLAB zaawansowanego sytemu sterowania procesem napowietrzania w oczyszczalni ścieków.

Zadania - opracowanie i implementacja algorytmu sterowania, - weryfikacja algorytmu sterowania w oparciu o skalibrowany model symulacyjny rzeczywistej oczyszczalni ścieków (gotowy model w środowisku MATLAB).


Opiekun

Temat System wspomagania decyzji operatora oczyszczalni ścieków.

Cel pracy Opracowanie i implementacja systemu wspomagającego decyzje operatora oczyszczalni ścieków

Zadania - opracowanie i implementacja systemu wykorzystującego reguły rozmyte, - implementacja aplikacji internetowej.


Opiekun

Temat Pasywna identyfikacja użytkowników

Cel pracy Opracowanie metody pasywnej identyfikacji użytkowników w sieci w oparciu o wszelkie dane, które są od nich otrzymywane (nagłówki pakietów, dane, przesunięcie zegara w karcie sieciowej, etc.) oraz implementacja prototypowego podsystemu ją implementującego.

Zadania 1. Przegląd istniejących rozwiązań2. Zastosowanie metod statystycznych (m.in. browser fingerprinting,

clock skew)3. Opracowanie metody pasywnej4. Projekt i implementacja prototypowego podsystemu

Promotor Dr inż. Anna Kobusińska

Opiekun

Temat Analiza porównawcza wybranych algorytmów wykrywania nadużyć (Fraud Detection)

Cel pracy Przeprowadzenie studium literaturowego, implementacja algorytmów wykrywania nadużyć, opracowanie środowiska eksperymentalnego, analiza porównawcza

Zadania 1. Studium literaturowe2. Implementacja3. Eksperymenty praktyczne

Promotor dr hab. inż. Maciej Zakrzewicz

Opiekun

Temat Algorytmy wykrywania anomalii w trajektoriach poruszających się obiektów (GPS)

Cel pracy Przeprowadzenie studium literaturowego, implementacja wybranych algorytmów wykrywania anomalii, opracowanie środowiska eksperymentalnego, analiza porównawcza

Zadania 1. Studium literaturowe2. Implementacja3. Eksperymenty praktyczne

Promotor dr hab. inż. Maciej Zakrzewicz

Opiekun

Temat Predykcja mineralogii planetoid na podstawie danych fotometrycznych.

Cel pracy Projekt dotyczy zastosowania metod uczenia maszynowego do predykcji mineralogii (składu) planetoid. Projekt będzie realizowany wraz z Obserwatorium Astronomicznym UAM. Wiedza z zakresu astronomii nie jest wymagana.Znajomość mineralogii planetoid ma kluczowe znaczenie do zrozumienia historii i ewolucji Układu Słonecznego oraz układów planetarnych ogólnie.Głównym narzędziem do określenia mineralogii planetoid jest spektroskopia. Z około 650 000 obecnie znanych planetoid niestety tylko kilka tysięcy jest sklasyfikowanych spektroskopowo. Badania spektroskopowe są czasochłonne i niemożliwe do wykonania dla tak dużej ilości obiektów. Jedyną możliwością określenia przybliżonego typu spektroskopowego dla dużej liczby obiektów jest wykorzystanie fotometrycznych danych z dużych przeglądów nieba.Głównym zadaniem tego projektu będzie sprawdzenie czy na podstawie danych fotometrycznych z przeglądów Sloan Digital Sky Survey (SDSS),

Wide-field Infrared Survey Explorer (WISE) oraz bazy danych krzywych fazowych możliwe jest grupowanie planetoid w klasy odpowiadające 26 typom spektroskopowym, oraz czy możliwa jest predykcja (klasyfikacja) jednego z 26 typów spektroskopowych lub grupowanie (clustering), w ramach którego da się te typy przynajmniej do pewnego stopnia odtworzyć. Każda z baz zawiera dane dla kilkuset tysięcy planetoid. Dane te nie zawsze jednak dotyczą tych samych obiektów. Łącznie dostępnych jest po 6-7 cech fotometrycznych, które mogą posłużyć do grupowanie/predykcji typu spektroskopowego. Wszystkie cechy fotometryczne zawierają też informacje o błędach pomiarowych.Uzyskane wyniki mogą zostać porównane z obecnie znanymi przybliżonymi rozkładami typów taksonomicznych w Układzie Słonecznym oraz teorią powstawania układów planetarnych i kondensacji minerałów w zależności od gwiazdy centralnej. Wyniki tej pracy w zależności od otrzymanych rezultatów i potencjalnego wpływu na znajomość ewolucji układów planetarnych mogą zostać opublikowane.

Zadania 1. Zapoznanie się z tematyką uczenia maszynowego.2. Zapoznanie się z problemem badawczym: klasyfikacja spektroskopowa planetoid,

dane fotometryczne z przeglądów nieba.3. Zapoznanie się ze zbiorami danych.4. Implementacja i testowanie metod grupowania i klasyfikacji.5. Wybór najlepszych metody i porównanie z danymi dostępnymi w literaturze.

Promotor Dr inż. Wojciech Kotłowski

Opiekun Dr Dagmara Oszkiewicz, Obserwatorium Astronomiczne UAM.

Temat Przyrostowe grupowanie poprzez mieszaniny rozkładów gaussowskich.

Cel pracy Praca dotyczy dziedziny uczenia maszynowego, której celem jest projektowanie inteligentnych algorytmów adaptujących się i uczących z danych. W szczególności, będzie to tematyka tzw. uczenia się przyrostowego, w którym dane nadchodzą do systemu sekwencyjnie, a algorytm uczący na bieżąco dokonuje predykcji i uaktualnia swój stan. W ramach pracy student zajmie się algorytmem grupowania (clustering), skupiając się na grupowanie poprzez modelowanie mieszaninami rozkładów Gaussowskich. Celem pracy może być (w zależności od tego czy student jest nastawiony na pracę bardziej teoretyczną, czy techniczną) porównanie jakości istniejących rozwiązań na danych rzeczywistych, bądź próba wymyślenia nowych bądź adaptacji istniejących rozwiązań. Potencjalnym zastosowaniem metod jest przyrostowe grupowanie dokumentów tekstowych.

Zadania 1. Zapoznanie się z tematyką uczenia maszynowego, w szczególności z przyrostowym uczeniem się.2. Zapoznanie się ze problemem grupowania oraz z problemem modelowania za pomocą mieszaniny rozkładów gaussowskich3. Zapoznanie się z podstawowymi algorytmami przyrostowego grupowania.4. Implementacja kilku istniejących rozwiązań.5. Testowanie istniejących algorytmów, ew. próba wymyślenia nowych bądź adaptacji istniejących rozwiązań.

Promotor Dr inż. Wojciech Kotłowski

Opiekun Dr inż. Wojciech Kotłowski

Temat Activity-based computing w zastosowaniach klinicznych

Cel pracy Celem pracy jest zapoznanie się z ideą activity-based computing (ABC), jej wykorzystaniem do projektowania i budowy systemów klinicznych oraz budową przykładowego systemu, wspomagającego pracę personelu medycznego w wybranym środowisku (np. w izbie przyjęć).

Zadania 1. Zapoznanie się z ideą ABC2. Przegląd literatury na temat zastosowań klinicznych ABC3. Przegląd dostępnych narzędzi i bibliotek programistycznych

wspomagających tworzenie rozwiązań ABC4. Projekt systemu klinicznego wykorzystującego ABC5. Implementacja i testy stworzonego systemu6. Przygotowanie dokumentacji technicznej oraz użytkowej

Promotor dr hab. inż. Szymon Wilk

Opiekun dr hab. inż. Szymon Wilk

Temat Interaktywne środowisko do tworzenia i testowania sztucznych zbiorów danych

Cel pracy Celem pracy jest stworzenie środowiska pozwalającego na interaktywne tworzenie oraz weryfikację sztucznych zbiorów danych. Powinno ono pozwalać na wizualizację tworzonych zbiorów, ich prostą analizę (np. testowanie sąsiedztwa) oraz testowanie przy wykorzystaniu filtrów i klasyfikatorów z systemu WEKA.

Zadania 1. Zapoznanie się z problematyką wykorzystana sztucznych zbiorów danych w uczeniu maszynowym.

2. Zapoznanie się z dostępnymi generatorami sztucznych danych oraz z systemem WEKA.

3. Projekt architektury systemu oraz jego interfejsu użytkownika4. Implementacja i testy stworzonego systemu.5. Przygotowanie dokumentacji technicznej i użytkownika.

Promotor dr hab. inż. Szymon Wilk


Temat Wykorzystanie logiki pierwszego rzędu do wspomagania wykonywania procesów klinicznych

Cel pracy Celem pracy jest rozszerzenie systemów do wykonywania procesów biznesowych o możliwość wspomagania realizacji procesów klinicznych poprzez wprowadzenie rozszerzonej reprezentacji procesów oraz dodatkowych reguł dziedzinowych sterujących ich wykonaniem. Rozszerzona reprezentacja oraz reguły powinny zostać sformułowane w logice pierwszego rzędu (first-order logic, FOL), a do wnioskowania

powinien zostać wykorzystany mechanizm dowodzenia twierdzeń.Zadania 1. Zapoznanie się z procesami biznesowymi, ich modelowaniem oraz

systemami do ich wykonywania.2. Zapoznanie się z podstawami FOL, mechanizmem dowodzenia

twierdzeń oraz dostępnymi narzędziami3. Rozszerzenie wybranego systemu do wykonywania procesów

biznesowych (dostępnego na licencji open source) o warstwę FOL.4. Przetestowanie rozwiązania na wybranych procesach klinicznych.5. Przygotowanie dokumentacji technicznej opracowanego

rozwiązania.Promotor dr hab. inż. Szymon Wilk


Temat Reprezentacja generatywna w ewolucji konstrukcji trójwymiarowych

Cel pracy Zaimplementowanie reprezentacji generatywnej i dedykowanych operatorów genetycznych oraz przeprowadzenie na niej eksperymentów ewolucyjnych.Materiały: literatura na temat reprezentacji generatywnych oraz dokumentacja i źródła SDK symulatora Framsticks

Zadania 1. Zapoznanie się z SDK2. Implementacja reprezentacji generatywnej i operatorów

genetycznych3. Przeprowadzenie porównawczych eksperymentów ewolucyjnych

Promotor dr hab. inż. Maciej Komosiński

Opiekun dr hab. inż. Maciej Komosiński

Temat Równoległa koewolucja konkurencyjna populacji typu drapieżnik-ofiara

Cel pracy Przeprowadzanie eksperymentów z koewolucją dwóch wzajemnie oceniających się populacji; analiza postępów i jakości odkrywanych strategii w obu populacjach.Materiały: literatura na temat koewolucji; dokumentacja symulatora Framsticks, języka FramScript, opcjonalnie: środowiska ecj i cecj

Zadania 1. Wybór konkretnego zadania typu drapieżnik-ofiara2. Implementacja definicji eksperymentu w języku FramScript3. Opcjonalnie: zrównoleglenie obliczeń przy wykorzystaniu cecj4. Przeprowadzenie eksperymentów; interpretacja wykształconych strategii i zachowań

Promotor dr hab. inż. Maciej Komosiński

Opiekun dr hab. inż. Maciej Komosiński

Temat Uczenie się ze wzmocnieniem z informacji obrazowej w środowisku 3D.

Cel pracy1. Cel

Celem pracy jest opracowanie algorytmów sztucznej inteligencji dla agenta, który potrafi działać i uczyć się w oparciu o informację obrazową w środowisku 3D (uczenie się ze wzmocnieniem). Domenę zastosowań stanowiły będą różnej trudności zadania w środowisku jednej z gier typu FPS (środowisko testowe zostanie przygotowane jako praca inżynierska).W badaniach zostaną wykorzystanie następujące metody i technologie:

1. algorytmy uczenia się ze wzmocnieniem,2. (głębokie lub rekurencyjne) sieci neuronowe,3. obliczenia na GPU.

2. Motywacja

W ostatnich latach obserwuje się dynamiczny rozwój i zapotrzebowanie na systemy sztucznej inteligencji (uczenie maszynowe, „deep learning”, „big data”). W szczególności, jesteśmy świadkami znacznych sukcesów odnoszonych dla problemów uczenia się z informacji obrazowej. Dotychczas sukcesy te dotyczyły głównie problemów uczenia nadzorowanego (np. klasyfikacja obrazów). Natomiast niewiele jest badań, które adresowałyby problemy uczenia się ze wzmocnieniem z informacji obrazowej. W szczególności, do tej pory nie stosowano algorytmów uczących się z informacji obrazowej do gier typu FPS, które stanowią dobre przybliżenie problemów świata rzeczywistego („gry są Formułą 1 sztucznej inteligencji”).Badania te mają bezpośrednie przełożenie na rozwiązania praktycznych problemów stojących przed robotami mobilnymi wyposażonymi w kamery.

Zadania 1. Zapoznanie się literaturą dotyczącą i) dotychczasowych badań nad sztuczną inteligencją dla gier FPS, ii) głębokimi sieciami neuronowymi oraz iii) algorytmami uczenia się ze wzmocnieniem.

2. Wybór scenariuszy o odpowiedniej trudności (zadań uczenia się)3. Projektowanie i implementacja algorytmów4. Wykonanie eksperymentów obliczeniowych

Promotor dr inż. Wojciech Jaśkowski

Opiekun dr inż. Wojciech Jaśkowski

Temat Metody planowania Monte Carlo dla problemów General Game Playing

Cel pracy Celem pracy jest opracowanie i implementacja nowych algorytmów planowania dla sekwencyjnych problemów decyzyjnych oraz eksperymentalna weryfikacja zaproponowanych algorytmów w dziedzinie General Game Playing, w której celem jest stworzenie inteligentnego agenta zdolnego efektywnie działać w wielu różnych środowiskach.

Zadania 2. Zapoznanie się z literaturą dotyczącą pracy oraz istniejącymi implementacjami środowisk typu General Game Playing.

3. Analiza istniejących algorytmów planowania, w szczególności

algorytmu Monte Carlo Tree Search (MCTS).4. Opracowanie nowego algorytmu planowania.5. Implementacja algorytmu oraz integracja z wybranym środowiskiem

General Game Playing.6. Przeprowadzenie eksperymentów obliczeniowych.

Promotor dr inż. Marcin Szubert

Opiekun dr inż. Marcin Szubert

Temat Rozszerzenie dominacyjnej teorii zbiorów przybliżonych na pseudo-kryteria(Extension of the dominance-based rough set approach on pseudo-criteria)

Cel pracy Zdefiniować relację przewyższania w zbiorze obiektów ocenianych za pomocą pseudo-kryteriów (kryteriów z progami nierozróżnialności i preferencji). Zastosować ją w definicji dolnego przybliżenia unii uporządkowanych klas decyzyjnych z zadanym stopniem wiarygodności. Wygenerować reguły decyzyjne i zaproponować algorytm klasyfikacji.

Zadania Opisać i zaimplementować powyższą metodykę oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

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

Opiekun Dr inż. Miłosz Kadziński

Temat Zastosowanie uczenia aktywnego do indukcji reguł monotonicznych w problematyce klasyfikacji porządkowej(Application of active learning to induction of monotonic rules in ordinal classification)

Cel pracy Zastosować zasadę uczenia aktywnego (znaną z uczenia maszynowego) do konstrukcji kombinacji liniowej atrybutów ilościowych w klasyfikacji porządkowej z ograniczeniami monotonicznymi. Włączyć nowy atrybut do indukcji reguł monotonicznych z przykładów uczących.

Zadania Opisać i zaimplementować powyższą metodykę w oparciu o bibliotekę programową java Rough Set (jRS) oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie i instrukcję użytkownika.

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

Opiekun Dr inż. Miłosz Kadziński

Temat Eksploracja strumieni danych z niezrównoważonymi klasami

Cel pracy Zaprojektować i ocenić eksperymentalnie algorytm uczenia się klasyfikatora z przykładów w postaci strumienia danych, w którym

zachodzą zmiany w liczności klas przykładów.Zadania Zapoznać się z literaturą, w szczególności dotyczącą zastosowania metod

uczenia maszynowego i eksploracji strumieni danych. Dokonać analizy istniejących propozycji algorytmów i wspólnie z promotorem zaprojektować nowy algorytm budowy klasyfikatora złożonego lub dokonać modyfikacji propozycji literaturowej.

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

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

Temat Uwzględnianie źródeł trudności rozpoznawania klas mniejszościowych w kontekście poprawy zdolności klasyfikacyjnych reguł

Cel pracy Zastosować wybrane metody identyfikacji trudnych przykładów z klasy mniejszościowych i przeprowadzić ocenę eksperymentalną ich wpływu na uczenie klasyfikatorów regułowych.

Zadania Zapoznać się z literaturą, dotyczącą metod uczenia maszynowego i analizy niezrównoważonych danych. Ewentualna implementacja nowych metod (środowisko WEKA i język Java). Badania eksperymentalne nad identyfikacją i rolą trudnych przykładów z klasy mniejszościowej. Ocena ich roli dla poprawy zdolności klasyfikacyjnych zbiorów reguł i ich zastosowania do analizy wybranych problemów medycznych.



Temat Metody identyfikacji zmian definicji pojęć w strumieniach danych

Cel pracy Przeanalizować i przebadać istniejące algorytmy detekcji zmian definicji tzw. pojęć (ang. concept drift) w danych strumieniowych i ewentualnie zmodyfikować wybrany detektor dla uwzględnienia zmian w niezrównoważonych liczności przykładów w klasach.

Zadania Zapoznać się z literaturą, w szczególności dotyczącą zastosowania metod uczenia maszynowego i eksploracji strumieni danych. Dokonać analizy istniejących propozycji algorytmów i wspólnie z promotorem zaprojektować nowy algorytm lub dokonać modyfikacji propozycji literaturowej.



Temat ICUPad – moduł analizy danych i wspomagania decyzji

Cel pracy ICUPad to pilotażowe wdrożenie systemu monitorowania stanu pacjenta z wykorzystaniem tabletów na oddziale intensywnej opieki pooperacyjnej. Obecnie realizowany jest pierwszy etap związany głównie ze zbieraniem

danych pacjentów.Celem pracy jest zaproponowanie i zaimplementowanie w systemie modułu eksperckiego, który rozszerzy funkcjonalność systemu.

Zadania 1. Zapoznanie się z obecnym stanem systemu ICUPad2. Zaproponowanie metody uczenia się z danych i klasyfikatora3. Zaprojektowanie modułu eksperckiego4. Implementacja modułu5. Przeprowadzenie testów6. Wdrożenie w ramach systemu

Promotor dr inż. Bartłomiej Prędki

Opiekun dr inż. Bartłomiej Prędki

Temat BikeNav – system nawigacji dla turystów rowerowych

Cel pracy Celem pracy jest stworzenie systemu nawigacji dla rowerzystów wraz z towarzyszącą aplikacją webową, umożliwiającego dzielenie się ciekawymi trasami po ścieżkach rowerowych, planowanie przejazdów i nawigację w terenie z wykorzystaniem telefonu komórkowego.

Zadania 1. Rozpoznanie rynku istniejących systemów2. Zaprojektowanie aplikacji mobilnej (system do wyboru) służącej do

rejestrowania przejazdów i nawigacji po zdefiniowanej trasie3. Implementacja w/w aplikacji4. Zaprojektowanie protokołu wymiany danych5. Zaprojektowanie aplikacji webowej do współdzielenia się trasami6. Implementacja w/w aplikacji7. Przeprowadzenie testów systemu

Promotor dr inż. Bartłomiej Prędki

Opiekun dr inż. Bartłomiej Prędki

Temat Wsteczna propagacja semantyk w automatycznej syntezie programów.

Cel pracy Zaimplementowanie nowych metod syntezy programów bazujących na programowaniu genetycznym wykorzystującym wsteczną propagację semantyk oraz eksperymentalne zbadanie zaproponowanych metod.

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

Promotor dr inż. Bartosz Wieloch

Opiekun dr inż. Bartosz Wieloch

Temat System wyszukiwania informacji o wydarzeniach wg zadanej lokalizacji i terminu

Cel pracy Opracowanie systemu wyszukującego w Internecie odpowiednie informacje i prezentującego użytkownikom listę wydarzeń, które mają się odbyć w określonym terminie, ułożoną wg rosnącej odległości od zadanej lokalizacji (domyślnie bieżącej). Typ wydarzeń ma zostać ograniczony w trakcie opracowywania wymagań do np. wydarzeń kulturalnych o określonym charakterze, np. koncerty, festyny, msze św.

Zadania 1. Zbadanie możliwości wykorzystania informacji pochodzących z wybranych tematycznych serwisów internetowych.

2. Opracowanie wymagań dotyczących sposobu działania aplikacji dostępowej do serwisu.

3. Wykonanie projektu bazy danych.4. Implementacja aplikacji webowej pełniącej rolę serwera i aplikacji

mobilnej na system Android (lub iOS).5. Przeprowadzenie testów walidacyjnych.6. Opracowanie instrukcji użytkownika.

Promotor dr inż. Irmina Masłowska

Opiekun dr inż. Irmina Masłowska

Temat Analiza porównawcza procedur wyboru reprezentatywnej funkcji wartości dla problemów wielokryterialnego porządkowania i sortowania

Cel pracy Opisać i zaimplementować procedury wyboru pojedynczej reprezentatywnej funkcji wartości ze zbioru wszystkich funkcji spójnych z preferencjami decydenta w postaci pośredniej. Uwzględnić różnorodne interpretacje (funkcja centralna, najbardziej dyskryminująca, średnia, odporna i inne), parametryzację kształtu funkcji oraz specyfikę problemów wielokryterialnego porządkowania i sortowania. Przeprowadzić eksperymenty obliczeniowe dotyczące zgodności rekomendacji sugerowanej przez funkcje z założonym prawdziwym modelem preferencji decydenta oraz odporności tej rekomendacji względem wyników sugerowanych przez cały zbiór spójnych funkcji wartości.

Zadania Opisać i zaimplementować powyższe procedury. Przedstawić przykłady ilustrujące jej wykorzystanie oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie w języku R oraz moduły dedykowane dla platformy diviz.

Promotor dr inż. Miłosz Kadziński

Opiekun mgr inż. Krzysztof Ciomek

Temat Metody badania odporności dla granicznej analizy danych

Cel pracy Opisać i zaimplementować metody badania odporności jednostek decyzyjnych oparte na modelu ilorazowym oraz addytywnej funkcji wartości. Uwzględnić hierarchiczną strukturę nakładów i efektów oraz nieprecyzyjne oceny jednostek decyzyjnych. Zaproponowane metody powinny wykorzystywać techniki programowania liniowego oraz procedury symulacji Monte Carlo z założonym rozkładem.

Zadania Opisać i zaimplementować powyższą metodykę. Przedstawić przykłady ilustrujące jej wykorzystanie. Do tekstu pracy dołączyć oprogramowanie w języku R oraz moduły dedykowane dla platformy diviz.


Opiekun dr inż. Miłosz Kadziński

Temat Odporne procedury wyborcze dla teorii społecznego wyboru

Cel pracy Opracować i zaimplementować odporne procedury wyborcze spójne z porównaniami par kandydatów. Uwzględnić procedury, w których kandydaci są porównywani pod względem pozycji zajmowanych w profilu wyborczym lub indywidualnej konfrontacji z każdym z pozostałych kandydatów. Pokazać przykłady działania dla znanych metody wyborczych oraz zaproponować różne procedury elicytacji preferencji. Przeprowadzić eksperymenty obliczeniowe dla różnych rozmiarów problemów oraz wielkości zbiorów referencyjnych. Zbadać liczbę możliwych zwycięzców oraz charakterystykę porządku sugerowanego przez regułę odporną.

Zadania Opisać i zaimplementować powyższe algorytmy. Przedstawić przykłady ilustrujące jej wykorzystanie oraz wykonać eksperyment obliczeniowy. Do tekstu pracy dołączyć oprogramowanie w języku Python oraz moduły dedykowane dla platformy diviz.



Temat Wykorzystanie algorytmu opisu segmentacyjnego w badaniu odporności rekomendacji dla problemów wielokryterialnych

Cel pracy Opracować i zaimplementować algorytmy opisu segmentacyjnego (ang. segmenting description), które służą do rozwiązywania problemów programowania liniowego bez użycia narządzenia optymalizującego (solvera). W działaniu algorytmów wykorzystać trzy podstawowe operacje: izolację, krzyżowanie oraz połączenie. Zapewnić działanie algorytmów niezależnie od charakterystyki początkowego zbioru nierówności. Pokazać użyteczność algorytmów na przykładzie badania odporności relacji preferencji (konieczność i możliwość) oraz wykrywania przyczyn niespójności informacji preferencyjnej dla funkcyjnego modelu preferencji. Uwzględnić parametryzację kształtu funkcji użyteczności.

Zadania Opisać i zaimplementować powyższe algorytmy. Przedstawić przykłady ilustrujące ich wykorzystanie. Do tekstu pracy dołączyć oprogramowanie w dedykowane na platformę diviz.



Temat Algorytm ewolucyjny dla problemu komiwojażera z zyskami

Cel pracy Opracowanie i testy algorytmu ewolucyjnego dla problemu komiwojażera z zyskami (TSP with profits)

Zadania Analiza literatury, projekt, implementacja, testy algorytmu, eksperymenty obliczeniowe

Promotor dr hab. inż. Andrzej Jaszkiewicz, prof. PP

Opiekun dr hab. inż. Andrzej Jaszkiewicz, prof. PP

Temat Algorytm ewolucyjny dla wielokryterialnych problemów z heterogenicznymi kryteriami

Cel pracy Opracowanie i testy algorytmu ewolucyjnego dla wielokryterialnych problemów z heterogenicznymi kryteriami




Temat Ewolucyjna optymalizacja kampanii reklamowych

Cel pracy Opracowanie algorytmów optymalizacji i predykcji kampanii reklamowych on-line




Temat Implementacja metody regresji z automatyczną transformacją zmiennych.

Cel pracy Zaimplementowanie i przetestowanie systemu implementującego metodę regresji liniowej wyposażoną w moduł kontrolowanego transformowania zmiennych, pozwalający na wykorzystanie modelu liniowego do modelowania szerokiej gamy zależności nieliniowych.

Zadania 1) Zapoznanie się z problemami regresji liniowej, regresji nieliniowej oraz z zagadnieniami interpolacji i modelowania krzywych. 2) Wybór technologii implementacyjnej. 3) Projekt i implementacja systemu. 4) Eksperymentalna weryfikacja stworzonych rozwiązań na wybranych zbiorach danych rzeczywistych.

Promotor dr inż. Robert Susmaga

dr inż. Robert Susmaga

Temat Weryfikacja eksperymentalna reduktów i konstruktów.

Cel pracy Zaimplementowanie i przetestowanie systemu dokonującego eksperymentalnej weryfikacji podzbiorów atrybutów, w tym tzw. reduktów i konstruktów (stanowiących podzbiory atrybutów zdefiniowane w oparciu o relacje dyskryminowania obiektów różnych klas i utożsamiania obiektów z tych samych klas).

Zadania 1) Zapoznanie się z: a) metodami uczenia maszynowego, a w tym: elementami teorii zbiorów przybliżonych, b) problemem selekcji cech, a w tym algorytmami generowania reduktów i konstruktów, c) technikami klasyfikacyjnymi, d) systemem Weka. 2) Zaprojektowanie i zaimplemen-towanie generatorów reduktów i konstruktów. 3) Przygotowanie i wyko-nanie eksperymentu obliczeniowego mającego na celu zweryfikowanie jakości reduktów i konstruktów i porównanie ich z innymi metodami selekcji cech dostępnymi w systemie Weka.

Promotor dr inż. Robert Susmaga

Opiekun dr inż. Robert Susmaga

Temat Porównanie technologii przetwarzania wielowątkowego na platformie .NET

Cel pracy Celem pracy jest zaimplementowanie i przetestowanie wybranych problemów wielowątkowych z wykorzystaniem technologii: TPL, wywołań asynchronicznych, CUDA oraz OpenCL.

Zadania Zaprojektowanie, zaimplementowanie i przetestowanie wielowątkowych algorytmów na platformie .NET z wykorzystaniem różnych podejść do tworzenia aplikacji wielowątkowych, ocena efektywności oraz stopnia złożoności i pracochłonności zastosowanych podejść

Promotor dr inż. Piotr Zielniewicz

Opiekun dr inż. Piotr Zielniewicz

Temat Aplikacja do wizualizacji i symulacji działania wybranych usług i poleceń w sieciach lokalnych i rozległych

Cel pracy Celem pracy jest stworzenie aplikacji desktopowej lub webowej o walorach dydaktycznych służącej do wizualizacji i symulacji działania niektórych usług oraz poleceń w sieciach lokalnych i rozległych

Zadania Zaprojektowanie, zaimplementowanie i przetestowanie działania aplikacji umożliwiającej wizualizację i edycję struktury sieci komputerowej, edycję wybranych parametrów urządzeń sieciowych, symulowanie działania wybranych usług sieciowych i poleceń (w tym DHCP/DNS/routing/ ping/traceroute) , animację ruchu pakietów w sieci oraz generowanie szczegółowego logu tekstowego

Promotor dr inż. Piotr Zielniewicz

Opiekun dr inż. Piotr Zielniewicz

Temat Odkrywanie statystycznie istotnych zależności w dużych zbiorach danych

Cel pracy Opracowanie i implementacja algorytmów służącego do odkrywania statystycznie istotnych zależności w dużych danych. Opracowanie i implementacja metody przeglądania powstałych wzorców. Integracja stworzonych rozwiązań z zaproponowanym środowiskiem analizy danych.

Zadania 7. Opracować algorytm odkrywania zależności.8. Opracować metodę prezentacji.9. Zaimplementować i udokumentować zaproponowane rozwiązania.10. Wykonać testy.11. Przeprowadzić eksperyment obliczeniowy.12. Opracować integrację zaproponowanych rozwiązań ze

środowiskiem analizy danych.Promotor dr inż. Jerzy Błaszczyński

Opiekun dr inż. Jerzy Błaszczyński

Temat Nowe heurystyki uczenia reguł decyzyjnych

Cel pracy Badania nad heurystykami uczenia reguł decyzyjnych z danych porządkowych. Opracowanie i implementacja wybranych algorytmów. Eksperymentalna ocena wybranych rozwiązań. Integracja stworzonych rozwiązań z zaproponowanym środowiskiem analizy danych.

Zadania 5. Zbadać heurystyki uczenia reguł decyzyjnych.6. Opracować i zaimplementować wybrane heurystyki.7. Przeprowadzić eksperyment obliczeniowy mający na celu ocenę

zaimplementowanych rozwiązań.8. Opracować integrację zaproponowanych rozwiązań ze

środowiskiem analizy danych.Promotor dr inż. Jerzy Błaszczyński

Opiekun dr inż. Jerzy Błaszczyński

Temat Efektywne i skalowalne algorytmy klasyfikacji wieloetykietowej bazujące na transformacji przestrzeni cech i etykiet

Cel pracy Celem pracy jest opracowanie, implementacja i eksperymentalna weryfikacja algorytmów klasyfikacji wieloetykietowej, które bazują na transformacji przestrzeni cech i etykiet. Przykładowym zastosowaniem opracowanych algorytmów jest automatyczne przydzielanie etykiet do dokumentów tekstowych na bazie polskiej Wikipedii.

Zadania 1. Zapoznanie się z tematyką uczenia maszynowego, problemu

wieloetykietowej klasyfikacji oraz algorytmami transformacji przestrzeni cech i etykiet.

2. Analiza istniejących podejść do rozwiązania problemu.3. Opracowanie, implementacja i weryfikacja empiryczna algorytmów.4. Zastosowanie algorytmów na przykładowym problemie.

Promotor dr inż. Krzysztof Dembczyński

Opiekun dr inż. Krzysztof Dembczyński

Temat Porównanie wybranych algorytmów klasyfikacji strukturalnej.

Cel pracy Praca dotyczy problematyki uczenia maszynowego, a dokładniej klasyfikacji strukturalnej. Przykładem takiego problemu może być automatyczne streszczania dokumentów tekstowych lub analiza składniowa zdań w języku naturalnym. Celem pracy jest porównanie (ewentualnie implementacja) wybranych algorytmów (np. warunkowe pola losowe, SEARN, HC-Search) na standardowych problemach klasyfikacji strukturalnej.

Zadania 1. Zapoznanie się z tematyką uczenia maszynowego w kontekście problemów klasyfikacji strukturalnej.

2. Analiza różnych podejść do problemu klasyfikacji strukturalnej.3. Implementacja algorytmów i ich weryfikacja empiryczna na

standardowych problemach klasyfikacji strukturalnej.

Promotor dr inż. Krzysztof Dembczyński

Opiekun dr inż. Krzysztof Dembczyński

Temat Porównanie Bayesowskich miar konfirmacji.

Cel pracy Zastosowanie popularnych miar oceny reguł (miar konfirmacji) w klasyfikatorach np. w środowisku Weka, porównanie ich pod względem wpływu na jakości klasyfikacji

Zadania 1. Zapoznanie się z klasyfikatorami np. dostępnymi w środowisku Weka

2. Przegląd miar oceny reguł decyzyjnych ze szczególnym uwzględnieniem Bayesowskich miar konfirmacji

3. Zastosowanie Bayesowskich miar konfirmacji w wybranych klasyfikatorach

4. Porównanie zmodyfikowanych klasyfikatorów pod względem jakości klasyfikacji na różnych zbiorach danych

5. Ocena porównawcza wykorzystanych Bayesowskich miar konfirmacji

Promotor dr inż. Izabela Szczęch

Opiekun dr inż. Izabela Szczęch

Temat Wspomaganie diagnozowania chorób układu wzrokowego metodami inteligencji obliczeniowej

Cel pracy Rozszerzenie systemu wspomagania diagnozowania chorób oka na podstawie obrazów otrzymanych technikami optycznej tomografii koherencyjnej (OCT)

Zadania Zaprojektowanie, implementacja, i przetestowanie algorytmów przetwarzania i analizy obrazów OCT (w oparciu o istniejące biblioteki i środowiska powstałe w ramach projektu RIMO, http://www.cs.put.poznan.pl/kkrawiec/wiki/?n=Site.OCTImaging). Preferowane wykorzystanie głęboko uczonych sztucznych sieci neuronowych (deep learning neural networks) i/lub programowania genetycznego (genetic programming).

Promotor dr hab. inż. Krzysztof Krawiec

Opiekun mgr inż. Paweł LiskowskiPraca realizowana w ramach projektu RIMO, http://www.cs.put.poznan.pl/kkrawiec/wiki/?n=Site.OCTImaging

Temat Efektywne algorytmy semantycznego programowania genetycznego

Cel pracy Biblioteka programistyczna implementująca efektywne algorytmy automatycznej syntezy programów oparta o istniejące środowiska programistyczne przygotowane w językach Java i Scala

Zadania Implementacja i rozwój algorytmów semantycznego programowania genetycznego w środowisku FlexGP (http://flexgp.csail.mit.edu/). Przetestowanie powstałych algorytmów w chmurze obliczeniowej.

Promotor Dr hab. inż. Krzysztof Krawiec

Opiekun Praca realizowana we współpracy z Computer Science and Artificial Intelligence Laboratory, MIT

Temat System diagnozowania nowotworów prostaty metodami inteligencji obliczeniowej

Cel pracy Zaimplementowany prototyp metody wspomagania diagnozowania nowotworów prostaty

Zadania Zaprojektowanie, implementacja i przetestowanie systemu diagnozowania nowotworów prostaty na podstawie obrazów histologicznych. Wykorzystanie gotowych implmentacji metod przetwarzania obrazów, rozpoznawania obrazów, oraz uczenia maszynowego dostępnych w bibliotekach programistycznych (np. OpenCV http://opencv.org, WEKA http://www.cs.waikato.ac.nz/ml/weka/, Caffee http://caffe.berkeleyvision.org/)

Promotor dr hab. inż. Krzysztof Krawiec

http://caffe.berkeleyvision.org/

http://www.cs.waikato.ac.nz/ml/weka/

http://opencv.org/

http://flexgp.csail.mit.edu/

http://www.cs.put.poznan.pl/kkrawiec/wiki/?n=Site.OCTImaging

http://www.cs.put.poznan.pl/kkrawiec/wiki/?n=Site.OCTImaging

Opiekun Praca realizowana we współpracy z University of Ottawa

fc.put.poznan.plfc.put.poznan.pl/sites/default/files/Tematy prac... · Web viewAgnieszka...

Documents

Transcript of fc.put.poznan.plfc.put.poznan.pl/sites/default/files/Tematy prac... · Web viewAgnieszka...