fc.put.poznan.plfc.put.poznan.pl/sites/default/files/Tematy prac magisterskich II_1... · Web viewPrzegląd literatury związanej z problematyką selekcji cech dla kosztowo-efektywnych

Tematy prac magisterskich: Informatyka 2018/19Wersja 2018-11-29

UWAGA: Tematy już zajęte są zaznaczone szarym tłem, tematy jeszcze wolne są na białym tle.

Z1-1

Temat Kryterium stopu sekwencyjnej klasyfikacji dla kosztowo-efektywnych decyzji

Cel pracy Implementacja uogólnionego kryterium stopu dla sekwencyjnej klasyfikacji

Zadania

Przegląd literatury związanej z problematyką selekcji cech dla kosztowo-efektywnych decyzji (np. wrapper, sekwencyjna klasyfikacja). Zapoznanie się z istniejącymi implementacjami w języku Python w.w. metodami selekcji cech. Implementacja w Pythonie uogólnionego kryterium stopu dla sekwencyjnej klasyfikacji (podanego w literaturze) i integracja z istniejącą implementacją sekwencyjnej klasyfikacji. Przeprowadzenie eksperymentu obliczeniowego, mającego na celu porównanie zaimplementowanych podejść do selekcji cech dla kosztowo-efektywnych decyzji.

Promotor dr inż. Tomasz Łukaszewski Dyplomant Studia stacjonarneZ1-2

Temat Algorytm ekstrakcji danych księgowych z faktur elektronicznych

Cel pracyOpracowanie i implementacja algorytmu ekstrakcji danych księgowych (np. dane kontrahentów, nr rachunku bankowego, pozycje na fakturze, kwoty) z faktur w postaci plików PDF.

Zadania

1. Przegląd literatury dotyczącej ekstrakcji informacji2. Budowa korpusu faktur3. Opracowanie algorytmu4. Ocena eksperymentalna

Promotor dr inż. Jędrzej Potoniec Dyplomant 117054Z1-3Temat Interfejs bazodanowy (ODBC/ADO) dla szkieletowego systemu eksperckiego CLIPS

Cel pracy Projekt i budowa narzędzi dostępu do relacyjnych baz danych opartych na standardzie ODBC/ADO oraz ich integracja z regułowym systemem eksperckim CLIPS

Zadania 1. Projekt mechanizmów obsługi relacyjnych baz danych w CLIPSie z uwzględnieniem standardu ODBC/ADO.2. Implementacja narzędzi komunikacji, generacji zapytań, obsługi transakcji oraz transformacji danych relacyjnych baz danych opartych na ODBC/ADO w CLIPSie3. Testy i walidacja systemu oraz przykłady zastosowania.

Promotor dr inż. Artur Michalski

Dyplomant

Z1-4

Temat Klastry energetyczne – optymalizacja produkcji energii.

Cel pracyZapoznanie się z ideą klastrów energetycznych, metodami produkcji i gromadzenia energii elektrycznej. Zapoznanie się z opracowanymi metodami optymalizacji produkcji energii elektrycznej w klastrach.

Zadania Zapoznać się z dotychczasowymi metodami optymalizacji produkcji energii elektrycznej w klastrach. Sformułować oryginalny problem optymalizacji dla konkretnego przykładu klastra. Zaprojektować i zaimplementować własny algorytm

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

Dyplomant Studia stacjonarne lub niestacjonarneZ1-5

Temat Komputery kwantowe - zastosowania, symulacja, programowanie

Cel pracy Zapoznanie się z aspektami technologicznymi komputerów kwantowych, tworzenie przykładowych programów

Zadania

Zapoznać się z dostępnymi materiałami dotyczącymi komputerów kwantowych. Opracować klasyfikację/zestawienie istniejących komputerów kwantowych. Przeprowadzenie testów na udostępnionych platformach. Przygotowanie ćwiczeń laboratoryjnych z zakresu programowania komputerów kwantowych.

Promotor dr hab. inż. Rafał RóżyckiDyplomant Studia stacjonarne lub niestacjonarneZ1-6Temat Metody optymalizacji w obszarze e-mobility

Cel pracy Zapoznanie się z dziedziną e-mobility w kontekście możliwych zastosowań metod optymalizacji. Propozycja własnych algorytmów optymalizacyjjnych

ZadaniaPrzegląd dostępnej literatury dotyczącej rozwiązań e-mobility. Rozpoznanie możliwych zastosowań metod optymalizacji w tym obszarze. Opracowanie własnych modeli i algorytmów. Przeprowadzenie eksperymentów obliczeniowych.

Promotor dr hab. inż. Rafał RóżyckiDyplomant Studia stacjonarne lub niestacjonarneZ1-7

Temat Internetowe platformy wymiany dóbr lub usług między osobami prywatnymi

Cel pracyWykorzystanie technologii internetowych dla wsparcia ekonomii współdzielenia (ang. sharing economy) poprzez przygotowanie platformy wymiany dóbr lub usług między osobami prywatnymi w wybranym obszarze

Zadania

1. Przegląd obszarów ekonomii współdzielenia (ang. sharing economy), w których wykorzystywane są internetowe platformy ułatwiające transakcje wymiany dóbr lub usług między osobami prywatnymi (np. wynajem mieszkań od osób prywatnych poprzez platformę Airbnb)

2. Analiza funkcjonalności oprogramowania używanego w wybranych obszarach.3. Wybór obszaru, w którym zasadne jest wykorzystanie ekonomii

współdzielenia.4. Przygotowanie biznes planu dla przedsięwzięcia w wybranym obszarze5. Przygotowanie platformy internetowej w wybranym obszarze

Promotor dr inż. Arkadiusz Zimniak Dyplomant Studia niestacjonarneZ1-8

Temat Automatyzacja wczytywania faktur zakupu z wykorzystaniem technologii OCR dostępnych na platformie Azure

Cel pracy Analiza i zastosowanie technologii OCR dostępnych na platformie Azure do automatyzacji wczytywania faktur zakupu

Zadania 1. Przegląd i analiza dostępnych rozwiązań z zakresu automatyzacji wczytywania faktur zakupu.

2. Analiza możliwości technologii OCR dostępnych w środowisku Microsoft Azure.

3. Przygotowanie programu wczytującego faktury zakupu i rozpoznającego ich

zawartośćPromotor dr inż. Arkadiusz ZimniakDyplomant Studia niestacjonarneZ1-9

Temat Materiały edukacyjne ilustrujące proces obsługi zamówienia w wybranym systemie ERP

Cel pracy Przygotowanie materiałów, gotowych do umieszczenia na stronie WWW, które ilustrowałyby proces obsługi zamówienia w wybranym systemie ERP

Zadania

1. Szczegółowe opisanie procesu obsługi zamówienia w systemie dla przedsiębiorstwa pracującego według strategii projektowanie na zamówienie.

2. Przygotowanie materiałów e-Learningowych, ilustrujących poszczególne kroki procesu.

3. Przygotowanie strony WWW, zawierającej opis procesu oraz umożliwiającej dostęp do przygotowanych materiałów e-Learningowych.

4. Opracowanie przykładowego scenariusza ćwiczeń z wykorzystaniem opracowanych materiałów.

Promotor dr inż. Arkadiusz ZimniakDyplomant Studia niestacjonarneZ1-10Temat Rozbudowa wybranego darmowego systemu ERPCel pracy Rozbudowa wybranego darmowego systemu ERP o wybraną polską funkcjonalność

Zadania

1. Analiza funkcjonalności darmowych systemów ERP oferowanych na zasadzie „open source”.

2. Analiza narzędzi umożliwiających rozbudowę darmowych systemów ERP3. Przegląd funkcjonalności wybranego systemu pod kątem zgodności z polskim

prawem i przyzwyczajeniami użytkowników4. Wybór funkcjonalności, wymaganej przez polskie prawo lub przyzwyczajenia

użytkowników, której brakuje w danym systemie ERP i przygotowanie jest w systemie.

Promotor dr inż. Arkadiusz ZimniakDyplomant Studia niestacjonarneZ1-11Temat Baza doświadczeń (wiedzy) na potrzeby konsultantów i programistów

Cel pracy Przegląd rozwiązań do dzielenia się wiedzą i przygotowanie aplikacji umożliwiającej dostęp do bazy doświadczeń firmy informatycznej

Zadania

1. Przegląd rozwiązań do dzielenia się wiedzą2. Analiza potrzeb i istniejących źródeł danych wybranej firmy3. Przygotowanie projektu bazy wiedzy4. Przygotowanie interfejsów umożliwiających import danych z istniejących

źródeł (dokumenty Word, PDF, pliki tekstowe itp.) i ich klasyfikację5. Przygotowanie aplikacji, umożliwiającej dostęp i przeszukiwanie istniejącej

bazyPromotor dr inż. Arkadiusz ZimniakDyplomant Studia niestacjonarneZ1-12

Temat Wykorzystanie wiedzy eksperckiej do analizy danych zgromadzonych w systemie ERP

Cel pracy Przygotowanie implementacji wykorzystującej wiedzę ekspercką do analizy danych zgromadzonych w wybranym systemie ERP

Zadania 1. Przegląd sposobów wykorzystania wiedzy eksperckiej w systemach ERP2. Analiza dostępnych narzędzi klasy Business Rule Management System

3. Przegląd procesów biznesowych, objętych wspomaganiem w systemach ERP w celu wybrania takich, w których wykorzystywana jest wiedza eksperta.

4. Zaproponowanie sposobu działania systemu eksperckiego dla wybranych procesów

5. Implementacja prostego systemu eksperckiegoPromotor dr inż. Arkadiusz ZimniakDyplomant Studia niestacjonarneZ1-13

Temat Algorytmy heurystyczne dla wybranego problemu optymalizacji procesu ładowania zbioru akumulatorów

Cel pracyOpracowanie, implementacja i analiza obliczeniowa algorytmów heurystycznych dla wybranego problemu optymalizacji procesu ładowania akumulatorów ze wspólnego źródła mocy

Zadania

6. Przegląd literatury dotyczącej problemów ładowania akumulatorów, zasobów ciągłych podwójnie ograniczonych i problemów optymalizacji energetycznej.

7. Opracowanie i implementacja algorytmów heurystycznych dla wybranego problemu optymalizacji procesu ładowania akumulatorów.

8. Analiza efektywności zaproponowanych algorytmów na podstawie eksperymentów obliczeniowych.

Promotor dr hab. inż. Grzegorz Waligóra Dyplomant Studia stacjonarneZ1-14

Temat Metaheurystyki lokalnego przeszukiwania dla wybranego problemu rozdziału zasobów

Cel pracy Opracowanie, implementacja i analiza obliczeniowa algorytmów metaheurystycznych dla wybranego problemu rozdziału zasobów

Zadania

1. Przegląd literatury dotyczącej problemów rozdziału zasobów oraz metaheurystyk lokalnego przeszukiwania.

2. Opracowanie i implementacja algorytmów metaheurystycznych dla wybranego problemu rozdziału zasobów.

3. Analiza efektywności zaproponowanych metaheurystyk na podstawie eksperymentów obliczeniowych.

Promotor dr hab. inż. Grzegorz WaligóraDyplomant Studia stacjonarneZ1-15

TematProjekt i implementacja rozszerzenia biblioteki PDI wykorzystującego oprogramowanie FlowVR do wsparcia asynchronicznego przetwarzania danych in-situ

Cel pracyOpracowanie i implementacja rozszerzenia biblioteki PDI umożliwiającego dwukierunkową komunikację z biblioteką FlowVR oraz asynchroniczne przetwarzanie danych in-situ

Zadania

1. Przegląd literatury dotyczącej biblioteki PDI, oprogramowania FlowVR oraz przetwarzania in-situ.

2. Zaprojektowanie i implementacja rozszerzenia biblioteki PDI wspierającego asynchroniczne przetwarzanie danych in-situ przy wykorzystaniu oprogramowania FlowVR.

3. Analiza efektywności opracowanego rozszerzenia na podstawie przykładowych aplikacji.

Promotor dr hab. inż. Grzegorz Waligóra Dyplomant Studia niestacjonarneZ1-16

Temat Ocena praktycznego zastosowania alternatywnych języków opisu sprzętu.

Cel pracy

Praca ma na celu analizę możliwości zastosowania alternatywnych języków opisu sprzętu w oparciu o analizę porównawczą z językiem VHDL. Zakłada się wybór grupy kilku języków oraz ich analizę w oparciu o repozytoria github. Niezbędna jest ocena możliwości syntezy wybranych implementacji z dostępnych repozytoriów. Dodatkowodyplomant na podstawie dostępnych przykładów dokonuje własnych implementacji nowych obwodów. Od dyplomanta wymaga się bardzo dobrej znajomości języka VHDL oraz znajomości narzędzi firmy Xilinx.

Zadania

1. Przegląd literatury z zakresu najnowszych badań w obszarze systemów rekonfigurowalnych.

2. Implementacja wybranych obwodów przy użyciu alternatywnych HDL, ich symulacja oraz ocena możliwości syntezy.

3. Opracowanie platformy demonstracyjnej dla alternatywnych języków HDLPromotor Dr inż. Michał Melosik

Dyplomant Studia stacjonarne lub niestacjonarneZ1-17

Temat Ocena możliwości wykorzystania platformy ChipWhisperer w badaniach nad bezpieczeństwem sprzętowym systemów mikroelektronicznych

Cel pracy

Problematyka bezpieczeństwa sprzętowego jest jednym z głównych kierunków badańnad systemami wbudowanymi. Praca ma na celu ocenę możliwości zastosowania platformy CW (https://newae.com/tools/chipwhisperer/) do oceny bezpieczeństwa wybranych sprzętowych modułów kryptograficznych. Od dyplomanta wymaga się wyróżniającej wiedzy z zakresu elektroniki, bardzo dobrej znajomości języka VHDL oraz znajomości zagadnień z obszaru systemów rekonfigurowalnych.

Zadania

1. Przegląd literatury z zakresu bezpieczeństwa sprzętowego systemów wbudowanych i systemów mikroelektronicznych.

2. Testowe uruchomienie platformy oraz jej konfiguracja3. Ocena realnej przydatności platformy CW w analizie sprzętowych algorytmów

kryptograficznych.Promotor Dr inż. Michał Melosik

Dyplomant Studia stacjonarneZ1-18

Temat System rejestrująco - analityczny dla sprzętowych generatorów losowych

Cel pracy

Celem pracy jest opracowanie systemu umożliwiającego rejestrowanie danych pochodzących ze sprzętowych generatorów losowych. System powinien pozwalać na rejestrację danych o rozmiarze powyżej 1G. Projekt składa się z części programowej (pełniącego rolę interfejsu użytkownika) oraz sprzętowej (integrowanej z wybranymi sprzętowymi generatorami losowymi). Dodatkowo system w warstwie sprzętowej powinien mieć zaimplementowany mechanizm sekwencyjnej oceny danych testami NIST. Od dyplomanta wymaga się bardzo dobrej znajomości języka VHDL oraz zagadnień z zakresu systemów rekonfigurowalnych.

Zadania

1. Przegląd literatury z zakresu sprzętowych generatorów losowych.2. Implementacja warstwy sprzętowej jako modułu do integracji ze sprzętowym

TRBG, PRBG, CSPRBG.3. Implementacja warstwy programowej pełniącej rolę interfejsu do zarządzania

systemem.4. Implementacja mechanizmu sekwencyjnej analizy danych przy użyciu testów

NIST.Promotor Dr inż. Michał Melosik


Temat Algorytmy grupowania konsensusowego w zastosowaniu do sygnałów audio

Cel pracy Opracowanie i implementacja algorytmów służących do grupowania konsensusowego opartego na różnych zbiorach cech sygnałów audio

Zadania

9. Przegląd literatury dotyczącej ekstrakcji cech sygnałów audio, grupowania (analizy skupień) i grupowania konsenusowego

10.Zapoznanie się z bibliotekami programistycznymi realizującymi badane algorytmy

11.Zaprojektowanie i wykonanie eksperymentów dla zadanych repozytoriów danych audio

Promotor dr inż. Ewa Łukasik Dyplomant Studia stacjonarneZ1-20

Temat Eksperymentalna ocena podobieństwa melodycznego utworów muzyki tradycyjnej na podstawie ich symbolicznej reprezentacji MIDI

Cel pracy Ocena wydajności metod pomiaru podobieństwa melodycznego i wyszukiwania podobnych utworów muzycznych w reprezentacji MIDI

Zadania

4. Przegląd literatury dotyczącej miar podobieństwa, wyszukiwania wzorców i grupowania danych sekwencyjnych.

5. Opracowanie i uruchomienie bibliotek programistycznych do wyszukiwania podobnych melodycznie utworów polskiej muzyki tradycyjnej w formacie MIDI

6. Zaprojektowanie i realizacja eksperymentów na danych IS PAN7. Ocena subiektywna podobieństwa przez ekspertów

Promotor dr inż. Ewa ŁukasikDyplomant Studia stacjonarne lub niestacjonarneZ1-21

Temat Eksperymentalna ocena narzędzi Web Audio API, Web RTC i Web MIDI do edycji wieloźródłowego strumienia audio (temat zajęty 138654)

Cel pracy Ocena wydajności narzędzi przeglądarkowych do edycji wieloźródłowego strumienia audio

Zadania

6. Przegląd literatury dotyczącej standardów internetowej edycji, przetwarzania i transmisji danych audio,

7. Zaprojektowanie i przeprowadzenie eksperymentu programistycznego wykorzystującego Web Audio API, Web RTC i Web MIDI do budowy narzędzia do formowania strumienia audio z wielu źródeł i jego zapisu jako plik dźwiękowy

8. Ocena wydajności zrealizowanego narzędziaPromotor dr inż. Ewa ŁukasikDyplomant Studia niestacjonarneZ1-22

Temat eSPI controller

Cel pracy

Głównym celem pracy jest opracowanie i realizacji kontrolera eSPI w matrycy FPGA firmy Altera, na płycie prototypowej DE0-Nano-SoC Kit/Atlas-SoC Kit. Narzędzie zakłada komunikację z użytkownikiem z wykorzystaniem portu Ethernet oraz protokołu ssh.

Zadania

1. Przygotowanie własnego środowiska dla układu FPGA i procesora ARM w oparciu o system Linux Yocto, a także niezbędne układy IP Core.

2. Zapoznanie się ze specyfikacji eSPI 1.0 firmy Intel.3. Opracowanie własnego kontrolera eSPI w postaci IP Core’a opisanego w języku

Verilog.

Promotor dr inż. Mariusz Naumowicz Dyplomant Studia stacjonarneZ1-23

Temat Badanie efektywności programowania systemów wbudowanych czasu rzeczywistego z wykorzystaniem generatorów kodu

Cel pracy

Głównym celem pracy jest porównanie możliwości oraz wydajności programowania wybranych kontrolerów STM z wykorzystaniem generatorów kodu takich jak np. Matlab Simulink z optymalnym kodem napisanym w języku C. Badanie polega na przygotowaniu zestawu programów testowych przy pomocy różnych narzędzi i ocenie ich wydajności na przygotowanej do tego celu płycie prototypowej. Ostatecznie najlepsze rozwiązania będą testowane i wdrażane w projekcie telemetrii bolidu typu Formula Student.

Zadania

1. Przygotowanie kodów testowych w różnych środowiskach w tym m.in. Matlab Simulink.

2. Implementacja analogicznego kodu bezpośrednio w języku C.3. Porównanie możliwości oraz wydajności proponowanych technik wytwarzania

oprogramowania.4. Ocena możliwości wykorzystania badanych rozwiązań w systemach

wbudowanych czasu rzeczywistego.Promotor dr inż. Mariusz NaumowiczDyplomant 121996Z1-24

Temat Zrównoleglona postać algorytmu optymalizacji Hooke’a-Jeeves’a w środowisku Linux z wykorzystaniem OpenMP

Cel pracyGłównym celem pracy jest opisanie algorytmu Hooke’a-Jeeves’a w języku C w środowisku Linux z wykorzystaniem biblioteki OpenMP wspierającej przetwarzanie w systemach wielordzeniowych.

Zadania

1. Przegląd literatury związanej z bezgradientowym algorytmem optymalizacji Hooke’a-Jeeves’a oraz biblioteką OpenMP.

2. Zaprojektowanie eksperymentu związanego z badaniem właściwości algorytmu w systemie wielordzeniowym.

3. Zaprojektowanie testów jednostkowych i integracyjnych dla powstałego narzędzia.

4. Analiza i ocena otrzymanych wyników dla wybranych problemów optymalizacyjnych.

Promotor dr inż. Mariusz NaumowiczDyplomant Studia niestacjonarneZ1-25

Temat Analiza porównawcza kontrolerów DMA do zastosowań wbudowanych

Cel pracyOpracowanie i implementacja komponentów wirtualnych (IP core) kontrolera DMA dla platform hybrydowych FPGA. Ocena wydajności w porównaniu do istniejących rozwiązań.

Zadania

1. Projekt i implementacja platformy testowej FPGA do badania kontrolerów z różnymi typami magistral.

2. Koncepcja i realizacja testów sprzętowych porównujących parametry kontrolerów DMA.

3. Opracowanie i analiza wyników badań.4. Przygotowanie dokumentacji projektowej zrealizowanych komponentów

wirtualnych.Promotor dr. inż. Marek Kropidłowski

Dyplomant 122562

Z1-26

Temat Projektowanie dedykowanych akceleratorów DSP z wykorzystaniem syntezy wysokiego poziomu.

Cel pracyOpracowanie i implementacja komponentów wirtualnych (IP core) wybranych bloków DSP dla platform hybrydowych FPGA. Ocena wydajności nowoczesnych narzędzi HLS w procesie projektowania.

Zadania

1. Przegląd literatury na temat HLS (High Level Synthesis)2. Opracowanie i implementacja biblioteki podstawowych bloków DSP z

wykorzystaniem narzędzi HLS3. Implementacja systemu testowego na istniejącej platformie FPGA4. Przygotowanie dokumentacji do publikacji z zachowaniem konwencji Open

HardwarePromotor dr. inż. Marek KropidłowskiDyplomant Studia stacjonarne lub niestacjonarneZ1-27Temat Wbudowane narzędzia analizy protokołów dla systemów z interfejsem AXI

Cel pracy Przygotowanie mikro-analizatora dla systemów wbudowanych i analiza jego wydajności w systemie APSoC FPGA

Zadania

1. Przegląd literatury na temat narzędzi klasy OCI (On-Chip Instrumentation)2. Koncepcja i implementacja układu analizatora dla systemów z ograniczoną

pamięcią3. Implementacja interfejsu i sterownika programowego dla AXI4. Analiza wydajności i przydatności układu do badania szybkich interfejsów

szeregowych5. Przygotowanie dokumentacji do publikacji z zachowaniem konwencji Open

HardwarePromotor dr. inż. Marek KropidłowskiDyplomantZ1-28Temat Akceleracja obliczeń w mikrosystemach z rekonfiguracją dynamiczną

Cel pracyAnaliza możliwości wspomagania obliczeń w systemach z ograniczonymi zasobami Ocena wydajności platformy z rekonfiguracją dynamiczną w stosunku do rozwiązania opartego na klasycznym procesorze.

Zadania

1. Wykonanie potokowego komponentu wirtualnego (IP-core) do sprzętowego wspomagania obliczeń (demodulacje cyfrowe).

2. Wykorzystanie rekonfiguracji dynamicznej platform APSoC do akceleracji obliczeń i minimalizacji poboru mocy.

3. Przygotowanie testu porównującego wydajność obliczeń akceleratora z rozwiązaniem programowym.

4. Przygotowanie dokumentacji do publikacji z zachowaniem konwencji Open Hardware

Promotor dr. inż. Marek Kropidłowski

Dyplomant 122320Z1-29Temat Analiza porównawcza kontrolerów SATA dla systemów rekonfigurowalnych

Cel pracyOpracowanie i implementacja komponentu wirtualnego (IP core) kontrolera SATA dla platform hybrydowych FPGA. Ocena wydajności w stosunku do istniejących rozwiązań klasy OpenHardware i komercyjnych (Xilinx, Intel).

Zadania 1. Przegląd literatury na temat budowy szybkich interfejsów szeregowych.2. Opracowanie i implementacja kontrolera SATA AXI3. Implementacja systemu testowego na istniejącej platformie FPGA

4. Koncepcja i realizacja testów sprzętowych porównujących parametry kontrolerów

5. Przygotowanie dokumentacji do publikacji z zachowaniem konwencji Open Hardware

Promotor dr. inż. Marek Kropidłowski

DyplomantZ1-30Temat Otwarty system monitorowania i wizualizacji procesów

Cel pracyProjekt i wykonanie systemu monitorowania i wizualizacji procesów z wykorzystaniem komputera jednoukładowego jako alternatywy dla istniejących rozwiązań komercyjnych.

Zadania

9. Przegląd literatury10.Zaprojektowanie i wykonanie systemu monitorowania i wizualizacji procesów w

oparciu o komputer jednopłytkowy oraz darmowe narzędzia projektowania systemów sterowania i wizualizacji procesów.

11.Weryfikacja opracowanego systemu.12.Testy funkcjonalności opracowanego systemu zgodne z odpowiednimi normami.13.Przygotowanie dokumentacji technicznej.

Promotor dr inż. Mariusz NowakDyplomant Studia niestacjonarneZ1-31

Temat System do analizy krytyczności przewodów w systemach wodociągowych

Cel pracy Opracowanie i implementacja systemu do analizy krytyczności przewodów w systemach wodociągowych.

Zadania

8. Przegląd literatury z zakresu analizy krytyczności przewodów w systemach wodociągowych.

9. Opracowanie i implementacja wybranych algorytmów w języku Python jako rozszerzenie pakietu ArcGIS.

10.Weryfikacja zaimplementowanych algorytmów z wykorzystaniem wybranych topologii sieci wodociągowych.

Promotor dr inż. Przemysław Zakrzewski Dyplomant Studia stacjonarneZ1-32

Temat Sterowanie zamykaniem zasuw w systemach wodociągowych w sytuacjach nadzwyczajnych

Cel pracy Opracowanie i implementacja algorytmów sterowania zamykaniem zasuw w systemach wodociągowych w przypadku wystąpienia awarii, pożaru, itp.

Zadania

1. Przegląd literatury z zakresu typowania zasuw do zamknięcia.2. Opracowanie i implementacja wybranych algorytmów w języku Python jako

rozszerzenie pakietu ArcGIS.3. Weryfikacja zaimplementowanych algorytmów z wykorzystaniem wybranych

topologii sieci wodociągowych.Promotor dr inż. Przemysław ZakrzewskiDyplomant Studia stacjonarneZ1-33Temat Symulacja hydrauliczna sieci wodociągowych w pakiecie ArcGIS

Cel pracy Ocena efektywności i poprawności symulacji hydraulicznej sieci wodociągowych w pakiecie ArcGIS.

Zadania 14.Przegląd literatury z zakresu modelowania i symulacji sieci wodociągowych (EPANET, WNTR).

15.Opracowanie i implementacja symulatora w języku Python (WNTR) jako rozszerzenie pakietu ArcGIS.

16.Weryfikacja zaimplementowanego symulatora z wykorzystaniem wybranych topologii sieci wodociągowych.

Promotor dr inż. Przemysław ZakrzewskiDyplomant Studia niestacjonarne

Z1-34

TematOpracowanie i implementacja wybranych metod zapewniania bezpieczeństwa przetwarzania danych w chmurach obliczeniowych.

Cel pracy Celem pracy jest opracowanie metody autentykacji sprzętu wykorzystywanego w obliczeniach chmurowych zgodnie ze specyfikacją "PCI Express Device Security Enhancements" zaproponowaną przez firmę Intel zapewniania bezpieczeństwa przetwarzania danych w chmurach obliczeniowych.

Zadania

Analiza specyfikacji PCI Express Device Security Enhancements (Intel).Opracowanie metod autentykacji sprzętu wykorzystywanego w przetwarzaniu chmurowym.Weryfikacja opracowanych metod (modelowanie i symulacja). Praca wykonywana jest w ramach współpracy z firmą INTEL, która zapewnia dostęp do niezbędnych informacji i zasobów sprzętowych

Promotor dr hab. inż. Paweł ŚniatałaDyplomantZ1-35

Temat Implementacja pluginu PDI pozwalającego na operacje in-situ wykorzystującego FlowVR oraz jego intergracja z symulacją turbulencji plazmy GYSELA.

Cel pracy

Celem pracy jest opracowanie i zaimplementowanie pluginu do PDI (Portable Data Interface) wykorzystującego FlowVR do wsparcia asynchronicznego przetwarzania danych in-situ. Rozwiązanie powinno pozwalać na dwukierunkową integrację polegającą na przekazaniu danych do FlowVR, a następnie ich przetworzenie po przekazaniu przez PDI.

Zadania

1. Zapoznanie się z literaturą dotyczącą przetwarzania in-situ oraz oprogramowania FlowVR potrzebną do zrozumienia koncepcji, ograniczeń oraz korzyści wynikających z połączenia PDI oraz FlowVR.

2. Analiza funkcjonalności oraz zapoznanie się praktyczne z funkcjonowaniem bibliotek PDI i FlowVR.

3. Połączenie bibliotek PDI i FlowVR poprzez zaprojektowanie i implementację rozszerzenia (pluginu) PDI wykorzystującego FlowVR.

4. Integracja aplikacji GYSELA (GYrokinetic SEmi-LAgrangian) ze stworzonym rozszerzeniem (pluginem)

Promotor Prof. dr hab. inż. Jan Węglarz/ dr inż. Norbert Meyer Dyplomant Studia niestacjonarneZ1-36

Temat Metaheurystyczne podejście do rozwiązywania problemu rozdziału zasobów z siecią transportową.

Cel pracy Opracowanie i implementacja wybranego algorytmu metaheurystycznego dla problemu rozdziału zasobów pomiędzy czynności projektu, w którym czynności mogą

być wykonywane jednym z kilku alternatywnych sposobów, a zasoby których można użyć do wykonywania czynności są rozproszone pomiędzy różnymi lokalizacjami geograficznymi połączonymi siecią transportową.

Zadania

5. Zapoznanie się z problemem oraz literaturą dotyczącą metaheurystyk i problemu rozdziału zasobów z wieloma sposobami wykonywania czynności.

6. Wybór, opracowanie, zaimplementowanie i dostrojenie metaheurystyki dla rozważanego problemu.

7. Zaprojektowanie, przygotowanie i przeprowadzenie testów dla opracowanego rozwiązania.

Promotor dr hab. inż. Marek Mika Dyplomant Studia stacjonarne lub niestacjonarneZ1-37

Temat Problem rozdziału zasobów z wieloma sposobami wykonywania czynności i operacjami przygotowania zasobów – algorytmy heurystyczne.

Cel pracy

Opracowanie prostych i/lub zaawansowanych heurystyk dla problemu rozdziału zasobów pomiędzy czynności projektu, w którym czynności mogą być wykonywane jednym z wielu alternatywnych sposobów, a zasoby przed wykonaniem czynności muszą być do niego specjalnie przygotowane.

Zadania

11. Zapoznanie się z literaturą dotyczącą problemu rozdziału zasobów z wieloma sposobami wykonywania czynności.

12. Opracowanie i zaimplementowanie heurystyk dla rozważanego problemu.13. Zaprojektowanie, przygotowanie i przeprowadzenie testów dla opracowanego

rozwiązania.Promotor dr hab. inż. Marek MikaDyplomant Studia stacjonarne lub niestacjonarneZ1-38

Temat Korelacje pomiędzy a parametrami instancji problemu optymalizacyjnego a jej rozwiązaniem optymalnym.

Cel pracy

Próba znalezienia odpowiedzi na pytanie: Czy istnieje związek pomiędzy parametrami instancji problemu optymalizacyjnego a rozwiązaniami optymalnymi? A jeśli istnieje, to czy można go wykorzystać w opracowaniu efektywnego algorytmu heurystycznego?

Zadania

17. Zapoznanie się z literaturą dotyczącą wybranego problemu optymalizacyjnego.18. Zapoznanie się z bazą danych testowych i rozwiązań optymalnych dla wybranego

problemu.19. Analiza danych testowych w poszukiwaniu istotnych parametrów instancji

problemu.20. Analiza rozwiązań optymalnych w odniesieniu do parametrów instancji pod

kątem znalezienia korelacji pomiędzy wartościami wybranych parametrów instancji problemu a wybranymi parametrami rozwiązania optymalnego.

21. Propozycja wykorzystania odkrytych korelacji w algorytmie heurystycznych.22. Weryfikacja zaproponowanego algorytmu w oparciu o eksperyment obliczeniowy.

Promotor dr hab. inż. Marek MikaDyplomant Studia stacjonarne lub niestacjonarneZ2-1Temat Deep Cognitive Architecture: Perception ModuleCel pracy Celem pracy jest opracowanie i implementacja komponentu programistycznego

(modułu percepcji) wchodzącego w skład modułowej głębokiej architektury neuronowej zorientowanej na autoasocjacyjne uczenie się analizy i interpretacji obrazów, oraz przeprowadzenie kompleksowych eksperymentów uczenia i testowania tak skonstruowanego komponentu.

Zadania 1. Zapoznanie się z literaturą i wybór technologii2. Przygotowanie projektu komponentu

3. Implementacja i przetestowanie środowiska4. Przeprowadzenie eksperymentów obliczeniowych5. Zebranie i analiza wyników

Promotor Prof. dr hab. inż. Krzysztof KrawiecOpiekun dr inż. Paweł Liskowski

DyplomantZ2-2Temat Deep Cognitive Architecture: Attention Module

Cel pracy Celem pracy jest opracowanie i implementacja komponentu programistycznego (modułu uwagi) wchodzącego w skład modułowej głębokiej architektury neuronowej zorientowanej na autoasocjacyjne uczenie się analizy i interpretacji obrazów, oraz przeprowadzenie kompleksowych eksperymentów uczenia i testowania tak skonstruowanego komponentu.

Zadania 1. Zapoznanie się z literaturą i wybór technologii2. Przygotowanie projektu komponentu3. Implementacja i przetestowanie środowiska4. Przeprowadzenie eksperymentów obliczeniowych5. Zebranie i analiza wyników

Promotor Prof. dr hab. inż. Krzysztof Krawiec

Opiekun mgr inż. Karol Piaskowski

DyplomantZ2-3Temat Deep Cognitive Architecture: Inference Module

Cel pracy Celem pracy jest opracowanie i implementacja komponentu programistycznego (modułu wnioskowania) wchodzącego w skład modułowej głębokiej architektury neuronowej zorientowanej na autoasocjacyjne uczenie się analizy i interpretacji obrazów, oraz przeprowadzenie kompleksowych eksperymentów uczenia i testowania tak skonstruowanego komponentu.


Promotor Prof. dr hab. inż. Krzysztof KrawiecOpiekun mgr inż. Jakub Bednarek

DyplomantZ2-4Temat Deep Cognitive Architecture: Generative Module

Cel pracy Celem pracy jest opracowanie i implementacja komponentu programistycznego (modułu generowania obrazu) wchodzącego w skład modułowej głębokiej architektury neuronowej zorientowanej na autoasocjacyjne uczenie się analizy i interpretacji obrazów, oraz przeprowadzenie kompleksowych eksperymentów uczenia i testowania tak skonstruowanego komponentu.

Zadania 1. Zapoznanie się z literaturą i wybór technologii2. Przygotowanie projektu komponentu3. Implementacja i przetestowanie środowiska4. Przeprowadzenie eksperymentów obliczeniowych

5. Zebranie i analiza wynikówPromotor Prof. dr hab. inż. Krzysztof Krawiec

Opiekun mgr inż. Jakub KwiatkowskiDyplomantZ2-5Temat Automated Discovery of Domain Knowledge for Prioritizing Search in Program

SynthesisCel pracy Celem pracy jest zaprojektowanie i implementacja algorytmu syntezy programów,

wykorzystującego inteligentną priorytetyzację procesu przeszukiwania przestrzeni rozwiązań z wykorzystaniem uczenia maszynowego


Promotor Prof. dr hab. inż. Krzysztof Krawiec

Opiekun mgr inż. Iwo Błądek

DyplomantZ2-6Temat Deep Cognitive Architecture: Memory Module

Cel pracy Celem pracy jest opracowanie i implementacja komponentu programistycznego (modułu percepcji) wchodzącego w skład modułowej głębokiej architektury neuronowej zorientowanej na autoasocjacyjne uczenie się analizy i interpretacji obrazów, oraz przeprowadzenie kompleksowych eksperymentów uczenia i testowania tak skonstruowanego komponentu.


Promotor dr inż. Bartosz WielochOpiekun mgr inż. Jakub BednarekDyplomantZ2-7Temat System do wspomagania diagnostyki medycznej na podstawie informacji

obrazowejCel pracy Celem pracy jest skonstruowanie diagnostycznego modelu decyzyjnego na

podstawie danych obrazowych (choroby płuc) z wykorzystaniem technik głębokiego uczenia maszynowego, a następnie zaprojektowanie i implementacja webowego systemu wspomagającego diagnozowanie wspomagającego lekarza w diagnozowaniu wybranych problemów.

Zadania 1. Zapoznanie się z technikami głębokiego uczenia się i ich zastosowaniem do budowy medycznych modeli diagnostycznych.

2. Wykonanie eksperymentów obliczeniowych na dostępnych danych w celu stworzenia diagnostycznego modelu decyzyjnego.

3. Zaprojektowanie i implementacja webowego systemy wspomagania decyzji klinicznych wykorzystującym opracowany model diagnostyczny.

4. Przygotowanie dokumentacji technicznej opracowanego rozwiązania.Promotor dr hab. inż. Szymon Wilk

Dyplomant 122560

Z2-8

Temat System wizualizacji i eksploracji zbiorów monotonicznych reguł decyzyjnych

Cel pracy Celem pracy jest stworzenie aplikacji internetowej do wizualizacji i eksploracji zbioru reguł decyzyjnych wczytanych z pliku tekstowego w zadanym formacie. Wizualizacja powinna dotyczyć wyświetlania listy wszystkich reguł oraz listy reguł dopasowanych do zadanego obiektu testowego, wraz z dostępnymi statystykami tych reguł. Warunki reguł odpowiadające poszczególnym atrybutom warunkowym powinny być prezentowane z użyciem styli zadanych przez użytkownika. Eksploracja reguł powinna obejmować takie elementy jak filtrowanie wg dostępnych statystyk reguł, warunków elementarnych, sortowanie wg zadanych kryteriów. Powinny być generowane statystyki wykorzystania poszczególnych atrybutów. Dodatkowo, należy zaproponować i zaimplementować graficzną formę reprezentacji reguł, wspomagającą ich analizę i zrozumienie przez użytkownika.

Zadania 1. Zapoznanie się z dokumentacją biblioteki obliczeniowej jRS (Java Rough Sets) względnie z biblioteką ruleLearn, w szczególności ze składnią plików przechowujących zbiory reguł decyzyjnych.2. Wykorzystanie gotowego parsera reguł do wczytywania reguł do tzw. kontenera reguł.3. Implementacja mechanizmów filtrowania i sortowania reguł.4. Implementacja GUI dostępnego z poziomu przeglądarki www(HTML 5.0, CSS) umożliwiającego przesłanie zbioru reguł na serwer, wizualizację wczytanych reguł i ich eksplorację oraz dopasowanie reguł do zadanego obiektu testowego opisanego na tych samych atrybutach co reguły.5. Przetestowanie aplikacji (testy jednostkowe, testy akceptacyjne).6. Sporządzenie dokumentacji użytkownika końcowego.7. Dołączenie dokumentacji użytkownika i oprogramowania do tekstu pracy.

Promotor dr inż. Marcin Szeląg

Dyplomant Studia niestacjonarne

Z2-9Temat System wspomagania klasyfikacji na podstawie podobieństwa do znanych

przypadków wyrażonego przez reguły decyzyjneCel pracy Celem pracy jest stworzenie systemu wspomagania decyzji dla problemu

klasyfikacji na podstawie podobieństwa do znanych przypadków. Podobieństwo modelowane będzie przez reguły decyzyjne. Tworzony system wykorzystywać będzie do obliczeń rozszerzoną bibliotekę jRS (java Rough Sets) względnie rozszerzoną bibliotekę ruleLearn oraz umożliwiać decydentowi interakcję z metodą poprzez graficzny interfejs użytkownika.

Zadania 1. Opisać metodę DRSAcbr konstrukcji klasyfikacji na podstawie przykładów decyzji w postaci stopnia przynależności obiektu do poszczególnych klas decyzyjnych.2. Zapoznać się z dokumentacją biblioteki obliczeniowej jRS (java Rough Sets) lub ruleLearn, w zależności od wybranego środowiska realizacji projektu.3. Zaimplementować metodę DRSAcbr.4. Zaimplementować graficzny interfejs użytkownika kompleksowo wspomagający decydenta w interakcji z metodą DRSAcbr.5. Przedstawić przykład ilustrujący wykorzystanie powyższej metody do rozwiązania rzeczywistego problemu decyzyjnego.6. Porównać eksperymentalnie zaimplementowaną metodę z innymi metodami z dziedziny uczenia maszynowego, np. z metodą k-NN

(k-nearest neighbours).7. Do tekstu pracy dołączyć oprogramowanie.

Promotor dr inż. Marcin SzelągDyplomant Studia stacjonarneZ2-10

Temat Projektowanie i implementacja gier w rzeczywistości rozszerzonej na przykładzie gry miejskiej

Cel pracyWykonanie przeglądu technologii umożliwiający tworzenia aplikacji wykorzystujących rzeczywistość rozszerzoną. Zaprojektowanie, implementacja i przetestowanie przykładowej gry miejskiej na wybraną platformę mobilną.

Zadania

12.Przegląd literatury dotyczącej technologii AR13.Zaprojektowanie gry miejskiej wykorzystującej AR14.Zaimplementowanie w/w gry15.Przeprowadzenie testów16.Ewaluacja technologii tworzenia aplikacji AR

Promotor dr inż. Bartłomiej Prędki

Dyplomant zajęty

Z2-11

Temat System przypominający o zażywaniu leków

Cel pracy Zaprojektowanie i implementacja systemu składającego się z aplikacji mobilnej i urządzenia Bluetooth LE (dyspensera) nadzorującego przyjmowanie leków. W założeniu dyspenser ma być symulowany przez osobną aplikację na drugim urządzeniu.

Zadania 1.Przegląd literatury dotyczącej transmisji danych przez Bluetooth Low Energy2.Zaprojektowanie i implementacja symulatora modułu dyspensera leków jako aplikacji mobilnej3.Zaprojektowanie i implementacja głównej aplikacji mobilnej nadzorującej przyjmowanie leków: aplikacja obsługuje przypomnienia, posiada bazę danych leków w obrocie farmaceutycznym, umożliwia skanowanie kodów kreskowych4.Przetestowanie zaimplementowanego systemu


dyplomant zajęty

Z2-12

Temat System informacyjny dla osób niepełnosprawnych sterowany głosem

Cel pracy Rozpoznanie możliwości technicznych i zaimplementowanie systemu typu CMS umożlwiającego całkowite sterowanie głosem.

Zadania 1.Przegląd technologii rozpoznawania głosu.2.Integracja w/w technologii z aplikacją internetową.3.Zaprojektowanie prototypowego systemu.4.Przeprowadzenie testów.


Dyplomant zajęty

Z2-13

Temat Implementacja gry wraz z platformą rozgrywek dla nieograniczonej liczby graczy

Cel pracy Celem pracy jest rozpoznanie technologii umożliwiających tworzenie gier typu Massive Multi Player i wykonanie przykładowej implementacji na przykładzie gry planszowej typu Roll&Write.

Zadania 1.Przegląd technologii sieciowych dla tworzenia gier typu MMP.2.Rozpoznanie i wybór biblioteki do tworzenia gier na platformy desktopowe i mobilne.3.Zaprojektowanie i implementacja przykładowej gry planszowej.


Dyplomant zajęty

Z3-2

Temat Zaprojektowanie i zaimplementowanie zbioru narzędzi wspomagających zarządzanie infrastrukturą bazodanową do prowadzenia zajęć laboratoryjnych (2 osoby)

Cel pracy Celem pracy jest opracowanie zbioru narzędzi, które ułatwią zarządzanie infrastrukturą bazodanową wykorzystywaną do prowadzenia zajęć laboratoryjnych z zakresu baz danych. Przykładowe funkcje to: definiowanie kont studenckich w bazie danych, zarządzanie zbiorem uprawnień, automatyczne tworzenie schematów do ćwiczeń.

Zadania Zadania wspólne obu wykonawców:1. Analiza problemów w obszarze dydaktyki wykorzystującej bazy danych.2. Opracowanie zbioru wymagań funkcjonalnych i niefunkcjonalnych.3. Zaprojektowanie systemu.4. Zaimplementowanie systemu.5. Przetestowania poprawności działania systemu.

Promotor dr inż. Bartosz Bębel

Dyplomant

Z3-3

Temat Analiza nowych trendów w obszarze hurtowni danych (1 osoba)

Cel pracy Celem pracy będzie dokonanie przeglądu nowych kierunków, pojawiających się w obszarze przetwarzania analitycznego i hurtowni danych. Zidentyfikowane trendy mają zostać szczegółowo opisane wraz ze wskazaniem i wstępną oceną produktów, które je implementują.

Zadania 1. Analiza obszaru przetwarzania analitycznego i hurtowni danych.

2. Wybór najważniejszych (najbardziej nowatorskich) trendów.3. Szczegółowa analiza wybranych trendów.


Dyplomant

Z3-4

Temat Opracowanie i zaimplementowanie algorytmu automatycznego sprawdzania poprawności zapytań w języku SQL (2 osoby)

Cel pracy Celem pracy jest zaprojektowanie i zaimplementowanie algorytmu wspomagania sprawdzania poprawności poleceń w języku SQL. Algorytm ma być wykorzystywany do automatycznego sprawdzania prac zaliczeniowych z języka SQL.

Zadania 1. Analiza literatury zagadnienia sprawdzania poprawności składniowej poleceń języka SQL.2. Opracowanie i zaimplementowanie algorytmu sprawdzającego poprawność zapytań w języku SQL (oryginalnego lub wykorzystanie istniejących rozwiązań),3. Opracowanie i przeprowadzenie szeregu testów poprawności działania zaimplementowanego rozwiązania.


Dyplomant

Z3-5

Temat Metoda inkrementalnego utrwalania w uczeniu głębokich sieci neuronowych

Cel pracy W ostatnich latach opracowano wiele ciekawych rozwiązań rozszerzających podstawowy model uczenia głębokich sieci neuronowych. Pojęcia takie jak uwaga (ang. attention), losowa deaktywacja węzłów (ang. dropout), zmienna prędkość uczenia (ang. differentiable learning rates) czy dopasowanie (ang. fine-tuning) stanowią standardowe elementy licznych bibliotek DNN. Celem projektu jest implementacja i eksperymentalna weryfikacja nowej techniki inkrementalnego utrwalania podczas uczenia głębokich sieci neuronowych. Osoba realizująca projekt zapozna się z architekturą wybranej biblioteki DNN (PyTorch lub TensorFlow) oraz z najnowszymi osiągnięciami w obszarze uczenia sieci głębokich oraz rozszerzy ją o nowe rozwiązanie. Istotnym elementem projektu jest eksperymentalna walidacja propozycji. Warunkiem koniecznym realizacji projektu jest dobra znajomość języka Python.

Zadania 1. Implementacja metody inkrementalnego utrwalania w środowisku PyTorch lub TensorFlow

2. Integracja metody inkrementalnego utrwalania z uczeniem sieci głębokich

3. Przeprowadzenie eksperymentalnej ewaluacji opracowanej metody

Promotor dr hab. inż. Mikołaj Morzy, prof. nadzw.

Dyplomant

Z3-6

Temat Wykorzystanie gradientu energii macierzy w analizie sieci złożonych

Cel pracy Sieci złożone są najczęściej reprezentowane w postaci macierzy, przy czym różne reprezentacje sieci mogą istotnie różnić się formatem i zawartością. Przykładowe reprezentacje sieci obejmują macierz sąsiedztwa, macierz przyległości, Laplasjan, macierz Randicia, macierz odległości. Pojęcie energii macierzy wywodzi się z algebry i oznacza sumę modułów wartości własnych macierzy. Energie macierzy opisujących sieci egocentryczne poszczególnych wierzchołków niosą interesującą informację, a pojęcie gradientu energii może być wykorzystane w wielu algorytmach grafowych, np. w algorytmach wyszukiwania najkrótszych ścieżek lub algorytmach przydziału zasobów do wierzchołków. W ramach projektu przewiduje się przygotowanie zestawu narzędzi programistycznych do pracy z energiami wierzchołków w oparciu o bibliotekę NetworkX, a także wykorzystanie energii wierzchołków do opracowania i implementacji nowatorskiego algorytmu stacjonarnego przydziału zasobów do wierzchołków. Osoba realizująca projekt zdobędzie doświadczenie w obszarze analizy i eksploracji sieci złożonych. Warunkiem koniecznym realizacji projektu jest dobra znajomość języka Python.

Zadania 1. .Implementacja metody wyznaczania różnych energii macierzy w bibliotece NetworkX

2. Implementacja metody malejącego gradientu energii w wyznaczaniu najkrótszych ścieżek

3. Implementacja metody rosnącego gradientu energii w stacjonarnej alokacji zasobów do wierzchołków


Dyplomant

Z3-7

Temat Rozproszona reprezentacja danych w klasycznych problemach uczenia maszynowego

Cel pracy Ogromne postępy poczynione na przestrzeni ostatnich lat w obszarze przetwarzania języka naturalnego (NLP) po części wynikają z upowszechnienia się rozproszonej reprezentacji tekstu (ang. word embeddings). Jednak reprezentacja rozproszona, stanowiąca wynik zastosowania płytkiej architektury enkoder-dekoder w odniesieniu do danych tekstowych, może być też z powodzeniem zastosowana dla danych innych niż tekst, np. do zbiorów elementów (odkrywanie asocjacji), sekwencji (znajdowanie wzorców częstych), danych kategorycznych (klasyfikacja i regresja). Celem projektu jest opracowanie nowatorskich metod rozproszonej reprezentacji dla danych i włączenie tej reprezentacji do klasycznych algorytmów uczenia maszynowego. W ramach projektu zostaną wykorzystane biblioteki NumPy i ScikitLearn, osoba realizująca projekt zdobędzie duże doświadczenie z programowaniem algorytmów uczenia maszynowego oraz zapozna się z nowoczesnymi metodami uczenia sieci neuronowych. Warunkiem koniecznym realizacji projektu jest dobra znajomość języka Python.

Zadania 1. Implementacja wyliczania rozproszonych reprezentacji danych dla zbiorów i sekwencji przy użyciu architektury auto-enkoderów

2. Integracja metody wyliczania rozproszonych reprezentacji danych z procesem uczenia w środowisku Scikit-Learn

3. Przeprowadzenie eksperymentalnej oceny użyteczności opracowanej metody.


Dyplomant

Z3-8

Temat DataStage vs Spark for ETL - performance evaluation for different common scenarios and guidelines for ETL designers

Cel pracy zaprojektowanie i wykonanie testów wydajnościowych umożliwiających ocenę środowisk do projektowania warstwy ETL, tj. IBM DataStage i Apache Spark

Zadania Zadania:1. Zapoznanie się z środowiskami IBM DataStage i Apache Spark2. Zapoznanie się z benchmarkami dla ETL3. Zaprojektowanie architektury porównawczej DataStage i Spark4. Zaprojektowanie testów wydajnościowych dla obu środowisk5. Wykonanie testów i ocena wynikówUwagi: temat realizowany dla i we współpracy z IBM Krakow Software Lab.

Promotor dr hab. inż. Robert Wrembel

Dyplomant

Z3-9

Temat ETL optimisation - pushdown in case of jobs with Cassandra connectors

Cel pracy opracowanie reguł dla optymializacji ETL typu push-down dla dostępu do źródła danych Cassandra

Zadania Zadania:1. Zapoznanie się z środowiskem IBM DataStage2. Zapoznanie się z optymalizacją ETL typu push-down3. Zaprojektowanie testów wydajnościowych dla różnych scenariuszy dostępu do Cassandra, m.in. filtrowanie, agregowanie4. Wykonanie testów wydajnościowych i ocena wyników5. Opracowanie reguł optymalizacyjnychUwagi: temat realizowany dla i we współpracy z IBM Krakow Software Lab; kontynuacja projektu z roku 2017 (dotyczył optymalizacji push-down dla Kafka i HBase)


Dyplomant

Z3-10

Temat Optimal loading of data to DB2 and Netezza with DataStage

Cel pracy opracowanie reguł sterujących wydajnym wczytywaniem dużych wolumenów danych do DB2 i Netezza

Zadania Zadania:1. Zapoznanie się z serwerem DB2 i Netezza2. Zapoznanie się z narzędziami wczytywania danych dla DB2 i Netezza3. Zaprojektowanie testów wydajnościowych dla różnych scenariuszy wczytywania danych4. Wykonanie testów wydajnościowych i ocena wyników5. Opracowanie reguł optymalizacyjnychUwagi: temat realizowany dla i we współpracy z IBM Krakow Software Lab


Dyplomant

Z3-11

Temat Platforma do projektowania i obsługi zapytań dla sieci semantycznych

Cel pracy zaprojektowanie i zaimplementowanie aplikacji do definiowania i wykonywania parametryzowanych zapytań w SPARQL dla danych semantycznych

Zadania Zadania:1. Zapoznanie się z literaturą dotyczącą semantic web i projektowania ontologii2. Zaprojektowanie ontologii SPARQL Named Query pozwalającą na parametryzację zapytań3. Stworzenie aplikacji z Web Service do listowania i wykonywania zapytań4. Stworzenie aplikacji z Web Service do definiowania nowych zapytańUwagi: temat realizowany dla i we współpracy z Roche

Promotor dr hab. inż. Marek Wojciechowski

Dyplomant 122553, 122497

Z3-12

Temat Narzędzie do generowania i wizualizacji danych spatiotemporalnych za pomocą agentów

Cel pracy Opracowanie programu, którego celem jest generowanie danych spatiotemporalnych. Zadaniem systemu będzie symulacja wielu agentów poruszających się zgodnie z zadanym algorytmem oraz implementacja kilku algorytmów poruszania się, m.in.: BOIDS, ofiara, drapieżnik, samochód

Zadania Zakres prac:1. Projekt i implementacja platformy, w której można uruchamiać agentów i rejestrować ich położenie2. Implementacja przykładowych agentów3. Implementacja modułu wizualizacji generowanych danych4. Przygotowanie pracy dyplomowej

Promotor dr inż. Witold Andrzejewski

Dyplomant

Z3-13

Temat Odkrywanie maksymalnych kolokacji przestrzennych na GPU

Cel pracy Opracowanie (przy współpracy z promotorem) i implementacja algorytmu do odkrywania maksymalnych kolokacji przestrzennych wykorzystującego akcelerację GPU. Porównanie wydajności algorytmu z rozwiązaniami konkurencyjnymi.

Zadania Zakres prac:1. Zapoznanie się z równoległymi algorytmami odkrywania kolokacji

przestrzennych wykorzystujących GPU.2. Zapoznanie się z algorytmami odkrywania maksymalnych kolokacji.3. Opracowanie nowego rozwiązania przy współpracy z promotorem.4. Implementacja nowego algorytmu i rozwiązań konkurencyjnych.5. Przeprowadzenie eksperymentów wydajnościowych.6. Przygotowanie pracy dyplomowej

Promotor dr inż. Witold Andrzejewski

Dyplomant

Z3-14

Temat Przetwarzanie analityczne danych przestrzennych.

Cel pracy Celem pracy jest przegląd zaproponowanych dotychczas w literaturze rozwiązań w zakresie przetwarzania OLAP dla danych przestrzennych (ang. spatial OLAP) oraz implementacja prototypowej aplikacji oferującej wybrane funkcje z tego obszaru.

Zadania 1. Przegląd literatury poświęconej przetwarzaniu OLAP w kontekście danych przestrzennych.2. Wybór i ewentualne udoskonalenie algorytmów do implementacji w ramach prototypowej aplikacji.Implementacja i ewaluacja prototypu.


Dyplomant 122550

Z3-15

Temat Testowanie sprawności kolumnowych baz danych w zastosowaniach genomicznych.

Cel pracy Przetestowanie i ewentualne rozszerzenie możliwości rozproszonej hurtowni danych genomicznych na potrzeby medycyny personalizowanej, według projektu https://github.com/ZSI-Bio/variantsdwh.

Zadania 1. Przegląd literatury na temat bioinformatyki genomowej oraz medycyny

personalizowanej.2. Zapoznanie się ze strukturami danych dla wariantów genomicznych

(mutacje, SNP/CNV) i medycznych opisów fenotypu pacjentów.3. Instalacja i wykonanie testów hurtowni na dostępnej infrastrukturze.4. Przetestowanie różnych rodzajów zapytań i zaproponowanie możliwych

usprawnień i rozszerzeń hurtowni.

Promotor dr inż. Anna Leśniewska

Dyplomant

Z3-16

Temat Analiza danych genomicznych z nukleotydową precyzją w środowisku rozproszonym.

Cel pracy Stworzenie biblioteki do analizy złożonych struktur, będących połączeniem danych genomicznych (RNA i DNA).

Zadania 1. Przegląd literatury na temat bioinformatyki genomowej.2. Zapoznanie się ze złożonymi strukturami danych jako przedmiot analizy

w uczeniu maszynowym.3. Analiza przy użyciu istniejących bibliotek w środowisku rozproszonym

(Mllib, SystemML).4. Przeprowadzenie testów i propozycja modyfikacji algorytmów dla

danych genomicznych.

Promotor dr inż. Anna Leśniewska

Dyplomant

Z3-17

Temat Automatyczne wykrywanie anomalii w skorelowanych strumieniach danych (Detecting Anomalies in Correlated Data Streams)

Cel pracy Wybór rozwiązań i implementacja prototypowego środowiska umożliwiającego wykrywanie anomalii pomiędzy wykazującymi korelację strumieniami danych pomiarowych/obserwacyjnych. Przykładowe technologie implementacyjne: RX Java, Kafka. Potencjalne zastosowania: wykrywanie awarii sensorów w środowiskach IoT, wykrywanie awarii/ataków w systemach teleinformatycznych.

Zadania Studium literaturowe, analiza metod wykrywania korelacji pomiędzy strumieniami danych, analiza metod wykrywania anomalii w strumieniach danych, implementacja prototypów, badania ewaluacyjne.

Promotor dr hab. inż. Maciej Zakrzewicz

Dyplomant

Z3-18

Temat Analiza porównawcza narzędzi analityczno-raportujących dla repozytoriów typu Data Lake (Evaluation of Analytical and Reporting Tools for Data Lakes)

Cel pracy Wybór rozwiązań, opracowanie kryteriów oraz przeprowadzenie wielokryterialnej analizy porównawczej wybranych narzędzi analityczno-raportujących dla repozytoriów danych typu Data Lake.

Zadania Studium literaturowe, charakterystyka i przegląd zastosowań repozytoriów typu Data Lake, charakterystyka narzędzi analityczno-raportujących, badanie porównawcze, analiza wyników.


Dyplomant

Z3-19

Temat Analiza porównawcza narzędzi anonimizacji danych w bazach danych (Evaluation of Database Anonymization Tools)

Cel pracy Wybór rozwiązań, opracowanie kryteriów oraz przeprowadzenie wielokryterialnej analizy porównawczej wybranych narzędzi anonimizacji danych w bazach danych

Zadania Studium literaturowe, przegląd problematyki anonimizacji danych, charakterystyka narzędzi anonimizacji danych, badanie porównawcze, analiza wyników, propozycje rozwinięcia dostępnych metod, prototypowa implementacja rozszerzeń


Dyplomant

Z3-20

Temat Automatyczne wykrywanie anomalii w dziennikach zdarzeń systemowych

Cel pracy Analiza porównawcza istniejących algorytmów i opracowanie nowatorskich metod uczenia maszynowego do wykrywania anomalii w dziennikach zdarzeń systemowych.

Zadania 1. Studium literaturowe2. Zbieranie danych eksperymentalnych3. Badanie porównawcze4. Propozycje rozwinięcia dostępnych metod5. Prototypowa implementacja rozszerzeń

Promotor dr inż. Dariusz Brzeziński

Dyplomant

Z3-21

Temat Modyfikacje drzew Hoeffdinga dla danych niezbalansowanych

Cel pracy Analiza alternatywnych definicji funkcji podziału w drzewach Hoeffdinga uczonych z niezbalansowanych danych.

Zadania 1. Zapoznanie się z literaturą dotyczącą metod uczenia maszynowego dla strumieni danych

2. Propozycja nowej funkcji podziału drzew decyzyjnych uczonych z próbkowanych danych niezbalansowanych

3. Implementacja algorytmu w środowisku MOA4. Eksperymentalna weryfikacja propozycji5. Analiza wyników


Dyplomant

Z3-21

Temat Analiza ROC dla klasyfikacji porządkowej

Cel pracy Propozycja wizualnej oceny klasyfikatorów porządkowych (ang. ordinal classification) w oparciu o rozszerzenie przestrzeni (R)ROC.

Zadania 1. Zapoznanie się z tematyką oceny algorytmów uczenia maszynowego w przestrzeniach ROC i RROC

2. Dostosowanie przestrzeni RROC do problemów klasyfikacji porządkowej

3. Wizualna analiza wybranych algorytmów w zaproponowanej przestrzeni


Dyplomant

Z3-22

Temat Odkrywanie wzorców o wysokiej użyteczności w danych przestrzennych

Cel pracy Celem pracy jest zaproponowanie miary użyteczności dla wybranej klasy wzorców przestrzennych i opracowanie wydajnego algorytmu odkrywania takich wzorców przy zadanych parametrach użyteczności.

Zadania 1. Zapoznanie się z literaturą dotyczącą odkrywania wzorców w danych przestrzennych (2D).

2. Przeprowadzenie analizy różnych podejść do wyznaczania użyteczności.3. Udział w opracowaniu wydajnego algorytmu odkrywania wzorców o

zadanych parametrach użyteczności.4. Przetestowanie algorytmu.5. Przygotowanie pracy dyplomowej.

Promotor dr inż. Paweł Boiński

Dyplomant

Z3-23

Temat Opracowanie metody generowania danych syntetycznych dla problemu odkrywania wzorców przestrzenno czasowych kolokacji

Cel pracy Stworzenie parametryzowanego generatora pozwalającego na generowanie dużych wolumenów danych przestrzennych, których charakterystyka zbliżona jest do rzeczywistych zbiorów danych.

Zadania Zadania:1. Pozyskanie rzeczywistych zbiorów danych przestrzennych.2. Budowa modelu opisującego rzeczywiste zbiory danych.3. Zastosowanie modelu do wygenerowania nowych zbiorów danych.4. Ocena uzyskanych wyników z wykorzystaniem istniejących algorytmów

eksploracji danych.5. Przygotowanie pracy dyplomowej.


Dyplomant

Z3-24

Temat Opracowanie algorytmu dla odkrywanie kolokacji przestrzennych z powtórzeniami

Cel pracy Wybór i modyfikacja istniejącego algorytmu odkrywania kolokacji przestrzennych o możliwość uwzględnienia faktu wielokrotnego występowania instancji tego samego typu dla odkrywanych wzorców.

Zadania Zadania:1. Zapoznanie się z literaturą dotyczącą odkrywania kolokacji

przestrzennych.2. Wybór algorytmu bazowego do dalszych modyfikacji.3. Zaproponowanie metody uwzględniania powtórzeń.4. Implementacja i przetestowanie algorytmu.5. Przygotowanie pracy dyplomowej.


Dyplomant

Z3-25

Temat Analiza porównawcza systemów baz danych typu Crowdsourcing Database (Comparative Analysis of Crowdsourcing Database Systems)

Cel pracy Wielokryterialna analiza porównawcza mechanizmów funkcjonalnych, interfejsów użytkownika, technik optymalizacji zapytań i metod kontroli jakości i niezawodności w systemach baz danych typu Crowdsourcing Database, np. CrowdDB, Qurk, Deco, CrowdOP. Przykładowa literatura wprowadzająca: “CrowdDB: Answering Queries with Crowdsourcing”

Zadania Zadania:

Studium literaturowePilotażowe wdrożenie wybranych systemówOpracowanie kryteriów dla analizy porównawczejPrzeprowadzenie analizy porównawczej


Dyplomant

Z3-26

Temat Metody badania wpływu sekwencji zdarzeń zachodzących dla obiektów na ich stan

Cel pracy Celem pracy jest opracowanie oraz przetestowanie nowych metod analizy złożonych danych sekwencyjnych.W szczególności praca ma się skupić na analizie sekwencji zdarzeń zachodzących dla pewnych obiektów (np. akcji marketingowych kierowanych do klientów pewnej firmy) wraz z sekwencją stanów tych obiektów (np. zmieniającej się opinii klientów na temat danej firmy).Głównym zadaniem opracowanej metody ma być odkrycie zależności pomiędzy sekwencjami zdarzeń a zmianami stanu (np. odkrycie minimalnej sekwencji akcji marketingowych prowadzących do poprawy opinii klienta o firmie).

Zadania Zadania:1. Przegląd powiązanej literatury2. Opracowanie metod odkrywania sekwencji prowadzących do zmiany

stanu obiektów3. Implementacja opracowanych metod4. Eksperymentalna weryfikacja opracowanych metod

Promotor dr inż. Maciej Piernik

Dyplomant

Z3-27

Temat Badanie przydatności grupowania w uczeniu nadzorowanym

Cel pracy Celem pracy jest zbadanie przydatności grupowania danych w problemach uczenia nadzorowanego.Badanie ma polegać między innymi na ekstrakcji nowych cech poprzez grupowanie i zbadaniu ich jakości przy pomocy różnych miar oceny jakości atrybutów jak również przetestowaniu ich działania w problemie klasyfikacji.

Zadania Zadania:1. Przegląd powiązanej literatury2. Opracowanie metod pozwalających efektywnie wykorzystać grupowanie

w uczeniu nadzorowanym3. Implementacja opracowanych metod4. Eksperymentalna weryfikacja opracowanych metod

Promotor dr inż. Maciej Piernik

Dyplomant

Z3-28

Temat Analiza danych geograficznych OpenStreetMap

Cel pracy Celem pracy jest analiza danych pochodzących z serwisu OpenStreetMap. Konkretne zadania i techniki analizy zostaną ustalone po wstępnym zapoznaniu się z dostępnymi danymi.

Zadania 1. Zapoznanie się z charakterem dostępnych danych.2. Opracowanie koncepcji analizy dostępnego zbioru danych.Implementacja wybranych algorytmów, przeprowadzenie eksperymentów i opracowanie wniosków.


Dyplomant 116829

Z3-29

Temat Projekt prototypowego środowiska testów bezpieczeństwa wirtualnych urządzeń sieciowych

Cel pracy Przygotowanie prototypu środowiska zwirtualizowanych urządzeń sieciowych dla prowadzenia testów bezpieczeństwa.

Zadania

Przygotowanie konfiguracji środowiska zwirtualizowanych urządzeń sieciowych na wybranej platformie. Przeprowadzenie przykładowych testów podatności skonfigurowanych urządzeń na wybrane ataki sieciowe. Analiza wyników. Opracowanie procedur obrony przed wykrytymi podatnościami.

Promotor dr inż. Michał Szychowiak

Dyplomant

Z3-30

Temat Prototypowa implementacja systemu bezpiecznego przepływu danych w środowisku usług sieciowych

Cel pracy Projekt rozszerzenia środowiska MS Windows Communication Foundation o moduły kontroli przepływu danych (Information Flow Control).

Zadania Implementacja prototypowych modułów w technologii .NET oraz testy funkcjonalne prototypu.

Promotor dr inż. Michał Szychowiak

Dyplomant

Z3-31

Temat Program do rezerwowania tematów prac dyplomowych oparty na rozproszonym rejestrze (blockchain).

Cel pracyCelem pracy jest zbudowanie prostej wersji oprogramowania systemowego o własnościach rozproszonego rejestru oraz przykładowej aplikacji służącej do rezerwacji tematów prac dyplomowych.

Zadania Zapoznanie się technologią blockchain, zaprojektowanie funkcjonalności i

budowa oprogramowania systemowego o własnościach rozproszonego rejestru, projekt i budowa przykładowej aplikacji służącej do rezerwacji tematów prac dyplomowych.

Promotor dr inż. Tomasz KoszlajdaDyplomant Z3-32

Temat Szyfrowanie homomorficzne

Cel pracy Przegląd homomorficznych algorytmów szyfrowania danych w kontekście zastosowania w publicznych chmurach obliczeniowych.

Zadania Przeprowadzenie analizy porównawczej różnych schematów szyfrowania homomorficznego.

Promotor dr inż. Tomasz KoszlajdaDyplomantZ3-33

TematAnaliza modeli programowania i bibliotek dla pamięci trwałej oraz implementacja przykładowych struktur danych używając PMDK.

Cel pracy

W ostatnich latach można zaobserwować intensywny rozwój technologii wytwarzania pamięci trwałej (ang. non-volatile memory, persistent memory). Pierwsze kostki takiej pamięci pojawiły się już na rynku. W ślad za rozwojem sprzętu zaproponowano pierwsze standardy i biblioteki programistyczne, które umożliwiają korzystanie z pamięci trwałej w systemach komputerowych. Na przykład, opracowany przez SNIA standard "NVM Programming Model" opisuje podstawowy model programistyczny używany do programowania z pamięcią trwałą. Persistent Memory Development Kit(PMDK) (http://pmem.io/pmdk/) to aktualnie intensywnie rozwijana przez Intel kolekcja bibliotek i narzędzi dla pamięci trwałej.

Celem pracy jest zidentyfikowanie ograniczeń PMDK oraz zaproponowanie możliwych rozszerzeń tego zestawu bibliotek, w kontekście różnych modeli programowania NVM. Wymaga to zapoznania się ze standardami SNIA oraz gruntownego przetestowania bibliotek PMDK. Ponadto, w ramachprojektu należy zaimplementować w języku C przy użyciu PMDK kilka przykładowych struktur danych, np.: linked list, hash table, B-tree, lub inne (do uzgodnienia). Projekt wymaga dobrej znajomości języka C, architektury komputerowej, i systemu operacyjnego Linux.

Zadania

1. analiza standardu SNIA "NVM Programming Model"2. przebadanie bibliotek PMDK3. identyfikacja braków i zaproponowanie możliwych rozszerzeń PMDK4. implementacja przykładowych struktur danych dla pamięci trwałej przy

użyciu PMDKPromotor dr hab. inż. Paweł T. Wojciechowski

DyplomantZ3-34Temat Protokół wyszukiwania i replikacji zasobów w społecznościowych sieciach

P2PCel pracy Projekt i implementacja efektywnego algorytmu wyszukiwania i replikacji

zasobów w sieciach społecznościowych P2P, wykorzystującego wiedzę węzłów

na temat ich sąsiadów.Zadania 1. Analiza istniejących protokołów wyszukiwania i replikacji zasobów w

systemach P2P2. Analiza sieci społecznościowych P2P i mechanizmów wyboru znajomych3. Propozycja metryk oceniających sąsiednie węzły4. Propozycja protokołu wyszukiwania i replikacji – uwzględnienie

zaproponowanych metryk oceny sąsiednich węzłów w trakcie wyboru węzłów przechowujących repliki

5. Ocena eksperymentalna zaproponowanego rozwiązaniaPromotor dr inż. Anna KobusińskaDyplomantZ3-35Temat Rozproszony konsensus w protokole Blockchain

Cel pracy Projekt protokołu konsensusu zwiększający efektywność rozwiązań wykorzystujących protokół Blockchain oraz jego zastosowanie w wybranej domenie

Zadania 1. Analiza protokołu Blockchain2. Analiza istniejących protokołów konsensusu3. Propozycja i konstrukcja protokołu konsensusu rozszerzająca istniejące

rozwiązanie stosowane w protokole Blockchain4. Uwzględnienie w proponowanym rozwiązaniu własności i założeń wybranej

domeny5. Eksperymentalna ocena zaproponowanego protokołu

Promotor dr inż. Anna KobusińskaDyplomantZ3-36Temat Protokół optymistycznej replikacji w systemach dużej skali

Cel pracy Projekt i implementacja protokołu zapewniającego rozluźniony model spójności w systemach dużej skali

Zadania 1. Analiza istniejących rozluźnionych modeli spójności2. Analiza zastosowań twierdzenia CAP w kontekście replikacji w systemach

dużej skali3. Analiza protokołów replikacji wykorzystujących rozluźnione modele

spójności oraz rozwiązań stosujących geo-replikację4. Propozycja protokołu optymistycznej replikacji w systemach dużej skali,

gwarantującego rozluźnione modele spójności5. Weryfikacja poprawności zaproponowanego rozwiązania

Promotor dr inż. Anna KobusińskaDyplomantZ3-37Temat Współdzielenie zasobów w systemach dużej skali na przykładzie systemów

MMOCel pracy Projekt i implementacja efektywnego protokołu współdzielenia i równoważenia

zasobów w systemach MMO.Zadania 1. Analiza istniejących protokołów współdzielenia zasobów w systemach dużej

skali2. Analiza rozwiązań stosowanych w istniejących systemach MMO3. Projekt i konstrukcja protokołu równoważenia zasobów w systemach dużej

skali pod kątem zastosowania zaproponowanego protokołu w systemach MMO

4. Weryfikacja poprawności zaproponowanego rozwiązania

Promotor dr inż. Anna KobusińskaDyplomantZ3-38

Temat Przetwarzanie dużych zbiorów danych na platformie Microsoft .NETCel pracy Celem pracy jest przegląd i ocena dojrzałości narzędzi do przetwarzania dużych

zbiorów danych (Big Data) na platformie .NET, ze szczególnym uwzględnieniem danych strumieniowych.

Zadania 1. Przegląd dostępnych narzędzi i środowisk.2. Ocena funkcjonalności i dojrzałości rozwiązań Big Data dostępnych na platformie .NET na tle narzędzi dla platformy Java.


Dyplomant 117268Z3-39Temat Analiza danych historycznych z rynku kryptowalut

Cel pracyCelem pracy jest opracowanie koncepcji i implementacja systemu wspomagającego decyzje w obszarze handlu kryptowalutami na podstawie analizy zebranych danych historycznych.

Zadania

1. Projekt i implementacja aplikacji do gromadzenia danych historycznych z rynku kryptowalut.2. Wybór lub adaptacja technik i algorytmów analizy danych odpowiednich dla rozwiązywanego problemu.3. Projekt i implementacja oprogramowania serwerowego obsługującego handel kryptowalutami.

Promotor dr hab. inż. Marek WojciechowskiDyplomant 122555Z4-2

Temat Algorytm do wykrywania wariantów strukturalnych w danych genomowych

Cel pracy

Celem jest zaznajomienie się z istniejącymi algorytmami/programami służącymi do wykrywania wariantów strukturalnych (szczególnie transpozonów) w danych genomowych oraz opracowanie, implementacja i testy własnego podejścia do tego problemu.

Zadania

1. Zapoznanie się z literaturą dotyczącą wariantów strukturalnych ze szczególnym naciskiem na transpozony oraz z istniejącymi programami/algorytmami służącymi do ich wykrywania w danych genomowych.

2. Opracowanie, implementacja i testy algorytmu służącego do wykrywania wariantów strukturalnych w danych genomowych człowieka.

Promotor prof. dr hab. inż. Jacek Błażewiczopiekun: mgr inż. Wojciech Frohmberg

Dyplomant Studia stacjonarne

Z4-3

Temat Opracowanie metod wizualizacji 2D i 3D dla symulatora początków życia

Cel pracy Obserwacja zachowania w czasie modelowanego systemu biologicznego jest często kluczowa do zrozumienia procesów i przemian w nim zachodzących. Dlatego też, aby obserwacje takie były możliwe, ważne jest przygotowanie

odpowiednich metod wizualizacji dla modelowanych systemów biologicznych. Na Wydziale Informatyki opracowano we wcześniejszych latach w oparciu o systemy wieloagentowe symulator, który pozwala na przeprowadzanie symulacji dotyczących wczesnego etapu powstawania życia. Celem pracy jest opracowanie optymalnych metod wizualizacji 2D i 3D dla stworzonego na Wydziale Informatyki symulatora początków życia.

Zadania 1. Przegląd, opracowanie i implementacja metody, która pozwoli na wizualizację zachowania systemu modelującego początki życia na Ziemi w 2D.

2. Przegląd, opracowanie i implementacja metody, która pozwoli na wizualizację zachowania systemu modelującego początki życia na Ziemi w 3D.

3. Przy współudziale promotora przygotowanie publikacji naukowej opisującej osiągnięte wyniki.

Promotor prof. dr hab. inż. Jacek Błażewiczopiekun naukowy: dr Natalia Szóstak


Z4-4

Temat Porównanie algorytmów do predykcji struktur drugorzędowych RNA

Cel pracy Celem pracy jest wykonanie szczegółowej analizy porównawczej algorytmów do predykcji struktur 2D.

Zadania Zapoznanie się z problemem predykcji struktur 2D oraz dostępnymi programami. Wykonanie testów.

Promotor prof. dr hab. inż. Jacek Błażewiczopiekun naukowy: dr inż. Agnieszka Rybarczyk


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. Zapoznanie się z problemem planowania przydziału nabrzeży (BAP).2. Projekt i implementacja symulatora. Aplikacja powinna umożliwiać m.in.:

a. zarządzanie schematami podziału linii nabrzeża;b. generowanie instancji testowych wg zadanych parametrów;c. wizualizację wyników, np. ruchu statków przy nabrzeżu.

3. Implementacja wybranych, istniejących algorytmów planowania.4. Przeprowadzenie eksperymentów dla wybranych instancji testowych.

Promotor prof. dr hab. inż. Maciej DrozdowskiDyplomant Studia stacjonarneZ4-6

Temat Implementacja wybranych algorytmów równoważenia obciążeń dla obliczeń typu MapReuce

Cel pracyCelem pracy jest eksperymentalne porównanie skuteczności wybranych algorytmów równoważenia obciążeń dla obliczeń zgodnych z paradygmatem MapReduce

Zadania1. Zapoznanie się paradygmatem MapReduce i systemem Hadoop.2. Implementacja wybranych znanych algorytmów równoważenia obciążeń.3. Testy wydajnościowe dla zaimplementowanych algorytmów.

Promotor prof. dr hab. inż. Maciej DrozdowskiDyplomant Studia stacjonarne

Z4-7

Temat Generator map izoefektywności i równej wydajności energetycznej dla nieliniowych obliczeń jednorodnie podzielnych

Cel pracyCelem przy jest wytworzenie oprogramowania rysującego izolinie reprezentujące równą wydajność czasową lub energetyczną dla pewnego modelu aplikacji równoległych

Zadania

1. Zapoznanie się z modelem zadań jednorodnie podzielnych oraz ideą linii równej efektywności (izolinii).2. Implementacja algorytmu rysującego izolinie dla zadanych parametrów modelu.

Promotor prof. dr hab. inż. Maciej DrozdowskiDyplomant Studia stacjonarneZ4-8

Temat Algorytmy znajdowania podobieństw w grafach

Cel pracy Celem pracy jest opracowanie i implementacja algorytmów umożliwiających określanie podobieństwa grafów oraz znajdowanie występujących w nich podobnych struktur.

Zadania 1. Przegląd literatury dotyczącej zagadnień porównywania grafów.2. Opracowanie zestawienia opisanych w literaturze metod znajdowania podobieństw grafów oraz ich zastosowań.3. Opracowanie algorytmów dla wybranych problemów porównywania grafów mogących znaleźć zastosowanie w analizie modeli systemów biologicznych.4. Implementacja algorytmów.5. Przeprowadzenie eksperymentu obliczeniowego.

Promotor prof. dr hab. inż. Piotr Formanowicz

DyplomantStudia stacjonarne

Z4-9

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.



Z4-10

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 w organizmie człowieka 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.



Z4-11

Temat Algorytmy kwantowe dla problemów kombinatorycznych

Cel pracy Celem pracy jest opracowanie algorytmów kwantowych dla wybranych problemów kombinatorycznych.

Zadania 1. Przegląd literatury dotyczącej algorytmów i komputerów kwantowych.2. Opis modeli obliczeń kwantowych.3. Opis klas złożoności związanych z obliczeniami kwantowymi.4. Opracowanie algorytmów kwantowych dla wybranych problemów kombinatorycznych.



Z4-12Temat Analiza porównawcza algorytmów zliczania grafletów

Cel pracy

Przegląd istniejących algorytmów zliczania wystąpień grafletów (małych indukowanych podgrafów, ang. graphlets) w sieciach nieskierowanych i skierowanych. Analiza porównawcza algorytmów.

Zadania

1. Przegląd literatury.

2. Porównanie znanych z literatury algorytmów na gruncie teoretycznym (zastosowane podejścia) i praktycznym (testy na wzorcowych instancjach).

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

Promotor prof. dr hab. inż. Marta KasprzakDyplomant Studia stacjonarneZ4-13Temat Algorytm dla problemu zliczania grafletów w sieciach nieskierowanychCel pracy Skonstruowanie efektywnego czasowo algorytmu dla problemu zliczania

wystąpień grafletów (małych indukowanych podgrafów, ang. graphlets) w sieciach nieskierowanych.

Zadania


2. Opracowanie nowego, efektywnego czasowo algorytmu zliczania grafletów w sieciach nieskierowanych.

3. Implementacja i testy nowego algorytmu, porównanie z innymi algorytmami znanymi z literatury.


Promotor prof. dr hab. inż. Marta KasprzakDyplomant Studia stacjonarneZ4-14Temat Algorytm dla problemu zliczania grafletów w sieciach skierowanych

Cel pracy

Skonstruowanie efektywnego czasowo algorytmu dla problemu zliczania wystąpień grafletów (małych indukowanych podgrafów, ang. graphlets) w sieciach skierowanych.

Zadania


2. Opracowanie nowego, efektywnego czasowo algorytmu zliczania grafletów w sieciach skierowanych.

3. Implementacja i testy nowego algorytmu, porównanie z innymi algorytmami znanymi z literatury.


Promotor prof. dr hab. inż. Marta KasprzakDyplomant Studia stacjonarneZ4-15Temat Powierzchnie B-sklejane i ich wizualizacjaCel pracy Opis powierzchni B-sklejanych i algorytmów ich konstrukcji

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

Promotor prof. dr hab. Andrzej MarciniakDyplomant Studia stacjonarneZ4-16Temat Krzywe w reprezentacji Hermite’a i ich wizualizacjaCel 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 Delhi

Promotor prof. dr hab. Andrzej MarciniakDyplomant Studia stacjonarneZ4-17

Temat Metoda wielo-agentowa dla problemu szeregowania zadań modelującego problem optymalizacji telewizyjnych kampanii reklamowych

Cel pracy

Celem pracy jest zaprojektowanie, implementacja i eksperymentalna weryfikacja efektywności metody wielo-agentowej rozwiązującej problem szeregowania zadań na maszynach równoległych z czasami przezbrojeń, którego rozwiązanie modeluje sekwencję reklam emitowanych w ramach przerw reklamowych.

Zadania

Zapoznanie się z problematyką szeregowania zadań oraz optymalizacji czasu reklamowego. Zaprojektowanie i implementacja algorytmu wielo-agentowego, w którym poszczególni agenci optymalizują rozwiązanie z punktu widzenia pojedynczego reklamodawcy, modelowanego jako podzbiór zbioru zadań. Zadania (reklamy) szeregowane są na maszyna równoległych (kanałach telewizyjnych). Zaplanowanie i przeprowadzenie eksperymentu obliczeniowego z użyciem danych testowych wygenerowanych na podstawie danych rzeczywistych. Analiza wyników testów.

Promotor dr hab. inż. Małgorzata Sterna, prof. PPDyplomant Studia stacjonarneZ4-18

Temat Metaheurystyka dla problemu szeregowania zadań modelującego problem optymalizacji telewizyjnych kampanii reklamowych

Cel pracy

Celem pracy jest zaprojektowanie, implementacja i eksperymentalna weryfikacja efektywności metody metaheurystycznej rozwiązującej problem szeregowania zadań na maszynach równoległych z czasami przezbrojeń, którego rozwiązanie modeluje sekwencję reklam emitowanych w ramach przerw reklamowych.

Zadania

Zapoznanie się z problematyką szeregowania zadań i optymalizacji czasu reklamowego oraz metodami metaheurystycznymi. Zaprojektowanie i implementacja wybranego algorytmu, optymalizującego rozwiązanie polegające na przypisaniu zadań (reklam) do na maszyn równoległych (kanałów telewizyjnych) z rożnych punktów widzenia. Zaplanowanie i przeprowadzenie eksperymentu obliczeniowego z użyciem danych testowych wygenerowanych na podstawie danych rzeczywistych. Analiza wyników testów.


Temat Metoda dokładna dla problemu szeregowania zadań modelującego problem optymalizacji telewizyjnych kampanii reklamowych

Cel pracy

Celem pracy jest zaprojektowanie, implementacja i eksperymentalna weryfikacja efektywności metody dokładnej rozwiązującej problem szeregowania zadań na maszynach równoległych z czasami przezbrojeń, którego rozwiązanie modeluje sekwencję reklam emitowanych w ramach przerw reklamowych.

Zadania

Zapoznanie się z problematyką szeregowania zadań i optymalizacji czasu reklamowego. Opracowanie modelu analizowanego problemu, polegającego na przypisaniu zadań (reklam) do na maszyn równoległych (kanałów telewizyjnych) z uwzględnieniem rożnych kryteriów. Rozwiązanie modelu z użyciem algorytmu dokładnego i/albo wybranego solvera. Zaplanowanie i przeprowadzenie eksperymentu obliczeniowego z użyciem danych testowych wygenerowanych na podstawie danych rzeczywistych. Analiza wyników testów.


Temat Nowy algorytm oceny podobieństwa struktur 3D RNA

Cel pracy Opracowanie oraz implementacja metody opartej na koncepcji TM-score, służącej do oceny podobieństwa dwóch struktur trójwymiarowych RNA.

Zadania

Zapoznanie się z metodami oceny podobieństwa trójwymiarowych struktur cząsteczek biologicznych. Zapoznanie się z koncepcją TM-score. Opracowanie bazującej na TM-score zoptymalizowanej metody oceny podobieństwa struktur 3D RNA. Implementacja algorytmu oraz przetestowanie jego działa na reprezentatywnym zbiorze struktur 3D RNA. Opracowanie dokumentacji.

Promotor Dr hab. inż. Marta SzachniukDyplomant Studia stacjonarneZ4-21

Temat Od analizy ciągów znakowych do wizualizacji kompromisu.

Cel pracy Istniejące algorytmy bioinformatyczne, które odczytują informację o strukturze drugorzędowej RNA z plików zawierających współrzędne atomowe nie są zgodne. Obliczane przez te algorytmy struktury, podane w postaci ciągów znakowych różnią się między sobą. Głównym celem pracy jest analiza ciągów znakowych generowanych przez istniejące metody, opracowanie algorytmu znajdującego tzw. strukturę kompromisową (zawierającą znaki, co do których istniejące metody są zgodne) oraz wizualizacja kompromisu wraz z podaniem statystyk: ile/jakie są różnice i podobieństwa w analizowanych ciągach znakowych).

Zadania Zapoznanie się z metodą kodowania struktury za pomocą ciągu znaków. Zapoznanie się z narzędziem RNApdbee, w którym zagregowane są 3 istniejące metody odczytywania struktury, oraz z czwartym algorytmem. Dołączenie 4-tej metody do RNApdbee. Opracowanie metody generującej konsensus na podstawie czterech ciągów znakowych, oraz identyfikującej wszystkie podobieństwa i różnice w ciągach znakowych. Prosta wizualizacja konsensusu, różnic i podobieństw. Implementacja w/w metody i zagregowanie jej z RNApdbee. Wykonanie testów metody dla reprezentatywnego zbioru danych dostarczonego przez promotora.

Promotor dr hab. inż. Marta Szachniuk


Z4-22

Temat Nowy algorytm oceny podobieństwa struktur 3D RNA

Cel pracy Opracowanie oraz implementacja metody opartej na koncepcji TM-score, służącej do oceny podobieństwa dwóch struktur trójwymiarowych RNA.

Zadania

Zapoznanie się z metodami oceny podobieństwa trójwymiarowych struktur cząsteczek biologicznych. Zapoznanie się z koncepcją TM-score. Opracowanie bazującej na TM-score zoptymalizowanej metody oceny podobieństwa struktur 3D RNA. Implementacja algorytmu oraz przetestowanie jego działa na reprezentatywnym zbiorze struktur 3D RNA. Opracowanie dokumentacji.

Promotor Dr hab. inż. Marta SzachniukDyplomant Studia stacjonarneZ4-23

Temat Optymalizacja sposobu prezentacji przeplotów w cząsteczkach RNA zwykorzystaniem metod grafiki komputerowej

Cel pracyCelem pracy jest opracowanie algorytmów z dziedziny grafiki komputerowej do optymalizacji sposobu prezentacji przeplotów obserwowanych w cząsteczkach RNA

Zadania 1. Zapoznanie się z problemem wizualizowania przeplotów obserwowanych w cząsteczkach RNA.

2. Przegląd istniejących rozwiązań w dziedzinie grafiki komputerowej adresujących ten lub zbliżony problem.

3. Opracowanie specjalizowanego rozwiązania lub dostosowanie istniejącego podejścia do założonego problemu.

4. Przeprowadzenie eksperymentów weryfikujących efektywność obliczeniową jak i precyzję identyfikacji przeplotów w cząsteczkach RNA.

5. Wdrożenie opracowanego rozwiązania w ramach udostępnionego serwera obliczeniowego.

6. Stworzenie dokumentacji technicznej oraz dołączenie kodu źródłowego zrealizowanych artefaktów wraz z dokumentacją na płycie DVD.

Promotor Dr inż. Maciej AntczakDyplomant Studia stacjonarneZ4-24

TematOpracowanie i weryfikacja podejść do asemblacji zdefiniowanego zbioru elementów 3D RNA podczas tworzenia wstępnego modelu w ramach systemu RNAComposer

Cel pracy

Celem pracy jest opracowanie algorytmów pozwalających na konstruowanie wstępnego modelu 3D RNA przy jednoczesnej minimalizacji możliwych nieprawidłowości takich jak np. przeploty na podstawie zbioru znanych elementów 3D

Zadania

7. Zapoznanie się ze strukturalną topologią cząsteczek RNA.8. Przegląd istniejących metod, które warto byłoby zastosować podczas

konstruowania wstępnego modelu 3D RNA.9. Opracowanie specjalizowanego rozwiązania lub dostosowanie istniejącego

podejścia do założonego problemu.10. Przeprowadzenie eksperymentów weryfikujących efektywność obliczeniową

jak i jakość konstruowanych modeli 3D RNA.11. Wdrożenie opracowanego rozwiązania w ramach modułu obliczeniowego

systemu RNAComposer.12. Stworzenie dokumentacji technicznej oraz dołączenie kodu źródłowego

zrealizowanych artefaktów wraz z dokumentacją na płycie DVD.Promotor Dr inż. Maciej AntczakDyplomant Studia stacjonarneZ4-25

Temat Opracowanie metody obliczeniowej pozwalającej na wiarygodne przewidywanie struktur przestrzennych bardzo dużych cząsteczek RNA

Cel pracy Celem pracy jest opracowanie metody obliczeniowej pozwalającej na precyzyjne modelowanie struktur przestrzennych RNA, których rozmiar przekracza 500 reszt

Zadania

13. Zapoznanie się ze specyfiką modułu obliczeniowego systemu RNAComposer.14. Identyfikacja kluczowych problemów, które powodują spadek jakości

predykcji wraz ze wzrostem rozmiaru wejściowej cząsteczki RNA.15. Opracowanie nowej metody obliczeniowej, która potrafiłaby w taki sposób

wykorzystywać istniejący moduł obliczeniowy systemu RNAComposer, aby unikać przyczyn prowadzących do nieprawidłowości objawiających się wraz ze wzrostem rozmiaru cząsteczki RNA.

16. Przeprowadzenie eksperymentów weryfikujących efektywność obliczeniową jak i precyzję konstrukcji bardzo dużych modeli 3D RNA.

17. Wdrożenie opracowanego rozwiązania w ramach modułu obliczeniowego systemu RNAComposer.

18. Stworzenie dokumentacji technicznej oraz dołączenie kodu źródłowego zrealizowanych artefaktów wraz z dokumentacją na płycie DVD.

Promotor Dr inż. Maciej AntczakDyplomant Studia stacjonarneZ4-26

Temat Opracowanie analizatora stanów programu współbieżnego w języku C

Cel pracyCelem pracy jest opracowanie analizatora stanów (możliwych przeplotów) dla programów współbieżnych napisanych w języku C z wykorzystaniem biblioteki pthreads

Zadania Zapoznanie się z biblioteką pthreads, opracowanie koncepcji narzędzia, implementacja, testowanie i opracowanie dokumentacji

Promotor dr inż. Wojciech ComplakDyplomant Studia stacjonarneZ4-27

Temat Opracowanie i zaimplementowanie algorytmu odtwarzania modelu UML z kodu źródłowego Javy

Cel pracy Celem pracy jest opracowanie wtyczki do odtwarzania (reverse engineering) modelu UML z kodu źródłowego klas w języku Java.

Zadania Zapoznanie się z dokumentacją programu WhiteStarUML, opracowanie koncepcji wtyczki, implementacja, testowanie i opracowanie dokumentacji

Promotor dr inż. Wojciech ComplakDyplomant Studia stacjonarneZ4-28

Temat Narzędzia IT wspomagające modelowanie architektury korporacyjnej

Cel pracy Przygotowanie studium przypadku modelowania architektury korporacyjnej dla celów dydaktycznych

Zadania

Analiza celów, metod i narzędzi IT do modelowania i zarządzania architekturą korporacyjną. Systematyzacja wiedzy o typach zmian w organizacjach oraz studium przypadku do zaprezentowania różnych poziomów modelowania. Przygotowanie materiałów i ćwiczeń dla celów edukacyjnych

Promotor dr inż. Rafał KlausDyplomant Studia stacjonarneZ4-29Temat Opracowanie projektu graficznego i funkcjonalnego gry komputerowej

Cel pracy Przygotowanie studium przypadku dla celów dydaktycznych

Zadania Zaprojektowanie i wykonanie projektu graficznego i funkcjonalnego gry komputerowej. Systematyzacja wiedzy z zakresu budowy modeli funkcjonalnych gier komputerowych i zasad opracowywania grafiki. Przygotowanie case study kilku przypadków dla celów dydaktycznych

Promotor dr inż. Rafał Klaus


Z4-30

Temat Opracowanie scenariusza gry komputerowej

Cel pracy Przygotowanie studium przypadku dla celów dydaktycznych

Zadania Zaprojektowanie i wykonanie scenariusza gry komputerowej. Systematyzacja wiedzy z zakresu budowy scenariuszy gier. Analiza narzędzi IT wspomagających budowę scenariuszy gier. Przygotowanie case study kilku przypadków dla celów dydaktycznych

Promotor dr inż. Rafał Klaus


Z4-31

Temat System generowania informacji dla podróżnych korzystających z urządzeń mobilnych

Cel pracy Opracowanie systemu obejmującego część serwerową i aplikację dla urządzeń mobilnych, który dostarcza multimedialnych informacji podróżującym pociągami

ZadaniaOpracowanie specyfikacji wymagań, projekt i implementacja części serwerowej, projekt i implementacja aplikacji dla urządzeń mobilnych, testowanie systemu. Opracowanie dokumentacji i podręcznika użytkownika.

Promotor dr inż. Jan KniatDyplomant Studia stacjonarneZ4-32Temat System pobierania opłat parkingowych korzystający z urządzeń mobilnych

Cel pracyOpracowanie systemu obejmującego część serwerową i aplikację dla urządzeń mobilnych, który umożliwia wnoszenie opłat za parkowanie i kontrolę opłacenia miejsca parkingowego z wykorzystaniem systemu pozycjonowania satelitarnego.

ZadaniaOpracowanie specyfikacji wymagań, projekt i implementacja części serwerowej, projekt i implementacja aplikacji dla urządzeń mobilnych, testowanie systemu. Opracowanie dokumentacji i podręcznika użytkownika.

Promotor dr inż. Jan KniatDyplomant Studia stacjonarneZ4-33

Temat Metoda do przeprowadzania procedury scaffoldingu ciągów DNA

Cel pracy

Asemblacja DNA jest jednym z kluczowych etapów procesu odczytywania genomów żywych organizmów. Istnieje wiele podejść do rozwiązania problemu asemblacji, jednakże większość implementacji wydziela tzw. etap scaffoldingu z reguły, choć nie zawsze, będący integralną częścią procesu metody. Etap ten służy do łączenia (w założeniu długich) sekwencji nukleotydowych w nadsekwencje.

Celem pracy jest zaproponowanie niezależnej metody scaffoldingu wykorzystującej sparowane odczyty (ang. paired-end reads).

Zadania

Zaproponowanie algorytmu scaffoldingu długich ciągów sekwencji nukleotydowych

Efektywna implementacja zaproponowanego algorytmu Stworzenie zbioru testowego badającego właściwości zaproponowanego

podejścia Przeprowadzenie eksperymentów obliczeniowych porównujących wyniki

zaproponowanej metody z innymi dostępnymi na rynkuPromotor dr inż. Aleksandra ŚwierczOpiekun mgr inż. Wojciech FrohmbergDyplomant Studia stacjonarneZ4-34

TematAlgorytm rozwiązywania popularnych quizów wiedzy przez wyszukanie zapytania lub wariantów odpowiedzi wśród haseł Wikipedii i porównanie z tymi drugimi

Cel pracy Celem jest opracowanie metody rozwiązywania quizów wiedzy z pomocą Wikipedii

Zadania Opracowanie algorytmu wydzielania fraz do szukania w Wikipedii

Opracowanie algorytmu analizy zapisów Wikipedii dla wyszukania odpowiedzi

Promotor dr inż. Andrzej UrbańskiDyplomant Studia stacjonarneZ4-35

Temat Moduł dla sklepu internetowego negocjacji ceny dla sprzedaży towarów i usług

Cel pracyOpracowanie reguł efektywnej negocjacji przez klienta z automatycznym negocjatorem ceny dla sprzedaży towarów i usług celem powiększenia wolumenu sprzedaży i podniesienia przyjaznej elastyczności sprzedawcy

Zadania

Sprzedawca wzbogaca bazę danych o dopuszczalne upusty negocjacyjne danego asortymentu oraz współczynnik twardości negocjatora. Program na żądanie upustu obniża cenę nie bardziej niż o dopuszczalny upust i zadeklarowaną przez kupującego kwotę. Dodatkowy upust przyznaje się jeśli towarom grozi przeterminowanie lub danego dnia zostaną spore rezerwy (np. pokoje hotelowe).

Promotor dr inż. Andrzej UrbańskiDyplomant Studia stacjonarneZ4-36Temat /Title Comparison of web-testing frameworks/approaches – a case study

Cel pracy /Goal

Test automation has gained more and more attention in the recent years. Tools and frameworks like Selenium, Robot Framework, or Katalon made automatic testing of web application easier and more affordable to software development companies. Unfortunately, a large number of tools being released every month makes it difficult to choose the best solution for the teams that are taking their first steps in test automation.

The goal of this thesis project will be to compare selected tools and framework implementing different approaches to organize and automate web-testing (e.g., linear scripting, data-driven, table-driven, hybrid approaches) by looking from the perspective of how a web application is implemented and how it is going to be maintained.

Zadania/ Tasks

review the existing literature on automatic web testing to identify the key approaches and techniques used in this area (also, aggregate lessons learned shared in the literature),

search for an open source web application to be the case analyzed in the thesis project; analyze its development history and select functionality that was frequently subjected to changes,

implement a suite of automatic test cases using different frameworks/approaches for a chosen functionality of the application and investigate the "costs" of maintaining the test suite over time.

Language: English / Polish

Promotor/Supervisor

dr inż. Mirosław Ochodek

Dyplomant Studia stacjonarneZ4-37Temat /Title Defect backlog predictions

Cel pracy / Defect backlog is the collection of all defects reports in a project that need to be

Goal

handled. Its size changes over time. We talk about defects inflow (a new defects being reported) and defects outflow (defects are being resolved). In big organizations, the assignment of developers and testers to projects is to some extent done dynamically, on demand. When a situation in a project demands more human resources, developers are added to a project. Therefore, knowing in advance that a project may require more resources in the following week is a valuable information for the managers. Some studies have been published on the problem of predicting defect backlog size, however, they investigated a very limited number of time series prediction models that could be applied to solve this problem.

The goal of this thesis project will be to collect defect backlogs from open source projects and conduct a simulation study to compare the accuracy of different time-series prediction models (e.g., ARIMA, ARIMAX, recurrent neural networks, etc.).

Zadania/ Tasks

collect defects backlogs from open source projects (e.g., from Bugzilla)

review the literature on time-series prediction models and select a set of most promising models for further investigation

design and implement a simulation framework to compare the accuracy of time-series prediction models

conduct a simulation study to compare the defect backlog prediction accuracy of the models


Promotor/Supervisor



Temat Badanie ograniczeń zastosowań i implementacja odmian algorytmu symulacji stochastycznej Gillespie dla rozszerzonych stochastycznych sieci Petriego.

Cel pracy Zaimplementowanie w już istniejącym narzędziu do edycji i analizy sieci Petriego modułów symulacji stochastycznej dla wybranych rodzajów sieci.

Zadania-Zapoznanie się z algorytmem Gillespie-Zapoznanie się z podstawowymi elementami teorii sieci Petriego-Implementacja modułów symulacji i ich integracja z resztą systemu (programu)

Promotor dr inż. Marcin RadomDyplomant Studia stacjonarneZ4-39

Temat Algorytm heurystyczny dla problemu mapowania cięć w RNA

Cel pracyCelem jest zaznajomienie się z problemem mapowania cięć w RNA oraz istniejącymi algorytmami służącymi do jego rozwiązania. Następnie opracowanie, implementacja i testy własnego podejścia do tego problemu.

Zadania

1. Zapoznanie się z literaturą dotyczącą problemu mapowania cięć w RNA oraz z istniejącymi algorytmami służącymi do jego rozwiązania.

2. Opracowanie, implementacja i testy algorytmu służącego do mapowania cięć w RNA.

Promotor dr inż. Agnieszka RybarczykDyplomant Studia stacjonarne

Z4-40

Temat Problem podziału łańcuchów znaków alfanumerycznych

Cel pracy Opracowanie algorytmu dla problem podziału łańcuchów znaków alfanumerycznych.

Zadania

1. Zapoznanie się z istniejącymi algorytmami dla problemu podziału łańcuchów znaków alfanumerycznych.

2. Opracowanie algorytmu dla problemu podziału łańcuchów znaków alfanumerycznych.

3. Implementacja algorytmu.4. Testowanie algorytmu.

Promotor dr inż. Agnieszka RybarczykDyplomant Studia stacjonarneZ4-41

Temat Analiza degradacji RNA z wykorzystaniem algorytmu genetycznego

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

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

Promotor dr inż. Agnieszka RybarczykDyplomant Studia stacjonarneZ4-42Temat Ocena i optymalizacja efektywności obliczeń w niejednorodnym systemie

równoległym.Cel pracy Efektywne wykorzystanie systemu równoległego opartego o komputery

wieloprocesorowe i procesory kart graficznych do obliczeń współbieżnych.Zadania Poznanie struktury systemu obliczeniowego CPU-GPU, środowiska

programistycznego oraz pomiar parametrów systemu . Opracowanie modelu systemu. Zaproponowanie metody optymalizacji efektywności przetwarzania. Wykonanie eksperymentów obliczeniowych dla zaproponowanego podejścia optymalizacyjnego. Opracowanie wyników i zaproponowanie uogólnionych wniosków dotyczących efektywności przetwarzania w systemie o niejednorodnej równoległości. Narzędzia: OpenMP, MPI, CUDA, OpenCL.

Promotor dr inż. Rafał Walkowiak


Z4-43

Temat Ocena efektywności przetwarzania w systemie obliczeniowym

Cel pracy Badanie zależności pomiędzy wartościami miar efektywności systemów obliczeniowych a efektywnością przetwarzania.

Zadania Analiza dostępnych miar efektywności w programach oceny efektywności.Opracowanie kodów testowych typowych zadań obliczeniowych. Przeprowadzenie eksperymentu obliczeniowego dla wybranych instancji problemu: pomiar efektywności przetwarzania oraz miar/zdarzeń oceny pracy systemu obliczeniowego. Analiza wyników eksperymentu oraz sformułowanie i przedstawienie wniosków na temat zależności pomiędzy miarami oceny pracy systemu obliczeniowego, a efektywnością przetwarzania.

Promotor dr inż. Rafał Walkowiak


Z4-44

Temat Model jakości komentarzy w kodzie źródłowym programów.

Cel pracy Celem jest opracowanei modelu jakości komentarzy umieszczanych w kodzie źródłowym programów w języku Java, wraz z walidacją empiryczną modelu

Zadania1. Przegląd literatury, 2. Identyfikacja czynników istotnych dla jakości komentarzy, 3. Opracowanie modelu jakości dla komentarzy, 4. Empiryczna walidacja modelu

Promotor dr inż. Bartosz WalterDyplomant Studia stacjonarneZ4-45Temat Opracowanie i implementacja gry turowej wraz z wizualizacją oraz sztuczną

inteligencją opartą o uczenie maszynowe dla środowiska Optil.ioCel pracy Poszerzenie bazy problemów Optil.io o ciekawy problem interaktywny, tz. taki, w

którym instancja problemu ulega modyfikacji wraz z rozwiązywaniem.Zadania 1. Opracowanie i implementacja gry turowej.

2. Przygotowanie interfejsu zgodnego z Optil.io.3. Utworzenie 3 sztucznych inteligencji dla stworzonej gry (dwie proste

heurystyki oraz jedno podejście oparte o uczenie maszynowe).Promotor dr inż. Szymon Wąsik

Opiekun naukowy: mgr inż. Jan Badura


Z4-46

Temat Przygotowanie rozwiązań hiperheurystycznych kilku problemów kombinatorycznych.

Cel pracy Wykorzystanie danych o heurystykach niskopoziomowych z platformy Optil.io do przygotowanie rozwiązań hiperheurystycznych. Istotną częścią pracy jest wykorzystanie tzw. wiedzy tłumu, która pozwoli stworzyć skomplikowane rozwiązania wyłącznie z bardzo prostych heurystyk niskopoziomowych.

Zadania 1. Integracja rozwiązania ze zbiorem rozwiązań niskopoziomowych.2. Implementacja kilku rozwiązań z tzw. “State-of-the-art”.3. Porównanie wyników z istniejącymi, dedykowanymi metodami

metaheurystycznymi.4. Integracja z systemem Optil.io.


Promotor dr inż. Szymon WąsikOpiekun naukowy: mgr inż. Artur Laskowski


Z4-47

Temat Integracja serwisu OR-library z platformą Optil.io

Cel pracy Zintegrowanie danych ewaluacyjnych dla problemów z obszaru badań operacyjnych dostępnych w serwisie OR-library z platformą Optil.io. Dzięki temu możliwe będzie automatyczne ocenianie algorytmów rozwiązujących te problemy w architekturze Evaluation-as-a-Service.

Zadania 1. Inwentaryzacja problemów w serwisie OR-library.

2. Wybranie podzbioru problemów, który zostanie zintegrowany.3. Implementacja programów sprawdzających oraz przykładowych

algorytmów rozwiązujących wybrane problemy.4. Integracja opracowanych danych i programów z platformą Optil.io.

Promotor dr inż. Szymon Wąsik


Z4-48

Temat Analiza podobieństwa zbiorów odczytów sekwencjonowania nowej generacji

Cel pracy Badanie jak wygląda podobieństwo zbioru odczytów sekwencjonowania nowej generacji dla osobników jednego gatunku.

Zadania Zapoznanie się z formatami danych odczytów sekwencjonowania nowej generacji,

Opracowanie miary podobieństwa zbioru odczytów Przebadanie podobieństwa zbioru odczytów dla danych rzeczywistych i

sztucznych Porównanie korelacji miary opracowanej miary podobieństwa z miarami

podobieństwa genomówPromotor dr inż. Paweł Wojciechowski


Z4-49

Temat Analiza podobieństwa grafów dla różnych podejść w algorytmach asemblacji de novo

Cel pracy Badanie podobieństwa grafów OLC i tzw. de Bruijna dla istniejących algorytmów asemblacji de novo.

Zadania Zapoznanie się z metodami budowy grafów OLC i de Bruijna w problemie asemblacji de novo.

Generowanie grafów odczytów dla wybranych metod z obu rodzajów podejść

Porównanie podobieństwa otrzymanych grafówPromotor dr inż. Paweł Wojciechowski


Z4-50

Temat Badanie dokładności pozycjonowania obiektów w technologii rozszerzonej rzeczywistości

Cel pracy Opracowanie testów dokładności pozycjonowania obiektów w wirtualnej rzeczywistości dla wybranej platformy.

Zadania Zapoznanie się z technologiami rozszerzonej rzeczywistości Opracowanie zestawu testów badających dokładność i stabilność

pozycji utworzonego obiektu Przeprowadzenie testów dla wybranej platformy w różnych

konfiguracjach sprzętowychPromotor dr inż. Paweł Wojciechowski

Dyplomant Studia stacjonarne lub niestacjonarne

Z4-51

Temat Badanie możliwości i dokładności dla technologii NVIDIA Ansel w środowisku Unreal Engine 4

Cel pracy Sprawdzenie dokładności renderingu technologii NVIDIA Ansel i ocena jej współdziałania z silnikiem gier Unreal Engine 4.

Zadania Zapoznanie się z silnikiem gier Unreal Engine 4 Zapoznanie się z technologią NVIDIA Ansel Przygotowanie środowiska testowego Badanie dokładności renderingu w technologii Ansel.

Promotor dr inż. Paweł Wojciechowski


Z4-52

Temat Implementacja i ocena hybrydowej metody Zone Recovery w kontekście handlu kontraktami CFD

Cel pracy Celem pracy jest: zapoznanie się z platformami, zasadami i mechanizmami handlu

kontraktami CFD. implementacja strategii opartej o algorytm Zone Recovery, ale operującej

na dwóch mechanizmach: zwiększania wolumenu i zwiększania wartości poziomów ZR, TP i SL;

przeprowadzenie serii eksperymentów obliczeniowych pozwalających na optymalizację strategii, dobranie instrumentów i warunków prowadzenia transakcji, dla których strategia Hybrid Zone Recovery osiąga optymalne rezultaty

Zadania Przegląd literatury oraz omówienie zasad prowadzenia transakcji wg reguł algorytmu Zone Recovery.

Opisanie algorytmu Hybrid Zone Recovery i jego parametryzacja. Implementacja Hybrid Zone Recovery. Eksperymenty weryfikujące skuteczność i efektywność metody HZR w

porównaniu do ZR w wersji klasycznej.

Opracowanie raportu uwzględniającego zebrane wyniki. Przewidywane jest opracowanie publikacji.

Promotor dr inż. Adam Wojciechowski


Z4-53

Temat Aplikacje mobilne wspomagające kształcenie dzieci z autyzmem

Cel pracy Celem pracy jest:Implementacja oprogramowania w formie prostych aplikacji mobilnych wspomagających zapamiętywanie słów i faktów przez dzieci autystyczne.

Pierwotnie planowane jest przeprowadzenie eksperymentów z dziećmi, dla których trudność stanowi zapamiętanie liczby słów wystarczającej do elastycznej komunikacji z rodziną. Zakres i intensywność eksperymentów może ulec zmianie w zależności od stanu osób biorących udział w badaniach.Implementacja aplikacji, których działanie będzie wyzwalane koincydencją lokalizacji i zdarzeń.

Planowane jest opracowanie publikacji podsumowującej przeprowadzone eksperymenty i zebrane wnioski.

Zadania Przegląd literatury w zakresie zastosowanie aplikacji mobilnych wspomagających zapamiętywanie.

Wybranie istniejących aplikacji mobilnych lub implementacja własnych narzędzi pozwalających na przeprowadzenie eksperymentów i zebranie statystyk pozwalających na ocenę efektywności kształcenia w zakresie zapamiętywania wybranych jednostek wiedzy przez dzieci autystyczne.

Wbudowanie mechanizmu aktywowania aplikacji koincydencją lokalizacji i zdarzeń.

Przygotowanie i przeprowadzenie eksperymentów w wybranej szkole, we współpracy z nauczycielami i rodzicami;

Opracowanie raportu z przeprowadzonych eksperymentów oraz opublikowanie uzyskanych wyników i wniosków.



Z4-54

Temat Post-Agile: eksperymentalna ocena paradygmatu budowy oprogramowania

Cel pracy Celem pracy jest ocena efektywności realizacji wybranego projektu informatycznego prowadzona zgodnie z praktykami metodyki Post-Agile.

Zadania Studium literatury w zakresie lekkich metodyk budowy oprogramowania oraz nowego trendu zwanego Post-Agile.Sformułowanie celów (wymagań) dla wybranego systemu informatycznego.Realizacja projektu wg praktyk Post-Agile i zebranie metryk pozwalających ocenić proces lub projekt eksperymentu, który mógłby być przeprowadzony w firmach wytwarzających oprogramowanie albo w ramach zajęć akademickich.Przewidziane jest opracowanie publikacji.



Z4-55

Temat Metaherystyczny algorytm dla problemu szeregowania zadań elastycznych podzielnych

Cel pracy Zaproponowanie i zaprojektowanie metaheurystyki minimalizującej długość uszeregowania dla problemu szeregowania zadań elastycznych podzielnych.

Zadania Analiza istniejących rozwiązań, przegląd najnowszej literatury, opracowanie i zaprojektowanie algorytmu przy znanych ograniczeniach na przestrzeń rozwiązań, eksperymenty obliczeniowe i analiza porównawcza.

Promotor dr Maciej Machowiak


Z4-56

Temat 3Dcons – aplikacja webowa do tworzenia rankingu podobieństwa konturów w przestrzeni 3D3Dcons – web application for ranking of 3D shapes

Cel pracy Celem pracy jest opracowanie i implementacja aplikacji webowej w oparciu o metody konsensusowe umożliwiające podejmowanie decyzji o stopniu podobieństwa zadanych konturów reprezentowanych przez zbiory punktów leżących w przestrzeni, do zbioru referencyjnego w oparciu o dane historyczne i wybrane miary podobieństwa. Zadany system ma docelowo analizować zbiory punktów reprezentujących położenie atomów w przestrzeni.

Zadania 1. Wygenerowanie/zebranie danych historycznych2. Opracowanie i zaprojektowanie mechanizmów działania metody

konsensusowej3. Implementacja i testowanie zaprojektowanego systemu4. Zaprojektowanie i implementacja webowego interfejsu użytkownika

Promotor dr inż. Piotr Łukasiak


Z4-57

Temat FoodSens – serwis internetowy i baza danych do wspomagania oceny sensorycznej produktów spożywczychFoodSens – web based support service and database for sensoric evaluation of food.

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ą. Jednym z wyzwań w trakcie procesu wytwarzania żywności jest poddanie jej testom sensorycznym (m.in. ocena smaku, zapachu, pożądalności konsumenckiej). 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. Istnienie w jednym miejscu referencyjnej bazy danych wraz z możliwością jej wzbogacania o kolejne wyniki pozwoli podwyższyć jakość prowadzonych badań, jak również przyspieszyć czas ich wprowadzenia na rynek.Koncepcja rozwiązania problemu:W chwili obecnej wszystkie dane związane z oceną sensoryczną 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 uzyskane wyniki 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 wraz z wprowadzaniem nowych wyników badań

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.

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



Z4-58

Temat 3Dclust – system do grupowania zbiorów punktów w przestrzeni 3D3Dclust – system for clustering sets of points in 3D space

Cel pracy Celem pracy jest opracowanie i przetestowanie algorytmów grupujących zbiory punktów w przestrzeni 3D. Zadany system ma docelowo analizować zbiory punktów reprezentujących położenie atomów w przestrzeni.

Zadania 1. Opracowanie i testowanie algorytmów grupowania2. Implementacja i testowanie zaprojektowanego systemu3. Zaprojektowanie i implementacja webowego interfejsu użytkownika



Z4-59

Temat

Experimental Evaluation of Board Programming in the Context of MicroservicesEksperymentalna ocena programowania planszowego w kontekście mikroserwisów

Cel pracyZaprojektowanie i przeprowadzenie eksperymentu mającego na celu ocenę zalet i wad programowania planszowego w kontekście aplikacji internetowych opartych na koncepcji mikroserwisów.

Zadania Wybranie języka programowania dla grupy kontrolnej. Przygotowanie aplikacji internetowej dla celów szkoleniowych i kilku

aplikacji do użycia bezpośrednio w trakcie eksperymentu. Aplikacje te należy zaprogramować za pomocą programowania planszowego oraz w języku wybranym dla grupy kontrolnej.

Analiza czynników ryzyka (ang. validity threats). Przygotowanie aplikacji do zbierania danych w trakcie eksperymentu.

Przeprowadzenie eksperymentu i zebranie danych. Analiza zebranych danych i wyciągnięcie wniosków z wykorzystaniem

metod statystycznych.

Promotor Jerzy Nawrocki; opiekun: Michał MaćkowiakZ4-60Temat Potencjalne kierunki rozwoju zastosowań metod informatyki w logopedii

Cel pracy Rozpoznanie możliwości zastosowań informatyki w logopedii za pomocą Systematic Mapping Study, Systematic Literature Review lub Snowballing

Zadania

Należy przeprowadzić Systematic Mapping Study i/lub Systematic Literature Review (w zależności od potrzeb), w tym: Opracować protokół przeglądu literatury Wykonać przegląd literatury Opracować wnioski

W razie pojawienia się pytań szczegółowych przeprowadzić dodatkowy przegląd literatury metodą Systematic Literature Review i/lub metodą Snowballing

Promotor Jerzy NawrockiDyplomantZ4-61

Temat Analiza oraz implementacja gry sieciowej opartej o sieć P2P z wykorzystaniem technologii blockchain

Cel pracy Sprawdzenie podejścia blockchain w implementacji gier.

Zadania

Analiza rodzajów sieci P2P pod kątem wykorzystania w grach.Analiza blockchain pod kątem wykorzystania jako baza danych w grach.

Opracowanie mechaniki gry z uwzględnieniem technologii blockchain Implementacja gry sieciowej działającej w sieci P2P

Implementacja bazy danych oparetj o blokchain implementacja oprogramowania "kopiącego" dla blockchaina Analiza potencjału gry sieciowej opartej o P2P oraz blockchain na

podstawie implementacji pod kątem niezawodnosći działania oraz biznesowym

Promotor dr inż. Marcin BorowskiDyplomant

Z4-62

TematWykorzystanie algorytmów AI w hybrydowej aplikacji do doboru składników interwencji żywieniowych w dedykowanych, personalizowanych dietach

Cel pracy Zaprojektowanie i implementacja algorytmów AI do wspomagania projektowania personalizowanych diet

Zadania

Analiza dostępnych rozwiązańZaprojektowanie dedykowanych algorytmów AIImplementacja bazy danych oraz algorytmów AIAnaliza otrzymanych wyników

Promotor dr inż. Marcin BorowskiDyplomant

Z4-63

Temat Obsługa problemów kompatybilności w JS

Cel pracy Analiza scenariuszy błędów kompatybilności JavaScriptu w aplikacja

internetowych w uwzględnieniem (linterach, bibliotekach, polyfillach, transpilatorach, browser sniffing, feature detection, prefiksach).

Zadania

Analiza dostępnych rozwiązańImplementacja algorytmów obsługi błędów braku kompatybilnościPrzeprowadzenie eksperymentu obliczeniowegoAnaliza otrzymanych wyników

Promotor dr inż. Marcin BorowskiDyplomantZ4-64Temat /Title Predicting roles of tokens in the code

Cel pracy /Goal

Recently, we observe more and more applications of machine learning (ML) to source code analysis, e.g., measuring size of software systems, or identifying violations of coding guidelines. In order to build an ML-based code classifier, it is necessary to extract some features describing the code. One type of potentially interesting features would be the role of token or sequences of tokens in the code, i.e., whether a sequence of token represents a condition, variable declaration, etc. Such features can be easily extracted by analyzing abstract syntax trees (AST) produced by code parsers. Unfortunately, sometimes the code that is analyzed / classified is incomplete and cannot be parsed by a regular grammar-based parser (e.g., Git-commit diffs). Therefore, the role of tokens can be only estimated.

The goal of this project is to investigate the possibility of building an ML-based classifier that will be able to predict the roles of tokens for selected programming languages without the need of parsing the code.

Zadania/ Tasks

review the existing literature code parsing and natural-language parsing with the use of ML algorithms,

select a subset of programing languages and parsing tools that allow access to ASTs

collect a sample of code from open source projects and extract tokens roles based on ASTs (the training set)

train a classifier that is capable of determining the roles of tokens in the code and evaluate its accuracy.


Promotor/Supervisor


Documents

fc.put.poznan.plfc.put.poznan.pl/sites/default/files/Tematy prac magisterskich II_1... · Web viewPrzegląd literatury związanej z problematyką selekcji cech dla kosztowo-efektywnych